tecktom.com

各章の役割と読み方

2026年10月9日5分で読めますAI生成教科書『虎の巻』第1章 序章：近似を数学の言葉で見る

AI 生成・木下が未勉強

近似の数理　第1章 §1.4　★★ 章の依存関係と、どこから読めるか

表 1.2　各章で扱う近似の型と、主な数学的道具
章内容型主な数学的道具
2解けない方程式を調べる方法道具不動点定理、Grönwall、弱解、コンパクト性
3量子力学の作用素論土台自己共役性、Hardy 不等式、min-max、HVZ
4Rayleigh–Ritz・Galerkin・LCAOACéa の補題、交互定理、カスプ条件
5Hartree–Fock の変分構造A（曲がった集合）縮約密度行列、Lieb の変分原理
6平均場極限・Thomas–FermiBWasserstein 距離、BBGKY、半古典極限
7Born–Oppenheimer・境界層・WKBB接合漸近展開、多重尺度、断熱定理
8Boltzmann 方程式から流体方程式へBH 定理、Hilbert・Chapman–Enskog 展開
9均質化・乱流モデル・DFTB と C弱収束、セル問題、Hohenberg–Kohn
10講義の近似を読む（ヘリウム・Hartree・HF）A と B1/Z1/Z 展開、遮蔽、交換積分の正値性
11何がどこまで正当化されているか総括

第2章と第3章は、以後の章が使う数学の道具を用意する。関数解析を学んでいない読者を想定し、ヒルベルト空間・定義域・弱収束などの語は使う前に定義する。第4章以降は、第2・3章の該当箇所を参照しながらどの章からでも読める。量子化学の近似に関心があれば第3→4→5→6章、流体の近似に関心があれば第2→7→8→9章の順が自然である。第10章は、講義「分子エレクトロニクス」第2回で使われたヘリウム・Hartree・Hartree–Fock の近似を、この巻の枠組みで一つずつ読み直すケーススタディで、第3〜6章の結果を具体的な原子に当てはめる。

重要度バッジは、この巻では巻の主題（物理の近似を微分方程式・作用素の理論から意味付けること）にとっての中心性で付けている。★★★ は主題の骨格、★★ は骨格を支える重要な道具や例、★ は補強・発展である。例題は全問この巻のための自作で、各問題の冒頭に「オリジナル」の印を付けている。

記法

内積は数学の流儀で ⟨f, g⟩=∫f‾g\langle f,\,g\rangle =\int\overline{f}g（第1引数について反線形）と書き、物理のブラケット ⟨f∣g⟩\langle f | g \rangle と同じものを表す。ノルムは ∥f∥=⟨f, f⟩1/2\lVert f\rVert =\langle f,\,f\rangle ^{1/2}。原子単位（ℏ=me=e=4πε0=1\hbar=m_e=e=4\pi\varepsilon_0=1）を使い、エネルギーの単位は hartree（≈27.211 eV\approx 27.211\,\mathrm{eV}）である。O(ε)\mathcal{O}(\varepsilon ) は「ある定数 CC について ≤Cε\le C\varepsilon」、o(1)o(1) は「0 に収束する量」を表す。

例題 1.4　原子単位と O\mathcal{O} の記法 ★

オリジナル

  • (1) ヘリウム原子の基底エネルギーは原子単位で −2.903724-2.903724 hartree である。これを eV で表せ。
  • (2) λ→0\lambda\to 0 で、e−1/λ\mathrm{e}^{-1/\lambda} はすべての自然数 nn について O(λn)\mathcal{O}(\lambda^n) であることを示せ。
  • (3) λlog⁡(1/λ)\lambda\log(1/\lambda) は λ→0\lambda\to 0 で o(1)o(1) だが O(λ)\mathcal{O}(\lambda) ではないことを示せ。
解答

(1) 11 hartree =27.211386=27.211386 eV なので −2.903724×27.211386=−79.014-2.903724\times27.211386=-79.014 eV（検算スクリプト）。第10章で扱うヘリウムの近似は、この値との差で良し悪しを測る。

(2) t=1/λt=1/\lambda とおくと e−1/λ/λn=tne−t\mathrm{e}^{-1/\lambda}/\lambda^n=t^n\mathrm{e}^{-t} で、これは t→∞t\to\infty で 0 に収束するので有界である。よって e−1/λ≤Cnλn\mathrm{e}^{-1/\lambda}\le C_n\lambda^n となる定数 CnC_n がある。例題「漸近級数の最適な打ち切り」の誤差 e−1/λ\mathrm{e}^{-1/\lambda} は、べき級数の言葉では「どの次数でも見えない」大きさであることがこれで分かる。

(3) λlog⁡(1/λ)=(log⁡t)/t→0\lambda\log(1/\lambda)=(\log t)/t\to 0（t=1/λ→∞t=1/\lambda\to\infty）なので o(1)o(1)。一方 λlog⁡(1/λ)/λ=log⁡(1/λ)→∞\lambda\log(1/\lambda)/\lambda=\log(1/\lambda)\to\infty なので、≤Cλ\le C\lambda となる定数 CC は無く、O(λ)\mathcal{O}(\lambda) ではない。B 型の誤差評価では、収束の速さにこうした対数の因子が付くことがあり、O(εα)\mathcal{O}(\varepsilon ^\alpha) の α\alpha だけでは収束の速さを言い尽くせない。

木下の勉強ステータス

木下はまだこの記事を勉強していません。

AI（Claude）が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先：support@tecktom.com

PDF第1章の PDF近似の数理の PDF（全章）

この記事が含まれている連載

連載AI生成教科書『虎の巻』授業とは別に、分野をまたいで気になったことを AI（Claude）が教材にし、木下が勉強しながら公開しています。上の段は AI が書いた本文、下の段は木下が勉強したあとに書いた文です。1787本の記事・木下 智貴
← AI生成教科書『虎の巻』の記事一覧へ