量子力学/汎関数微分 の変更点

更新 
[[量子力学Ⅰ]]

#contents
&katex();

* 関数から実数への写像＝汎関数 [#k6553aeb]

$F$ に関数 $\phi$ を与えると何らかの数値 $F[\phi]$ が得られるとしよう。そのような $F$ は汎関数と呼ばれる。

$$
F:\phi\mapsto F[\phi]
$$

例えばこんなの。

$$
F[\phi]=\int_a^b f\big(\phi(x),x\big)\ dx
$$

$f(\cdot,\cdot)$ は始めから決まった関数とし、$a,b$ も定数であるとしよう。これを見て「関数 $\phi$ を定めると $F[\phi]$ の値が定まる」という感覚を理解できるだろうか？

もっと簡単な例として、

$$
F[\phi]=\phi(0)
$$

なんてすれば、これも立派な汎関数だ。関数 $\phi(x)$ の定義を１つ与えれば $F[\phi]$ の値が１つちゃんと決まる。$\phi(x)$ の定義を変えると $F[\phi]$ の値も変わる（ことがある）。上の定義で $f(\phi,x)=\phi\,\delta(x)$ と置いたと見なしてもいい。
* 汎関数微分 [#a84f1228]

実数 $\phi$ の関数 $f(\phi)$ に対して、

$$
\phi\to\phi+\delta\phi\ \ \text{のとき}\ \ f(\phi)\to f(\phi)+\underbrace{\frac{df}{d\phi}\delta\phi}_{\delta f}
$$

と書いた際の $df/d\phi$ を $f$ の微分と呼ぶのに対応して、

$$
\delta
$$

関数 $\phi$ を 

$$
\phi(x)\to\phi(x)+\delta\phi(x)
$$ 

のように少し変化させたときに、汎関数 $F[\phi]$ の値は

$$
F[\phi]\to F[\phi]+\int \frac{\delta F}{\delta \phi} \delta\phi(x)\ dx
$$

のように変化する、と書いたときの、

$$
\frac{\delta F}{\delta \phi}
$$

のことを「汎関数微分」と呼ぶ。一般にはこれ自体が $x$ の関数となる。

同じことを、

$$
\phi(x)\to\phi(x)+\delta\phi(x)
$$ 

のときに

$$
F[\phi]\to F[\phi]+\delta F[\delta \phi]
$$

となるとして、

$$
\delta F[\delta \phi]=\int \frac{\delta F}{\delta \phi} \delta\phi(x)\ dx
$$

と書いてもいい。$\delta$ が多くて目がチカチカする。

** どうして積分が必要なのか？ [#x83a1625]

$$
F[\phi]\to F[\phi]+\frac{\delta F}{\delta \phi} \delta\phi
$$

ならとても分かりやすいのに、なぜ

$$
F[\phi]\to F[\phi]+\int \frac{\delta F}{\delta \phi} \delta\phi(x)\ dx
$$

のように積分が必要なのか？

これは、$n$ 変数関数 $f(x_1,x_2,\dots,x_n)$ の

$$
x_i\to x_i+\delta x_i
$$

に対する変化が、

$$
f\to f+\sum_{i=1}^n \frac{\partial f}{\partial x_i}\delta x_i
$$

であったことと対応している。$F[\phi]$ では $\sum$ の代りに $\int$ が現れたわけだ。

言ってしまえば、汎関数 $F[\phi]$ は無限個の変数 $\phi(x)$ に依存する超多変数関数なのである。

$F[\phi]$ は $\phi(0)$ にも $\phi(0.1)$ にも $\phi(0.11)$ にも依存している（可能性がある）。というか、定義域に含まれるすべての $x$ に対する $\phi(x)$ に依存している（可能性がある）のだから、それぞれに対する変化量である $(\delta F/\delta\phi)\delta\phi(x)$ をすべて足したものが $\delta F[\delta\phi]$ になる。$x$ が連続なので「すべて足したもの」を計算するのに $\sum$ ではなくて $\int $ が必要になるわけだ。

* 汎関数微分の例 [#fa68847a]

** 例１ [#z5c871d6]

$$
F[\phi]=\int f\big(x,\phi(x)\big)\ dx
$$

のときは単純に、

$$
\delta F[\delta \phi]=\int \frac{\partial f}{\partial \phi} \delta\phi(x)\ dx
$$

であるから、

$$
\frac{\delta F}{\delta \phi}=\frac{\partial f}{\partial \phi}
$$

となる。これは一般に $x$ の関数である。

めでたしめでたし？

** 例２ [#n48a29d9]

$x$ による微分を

$$
\phi'=\frac{d\phi}{dx}
$$

などと書くことにして、

$$
F[\phi]=\int f(x,\phi(x),\phi'(x))\ dx
$$

すなわち $f$ が $\phi$ の微係数 $\phi'$ にも依存するときには、

$$
\delta F[\delta\phi]=\int \Big[\frac{\partial f}{\partial \phi}\delta \phi+\frac{\partial f}{\partial \phi'}\delta \phi'\Big] dx
$$

これは部分積分することができて、

$$
\delta F[\delta\phi]=\Big[\frac{\partial f}{\partial \phi'}\delta \phi\Big]+\int \Big[\frac{\partial f}{\partial \phi}-\Big(\frac{\partial f}{\partial \phi'}\Big)'\Big]\delta \phi\ dx
$$

積分区間の端で $\frac{\partial f}{\partial \phi'}=0$ または $\delta \phi=0$ となる場合には１項目は消えて、

$$
\frac{\delta F}{\delta \phi}=\frac{\partial f}{\partial \phi}-\Big(\frac{\partial f}{\partial \phi'}\Big)'
$$

と書ける。微分をちゃんと書いておくと、

$$
\frac{\delta F}{\delta \phi}=\frac{\partial f}{\partial \phi}-\frac{d}{dx}\Big(\frac{\partial f}{\partial (d\phi/dx)}\Big)
$$

である。この形は解析力学で作用の極小値を考える際などに頻出する。

*** オイラー・ラグランジュ方程式 [#tcc21e7a]

ラグランジアンを $L$、経路を$x(t)$ とする。
また、時刻 $t=t_a$ に $x(t_a)=x_a$ であり、
$t=t_b$ に $x(t_b)=x_b$ であるとする。

この２つの時刻の間の経路 $x(t)$ を求める問題は、
汎関数

$$
S[x]=\int_{t_a}^{t_b} L\big(x(t)\big)dt
$$

を最小化する $x(t)$ を求めることと同じであり、すなわち

$$
\frac{\delta S}{\delta x}=\frac{\partial L}{\partial x}-\frac{d}{dt}\Big(\frac{\partial L}{\partial \dot x}\Big)=0
$$

を解くことになる。
$x(t_a)$ と $x(t_b)$ とを固定したことにより、$\delta x(t_a)=\delta x(t_b)=0$ が条件となるため、
上記の部分積分で現れる第１項が消えることに注意せよ。
この方程式はオイラー・ラグランジュ方程式と呼ばれる。

また、汎関数 $S$ は作用積分あるいは作用と呼ばれ、
このようにして経路を求められることは最小作用の法則と呼ばれる
（このときの「極値」は実際には「最小値」となる）。


* 参考 [#x7ea3e5f]

ｰ [[ＥＭＡＮの物理学・解析力学・汎関数微分>http://eman-physics.net/analytic/functional.html]]

* 質問・コメント [#n228804f]

#article_kcaptcha
Counter: 18438 (from 2010/06/03), today: 1, yesterday: 13