波束

**波束**（はそく、）は、局所的に存在する波うち/波動であり、移動する1個の波動の塊のようにふるまう。

## 波の重ね合わせと波束
波束は、波数の異なる多数の正弦波の重ね合わせで構成できる。⇒合成波

多くの波が規則的に重ね合わさる結果、空間のある1点の近傍にのみ波が残り、それ以外の部分では成分どうしが打ち消しあう状態である。

よりサイズの小さい波束を得るには、より多くの波を重ねる必要がある。

簡単のために一次元で考えると、一般に波束は次のように正弦波の重ね合わせとして表される。
:\psi(x,t)=\frac{1}{\sqrt{2\pi}}\int^{\,\infty}_{-\infty}A(k)~e^{i[k x- \omega(k)t]}\mathrm dk
係数  はフーリエ変換に由来する。

振幅  は平面波解の重ね合わせ係数である。

この重ね合わせ係数を  における  の関数としてあらわす（逆フーリエ変換）ことも可能で、つぎのように書かれる。
:A(k)=\frac{1}{\sqrt{2\pi}}\int^{\,\infty}_{-\infty}\psi(x,0)~e^{-ikx}\mathrm dx

### 分散
波束に限定しないが、平面波  において、角周波数  と波数  の関係を分散関係と呼ぶ。

一般に波束は形を変えながら移動し、これを「分散」という。ただし角周波数が波数に比例するときにのみ、波束は形を変えずに移動し、「分散なし」となる。

波束を構成する成分は各個の波数と角周波数をもって伝播するため、これらの合成波は一般に形を変えながら伝播する。伝播する波束の形状がどのように変形するかは分散関係から決まる。

