- ベストアンサー
運動量演算子とエルミート演算子
- みんなの回答 (2)
- 専門家の回答
質問者が選んだベストアンサー
A =-i∂/∂x として、 <f|A†|g>=<g|A|f>*=<f|A|g> となることことを証明すれば良い訳です。ただし、hバーは定数なので省きました。それ故、f(x)とg(x)はヒルベルト空間に属する任意の関数として、 (1) <f|A|g>= ∫dx f*(x)(-i∂/∂x)g(x) 一方、 (2) <g|A|f>*= [ ∫dx g*(x)(-i∂/∂x)f(x) ]* ですから、(2)を変形して、それが(1)に等しいことが言えれば証明終わりです。この証明は部分積分をすれば出来ます。ただしその時、f(x)とg(x)がヒルベルト空間の要素であるという条件から、積分の境界でそれらがゼロになるという事実を使います。 以上。
その他の回答 (1)
- cyototu
- ベストアンサー率28% (393/1368)
もし貴方が、エルミート演算子の定義をこの欄に書いて下さったら、それを証明して差し上げます。
補足
<f|A†|g>=<g|A|f>*のとき,A†=AとなったときAをエルミート演算子と定義する。 実数の固有値を持つことを利用したらいいのかとは考えたのですが、教科書に解答がなくやり方がわからないのが現状です。 ご教授よろしくお願いします。
関連するQ&A
- エルミート演算子について
ハミルトニアンがエルミートであることを証明するにはどういう風に証明すればいいのでしょうか? 一応、運動量Pがエルミートであることは証明したのですが、これをどのように用いれば良いか解りません。どなたか、解答お願いしますm(_ _)m
- ベストアンサー
- 物理学
- 偏微分とエルミート共役
運動量演算子Pを用いて、固有値方程式 P|p>=p|p> と表せるとき、Pを座標表示で書くと P=-ih~∂/∂x (h~ はエイチバーです) であることを用いて、 -ih~∂/∂x|p>=p|p> ですが、ここでこの方程式の両辺のエルミート共役の式に書き換えると、 {-ih~∂/∂x|p>}^†={p|p>}^† ⇔ih~<p|(∂/∂x)=p<p| となると思ったのですが、実際は ih~∂/∂x<p|=p<p| のようでした。 どうしてxでの偏微分(という演算子)は<p|というブラと入れ替わらないのでしょうか? よろしくお願いします。
- ベストアンサー
- 物理学
- 運動量の演算子について
量子力学において、運動量の演算子p^ = -ih∇(hはプランク定数を2πで割ったもの。エッチバーを表記できなかったため、代用しました) だと教わりました。これは、波動関数ψ=Aexp{ (px-Et)i/h } (Eはエネルギー) に対して、 -ih∇ψ=pψ になるからである、という説明を読みました。ここで質問です。 ψの共役複素数である、ψ*=Aexp{ -(px-Et)i/h }に対しては、 ih∇ψ* = pψ* となることから、p^ = ih∇なのでしょうか? それとも、p^は場合によらず、p^ = -ih∇なのでしょうか? ご回答よろしくお願いします。
- ベストアンサー
- 物理学
- 量子力学の演算子に関する問題です。
問題は[x^y^ , px^py^]です。 ここで x^とy^ は位置の演算子で px^とpy^は運動量の演算子です。 演算子の定義 px^=(h/i)(δ/δx) に従って解いたところ、 解は h^2 となりました。 ("エイチバー"をhと書いています) しかし、演算子の交換法則 [x^,px^]=ih より x^px^=px^x^+ih を用いて解いたところ 解が ih(px^x^+y^py^となってしまいました。 実際の解はどうなるでしょうか? 記号の都合上分かりにくい質問になってしまいましたが、 回答よろしくお願いします。
- ベストアンサー
- 物理学
- 角運動量演算子の交換関係
量子力学における角運動量演算子J = (Jx,Jy,Jz)に関わる次の交換関係 (1) [ J^2,Jx^2 - Jy^2 ] = 0 (2) [ J^2,Jz ] = 0 を証明するにはどのようにしたらよいか,ご教授いただけますと幸いです。
- ベストアンサー
- 物理学
お礼
どうもありがとうございます。 おかげさまでテストで類似問題を解くことができました。