• ベストアンサー

エルミート演算子

connykellyの回答

回答No.3

エルミート演算子は実数の固有値を持ちことからやってみてはどうでしょうか。具体的には、A|ψ>=a|ψ> 固有値aは実数ですね。左からAをかけるとA^2|ψ>=aA|ψ>=a^2|ψ>で、A^2は実数の固有値a^2を持つことになります。このことからA^2はエルミート演算子であることになります。

hihiki
質問者

お礼

その方法は全く思いつきませんでした。 本当にありがとうございます。

関連するQ&A

  • エルミート演算子について 助けてください

    大学2年、量子力学初学者です。 以下の問題が、全くわかりません。 どなたか、教えて頂けませんでしょうか? 問題 2つのエルミート演算子AとBに対して AとBは同時対角化可能 <==> [A,B]=0 であることを示せ。 ヒントだけでも頂けたらなと思っております。 どうぞ宜しくお願い致します。

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

    【A^、B^】=iC^ で、A^とB^がエルミートのときにはC^もエルミートになるのでしょうか?なぜだかわかりません。できれば証明でわかりやすいものはないでしょうか?おねがいします。

  • エルミート

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

  • エルミート共役ラガーの入力方法

    このカテゴリの質問には相応しくない(パソコンのカテゴリの方がいい) かもしれませんがすみません。 量子力学でエルミート共役をあらわすラガーはパソコンではどのように 入力するのでしょうか? よろしくお願いします。

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

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

  • エルミート多項式の利用方法

    エルミート多項式についてお尋ねします。この多項式はある特殊な方程式の解であるとか、積分による直交性とかの説明はネットに出ていますし、物理数学の本に載っているようです(載っていない本もありますが)。量子力学でに利用もあるようです。 私の分野の研究でも出てこないことはないようですが、ここがエルミート多項式の出番だという感じがしません。どういうときに使えるのでしょうか。連立常微分方程式の境界値問題という状況で出てくるようなのですが、それもケースバイケースだと思うのですが。フーリエ級数(スペクトルとか)のようななじみがあるものではないのでこれが登場する場面の一般論としてはどうなるでしょうか。使用例は例でしかないので一般化しにくいのですが。

  • エルミート共役の別名

    量子力学に必要な数学の英語版を和訳しています。今、エルミート共役のあたりを訳していたのですが、 The Hermitian conjugate is also called transpose matrix, the associate matrix, and the adjoint matrix. と書いてありました。最初の共役転置行列と最後の随伴行列はわかったのですが、途中のassociate matrixっていうのをインターネットで和訳してあるのを探しても見つかりません。誰か教えていただけませんか?

  • エルミート行列以外にも固有値が実数になるか

    http://okwave.jp/qa/q8156118.html に「エルミート行列の固有値は必ず実数になる」ことが証明されていました。 その内容の逆「実数の固有値をもつ行列はすべてエルミートである」は真でしょうか。 すくなくとも「エルミート行列以外にも固有値が実数になる」と言えれば、事例があれば、「エルミート行列の固有値は必ず実数になる」は真ではなく偽となるでしょう。 偽が明確になるとブラケット演算に偏りがちな量子力学に新たな発展の道が生まれると思います。複素数でシュレディンガー波動方程式の解を考えることに意義が生まれます。私はトンネル共鳴現象やエバネッセント波もそうではないかと思うのです。エバネッセント波という光子の現象がありますが、光速度が0で、あるミクロンの領域だけに明るい領域ができたり、物質に吸引や反発力を作用しています。  

  • 【量子力学】エルミート共役と複素共役など

    量子力学が相変わらず難しすぎて、どこがわからないのかわからないという状況なのですが、 少し糸口になりそうな部分がわかったような気がするので質問させて頂きます。 複素共役を考えると、ブラケットでは、例えば  (1) (<ψ|A|φ>)^* = <φ|A^†|ψ> となり、同じものを波動関数の式では  (2) {∫ψ^*Aφdx}^* = ∫φ^*Aψdx (全空間で積分ということでdxとしています) のように書かれると思うのですが、エルミート共役はどのようになるのでしょうか?  (3) (<ψ|A|φ>)^† = ?  (4) {∫ψ^*Aφdx}^† = ? という意味です。 私が今思っていることとしては、「内積をとった(ブラケットが閉じた)もの全体に対するエルミート共役」 という概念を考えること自体がおかしいのではないか、などと考えているのですが…。また逆に、  (5) {A|ψ>}^† = <ψ|A^†  (6) {A|ψ>}^* = ? という疑問や、更にこれを波動関数の式((2)みたいな式のことです。何と呼ぶのかわからない…。)で書くとどうなるのか、 などなど、もう何も分かってない気がしてきます(^^;; とりあえず質問は上記の通りなのですが、(2)のような表記の意味がどうにもよくわからっていないというのが正直なトコロです。。 ブラケットなどの行列力学のような書き方は比較的しっくり来るのですが…。 波動関数というもの自体が、「関数だからベクトルじゃないの??」とか、 「順序とか関係なく、[ψ,φ]=0でいいの??」とか…。もうなんだか混乱しすぎ…orz という感じなので、どうかお救い下さい。 恐らく質問文が既にいろいろ間違ってたりするのでしょうが、何とか汲み取ってご教授くだされば幸いです。 いろいろ質問が多くなってしまいましたが、よろしくお願い致します。

  • エルミート行列であることを示すには

    エルミート演算子Aが与えられていて、その与えられたAの行列がエルミート行列であることを示すという問題なのですが、その演算子をどう使ってエルミート行列を示せば良いかわかりません。 本当にその辺初心者でして、ユニタリ変換が鍵を握っている(?)程度なことしかわからないんです…。 文章下手で申し訳ないですが、よろしくお願いします。