## ガウス波束
物理学で最もよく用いられる波束として、ガウス波束が挙げられる。平面波  を重ね合わせて、次のような定常的な波束を考える。
:\psi(x,0)=\frac{1}{\sqrt{2\pi}}\int^\infty_{-\infty}\alpha(k)\varphi_k(x)dk
ただし重ね合わせ係数は、
:\alpha(k)=\sqrt[4]{\frac{a^2}{\pi}}\exp\left[-\frac{a^2}{2}(k'-k)^2\right]
このガウス積分を実行すると、
:\psi(x,0)=\frac{1}{\sqrt[4]{a^2\pi}}\exp\left[-\frac{x^2}{2a}+ik'x\right]
このようなガウス関数と平面波の積で表された波束を**ガウス波束**と呼ぶ。

### ガウス波束の伝播
波が時刻  で  であった場合、その後の時間変化は波動方程式を解くことで求まり、 では  となる。この平面波を重ね合わせることで、ガウス波束の時間変化がわかる。
:\psi(x,t)=\frac{1}{\sqrt{2\pi}}\int^\infty_{-\infty} \alpha(k)\varphi_k(x,t)dk
:\alpha(k)=\sqrt[4]{\frac{a^2}{\pi}}\exp\left[-\frac{a^2}{2}(k'-k)^2\right]
ただしその挙動は、波動方程式によって決められる分散関係  によって大きく異なる。

## 古典的なガウス波束

古典力学における三次元の波動方程式
:\frac{\partial^2 u(\mathbf{x},t)}{\partial t^2}=c^2\nabla^2 u(\mathbf{x},t)
を考える。ここで  は波の伝播速度である。この波動方程式は、平面波解  を持つが、その分散関係は次のように表される。
:\omega_\mathbf{k}^2=|\mathbf{k}|^2 c^2
:|\mathbf{k}|^2=k_x^2+k_y^2+k_z^2
つまりこの場合は分散がない。

簡単のために一次元を考えると、一般解は次のように表される。
:u(x,t)=Ae^{i(kx-\omega_k t)}+Be^{-i(kx+\omega_k t)}
:\omega_k=ck
右辺の第一項は  についての関数であり、 についての関数を  だけ正の方向に移動させたものである。よって波が正の  方向に速さ  で伝播する状態を表すことがわかる。第二項は  の関数であるため、波が負の  方向に伝播する状態を表す。同様に波束も  のときは  であるため右方向へ移動し、 のときは  であるため左方向へ移動する。

例えば時刻  でガウス型波束
:\psi(x,0)=e^{-x^2 +ik_0x}
であったとする。重ね合わせ係数は逆フーリエ変換により
:A(k)=\frac{1}{\sqrt{2}}e^{-\frac{(k-k_0)^2}{4}}
と得られるため、このガウス波束の時間変化は分散関係  を用いると次のように表される。
:\begin{align}\psi(x,t)&=e^{-(x-ct)^2 +ik_0(x-ct)}\\ 
&=e^{-(x-ct)^2}\left[\cos\left(2\pi\frac{x-ct}{\lambda}\right)+i\sin\left(2\pi\frac{x-ct}{\lambda}\right)\right]\end{align}
この虚部は余弦波に垂直偏光する正弦波を表す。最初に示したアニメーションは、この分散を伴わない伝播をする波束の、実部と虚部を表したものである。

## 量子的なガウス波束

自由粒子の固有状態である平面波から作られるガウス波束を考える。3次元の自由粒子のシュレーディンガー方程式は、
:i\hbar\frac{\partial \varphi}{\partial t}=-\frac{\hbar^2}{2m}\nabla^2 \varphi
この解の分散関係は次のように表され、この場合は分散があることがわかる。
:\omega=\frac{\hbar|\mathbf{k}|^2}{2m}
簡単のために1次元で考える。 の固有値問題を解くと、固有状態である平面波  と固有エネルギー  が得られる。この平面波を係数  として重ね合わせると、次のようなガウス波束が得られる。
:\psi(x,0)=\frac{1}{\sqrt[4]{a^2\pi}}\exp\left[-\frac{x^2}{2a}+ikx\right]

時刻  で自由粒子の状態が  であった場合、その後の時間変化は時間依存シュレーディンガー方程式を解くことで  と求まる。ただし
:\omega_k\equiv\frac{E_k}{\hbar}=\frac{\hbar k^2}{2m}
である。このように量子論では一般的に分散がある。この時間変化する平面波を係数  として重ね合わせると、次のようなガウス波束の時間変化が求まる。
:\psi(x,t)=\frac{1}{\sqrt[4]{a^2\pi}}\frac{1}{\sqrt{1+i(\hbar t/ma^2)}}\exp\left[\frac{-x^2+2ia^2kx-i(a^2\hbar k^2/m)t}{2a^2[1+i(\hbar t/ma^2)]}\right]
これを二乗したものである確率密度は、次のようにガウス波束であることがわかる。
:|\psi(x,t)|^2=\frac{1}{a\sqrt{\pi}}\frac{1}{\sqrt{1+(\hbar t/ma^2)^2}}\exp\left[-\frac{[x-(\hbar k/m)t]^2}{a^2[1+(\hbar t/ma^2)^2]}\right]
このガウス関数は  で極大となるため、群速度  で移動する波束であることがわかる。

また時刻  でのガウス波束の幅は  であるため、時間とともに波束の幅は広がっていき、最終的には空間中に広がることがわかる。たとえば、電子の波束が最初はオングストロームの領域、すなわち  に局在していた場合、波束の幅はおよそ  で倍になる。明らかに、粒子の波束は自由空間を非常に早く広がっていく。たとえば  後では、幅は  程度に増加する。

## 波束と不確定性原理
量子論では位置  と運動量  は非可換であるため、両者に対する同時固有状態が存在しない。この非可換性により不確定性原理  が成り立つため、各標準偏差を  とすることはできない。しかし、不確定性原理の許す限り  と  のどちらも小さい状態が存在し、その波動関数は波束で表される。古典的なスケールでの測定を考えると、波束状態に対する  は非常に小さいため、現実的には測定誤差に埋もれて不確定性は見えなくなる。結果として、測定対象は古典的な粒子のように見える。逆に古典的な粒子のように振る舞う状態は、波束状態だと考えることができる。

### 最小波束状態
量子論においてガウス波束\psi(x,0)は**最小不確定状態**とも呼ばれる。 での原点を中心とした3次元ガウス波束を次のように書き直す。

:\psi(\mathbf{r},0)=e^{-\mathbf{r}\cdot\mathbf{r}/2a}
ここで  は正の実数で、波束の幅の2乗である。 
:a=\frac{2\langle\mathbf r\cdot\mathbf r\rangle}{3\langle 1\rangle} =2(\Delta x)^2

 でのフーリエ変換も、波数ベクトル  についてのガウス関数となっている。
:\psi(\mathbf{k},0)=(2\pi a)^{3/2}e^{- a\mathbf{k}\cdot\mathbf{k}/2}

このガウス波束の幅は、 の逆数であり、
:\frac{1}{a}=\frac{2\langle\mathbf k\cdot\mathbf k\rangle}{3\langle 1\rangle} =2\left(\frac{\Delta p_x}{\hbar}\right)^2
よって不確定性関係において等号が成立している。
:\Delta x\cdot\Delta p_x=\frac{\hbar}{2}

波束の幅が運動とともに線形的に広がっていくことは、運動量の不確定性を反映している。波束が  ほどの狭い範囲に制限されていると、運動量は  ほどの不確定性を持つ。波束は  の速度で広がり、時間  で  ほど進む。不確定性関係は等号から大きく外れ、最初の不確定性  は、 が大きくなると  倍に増加する。

## 脚注

## 参考文献

; 洋書
* 
* 
* 
* 
* 
* 
; 和書
* 
* 
* 

## 関連項目
* 群速度
* 位相速度
* ウェーブレット
* 波束の崩壊
* 孤立波

## 外部リンク

* 
*