数学分析-多元微积分

1. 度量空间中的极限和连续


(1)映射的极限:对两个度量空间映射 f:R^{m} \supset X \to R^{n},X的一个基为\mathfrak{B},若对R^{n}中的点A的任一邻域V(A),都存在基元素B \in \mathfrak{B},使得f(B)\subset V(A),则点A称为映射f关于基\mathfrak{B}的极限。即\lim_{\mathfrak{B}}f(x)=A\Leftrightarrow (\forall V(A))\exists B \in \mathfrak{B}(f(B)\subset V(A))\Leftrightarrow \lim_{\mathfrak{B}}\,d(f(x),A)=0

有界映射:f(X)在欧氏空间中有界。

(2)基本列:下标充分大时点之间的距离可以任意小。。

完备度量空间:每个基本列都收敛的度量空间

(3)映射的连续:对映射 f:R^{m} \supset E \to R^{n} 以及点a,若对f(a)的任意邻域V(f(a)),存在点a在E中的邻域 U_{E}(a),使得 f(U_{E}(a))\subset V(f(a))。记作 \lim_{x \to a}f(x)=f(a)

(4)一致连续:对任意的\epsilon >0,存在 \delta >0,使得对任意满足 d(x_{1},x_{2})<\deltax_{1},x_{2} \in E,都有 d(f(x_{1}),f(x_{2}))<\epsilon

(5)映射的振幅:集合上的振幅为其像集的直径。点处的振幅为其邻域半径趋于0时的振幅极限 \omega (f,a)=\lim_{r \to 0}\omega (f,U(a,r))

(6)道路:I\subset R是区间,函数组 f_{1}(x),...,f_{n}(x) 在I上连续,则称由 y=(f_{1}(x),...,f_{n}(x)) 定义的映射 f:I \to R^{n} 为R^{n}中的道路。

(7)连通集(道路连通集):集合E中的任意两点间都存在一条道路I \to E,则集合E称为连通集。

区域:连通的开集称为区域(开区域)。

(8)拓扑空间中的连通集:不能划分为两个不相交的开集的并。注意拓扑空间中没有度量,其连通集与度量空间中的定义并不完全相同。

主要定理:

(9)极限存在的充要条件:映射 f:R^{m} \supset E \to R^{n} 关于基\mathfrak{B}有极限,当且仅当基中总存在集合B,使f在B上的振幅可无限接近0。即对\forall \epsilon >0,存在B \in \mathfrak{B},使\omega (f,B)<\epsilon

(10)连续映射的局部性质:振幅为0(在一点处连续当且仅当该点处振幅为0)、局部有界性、可复合性(复合映射也连续)

(11)连续映射整体性质:对紧集K上的一般连续映射f:R^{m}\supset K \to R^{n},有

一致性连续性:在K上一致连续

有界性:在K上有界,有最大值和最小值(对映射值域为R的情况)

介值性:适用于连通集E上的连续映射 f:R^{m} \supset E \to R,对任意的 a,b \in E,以及任意f(a), f(b)之间的数c,存在点\xi \in E,使f(\xi)=c

 

2. 多元函数微分学和场论


(1)微分(切映射/导映射):对欧氏空间上的一般映射 f:R^{m} \supset E \to R^{n},以及聚点 x \in E,有 f(x+h)-f(x)=L(x)h+o(h),其中L(x)是关于h的线性函数,o(h)是h的高阶无穷小。则称f在点x处可微,L(x)为f在x处的微分(切映射/导映射),记为 df(x)=Df(x)={f}'(x)=L(x)

注意如果值域是一维的实数域,则向量函数成为普通的多元函数 z=f(x_{1},...,x_{m})

(2)偏导数(偏微分):多元函数在坐标轴方向上的变化率。从点到数量的映射 f:R^{m}\supset E \to R,表示一个多元实值函数 z=f(x_{1},...,x_{m})。对点中的某一分量代表的自变量x_{i}求一元导数(固定其他分量),称为f对该分量的偏导数。记作

\frac{\partial z}{\partial x_{i}}=\lim_{h \to 0}\frac{f(x_{1},...,x_{i-1},x_{i}+h,x_{i+1},...,x_{m})-f(x_{1},...,x_{i},...x_{m})}{h}注意这里偏导数是标量对标量求导

二阶偏导数:先对一个自变量求导,再对另一个自变量求导,记作 \frac{\partial ^{2}z}{\partial x_{j}\partial x_{i}},类似地可定义更高阶的偏导数。

(3)梯度:多元函数 z=f(x_{1},...,x_{m}) 对所有自变量的偏导数组成的向量,即 grad\,f=(\frac{\partial f}{\partial x_{1}},...,\frac{\partial f}{x_{m}})。函数在一点处沿着梯度方向变化最快,变化率最大(为该梯度的模)。

