汎函数

弧長汎函数はその定義域として長さ有限な曲線のベクトル空間（$C([0,1],{ℝ}^3)$の部分空間）を持ち、実数のスカラーを出力する。これは非線形汎函数の一例である。

リーマン積分は$ℝ$から$ℝ$のリーマン可積分な関数のベクトル空間上の線型汎函数である。

数学の特に函数解析や変分法における汎函数（はんかんすう、テンプレート:Lang-en-short）は、ベクトル空間からその係数体あるいは実数値函数の空間への写像のことを指して言う。言い換えると、ベクトルを入力引数とし、スカラーを返す函数である。よくある状況として、考えるベクトル空間が函数の空間のときには函数を入力の引数としてとるので、汎函数のことを「函数の函数」と考えることもある。変分法において汎函数の使用は、ある種の汎函数を最小化する函数を求めることから始まった。物理学への特別に重要な応用として、テンプレート:仮リンクを最小とする系の状態を探すことがある。

例と導入

双対性

函数 $f(x_0)$が与えられているとき、これを $f$ を止めて$x_0$ を $f$ の引数と見た写像

$x_0\mapsto f(x_0)$

と理解することができるが、それと同時に $x_0$ を止めて $f$ が動くものと見た

$f\mapsto f(x_0)$

は汎函数である。このとき $x_0$ はパラメータと理解することができる。

$f$ が線型空間からその係数体への線型写像ならば、上に挙げた二つの写像は互いに双対な線型写像となるので、函数解析においてはいずれも線型汎函数と呼ぶ。

定積分

定積分は汎函数の特殊なクラスを与える。例えば

$f\mapsto I[f]=\underset{\mathrm{\Omega }}{\int }H(f(x),f^{\prime }(x),\dots )\mu (dx)$

の形の定積分は、H が実数値のとき、函数 f をある実数（積分値）へ写すので汎函数になっている。定積分が与える汎函数の例として

• 正値函数 f のグラフの下の部分の面積: $f\mapsto \underset{x_0}{\overset{x_1}{\int }}f(x)dx$
• 函数のテンプレート:仮リンク: $f\mapsto {(\int |f{|}^{p}dx)}^{1/p}$
• 2-次元ユークリッド空間内の曲線の弧の長さ: $f\mapsto \underset{x_0}{\overset{x_1}{\int }}\sqrt{1+|f^{\prime }(x){|}^2}dx$

などを挙げることができる。

ベクトルのスカラー積

ベクトル空間 $X$ の任意のベクトル $\overrightarrow{x}$ に対し、他のベクトル $\overrightarrow{y}$ とのスカラー積（$\overrightarrow{x}\cdot \overrightarrow{y}$ もしくは $⟨\overrightarrow{x},\overrightarrow{y}⟩$ と書く）はスカラーとなる。この積がゼロであるようなベクトルの集合は、$X$ の部分空間となり、$X$ のヌル空間とか核とかと呼ばれる。

局所性と非局所性

汎函数の値が与えられたの曲線の小さな部分に対して計算可能で、足し合わせてトータルの値を見いだせる場合には、函数は局所的と呼ばれる。そうでない場合は、非局所的と呼ばれる。例えば、

$F(y)=\underset{x_0}{\overset{x_1}{\int }}y(x)\mathrm{d}x$

は局所的であることに対し、

$F(y)=\frac{\underset{x_0}{\overset{x_1}{\int }}y(x)\mathrm{d}x}{\underset{x_0}{\overset{x_1}{\int }}(1+[y(x){]}^2)\mathrm{d}x}$

は、非局所的である。質量中心の計算のような、積分が式の分子と分母で別れる場合には、一般にこのようなことが発生する。

汎函数の微分と積分

汎函数微分はラグランジュ力学で使われる。汎函数の微分は、函数が小さな量だけ変化するとき、どのように汎函数が変化するかという情報である。変分法を参照。

リチャード・ファインマンは、量子力学の経路積分の定式化の中で中心的なアイデアとしてテンプレート:仮リンクを使った。この使い方は、ある函数空間を渡る積分という意味を持っている。

参考文献

• テンプレート:SpringerEOM
• テンプレート:MathWorld
• テンプレート:Lang Algebra

関連項目

• 線型汎函数
• 汎函数微分
• オイラー＝ラグランジュ方程式
• 数理最適化
• テンソル

外部リンク

• テンプレート:MathWorld
• テンプレート:Nlab—"the adjective “nonlinear” is rarely used explicitly."; see also テンプレート:Nlab (in the sense of higher-order logic)
• テンプレート:ProofWiki
• テンプレート:SpringerEOM