メインメニューを開く
弧長汎函数はその定義域として長さ有限な曲線のベクトル空間(の部分空間)を持ち、実数のスカラーを出力する。これは非線形汎函数の一例である。
リーマン積分からのリーマン可積分な関数のベクトル空間上の線型汎函数である。

数学の特に函数解析変分法における汎函数(はんかんすう、: functional)は、ベクトル空間からその係数あるいは実数値函数の空間への写像のことを指して言う。言い換えると、ベクトルを入力引数とし、スカラーを返す函数である。よくある状況として、考えるベクトル空間が函数の空間のときには函数を入力の引数としてとるので、汎函数のことを「函数の函数」と考えることもある。変分法において汎函数の使用は、ある種の汎函数を最小化する函数を求めることから始まった。物理学への特別に重要な応用として、エネルギー汎函数英語版を最小とする系の状態を探すことがある。

目次

例と導入編集

双対性編集

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

 

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

 

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

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

定積分編集

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

 

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

  • 正値函数 f のグラフの下の部分の面積:  
  • 函数のLp ノルム:  
  • 2-次元ユークリッド空間内の曲線の弧の長さ:  

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

ベクトルのスカラー積編集

ベクトル空間   の任意のベクトル   に対し、他のベクトル   とのスカラー積  もしくは   と書く)はスカラーとなる。この積がゼロであるようなベクトルの集合は、  の部分空間となり、 ヌル空間とかとかと呼ばれる。

局所性と非局所性編集

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

 

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

 

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

汎函数の微分と積分編集

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

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

参考文献編集

  • Hazewinkel, Michiel, ed. (2001), “Functional”, Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4, http://eom.springer.de/p/f042010.htm 
  • Rowland, Todd. "Functional". MathWorld(英語).
  • Lang, Serge (2002), “III. Modules, §6. The dual space and dual module”, Algebra, Graduate Texts in Mathematics, 211 (Revised third ed.), New York: Springer-Verlag, pp. 142–146, ISBN 978-0-387-95385-4, Zbl 0984.00001, MR1878556 

関連項目編集

外部リンク編集