汎函数微分

数学および理論物理学における汎函数微分（はんかんすうびぶん、）は方向微分の一般化である。方向微分が有限次元のベクトルに関する微分法であるのに対して、汎函数微分は（無限次元ベクトルとしての）連続函数に対する微分法を与えるとされるが、単純な一変数微分積分学における一次元の微分を一般化したものと見做せる点では両者は共通している。汎函数微分の数学的に厳密な取扱いは函数解析学に属する。
定義.
与えられた多様体 "M" が (連続な/滑らかな/ある種の境界条件を持つなどの) 函数 "φ" を表現するものとし、汎函数 "F" が 
と定義されているとき、"F" の汎函数微分 とは、任意の試験函数 "f" に対して
を満たすようなシュヴァルツ超函数を言う。試験函数 "f" のところに "φ" の第一変分 δ"φ" を代用して、汎函数 "F" の第一変分 δ"F" が得られることは、傾き (gradient) から函数の微分が得られるのと同様である。また、ノルム 1 の試験函数 "f" を用いれば、この函数に沿った方向微分が得られる。
物理学では、（偏微分が傾きの成分であるのと同様の意味で、ひとつの汎函数微分の各「成分」を記述する）点 "y" における汎函数微分を導くのに、一般の試験函数 "f"("x") ではなくてディラックのデルタ函数 δ("x" − "y") を用いて
とするのが普通である。この手法は、"F"["φ"("x") + "εf"("x")] が形式的に "ε" を変数とする級数に（あるいは少なくとも一次までは）展開できる場合にはうまくいく。しかしこの式は数学的に言えば厳密なものでない、なぜなら "F"["φ"("x") + "ε"δ("x" − "y")] はふつう十分に定義されないからである。
厳密な扱い.
汎函数微分の定義は、考える函数の空間をもっときちんと定めれば、もっと数学的に明確で厳密に扱うことができる。例えば、考える函数空間がバナッハ空間のとき汎函数微分はフレシェ微分として知られるものになるし、もっと一般の局所凸空間でもガトー微分ができる。よく用いられるヒルベルト空間もバナッハ空間の特別の場合なのであった。このようなより厳密な取扱いをすることにより、通常の微分積分学や解析学における様々な定理が、函数解析学における（函数解析学に特有の新たな定理と並ぶ）相応の定理へと一般化される。
試験函数にデルタ函数を用いること.
先の定義は任意の試験函数 "f" に対して満足される関係式に基づいて与えられたものだったから、試験函数を特別の函数に限ったとしてもその関係式が満たされるはずだが、しかし選んだ函数がディラックデルタのようなものであるとすれば、それは試験函数として有効なものではない。
定義は、汎函数微分が変動函数 "φ"("x") の小さな摂動に対して汎函数 "F"["φ"("x")] の摂動がどの程度であるかを記述するものであることを言っているのであって、"φ"("x") における摂動が特定の形であることを規定するものではないけれども、"x" が定義される全区間の上で引き延ばすようなものでなければいけない。摂動の形をデルタ函数で与えられるものに限るということは、変動函数 "φ"("x") が決められた点 "y" においてのみ変化することを意味するのであり、この点を除いては "φ"("x") は変動しない。
物理学で、ある量（例えば、位置 r1 における電位 "V"）の、別の量（例えば、位置 r2 における電荷密度 "ρ"）を変化させた時の影響がどのようなものになるかを知りたいという場面はよくある。この与えられた位置における電位は電荷密度の函数、即ち特定の密度函数と空間内の点とが与えられればその点における電荷を意味する数値を密度函数を使って計算することができる。この数値が空間の全ての点を亙ってどのように変化するのかを知りたいのだから、電位を位置 r の函数として
と扱う。つまり、各 r に対して、電位 "V"(r) というのは、"ρ"(r′) を引数とする汎函数なのである。汎函数微分の定義に照らして、
ゆえに
が成り立つ。いま、r = r1 および r′ = r2 における汎函数微分を評価することができるから、r1 における電位が、r2 における電荷密度の小さな変化の影響を受けてどのくらい変わるかを知ることができるが、一般には評価できない形の式のほうが恐らくは有用である。
例.
函数とその導函数を含む式の積分として書けるような、よくあるクラスの汎函数に対して、その汎函数微分に関する公式を挙げる。これはオイラー-ラグランジュ方程式の一般化であり、実際、物理学において汎函数微分は、ラグランジュ力学の最小作用原理から第二種ラグランジュ方程式の導出の中で導入された（18世紀）。以下の最初の三つの例は密度汎函数論（20世紀）から、四番目は統計力学（19世紀）からのものである。
函数とその導函数の混じった式.
与えられた汎函数が
なる形で、"ρ" が r の境界で消えるものとすると、汎函数微分と試験函数 "φ" との内積は
なる形に書くことができる。ここで、三行目は積分の限界において "φ" = 0 と仮定した。故に汎函数微分は
あるいはより明示的に書けば
となる。この例は考える汎函数が、函数 "ρ"(r) とその勾配 ∇"ρ"(r) のみに依存するという特別な場合を示している。より一般には、汎函数は高次の導函数を含む
なる形も想定しなければならない。ここで ∇"i" は各第 "n""i"-成分が何れも "i"-階偏微分作用素、つまり
であるようなテンソルとする。この場合も先ほどと同様に、定義から
となることが導かれる。
トーマス＝フェルミ運動エネルギー汎函数.
1927年のトーマス＝フェルミ模型では、電子構造の密度汎函数論の最初の試みにおいて、非干渉一様電子ガスに対する運動エネルギー汎函数
が用いられた。"T"TF["ρ"] は電荷密度 "ρ"(r) にのみ依存して、その勾配やラプラシアンあるいは他の高階微分には依存しない（このような汎函数は「局所的」であるという）。従って
が成り立つ。
クーロン位置エネルギー汎函数.
電位の古典的な部分に対して、トマスとフェルミはクーロン位置エネルギー汎函数
を採用した。やはり "J"["ρ"] は電荷密度 "ρ" のみに依存して、その各種高階導函数に依存しない（つまり局所的汎函数である）から
が得られる。クーロン位置エネルギー汎函数の二階汎函数微分は
となる。
ヴァイツゼッカー運動エネルギー汎函数.
1935年にフォン・ヴァイツゼッカーは、分子の電子雲についてより適切になるように、トマス-フェルミ運動エネルギー汎函数に勾配を加味して修正した
を用いることを提唱した。そうすると、この "T"W["ρ"] は電荷密度 "ρ" およびその勾配 ∇"ρ" にも依存するので、
となる。
汎函数としての函数.
最終的に、任意の函数は汎函数として表せることを注意しておこう。例えば
である。この汎函数は上記最初の二つの例のように "ρ" にのみ依存（つまり局所的）であるから、
が成り立つ。
エントロピー.
離散確率変数のエントロピーは確率密度函数を引数とする汎函数
であり、従って
即ち、
が成り立つ。
指数型汎函数.
汎函数 "F" を
で与えられるものとする。デルタ函数を試験函数として
となるから、
を得る。