ガトー微分

数学におけるガトー微分（ガトーびぶん、）は、第一次世界大戦において夭折したフランス人数学者に名を因む、微分学における方向微分の概念の一般化で、バナハ空間などの局所凸位相線型空間の間の函数に対して定義される。バナハ空間上のフレシェ微分同様に、ガトー微分は変分法や物理学で広く用いられる汎函数微分の定式化にしばしば用いられる。

他の微分法と異なり、ガトー微分は必ずしも線型でないが、ガトー微分の定義にそれが連続線型変換となることも仮定することがよくある。文献によっては、例えば  は（非線型かもしれない）ガトー微分係数 () と（必ず線型である）ガトー導函数 () をはっきりと区別する。応用に際して、連続線型性がそれぞれの状況において自然に課されるもっと原始的な条件、例えばにおける複素可微分性や非線型解析学における連続的可微分性など、から従うということも多い。

厳密な定義 
 と  は局所凸位相線型空間とし、 は開集合、  とするとき、 の  における  方向へのガトー微分係数  は
 
として右辺の極限が存在する限りにおいて定める。この極限が任意の  に対して存在するとき、 は  においてガトー微分可能 () であると言う。

定義式 (1)に現れる極限の取り方は  の位相と関係する。 および  がともに実位相線型空間ならば、極限は実数  に関して取る。一方、 および  が複素位相線型空間ならば上記は複素可微分性の定義におけると同様に複素数平面において  とする極限を考えるのが普通である。また強収斂極限の代わりに弱収斂極限を取ることもあり、その場合弱ガトー微分の概念が導かれる。

線型性と連続性 
各点  においてガトー微分は、函数
 
を定める。この函数は任意のスカラー  に対して
 
を満たすという意味で斉一次だが、必ずしも加法的でなく、従ってガトー微分係数は線型でないことが起こり得る（この点ではフレシェ微分と異なる）。また、線型となる場合であっても、 と  が無限次元の場合には  に関して連続とならないことが生じ得る。さらに言えば、線型かつ連続となるようなガトー微分係数に対して、その連続的微分可能性の定式化には互いに同値でないいくつかの方法が存在する。

例えば、二変数の実数値函数  を
 
で定めると、これは  においてガトー微分可能で、その微分係数は
 
となり、しかしこれは引数  に関して連続だが線型でない。無限次元の場合、 上の任意の不連続線型汎函数がガトー微分可能となるが、その  におけるガトー微分係数は線型であり、かつ連続でない。

 フレシェ微分との関係
  がフレシェ微分可能ならば、 はまたガトー微分可能であり、そのフレシェ導函数とガトー導函数とは一致する。逆が明らかに真でないことは、ガトー導函数が線型や連続でないことがあることから分かるが、実はガトー導函数が線型かつ連続である場合にも、フレシェ導函数が存在しないことがあり得る。
 にも拘らず、複素バナハ空間  から別のバナハ空間  への函数  に対して、ガトー導函数は（ただし、定義における極限は複素変数  に関して取るものとすると）、自動的に線型になる（ の定理）。さらに  が各点  において（複素）ガトー微分可能で、その導函数を  とすると、 は  上でフレシェ微分可能であり、そのフレシェ導函数は  になる 。このことは、古典的な複素解析において開集合上複素可微分な任意の函数が解析的となるという結果の類似対応物であり、の基本的な結果の一つである。

 連続的微分可能性
 連続的ガトー微分可能性は大きく二つの方法で定義することができる。以下、函数  は開集合  の各点でガトー微分可能と仮定する。 における連続的微分可能性の概念の一つは、直積空間上の写像  が連続であることを課すものである。この場合線型性を仮定する必要はなく、 と  がともにフレシェ空間ならば  は任意の  に関して自動的に有界かつ線型である 。
 より強い意味での連続的微分可能性は  が  から、 から  への連続線型写像全体の成す空間  への写像として連続であることを課すものである。即ち、 の連続性を言う。ここで、 自体が連続であることは既に前提としていることに注意。
 技術的な便宜上、 がバナハ空間であるときは、後者の意味での連続的微分可能性を考えるのが典型的（だがいつも () というわけではない）である。これは  もまたバナハであり、従って函数解析学における標準的な結果をそこで用いることができるという理由による。前者のほうは、非線型解析ではより一般的に用いられる定義であり、この分野では函数空間は必ずしもバナハでない。例えば、は、しばしば可微分多様体上の滑らかな函数からなる意味のある函数空間において、などで応用される。

高階導函数 
高階のフレシェ導函数が、同型  の反復適用によって、多重線型写像として自然に定義されるのに反して、高階ガトー導函数はこの方法で定義することはできない。その代わり、 の開集合  上の函数  の -方向への -階ガトー導函数は
 (2) 
で定義される。つまりこれは、多重線型写像ではなくて、 に関する -次の斉次函数になる。

あるいはまた、少なくとも  がスカラー値函数である特別の場合には、高階導函数の別な候補として、 の二次変分としての函数
 (3) 
が、変分法において自然に生じてくるが、しかしこの方法だと  および  のそれぞれに関して斉次になることを除けば、まともな性質が全く保証されない。 が  と  に関する対称双線型写像となること、およびその対称双線型写像が  のと一致すること、を保証する十分条件を持つことが望ましい。

例えば、以下のような十分条件が挙げられる 。 は写像  が積位相に関して連続であるという意味で -級であるとし、さらに定義式 (3) の定める二次変分が  が連続となるという意味で連続と仮定する。このとき  は  に関して双線型かつ対称である。双線型性のおかげで、極化恒等式
 
が満たされ、二次変分  が二次微分係数  に関連付けられる。同様のことが高階導函数に関しても成立する。

性質 
函数  が十分に連続的微分可能と仮定すると、 のガトー微分に関して微分積分学の基本定理の一種が成立する。具体的に書けば、
  はガトー微分  が連続函数であるという意味で -級とすると、任意の  および  に関してが成り立つ。ただし、積分はゲルファント-ペティス積分（弱積分）の意味で取る。

これにより、よく知られた微分の性質の多くをガトー微分も満たす（例えば、高階導函数の重線型性や交換性）。基本定理の帰結として他にも、
 連鎖律
 任意の  に対して  が成り立つ。
 剰余項を持つテイラーの定理
  と  を結ぶ線分がまったく  に含まれると仮定する。 が -級ならば が成り立つ。ただし剰余項はで与えられる。
などが成立する。

例 
空間  はユークリッド空間  のルベーグ可測集合  上の自乗可積分函数全体の成すヒルベルト空間とする。 は  なる実変数実数値函数で、 は  上の実数値函数とするとき、汎函数  を
 
で定めると、これはガトー導函数
 
を持つ。実際、
 
となるから、 としてガトー導函数は

即ち、内積  となる。

参考文献 
 .
 .
 
 .
 .
 .
 .

関連項目 
 微分の一般化
 フレシェ微分
 
 

微分法
位相線型空間論
微分の一般化
数学に関する記事
数学のエポニム