第9章 多元函数微分法及其应用

第一节 多元函数的基本概念

1. 平面点集 n维空间
   
   • $\color{blue}{点与点集的关系}$：内点、外点、边界点、边界、聚点
   • 开集、闭集、连通集、区域、闭区域、有界集、无界集
2. 多元函数概念
   
   • $\color{blue}{定义1}$：$\mathcal{设 D 是 R^2 的一个非空子集，称映射 f：D\rightarrow R 为定义在D上的二元函数}$ $$\mathcal{通常记为 z=f(x,y),(x,y)\in D}$$ $$\mathcal{或 z=f(P),P\in D}$$
     $\mathcal{其中点集D称为该函数的定义域，x、y称为自变量，z称为因变量}$
3. 多元函数的极限
   
   • $\color{blue}{定义2}$：设二元函数$\mathcal{f(P)=f(x,y)}$的定义域为$\mathcal{D，P_0(x_0,y_0)是D}$的聚点。如果存在常数$\mathcal{A}$，对于任意给定的正数 $\mathcal{\varepsilon}$ ,总存在正数 $\mathcal{\delta}$ ，使得当点$\mathcal{P(x,y)\in D \cap 去心U(P_0,\delta)时，都有}$ $$\mathcal{|f(P)-A|=|f(x,y)-A|<\varepsilon}$$ 成立，那么就称常数$\mathcal{A}$为函数$\mathcal{f(x,y)当(x,y)\rightarrow (x_0,y_0)}$时的极限，记作 $$\mathcal{\lim_{(x,y)\rightarrow (x_0,y_0)}f(x,y)=A 或 f(x,y)\rightarrow A((x,y)\rightarrow (x_0,y_0))}$$ 也记作 $$\mathcal{\lim_{P\rightarrow P_0}f(P)=A 或 f(P)\rightarrow A (P\rightarrow P_0)}$$ 二元函数的极限叫做二重极限
4. 多元函数的连续性
   
   • $\color{blue}{定义3}$： 设二元函数$\mathcal{f(P)=f(x,y)}$的定义域为$\mathcal{D}$，$\mathcal{P_0(x_0,y_0)}$为 $\mathcal{D}$ 的聚点，且$\mathcal{P_0\in D}$。如果 $$\mathcal{\lim_{(x,y)\rightarrow (x_0,y_0)}f(x,y)=f(x_0,y_0)}$$ 则称函数$\mathcal{f(x,y)}$是 $\mathcal{D}$ 上的连续函数。
   • $\color{blue}{性质1(有界性与最大值最小值定理)}$ 在有界闭区域 $\mathcal{D}$ 上的多元连续函数，必定在 $\mathcal{D}$ 上有界，切能取得它的最大值和最小值。
   • $\color{blue}{性质2(介值定理)}$ 在有界闭区域 $\mathcal{D}$ 上的多元连续函数必取得介于最大值和最小值之间的任何值。
   • $\color{blue}{性质3(一致连续性定理)}$ 在有界闭区域 $\mathcal{D}$ 上的多元连续函数必定在 $\mathcal{D}$ 上一致连续。

第二节 偏导数

1. 偏导数的定义及其计算法
   
   • $\color{blue}{偏导数定义}$：设函数 $\mathcal{z=f(x,y)}$ 在点 $\mathcal{(x_0,y_0)}$ 的某一邻域内有定义，当 $\mathcal y$ 固定在 $\mathcal{y_0}$ 而 $\mathcal x$ 在 $\mathcal{x_0}$ 处有增量 $\mathcal{\Delta x}$ 时，相应的函数有增量 $$f(x_0+\Delta x,y_0)-f(x_0,y_0)$$ 如果 $$\mathcal{\lim_{\Delta x\rightarrow 0}\frac{f(x_0+\Delta x,y_0)-f(x_0,y_0)}{\Delta x}}$$ 存在，则称此极限为函数 $\mathcal{z=f(x,y)}$ 在点 $\mathcal{(x_0,y_0)}$ 处对 $\mathcal x$ 的偏导数，记作 $$\frac{\partial z}{\partial x}\biggl|_{x=x_0,y=y_0}, \frac{\partial f}{\partial x}\biggl|_{x=x_0,y=y_0}, z_x\bigl|_{x=x_0,y=y_0} 或 f_x(x_0,y_0)$$ 如果函数 $\mathcal{z=f(x,y)}$ 在区域 $\mathcal{D}$ 内每一点 $\mathcal{(x,y)}$ 处对 $\mathcal{x}$ 的偏导数都存在，那么这个偏导数就是 $\mathcal{x,y}$ 的函数，它就称为函数 $\mathcal{z=f(x,y)}$ 对自变量 $\mathcal{x}$ 的偏导函数，记作 $$\mathcal{\frac{\partial z}{\partial x},\frac{\partial f}{\partial x},z_x 或 f_x(x,y)}$$
2. 高阶偏导数
   
   • $\color{blue}{定理}$ 如果函数 $\mathcal{z=f(x,y)}$ 的两个二阶混合偏导数 $\mathcal{\frac{\partial^2 z}{\partial y\partial x}}$ 及 $\mathcal{\frac{\partial^2 z}{\partial x\partial y}}$ 在区域 $\mathcal {D}$ 内连续，那么在该区域内这两个二阶混合偏导数必相等。(二阶混合偏导数在连续的条件下与求导的次序无关。)

第三节 全微分

1. 全微分的定义
   
   • $\color{blue}{定义}$ 设函数 $\mathcal{z=f(x,y)}$ 在点 $\mathcal{(x,y)}$ 的某邻域内有定义，如果函数在点 $\mathcal{(x,y)}$ 的全增量 $$\mathcal{\Delta z=f(x+\Delta x,y+\Delta y)-f(x,y)}$$ 可表示为 $$\mathcal{\Delta z=A\Delta x+B\Delta y + o(\rho)}$$ 其中 $\mathcal{A,B}$ 不依赖于 $\mathcal{\Delta x、\Delta y}$ 而仅与 $\mathcal{x,y}$ 有关，$\mathcal{\rho =\sqrt{\Delta x^2+\Delta y^2}}$ ，则称函数 $\mathcal{z=f(x,y)}$ 在点 $\mathcal{x,y}$ 可微分，而 $\mathcal{A\Delta x +B\Delta y}$ 称为函数 $\mathcal{z=f(x,y)}$ 在点 $\mathcal{(x,y)}$ 的全微分，记作 $\mathcal{dz}$，即 $$\mathcal{dz=A\Delta x+B\Delta y}$$ 如果函数在区域 $\mathcal{D}$ 内各点处都可微分，那么称这函数在 $\mathcal{D}$ 内可微分。
   • 定理1(必要