固有関数が直交する内積の定義
「固有ベクトルの正規直交化」で書いた方法だと、固有関数が分かってしかもそれがなす変換の逆変換がわからないと直交化できなかった。これじゃぁあまり役に立たないので、ちょっと再考してみた。
(ちなみにSchmidtの直交化とは方向性がすこし異なります。あれは固有値の異なる固有関数を混ぜてしまうので、もはや固有関数ではなくなってしまいます。Schmidtの直交化では内積の定義の変更はしません。)
がある。ここで正則な線形変換Tによって
として、yが直交基底になるようにしたい。このyで固有値問題を書き換えると
になる。ならば線形変換の固有関数が普通の内積の意味で直交基底になれば良い。そのときに、内積を
と定義すればよい。ここでとした。ゆえにPは正定値である。このようなPを決定することが目標。
線形変換Bの固有関数が普通の内積の意味で直交基底をなす必要十分条件は、Bが正規変換
であること。また、これへの十分条件(物理系などで固有値を実数に限定する場合)として自己共役
の方が計算上ラクなので、こっちも留意しておく。
ここでであったので、自己共役はであり、これを正規変換の式に代入して変形すると
となる。逆に言えばこのような正定値線形変換を求めれば直交化できるということになる。固有値を実数に限定するのなら、自己共役の式から
となる。
例:線形変換
についての固有値問題の固有関数
は普通の内積の定義
だと直交でない。
そこで、自己共役化の式を使って固有関数が直交になるような内積の定義を提示することを目指す。
線形変換Pを正値関数を掛けることに限定する。(このようなが見つけられれば目的は果たされる。これを重み関数と呼ぶらしい。)
線形変換のエルミートは
そこで、自己共役化の式は
- <=>
となる。これを解いて、重み関数を
とする。よって改めて内積を
と定義する。このとき固有関数について
となって確かに直交してますね。
特殊関数論に出てくるエルミート微分方程式の解、エルミート多項式が普通の内積では直交してなくても重み関数をはさむ事で直交化できますというのがこのお話の一例。そっちを書いたほうが物理屋さんが喜んでよかったかなw
追記: どうやら、次のような正定値行列P
が存在するという条件は、行列Aが対角化可能であることと同値であるような気がする。