- ベストアンサー
波動力学の一般的構造
テキストはガシオロウィッツ著の翻訳版『量子力学I』を使っているのですが、第6章波動力学の一般的構造の章末問題で一部分らない問題があったたため質問させて頂きます。 問題1 Aがエルミートであれば、<A^2>≧0であることを示せ。 問題2 演算子は、U(U†)=(U†)U=1という性質をもつとき、ユニタリーであるといわれる。もし、<ψ|ψ>=1ならば、<Uψ|Uψ>=1であることを示せ。 問題1に関しては、アプローチ方法がわからないだけなので、ちょっとヒントを与えて下されば解けると思います。 問題2は、<Uψ|Uψ>=<ψ|ψ>=1とすればいいのではと思ってはいるのですが、被積分関数にでてくる(U^*)UがU(†)U=1或はU(U†)=1となることが証明できず答えに辿り着くことができないのが現状です。 どなたかご教授いただければ幸いです。
- みんなの回答 (2)
- 専門家の回答
関連するQ&A
- ユニタリー変換と交換関係
ユニタリー演算子Uをエルミート演算子Gを用いて U = exp[iaG] (i:虚数,a:実定数) と表し、ある演算子Aが UAU^† = A を満たすとき、交換関係 [G,A] = 0 が成り立つそうなのですが、どう証明したらよいかがわかりません。 何かヒントをいただけたらと思います。よろしくお願いします。
- ベストアンサー
- 数学・算数
- 量子力学の問題で-∞<x<∞の範囲で次の波動関数を
量子力学の問題で-∞<x<∞の範囲で次の波動関数を規格化せよと言う問題で exp(-ax)という波動関数なのですが、この関数を二乗して積分して出てきた[1/a]の平方根をとってその逆数をもとの関数にかければ規格化はできると思ったのですが、そもそも波動関数は複素数だと授業でならいました。 この(a)^1/2・exp(-ax)は規格化された波動関数とは言えないのでしょうか?よろしければ教えてくださいm(_ _)m
- ベストアンサー
- 物理学
- 量子力学における群と対称性について
量子力学における対称性を学んでいます。そして、私の読んでいるテキストに次のような記述がありました。それは 「ある群 G の各元に対応する状態空間上でのユニタリー表現があって、その G に対応するユニタリー変換がハミルトニアンと不変であるとき、系は G に対応した対称性もっていると考える。」 というような記述です。そこで、ご質問なのですがなぜそのような考え方をするのでしょうか。つまり、あるユニタリー演算子があってそれに対応した群をわざわざ持ち出す理由は何なのでしょうか。ある演算子がハミルトニアンと可換であるということは、その演算子が保存するということであり非常に重要であることは納得できるのですが、群を持ち出す理由がよくわかりません。
- 締切済み
- 物理学
- 【量子力学】エルミート共役と複素共役など
量子力学が相変わらず難しすぎて、どこがわからないのかわからないという状況なのですが、 少し糸口になりそうな部分がわかったような気がするので質問させて頂きます。 複素共役を考えると、ブラケットでは、例えば (1) (<ψ|A|φ>)^* = <φ|A^†|ψ> となり、同じものを波動関数の式では (2) {∫ψ^*Aφdx}^* = ∫φ^*Aψdx (全空間で積分ということでdxとしています) のように書かれると思うのですが、エルミート共役はどのようになるのでしょうか? (3) (<ψ|A|φ>)^† = ? (4) {∫ψ^*Aφdx}^† = ? という意味です。 私が今思っていることとしては、「内積をとった(ブラケットが閉じた)もの全体に対するエルミート共役」 という概念を考えること自体がおかしいのではないか、などと考えているのですが…。また逆に、 (5) {A|ψ>}^† = <ψ|A^† (6) {A|ψ>}^* = ? という疑問や、更にこれを波動関数の式((2)みたいな式のことです。何と呼ぶのかわからない…。)で書くとどうなるのか、 などなど、もう何も分かってない気がしてきます(^^;; とりあえず質問は上記の通りなのですが、(2)のような表記の意味がどうにもよくわからっていないというのが正直なトコロです。。 ブラケットなどの行列力学のような書き方は比較的しっくり来るのですが…。 波動関数というもの自体が、「関数だからベクトルじゃないの??」とか、 「順序とか関係なく、[ψ,φ]=0でいいの??」とか…。もうなんだか混乱しすぎ…orz という感じなので、どうかお救い下さい。 恐らく質問文が既にいろいろ間違ってたりするのでしょうが、何とか汲み取ってご教授くだされば幸いです。 いろいろ質問が多くなってしまいましたが、よろしくお願い致します。
- 締切済み
- 物理学
- エルミート演算子について 助けてください
大学2年、量子力学初学者です。 以下の問題が、全くわかりません。 どなたか、教えて頂けませんでしょうか? 問題 2つのエルミート演算子AとBに対して AとBは同時対角化可能 <==> [A,B]=0 であることを示せ。 ヒントだけでも頂けたらなと思っております。 どうぞ宜しくお願い致します。
- ベストアンサー
- 数学・算数
- 量子力学 測定値のばらつきについて
量子力学において、物理量は観測されるたびに測定値がばらつくといううことが知られている。 そこでその平均値を<L>とし、測定値の分散を(δ<L>)^2とするとき、分散に対応する演算子は(δL)^2=(L-<L>)^2で与えられる。 したがって分散は、(δ<L>)^2=∫ψ*(δL)^2ψdVによって求められる。 (1)このとき、分散が正であることをδLのエルミート性より導け。 (2)分散がゼロにあるような状態ψLにおける固有値方程式を導け。 以上の様な問題を解こうと考えていたのですが、回答の糸口がつかめなくて困っています。自分としては、エルミート演算子を2乗した演算子から与えられる期待値は非負であることを示せれば良いと思ったのですが、それを示せず四苦八苦している状況です・・・。どなたか解法をご教授いただけないでしょうか。。。お願いいたします。
- ベストアンサー
- 物理学
- 量子力学 共役演算子がわからない
量子力学でノートを見返していました。 ダガーやブラケットが出てきますが、概念がいまいちわかりません。 というか何がわからないのかすらわからなくて困っています。 1.<a|b>=<b|a>∗ ひっくり返すと共役複素数になるのはわかるのですが、実際どんなことを言っているのかが・・・ 2.A^|a>=<a|A^ も同じくです。 3.共役というのとエルミートというのは同じことをいっているのでしょうか?? 4.ダガーとはいったいなんなのでしょうか? 5.<a|A^|a>=<a|A^+|a>*というのは1.の性質を使っているのだろうとは想像できるのですが、どうしたらこの等式が成り立つのかがわかりません。 6.O^|a>=b|b>の共役が<b|O^+=b*<b| 7.O^† = -O^ 8.共役演算子の性質として <f|A^|g>=<g|A^†|f>*が成り立つので、 (αA^)† = α*A^† (A^+B^)† =A^† + B^† (A^B^)† =B^† + A^† (A†)†=A^ が成り立つとあるのですが、どれもなんでこうなるのかがいまいちわかりません。 いっぱいあるのですが、根本からわかっていないので、説明があると助かります。 よろしくお願いします。
- ベストアンサー
- 物理学
お礼
お返事ありがとうございます。 metznerさんのおかげで解決しました。