m多元函数微分学

多元函数微分学

多元函数的概念

基本概念

1. 二元函数
   设 D 为一平面点集，对于 D 内任意一点 (x, y)，变量 z 按一定的规律都有唯一确定的值与之对应，则称变量 z 是变量 x，y的二元函数，记为
   $$z=f(x,y)或z=z(x,y)$$
2. 二元函数的几何意义
   二元函数 z = f(x, y) 在空间直角坐标系中一般表示一个空间曲面。

二元函数的极限与连续

1. 二元函数的极限
   设函数 z = (x, y) 在点 P0 (x0, y0 ) 的某邻域内有定义（点 P0 (x0, y0 ) 可以除外），如果当点 P(x,y)（属于该邻域）以任意方式趋向于点 P0 (x0, y0) 时，对应的函数值f(x, y) 趋向于一个去确定的常数 A，则称 A 是函数z = f(x, y) 当 P(x,y) → P0(x,y) 时的极限，记为
   $$\underset{(x,y)\to (x_0,y_0)}{\lim }f(x,y)=A或\underset{\stackrel{x\to x_0}{y\to y_0}}{\lim }f(x,y)=A.$$
2. 二元函数的连续性
   设 z = f(x, y) 在点 P0 (x0, y0 的某邻域内有定义，当自变量 x 从 x0 变到 x0 + △x，y从 y0 变到 y0 + △y 时，函数的相应增量为 △z = f(x0 + △x, y0 + △y) - f(x0, y0) ，如果当△x→0，△y→0 时，有△z → 0，则称函数z = f(x, y) 在点 (x0, y0) 连续。否则，不连续。我们称 △z 是二元函数 f(x,y) 在点 P0 (x0, y0 处的全增量。
3. 二元函数连续的充分条件
   ① z = f(x, y) 在点 (x0,y0) 处有定义
   ② lim x→x0,y→y0 f(x,y) 存在
   ③ 极限值等于函数值，即
   $$\underset{\genfrac{}{}{0ex}{}{x\to x_0}{y\to y_0}}{\lim }f(x,y)=f(x_0,y_0).$$

   二元连续函数的和、差、积仍为连续函数，在分母不为零的点处，连续函数的商仍为连续函数，二元连续函数的复合函数也是连续函数。

   一切多元初等函数在其定义区域内都是连续的

偏导分与全微分

偏导数的概念

设二元函数 z = f(x, y) 的点 (x0, y0) 的某一领域内有定义，当 y 固定在 y0 而 x 在 x0 处有增量 △x 时，相应的函数有增量 f(x0 + △x, y0) - f(x0, y0) 如果极限
$$\underset{△x\to 0}{\lim }\frac{f(x_0+△x,y_0)-f(x_0,y_0)}{△x}$$
存在，则称此极限为函数 z = f(x, y) 在点 (x0, y0) 处对 x 的偏导数，记作
$$\frac{\partial z}{\partial x}{\mid }_{\genfrac{}{}{0ex}{}{x=x_0}{y=y_0}},.\frac{\partial f}{\partial x}{\mid }_{\genfrac{}{}{0ex}{}{x=x_0}{y=y_0}},z_x{\mid }_{\genfrac{}{}{0ex}{}{x=x_0}{y=y_0}}或f_x(x_0,y_0)$$
类似地，二元函数z = f(x, y) 在点 (x0, y0) 处对 y 的偏导数 定义为
$$\underset{△y\to 0}{\lim }\frac{f(x_0,y_0+△y)-f(x_0,y_0)}{△y}$$
记作
$$\frac{\partial z}{\partial y}{|}_{\genfrac{}{}{0ex}{}{x=x_0}{y=y_0}},.\frac{\partial f}{\partial y}{|}_{\genfrac{}{}{0ex}{}{x=x_0}{y=y_0}},z_y{|}_{\genfrac{}{}{0ex}{}{x=x_0}{y=y_0}}或f_y(x_0,y_0)$$
如果函数 z = f(x, y) 在区域D内每一点(x,y) 处对 x 的偏导数都存在，那么这个偏导数仍是x、y的函数，称为函数 z = f(x, y) 对自变量x 的偏导数，记为
$$\frac{\partial z}{\partial x},\frac{\partial f}{\partial x},z_x或f_x(x,y).$$
在不混淆的情况下，函数 z = f(x, y) 的偏导数函数 əz/əx，əz/əy 也称为一阶偏导数。

不难看出，二元函数z = f(x,y) 在点 (x0,y0) 处对 x 的偏导数，就是一元函数 z = f(x, y0) 在 点x0 处的导数；二元函数 z=f(x,y) 在点 (x0, y0) 处对 y 的偏导数，就是一元函数 z = f(x0, y) 在在 点y0 处的导数，可见二元函数求偏导数相当于一元函数求导数，只需在求 x 的偏导数时，将 y 看作常量；再求 y 的偏导数时，将 x 看作常量。

利用一阶偏导数的定义求偏导数是比较麻烦的，一般情况下分段函数在求分段点处的偏导数常用定义去计算，而对于一般的显函数求偏导数则是利用一元函数的求导法则，对谁求偏导，即谁在变（牢记只有一个变量在变），其余变量均视作常熟。

高阶偏导数

二阶偏导数
$$\frac{{\partial }^{2}z}{\partial x^2}=\frac{\partial }{\partial x}\left(\frac{\partial z}{\partial x}\right)=f_{xx}(x,y),$$

$$\frac{{\partial }^{2}z}{\partial x\partial y}=\frac{\partial }{\partial y}\left(\frac{\partial z}{\partial x}\right)=f_{xy}(x,y),$$

$$\frac{{\partial }^{2}z}{\partial y\partial x}=\frac{\partial }{\partial x}\left(\frac{\partial z}{\partial y}\right)=f_{yx}(x,y),$$

$$\frac{{\partial }^{2}z}{\partial y^2}=\frac{\partial }{\partial y}\left(\frac{\partial z}{\partial y}\right)=f_{yy}(x,y),$$

如果两个二阶混合偏导数都在区域D内连续，则在该区域内有
$$\frac{{\partial }^{2}z}{\partial x\partial y}=\frac{{\partial }^{2}z}{\partial y\partial x}.$$

全微分概念

1. 全微分的定义
   设函数 z = f(x, y) 在点(x, y) 的某邻域内有定义，若函数在点 (x, y) 处的全增量
   $$△z=f(x+△x,y+△y)-f(x,y)$$
   可表示为
   $$△z=A△x+B△y+o(\rho )$$

   其中 A，B 不依赖于 △x，△y，而仅与 x，y 有关，ρ = √(△x)^2 + (△y)^2，则称函数 z = f(x, y) 在点 (x, y) 处可微分，而 A△x + B△y 称为函数 z = f(x, y) 在点 (x, y) 处的全微分，记作 dz，即
   $$dz=A△x+B△y=Adx+Bdy.$$

   （全微分存在的必要条件）如果函数 z = f(x, y) 在点(x, y) 处可微分，则 z = f(x, y) 在点 (x, y) 处的偏导数 əz/əx，əz/əy 必定存在，且全微分为
   $$dz=\frac{\partial z}{\partial x}dx+\frac{\partial z}{\partial y}dy.$$
   （全微分存在的充分条件）如果函数 z = f(x, y) 的偏导数 əz/əx，əz/əy 在点 (x, y) 处连续，则 z = f(x, y) 在点 (x, y) 处可微分。

   如果函数 z = f(x, y) 在点 (x0, y0) 处可微，则函数在该点连续。

3. 全微分的应用–估值计算
   $$\Delta z=f_x(x,y)\Delta x+f_y(x,y)\Delta y+o(\rho ),$$
   如果舍去 ρ 的高阶无穷小 o(ρ)，则可得近似公式
   $$\Delta z\approx f_x(x,y)\Delta x+f_y(x,y)\Delta y$$
   或
   $$f(x+\Delta x,y+\Delta y)\approx f(x,y)+f_x(x,y)\Delta x+f_y(x,y)\Delta y,$$

复合函数的偏导数与全微分

1. 链式法则
   设函数 u = u(x, y) ，v = v(x, y) 在点(x, y)处有连续偏导数，函数 z = f(u, v) 在对应点 (u, v) 处有连续偏导数，则复合函数 z = f[u(x, y), v(x, y)] 在点 (x, y) 处有对 x 与 y 的连续偏导数，且有下列链式法则：
   $$\frac{\partial z}{\partial x}=\frac{\partial z}{\partial u}\bullet \frac{\partial u}{\partial x}+\frac{\partial z}{\partial v}\bullet \frac{\partial v}{\partial x},$$

   $$\frac{\partial z}{\partial y}=\frac{\partial z}{\partial u}\bullet \frac{\partial u}{\partial y}+\frac{\partial z}{\partial v}\bullet \frac{\partial v}{\partial y}.$$

   “沿线相乘，分线相加”

2. 特殊情况

   （1）设函数 z = f(u,v,w), u = φ(x, y), v = ψ(x, y), w = ω(x, y)，如果函数u = φ(x, y), v = ψ(x, y) 和 w = ω(x, y) 在点 (x, y) 处都有对 x 和对 y 的偏导数，z = f(u, v, w) 在点 (u, v, w) 处具有连续偏导数，则 z = f[φ(x, y), ψ(x, y), ω(x, y)] 在点(x, y) 处的两个偏导数存在，且
   $$\frac{\partial z}{\partial x}=\frac{\partial z}{\partial u}\bullet \frac{\partial u}{\partial x}+\frac{\partial z}{\partial v}\bullet \frac{\partial v}{\partial x}+\frac{\partial z}{\partial w}\bullet \frac{\partial w}{\partial x},$$

   $$\frac{\partial z}{\partial y}=\frac{\partial z}{\partial u}\bullet \frac{\partial u}{\partial y}+\frac{\partial z}{\partial v}\bullet \frac{\partial v}{\partial y}+\frac{\partial z}{\partial w}\bullet \frac{\partial w}{\partial y}.$$

   （2）设函数 z = f(u, v), u = φ(x), v = ψ(x)，如果函数 u = φ(x), v = ψ(x) 在点 x 处都可导，z = f(u, v) 在点 (u, v) 处具有连续偏导数，则 z = f[φ(x), ψ(x)] 在点 x 处可导，且
   $$\frac{dz}{dx}=\frac{\partial z}{\partial u}\cdot \frac{du}{dx}+\frac{\partial z}{\partial v}\cdot \frac{dv}{dx},$$
   这时 z 对 x 的导数叫作全导数。

   （3）设函数 z = f(u, x), u = φ(x, y)，如果函数 u = φ(x, y) 在点(x, y) 处有对 x 和 对 y 的偏导数，z = f(u, x) 在点 (u, x) 处具有连续偏导数，则函数 z = f[φ(x, y), x] 在点(x, y) 处的两个偏导数存在，且
   $$\frac{\partial z}{\partial x}=\frac{\partial f}{\partial u}\bullet \frac{\partial u}{\partial x}+\frac{\partial f}{\partial x},$$

   $$\frac{\partial z}{\partial y}=\frac{\partial f}{\partial u}\bullet \frac{\partial u}{\partial y}.$$

   əz/əx，əf/əx 是不同的，əz/əx 表示在复合函数 z = f[φ(x, y), x] 中把 y 看成常量，对 x 求偏导，而 əf/əx 表示在函数 z = f(u, v) 中把 u 看成常量，对 x 求偏导。
   3. 全微分形式不变性
   设 u = u(x, y), v = v(x, y) 在点 (x,y) 处有连续偏导数，函数 z = f(u, v) 在对应点 (u, v) 处有连续偏导数，则复合函数 z = f(u, v) = f[u(x, y), v(x, y) ] 的全微分
   $$dz=\frac{\partial z}{\partial x}dx+\frac{\partial z}{\partial y}dy=\left(\frac{\partial z}{\partial u}\bullet \frac{\partial u}{\partial x}+\frac{\partial z}{\partial v}\bullet \frac{\partial v}{\partial x}\right)dx+\left(\frac{\partial z}{\partial u}\bullet \frac{\partial u}{\partial y}+\frac{\partial z}{\partial v}\bullet \frac{\partial v}{\partial y}\right)dy$$

   $$=\frac{\partial z}{\partial u}\left(\frac{\partial u}{\partial x}dx+\frac{\partial u}{\partial y}dy\right)+\frac{\partial z}{\partial v}\left(\frac{\partial v}{\partial x}dx+\frac{\partial v}{\partial y}dy\right)=\frac{\partial z}{\partial u}du+\frac{\partial z}{\partial v}dv.$$

   这表明当f，u，v 都是可微函数时，尽管 u, v 不是自变量，但函数 z = f(u, v) 的全微分也具有与 u, v 是自变量时的全微分相同的形式，这种性质称为全微分形式不变性。

隐函数的偏导数与全微分

1. 一元隐函数的导数
   设 y = y(x) 是由方程 F(x, y) = 0 在 P(x, y) 的某一领域内所确定的一个连续且具有连续导数的函数，函数 F(x, y) 在点 P(x, y) 的某一邻域内由连续偏导数，由多元复合函数的求导法则，对方程F(x, y) = 0 两边求关于 x 的导数，其中 y 是 x 的函数，得 əF/əx + əF/əy * əy/əx = 0 即
   $$F_x+F_y\cdot \frac{dy}{dx}=0.$$

   $$\frac{dy}{dx}=-\frac{F_x}{F_y}.$$

2. 二元隐函数的偏导数与全微分
   设 z = f(x, y) 是由方程 F(x, y, z) = 0 在 P(x, y, z) 的某一邻域内所确定的一个连续且具有连续偏导数的二元函数，函数 F(x, y, z) 在点 P(x, y, z) 的某一邻域内具有连续偏导数，对 F(x, y, z) = 0 两边求关于 x, y的偏导数，得
   $$\frac{\partial F}{\partial x}+\frac{\partial F}{\partial z}\cdot \frac{\partial z}{\partial x}=0,\frac{\partial F}{\partial y}+\frac{\partial F}{\partial z}\cdot \frac{\partial z}{\partial y}=0.$$
   若 Fz ≠ 0，则有
   $$\frac{\partial z}{\partial x}=-\frac{F_x}{F_z},\frac{\partial z}{\partial y}=-\frac{F_y}{F_z}.$$
   上述等式可以作为二元隐函数偏导数的求导公式，直接利用。除了公式法外，还可以用复合函数求导的法则或全微分形式不变性求隐函数的偏导数。

方向导数和梯度

方向导数

设函数 z = f(x,y) 在点P(x, y) 的某一领域内有定义，l 是由点 P出发的一条射线，并设 Q(x + △x, y + △y) 为位于该领域中 l 上的另一点，相应的函数有该变量 f(Q) - f§ = f(x + △x, y + △y) - f(x, y)，记 ρ = √(△x)^2 + (△y)^2，如果极限
$$\underset{\rho \to 0}{\lim }\frac{{\Delta }_{l}Z}{\rho }=\underset{Q\to P}{\lim }\frac{f(Q)-f(P)}{\mid PQ\mid }=\underset{\rho \to 0}{\lim }\frac{f(x+\Delta x,y+\Delta y)-f(x,y)}{\rho }$$
存在，则称此极限为 z = f(x, y) 在点 P 处沿方向 l 的方向导数 ，记为 əz/əl 或 əf/əl

如果函数 z = f(x, y) 在点 P(x0, y0) 处可微，则函数 z = f(x, y) 在点 P 处沿任一方向 l 的方向导数都存在，且有
$$\frac{\partial f}{\partial l}{|}_{{}_P}=\frac{\partial f}{\partial x}{|}_{{}_P}\cos \alpha +\frac{\partial f}{\partial y}{|}_{{}_P}cos\beta ,$$
其中 cosα、cosβ 为方向 l 的方向余弦。

如果函数 u = f(x, y, z) 在点 M0(x0, y0, z0) 处可微，则函数 f(x, y, z) 在点 M0 处沿任一方向 l 的方向导数都存在，且有
$$\frac{\partial f}{\partial l}{|}_{M_0}=\frac{\partial f}{\partial x}{|}_{M_0}cos\alpha +\frac{\partial f}{\partial y}{|}_{M_0}cos\beta +\frac{\partial f}{\partial z}{|}_{M_0}cos\gamma$$
其中 cosα、cosβ、cosγ 为方向 l 的方向余弦。

函数在一点处可微是函数在该点处沿任一方向的方向导数存在的充分非必要条件

梯度

设 D ⊆ R，函数 z = f(x, y) 在D内具有一阶连续偏导数，对任意一点 M0(x0,y0) ∈ D 称向量为函数 f(x, y) 在点 M0 处的梯度，记为 gradf(x0, y0) 或 ▽ f（x0, y0） 即
$$gradf(x_0,y_0)=\nabla f(x_0,y_0)=f_x(x_0,y_0)i+f_y(x_0,y_0)j.$$
有梯度的定义知，梯度的模为
$$\mid gradf(x_0,y_0)\mid =\sqrt{(f_x(x_0,y_0){)}^2+(f_y(x_0,y_0){)}^2}.$$
同理，梯度的概念可以推广到三元函数上。设函数 f(x,y,z) 在空间区域 G 内具有一阶连续偏导数，则对于每一点 P0(x0,y0,z0) ∈ G，都可确定出一个向量
$$f_x(x_0,y_0,z_0)i+f_y(x_0,y_0,z_0)j+f_z(x_0,y_0,z_0)k,$$
这个向量称为函数 f(x, y, z) 在点 P0(x0,y0,z0) 的梯度，将它记作 gradf(x0,y0,z0) 或 ▽ f（x0, y0, z0） 即
$$gradf(x_0,y_0,z_0)=\nabla f(x_0,y_0,z_0)=f_x(x_0,y_0,z_0)i+f_y(x_0,y_0,z_0)j+f_z(x_0,y_0,z_0)k.$$
函数在一点处的梯度由函数在该点处的方向导数的关系有：

（1）当方向 l 与在点(x0, y0) 处的梯度方向相同时函数增加最快，此时函数在该方向的方向导数最大，其值为该点的梯度的模，即
$$\frac{\partial f}{\partial l}{|}_{(x_0,y_0)}=|gradf(x_0,y_0)|.$$
（2）当方向 l 与在点(x0, y0) 处的梯度方向相反时函数减少最快，此时函数在该方向的方向导数最小，其值为该点的梯度的模的相反数，即
$$\frac{\partial f}{\partial l}{|}_{(x_0,y_0)}=-|gradf(x_0,y_0)|.$$

偏导数的几何应用

空间曲线的切线与法平面

空间曲线 C 的参数方程
KaTeX parse error: Undefined control sequence: \cases at position 2: \̲c̲a̲s̲e̲s̲ ̲{ x = x ( t ) ,…
x(t)，y(t)，z(t) 都在[α, β] 上可导，且三个导数不同时为零。在点 (x0,y0,z0) 处切线的方向向量为 {x'(t)，y'(t)，z'(t)}

从而曲线 C 在点 M0(x0,y0,z0) 处的切向方程为
$$\frac{x-x_0}{x^{\prime }(t_0)}=\frac{y-y_0}{y^{\prime }(t_0)}=\frac{z-z_0}{z^{{}^{\prime }}(t_0)},$$
曲线 C 在点 点 M0(x0,y0,z0) 处的法平面方程为
$$x^{{}^{\prime }}(t_0)(x-x_0)+y^{{}^{\prime }}(t_0)(y-y_0)+z^{{}^{\prime }}(t_0)(z-z_0)=0.$$

在求空间曲线的切线时，先看曲线是否以参数方程形式给出，若不是，看其是否能转化为参数方程，若不易转化成参数方程，可视某一变量为参变量，将其余两个变量看作函数，然后求导可得切线的方向向量，进而得到切线方程。

曲面的切平面和法线

设曲面方程为 F(x, y, z) = 0，M0(x0,y0,z0) 是曲面上一点，设函数 F(x,y,z) 的偏导数在该点连续且不同时为零，过点 M0(x0,y0,z0) 且完全在曲面上的曲线为 C，其参数方程为
KaTeX parse error: Undefined control sequence: \cases at position 2: \̲c̲a̲s̲e̲s̲ ̲{ x = x ( t ) ,…
t = t0 对应于点 M0(x0,y0,z0) ，且 x'(t0)，y'(t0)，z'(t0) 不全为零。

因为曲线 C 完全在曲面上，所以 F(x(t), y(t), z(t)) ≡ 0。对 t 求导，在 t = t0 处（即在点 M0 处）有
$$F_x{\mid }_{M_0}{x}^{\prime }(t_0)+F_y{\mid }_{M_0}{y}^{\prime }(t_0)+F_z{\mid }_{M_0}{z}^{\prime }(t_0)=0.$$
由前面所讲可知，向量 s={x′(t0),y′(t0),z′(t0)} 正是曲线 C 在点 M0 的切线的方向向量，所以向量 n={Fx∣M0,Fy∣M0,Fz∣M0} 是和这条切线垂直。又由于所取曲线 C 的任意性，可知曲面上任意一条通过 M0 的线段皆垂直于向量 {Fx∣M0,Fy∣M0,Fz∣M0} ，因此这些切线应位于同一平面上，这个平面称为曲面在点 M0 的切平面，而向量 {Fx∣M0,Fy∣M0,Fz∣M0} 就是切平面的法向量，于是切平面方程为
$$F_x{\mid }_{M_0}(x-x_0)+F_y{\mid }_{M_0}(y-y_0)+F_z{\mid }_{M_0}(z-z_0)=0.$$
通过点 M0 且于切平面垂直的直线称为曲面在点 M0 的法线，于是法线的方程应为
$$\frac{x-x_0}{F_x{\mid }_{M_0}}=\frac{y-y_0}{F_y{\mid }_{M_0}}=\frac{z-z_0}{F_z{\mid }_{M_0}}.$$

多元函数的极值及应用

二元函数的极值

如果二元函数 z = f(x,y) 在点(x0, y0) 处取得极值，则一元函数 z = f(x, y0) 在点 x0 处取得极值，一元函一元函数 z = f(x0, y) 在点 y0 处取得极值。由此得到极值点的必要条件。

(必要条件) 设二元函数 z = f(x,y) 在点(x0, y0) 处取得极值，且fx(x0,y0)，fy(x0,y0)存在，则
$$f_x(x_0,y_0)=0,f_y(x_0,y_0)=0.$$
(充分条件) 设二元函数 z = f(x, y) 在点 M0(x0, y0) 的某一邻域内连续，且有连续的一、二阶偏导数，M0(x0, y0) 是驻点，令
$$A=f_{xx}(x_0,y_0),B=f_{xy}(x_0,y_0),C=f_{yy}(x_0,y_0),$$
判别式 △ = B^2 - AC，则

（1）当 △ < 0 时，点 M0(x0, y0) 是极值点，且当 A < 0 时，点 M0(x0, y0) 是极大值点；当 A > 0 时，点 M0(x0, y0) 是极小值点；

（2）当 △ > 0 时，点 M0(x0, y0) 不是极值点

（3）当 △ ＝ 0 时，点 M0(x0, y0) 可能是极值点，也可能不是极值点，需另作讨论。

求具有二阶连续偏导数的二元函数的极值步骤如下：

（1）解方程组 fx(x,y) = 0，fy(x,y) = 0, 得一切驻点；

（2）对每一驻点(x0,y0)，求出二阶偏导数的值 A，B，C；

（3）确定 B^2 - AC 的符号，按充分条件的结论判定 f(x0, y0) 是否是极值；

（4）如果 f(x0, y0) 是极值，根据 A 的符号判断是极大值还是极小值，并求出极值点处的函数值。

条件极值

上述极值对定义域内的自变量并未加其他限制条件,故可称之为无条件极值.在很多实际问题中,常会碰到对自变量增加限制条件的极值问题,称之为条件极值，对于有些实际问题,可以把条件极值转化为无条件极值，但很多情况下条件极值转化为无条件极值并不简单,所以下面我们来介绍一种直接求条件极值的方法——拉格朗日乘数法.

在求二元函数 z = f(x, y) 在条件 φ(x, y) = 0 条件下可能极值点的具体步骤为：

（1）作拉格朗日函数
$$L(x,y)=f(x,y)+\lambda \phi (x,y),$$
其中 λ 是一待定常数；

（2）求 L(x, y) 对 x 于 y 的一阶偏导数，并令其为零，然后与 φ(x,y) = 0 联立求解，即
KaTeX parse error: Undefined control sequence: \cases at position 58: …hi ( x , y ) , \̲c̲a̲s̲e̲s̲ ̲{ \frac { \part…
由此方程组解出 (x, y, λ)，所得的点(x, y) 即是 z = f(x, y) 在条件 φ(x,y) = 0 下的可能极值点。