• 締切済み

ハミルトニアンが負？

ある本を読んでいて、 [T,H]=ihbarなるエルミート演算子Tが存在するならばH=p^2/2mの期待値が負になりうるということを示せ。 という問題がありました。どのように証明すればよいか教えていただけますでしょうか？よろしくお願いいたします。

みんなの回答

回答No.7

[T,H]=i を満たすエルミート演算子Tは一般にgeneratorと呼ばれます。座標と運動量の場合、f(x)を関数、aを実数とすると 　exp(ipa)f(x) 　= f(x) + a df/dx + (a^2/2!)d^2f/dx^2 + (a^3/3!)d^3f/dx^3 +... 　= f(x+a) なので運動量p=-id/dx は平行移動のgeneratorと呼ばれます。同様に [T,H]=i を満たすTはエネルギーのgeneratorとなります。Ψを 　ＨΨ = EΨ を満たす固有状態としてexp(iTa)ΨにＨを作用させると 　Ｈexp(iTa)Ψ 　= exp(iTa)exp(-iTa)Ｈexp(iTa)Ψ ここで 　exp(-iTa)Ｈexp(iTa) = H - ia[T,H] + (-ia^2/2!)[T,[T,H]] + (-ia^3/3!)[T,[T,[T,H]]] +... = H + a を用いると 　Ｈexp(iTa)Ψ = exp(iTa)(H + a)Ψ = (E + a)exp(iTa)Ψ なのでexp(iTa)Ψは固有値E+a の固有状態です。aは任意の実数なので負のエネルギー状態も存在しうることになります

回答No.6

ある作用素Ａをユニタリ変換するとは、Ｕをユニタリ作用素として 　Ａ → Ｕ†ＡＵ とすることです。作用素ＡとＢの交換関係はユニタリ変換で不変であることは容易に分かります。逆に二組の作用素の交換関係が同じであれば（有限自由度では）これらはユニタリ変換で結ばれ、スペクトルも同じであることは 　岩波講座現代物理学の基礎、量子力学II第16章、p.328 などにあります。しかしハミルトニアンに正準共役な時間演算子が定義できるという論文もあります。 　G.Bhamathi et al.;Time as a dynamical variable, Phys Lett. A,317,5(2003)

usakuk
質問者

お礼

なるほど、論文の方にも目を通してみたいと思います。 わざわざ回答ありがとうございました。

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

＃３です。そこでまたまた誤植がありました。申し訳ございません。重要な間違いなので直しておきます。 （１）式は i hbar ∂ ρ/∂t = L ρ　　　＝＞　i ∂ ρ/∂t = L ρ　 と書くべきで、　L の定義は　 Lρ ≡ [H, ρ]/hbar　 とするべきでした。さもないと、L の物理的次元が振動数にはなりませんから。 また、このように定義をしておくと、量子力学のフォンノイマン方程式と古典力学の基本方程式であるリウビル方程式の対応が良くなります。

usakuk
質問者

お礼

物理はなかなか奥が深いですね・・・ これからまた時間をかけて学んでいきたいと思っています。 色々ご回答ありがとうございました。

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

＃３に誤植がありました。 （２）式は [T, L] = 1　　＝＞ [T, L] = i と読んで下さい。　　

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

