markdown
演算子と観測量md b37bde1
lecture/chemistry/theoretical/quantum-chemistry/operators-and-observables.lecture.n.md
Download PDF

演算子えんざんしと観測量かんそくりょうoperator and observable

1なぜ観測量かんそくりょうobservableを演算子えんざんしoperatorで表あらわすのか

この講義こうぎの中心的ちゅうしんてきな問といは、測定そくていできる量りょうを、なぜ単たんなる数かずではなく演算子えんざんしoperatorとして置おくのかである。

波動関数はどうかんすうwave functionは、電子でんしの状態じょうたいstateを表あらわす。状態じょうたいだけを見みても、位置いち、運動量うんどうりょう、エネルギーenergyの値あたいが直接ちょくせつ書かいてあるわけではない。測定そくていしたい量りょうを取とり出だすには、その量りょうに対応たいおうする作用さようを波動関数はどうかんすうwave functionへ与あたえる必要ひつようがある。

この作用さようが演算子えんざんしoperatorである。たとえば、一粒子いちりゅうしの位置いちは

x[m;L]

であり、位置いちに対応たいおうする演算子えんざんしoperatorは関数かんすうに x を掛かける作用さようとして読よめる。

x^ψ(x)=xψ(x)

一方いっぽう、運動量うんどうりょうは波なみの振動しんどうの細こまかさに関係かんけいする。そのため、位置いちでの微分びぶんを含ふくむ演算子えんざんしoperatorで表あらわす。

px^=-iℏddx,px^[kgm/s;MLT-1]
data/lecture/chemistry/theoretical/quantum-chemistry/wave-functions-and-probability-interpretation.lecture.n.md

2直感的ちょっかんてきな説明せつめい

演算子えんざんしoperatorは、波動関数はどうかんすうwave functionから特定とくていの情報じょうほうを読よみ出だす装置そうちだと考かんがえるとよい。

位置いちを知しりたいときは、場所ばしょごとの重おもみを掛かけて平均へいきんする。運動量うんどうりょうを知しりたいときは、波なみがどれだけ急きゅうに変化へんかしているかを見みるため、微分びぶんを使つかう。エネルギーenergyを知しりたいときは、運動うんどうエネルギーとポテンシャルエネルギーpotential energyを足たし合あわせたハミルトニアンHamiltonianを使つかう。

つまり、測定そくていしたい量りょうが違ちがえば、波動関数はどうかんすうwave functionへ作用さようさせる演算子えんざんしoperatorも違ちがう。

3期待値きたいちexpectation value

状態じょうたいstateが ψ で、観測量かんそくりょうobservableに対応たいおうする演算子えんざんしoperatorが A^ のとき、平均的へいきんてきな測定値そくていちは次つぎで与あたえる。

⟨A⟩=⟨ψ|A^|ψ⟩⟨ψ|ψ⟩

ψ が規格化きかくかされていれば、

⟨ψ|ψ⟩=1

なので、

⟨A⟩=⟨ψ|A^|ψ⟩

となる。

一粒子いちりゅうしの位置いちの期待値きたいちなら、

⟨x⟩=∫-∞∞ψ*(x)xψ(x)dx,⟨x⟩[m;L]

である。この式しきは、|ψ(x)|2 を確率密度かくりつみつどとして、位置いち x の重おもみ付づき平均へいきんを取とっている。

4なぜHermitian演算子えんざんしHermitian operatorが必要ひつようなのか

測定値そくていちは実数じっすうとして得えられる。そのため、観測量かんそくりょうobservableに対応たいおうする演算子えんざんしoperatorは、期待値きたいちが実数じっすうになる性質せいしつを持もつ必要ひつようがある。

この性質せいしつを有限次元ゆうげんじげんの行列ぎょうれつで書かけば、Hermitian行列ぎょうれつHermitian matrixの条件じょうけん

A†=A

である。複素内積ふくそないせきcomplex inner productでは、内積ないせきの片側かたがわに複素共役ふくそきょうやくが入はいるため、実数じっすうの場合ばあいより向むきに注意ちゅういする。

data/lecture/math/linear-algebra/complex-inner-products-and-unitary-matrices.lecture.n.md

