固有関数

固有関数（こゆうかんすう）
量子力学.
量子力学では、波動関数formula_1、演算子formula_2に対して次の方程式（固有値方程式）が成立する時、formula_1はformula_2の固有関数であるという。
ここでformula_6は固有値と呼ばれ、演算子ではない通常の数であり、一般に複素数である。実際に実験によって観測される物理量は、演算子やその固有関数ではなくその固有値である。現実の観測量に複素数が現れる事は考えにくいため、演算子formula_2の性質に制限がある（エルミート性）。
2つの演算子formula_8に対し、交換関係
を定義する。この値が0である時、「それらの演算子は交換する」と言う。2つの演算子が交換するならば、それらは同一の固有関数を持つ（同時固有関数）。そしてそれらに対応した物理量は同時測定可能である。
例えば、観測される位置formula_10, 運動量formula_11に対応した演算子formula_12は交換しないため、物体の位置と運動量は同時に測定する事が出来ない（不確定性関係）。実験的には、「物体の位置を正確に計ろうとするとその物体の運動量を変化させてしまい、また運動量を正確に計ろうとすると物体の位置を変化させてしまう。結果的に位置と運動量を同時に測定する事は出来なくなる」事に対応する。これは実験技術の問題ではなく、原理的に同時測定不可能である。
この時、波動関数には何が起こっているかを説明する。物体の位置を正確に計ろうとする実験とは、演算子
formula_13に対する固有値を測定する事であり、その測定された瞬間の波動関数は位置formula_13の固有関数である。
しかしその関数は運動量formula_16の固有関数ではない。
この時、波動関数formula_1は物体が様々な運動量formula_19の値を持っている場合の重ね合わせである。
formula_20
固有関数の物理的意味は「定在波」だと考えてそれほど差し支えない。例えばシュレーディンガー方程式
はハミルトニアンformula_22とその固有値（観測されるエネルギー値）formula_23に対する固有値方程式である。ポテンシャル中に閉じ込められた粒子は、そのポテンシャル中で波動関数が定在波となるような状態しか持たない。そのために実験で観測される粒子のエネルギーも連続的にはならず、離散的となる。エネルギーformula_23の正準共役変数である時間formula_25の様々な変化に依らず安定して存在する波(定在波)のみが固有関数として許される。