一方,角運動量の2乗と角運動量の x 成分は, 1. 交換子の値が 0 であったなら ,同時に 2 つの演算子の固有関数となる関数が存在するということだが ,この場合は でもない限りは , のそれぞれの方向からの観測値は同時には決められないということであり ,それはすでに前回話した通りだ. もっとすっきりと論理構造を見渡せるようになるのではないかという期待がある. は複素数であって位相についての自由度があるのだが ,その影響は後で考えることにして ,今は最も簡単な を採用しよう. 7 は,角運動量の x, y, z 成分の中の2成分を同時に決めることはできないことを示している。
例えば の時の行列 の固有値と固有ベクトルを求めてみよう. 他にも簡単に導けてよく用いる公式を下にまとめておきます。
縮約された(和をとられた)添字はダミー変数と呼ばれ、名前を書き換えても式自体の値を変化させないことに注意して、 より、最初と最後の式に注目して となります。
行列への変換 微分演算子と行列が論理的には等価だという話は第 2 部で出てきた. そのために上の式の両辺のノルム(つまりベクトルの長さ)を計算する. 恐るるに足らず。
試験でよくでそうなこの交換関係ですが、これ自体ちんぷんかんぷんではないでしょうか。
位置、運動量の交換関係を使っていきなりの成分間の交換関係を導いてもまぁいいんですが、結構計算がゴチャゴチャするので、まず交換関係を計算するときに使うと便利な公式をいくつか導いてから、それらを使っての交換関係を計算することにしましょう。
一方, 1 , 2 の差を考えれば, [ J +, J - ] = J + J - - J - J + =-2 i J x J y- J y J x =-2 i ・ i h J z =2 h J z [ J +, J - ] = 2 h J z が成り立つ が成り立つこともわかります。
とにかく は , の固有値が一つ高いような状態へと変化させる演算子だというので ,「 上昇演算子」と呼ばれている. 量子力学がどのような原理・数学的基礎を土台に持つのか垣間見ることができます。
恐るるに足らず。
他の成分も同じ関係式を満たすだろう。
そのかたまりに を作用させる事で という固有値が飛び出してきていると解釈できる. 下の、図で表した式の赤字の項が0になるのはいいでしょうか。
Graduate Texts in Mathematics 157 SECOND EDITION ed. 実数 の2つの関数 に対して が成り立つという公式です。
順序に関しては、基本的に掛け算なんだから順序はどんなでも自由に入れ替えていいけれど、交換しない演算子だけは、順序は変えてはだめなのだ、という言い方もできます。
2 のとき, と は可換であるという。
この後で具体的な行列を作る必要があるので ,面倒だが定数 が幾つになるかを調べておかないといけない. の2乗と成分の交換関係の2乗と成分の交換関係は、昇汞、下降を定義してあれこれやる方が奥深いんですが、交換関係を導くだけが目的なら結構遠回りなので、これはまたの機会に。
2017年8月13日閲覧。
前回導いた交換関係に関する公式はここでも使います。
演算子は入れ替えていいことが自明のものではないということも確かですが。
でも、分かっていればただの算数。
今回はわざわざ を付けて計算する意味はなかったが , があることを意識して計算していることを示すために敢えて略さなかった. 波動関数というのは無限次元の複素ベクトルであるという話だった. 長さは必ず0以上だから、その条件から何か言えるかもしれないのだ。
「複数の異なる状態が同時に重なって存在しているような状態」というのは非常に奇妙に思えるかも知れないが ,別の方向から眺めれば「ある一つの値が確定した状態」になっていたりするわけだ. 角運動量演算子の交換関係 角運動量と呼ばれるエルミート演算子 J k を次の交換関係を満たすものとする。
基本となる位置と運動量の交換関係は以下のようになっています: これら以外の、位置同士や運動量同士の交換関係、 と の交換関係などは0です(可換)。
運動量演算子どうしは交換可能です。
準備まず道具立てをしておきましょう。
もしかすると以上の話の流れを見て、あらかじめスピンやパウリ行列の性質を知っていたから、それと辻褄を合わせるように無理矢理ロジックを組み立てたようだと感じる人がいるかもしれない。
まず , という具合に 2 つの新しい演算子を定義してやる. Revised: 2007-07-02. 則則とは、関数の積をする公式(のようなもの)です。
についても同じような手順を踏む事で という関係式を得る事が出来る. すなわち,角運動量の2乗と角運動量の x, y, z 成分の中のどれか1つは同時に決定できる。
エルミート演算子の異なる固有値に属する固有関数は互いに直交しているという数学的な要請があり ,ベクトル表現でも同じ事が言えるはずだ. そのためスピンの存在は「量子力学的な内部自由度」というよくわからない言葉によってしばしば誤魔化されてしまう。