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

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

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

バナッハ空間 V, W および V の開集合 U に対して、函数 f: U → W が x ∈ U においてフレシェ微分可能であるとは、有界線型作用素 Ax: V → W で lim h → 0 ‖ f ( x + h ) − f ( x ) − A x ( h ) ‖ W ‖ h ‖ V = 0 {\displaystyle \lim _{h\to 0}{\frac {\|f(x+h)-f(x)-A_{x}(h)\|_{W}}{\|h\|_{V}}}=0}

を満たすものが存在することを言う。ここでの極限は、V, W を二つの距離空間および上記の式を V の元 h を変数とする函数と見て、距離空間上で定義される通常の函数の極限の意味で取る。この帰結として、この極限は V の非零元からなる点列 ⟨hn⟩
で零ベクトルへ収斂するもの (hn → 0) 全てに対して存在しなければならない。この極限が存在するとき、これを Df(x) = Ax と書いて、f の x における（フレシェ）微分係数と呼ぶ。U の各点においてフレシェ微分可能な函数 f は、写像 D f : U → B ( V , W ) ; x ↦ D f ( x ) {\displaystyle Df\colon U\to B(V,W);\;x\mapsto Df(x)}

が連続であるとき、C1-級であるという。これは導函数 Df(x) の連続性とは同じでないことに注意すべきである。任意の有界線型作用素は連続であるから、Df(x) = Ax は定義により常に連続である。

この微分の概念は、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 において微分可能、かつその導函数は各導函数の合成 D ( g ∘ f ) ( x ) = D g ( f ( x ) ) ∘ D f ( x ) {\displaystyle D(g\circ f)(x)=Dg(f(x))\circ Df(x)}

になる。
有限次元

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

写像 f を Rn の開集合 U 上の函数 f: U → Rm とするとき、f が一点 a ∈ U においてフレシェ微分可能ならば、その導函数は D f ( a ) : R n → R m ; v ↦ D f ( a ) ( v ) := J f ( a ) v {\displaystyle Df(a):\mathbb {R} ^{n}\to \mathbb {R} ^{m};\;v\mapsto Df(a)(v):=J_{f}(a)v}

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

さらに言えば、{ei} を Rn の標準基底として、f の各偏導函数が ∂ f ∂ x i ( a ) = D f ( a ) ( e i ) = J f ( a ) e i {\displaystyle {\frac {\partial f}{\partial x_{i}}}(a)=Df(a)(e_{i})=J_{f}(a)e_{i}}

で与えられる。この導函数は線型写像であるから、任意のベクトル h ∈ Rn に対して、f の h に沿っての方向微分が D f ( a ) ( h ) = ∑ i = 1 n h i ∂ f ∂ x i ( a ) {\displaystyle Df(a)(h)=\sum _{i=1}^{n}h_{i}{\frac {\partial f}{\partial x_{i}}}(a)}

で与えられる。f の全ての偏導函数が存在して連続ならば、f はフレシェ微分可能（実は C1-級）である。逆は成り立たない（函数がフレシェ微分可能でも、連続な偏導関数を持たないことが起こり得る）。
ガトー微分との関係

函数 f: U ⊂ V → W が x ∈ U においてガトー微分可能であるとは、f が x において任意の方向へ沿った方向微分を持つときに言う。これはつまり、任意に選んだ h ∈ V に対して函数 g: V → W で g ( h ) = lim t → 0 f ( x + t h ) − f ( x ) t {\displaystyle g(h)=\lim _{t\to 0}{\frac {f(x+th)-f(x)}{t}}}

を満たすものが存在するという意味である[1]。ただし、t は V に付随する係数体から取ったものである（ふつう t は実数である）。f が x においてフレシェ微分可能ならば、f は x においてガトー微分可能かつ g は線型作用素 A = Df(x) とちょうど一致する。しかし、任意のガトー可微分函数は必ずしもフレシェ微分可能でない。

例えば、 f ( x , y ) = { x 3 x 2 + y 2  if  ( x , y ) ≠ ( 0 , 0 ) 0  if  ( x , y ) = ( 0 , 0 ) {\displaystyle f(x,y)={\begin{cases}{\dfrac {x^{3}}{x^{2}+y^{2}}}&{\mbox{ if }}(x,y)\neq (0,0)\\0&{\mbox{ if }}(x,y)=(0,0)\end{cases}}}

で定義される実二変数実数値函数 f は (0, 0) において連続かつガトー微分可能で、その導函数は g ( a , b ) = { a 3 a 2 + b 2  if  ( a , b ) ≠ ( 0 , 0 ) 0  if  ( a , b ) = ( 0 , 0 ) . {\displaystyle g(a,b)={\begin{cases}{\dfrac {a^{3}}{a^{2}+b^{2}}}&{\mbox{ if }}(a,b)\neq (0,0)\\0&{\mbox{ if }}(a,b)=(0,0).\end{cases}}}

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

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

別な状況として、 f ( x , y ) = { x 3 y x 6 + y 2  if  ( x , y ) ≠ ( 0 , 0 ) 0  if  ( x , y ) = ( 0 , 0 ) {\displaystyle f(x,y)={\begin{cases}{\dfrac {x^{3}y}{x^{6}+y^{2}}}&{\mbox{ if }}(x,y)\neq (0,0)\\0&{\mbox{ if }}(x,y)=(0,0)\end{cases}}}