引进Nabla微分算子(哈密顿算子\triangledown =(\frac{\partial }{\partial x_{1}},...,\frac{\partial }{\partial x_{m}}),它是一个作为运算符的形式向量,需要作用在函数上才会起作用。

梯度就是将哈密顿算子作用在一个标量函数(数量函数)的结果:grad\,f=\triangledown f,梯度是一个矢量函数。

(4)向量的基本运算:

向量模:\left \| \vec{x} \right \|=\sqrt{​{x_{1}}^{2}+...+{x_{n}}^{2}},闵可夫斯基不等式 \left \| \vec{x}+\vec{y} \right \|\leq \left \| \vec{x} \right \|+\left \| \vec{y} \right \|,柯西-施瓦茨不等式 \left \| \vec{x} \cdot \vec{y} \right \|\leq \left \| \vec{x} \right \|\left \| \vec{y} \right \|

向量加法:对平面向量,几何上是平行四边行法则,结果是平行四边行对角线

向量内积(点积/数量积):\vec{x}\cdot \vec{y}=\left \| \vec{x} \right \|\left \| \vec{y} \right \| cos\theta,结果是标量,几何上是\vec{x}\vec{y}上的投影。

向量正交:内积为0时表示向量正交。可用于计算长度和角度、验证几何图形正交性

向量外积:以三维向量为例,高维的向量外积运算可类似定义

\vec{x}\times \vec{y}=\begin{vmatrix} \vec{i} & \vec{j}& \vec{k} \\ x_{1} & x_{2} & x_{3} \\ y_{1} & y_{2} & y_{3} \end{vmatrix}=\begin{vmatrix} x_{2} & x_{3} \\ y_{2} & y_{3} \end{vmatrix} \vec{i}-\begin{vmatrix} x_{1} & x_{3} \\ y_{1} & y_{3} \end{vmatrix} \vec{j}+\begin{vmatrix} x_{1} & x_{2} \\ y_{1} & y_{2} \end{vmatrix} \vec{k}

外积的结果是一个向量,其模长是\vec{x},\,\vec{y}组成的平行四边形的面积,向量方向垂直于向量\vec{x},\,\vec{y}组成的平面。

(5)线性空间(向量空间):在数域P和集合K上定义加法和数量乘法运算,满足K上的加法交换律/结合律/单位元/可逆、P与K之间的数乘结合律/单位元/向量加法分配律/标量加法分配律,一共8条运算规则,则称K是域P上的线性空间(也叫向量空间)。K中的元素称为向量,P称为线性空间的基域。当P是实数域时K称为实线性空间,当P是复数域时K称为复线性空间。当K为全体n维实数向量时,线性空间记作 (K^{n},+,\cdot )。线性空间实质上是一个集合附上两个运算(加法和数乘)以及8条运算规则组成的结构。

欧几里德空间:实数域内,规定了内积的向量空间,记作R^{m}

线性的意思表示空间中必有一组线性不相关的元素组成的基底,空间中的所有元素都可以由该基底唯一地线性表出。欧氏空间R^{n}是线性空间,其中n个单位向量\vec{e_{i}}组成一组相互正交的极大线性无关组,称为标准正交基。

(6)线性映射(线性变换):映射L:X \to Y(其中X \subset R^{m},\,Y \subset R^{n})称为域R上的线性映射,若对任意地x_{1},x_{2}\in X,\,\lambda _{1},\lambda _{2} \in R,都有L(\lambda _{1}x_{1}+\lambda _{2}x_{2})=\lambda _{1}L(x_{1})+\lambda _{2}L(x_{2}),和L(\lambda _{1}x_{1})=\lambda _{1}L(x_{1})

(7)向量场:若对全空间或某一匹域V中的每一点M,都有一个向量(或数量/标量)与之对应,则称在V上给定了一个向量场(或数量场/标量场)。以平面或三维空间为例,引进笛卡尔坐标系后,向量场就与向量函数 \vec{A}(x,y,z) 对应。标量场就对应普通的数量函数u(x,y,z)。一个三维向量场的向量函数如下:

\vec{A}(x,y,z)=(P(x,y,z),Q(x,y,z),R(x,y,z))=P(x,y,z)\vec{i}+Q(x,y,z)\vec{j}+R(x,y,z)\vec{k}

P, Q, R称为向量的坐标函数。

(8)梯度场:由梯度向量函数确定的向量场。梯度的作用对象是标量函数u(x,y,z),算出的是向量。它表示标量变化最大方向的变化率。它每个点处算出的一个向量,其方向会是在任何一点上从其周围标量值最小处指向周围标量值最大处,其大小会是那个最小与最大的差距程度。梯度是哈密顿算子与数量函数做数乘的结果。

grad\,u=\triangledown u

(9)散度场:由散度数量函数确定的标量场。散度的运算对象是向量函数\vec{A}(x,y,z),算出的是标量。散度表示向量场在某一点处的发散程度,正的代表往外散出,负的代表往内集中,越大表示发散程度越快。它是通量的微分,表示单位体积放射矢量的多少。每一点散度为0的向量场称为无源场。散度是哈密顿算子与向量函数做内积的结果。

div\,\vec{A}=\triangledown \cdot \vec{A}=\frac{\partial P}{\partial x}+\frac{\partial Q}{\partial y}+\frac{\partial R}{\partial z}

(10)旋度场:由旋度向量函数确定的向量场。旋度的运算对象是向量函数\vec{A}(x,y,z),算出也是向量。旋度表示向量场在某一点的旋转程度。旋度是环量的微分,表示单位体积面环量的多少。旋度为0说明这个场是梯度场(保守场、无旋场),是发散的,没有漩涡。旋度是哈密顿算子与向量函数做外积的结果。

curl\,\vec{A}=\triangledown \times \vec{A}=\begin{vmatrix} \vec{i} & \vec{j} & \vec{k} \\ \frac{\partial }{\partial x} & \frac{\partial }{\partial y} & \frac{\partial }{\partial z} \\ P & Q & R \end{vmatrix}

(11)Jacobian矩阵:对一般的向量函数映射f:R^{m} \supset E \to R^{n},表示成向量函数形式 \vec{f}(x_{1},x_{2},...,x_{m})=(f_{1},f_{2},...,f_{n})=f_{1}\vec{e_{1}}+f_{2}\vec{e_{2}}+...+f_{n}\vec{e_{n}}。雅可比矩阵是所有坐标函数对各个变量的一阶偏导数组成的n\times m阶矩阵,其中J_{ij}=\frac{\partial f_{i}}{\partial x_{j}},完整形式如下

{f}'(x)=J(f)=(\frac{\partial f}{\partial x_{1}},...,\frac{\partial f}{\partial x_{m}})=\begin{bmatrix} \frac{\partial f_{1}}{\partial x_{1}} & ... & \frac{\partial f_{1}}{\partial x_{m}} \\ ... & ... & ... \\ \frac{\partial f_{n}}{\partial x_{1}} & ... & \frac{\partial f_{n}}{\partial x_{m}} \end{bmatrix}

雅可比矩阵就是一般向量函数的导数。它是哈密顿算子作用在向量函数上的结果(得到一个张量,或者说矩阵),体现了多元向量函数的最佳线性逼近,其行列式称为雅可比行列式。如果是实值函数 f:R^{m}\supset E \to R,则雅可比矩阵退化为函数的梯度。

(12)Laplace算子:欧氏空间中的一个二阶微分算子,定义为梯度的散度,是对函数所有变量非混合二阶偏导数之和。记作\triangle\triangledown ^{2}

\triangle f=\triangledown ^{2}f=\sum_{i=1}^{n}\frac{\partial ^{2}f}{\partial x_{i}^{2}}

拉普拉斯算子是一个作用于标量函数的二阶微分运算,其结果也是标量。

(13)Hessian矩阵:一般用于多元实值函数 f:R^{m} \supset E \to R,海森矩阵是函数的所有二阶偏导数组成的m\times m阶方阵。

f^{(2)}(x)=H(f)=\begin{bmatrix} \frac{\partial ^{2}f}{\partial x_{1}^{2}} & ... & \frac{\partial ^{2}f}{\partial x_{1}x_{m}} \\ ... & ... & ... \\ \frac{\partial ^{2}f}{\partial x_{m}x_{1}} & ... & \frac{\partial ^{2}f}{\partial x_{m}^{2}} \end{bmatrix}

海森矩阵就是一般多元函数的二阶导数,常用于求多元函数的极值问题。注意如果函数f在区域E内的二阶偏导连续,则海森矩阵是对称矩阵。由上述定义可知,雅可比矩阵的迹就是散度,海森矩阵的迹就是拉普拉斯运算的结果。

(14)临界点(稳定点/驻点):对映射f:R^{m}\supset E \to R^{n},Jacobian矩阵秩小于 min\left \{ m,n \right \} 的点,称为f的临界点。特别地,对实值函数所有偏导数为0为点是临界点,如果这时二阶偏导数组成的Hessian矩阵不为0,则称为非退化临界点。不是局部极值的临界点称为鞍点。

(15)方向导数:多元实值函数f:R^{m}\supset E \to R,在点p=(p_{1},...,p_{m})处,沿向量\vec{v}=(v_{1},...,v_{m})方向的直线上的点为c(t)=p+t\vec{v}=(p_{1}+tv_{1},...,p_{m}+tu_{m}),则沿\vec{v}的方向导数定义为

D_{v}f(p)=\lim_{t \to 0}\frac{f(p+t \vec{v})-f(p)}{t}=\sum_{i=1}^{m}v_{i}\frac{\partial f(p)}{\partial x_{i}}=\vec{v}\cdot \triangledown f

在一点处可微是方向导数存在的充分条件,而非必要条件。方向导数是方向向量与梯度的内积。一个向量对应一个方向导数,而方向导数D_{v}可以看作是一个求导操作的映射 D_{v}:f \to R,即给定一个函数得到一个实数的映射(泛函)。这说明切向量\vec{v}可看成是函数上的某种算子(求导映射)。

(16)C^{k}函数:对实函数 f:R^{m}\supset E \to R,若k阶偏导存在且连续,则称f是C^{k}函数。如果有任意阶的连续偏导数,则称f是C^{\infty }函数,C^{\infty }也叫R^{m}空间中光滑函数集。C^{\infty }和光滑是同义词。C^{0}表示连续函数。

C^{k}向量函数:向量函数 f:R^{m}\supset E \to R^{n} 的所有分量 f_{1},...,f_{n} 都是C^{k}的。若都是C^{\infty }的,则也称为光滑的向量函数。

(17)光滑函数集C^{\infty }(p):表示R^{n}空间中,点p处的所有光滑函数的集合,记作C^{\infty }(p)。注意在点p的某个邻域内每点取值都相等的函数构成一个等价类(它们有相同的方向导数),只要取每个等价类中一个函数即可。实际上C^{\infty }(p)是域R上的向量空间。就是说把整个光滑函数当做一个元素,配备了向量加法和标量乘法后,这个元素就成为一个向量。

(18)解析函数:函数f在某点p处解析,表示在点p的某个邻域U内的所有点,f(x)可以用泰勒级数表示(也就是这个泰勒级数在邻域U是收敛的)。注意解析不等于光滑,解析强于光滑,光滑可能不解析。光滑函数总可以表示成带余项的泰勒展开式,但它不一定收敛到函数值。

(19)代数:域K上的向量空间(A,+,\cdot ),配备了向量乘法,且满足结合律、加法对乘法的分配律,则构成域K上的代数。

(20)同态和同构:同态是保持运算结构的的映射;同构即是保持运算结构的双射,即同构不仅是同态,而且是双射,因此两个同构的对象可以看成是相同的(运算的意义下)。同态(或者同构)是一个框架,讨论的对象是群时就叫群同态(群同构);讨论的对象是向量空间时就叫线性映射(线性同构);讨论的对象是代数时,就叫代数同态(代数同构)。原因在于,线性空间的加法运算可以看成是加法群,而代数的乘法运算可以看成是乘法群。

代数同态:保持代数乘法的线性映射。若A_{1},A_{2}是域K上的代数,如果线性映射L:A_{1} \to A_{2} 保持代数乘法,即L(ab)=L(a)L(b),\,\forall a,b \in A,则线性映射L称为代数同态。

(21)切向量:定义为光滑函数集上的一个求导映射(泛函算子)。C^{\infty }(p)是在集合E的点p处有定义的光滑函数集合,映射 v:C^{\infty }(p) \to R 相当于一个泛函算子,如果满足求导性质,即\forall a \in R,\, f_{1},f_{2} \in C^{\infty }(p),有

v(f_{1}+f_{2})=v(f_{1})+v(f_{2})

v(af_{1})=av(f_{1})

 v(f_{1}f_{2})=f_{2}(p)v(f_{1})+f_{1}(p)v(f_{2})

则映射v是定义在集合E的某点p处的一个切向量。这是切向量最一般化的定义,是与普通曲线曲面相切的向量概念的推广。点p处的切向量与方向导数是对应的,切向量被定义为一个抽象的泛函(算子),而方向导数则指的是该映射的像值。

(22)切空间:点p处所有切向量全体张成的线性空间称为点p处的切空间,记作TR_{p}^{n}。这是切空间的一般定义,是二维曲线的切线、三维曲面的切平面概念的推广。

(23)切映射的秩:光滑映射f:R^{m}\supset E \to R^{n} 在点x的秩,是指Jacobian矩阵表示的切映射的秩,记作rank f(x)。

(24)微分同胚:对于R^{m}中的开集到开集的映射 f:U \to V,若f是双射,且ff^{-1}都连续,则f为同胚映射,开集U和V是同胚的(C^{0}类微分同胚)。若ff^{-1}都是光滑的双射(即有任意阶连续偏导数),则U和V是微分同胚(C^{\infty }类微分同胚)。若双射只有k阶连续偏导数,则f称为C^{k}类微分同胚。微分同胚其实就是微分流形范畴内的同构。

同胚(C^{0}类微分同胚):连续的双射。同胚是在集合的映射上附加了双向连续的数学结构。

微分同胚(C^{\infty }类微分同胚):光滑的双射。

C^{k}类微分同胚:有k阶连续偏导数的双射。

(25)最简微分同胚:即这个微分同胚只改变被映射点坐标中的一个。对微分同胚 g:R^{m} \supset U \to R^{m},写作从点 x=(x_{1},...,x_{m}) 映射到 y=(y_{1},...,y_{m}),如果下标 i\neq j,则映射值不变 y_{i}=x_{j},否则 y_{i}=g_{i}(x_{1},...,g_{j},...,g_{m}), i=j,这就是最简微分同胚。

\left\{\begin{matrix} y_{i}=x_{j}, & i\neq j \\ y_{i}=g_{i}(x_{1},...,x_{j},...,x_{m}) ,& i=j \end{matrix}\right.

(26)函数相关与函数独立:对一般的映射 f:R^{m}\supset E \to R^{n},记作f(x)=y,其中 x=(x_{1},...,x_{m}),\,y=(y_{1},...,y_{n})。将函数f写成分量的形式 (f_{1},...,f_{n}),我们就会得到n个函数

\left\{\begin{matrix} y_{1}=f_{1}(x_{1},...,x_{m})\\ ...\,...\\ y_{n}=f_{n}(x_{1},...,x_{m}) \end{matrix}\right.

如果存在 1\leq i\leq m,且存在函数 G:R^{n-1} \to R,使得 \forall (x_{1},...,x_{m}) \in E,有

f_{i}(x_{1},...,x_{m})=G(f_{1}(x_{1},...,x_{m}),...,f_{i-1}(x_{1},...,x_{m}),f_{i+1}(x_{1},...,x_{m}),...,f_{n}(x_{1},...,x_{m}))
则称函数组 f_{1},...,f_{n} 在E上是函数相关的。如果 f_{1},...,f_{n} 在E的任意非空子集上不函数相关,则称这n个函数在E上函数独立,也即其中任一函数都不能由其他函数表示出来。

注意m个函数在某集合上函数相关和函数独立肯定是互斥事件,但不一定是对立事件,也就是说可能既非函数相关也非函数独立。例如在D上不是函数相关的,但在D的某个非空子集上却函数相关。函数独立性常用于常微分方程中,用来定义常微分方程的通解。

(27)k维光滑曲面(k维子流形):如果对任意的点 p \in S \subset R^{n},都存在p的邻域到单位正方体 I^{n}=\left \{ t \in R^{n}|\left | t_{i} \right|\leq 1,\,i=1,...,n \right \} 的微分同胚 g:U(p) \to I^{n} ,使得集合 S \cap U(p) 在这个微分同胚下的像在 I^{n} 中的部分是由 t_{k+1}=0,...,t_{n}=0 确定的k维平面,则称S为R^{n}中的k维光滑曲面,也称为k维子流形。

R^{n}中的k维光滑曲面可由n-k个光滑函数组成的方程组来确定,\vec{F}(x)=(F_{1},...,F_{n-k})=0,当然前提是F光滑且其秩为n-k。方程组展开形式为

\left\{\begin{matrix} F_{1}(x_{1},...,x_{k},...,x_{n})=0\\ ...\;...\\ F_{n-k}(x_{1},...,x_{k},...,x_{n})=0 \end{matrix}\right.

由反函数定理可以证明它符合k维光滑曲面的定义,因此可以确定一个k维光滑曲面。

(28)k维曲面的切空间:如果k维曲面S \subset R^{n}\;(1\leq k\leq n) 在点 x_{0} \in S 的邻域内,由参数形式的光滑映射 x=\varphi (t) 给出,并且 x_{0}=\varphi (0)处,矩阵{\varphi }'(0)的秩为k,那么用参数矩阵形式 x-x_{0}={\varphi }'(0)t 给出的R^{n}中的k维平面,称为曲面S在点x_{0}处的切平面或切空间。

一元函数y=f(x)的切线方程:y-f(x_{0})={f}'(x_{0})(x-x_{0})

二元函数z=f(x, y)的切平面方程:z-f(x_{0},y_{0})=\frac{\partial }{\partial x}(x_{0},y_{0})(x-x_{0})+\frac{\partial }{\partial y}(x_{0},y_{0})(y-y_{0})

k维光滑曲面的切空间方程:{F}'(x_{0})(x-x_{0})=0,它是光滑曲面上一点处对应的k维平面,记作TS_{x_{0}}。切空间就是满足方程{F}'(x_{0})\cdot \vec{t}=0的向量构成的向量空间,这也是切空间术语的由来。

(29)等值曲面(等高曲面):多元实值函数 f:R^{n}\supset D \to R 有一阶连续偏导数,曲面 N=\left \{ t \in D|f(t)=f(x_{0}) \right \}是一个n维平面,它是 R^{n+1}中的一个取值在D中,高度为f(x_{0})的等高面,称为f在点x_{0}处的等值面,用方程 f(x)=f(x_{0})表示。

等值曲面的切空间TN_{x_{0}}:由等值面f(x)=f(x_{0})x_{0}处的切向量组成空间,可用向量方程 grad\,f(x_{0})\cdot \vec{t}=0表示。

 

主要定理:

(1)可微的等价性:映射 f:R^{m}\supset E \to R^{n} 在聚点x \in E处可微,等价于f的每个分量坐标函数 f_{i}:E \to R\,(i=1,...,n) 在点x处都可微。

(2) 可微必要条件和唯一性:映射 f:R^{m}\supset E \to R^{n} 在聚点x \in E处可微,则它在点x处所有偏导数都存在,微分由这些偏导数组成的Jacobian矩阵唯一的确定,即 Df(x)=J(f)\cdot (dx_{1},...,dx_{m})^{T}。对实值函数 f:R^{m}\supset E \to R ,这有时也称为全微分,记作Df(x)=\frac{\partial f}{\partial x_{1}}dx_{1}+\frac{\partial f}{\partial x_{2}}dx_{2}+...+\frac{\partial f}{\partial x_{m}}dx_{m}

(3)拉格朗日中值定理:对定义在区域G上的实值函数f:R^{m}\supset G \to R,如果f在闭长方体 [x, x+h]\subset G 内连续,在开长方体(x, x+h)内可微,则存在点 t \in (x, x+h),便得 f(x+h)-f(x)={f}'(t)h

注意闭长方体类似于一维的闭区间:[x,x+h]=\left \{ (t_{1},...,t_{m})|x_{1}\leq t_{1}\leq x_{1}+h_{1},...,x_{m}\leq t_{m}\leq x_{m}+h_{m} \right \}

(3)可微的充分条件:映射 f:R^{m}\supset E \to R^{n} 如果在点x处的所有偏导数都存在且连续,则它在点x处可微。简单地说,可微则所有偏微分都存在但偏微分不一定连续。若所有偏微分都存在且连续,则f必可微(并且f也是连续)。

(5)高阶偏导顺序无关性:若实值函数 f:R^{m}\supset G \to R 在G上存在偏导数 \frac{\partial ^{2}f(x)}{\partial x_{i}\partial x_{j}},\,\frac{\partial ^{2}f(x)}{\partial x_{j}\partial x_{i}} 并且连续,则这两个偏导数相等。这说明若高阶偏导数连续,则跟它的求偏导顺序无关。

(6)泰勒定理:若函数 f:R^{m}\supset G \to R 在G内有m阶连续偏导数,而闭长方体 [x,x+h] \subset G,则有泰勒公式

f(x+h)-f(x)=\sum_{k=1}^{n-1}\frac{1}{k!}(h_{1}\partial _{1}+...+h_{m}\partial _{m})^{k}f(x)+r_{n}(x,h)

其中 (h_{1}\partial _{1}+...+h_{m}\partial _{m})^{k} 表示所有可能的不同形式的k阶偏导的和式(参考二项式定理)。

积分型余项:r_{n}(x,h)=\int_{0}^{1}\frac{(1-t)^{n}}{n!}(h_{1}\partial {1}+...+h_{m}\partial _{m})^{n+1}f(x+th)dt

拉格朗日型余项:r_{n}(x,h)=\frac{1}{(n+1)!}(h_{1}\partial _{1}+...+h_{m}\partial _{m})^{n+1}f(x+\theta h),\,0<\theta<1

佩亚诺型余项:r_{n}(x,h)=\frac{1}{(n+1)!}(h_{1}\partial _{1}+...+h_{m}\partial _{m})^{n+1}f(x)+o({\left \| h \right \|}^{n+1})

(7)极值必要条件:实值函数 f:R^{m}\supset G \to R 在点x处有局部极值,则f在x处对各变量的偏导数值都为0。

(8)多元函数极值充分条件:函数 f:R^{m}\supset G \to R 二阶连续可导,在临界点 x_{0} 处计算其Hessian矩阵H,当H是正定矩阵时,该临界点是一个局部极小值点;当Hessian矩阵是负定矩阵时,该临界点是一个局部极大值点;当H=0时需要更高阶的导数来判断;在其余的情况下,该临界点不是局部极值点。

(9)欧氏空间中,某点p处的所有光滑函数集 C^{\infty }(p) 是域R上的线性空间,并且也是域R上的代数。

(10)隐函数定理:对定义在开集G上的映射 f:R^{m+n}\supset G \to R^{n},G中的点可写成 (x,y)=(x_{1},...,x_{m},y_{1}...,y_{n}) 的形式,f的雅可比矩阵可写成以下形式

Df(x,y)=\begin{bmatrix} \frac{\partial f_{1}}{\partial x_{1}}(x,y) & ... & \frac{\partial f_{1}}{\partial x_{m}}(x,y) & \frac{\partial f_{1}}{\partial y_{1}}(x,y) & ... & \frac{\partial f_{1}}{\partial y_{n}}(x,y) \\ ... & ... & ... & ... & ... & ... \\ \frac{\partial f_{n}}{\partial x_{1}}(x,y) & ... & \frac{\partial f_{n}}{\partial x_{m}}(x,y) & \frac{\partial f_{n}}{\partial y_{1}}(x,y) & ... & \frac{\partial f_{n}}{\partial y_{n}}(x,y) \end{bmatrix}=[f_{x}^{'}(x,y)|f_{y}^{'}(x,y)]

如果f有k\geq 1阶连续偏导数,在点(a,b)=(a_{1},...,a_{m},b_{1}...,b_{n}) \in G处满足 f(a,b)=0f_{y}^{'}(a,b)有逆矩阵。隐函数定理给出了一个充分条件,用来判断能否在点(a, b)附近定义一个y关于x的函数g,使得f(x, y)=0等价于y=g(x)。严格地说,就是在点(a, b)附近存在满足I^{m}\times I^{n} \subset G的两个开集 I^{m}=\left \{ x \in R^{m}|\left | x-a \right |< \alpha \right \} 和 I^{n}=\left \{ y \in R^{n}|\left | y-b \right |< \beta \right \},并且存在C^{k}类映射(即有k阶连续偏导) g:I^{m} \to I^{n},使得对任意的 (x,y) \in I^{m}\times I^{n} 都有 f(x,y)=0\Leftrightarrow y=g(x)。同时函数y=g(x)在点x \in I^{m}处的导数为

 {g}'(x)=- \frac{f_{x}^{'}(x,f(x))}{f_{y}^{'}(x,f(x))}

隐函数定理表达的意思是,光滑映射非临界的零点附近必有一个光滑的隐映射。

(11)反函数定理:对定义在开集G上的映射 f:R^{m}\supset G \to R^{m},如果f有k\geq 1阶连续偏导数,在点 x_{0} \in G 处 {f}'(x_{0})有逆矩阵,则存在含有x_{0}的开集U \subset G和含有f(x_{0})的开集V \subset R^{m},使得 f:U \to V 是C^{k}类微分同胚(即有k\geq 1阶连续偏导数的双射)。并且逆映射 f^{-1}:V \to U 可微,满足 ({f^{-1}})'(f(x))=\frac{1}{​{f}'(x)}

反函数定理表达的意思是,光滑映射的每个非临界点附近必有一个对应的光滑逆映射。

(12)秩定理:对定义在开集G上的映射 f:R^{m}\supset G \to R^{n},G中元素用x表示,R^{n}中用y表示,写作y=f(x)。如果f有k\geq 1阶连续偏导数,且在任意一点 x_{0} \in G处的n\times m雅可比矩阵的秩都是k,则存在含有x_{0}的开集U \subset G和含有f(x_{0})的开集V \subset R^{n},以及C^{k}类微分同胚 u=\varphi(x) :U_{\varphi } \subset U \to U,和C^{k}类微分同胚 v=\psi(y) :V_{\psi } \subset V \to V,使得\varphi\psi像集之间的局部映射 v=\psi \circ f\circ \varphi ^{-1}(u):U \to V能把一个点映射为其前k个分量的投影(后n-k个分量全部变为0),即 \psi \circ f\circ \varphi ^{-1}(u_{1},...,u_{k},...,u_{m})=(u_{1},...,u_{k},0,...,0)。这就是通过映射 \psi \circ f\circ \varphi ^{-1} 把f变换为R^{n}中简化的k维光滑曲面。

秩定理表达的意思是,秩为k的光滑映射,在任意一点附近必存在一个同秩的光滑映射,把原映射中的点映射为简化的k维子流形。用图像表示如下:

rank theorem

(13)函数独立判别法:考虑定义在 G\subset R^{m} 上的n个光滑函数(即连续可微)构成的函数组 f_{1},...,f_{n},它是映射 f:R^{m}\supset G \to R^{n} 中的n个分量。如果f在任意一点 p \in G处的导数对应的n\times m雅可比矩阵的秩都是k,则当k=n时,函数组在E内是函数独立的。当k,其他n-k个函数都可以由这个k个函数表示。也就是存在n-k个光滑函数 g_{i}:R^{k} \to R,\,i=k+1,...,n,使得 f_{i}=g_{i}(f_{1},...,f_{k})

函数独立性的判别常用在解常微分方程中。

(14)微分同胚分解定理:如果映射f:R^{m}\supset G \to R^{m}是微分同胚,则对任意一点 x_{0} \in G ,都存在它一个邻域,在该邻域内f可分解为m个最简微分同胚的复合。即 f=g_{1},...,g_{m}成立,这里g_{1},...,g_{m}是最简微分同胚(即只改变被映射点中单个坐标值的微分同胚)。

(15)Hadamard引理:映射 f:R^{m}\supset U \to R 是定义在原点 (0,...,0) \in R^{m} 的凸邻域U内的C^{k}(U,R)\,(k\geq 1)类函数,且 f(0)=0,则存在函数组 g_{i} \in C^{k-1}(U,R)\;(i=1,...,m),便得在邻域U内,下述等式成立

f(x_{1},...,x_{m})=\sum_{i=1}^{m}x_{i}g_{i}(x_{1},...,x_{m}),且 g_{i}(0)=\frac{\partial f(0)}{\partial x_{i}}

(16)Morse引理:如果映射 f:R^{m}\supset G \to R 是 C^{3}(G,R) 类函数,x_{0} \in G 是f的非退化临界点,则存在从点x_{0}邻域U到原点 0 \in R^{m} 邻域V的微分同胚 g:U(x_{0}) \to V(0),它把f在U(x_{0})中任意点x处的值f(x),化为V(0)中的点 g(x)=(y_{1},...,y_{m})处的二次型的对角形,即有 f(x)=(f\circ g^{-1})(y)=f(x_{0})-[y_{1}^{2}+...+y_{k}^{2}]+[y_{k+1}^{2}+...+y_{m}^{2}]

莫尔斯引理是关于多元函数在非退化临界点附近的重要性质。它表明在非退化临界点附近存在一个局部光滑可逆的坐标变换\varphi =g^{-1},函数在此坐标变换下化为二次型,称为莫尔斯标准型,或莫尔斯k级鞍。式中负项个数k是一个重要参数,称为非退化临界点的指数。k为拓扑不变量,不因坐标变换而改变。莫尔斯引理保证每个非退化临界点通过一个光滑可逆坐标映射变换为一个k级莫尔斯鞍。

(17)条件极值的必要条件:定义在开集上的目标函数 z=f(x_{1},...,x_{n}):R^{n}\supset D \to R 有一阶连续偏导数,约束条件 S:\left \{ x \in D|F(x)=(F_{1}(x),...,F_{m}(x))=0 \right \}是D中的m维光滑曲面。x_{0} \in S是f的非临界点(即满秩的点),x_{0}处的等值面为N=\left \{ t \in D|f(t)=f(x_{0}) \right \}。如果x_{0}是函数f|S的局部极值点(即点只能限制于f在曲面S上的部分),则S的切空间是N的切空间的子集,即 TS_{x_{0}}\subset TN_{x_{0}}。用方程表示就是在x_{0}处,f的梯度可由F_{1},...,F_{m}的梯度线性表示 \triangledown f(x_{0})=\lambda ^{T}\cdot {F}'(x_{0})=\sum_{i=1}^{m}\lambda _{i}\,\triangledown F_{i}(x_{0})

直观上看,极值点必是目标函数的等值面族与约束曲面S能相切的那个点。

(18)条件极值的充分条件(拉格朗日乘数法):定义在开集上的目标函数 z=f(x_{1},...,x_{n}):R^{n}\supset D \to R 有二阶连续偏导数,约束条件 S:\left \{ x \in D|F(x)=(F_{1}(x),...,F_{m}(x))=0 \right \} 是D中的m维光滑曲面,其中F_{i}有二阶连续偏导数,函数组F在D中任一点的秩都是m。引入由n+m个变量(x,\lambda )=(x_{1},...,x_{n},\lambda _{1},...,\lambda _{m})组成的拉格朗日函数

L(x,\lambda )=f(x)-\lambda ^{T}\cdot F(x)

f|S的条件极值点必是L(x,\lambda )的临界点。因为L(x,\lambda )的临界点处有

L_{x}^{'}(x,\lambda )=\triangledown \,f(x)-\sum_{k=0}^{m}\lambda _{k}\,\triangledown \,F_{k}(x)=0

L_{\lambda }^{'}(x,\lambda )=0

正好满足条件极值必要条件。但L(x,\lambda )的临界点却不一定是f|S条件极值点。需要通过二阶导数来判断,下面是充分条件。

L(x,\lambda )的临界点 x_{0} 处计算其关于f(x)部分的Hessian矩阵L_{x}^{(2)}(x,\lambda ),当L_{x}^{(2)}(x,\lambda )是正定矩阵时,点x_{0}f|S的严格局部极小值点;当L_{x}^{(2)}(x,\lambda )是负定矩阵时,该点x_{0}f|S的严格局部极大值点;当L_{x}^{(2)}(x,\lambda )为0,需要更高阶的导数来判断。其余情况下点x_{0}不是f|S的极值点。

你可能感兴趣的:(数学基础)