「運動量演算子
そう思われた方もいらっしゃると思う.しかし,「1次演算子
実際, ディラックさんは「The Principle Of Quantum Mechanics」の § 22 の中で次のように述べているのである:
1次演算子
の共役複素量を求めるには, 次のことに注意すればよい:
すなわち の「共役虚」 [1][ブログ註] ディラックは, 「共役虚」について § 6 … Continue reading の量は である, あるいは, 式 (16): により次である:
こういうわけで「の共役複素量は であり」, 従って「 は虚の1次演算子(a pure imaginary linear operator)である」.
微分演算子がこのように虚の演算子と見做せる訳は,「微分演算子は, あくまでケット・ベクトルまたはブラ・ベクトルに作用した形で考えることを前提としている」ことに由来しているようである.
また, 砂川重信:「量子力学」の§1 1 では,「エルミート演算子」について次のように書いている:
一般に任意の2個の演算子
と をとったとき, これらの演算子が任意の関数 と に対して,
の関係を満たすとき,を と書き, これを に対する「エルミート共役な演算子」と言う.すなわち,
である.式 (1.15) で特にのとき, を「エルミート演算子」という.従って, 演算子 が「エルミート演算子であるための条件」は,
で表される.この条件は,「演算子がエルミートで, その期待値と固有値が実数であるための必要かつ十分な条件である.
運動量演算子の場合には, 部分積分により,
となり, 右辺の第1項のの面上の積分値の差がゼロのとき, 運動量演算子 は「エルミート」である.
このように,「演算子がオブザーバブルであるためには, それがエルミートであることが必要であるが, 逆にエルミートであるからと言って, それがオブザーバブルであるとは言えない」.その一例が, 極座標系に於ける動径運動量演算子 である.物理量を表わす演算子 が「オブザーバブル」(観測可能量)であるとは,「その固有値が実数(実数の力学変数)であり, かつその固有関数系が完全系を構成している場合」をいう [2][ブログ註] はエルミート条件を満たす固有関数の完全系が存在しないからである..従って, オブザーバブル の期待値 は実数でなければならない.よって,
これは式 (1.16) でとした場合に相当している.
式 (1.16) をブラケット形式で表現するならば,
ただし
従って, 式 (1) や式 (2) をブラケット形式で表すならば,
この式 (4) からも「運動量演算子
また, ディラックの§ 17 及び§ 22 には次のような記述がある:
が実(real)であれば,
となる.この場合にその行列を「エルミート行列」という.シュレディンガーの表示の「基礎ベクトル」の性質の幾つかについても述べておこう.公式 (22) に左から「基礎ブラ」を作用させると次となる:
これから
となり, 従って
である.同様にして方程式 (24) からは
従って, 次式が導かれる:
この式 (45) を用いると,
他方, 式 (46) を用いると,
式 (5) と 式 (6) の右辺は等しい. よって,
この結果式 (7) も, 運動量演算子
以上の式 (4) と式 (41) そして式 (7) とから,「運動量演算子
References
↑1 | [ブログ註] ディラックは, 「共役虚」について § 6 で次の様に述べている: 「我々の考えているブラ・ベクトルとケット・ベクトルは複素量である.それはこれらに複素数を掛けることが出来て, その結果は元と性質が変わらないからである.しかしブラ及びケットは特別な種類の複素量であって, それを実数の部分と虚数の部分とに分けることは出来ない.ある複素量の実数部分を求める普通のやり方は, その量自身とその共役量との和の半分をとるのであるが, それはここでは応用できない.と言うのはブラとケットとは異なる性質を持つベクトルであって, それらを加え合わせることは出来ないからである.この差異に注意してもらうために, ただの数やその他の, 実数部分および虚数部分に分けられる複素量に対しては「共役複素」(conjugate complex)という言葉を用い, そういう分け方の出来ないブラ・ベクトル及びケット・ベクトルに対しては「共役虚」(conjugate imaginary)という言葉を用いることにする. |
---|---|
↑2 | [ブログ註] |