質問: 摂動論で摂動項が非摂動項の線形結合で表現出来るわけ 量子化学で、摂動論と言うのを勉強しているのですが、 何故、摂動項の固有関数ψn’が非摂動項の固有関数ψnの線形結合 ψn’=σa_nψn と表現出来るのでしょうか? 勿論 ψは完全系なので ψ=σa_nψn と表せることは分かります。 でも例えば、非摂動項の境界条件でなんかの条件例えば、ψ(x=a)=0を満たさなければならない、 とすると、総ての固有関数はψn(x=a)=0 を満たすことになります。 つまり、その固有関数の組み合わせで与えられる関数は、全てx=aの時0になるはずです。 が、もし摂動項によりその境界条件がなくなった場合 ψ’(x=a)≠0 である関数でなくれはなりません。 つまり、非摂動の関数では表せないはずでは?? 何故、物理、化学などでは ψn’=σa_nψn としているのでしょうか? これは、単なる近似、ということなのでしょうか? でもだとすれば ψn’=σa_nψnではなく ψn’≈ σa_nψnと書いているはずです。 どなたか説明出来る方がいらっしゃればよろしくお願いします。
回答: 直感的な言い方をすれば、 固有関数などを摂動項の冪で展開(テーラー展開)するのが摂動論です。 通常のテーラー展開と同じように、摂動項が収束半径よりも"大きい"時には冪展開した表式は意味を持ちません。摂動論を使うためには摂動項が"小さい"事が必要です。 非摂動ハミルトニアンのみの時にある境界条件が課せられるけれども摂動項を含めるとその境界条件を満たす必要がなくなるような場合は、摂動項が小さいとはみなせないので摂動論が適用できないという話になるかと思います。