數學中,弗雷歇導數是在賦範向量空間上定義的導數。這個名稱得自法國數學家莫里斯·弗雷歇,通常用於將單個實變量的實值函數的導數推廣到多個實變量的向量值函數的情況,並且用於定義變分法中廣泛應用的泛函導數。
一般來說,它將導數的概念從實值函數的一維情況推廣到賦範空間上的函數。弗雷歇導數應與加托導數相對比,後者是經典方向導數的推廣。
弗雷歇導數在數學分析和物理科學中的非線性問題中有廣泛應用,特別是在變分法、非線性分析和非線性泛函分析中。
設
和
是賦範向量空間,並且有開集
。一個映射
稱為是在
「弗雷歇可微」的,若存在有界線性算子
使得
這裏的極限是指通常意義上的度量空間函數極限(參見度量空間上的函數和極限點),
和
充當了兩個度量空間,上面的表達式則作為從
中取值的
的函數。因此,對於
中非零元素構成的、收斂到零向量(
)的任一序列
,上面的極限都存在。等價地,以下一階展開式成立:
其中
是小o符號。一旦存在這樣一個運算符
,它將是唯一的,所以我們將其記作
並稱其為
在
處的「弗雷歇導數」。
考慮在
中任意一點上都弗雷歇可微的
,若映射
是連續的(其中
表示
到
的全體有界線性算子構成的空間),那麼稱
是
的。注意這與要求「各點
處的弗雷歇導數
都連續」是不同的(有界性和連續性往往等價,這時這一點已得到保證而無需再做要求)。
弗雷歇導數是實函數
的普通導數的一個推廣。
到
的線性映射不過是乘上一個實數罷了,此例的弗雷歇導數
就是函數
。
在一點弗雷歇可微的映射在該點連續。
弗雷歇導數是以下意義上的線性運算:設
和
是在
可微的兩個映射,
是一個純量(實數或複數),則弗雷歇導數具有以下性質:

連鎖律在這種意義上仍然有效:如果
在
可微且
在
可微,那麼它們的複合
可微於
,且這個導數是前述導數的複合:
有限維空間中的弗雷歇導數就是通常的導數。特別地,它的坐標表示就是雅可比矩陣。
考慮
的開子集
上的映射
,如果
在一點
處是弗雷歇可微的,那麼它的導數是
其中
表示
在
處的雅可比矩陣。
此外,
的偏導數由
給出,其中
是
的典範基。由於導數是線性函數,對於任一向量
,可以定義
沿
的方向導數
如果所有偏導數
都存在且連續,那麼
是弗雷歇可微的(也是
的)。反之則不然,例如函數
在
是弗雷歇可微的,但沒有連續的偏導數。
無限維中最簡單(且非平凡)的一個例子是這樣一種情況:弗雷歇導數的域為希爾伯特空間
,且我們所感興趣的映射是其上的範數
。
首先考慮
的情況,我們可以構造這樣一個線性泛函
,它滿足
接下來驗證它是
在
處的弗雷歇導數,於是我們考察弗雷歇可微條件中被求極限的表達式:
利用範數和內積的連續性,我們得到:
由於柯西-施瓦茨不等式,式中的內積
有上界
。又容易注意到
,因此整個極限為零。
接下來我們將展示範數在
處是不可微的,也就是說,不存在有界線性泛函
使得可微條件中的那個極限為
。
令
是任意一個線性泛函。里斯表示定理表明可以找到某個
使得
被
唯一地確定,考慮
為了使範數在
處可微,我們必須有
我們將證明這對於任意
都不成立。當
時,顯然有
。現在考慮
的情況:如果我們選取
趨於零的方向為
(也就是說,
,其中
),那麼
,因此至少知道哪怕這個極限存在,也一定不為零。通過進一步考察其他趨向 0 的方式,可以發現這個極限實際上根本不存在。
綜上所述,該範數在原點處的弗雷歇導數不存在。這與有限維下的結果是一致的。
一個映射
稱為是在
處「加托可微」的,若
在
處沿所有方向的方向導數都存在。這意味着存在一個映射
使得
其中
取值自向量空間
的純量數體(
通常是實數)。 [1]
如果
在
是弗雷歇可微的,那麼它在此處也是加托可微的,並且
正是弗雷歇導數所給出的線性算子
。
然而,並非每個加托可微映射都是弗雷歇可微的。這類似於以下事實:一個函數在某一點的所有方向導數的存在並不能保證此函數在該點的全導數的存在(甚至也不能保證此函數的連續性)。例如,如下定義的具有兩個實變量的實值函數
:
它在原點
連續且加托可微,而它在原點的導數是
並非一個線性算子,因此上述函數不是弗雷歇可微的。
更一般地說,對於有以下形式的任何函數
(其中
和
是
的極坐標),如果
在
處可微且
,那麼
在原點
處加托可微。但僅當
是正弦函數時,加托導數才是線性的、弗雷歇導數才存在。
另一種情況是,如下定義的 
在
加托可微,其加托導數處處為零,從而是一個線性算子。然而,
在
不連續(沿着曲線
接近原點就可以看出這一點)。因此
在原點不可能是弗雷歇可微的。
一個更微妙的例子是
這是一個連續函數,且在
處加托可微,此處的加托導數是線性的——該導數總是為零。然而,
不是弗雷歇可微的。如果是的話,它的弗雷歇導數應與其加托導數一致,從而將是零算子
,進而極限
必須為零。然而,沿着曲線
接近原點即可看出這個極限不存在,因為函數值等於
而不等於零。
之所以會出現這些情況,是因為加托導數的定義只要求差商沿每個方向單獨收斂,而沒有對不同方向的收斂速度提出要求。因此,對於給定的收斂目標
(參見Ε-δ語言),雖然從每個方向看來,給定點的某鄰域中該方向的差商都在
限定的範圍內,但是這些鄰域對於不同的方向可能是不同的,並且可能存在一系列方向使得這些鄰域變為任意小的。如果沿這些方向選擇點的序列,則同時考慮所有方向的弗雷歇導數定義中的商可能不會收斂。因此,線性加托導數的存在若要保證弗雷歇導數的存在,還須要求差商在所有方向上均勻收斂。
下面的例子僅適用於無窮維情況。設
是巴拿赫空間,
是
上一個在
處不連續的線性泛函(參見不連續線性泛函)。令
在
有加托導數
。然而由於極限
不存在,
不是弗雷歇可微的。
若映射
在開集
上是弗雷歇可微的,其弗雷歇導數
是從
到空間
(
到
的全體有界線性算子構成的空間)的一個映射。可以定義這個映射本身的弗雷歇導數,即所謂
的「二階導數」
為方便處理二階導數,注意右側的空間就是
到
的全體連續雙線性映射所構成的巴拿赫空間
,因為若
是
的元素,則
定義了
中的元素
與
對應,反之亦然。(一個關於
線性的映射
若滿足
關於
線性,那麼它和對
和
具有雙線性的
是一樣的。)
可以再求
的弗雷歇導數來得到「三階導數」,其在每個點將給出一個「三線性映射」,依此類推。
階導數
在每一點處都將是一個連續多重線性映射。遞歸地,一個映射
在
上
次弗雷歇可微的條件是:它在
上
次弗雷歇可微,並且對於任一
都存在一個連續的
重線性映射
使得極限
對取值於
的有界子集中的
均勻收斂。這時,
就是
在
處的
階弗雷歇導數。
此外,我們可以將空間
等價為
,而其成員
,從而將弗雷歇導數視為一個普通的線性映射。
通常的偏導數是為以下形式的函數定義的
。而在本節中,我們會將其推廣到映射的域和目標空間(對應域)是任意(實的或複的)巴拿赫空間的情況。設
和
是(具有相同的純量域的)巴拿赫空間,其上有一點
,對於映射
,若函數
在點
是弗雷歇可微的,那麼稱
在點
有第
偏導數
。注意
是一個
到
的線性轉換。啟發式地說,假定
在
有第
偏導數,固定所有
而只改變
時
的變化量被偏導數
線性地逼近了。我們可以用小o符號將其表達為
弗雷歇導數的概念可以推廣到任意拓撲向量空間
和
。令
是
的一個包含原點的開子集,而映射
滿足
,我們將先定義「該映射的導數為 0 意味着什麼」。如果:對於每個 0 的開鄰域
,存在一個 0 的開鄰域
和一個函數
使得
且對於原點的某個鄰域內的所有
都有
,那麼稱
與 0 相切。
現在可以除去
這個限定了。
在一點
弗雷歇可微,若:存在連續線性算子
使得映射
與 0 相切。(Lang p. 6)
如果弗雷歇導數存在,那麼它就唯一。此外,加托導數也必然存在且等於弗雷歇導數,也就是說
其中
是弗雷歇導數。在一點處弗雷歇可微的函數必然在該點連續,並且弗雷歇可微函數之和或其純量倍數也是可微的,因此在一點處弗雷歇可微的函數所構成的空間是在該點連續的函數的子空間。連鎖律、乘積法則仍可成立,只要:拓撲向量空間
也是一個代數,而其乘法是連續的。
- ^ 通常版本的定義會要求所得到的映射 g 須是一個連續線性算子。這裏我們不採用這種定義,從而可以審視儘可能豐富的病態情形。
- Cartan, Henri, Calcul différentiel, Paris: Hermann, 1967, MR 0223194 .
- Dieudonné, Jean, Foundations of modern analysis, Boston, MA: Academic Press, 1969, MR 0349288 .
- Lang, Serge, Differential and Riemannian Manifolds, Springer, 1995, ISBN 0-387-94338-2 .
- Munkres, James R., Analysis on manifolds, Addison-Wesley, 1991, ISBN 978-0-201-51035-5, MR 1079066 .
- Previato, Emma (編), Dictionary of applied math for engineers and scientists, Comprehensive Dictionary of Mathematics, London: CRC Press, 2003, ISBN 978-1-58488-053-0, MR 1966695 .
- Coleman, Rodney (編), Calculus on Normed Vector Spaces, Universitext, Springer, 2012, ISBN 978-1-4614-3894-6 .