この章のまとめ
AI 生成・木下が未勉強
近似の数理 第1章 §1.6
要点
- 物理の近似は、A 型(射影)・B 型(極限)・C 型(閉じる)の3つに分けられる。
- A 型の線型版は上界・単調性・収束を保証し、収束の速さは解の滑らかさで決まる。曲がった集合への制限(ガウス変分、Hartree–Fock)は上界だけを保証する。
- B 型はパラメータが十分小さければ正確だが、パラメータを固定したまま精度を上げる手段を持たない。漸近級数は発散しうる。
- C 型には内部に誤差の評価が無い。
- 物理的直観は、A 型では「良い部分空間を選ぶ」こと、B 型では「小さいパラメータを見つける」ことにあたる。
非調和振動子の例では、3つの型の違いが数値としてはっきり現れた。線型の Ritz 法は基底14個で誤差 に達し、ガウス変分は で止まり、摂動級数は3次付近で誤差 が限界だった。以後の章では、多電子系と流体という、厳密値が手に入らない問題について、同じ区別を定理の形で確かめていく。
例題 1.8 指数的な収束を外挿する ★★
オリジナル表1.1の Ritz 法の誤差は で 、 で である。
- (1) 誤差が を1つ増やすごとに一定の比 で減ると仮定して、 を求めよ。
- (2) その仮定で の誤差を予測し、表の値と比べよ。
- (3) 摂動級数の誤差に同じ外挿を使えない理由を述べよ。
解答
(1) から までの4段で誤差が 倍になったので、。基底を1つ足すごとに誤差がおよそ6分の1になる。
(2) では と予測される。表の値は で、桁まで合う(検算スクリプト)。比 がほぼ一定に保たれることが、指数的な収束の中身である。この比がどう決まるかは解の滑らかさの問題で、第4章で扱う。
(3) 摂動級数の誤差は表で 、、、 と変わり、隣り合う比は 1 より小さい値から 1 より大きい値へ移っていく。漸近級数では比 が とともに増え続けるので、一定の比で外挿する前提そのものが成り立たない。
総合問題 厳密に解ける摂動で3つの型を検証する ★★★
オリジナル調和振動子に2次の摂動を加えた ()の基底エネルギー を考える。この問題は厳密に解けるので、この章で見た近似の性質を誤差まで含めて確かめることができる。
- (1) を厳密に求めよ。(使う道具:第1章「1つの問題で3つの型を比べる」の設定)
- (2) だけを使う Ritz 法()の値 を求め、すべての で を確かめよ。(使う道具:第1章「近似の3つの型」の A 型の上界)
- (3) ガウス変分 の最小値を求め、 と一致することを示せ。非調和振動子のガウス変分が厳密値に届かなかったこととの違いを述べよ。(使う道具:第1章「1つの問題で3つの型を比べる」のガウス変分、例題「ガウス変分のエネルギー」)
- (4) を について展開し、5次までの係数と収束半径を求めよ。 では2次までの部分和を、 では5次までの部分和の列を、厳密値と比べよ。(使う道具:第1章「1つの問題で3つの型を比べる」の摂動級数、例題「漸近級数の最適な打ち切り」)
- (5) 収束半径を決めている点 で に何が起きているかを述べ、非調和振動子の級数の収束半径が 0 になることとの関係を説明せよ。(使う道具:第1章「近似の3つの型」の B 型、第1章「1つの問題で3つの型を比べる」)
解答
(1) なので、角振動数 の調和振動子である。基底エネルギーは
(2) 。 のとき で、 なので 、すなわち 。等号は のときだけである。 では 、 で、誤差は 。 は1次摂動の値と一致しており、本文の非調和振動子で の Ritz と1次摂動が一致したのと同じことが起きている。
(3) 、 より
で微分して 0 とおくと 、 で、そのとき 。 の基底状態は幅の違うガウス関数なので、ガウス関数の集合が厳密解を含み、曲がった集合への制限でも厳密になる。非調和振動子では基底状態がガウス形からずれているので、ガウス関数の集合の中にいる限り誤差 が残った。曲がった集合への制限が厳密になるかどうかは、真の解がその集合に入っているかどうかだけで決まる。
(4) 二項展開 から
の級数は で収束し で発散するので、 について収束半径は である。 では2次までの部分和が で、厳密値 との差は 。 では部分和が と振れ幅を広げながら振動し、厳密値 に近づかない(検算スクリプト)。
(5) では の係数 が 0 になり、 ではポテンシャルが下に開いて に基底状態が無くなる。 は で の分岐点をもち、複素 平面で原点からこの特異点までの距離 が収束半径になる。この問題では が正でも、 なら級数は使えない。B 型の近似がどこまで使えるかは、物理的に意味のある の側だけでなく、パラメータを複素数まで広げたときの特異点の位置で決まる。非調和振動子では にするとどんなに小さくても が十分大きな で に勝ってポテンシャルが下に開くので、特異点が原点に集まり、収束半径が 0 になる。漸近級数として小さい でしか使えないという本文の結果は、この見方から理解できる。
木下の勉強ステータス
木下はまだこの記事を勉強していません。
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com
← AI生成教科書『虎の巻』の記事一覧へ