Prerequisite
正規直交完全系を座標ではなく運動量 で構成することももちろん可能である.
議論は座標の場合とほとんど並行に進む.
を運動量の正規直交完全系とすると
を満たす.
波動函数は,
で定義される.
こちらは状態ベクトルの運動量表示とか 表示という.
微分演算子を
で定義すると, のふるまいは,
より と同じになる(符号に注意).
座標表示のときと同様にこの対応には運動量の函数 の不定性が許される.
座標と運動量の任意の函数 の期待値は,
基底が2つ用意されたのでその間の変換式が問題になる.
量子論では2つの基底 と があると,その間はユニタリ変換
で結ばれた.
座標表示の波動函数 の間に運動量の完全の式を挿入すると,
となる.
したがって が基底の取り替えを表す行列要素 に対応するものである.
これを具体的に求めるには間に を挟んだものを考えると,それぞれの表示の対応規則から,
この微分方程式を解けば,
逆変換はユニタリ性よりHermite共役をとった である.
運動量表示の波動函数に の完全の式を挟んだものを考えると,
となって逆変換の行列に対応するものはたしかに である.
この変換をつづけて行うと,
積分が実行できてデルタ函数を与えるので,
となる.
したがって となる.
以上をまとめると2つの表示の間の変換公式は,
である.
これは波動函数のFourier変換に他ならない.
Fourier変換は直交する函数系として をとってきて展開するというものだった.
座標と運動量の正準交換関係ようなものを満たすならば,その基底は必ずFourier変換で結ばれる.
もし交換関係がこれとは違うならば,2つの基底の間の関係はもっと別の直交函数系によって展開されるだろう.
物理学では運動量の正規直交関係を定数倍して再定義して,
とすることがよくある.
そしてFourier変換を
となるようにする(詳細は問題).
本稿でもこちらの定義を採用することにして,運動量の積分には の因子が現れると約束する.
Problem
運動量の正規直交関係を定数倍して再定義したとき本文で与えられたFourier変換となることを示せ.
まず任意の状態ベクトルは
と展開される.
ここで .
これから完全系の式は
と修正されることがわかる.
座標表示の波動函数にこの完全の式を挟み込んで
改めて とおくと
運動量表示の波動函数 を座標表示して
を代入すれば,
よって に選べば良い.
このときたしかに所期のFourier変換の式が得られている.