#1です。 ＞ここで言う物理量とは時間のことでしょうか？ いいえ、本論でも書きましたが、この場合にはエネルギーが有限な場合です。 ＞つまり時間に限らず、Hと正準共役な演算子が存在してはならないということですか？ はい、H　の物理的な意味を問わない数学的な答えとしてはそうです。ただし、hbar　は作用の物理的次元（エネルギーx時間）を持って居りますから、H　が貴方の例のようにエネルギー演算子なら、必然的に　T　は時間の次元を持ちます。また、古典力学では、エネルギーに正準共役な物理量は時間ですから、もし、量子力学でもこの正準関係をみたす　T　が存在するならば、それは「時間演算子」であることになります。 ヒルベルト空間内では、エネルギーに正準共役な時間演算子が存在しないというのが、量子力学から導かれる結論です。 因に、波動関数ψを抽象的なケット・ベクトク｜ψ＞とみなし、それに共役なブラ・ベクトル＜ψ｜との外積で作られる「演算子」（これを密度行列という） ρ　≡　｜ψ＞＜ψ｜ を考えると、シュレーディンガー方程式から、 （１）　　　　i hba ∂ ρ／∂t　＝L ρ （ただし、Lρ ≡ [H, ρ]です）という、有名なフォンノイマン方程式という物理学の基本方程式が導き出されます。L はリウビル演算子と呼ばれるもので、ヒルベルト空間の中でこの演算子はエルミート演算子です。この量は振動数の物理的次元をもっております。L は演算子ρに作用する演算子ですから、演算子の演算子、すなわち、超演算子（スーパーオペレーター）と呼ばれることもあります。 そして、もしハミルトニアン演算子Hが、ある下限の値（例えばゼロ）から上に向かって、例えば光子のように＋∞まで連続な固有値を持つとすると、リウビル超演算子の固有値はー∞から＋∞まで連続な固有値を持つことができます。 そこで、Hとの正準交換関係ではなくて、 (2) [T, L] = 1 という正準交換関係を満たエルミート超演算子　T　は存在します。　L　の物理的次元が振動数ですから、T　の次元はやはり時間です。ですから、リウビル超演算子に正準共役な時間超演算子は存在しています。 時間を運動方程式の中に現れる単なるパラメーターではなく、物理量と考えた場合、それは超演算子ではないのか、もしそうなら「時間」にはどのような性質があるのかという面白い研究が、ただ今いろいろ成されております。

回答No.2

[T,H]=ihbarなるエルミート演算子Tが存在するならばこれは座標と運動量の交換関係と同じです。そのためＴとＨは座標・運動量とユニタリ変換で結ばれ、スペクトルは座標・運動量と同様の-∞から無限大になります。

usakuk
質問者

お礼

回答ありがとうございます。お礼が遅くなりました。 ところで、ユニタリ変換で結ばれる、とはどういうことでしょうか？量子力学、線形代数の基礎が結構抜けてたりします…申し訳ありませんがぜひもう少し詳細に教えていただけますでしょうか？

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

