数学中,弗雷歇导数是在赋范向量空间上定义的导数。这个名称得自法国数学家莫里斯·弗雷歇,通常用于将单个实变量的实值函数的导数推广到多个实变量的向量值函数的情况,并且用于定义变分法中广泛应用的泛函导数。
一般来说,它将导数的概念从实值函数的一维情况推广到赋范空间上的函数。弗雷歇导数应与加托导数相对比,后者是经典方向导数的推广。
弗雷歇导数在数学分析和物理科学中的非线性问题中有广泛应用,特别是在变分法、非线性分析和非线性泛函分析中。
设
和
是赋范向量空间,并且有开集
。一个映射
称为是在
「弗雷歇可微」的,若存在有界线性算子
使得
这里的极限是指通常意义上的度量空间函数极限(参见度量空间上的函数和极限点),
和
充当了两个度量空间,上面的表达式则作为从
中取值的
的函数。因此,对于
中非零元素构成的、收敛到零向量(
)的任一序列
,上面的极限都存在。等价地,以下一阶展开式成立:
其中
是小o符号。一旦存在这样一个运算符
,它将是唯一的,所以我们将其记作
并称其为
在
处的「弗雷歇导数」。
考虑在
中任意一点上都弗雷歇可微的
,若映射
是连续的(其中
表示
到
的全体有界线性算子构成的空间),那么称
是
的。注意这与要求「各点
处的弗雷歇导数
都连续」是不同的(有界性和连续性往往等价,这时这一点已得到保证而无需再做要求)。
弗雷歇导数是实函数
的普通导数的一个推广。
到
的线性映射不过是乘上一个实数罢了,此例的弗雷歇导数
就是函数
。
在一点弗雷歇可微的映射在该点连续。
弗雷歇导数是以下意义上的线性运算:设
和
是在
可微的两个映射,
是一个标量(实数或复数),则弗雷歇导数具有以下性质:
![{\displaystyle D(cf)(x)=cDf(x)}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/2548a403fc873845ee1f62abac41f57493572e8e)
链式法则在这种意义上仍然有效:如果
在
可微且
在
可微,那么它们的复合
可微于
,且这个导数是前述导数的复合:
有限维空间中的弗雷歇导数就是通常的导数。特别地,它的坐标表示就是雅可比矩阵。
考虑
的开子集
上的映射
,如果
在一点
处是弗雷歇可微的,那么它的导数是
其中
表示
在
处的雅可比矩阵。
此外,
的偏导数由
给出,其中
是
的典范基。由于导数是线性函数,对于任一向量
,可以定义
沿
的方向导数
如果所有偏导数
都存在且连续,那么
是弗雷歇可微的(也是
的)。反之则不然,例如函数
在
是弗雷歇可微的,但没有连续的偏导数。
无限维中最简单(且非平凡)的一个例子是这样一种情况:弗雷歇导数的域为希尔伯特空间
,且我们所感兴趣的映射是其上的范数
。
首先考虑
的情况,我们可以构造这样一个线性泛函
,它满足
接下来验证它是
在
处的弗雷歇导数,于是我们考察弗雷歇可微条件中被求极限的表达式:
利用范数和内积的连续性,我们得到:
由于柯西-施瓦茨不等式,式中的内积
有上界
。又容易注意到
,因此整个极限为零。
接下来我们将展示范数在
处是不可微的,也就是说,不存在有界线性泛函
使得可微条件中的那个极限为
。
令
是任意一个线性泛函。里斯表示定理表明可以找到某个
使得
被
唯一地确定,考虑
为了使范数在
处可微,我们必须有
我们将证明这对于任意
都不成立。当
时,显然有
。现在考虑
的情况:如果我们选取
趋于零的方向为
(也就是说,
,其中
),那么
,因此至少知道哪怕这个极限存在,也一定不为零。通过进一步考察其他趋向 0 的方式,可以发现这个极限实际上根本不存在。
综上所述,该范数在原点处的弗雷歇导数不存在。这与有限维下的结果是一致的。
一个映射
称为是在
处「加托可微」的,若
在
处沿所有方向的方向导数都存在。这意味着存在一个映射
使得
其中
取值自向量空间
的标量数域(
通常是实数)。 [1]
如果
在
是弗雷歇可微的,那么它在此处也是加托可微的,并且
正是弗雷歇导数所给出的线性算子
。
然而,并非每个加托可微映射都是弗雷歇可微的。这类似于以下事实:一个函数在某一点的所有方向导数的存在并不能保证此函数在该点的全导数的存在(甚至也不能保证此函数的连续性)。例如,如下定义的具有两个实变量的实值函数
:
它在原点
连续且加托可微,而它在原点的导数是![{\displaystyle g(a,b)={\begin{cases}{\frac {a^{3}}{a^{2}+b^{2}}}&(a,b)\neq (0,0)\\0&(a,b)=(0,0)\end{cases}}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/6ceef64f258e2c029100ba248b095e6f0f48d2e0)
并非一个线性算子,因此上述函数不是弗雷歇可微的。
更一般地说,对于有以下形式的任何函数
(其中
和
是
的极坐标),如果
在
处可微且
,那么
在原点
处加托可微。但仅当
是正弦函数时,加托导数才是线性的、弗雷歇导数才存在。
另一种情况是,如下定义的 ![{\displaystyle f}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
在
加托可微,其加托导数处处为零,从而是一个线性算子。然而,
在
不连续(沿着曲线
接近原点就可以看出这一点)。因此
在原点不可能是弗雷歇可微的。
一个更微妙的例子是
这是一个连续函数,且在
处加托可微,此处的加托导数是线性的——该导数总是为零。然而,
不是弗雷歇可微的。如果是的话,它的弗雷歇导数应与其加托导数一致,从而将是零算子
,进而极限
必须为零。然而,沿着曲线
接近原点即可看出这个极限不存在,因为函数值等于
而不等于零。
之所以会出现这些情况,是因为加托导数的定义只要求差商沿每个方向单独收敛,而没有对不同方向的收敛速度提出要求。因此,对于给定的收敛目标
(参见Ε-δ语言),虽然从每个方向看来,给定点的某邻域中该方向的差商都在
限定的范围内,但是这些邻域对于不同的方向可能是不同的,并且可能存在一系列方向使得这些邻域变为任意小的。如果沿这些方向选择点的序列,则同时考虑所有方向的弗雷歇导数定义中的商可能不会收敛。因此,线性加托导数的存在若要保证弗雷歇导数的存在,还须要求差商在所有方向上一致收敛。
下面的例子仅适用于无穷维情况。设
是巴拿赫空间,
是
上一个在
处不连续的线性泛函(参见不连续线性泛函)。令![{\displaystyle f(x)=\|x\|\varphi (x).}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/746e4980bf7b22746dfd4da0a1f31cdc22f6dc25)
在
有加托导数
。然而由于极限
不存在,
不是弗雷歇可微的。
若映射
在开集
上是弗雷歇可微的,其弗雷歇导数
是从
到空间
(
到
的全体有界线性算子构成的空间)的一个映射。可以定义这个映射本身的弗雷歇导数,即所谓
的「二阶导数」
為方便处理二阶导数,注意右侧的空间就是
到
的全体连续双线性映射所构成的巴拿赫空间
,因為若
是
的元素,則
定義了
中的元素
與
对应,反之亦然。(一个关于
线性的映射
若满足
关于
线性,那么它和对
和
具有双线性的
是一样的。)
可以再求
的弗雷歇导数来得到「三阶导数」,其在每个点将给出一个「三线性映射」,依此类推。
阶导数
在每一点处都将是一个连续多重线性映射。递归地,一个映射
在
上
次弗雷歇可微的条件是:它在
上
次弗雷歇可微,并且对于任一
都存在一个连续的
重线性映射
使得极限
对取值于
的有界子集中的
一致收敛。这时,
就是
在
处的
阶弗雷歇导数。
此外,我们可以将空间
等价为
,而其成员
,从而将弗雷歇导数视为一个普通的线性映射。
通常的偏导数是为以下形式的函数定义的
。而在本节中,我们会将其推广到映射的域和目标空间(到达域)是任意(实的或复的)巴拿赫空间的情况。设
和
是(具有相同的标量域的)巴拿赫空间,其上有一点
,对于映射
,若函数
在点
是弗雷歇可微的,那么称
在点
有第
偏导数
。注意
是一个
到
的线性变换。启发式地说,假定
在
有第
偏导数,固定所有
而只改变
时
的变化量被偏导数
线性地逼近了。我们可以用小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 .