ガトー微分

数学におけるガトー微分（ガトーびぶん、）は、第一次世界大戦において夭折したフランス人数学者に名を因む、微分学における方向微分の概念の一般化で、バナハ空間などの局所凸位相線型空間の間の函数に対して定義される。バナハ空間上のフレシェ微分同様に、ガトー微分は変分法や物理学で広く用いられる汎函数微分の定式化にしばしば用いられる。
他の微分法と異なり、ガトー微分は必ずしも線型でないが、ガトー微分の定義にそれが連続線型変換となることも仮定することがよくある。文献によっては、例えば は（非線型かもしれない）ガトー微分係数 () と（必ず線型である）ガトー導函数 () をはっきりと区別する。応用に際して、連続線型性がそれぞれの状況において自然に課されるもっと原始的な条件、例えばにおける複素可微分性や非線型解析学における連続的可微分性など、から従うということも多い。
厳密な定義.
 と は局所凸位相線型空間とし、 は開集合、 とするとき、 の における 方向へのガトー微分係数 は
として右辺の極限が存在する限りにおいて定める。この極限が任意の に対して存在するとき、 は においてガトー微分可能 ("") であると言う。
定義式 (1)に現れる極限の取り方は の位相と関係する。 および がともに実位相線型空間ならば、極限は実数 に関して取る。一方、 および が複素位相線型空間ならば上記は複素可微分性の定義におけると同様に複素数平面において とする極限を考えるのが普通である。また強収斂極限の代わりに弱収斂極限を取ることもあり、その場合弱ガトー微分の概念が導かれる。
線型性と連続性.
各点 においてガトー微分は、函数
を定める。この函数は任意のスカラー に対して
を満たすという意味で斉一次だが、必ずしも加法的でなく、従ってガトー微分係数は線型でないことが起こり得る（この点ではフレシェ微分と異なる）。また、線型となる場合であっても、 と が無限次元の場合には に関して連続とならないことが生じ得る。さらに言えば、線型かつ連続となるようなガトー微分係数に対して、その連続的微分可能性の定式化には互いに同値でないいくつかの方法が存在する。
例えば、二変数の実数値函数 を
で定めると、これは においてガトー微分可能で、その微分係数は
となり、しかしこれは引数 に関して連続だが線型でない。無限次元の場合、 上の任意の不連続線型汎函数がガトー微分可能となるが、その におけるガトー微分係数は線型であり、かつ連続でない。
高階導函数.
高階のフレシェ導函数が、同型 の反復適用によって、多重線型写像として自然に定義されるのに反して、高階ガトー導函数はこの方法で定義することはできない。その代わり、 の開集合 上の函数 の -方向への -階ガトー導函数は
で定義される。つまりこれは、多重線型写像ではなくて、 に関する -次の斉次函数になる。
あるいはまた、少なくとも がスカラー値函数である特別の場合には、高階導函数の別な候補として、 の二次変分としての函数
が、変分法において自然に生じてくるが、しかしこの方法だと および のそれぞれに関して斉次になることを除けば、まともな性質が全く保証されない。 が と に関する対称双線型写像となること、およびその対称双線型写像が のと一致すること、を保証する十分条件を持つことが望ましい。
例えば、以下のような十分条件が挙げられる 。 は写像 が積位相に関して連続であるという意味で -級であるとし、さらに定義式 (3) の定める二次変分が が連続となるという意味で連続と仮定する。このとき は に関して双線型かつ対称である。双線型性のおかげで、極化恒等式
が満たされ、二次変分 が二次微分係数 に関連付けられる。同様のことが高階導函数に関しても成立する。
性質.
函数 が十分に連続的微分可能と仮定すると、 のガトー微分に関して微分積分学の基本定理の一種が成立する。具体的に書けば、
これにより、よく知られた微分の性質の多くをガトー微分も満たす（例えば、高階導函数の重線型性や交換性）。基本定理の帰結として他にも、
などが成立する。
例.
空間 はユークリッド空間 のルベーグ可測集合 上の自乗可積分函数全体の成すヒルベルト空間とする。 は なる実変数実数値函数で、 は 上の実数値函数とするとき、汎函数 を
で定めると、これはガトー導函数
を持つ。実際、
となるから、 としてガトー導函数は
即ち、内積 となる。