代数的な証明もありますが、ここでは期待値の物理的意味を前面に押し出しながら、言葉を使って証明します。数式を使った証明は、この私の証明を咀嚼しながら、自分で試みて下さい。 [T,H]=ihbar　という正準交換関係式が成り立つとすると、時間の分散ΔTとエネルギーの分散ΔHの積の間に不確定性の関係式 （１）　ΔTΔH　≧　hbar/4 が成り立つことになります（証明せよ）。 分散は、次式で定義されますね。 （２）　分散の２乗　＝（その物理量の２乗の期待値）ー　（その物理量の期待値の２乗） 従って、分散はその物理量の値が期待値の周りに左右対称にどんな幅で分布しているかを表して居ります。 （注）左右対称からのずれの情報を得るには、物理量の３乗以上の期待値を計算する必要があります。 エルミート演算子を仮定していますので、もし、波動関数がヒルベルト空間に属するなら、その期待値は実数になります。 期待値の概念が物理的に意味を成すために、その物理量の期待値は有限であると仮定します。（１）の不確定性関係により、ΔTがゼロになる極限を取ると、エネルギーの分散ΔHは無限大になります。Hが有限な期待値を持った波動関数に対して、その左右に分布する分散が無限大でから、その波動関数で表されている確率集団の中に、Hの測定値が負になる場合が必ず存在することになります。 ですから、今度はΔHの分散が無限大ではなくて逆にゼロに限りなく近い値をもち、そして、その期待値がHの測定値がその負の値になるような波動関数が必ず存在することになります。（証明終わり） このことから大変重要な結論が導き出されます。それは、 「物理量がヒルベルト空間に属する波動関数で記述されている限り、エネルギーに正準共役な時間演算子は存在しない。」 と言うことです。従って、ヒルベルト空間内では、時間は「オブザーバブル」ではありません。ハイゼンベルグに言わせると、全ての物理的観測量は「オブザーバブル」ですから、この結論は、「時間は物理量か？」という、物理学の基本問題に関わった重要な問題を提起したことになっている訳です。 また、時間演算子が存在していないのですから、もちろん時間とエネルギーの間の不確定性関係式（１）も、物理的には意味を成さないことにななります。ですから、僅かな例外を除いて、時間とエネルギーの間の不確定性関係について説明してある殆どの教科書の記述は間違いであることになります。 ところで物理学者達が（１）を援用して自分の観測結果や理論を解釈するときには、殆どの場合、そのエネルギー状態の不安定生に関した寿命を論じる場合です。 寿命があるとは、時間の未来に向かってその系が崩壊するということですから、その系では必ず時間が過去から未来に向かって一方方向に流れている、即ち、時間の対称性が破れている訳です。ところが、シュレーディンガー方程式は時間の符号を入れ替えた場合の時間の対称性を破っていません。したがって、寿命の存在とシュレーディンガー方程式は、その最も基本的なところで一見矛盾して居ります。 この矛盾を解消して、エネルギーと時間の間の不確定性関係をどのように理解したら良いのかという問題は、例えば、この宇宙を記述するのに、本当に波動関数をヒルベルト空間に属するものに限ってよいのかという問題にも絡んだ、現代物理学の未解決な面白い問題なのです。

usakuk
質問者

お礼

お礼が遅くなって申し訳ありません。丁寧な回答ありがとうございます。いくつか追加で質問がございます。 ＞その物理量の期待値は有限であると仮定します。 とありますが、ここで言う物理量とは時間のことでしょうか？ ＞Hの測定値が負になる場合が必ず存在することになります。 とは、つまり時間に限らず、Hと正準共役な演算子が存在してはならないということですか？ いろいろすいません。何卒よろしくお願いいたします。

  1. カテゴリ
  2. 学問・教育
  3. 自然科学
  4. 物理学

