フレシェ微分

数学におけるフレシェ微分（フレシェびぶん、）は、モーリス・ルネ・フレシェの名にちなむバナッハ空間上で定義される微分法の一種である。フレシェ微分は、実一変数の実数値函数の導函数を、実多変数のベクトル値函数の場合へ一般化するのに広く用いられ、また変分法で広範に用いられる汎函数微分を定義するのにもつかわれる。

一般に、これは実一変数実数値函数の微分の概念をバナッハ空間上の写像へ拡張するものであり、より一般のガトー微分（古典的な方向微分の一般化）とは対比されるべきものである。

フレシェ微分は解析学や物理科学の至る所（特に、変分法、非線型解析学の多く、および非線型函数解析）で非線型問題に応用を持つ。

 定義 
バナッハ空間 V, W および V の開集合 U に対して、函数 f: U → W が x ∈ U においてフレシェ微分可能であるとは、有界線型作用素 Ax: V → W で

を満たすものが存在することを言う。ただし、上記の式は  となる  の元 } に対して定義され、極限はノルム空間上の関数の極限の意味で取る。すなわち、任意の  に対してある  が存在し、 ならば右辺のノルム比が  未満になることを意味する。

この極限が存在するとき、有界線型作用素 {{math|Ax を  と書き、これを  の  における（フレシェ）微分係数あるいは導関数と呼ぶ。 の各点においてフレシェ微分可能な函数  は、写像

が連続であるとき、C1-級であるという。ここで、 の連続性は、点  における作用素  の線型写像としての連続性（有界性）とは区別されることに注意が必要である（定義により、各点  で  は常に有界線型作用素である）。

この微分の概念は、R から R への線型写像は実数を掛け算する操作に他ならないから、実数直線上の函数 f: R → R の通常の微分を一般化するものである。この場合、Df(x) は函数 t ↦ tf′(x) である。

 性質 
一点で微分可能な函数はその点で連続である。

フレシェ微分を取る操作は、次の意味で線型演算である。二つの写像 f, g: V → W は x において微分可能で、r, s が二つのスカラー（実数もしくは複素数）ならば、rf + sg は x において微分可能で D(rf + sg)(x) = rDf(x) + sDg(x) を満たす。

この文脈では連鎖律も同じく有効である。f: U → Y が点 x ∈ U において微分可能かつ g: Y → W が点 y = f(x) において微分可能ならば、それらの合成 g ∘ f は点 x において微分可能、かつその導函数は各導函数の合成

になる。

 有限次元 
有限次元空間におけるフレシェ導函数は通常の導函数である。特に、座標系を定めれば、フレシェ導函数はヤコビ行列で表される。

写像 f を Rn の開集合 U 上の函数 f: U → Rm とするとき、f が一点 a ∈ U においてフレシェ微分可能ならば、その導函数は

となる。ただし、Jf(a) は f の a におけるヤコビ行列である。

さらに言えば、{ei} を Rn の標準基底として、f の各偏導函数が

で与えられる。この導函数は線型写像であるから、任意のベクトル h ∈ Rn に対して、f の h に沿っての方向微分が

で与えられる。f の全ての偏導函数が存在して連続ならば、f はフレシェ微分可能であり、したがって  も連続となり  は C1-級となる。逆は必ずしも成り立たない（函数が一点でフレシェ微分可能であっても、その点を含む近傍で偏導関数が連続であるとは限らない）。

 ガトー微分との関係 
函数 f: U ⊂ V → W が x ∈ U においてガトー微分可能であるとは、f が x において任意の方向へ沿った方向微分を持つときに言う。これはつまり、任意に選んだ h ∈ V に対して函数  で

を満たすものが存在するという意味である定義の中に、得られる写像 g が連続線型作用素とならなければならないという条件を含めることもよく行われる。本項ではこの規約は採用しないので、存在しうる病的函数のクラスをもっとも広く取って説明することができる。。ただし、t は V に付随する係数体から取ったものである（ふつう t は実数である）。f が x においてフレシェ微分可能ならば、f は x においてガトー微分可能かつ g は線型作用素 A = Df(x) とちょうど一致する。しかし、任意のガトー可微分函数は必ずしもフレシェ微分可能でない。

例えば、 

で定義される実二変数実数値函数 f は (0, 0) において連続かつガトー微分可能で、その導函数は

となるが、函数 g は線型作用素でなく、故にこの函数 f はフレシェ微分可能でない。

より一般に、(r, φ) を (x, y) の極座標として、f(x, y) = g(r)h(φ) の形の函数は、g が 0 において微分可能で h(φ + π) = −h(φ) を満たすならば、(0, 0) において連続かつガトー微分可能となるが、ガトー導函数は線型であることしか言えず、フレシェ導函数が存在するのは h が正弦曲線であるときに限る。

別な状況として、 

で与えられる函数 f は (0, 0) においてガトー微分可能で、任意の (a, b) に対して g(a, b) = 0, 従って線型作用素となる導函数を持つが、f は (0, 0) において連続でなく（これは曲線 (t, t3) に沿って原点に近づければわかる）、従って f は原点においてフレシェ微分可能とはなり得ない。

さらに判別が難しい例として、

を挙げる。この関数は連続であり、かつ (0, 0) においてガトー微分可能でそのガトー導函数  は線型となるが、 はフレシェ微分可能ではない。仮にフレシェ微分可能であるとすると、そのフレシェ導函数はガトー導函数と一致せねばならず、それは零作用素なのだから、極限

は零であるはずだが、一方曲線 (t, t2) に沿って原点に近づければ、この極限が存在しないことがわかる。

これらの場合が生じ得るのは、ガトー微分の定義において差分商の各方向への極限が個々に存在することのみを課し、異なる方向に対する収斂の速さについての条件を課さなかったからである。従って、与えられた正数 ε に対し、与えられた点の適当な近傍において各方向への差分商がその極限と ε 以内に収まるようすることができるけれども（これらの近傍は方向ごとに異なっていてもよい）、これらの近傍をどれほどでも小さくできるような方向の列が存在し得るから、点列をこれらの方向に沿って選ぶならば（全ての方向を一斉に考慮する）フレシェ微分における商は収斂しない。従って、線型ガトー導函数がフレシェ導函数の存在を保証するためには、差分商は全ての方向に対して一様に収斂しなければならない。

次の例は無限次元でのみ意味を持つものである。X をバナッハ空間、φ を X 上の線型汎函数で、x = 0 において不連続とする（不連続線型汎函数）。

と置けば f(x) は x = 0 でガトー微分可能で導函数は 0 となる。しかし、 は有界でないため  のとき  は 0 に収束するとは限らない。したがってフレシェ微分の定義における極限

は 0 に収束せず、f(x) はフレシェ微分可能でない。

 高階導函数 
 が  の開部分集合  の各点において微分可能ならば、その導函数

は  から、 から  への連続線型作用素全体の成す空間  への写像である。この写像もまた導函数、即ち  の二階導函数を持つことができて、それは微分の定義により

なる写像となる。二階微分をうまく扱うことが容易になるように、上式右辺の空間を反カリー化により  から  への連続双線型作用素全体の成すバナッハ空間  と同一視する。すなわち  の元  は、 の任意の元  に対して

を満たす  の元  と同一視される（直観的には、 に関して線型な写像  が  に関して線型な値  を持つというのは、 と  に関して双線型な写像  を考えるのと同じであるということ）。

さらに再び

を微分すれば、各点において三重線型写像を与える「三階導函数」が得られる。以下同様に、-階導函数は  から  への連続な -重線型写像全体の成すバナッハ空間に値を取る写像

として定義される。

帰納的に、函数  が  上で n + 1 回フレシェ微分可能であるとは、 が  上で  回フレシェ微分可能であり、かつ写像

が（バナッハ空間  への写像として）フレシェ微分可能であることを言う。このとき、 における  の導函数  は、線型写像

の元と同一視され、これを  の  における -階導函数  と呼ぶ。

 関連項目 
 微分の一般化


 注釈 

 参考文献 
.
.
.
.

 外部リンク 
 B. A. Frigyik, S. Srivastava and M. R. Gupta, Introduction to Functional Derivatives, UWEE Tech Report 2008-0001. 
 http://www.probability.net. This webpage is mostly about basic probability and measure theory, but there is nice chapter about Frechet derivative in Banach spaces (chapter about Jacobian formula). All the results are given with proof.

Category:微分法
Category:微分の一般化
Category:バナッハ空間
Category:数学に関する記事
Category:数学のエポニム