tecktom.com

何を近似したか・何の実験の量で確かめるか・授業で習った形との対応

2026年10月15日8分で読めますAI生成教科書『虎の巻』第23章 モード同期と光周波数コム
目次
  1. 置いた近似
  2. 何の実験の量で確かめるか
  3. 授業で習った形との対応
  4. 木下の層

AI 生成・木下が未勉強

光学と量子エレクトロニクス 第23章 §23.6 ★★ 近似は主方程式を作るときの1周の平均化と、利得の線と変調の放物線への展開。櫛の歯の式は厳密である。測る量は自己相関の幅・スペクトルの幅・νrep\nu_{\mathrm{rep}} と f–2f のうなり

置いた近似

1つ目は、1周の間に起こる変化をすべて小さいとして、離散的な1周ごとの写像を連続な遅い時間 TT の微分方程式 (23.9), (23.13) に置き換えたことである。共振器の中で利得・変調・分散・非線形性は別々の場所で起こるが、どれも1周あたりの変化が小さければ、順番の違いは小さいものの積の大きさの補正にしかならない。これは速い1周の運動を平均化した B 型の近似で、小さいものは1周あたりの利得・損失・非線形の位相である。ソリトンのレーザーでこの前提が弱まると、パルスは1周の中で周期的に乱され、その周期に共鳴する周波数でスペクトルに鋭い側帯が現れる。

近似の裏付け

型 B(極限) | 小さいもの 1周あたりの変化 g, l, M, δK∣a∣2→0g,\ l,\ M,\ \delta_{\mathrm K}\lvert a\rvert ^2\to0(1周の時間と、パルスの形が変わる時間の比) | 証明 要確認(平均化の誤差評価そのものは第V巻第7章の型だが、主方程式の導出に当てはめた原論文の前提は確かめていない) | 行き先 近似の数理 第7章

2つ目は、能動モード同期で、利得の線を ω2\omega^2 まで、変調の損失を t2t^2 まで展開したことである。小さいものは 1/(Ωgτa)1/(\Omega_{\mathrm g}\tau_a) と ωmτa\omega_{\mathrm m}\tau_a で、例題 23.3 ではそれぞれ 0.0410.041 と 0.0410.041 になる(2つは式 (23.11) から Ωgτa⋅ωmτa=2g/M\Omega_{\mathrm g}\tau_a\cdot\omega_{\mathrm m}\tau_a=\sqrt{2g/M} で結ばれる)。展開の次の項は相対的に小さいものの2乗の大きさで、厳密な cos⁡\cos の固有値問題との比較は verify_ch23.py で数値で確かめた。

近似の裏付け

型 B(極限) | 小さいもの ωmτa→0\omega_{\mathrm m}\tau_a\to0, 1/(Ωgτa)→01/(\Omega_{\mathrm g}\tau_a)\to0 | 証明 条件付き(パルスが損失の1つの底に孤立していること。変調の損失の展開は本文の数値計算で確かめた。利得の線の展開は周波数の上での Taylor 展開で、スペクトルが線の幅より狭いことが前提) | 行き先 近似の数理 第7章

3つ目は、可飽和吸収体と Kerr 効果を瞬間の出力だけの関数にしたことである。回復の時間がパルスより長い吸収体(半導体の可飽和吸収鏡など)では、損失がパルスのエネルギーの積分に依存し、ここでの形は使えない。Kerr 効果は電子の応答で数フェムト秒より速いので、ピコ秒からその少し下のパルスではこの扱いが成り立つ。ここには小さいパラメータが立たないので、札は1つ目のものに含めた。

光周波数コムの式 (23.16) は近似を含まない。式の導出では、パルス列が厳密に周期的であることだけを仮定した。実際のレーザーでは νrep\nu_{\mathrm{rep}} と νceo\nu_{\mathrm{ceo}} が雑音で揺らぐので、歯は有限の線幅を持ち、2つを基準に固定したときに初めて式どおりの物差しになる。

何の実験の量で確かめるか

パルスの幅は、ピコ秒より短いと光検出器の応答では測れない。そこで、パルスを2つに分けて時間 τ\tau だけずらし、非線形結晶で重ねて2倍の高調波の強さを τ\tau の関数として測る。これを強度の自己相関と呼ぶ。自己相関 G2(τ)=∫I(t)I(t−τ)dtG_2(\tau)=\int I(t)I(t-\tau)\mathrm{d} t の半値全幅とパルスの半値全幅の比は形で決まり、Gauss 型で 2=1.414\sqrt2=1.414、sech2\mathrm{sech}^2 型で 1.5431.543 である。形を仮定しないと幅は決まらないので、スペクトルを同時に測り、時間帯域幅積が式 (23.6) の値に近いかどうかで形の仮定とチャープの有無を確かめる。

