偏微分方程式（発展）

「解が存在する」を、解を書かずに証明する

熱の伝わり方、波の進み方、電位の分布——自然の基本法則は偏微分方程式で書かれます。初等的な理論では変数分離やフーリエ変換で解の公式を書きましたが、少し複雑な領域や係数になると 解の公式は書けなくなる。それでも解は存在するはずです。

そこで現代の発想はこうです。「解を書き下すのを諦め、代わりに解が存在すること自体を証明する」。そのために方程式を弱い形に書き直し（弱解）、関数を無限次元空間の点とみなし（ソボレフ空間）、線形代数と関数解析と変分法の力で、解の存在・一意性・なめらかさを保証します。「いちばん良い形はエネルギーを最小にする」という物理の直感（ディリクレ原理）が、そのまま解の存在証明になる——ここが発展 PDE の醍醐味です。

解を求めるのではなく「解の存在」を証明する。弱解とソボレフ空間・変分法・関数解析が主役。

この分野の地図

「弱解という土俵を作る」→「楕円型で存在・一意・正則性を確立する」→「時間発展（熱・波動）へ」の順に進みます。

弱解とソボレフ空間 — 土俵を作る

弱解への道 — 古典解の限界・部分積分で微分を移す・弱形式
ソボレフ空間 — 弱微分・ $H^1$ がヒルベルト空間になる・なぜ完備性が要るか
埋め込みとトレース — ソボレフ埋め込み・レリッヒのコンパクト性・ポアンカレ不等式・境界値

楕円型 — 存在・一意・正則性

調和関数 — 平均値性・最大値原理・正則性・リウヴィル
ディリクレ原理と変分法 — エネルギー最小化＝弱解・直接法・下半連続性
ラックス–ミルグラムの定理 — 双線形形式による弱解の存在と一意性
楕円型の正則性 — 弱解は実は滑らか・ $L^2 \to H^2$ ・ワイルの補題
グリーン関数と固有値 — 基本解・ポテンシャル論・ラプラシアンのスペクトル分解

発展方程式 — 時間発展

熱方程式（放物型） — 熱核・平滑化・最大値原理・エネルギー減衰
波動方程式（双曲型） — エネルギー保存・有限伝播速度・特異性の伝播
半群と抽象発展方程式 — $u'=Au$ ・ $C_0$ 半群・ヒレ–吉田の定理
非線形への扉と総括 — 不動点・単調作用素・未解決問題・分野全体の見取り図

前提

関数解析（ヒルベルト空間・弱収束・コンパクト作用素）、測度論（ $L^p$ 空間）、フーリエ解析（超関数・畳み込み）、微分方程式（初等的な PDE）を踏まえた発展分野です。第5章は変分法と、第8章は複素解析の調和関数論と響き合います。

準備ができたら第1章：弱解への道へ。