• ベストアンサー

運動量演算子とエルミート演算子

証明の仕方が全くわからないため質問させていただきます。 運動量演算子が-ihバー∂/∂xであるとき、-ihバー∂/∂xがエルミート演算子であることを示せ。 上述の問題を解いていただけたら幸いです。 できれば詳しく論述もお願いします。

質問者が選んだベストアンサー

  • ベストアンサー
  • cyototu
  • ベストアンサー率28% (393/1368)
回答No.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)がヒルベルト空間の要素であるという条件から、積分の境界でそれらがゼロになるという事実を使います。 以上。

foraaat
質問者

お礼

どうもありがとうございます。 おかげさまでテストで類似問題を解くことができました。

その他の回答 (1)

  • cyototu
  • ベストアンサー率28% (393/1368)
回答No.1

もし貴方が、エルミート演算子の定義をこの欄に書いて下さったら、それを証明して差し上げます。

foraaat
質問者

補足

<f|A†|g>=<g|A|f>*のとき,A†=AとなったときAをエルミート演算子と定義する。 実数の固有値を持つことを利用したらいいのかとは考えたのですが、教科書に解答がなくやり方がわからないのが現状です。 ご教授よろしくお願いします。

関連するQ&A

  • エルミート演算子

    運動エネルギー演算子-(hバー)^2(∇)^2/2mがエルミート演算子であることを証明したくて、 エルミート演算子の定義はわかっているのですが、 どのように証明を進めていっていいのかわかりません。 どなたか具体的に教授してもらえないでしょうか?

  • エルミート演算子について

    ハミルトニアンがエルミートであることを証明するにはどういう風に証明すればいいのでしょうか? 一応、運動量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|というブラと入れ替わらないのでしょうか? よろしくお願いします。

  • エルミート演算子

    こんばんは。量子力学(数学かも)に関する質問です。 学校でこのような問題が出ました。 「Aがエルミートであるとき,A^2(Aの2乗)もエルミートであることを証明せよ。」 これがどうしても分かりません。 ご存知の方是非教えてください。

  • 運動量の演算子について

    量子力学において、運動量の演算子p^ = -ih∇(hはプランク定数を2πで割ったもの。エッチバーを表記できなかったため、代用しました) だと教わりました。これは、波動関数ψ=Aexp{ (px-Et)i/h } (Eはエネルギー) に対して、 -ih∇ψ=pψ になるからである、という説明を読みました。ここで質問です。 ψの共役複素数である、ψ*=Aexp{ -(px-Et)i/h }に対しては、 ih∇ψ* = pψ* となることから、p^ = ih∇なのでしょうか? それとも、p^は場合によらず、p^ = -ih∇なのでしょうか? ご回答よろしくお願いします。

  • 量子力学の運動量について

     量子力学ではなぜ運動量を演算子で考えののでしょうか?  xp-px=-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^となってしまいました。 実際の解はどうなるでしょうか? 記号の都合上分かりにくい質問になってしまいましたが、 回答よろしくお願いします。

  • 角運動量演算子

    スピン1/2の粒子a,bがある。それぞれのスピン角運動量演算子をs1,s2とする。s1・s2(内積)の固有状態と固有値求めよ。という問題なんですが、s1・s2=(s1x)(s2x)+(s1y)(s2y)+(s1z)(s2z) =1/2((s1+)(s2-)+(s1-)(s2+))+(s1z)(s2z)…(1) ただし、s1,2x,y,zはそれぞれs1,2のx,y,z成分で、s1,2±は昇降角運動量演算子つまり、(s1,2±)=(s1,2x)±i(s1,2y)である。 (1)のように変形して考えるような気がするのですが、ここから先が分かりません。

  • エルミート

    量子力学の演習問題をやっていたのですがつかえてしまったので質問させてください。 ix∂/∂y この演算子がエルミートかエルミートではないかを求めたいんです。 ∫Ψ*ix∂/∂yΦdτ = ∫Φ(ix∂/∂yΨ)*dτ が成り立てばエルミートだといえると思うのですがこの先どう計算すればいいのか途方にくれています。 似たような問題がこの先もあるのでこれさえ理解できれば次のも解けると思うんです。なのでできれば計算過程詳しくお願いします。 (ΦとΨは二回微分可能で∫Ψ*Ψdτが有限であるような関数。dτは積分の適当な体積素片)

  • 角運動量演算子の交換関係

    量子力学における角運動量演算子J = (Jx,Jy,Jz)に関わる次の交換関係 (1) [ J^2,Jx^2 - Jy^2 ] = 0 (2) [ J^2,Jz ] = 0 を証明するにはどのようにしたらよいか,ご教授いただけますと幸いです。