関連するQ&A

  • エルミート演算子

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

  • ハミルトニアンについて

    ハミルトニアンと可換になる演算子は必ず存在するのでしょうか？ 証明方法も教えていただけるとありがたく思います よろしくお願いいたします

  • ハミルトニアン

    L={m(r’^2+r^2θ’^2+r^2sin^2θΦ’^2)/2}－U(r) ハミルトニアン H=({Pr^2+(PΘ^2/r^2)+(PΦ^2/r^2sin^2θ)}/2m)+U(r) を証明。 わかる人助けてください(>_<)

  • 負の二項分布の積率母関数

    負の二項分布の積率母関数がわかりません（＞＜；） 二項分布の積率母関数だとM(t)＝（pe^t＋(1-p)）^m　と表せますよね？？こんな風に負の二項分布の積率母関数も表せないでしょうか？？ 独立な確率変数X、Yに関して、再生性を証明したいのですが・・・ どなたかよろしくお願いします！！m(_ _)m

  • ハミルトニアンのユニタリー変換

    　原子核が原点に位置する，電子数 Z 個の原子と，光との相互作用を表すハミルトニアンを考えているのですが，ミニマル結合ハミルトニアンのユニタリー変換の過程が良く分かりません．教えていただけないでしょうか？ ミニマル結合ハミルトニアンを 　　　H' = (1/2m) Σ_{j} { p_{j}+ e A (r_{j}) }^{2} 　　　　　+ (1/2) ∫σ(r) φ(r) dr 　　　　　+ (1/2) (εE^{2} + (1/μ)B^{2}) とします．ややこしい式ですが，右辺第 1 項にだけ注目するので，説明は控えさせて下さい． 　このハミルトニアンに対し 　　　U = exp {- (ie/h~) Σ_{j} ∫_{0}^{1} r_{j}・A (λ r_{j}) dλ} 　　　　= exp {- (ie/h~) Σ_{j} B (r_{j})} なるユニタリー演算子を用いて H = U^{-1} H' U というユニタリー変換を考えます． 　ただし，h~ = h/2π であり，また ∫ の積分範囲は 0 から 1 まで．また r_{j} は電子の座標です．A (r) はベクトルポテンシャル演算子です．B は，A の積分表記が複雑なので置き換えただけの演算子です．また p_{j} = p = - ih~ ∇_{j} は運動量演算子です． 　H' の右辺第一項に対しユニタリー変換を行うと 　　　U~{-1} { p + e A (r_{j}) } U = p - e ∇_{j} B + e A (r_{j}) となるらしいのですが，なぜこうなるのかが分かりません．具体的には，U^{-1} e A U = e A となるのは分かるのですが，U^{-1} p U = p - e ∇ B となるのが，なぜだか分かりません． 　どなたか，ご教授いただけないでしょうか？

  • 量子力学　測定値のばらつきについて

    量子力学において、物理量は観測されるたびに測定値がばらつくといううことが知られている。 そこでその平均値を<L>とし、測定値の分散を(δ<L>)^2とするとき、分散に対応する演算子は(δL)^2=(L-<L>)^2で与えられる。 したがって分散は、(δ<L>)^2=∫ψ*(δL)^2ψdVによって求められる。 (１)このとき、分散が正であることをδLのエルミート性より導け。 (２)分散がゼロにあるような状態ψLにおける固有値方程式を導け。 以上の様な問題を解こうと考えていたのですが、回答の糸口がつかめなくて困っています。自分としては、エルミート演算子を２乗した演算子から与えられる期待値は非負であることを示せれば良いと思ったのですが、それを示せず四苦八苦している状況です・・・。どなたか解法をご教授いただけないでしょうか。。。お願いいたします。

  • ハミルトニアンの行列表示

    量子力学の論文を読んでおり、フェルミ演算子c+(i),c(i)（iは成分)をもちいて行列表記でハミルト二アンを H=Σ(i,j){c+(i)A(ij)c(j)+1/2(c+(i)B(ij)c(j)+h.c) Σ(i,j):i,jに関する総和・A(ij),B(ij):行列A&Bのi行j列成分を差しており、行列A・Bは共にN次の正方行列とする。 行列Aはエルミート行列・行列Bは反対称行列 h.cはエルミート共役。 このとき、 trH=２の(N-1)乗×Σ(i)A(ii) となるのはどうしてでしょうか？よろしくお願いいたします。また、数式がたいへんよみにくく、申し訳ありません。

  • 負の二項分布について

    負の二項分布の平均　分散はそれぞれ rq/p rq/p^2 となりますが（q=1-p r回成功するまで） それの証明方法について質問です 幾何分布の初めて成功するときの平均と分散がそれぞれ q/p q/p^2 それをr回繰り返すということで 負の二項分布はr倍してあると思うのですが 幾何分布のr倍だから　ということで証明することはいいのでしょうか この方法が駄目でしたらちゃんとした証明を教えていただきたいのですが

  • 規格化って？

    今大学2年なんですが物理数学という講義の内容が全然分かりませんどうかご教授ください Φ1=A1cos(πx/n) Φ2=A2sin(πx/m)とする (1)Φ1，Φ2を規格化してA1，A2を求めよ (2)Φ1，Φ2が直交していることを示せ (3)H=-h^2/2m*d^2/dx^2，HΦn=EnΦn HをΦ1，Φ2を作用させ、E1,E2を求めよ (4)P=h/i*d/dxがエルミート演算子であることを示せ 以上の問題です。どうぞよろしくお願いします。

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

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

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する

あなたにピッタリな商品が見つかる！ OKWAVEセレクト

質問する