多元函数学

一、基本定义

1.邻域

U ( x 0 , δ ) = { x ∣ ρ ( x , x 0 ) ≤ δ , ∀ x ∈ P } U(x_0, \delta)=\{x|\hspace{0.05cm}\rho(x,x_0)\le\delta, \forall x\in P \} U(x0​,δ)={x∣ρ(x,x0​)≤δ,∀x∈P}
书上另外给了概念：
$$\rho (x,y)=||x-y||=\sqrt[]{(\sum _{i=1}^n(x_i-y_i{)}^2)}$$
去心邻域略。

2.点

类型	内容
内点	$\exists U(P)\subset E$
外点	$\exists U(P)\cap E=\oslash$
边界点	$p_0\in U(P_0),\exists p_0\in E同时\exists p_0\notin E$
边界	∂E，边界点的全体
聚点	去心邻域内总有E中的点

[1]

$边界点可能属于E，也可能不属于E$

[2]

$聚点是内点或者边界点$

2.平面点集

类型	内容
开集	点集$E$的点都是内点
闭集	$\partial E\subset E$
连通集	$E$中的两个点都能用折现连起来，并且折线上的属于$E$
区域（开区域）	连通的开集
闭区域	开区域和它的边界
有界集	$\exists r,使得E\subset O(0,r)$
无界集	如果不是有界集

二、多元函数及其极限

1.多元函数定义

D是定义域，u是因变量，$x_1,x_2,\cdots ,x_n$是自变量,
$$u=f(P),P(x_1,x_2,\cdots ,x_n)\in D$$

2.二元函数的图形

{ ( x , y , x ) ∣ z = f ( x , y ) , ( x , y ) ∈ D } \{(x,y,x)|z=f(x,y),(x,y)\in D\} {(x,y,x)∣z=f(x,y),(x,y)∈D}

3.多元极限的定义

下面只给出二元的时候的一种定义（$P\to P_0,F\to A$）【叫做二重极限】
$$\underset{(x,y)\to (x_0,y_0)}{\lim }f(x,y)=A$$$$\rho (x,y)<\delta 时，|f(x,y)-A|<ϵ成立（\exists \delta ，\forall ϵ>0）$$

$对于\forall ϵ>0，\exists \delta$。也就是是说，对于y的邻域，可以找到x的邻域。

二、多元函数的连续性

1.连续

定义域$D$,$D$的聚点$P_0\in D$。如果在$P_0$极限等于函数值，连续。

2.间断点

定义域$D$,$D$的聚点$P_0$,如果在$P_0$极限不等于函数值，间断点。

3.性质

①有界性	存在最大值和最小值
②介值定理	能取到最大值最小值之间的数
③一致连续性定理	在闭区间D上面一致连续

一致连续

对于区间$[x_1,x_2](X_1,X_2\in D)$,当$对于\forall ϵ>0,|f(x_1)-f(x_2)|<ϵ\exists \delta |x_1-x_2|<<ϵ$

4.连续性

连续性的法则和一元函数的连续性类似。参照此篇blog
连续性

四、偏导数

1.定义

设函数$z=f(x,y)$在点$P(x_0,y_0)$的某一个邻域有定义则：
$$\underset{△x\to 0}{\lim }\frac{f(x_0+△x,y+0)-f(x_0,y_0)}{△x}$$
被称为$z=f(x,y)$在点$P(x_0,y_0)$对$x$的偏导数

2.标记（以x偏导数为例）

$$f_x(x_0,y_0)and{z}_x^{\prime },f_x^{\prime }$$

$$\frac{\vartheta z}{\vartheta x}{|}_{x=x_0,y=y_0}and\frac{\vartheta f}{\vartheta x}{|}_{x=x_0,y=y_0}and{z}_y{|}_{x=x_0,y=y_0}$$

3.几何意义

曲面$x或y$固定时曲线的切线斜率

4.高阶偏导

如果$z=f(x,y)$的两个n阶混合偏导数在$D$内连续，那么有

$$f_{x,y}^{\prime \prime }(x,y)=f_{y,x}^{\prime \prime }(x,y)$$

可以推广到n维，二维的证明如下：

$设\phi (x)=f(x,y+△y)-f(x,y)，{\phi }^{\prime }(x)=f^{\prime }(x,y+△y)-f^{\prime }(x,y)，另外A=\phi (x+△x)-\phi (x)。在[x,x+△x]$上应用拉格朗日中值定理，得$A=△x{\phi }^{\prime }(\theta )$，在$[y,y+△y]$上再次应用拉格朗日中值定理，得$A=△x△y{f}^{\prime \prime }(\theta ,{\theta }_1)$即：$$f(x+△x,y+△y)-f(x+△x,y)-f(x,y+△y)+f(x,y)=△x△y{f}^{\prime \prime }(\theta ,{\theta }_1)$$同理可设 $\phi (y)=f(x+△x,y)-f(x,y)$,$A=\phi (y+△y)-\phi (y)$得
$$f(x+△x,y+△y)-f(x+△x,y)-f(x,y+△y)+f(x,y)=△x△y{f}^{\prime \prime }({\theta }_3,{\theta }_4)$$显然当$△x\to 0,和△y\to 0时，(\theta ,{\theta }_1)=({\theta }_3,{\theta }_4)$（区间左右两端相比极限是1）。证毕。

五、全微分

1.全微分的定义

$$dz=f(x+△x,y+△y)-f(x,y)=A△x+B△y+o(\rho ),\rho =\sqrt[]{△x^2+△y^2}$$
同时有：
$$f(x+△x,y)-f(x,y)=f_x(x,y)△x+o(△x)$$$$f(x,y+△y)-f(x,y)=f_y(x,y)△y+o(△y)$$

[1]

$只有z=f(x,y)在P_0的两个偏导数都存在，并且都连续。它在P_0点才有全微分$

证明如下：
$$\begin{array}{rl}& △z=f(x+△x,y+△y)-f(x,y)\\ & =f(x+△x,y+△y)-f(x+△x,y)+f(x+△x,y)-f(x,y)\\ & =△y{f}_y(x+△x,y+{\theta }_1△y)+△x{f}_x(x+{\theta }_2△x,y)\\ & =△y(f_y(x,y)+{\epsilon }_1)+△x(f_x(x,y)+{\epsilon }_2)\\ & =△y{f}_y(x,y)+△x{f}_x(x,y)+o(\rho )\\ & because:|\frac{{\epsilon }_1△x+{\epsilon }_2△y}{\rho }|=\cos \theta \sqrt[]{{\epsilon }_1^2+{\epsilon }_2^2}<|{\epsilon }_1|+|{\epsilon }_2|\end{array}$$