固有関数のソースを表示

{{出典の明記|date=2023年3月}}
[[Image:Drum vibration mode12.gif|right|frame|円形膜の振動問題の解は、常に円板上の[[ラプラス演算子]]の固有関数である。]]
'''固有関数'''（こゆうかんすう）

== 量子力学 ==
[[量子力学]]では、[[波動関数]]<math>\left. \Psi \right.</math>、[[演算子 (物理学)|演算子]]<math>\left. \hat{A} \right.</math>に対して次の方程式（固有値方程式）が成立する時、<math>\left. \Psi \right.</math>は<math>\left. \hat{A} \right.</math>の'''固有関数'''であるという。
:<math>\left. \hat{A}\Psi = a\Psi \right.</math>
ここで<math>\left. a \right.</math>は[[固有値]]と呼ばれ、演算子ではない通常の数であり、一般に[[複素数]]である。実際に実験によって観測される物理量は、演算子やその固有関数ではなくその固有値である。現実の観測量に複素数が現れる事は考えにくいため、演算子<math>\left. \hat{A} \right.</math>の性質に制限がある（[[エルミート性]]）。

2つの演算子<math>\left. \hat{A},\hat{B} \right.</math>に対し、[[交換関係 (量子力学)|交換関係]]
:<math>\left. [\hat{A},\hat{B}] \equiv \hat{A}\hat{B}-\hat{B}\hat{A}\right.</math>
を定義する。この値が0である時、「それらの演算子は交換する」と言う。2つの演算子が交換するならば、それらは同一の固有関数を持つ（同時固有関数）。そしてそれらに対応した物理量は同時測定可能である。

例えば、観測される位置<math>\left. x\right.</math>, 運動量<math>\left.p\right.</math>に対応した演算子<math>\hat{x},\hat{p}</math>は交換しないため、物体の位置と運動量は同時に測定する事が出来ない（[[不確定性関係]]）。実験的には、「物体の位置を正確に計ろうとするとその物体の運動量を変化させてしまい、また運動量を正確に計ろうとすると物体の位置を変化させてしまう。結果的に位置と運動量を同時に測定する事は出来なくなる」事に対応する。これは実験技術の問題ではなく、原理的に同時測定不可能である。

この時、波動関数には何が起こっているかを説明する。物体の位置を正確に計ろうとする実験とは、演算子
<math>\left. \hat{x} \right.</math>に対する固有値を測定する事であり、その測定された瞬間の波動関数は位置<math>\left. \hat{x} \right.</math>の固有関数である。
:<math>\left. \hat{x}\Psi = x\Psi \right.</math>
しかしその関数は運動量<math>\left. \hat{p} \right.</math>の固有関数ではない。
:<math>\left. \hat{p}\Psi \neq p\Psi \right.</math>
この時、波動関数<math>\left. \Psi \right.</math>は物体が様々な運動量<math>\left. p \right.</math>の値を持っている場合の重ね合わせである。
<math>\left. \Psi= \Psi_{(p=0.0[kg \cdot m/s])}+\Psi_{(p=0.0001 \cdots )}+ \cdots \right.</math>

固有関数の物理的意味は「[[定常波|定在波]]」だと考えてそれほど差し支えない。例えば[[シュレーディンガー方程式]]
:<math>\hat{H}\Psi=E\Psi</math>
は[[ハミルトニアン]]<math>\left. \hat{H} \right.</math>とその固有値（観測されるエネルギー値）<math>\left. E \right.</math>に対する固有値方程式である。ポテンシャル中に閉じ込められた粒子は、そのポテンシャル中で波動関数が定在波となるような状態しか持たない。そのために実験で観測される粒子のエネルギーも連続的にはならず、離散的となる。エネルギー<math>\left. E \right.</math>の[[正準共役変数]]である時間<math>\left. t \right.</math>の様々な変化に依らず安定して存在する波(定在波)のみが固有関数として許される。

==関連項目==
* [[固有ベクトル]] / [[固有値]]
* [[スペクトル理論]]
* [[量子力学]]
* [[スツルム＝リウヴィル型微分方程式]]
* [[LTIシステム理論]]

{{DEFAULTSORT:こゆうかんすう}}
[[Category:関数解析学]]
[[Category:関数]]
[[Category:数学に関する記事]]