第4章: 変分法と最適化

Calculus of Variations and Optimization

🎯 学習目標

📖 変分法とは

汎関数と変分

汎関数(functional)は、関数を入力として実数を出力する写像です:

\[ J[y] = \int_{x_1}^{x_2} F(x, y(x), y'(x)) dx \]

変分問題: 汎関数 \(J[y]\) を極値化する関数 \(y(x)\) を求める

変分(variation) \(\delta y\): 関数 \(y(x)\) の微小変化

\[ y(x) \to y(x) + \epsilon \eta(x), \quad \eta(x_1) = \eta(x_2) = 0 \]

汎関数の1次変分がゼロとなる条件が極値条件です:

\[ \delta J = \frac{d}{d\epsilon}J[y + \epsilon\eta]\bigg|_{\epsilon=0} = 0 \]

オイラー-ラグランジュ方程式

汎関数 \(J[y] = \int F(x, y, y') dx\) を極値化する関数 \(y(x)\) は、以下の微分方程式を満たします:

\[ \frac{\partial F}{\partial y} - \frac{d}{dx}\left(\frac{\partial F}{\partial y'}\right) = 0 \]

これをオイラー-ラグランジュ方程式(Euler-Lagrange equation)と呼びます。

物理的意義

まとめ