• 締切済み

固有関数 規格直交

ある演算子Aの固有値λが二重に縮退していて、その異なる固有関数u1、u2がわかっているとする。 (1)u1、u2の線形結合を作ればそれも演算子Aの固有関数でその固有値はλであることを示せ。 (2)u1、u2は規格化されているが互いに直交していないとする。u1、u2の線形結合を作って規格直交された固有関数を求めよ。 (1)はわかったのですが(2)がどうやって解くのかがわかりません… ご教示お願いしますm(_ _)m

みんなの回答

  • Tacosan
  • ベストアンサー率23% (3656/15482)
回答No.1

文章に書いてある通り, 「線形結合を作って」「規格直交された固有関数を求め」ればいい. よくあるパターンは Gram-Schmidt.

関連するQ&A

  • 正規行列の異なる固有値の固有ベクトルは直交する?

    Aを正規行列とすると適当な対角行列Λと適当なユニタリ行列Uが存在してU^*・A・U=Λである λとμを異なる固有値として Uの列ベクトルでありλの固有ベクトルであるベクトルが張るベクトル空間をPとし Uの列ベクトルでありμの固有ベクトルであるベクトルが張るベクトル空間をQとしたとき PとQは直交しλの固有ベクトルはPの元でありμの固有ベクトルはQの元であるから「λの固有ベクトルとμの固有ベクトルは直交する」 上の証明について質問します (1)結論は正しいですか? 正しければ (2)証明に穴はありますか? あれば (3)どのように証明したらいいでしょうか?

  • 実対称線形作用素の固有関数は完全系をなすかどうか?

    自己共役線形作用素(演算子)の固有関数が完全系をなすことは、結構いたるところで言及されますが、証明を見たことはありません。が、仮にこれを信じたとして、実対称線形作用素の固有関数は完全系をなすのでしょうか? ただし、関数の連続性を仮定してもよいとします。なお、現在考えている作用素は1/rの様な有界ではない項を含みますが、議論の簡単のため、有界な作用素としてもかまいません。 よろしくお願いします。

  • 行列の固有ベクトルについて

    線形代数を勉強しています。 ある行列の固有ベクトルが、異なるものが二つ存在したとします。 その固有ベクトルは必ず互いに直交しますか? テキストには直交する例のみ載っているのですが、 直交しない場合も想像出来るので、悩んでおります。

  • 調和振動子の離散的なエネルギー固有値の出所

    量子力学では、調和振動子の問題の解法には2通りの方法がありますよね。 (1)シュレーディンガー方程式を解析的に解く方法 この方法では、エネルギー固有値がとびとびの値を持つのは、無限遠方で波動関数が0になることを要請した(束縛状態)結果だと理解しています。 (2)生成消滅演算子を用いて解く方法 位置演算子(x)や運動量演算子(p)の線形結合を取って生成消滅演算子(a)や(a*)を定義すると、エネルギー固有値は個数演算子(a*a)だけで書くことができて、その結果エネルギー固有値がとびとびの値を取ります。 (1)の方法では、境界条件が重要だったのに、(2)ではそのような境界条件を課すことなく、エネルギー固有値がとびとびの値を取るのは何故ですか?

  • 固有ベクトルの直交条件について

    実数を要素とするn×nの対称行列Aの異なる固有値k1、k2の固有ベクトルとしてそれぞれx1、x2が存在するとき、 x1Tx2=0・・・(1) (Tは転置です。x1の転置。) が導ければx1とx2は直交することが証明できるらしいのですが、なぜ(1)の式が成り立つときx1、x2は直交すると言えるのでしょうか? 宜しくお願いします。

  • エネルギー固有値と規格化された固有関数について

    長さLの1次元の箱の中の自由粒子について、エネルギー固有値と規格化された固有関数を求めるのですが。 φ≡φ(x)を仮定して波動方程式に代入してφで割ると 1/φ・(d^2φ)/dx^2=-(2mE)/hバー^2 左辺の項は定数でないといけないので、コレを-k^2とおいて境界条件を満たすφを求める。 φ=Asin((πn)/L)x,E=((π^2・hバー^2)/(2mL^2))n^2 n=1,2,3・・・・・ であってるのですか?教えてくださいお願いします。

  • 関数に対するシュミットの直交化

    a=(1,0,1)のようなベクトル系のシュミットの直交化はできるんですが 関数に対するシュミットの直交化ってどのようにやるんですか? 基底[1,x,x^2]からシュミットの直交化を用いて正規直交基底を作りたいです。

  • 規格直交化されていない状態|i>について

    規格化も直交化もされていない独立な状態|i>(i=1,2,…,n)について<i|j>=g_{ij}とすると、 |i>(g~{-1})_{ij}<j|=1 となることを示せという問題なのですが、こたえをみたら添付画像のようにかいてありました。 規格化も直交化もされていないので<i|j>=δ_{ij}(i,j=1,2,…,n)も Σ_{i=1}^n |i><i|=1(恒等演算子) も使えないのですが、添付画像の第1式と第2式の等号はどう考えたら成り立つのか、 教えていただければ幸いです。 第2等号があたかも当たり前のように書かれているのですが、これは問題の主張そのものなので、 もうちょっと自分なりに考えないといけないんだろうと思っています。

  • 【量子力学】固有値・固有関数の問題

    「量子力学」の試験で次のような問題が出て、復習しているのですが導出過程と解答が分かりません。 お手数をおかけしますが、教えていただけないでしょうか。お願いします。 ############################### 問、固有値aとbを持つ物理量演算子をFとし、対応する固有関数をそれぞれA,Bとする。 (1)固有関数Aで表される状態(固有状態)でFを測定すると、どのような測定値がどんな頻度で得られるか。 (2)別の力学系でFの測定をしたところ、その平均値はcであった。この力学系の状態ψをA,Bを用いて表せ。 (3)状態ψにおけるFの分散(ΔF) ^2を求めよ。 ###############################

  • ワニエ関数

    ワニエ関数について隣接サイトと直交するのが特徴ということまではわかりましたが、非縮退のs軌道のワニエ関数と縮退している3d軌道 から作られるワニエ関数にはどのような違いがあるのでしょうか?