| この項目「 レイリー・リッツ法」は翻訳されたばかりのものです。不自然あるいは曖昧な表現などが含まれる可能性があり、このままでは読みづらいかもしれません。(原文: en: Rayleigh–Ritz method)
修正、加筆に協力し、現在の表現をより自然な表現にして下さる方を求めています。 ノートページや 履歴も参照してください。 (2023年9月) |
レイリー・リッツ法(レイリー・リッツほう、英: Rayleigh–Ritz method)は、固有値問題に対する数値的近似解法の一つ。レイリー卿とヴァルター・リッツに名をちなむ。物理学上の境界値問題の解法として考案された。
固有値と固有ベクトルの近似をともなう全ての問題に応用でき、分野によってしばしば別名で呼ばれる。量子力学では、系を構成する粒子はハミルトニアンを用いて記述されるが、リッツ法では試行波動関数を用いて最低エネルギー固有値に対応する固有関数を近似する。有限要素法の文脈では、数学的に等価なアルゴリズムが一般にリッツ・ガラーキン法(英語版)と呼ばれる。機械工学および構造工学では固有振動モードおよび共鳴周波数を近似する手法としてレイリー・リッツ法およびリッツ法という用語が用いられることが多い。
本手法は1908年から1909年にかけてヴァルター・リッツが発表したもので、リッツ法と呼ぶべきであるという主張もある[1][2]。A. W. Leissa[1]によれば、レイリー卿は1911年にリッツの業績を顕彰する論文を書いたが、彼自身が書籍他の刊行物において本手法をすでに何度も用いていたと述べている。後に異論も出たもののこの主張にくわえ、射影に単一ベクトルを用いる自明な場合、本手法はレイリー商の計算に帰着するという事実もあり、異論もあるもののレイリー・リッツ法という名称が現在まで用いられている。S.Ilanko[2]はリヒャルト・クーラントを引いて、レイリー卿とヴァルター・リッツがそれぞれ独立に、偏微分方程式の境界値問題と変分問題の等価性を活用し、有限のパラメータを決定すればよい極値問題で変分法を置き換えるというアイデアを独自に考案したとする。詳細については、リッツ法の項を参照されたい。皮肉なことに、後にこの手法はより単純でより一般的な正射影を用いるよう改良され、ボリス・ガラーキン(英語版)に名を因んでガラーキン法(英語版)もしくはリッツ・ガラーキン法と呼ばれる。
数値線形代数において、レイリー・リッツ法は一般的[3]にサイズの正方行列についての固有値問題の近似解を得るために用いられる。まず、行列はより小さなサイズの行列へと射影される。射影は、その列が正規直交系をなす射影行列により行われる。行列版のレイリー・リッツ法は最も単純で、以下のように書き下せる。
- 行列を計算する。ここで、はの複素共役転置行列とする。
- 固有値問題を解く。
- リッツベクトルおよびリッツ値を計算する
- リッツ対と呼ばれるをを元の行列の固有値問題の近似解として出力する。
もし、行列の列を正規直交基底として張られる線型部分空間が行列の固有ベクトルに近い個のベクトルを含んでいれば、上記のレイリー・リッツ法はそれら固有ベクトルをよく近似する個のリッツベクトルを与える。各リッツ対の精度は、容易に計算できる量により評価できる。
最も簡単なの場合、行列は単位列ベクトル、行列はレイリー商と一致するスカラーとなり、固有値問題の唯一の解は、唯一のリッツベクトルはそれ自体となる。したがって、の場合、レイリー・リッツ法はレイリー商の計算に帰着する。
別の有用なレイリー商とのつながりとして、各レイリー対に対してが成り立ち、したがってリッツ値は対応するレイリー商の理論から導かれるいくつかの性質をもつことが上げられる。たとえば、がエルミート行列のとき、そのレイリー商は(したがってリッツ値も)実数値をとり、の最小固有値と最大固有値の間の閉区間におさまる。
行列の固有値はであり、それぞれに対応する固有ベクトルは以下のとおりである。ここで、とすると、の固有値はでありそれぞれに対応する固有ベクトルは以下のとおりとなる。したがってリッツ値は、リッツベクトルは以下のように求まる。この例で与えられたを用いると、リッツベクトルはの固有ベクトルのうち2つと完全に一致しており、リッツ値も3つの固有値のうち2つと完全に一致している。この例において近似解が厳密解と一致したのは、行列の列空間が2つの固有ベクトルおよびによって張られる線形部分空間と一致していたからと説明される。
数値線形代数において、打ち切り特異値分解問題に対してもレイリー・リッツ法を適用することができる。これにより、サイズの行列の与えられた線形部分空間内の左特異ベクトルおよび右特異ベクトルを近似的に求める問題を固有値問題に帰着させることができる。
特異値と、それに対応する左特異ベクトルと右特異ベクトルはおよびにより定義される。左右どちらかの特異ベクトルおよび対応する特異値の集合を近似的に求めるには、エルミート正規行列またはのどちらか小さい方に対してナイーブにレイリー・リッツ法を適用すればよい。もう片方の特異ベクトルは単純にまたはのように行列をかけて特異値で割れば得られる。しかし、割り算は特異値がゼロもしくはそれに近いとき不安定となる。
別のアプローチとして、サイズの正規行列に対する、正規直交行列を用いたレイリー・リッツ法を適用すると、行列に対する固有値問題を解くことになるが、これは行列についての特異値問題とみなせることを活用する方法がある。この見方により左右両方の特異ベクトルを同時に得ることが以下のようにして可能となる。
- 行列を計算する。
- Thin-SVD[訳語疑問点]を解き、行列、対角行列、行列を得る。
- リッツ左特異ベクトルとリッツ右特異ベクトルを計算する。
- リッツ特異トリプレットと呼ばれる三つ組が、元の行列の打ち切り特異値分解問題の行列の列空間上における近似解である。
このアルゴリズムは、固有値問題ソルバ(例:LOBPCG(英語版))から出力された行列に対する後処理として実行することができる。
行列の正規行列はまた特異値は、対応するThin-SVDは以下のように求まる。ここで左側の行列の列は行列の左特異ベクトルの完全集合をなし、真ん中の対角行列の対角要素は特異値、右側の行列の列は右特異ベクトルの転置となっている(ただし、転置しても元と変わらない)ここで、特異値1、2に対応する2つの右特異ベクトル厳密解
により張られる空間を列空間とする行列、
を導入する。
上記アルゴリズムのステップ1に従い、次の行列を得る。さらに、ステップ2に従い、thin-SVDを解くと以下を得る。したがって、から特異値として2と1が得られ、から対応する左特異ベクトルとしてとが得られた。これら二つのベクトルはの列空間を張っており、与えらえれたによる近似解が厳密解と一致する理由を説明する。
最後に、ステップ3に従いを計算すると以下を得る。したがって右特異ベクトルはおよびである。このうち前者がを満たすことは以下のように確かめられる。また、を満たすことも以下のように確かめられる。このように、行列の列空間が右特異ベクトルの厳密解により張られる空間と一致するとき、それら右特異ベクトルと、対応する左特異ベクトルおよび特異値の厳密解が得られる。任意の行列に対しては、レイリー・リッツ法の意味で最適な特異値分解が近似解として求まる。