Hermitian演算子えんざんしHermitian operatorなら、規格化きかくかされた ψ に対たいして

⟨ψ|A^|ψ⟩

は実数じっすうになる。この事実じじつにより、期待値きたいちを測定そくていできる量りょうとして読よめる。

5固有値こゆうちeigenvalueと測定値そくていち

演算子えんざんしoperator A^ が

A^ϕ=aϕ

を満みたすとき、ϕ は固有関数こゆうかんすうeigenfunction、a は固有値こゆうちeigenvalueである。

量子化学りょうしかがくでは、この式しきを「状態じょうたい ϕ では、観測量かんそくりょうobservable A が定さだまった値あたい a を持もつ」と読よむ。特とくに、ハミルトニアンHamiltonianについて

H^ψ=Eψ

なら、ψ はエネルギー固有状態こゆうじょうたいenergy eigenstateであり、E はエネルギー固有値こゆうちenergy eigenvalueである。

data/lecture/math/linear-algebra/eigenvalues-and-eigenvectors.lecture.n.md

6何なにが変かわり、何なにが保たもたれるか

観測量かんそくりょうobservableを変かえると、対応たいおうする演算子えんざんしoperatorが変かわる。位置いちを測はかるなら x^、運動量うんどうりょうを測はかるなら px^、エネルギーenergyを測はかるなら H^ を使つかう。

一方いっぽうで、状態じょうたいstateを表あらわす波動関数はどうかんすうwave functionと、内積ないせきを使つかって期待値きたいちを取とる構造こうぞうは保たもたれる。

Hermitian演算子えんざんしHermitian operatorという条件じょうけんは、測定値そくていちが実数じっすうであることを保たもつための条件じょうけんである。また、異ことなる固有値こゆうちeigenvalueに属ぞくする固有関数こゆうかんすうeigenfunctionは、適切てきせつな条件じょうけんの下もとで直交ちょっこうする。この直交性ちょっこうせいが、波動関数はどうかんすうwave functionを基底きていbasisで展開てんかいする考かんがえにつながる。

7見分みわけけ方かた

演算子えんざんしoperatorが出でたら、まず何なにを測はかる量りょうかを確認かくにんする。

x^なら位置,px^なら運動量,H^ならエネルギー

平均へいきんを求もとめるなら期待値きたいちを使つかう。

⟨A⟩=⟨ψ|A^|ψ⟩⟨ψ|ψ⟩

定さだまった測定値そくていちを持もつ状態じょうたいを探さがすなら、固有値問題こゆうちもんだいeigenvalue problemを解とく。

A^ϕ=aϕ

8一言ひとことでいうと

観測量かんそくりょうobservableは、波動関数はどうかんすうwave functionから測定可能そくていかのうな量りょうを取とり出だすために演算子えんざんしoperatorとして表あらわす。Hermitian演算子えんざんしHermitian operatorは期待値きたいちと固有値こゆうちeigenvalueを実数じっすうにし、固有値問題こゆうちもんだいeigenvalue problemは定さだまった測定値そくていちを持もつ状態じょうたいを選えらぶ。

9演習えんしゅうリンク

data/exercise/chemistry/theoretical/quantum-chemistry/quantum-chemistry-standard-exercises.exercise.n.md

10関連かんれんリンク

data/lecture/chemistry/theoretical/quantum-chemistry/quantum-chemistry-portal.lecture.n.md data/lecture/chemistry/theoretical/quantum-chemistry/introduction-to-quantum-chemistry.lecture.n.md data/lecture/chemistry/theoretical/quantum-chemistry/wave-functions-and-probability-interpretation.lecture.n.md data/lecture/chemistry/theoretical/quantum-chemistry/schrodinger-equation-basics.lecture.n.md data/lecture/math/linear-algebra/complex-inner-products-and-unitary-matrices.lecture.n.md data/lecture/math/linear-algebra/eigenvalues-and-eigenvectors.lecture.n.md
raw .n.md をコピー
loc をコピー (filepath:line ~ line)
copy share link
copy encoded share link
path をコピー
copy share link
copy encoded share link
copy share link
copy encoded share link
タブを全て閉じる