パルス列の周期は、光検出器の出力のラジオ波のスペクトルに νrep\nu_{\mathrm{rep}} とその倍数の線として現れる。モード同期が崩れて位相が乱れると、この線の幅が広がり、線のまわりに雑音が現れる。f–2f のうなりは νceo\nu_{\mathrm{ceo}} を直接示し、νceo\nu_{\mathrm{ceo}} と νrep\nu_{\mathrm{rep}} を固定したコムどうしを比べれば、櫛の歯が式 (23.16) どおりに等間隔に並んでいるかが確かめられる。

例題 23.7 自己相関とスペクトルからチャープを判定する ★★

オリジナル1560 nm1560\,\mathrm{nm} のファイバーレーザーのパルスの強度の自己相関を測ると、半値全幅が 300 fs300\,\mathrm{fs} だった。スペクトルの半値全幅は 13.5 nm13.5\,\mathrm{nm} である。

  1. (1) パルスを sech2\mathrm{sech}^2 型と仮定して、パルスの半値全幅を求めよ。
  2. (2) 時間帯域幅積を求め、パルスがほぼ変換限界にあるかどうかを判定せよ。
  3. (3) sech2\mathrm{sech}^2 型の自己相関の幅の比 1.5431.543 を数値で確かめる方法を述べよ。
解答

(1) τp=300/1.543=194 fs\tau_{\mathrm p}=300/1.543=194\,\mathrm{fs}。

(2) Δνp=cΔλ/λ2=2.998×108×13.5×10−9/(1.56×10−6)2=1.66 THz\Delta\nu_{\mathrm p}=c\Delta\lambda/\lambda^2=2.998\times10^8\times13.5\times10^{-9}/(1.56\times10^{-6})^2=1.66\,\mathrm{THz} で、τpΔνp=0.323\tau_{\mathrm p}\Delta\nu_{\mathrm p}=0.323。sech2\mathrm{sech}^2 型の変換限界の 0.3150.315 より 3%3\% ほど大きいだけなので、チャープはほとんど無い。Gauss 型と仮定すると幅は 300/1.414=212 fs300/1.414=212\,\mathrm{fs}、積は 0.3530.353 になり、Gauss 型の 0.4410.441 を下回る。不確定性関係の型の値を下回るので、この仮定はスペクトルの形と合わない。

(3) I(t)=sech2tI(t)=\mathrm{sech}^2t として G2(τ)=∫I(t)I(t−τ)dtG_2(\tau)=\int I(t)I(t-\tau)\mathrm{d} t を数値積分し、G2(τ)=G2(0)/2G_2(\tau)=G_2(0)/2 となる τ\tau の2倍を、II の半値全幅 2ln⁡(1+2)=1.7632\ln(1+\sqrt2)=1.763 で割る。結果は 1.5431.543 になる(verify_ch23.py)。

授業で習った形との対応

学部の光学やレーザー工学の授業では、モード同期を「NN 個のモードの位相がそろうと、強度 I(t)=I0sin⁡2(Nπt/trt)/sin⁡2(πt/trt)I(t)=I_0\sin^2(N\pi t/t_{\mathrm{rt}})/\sin^2(\pi t/t_{\mathrm{rt}}) のパルス列になり、幅は Δt≈trt/N=1/Δν\Delta t\approx t_{\mathrm{rt}}/N=1/\Delta\nu、ピークは平均の NN 倍」と書くことが多い。これは式 (23.4) に ωrep=2π/trt\omega_{\mathrm{rep}}=2\pi/t_{\mathrm{rt}} を入れたものである。Δt≈1/Δν\Delta t\approx1/\Delta\nu は最初の零点までの時間 trt/Nt_{\mathrm{rt}}/N で、半値全幅はその 0.8860.886 倍(式 (23.5))になる。同じ式は、第6章(第6章)の NN 本のスリットの回折格子の強度 sin⁡2(Nδ/2)/sin⁡2(δ/2)\sin^2(N\delta/2)/\sin^2(\delta/2)(δ\delta はとなりのスリットからの光の位相差)と同じ関数である。格子ではスリットが空間に等間隔に並び、回折の角度に鋭い主極大ができる。モード同期では周波数にモードが等間隔に並び、時間に鋭いパルスができる。

時間帯域幅積は、授業では「Δt Δν≥0.441\Delta t\,\Delta\nu\ge0.441(Gauss 型)」の形で習う。不等号は、チャープを持つパルスが式 (23.7) で変換限界より大きな積を持つことを表し、定理 23.1 の2乗平均の幅の不等式を半値全幅の言葉で書いたものに当たる(半値全幅の積の下限はパルスの形によって変わるので、厳密な不等式は2乗平均の幅でしか書けない)。光周波数コムは授業で fn=nfr+f0f_n=nf_{\mathrm r}+f_0 と書かれることが多く、fr=νrepf_{\mathrm r}=\nu_{\mathrm{rep}}、f0=νceof_0=\nu_{\mathrm{ceo}} に当たる。

木下の勉強ステータス

木下はまだこの記事を勉強していません。

AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com

← AI生成教科書『虎の巻』の記事一覧へ