第一変種

応用数学および変分法において、関数J ( y )の第一変分は線形関数として定義される。${\displaystyle \delta J(y)}$関数hをマッピングする

${\displaystyle \delta J(y,h)=\lim _{\varepsilon \to 0}{\frac {J(y+\varepsilon h)-J(y)}{\varepsilon }}=\left.{\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}J(y+\varepsilon h)\right|_{\varepsilon =0},}$

ここで、yとhは関数であり、εはスカラーである。^{[ 1 ]}これは、汎関数のガトー微分として認識できる。 ^{[ 1 ]}

の最初の変分を計算します

${\displaystyle J(y)=\int _{a}^{b}yy'\mathrm {d} x.}$

上記の定義から：

${\displaystyle {\begin{aligned}\delta J(y,h)&=\left.{\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}J(y+\varepsilon h)\right|_{\varepsilon =0}\\&=\left.{\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}\int _{a}^{b}(y+\varepsilon h)(y^{\prime }+\varepsilon h^{\prime })\ \mathrm {d} x\right|_{\varepsilon =0}\\&=\left.{\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}\int _{a}^{b}(yy^{\プライム}+y\varepsilon h^{\prime }+y^{\prime }\varepsilon h+\varepsilon ^{2}hh^{\prime })\ \mathrm {d} x\right|_{\varepsilon =0}\\&=\left.\int _{a}^{b}{\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}(yy^{\prime }+y\varepsilon h^{\prime }+y^{\prime }\varepsilon h+\varepsilon ^{2}hh^{\prime })\ \mathrm {d} x\right|_{\varepsilon =0}\\&=\left.\int _{a}^{b}(yh^{\prime }+y^{\プライム}h+2\varepsilon hh^{\prime })\ \mathrm {d} x\right|_{\varepsilon =0}\\&=\int _{a}^{b}(yh^{\prime }+y^{\prime }h)\ \mathrm {d} x\\\end{aligned}}}$

• 変分法
• 機能的誘導体
• 第二変奏曲