文章目錄
- 七、微分方程
- 7.3 高階線性微分方程
- 7.3.1 線性微分方程的解的結構
- 7.3.2 常系數齊次線性微分方程
- 7.3.3 常系數非齊次線性微分方程
- 八、多元函數微分學
- 8.1 偏導數
- 8.2 全微分
- 8.3 基本定理
- 8.4 復合函數微分法
- 8.5 隱函數微分法
- 8.6 多元函數的極值
- 8.6.1 無條件極值
- 8.6.2 條件極值(拉格朗日乘數法)
- 九、二重積分
- 9.1 二重積分的概念
- 9.2 二重積分的性質
- 9.3、二重積分的計算
- 9.3.1 利用直角坐標計算
- 9.3.2 利用極坐標計算
- 9.3.3 利用函數的奇偶性計算
- 9.3.4 利用變量的輪換對稱性計算
高數基礎知識(下)①
文章目錄集合
七、微分方程
7.3 高階線性微分方程
7.3.1 線性微分方程的解的結構
這里只討論二階線性微分方程,其結論可以推廣到更高階的方程。二階線性微分方程的一般形式為
y′′+p(x)y′+q(x)y=f(x),y'' + p(x)y' + q(x)y = f(x), y′′+p(x)y′+q(x)y=f(x),
這里的 p(x),q(x),f(x)p(x), q(x), f(x)p(x),q(x),f(x) 均為連續函數。當方程右端的 f(x)≡0f(x) \equiv 0f(x)≡0 時,稱為二階線性齊次方程,否則稱為二階線性非齊次方程。
-
齊次方程
y′′+p(x)y′+q(x)y=0(①)y'' + p(x)y' + q(x)y = 0 \tag{①}y′′+p(x)y′+q(x)y=0(①) -
非齊次方程
y′′+p(x)y′+q(x)y=f(x).(②)y'' + p(x)y' + q(x)y = f(x). \tag{②}y′′+p(x)y′+q(x)y=f(x).(②)
定理 如果 y1(x)y_1(x)y1?(x) 和 y2(x)y_2(x)y2?(x) 是齊次方程①的兩個線性無關的特解,那么
y=C1y1(x)+C2y2(x)y = C_1 y_1(x) + C_2 y_2(x) y=C1?y1?(x)+C2?y2?(x)
就是方程①的通解。
【注】 方程①的兩個解線性無關的充要條件是它們之比不為常數。
定理 如果 y?y^*y? 是非齊次方程②的一個特解,y1(x)y_1(x)y1?(x) 和 y2(x)y_2(x)y2?(x) 是齊次方程①的兩個線性無關的特解,則
y=C1y1(x)+C2y2(x)+y?(x)y = C_1 y_1(x) + C_2 y_2(x) + y^*(x) y=C1?y1?(x)+C2?y2?(x)+y?(x)
是非齊次微分方程②的通解。
定理 如果 y1?(x),y2?(x)y_1^*(x), y_2^*(x)y1??(x),y2??(x) 是非齊次方程②的兩個特解,則 y(x)=y2?(x)?y1?(x)y(x) = y_2^*(x) - y_1^*(x)y(x)=y2??(x)?y1??(x) 是齊次微分方程①的解。
定理 如果 y1?(x),y2?(x)y_1^*(x), y_2^*(x)y1??(x),y2??(x) 分別是方程
y′′+p(x)y′+q(x)y=f1(x),y'' + p(x)y' + q(x)y = f_1(x), y′′+p(x)y′+q(x)y=f1?(x),
y′′+p(x)y′+q(x)y=f2(x)y'' + p(x)y' + q(x)y = f_2(x) y′′+p(x)y′+q(x)y=f2?(x)
的特解,則 y1?(x)+y2?(x)y_1^*(x) + y_2^*(x)y1??(x)+y2??(x) 是方程
y′′+p(x)y′+q(x)y=f1(x)+f2(x)y'' + p(x)y' + q(x)y = f_1(x) + f_2(x) y′′+p(x)y′+q(x)y=f1?(x)+f2?(x)
的一個特解。
7.3.2 常系數齊次線性微分方程
二階常系數線性齊次微分方程的一般形式為
y′′+py′+qy=0,(③)y'' + py' + qy = 0, \tag{③}y′′+py′+qy=0,(③)
其特征方程為 r2+pr+q=0r^2 + pr + q = 0r2+pr+q=0,設 r1,r2r_1, r_2r1?,r2? 為該方程的兩個根。
(1) 若 r1≠r2r_1 \neq r_2r1?=r2? 為兩個不相等的實特征根,則方程③的通解為
y=C1er1x+C2er2x.y = C_1 e^{r_1 x} + C_2 e^{r_2 x}. y=C1?er1?x+C2?er2?x.
(2) 若 r1=r2r_1 = r_2r1?=r2? 為二重實特征根,則方程③的通解為
y=(C1+C2x)er1x.y = (C_1 + C_2 x)e^{r_1 x}. y=(C1?+C2?x)er1?x.
(3) 若 r1=α+iβ,r2=α?iβr_1 = \alpha + i\beta, r_2 = \alpha - i\betar1?=α+iβ,r2?=α?iβ 為一對共軛復根,則方程③的通解為
y=eαx(C1cos?βx+C2sin?βx).y = e^{\alpha x} (C_1 \cos \beta x + C_2 \sin \beta x). y=eαx(C1?cosβx+C2?sinβx).
7.3.3 常系數非齊次線性微分方程
二階常系數線性非齊次微分方程的一般形式為
y′′+py′+qy=f(x).(④)y'' + py' + qy = f(x). \tag{④}y′′+py′+qy=f(x).(④)
(1) 若 f(x)=Pm(x)eλxf(x) = P_m(x)e^{\lambda x}f(x)=Pm?(x)eλx,其中 Pm(x)P_m(x)Pm?(x) 為 xxx 的 mmm 次多項式,則方程 ④ 的特解可設為
y?=xkQm(x)eλx,y^* = x^k Q_m(x)e^{\lambda x}, y?=xkQm?(x)eλx,
其中 Qm(x)Q_m(x)Qm?(x) 是與 Pm(x)P_m(x)Pm?(x) 同次的多項式,kkk 是特征方程含根 λ\lambdaλ 的重復次數。
(2) 若 f(x)=eαx[Pl(1)(x)cos?βx+Pn(2)(x)sin?βx]f(x) = e^{\alpha x} [P_l^{(1)}(x)\cos\beta x + P_n^{(2)}(x)\sin\beta x]f(x)=eαx[Pl(1)?(x)cosβx+Pn(2)?(x)sinβx],其中 Pl(1)(x),Pn(2)(x)P_l^{(1)}(x), P_n^{(2)}(x)Pl(1)?(x),Pn(2)?(x) 分別為 xxx 的 lll 次、nnn 次多項式,則方程 ④ 的特解可設為
y?=xkeαx[Rm(1)(x)cos?βx+Rm(2)(x)sin?βx],y^* = x^k e^{\alpha x} [R_m^{(1)}(x)\cos\beta x + R_m^{(2)}(x)\sin\beta x], y?=xkeαx[Rm(1)?(x)cosβx+Rm(2)?(x)sinβx],
其中 Rm(1)(x),Rm(2)(x)R_m^{(1)}(x), R_m^{(2)}(x)Rm(1)?(x),Rm(2)?(x) 是兩個 mmm 次多項式,m=max?(l,n)m = \max(l, n)m=max(l,n)。
當 α+iβ\alpha + i\betaα+iβ 不是方程 ③ 的特征根時,取 k=0k = 0k=0。
當 α+iβ\alpha + i\betaα+iβ 是程 ③ 的單特征根時,取 k=1k = 1k=1。
【例22】(2009,數一)若二階常系數線性齊次微分方程 y′′+ay′+by=0y'' + ay' + by = 0y′′+ay′+by=0 的通解為 y=(C1+C2x)exy = (C_1 + C_2 x) e^xy=(C1?+C2?x)ex,則非齊次方程 y′′+ay′+by=xy'' + ay' + by = xy′′+ay′+by=x 滿足條件 y(0)=2,y′(0)=0y(0) = 2, y'(0) = 0y(0)=2,y′(0)=0 的解為______。
由微分方程 y′′+ay′+by=0y'' + ay' + by = 0y′′+ay′+by=0 的通解為 y=(C1+C2x)exy = (C_1 + C_2 x) e^xy=(C1?+C2?x)ex 可知,r=1r = 1r=1 是齊次方程的特征方程的二重根,則齊次方程的特征方程為 (r?1)2=0(r - 1)^2 = 0(r?1)2=0,即 r2?2r+1=0r^2 - 2r + 1 = 0r2?2r+1=0,則 a=?2,b=1a = -2, b = 1a=?2,b=1,非齊次方程為 y′′?2y′+y=xy'' - 2y' + y = xy′′?2y′+y=x。
設非齊次方程的特解為 y?=a′x+b′y^* = a'x + b'y?=a′x+b′,代入方程得 a′=1,b′=2a' = 1, b' = 2a′=1,b′=2,則其通解為 y=(C1+C2x)ex+x+2y = (C_1 + C_2 x) e^x + x + 2y=(C1?+C2?x)ex+x+2。
由 y(0)=2,y′(0)=0y(0) = 2, y'(0) = 0y(0)=2,y′(0)=0 知 C1=0,C2=?1C_1 = 0, C_2 = -1C1?=0,C2?=?1,故 y=x(1?ex)+2y = x(1 - e^x) + 2y=x(1?ex)+2。
八、多元函數微分學
8.1 偏導數
設函數 z=f(x,y)z = f(x, y)z=f(x,y) 在點 f(x,y)f(x, y)f(x,y) 的某鄰域內有定義,若極限
f(x)=lim?Δx→0f(x,y)?f(x,y)Δxf(x) = \lim_{\Delta x \to 0} \frac{f(x, y) - f(x, y)}{\Delta x} f(x)=Δx→0lim?Δxf(x,y)?f(x,y)?
存在,則稱該極限為 f(x,y)f(x, y)f(x,y) 在 (x,y)(x, y)(x,y) 處對 xxx 的偏導數,記為 ?z?x\frac{\partial z}{\partial x}?x?z?。即
?z?x=lim?Δx→0f(x+Δx,y)?f(x,y)Δx\frac{\partial z}{\partial x} = \lim_{\Delta x \to 0} \frac{f(x + \Delta x, y) - f(x, y)}{\Delta x}?x?z?=Δx→0lim?Δxf(x+Δx,y)?f(x,y)?
同理
?z?y=lim?Δy→0f(x,y+Δy)?f(x,y)Δy\frac{\partial z}{\partial y} = \lim_{\Delta y \to 0} \frac{f(x, y + \Delta y) - f(x, y)}{\Delta y}?y?z?=Δy→0lim?Δyf(x,y+Δy)?f(x,y)?
注:在函數的分界點處的偏導數,用偏導數定義求。
8.2 全微分
?設函數 z=f(x,y)z = f(x, y)z=f(x,y) 在點 P(x,y)P(x, y)P(x,y) 的某鄰域內有定義,分別給 x,yx, yx,y 以增量 Δx,Δy\Delta x, \Delta yΔx,Δy,相應地得到函數的全增量 Δz\Delta zΔz,若其可表示為
Δz=AΔx+BΔy+o(ρ),\Delta z = A \Delta x + B \Delta y + o(\rho),Δz=AΔx+BΔy+o(ρ),
其中 A,BA, BA,B 與 Δx,Δy\Delta x, \Delta yΔx,Δy 無關,ρ=(Δx)2+(Δy)2\rho = \sqrt{(\Delta x)^2 + (\Delta y)^2}ρ=(Δx)2+(Δy)2?,o(ρ)o(\rho)o(ρ) 為 Δx→0,Δy→0\Delta x \to 0, \Delta y \to 0Δx→0,Δy→0 時 ρ\rhoρ 的高階無窮小,則稱函數 f(x,y)f(x,y)f(x,y) 在點 P(x,y)P(x,y)P(x,y) 處可微。
??AΔx+BΔyA \Delta x + B \Delta yAΔx+BΔy 稱為 f(x,y)f(x,y)f(x,y) 在點 P(x,y)P(x,y)P(x,y) 處的全微分。
記 dz=AΔx+BΔydz = A \Delta x + B \Delta y dz=AΔx+BΔy,當 z=f(x,y)z = f(x,y)z=f(x,y) 在 P(x,y)P(x,y)P(x,y) 的斜面可微時,A=?z?xA = \frac{\partial z}{\partial x}A=?x?z?,B=?z?yB = \frac{\partial z}{\partial y}B=?y?z?。則
dz=?z?xdx+?z?ydydz = \frac{\partial z}{\partial x} dx + \frac{\partial z}{\partial y} dy dz=?x?z?dx+?y?z?dy
用全微分定義驗證一個可導函數的可微性,只需驗證:lim?ρ→0Δz?fx′(x,y)Δx?fy′(x,y)Δyρ\lim_{\rho \to 0} \frac{\Delta z - f'_x(x,y) \Delta x - f'_y(x,y) \Delta y}{\rho}ρ→0lim?ρΔz?fx′?(x,y)Δx?fy′?(x,y)Δy? 是否為0
8.3 基本定理
Th1(求偏導與次序無關定理)設 z=f(x,y)z = f(x, y)z=f(x,y) 的兩個混合偏導數 fxy′′(x,y),fyx′′(x,y)f_{xy}''(x, y), f_{yx}''(x, y)fxy′′?(x,y),fyx′′?(x,y) 在區域 DDD 內連續,則有
fxy′′(x,y)=fyx′′(x,y)f_{xy}''(x, y) = f_{yx}''(x, y)fxy′′?(x,y)=fyx′′?(x,y)
Th2(可微與偏導存在的關系定理)若 z=f(x,y)z = f(x, y)z=f(x,y) 在點 P(x,y)P(x, y)P(x,y) 處可微,則在該點處 ?z?x,?z?y\frac{\partial z}{\partial x}, \frac{\partial z}{\partial y}?x?z?,?y?z? 必存在,且有
dz=?z?xdx+?z?ydydz = \frac{\partial z}{\partial x} dx + \frac{\partial z}{\partial y} dydz=?x?z?dx+?y?z?dy
Th3(偏導存在與可微的關系定理)若 z=f(x,y)z = f(x, y)z=f(x,y) 的兩個偏導數 ?z?x,?z?y\frac{\partial z}{\partial x}, \frac{\partial z}{\partial y}?x?z?,?y?z? 在 P(x,y)P(x, y)P(x,y) 上的某鄰域內存在,且在 P(x,y)P(x, y)P(x,y) 連續。則 z=f(x,y)z = f(x, y)z=f(x,y) 在點 P(x,y)P(x, y)P(x,y) 處可微。
8.4 復合函數微分法
(1) 設 z=f(u,v),u=φ(x,y),v=ψ(x,y)z = f(u,v), u = \varphi(x,y), v = \psi(x,y)z=f(u,v),u=φ(x,y),v=ψ(x,y),則
{?z?x=?z?u??u?x+?z?v??v?x?z?y=?z?u??u?y+?z?v??v?y\begin{cases} \frac{\partial z}{\partial x} = \frac{\partial z}{\partial u} \cdot \frac{\partial u}{\partial x} + \frac{\partial z}{\partial v} \cdot \frac{\partial v}{\partial x} \\ \frac{\partial z}{\partial y} = \frac{\partial z}{\partial u} \cdot \frac{\partial u}{\partial y} + \frac{\partial z}{\partial v} \cdot \frac{\partial v}{\partial y} \end{cases} {?x?z?=?u?z???x?u?+?v?z???x?v??y?z?=?u?z???y?u?+?v?z???y?v??
(2) 設 z=f(u,v),u=φ(x),v=ψ(x)z = f(u,v), u = \varphi(x), v = \psi(x)z=f(u,v),u=φ(x),v=ψ(x),則
dzdx=?z?u?dudx+?z?v?dvdx\frac{dz}{dx} = \frac{\partial z}{\partial u} \cdot \frac{du}{dx} + \frac{\partial z}{\partial v} \cdot \frac{dv}{dx} dxdz?=?u?z??dxdu?+?v?z??dxdv?
稱為 zzz 的全導數。
(3) 設 z=f(x,u,v),u=φ(x,y),v=ψ(x,y)z = f(x,u,v), u = \varphi(x,y), v = \psi(x,y)z=f(x,u,v),u=φ(x,y),v=ψ(x,y),則
{?z?x=?f?x+?f?u??u?x+?f?v??v?x?z?y=0+?f?u??u?y+?f?v??v?y\begin{cases} \frac{\partial z}{\partial x} = \frac{\partial f}{\partial x} + \frac{\partial f}{\partial u} \cdot \frac{\partial u}{\partial x} + \frac{\partial f}{\partial v} \cdot \frac{\partial v}{\partial x} \\ \frac{\partial z}{\partial y} = 0 + \frac{\partial f}{\partial u} \cdot \frac{\partial u}{\partial y} + \frac{\partial f}{\partial v} \cdot \frac{\partial v}{\partial y} \end{cases} {?x?z?=?x?f?+?u?f???x?u?+?v?f???x?v??y?z?=0+?u?f???y?u?+?v?f???y?v??
注:復合函數一定要按中間變量,抽象函數的簡階偏導數,其中間變量用數字1,2,3,…表示更簡潔。
8.5 隱函數微分法
(1) 設 F(x,y)=0F(x,y) = 0F(x,y)=0,則 dydx=?Fx′(x,y)Fy′(x,y)\frac{dy}{dx} = -\frac{F'_x(x,y)}{F'_y(x,y)}dxdy?=?Fy′?(x,y)Fx′?(x,y)?。
(2) 設 F(x,y,z)=0F(x,y,z) = 0F(x,y,z)=0,則
?z?x=?Fx′(x,y,z)Fz′(x,y,z),?z?y=?Fy′(x,y,z)Fz′(x,y,z)\frac{\partial z}{\partial x} = -\frac{F'_x(x,y,z)}{F'_z(x,y,z)}, \quad \frac{\partial z}{\partial y} = -\frac{F'_y(x,y,z)}{F'_z(x,y,z)} ?x?z?=?Fz′?(x,y,z)Fx′?(x,y,z)?,?y?z?=?Fz′?(x,y,z)Fy′?(x,y,z)?
(3) 設由方程組
{F(x,y,z)=0,G(x,y,z)=0\begin{cases} F(x,y,z) = 0, \\ G(x,y,z) = 0 \end{cases} {F(x,y,z)=0,G(x,y,z)=0?
確定的隱函數為 y=y(x),z=z(x)y = y(x), z = z(x)y=y(x),z=z(x),則 dydx,dzdx\frac{dy}{dx}, \frac{dz}{dx}dxdy?,dxdz? 可通過解關于 dydx,dzdx\frac{dy}{dx}, \frac{dz}{dx}dxdy?,dxdz? 的線性方程組:
{Fx′+Fy′dydx+Fz′dzdx=0Gx′+Gy′dydx+Gz′dzdx=0?{Fy′dydx+Fz′dzdx=?Fx′Gy′dydx+Gz′dzdx=?Gx′\begin{cases} F'_x + F'_y \frac{dy}{dx} + F'_z \frac{dz}{dx} = 0 \\ G'_x + G'_y \frac{dy}{dx} + G'_z \frac{dz}{dx} = 0 \end{cases} \Rightarrow \begin{cases} F'_y \frac{dy}{dx} + F'_z \frac{dz}{dx} = -F'_x \\ G'_y \frac{dy}{dx} + G'_z \frac{dz}{dx} = -G'_x \end{cases} {Fx′?+Fy′?dxdy?+Fz′?dxdz?=0Gx′?+Gy′?dxdy?+Gz′?dxdz?=0??{Fy′?dxdy?+Fz′?dxdz?=?Fx′?Gy′?dxdy?+Gz′?dxdz?=?Gx′??
來求解。
8.6 多元函數的極值
定義 設函數 z=f(x,y)z=f(x,y)z=f(x,y) 在 P(x0,y0)P(x_0,y_0)P(x0?,y0?) 的某鄰域內有定義, 若對于該鄰域內異于點 P(x0,y0)P(x_0,y_0)P(x0?,y0?) 的任一點 Q(x,y)Q(x,y)Q(x,y), 恒有
f(x,y)>f(x0,y0)(或<f(x0,y0)),f(x,y) > f(x_0,y_0) \quad (\text{或} < f(x_0,y_0)), f(x,y)>f(x0?,y0?)(或<f(x0?,y0?)),
則稱 f(x0,y0)f(x_0,y_0)f(x0?,y0?) 為 f(x,y)f(x,y)f(x,y) 的極小值(或極大值)。
Th1(取極值的必要條件) 設 z=f(x,y)z=f(x,y)z=f(x,y) 在點 P(x0,y0)P(x_0,y_0)P(x0?,y0?) 的一階偏導數存在, 且 P(x0,y0)P(x_0,y_0)P(x0?,y0?) 是 z=f(x,y)z=f(x,y)z=f(x,y) 極值點, 則
{fx′(x0,y0)=0fy′(x0,y0)=0\begin{cases} f'_x(x_0, y_0) = 0\\ f'_y(x_0, y_0) = 0 \end{cases} {fx′?(x0?,y0?)=0fy′?(x0?,y0?)=0?
Th2(函數取極值的充分條件)設 z=f(x,y)z = f(x, y)z=f(x,y) 在點 P(x0,y0)P(x_0, y_0)P(x0?,y0?) 的某鄰域內有連續的二階偏導數,且
fx′(x0,y0)=0,fy′(x0,y0)=0f'_x(x_0, y_0) = 0, f'_y(x_0, y_0) = 0fx′?(x0?,y0?)=0,fy′?(x0?,y0?)=0
[fxy′′(x0,y0)]2?fxx′′(x0,y0)?fyy′′(x0,y0)<0,[f''_{xy}(x_0, y_0)]^2 - f''_{xx}(x_0, y_0) \cdot f''_{yy}(x_0, y_0) < 0,[fxy′′?(x0?,y0?)]2?fxx′′?(x0?,y0?)?fyy′′?(x0?,y0?)<0,
則 P(x0,y0)P(x_0, y_0)P(x0?,y0?) 是 z=f(x,y)z = f(x, y)z=f(x,y) 的一個極值點。
① 若 fxx′′(x0,y0)>0f''_{xx}(x_0, y_0) > 0fxx′′?(x0?,y0?)>0 (或 fyy′′(x0,y0)>0f''_{yy}(x_0, y_0) > 0fyy′′?(x0?,y0?)>0),則 P(x0,y0)P(x_0, y_0)P(x0?,y0?) 為極小值點。
② 若 fxx′′(x0,y0)<0f''_{xx}(x_0, y_0) < 0fxx′′?(x0?,y0?)<0 (或 fyy′′(x0,y0)<0f''_{yy}(x_0, y_0) < 0fyy′′?(x0?,y0?)<0),則 P(x0,y0)P(x_0, y_0)P(x0?,y0?) 為極大值點。
8.6.1 無條件極值
解題程序:
① 求出 z=f(x,y)z = f(x, y)z=f(x,y) 的駐點 (x0,y0)(x_0, y_0)(x0?,y0?);
② 用 Th2 判別點 (x0,y0)(x_0, y_0)(x0?,y0?) 是否為極值點。若是,則 f(x0,y0)f(x_0, y_0)f(x0?,y0?) 為 z=f(x,y)z = f(x, y)z=f(x,y) 的極值。
8.6.2 條件極值(拉格朗日乘數法)
① 由條件 φ(x,y)=0\varphi (x, y) = 0φ(x,y)=0,求 z=f(x,y)z = f(x, y)z=f(x,y) 的極值。
解題程序:
-
令 F(x,y)=f(x,y)+λφ(x,y)F(x, y) = f(x, y) + \lambda \varphi (x, y)F(x,y)=f(x,y)+λφ(x,y);
-
解方程組
{fx′(x,y)+λφx′(x,y)=0fy′(x,y)+λφy′(x,y)=0φ(x,y)=0\begin{cases} f'_x (x, y) + \lambda \varphi'_x (x, y) = 0 \\ f'_y (x, y) + \lambda \varphi'_y (x, y) = 0 \\ \varphi (x, y) = 0 \end{cases} ????fx′?(x,y)+λφx′?(x,y)=0fy′?(x,y)+λφy′?(x,y)=0φ(x,y)=0?
求駐點 (x0,y0)(x_0, y_0)(x0?,y0?); -
f(x0,y0)f(x_0, y_0)f(x0?,y0?) 即為 f(x,y)f(x, y)f(x,y) 的極值(存在的話)。
② 由條件 φ(x,y,z)=0\varphi (x, y, z) = 0φ(x,y,z)=0,求 u=f(x,y,z)u = f(x, y, z)u=f(x,y,z) 的極值。
解題程序:
-
令 F(x,y,z)=f(x,y,z)+λφ(x,y,z)F(x, y, z) = f(x, y, z) + \lambda \varphi (x, y, z)F(x,y,z)=f(x,y,z)+λφ(x,y,z);
-
解方程組
{fx′(x,y,z)+λφx′(x,y,z)=0fy′(x,y,z)+λφy′(x,y,z)=0fz′(x,y,z)+λφz′(x,y,z)=0φ(x,y,z)=0\begin{cases} f_x'(x, y, z) + \lambda \varphi_x'(x, y, z) = 0 \\ f_y'(x, y, z) + \lambda \varphi_y'(x, y, z) = 0 \\ f_z'(x, y, z) + \lambda \varphi_z'(x, y, z) = 0 \\ \varphi(x, y, z) = 0 \end{cases} ????fx′?(x,y,z)+λφx′?(x,y,z)=0fy′?(x,y,z)+λφy′?(x,y,z)=0fz′?(x,y,z)+λφz′?(x,y,z)=0φ(x,y,z)=0?
若 (x0,y0,z0)(x_0, y_0, z_0)(x0?,y0?,z0?) 為其解,f(x0,y0,z0)f(x_0, y_0, z_0)f(x0?,y0?,z0?) 即為 f(x,y,z)f(x, y, z)f(x,y,z) 的極值(若存在的話)。
③ 由條件 φ1(x,y,z)=0,φ2(x,y,z)=0\varphi_1(x, y, z) = 0, \varphi_2(x, y, z) = 0φ1?(x,y,z)=0,φ2?(x,y,z)=0 求函數 u=f(x,y,z)u = f(x, y, z)u=f(x,y,z) 的極值。
解題程序:
① 令 F(x,y,z)=f(x,y,z)+λ1φ1(x,y,z)+λ2φ2(x,y,z)F(x, y, z) = f(x, y, z) + \lambda_1 \varphi_1(x, y, z) + \lambda_2 \varphi_2(x, y, z)F(x,y,z)=f(x,y,z)+λ1?φ1?(x,y,z)+λ2?φ2?(x,y,z)
② 以下仿①、②。
九、二重積分
9.1 二重積分的概念
定義 設函數 z=f(x,y)z = f(x, y)z=f(x,y) 在有界閉區域 DDD 上有定義,將區域 DDD 任意分成 nnn 個小閉區域
Δσ1,Δσ2,?,Δσn,\Delta \sigma_1, \Delta \sigma_2, \cdots, \Delta \sigma_n,Δσ1?,Δσ2?,?,Δσn?,
其中 Δσi\Delta \sigma_iΔσi? 表示第 iii 個小區域,也表示它的面積。在每個 Δσi\Delta \sigma_iΔσi? 上任取一點 (ξi,ηi)(\xi_i, \eta_i)(ξi?,ηi?),作乘積 f(ξi,ηi)Δσif(\xi_i, \eta_i) \Delta \sigma_if(ξi?,ηi?)Δσi?,并求和 ∑i=1nf(ξi,ηi)Δσi\sum_{i=1}^n f(\xi_i, \eta_i) \Delta \sigma_i∑i=1n?f(ξi?,ηi?)Δσi?。記 λ\lambdaλ 為 nnn 個小區域 Δσ1,Δσ2,?,Δσn\Delta \sigma_1, \Delta \sigma_2, \cdots, \Delta \sigma_nΔσ1?,Δσ2?,?,Δσn? 中的最大直徑,如果
lim?λ→0∑i=1nf(ξi,ηi)Δσi\lim_{\lambda \to 0} \sum_{i=1}^n f(\xi_i, \eta_i) \Delta \sigma_iλ→0lim?i=1∑n?f(ξi?,ηi?)Δσi?
存在,則稱此極限值為函數 f(x,y)f(x, y)f(x,y) 在區域 DDD 上的二重積分,記為
?Df(x,y)dσ=lim?λ→0∑i=1nf(ξi,ηi)Δσi.\iint\limits_D f(x, y) d\sigma = \lim_{\lambda \to 0} \sum_{i=1}^n f(\xi_i, \eta_i) \Delta \sigma_i.D??f(x,y)dσ=λ→0lim?i=1∑n?f(ξi?,ηi?)Δσi?.
幾何意義 二重積分 ?Df(x,y)dσ\iint\limits_D f(x, y) d\sigmaD??f(x,y)dσ 是一個數。當 f(x,y)≥0f(x, y) \geq 0f(x,y)≥0 時,其值等于以區域 DDD 為底,以曲面 z=f(x,y)z = f(x, y)z=f(x,y) 為曲頂的曲頂柱體的體積;當 f(x,y)≤0f(x, y) \leq 0f(x,y)≤0 時,二重積分的值為負值,其絕對值等于上述曲頂柱體的體積。
9.2 二重積分的性質
性質1(不等式性質)
(1) 若在 DDD 上 f(x,y)≤g(x,y)f(x, y) \leq g(x, y)f(x,y)≤g(x,y),則
?Df(x,y)dσ≤?Dg(x,y)dσ.\iint\limits_D f(x,y) d\sigma \leq \iint\limits_D g(x,y) d\sigma.D??f(x,y)dσ≤D??g(x,y)dσ.
(2) 若在 DDD 上 m≤f(x,y)≤Mm \leq f(x,y) \leq Mm≤f(x,y)≤M,則
mσ≤?Df(x,y)dσ≤Mσ,m\sigma \leq \iint\limits_D f(x,y) d\sigma \leq M\sigma,mσ≤D??f(x,y)dσ≤Mσ,
其中 σ\sigmaσ 為區域 DDD 的面積。
(3) ?Df(x,y)dσ≤?D∣f(x,y)∣dσ.\iint\limits_D f(x,y) d\sigma \leq \iint\limits_D |f(x,y)| d\sigma.D??f(x,y)dσ≤D??∣f(x,y)∣dσ.
性質2(中值定理)
設函數 f(x,y)f(x,y)f(x,y) 在閉區域 DDD 上連續,σ\sigmaσ 為區域 DDD 的面積,則在 DDD 上至少存在一點 (ξ,η)(\xi,\eta)(ξ,η),使得
?Df(x,y)dσ=f(ξ,η)?σ.\iint\limits_D f(x,y) d\sigma = f(\xi,\eta) \cdot \sigma.D??f(x,y)dσ=f(ξ,η)?σ.
9.3、二重積分的計算
9.3.1 利用直角坐標計算
(1) 先 yyy 后 xxx。積分區域 DDD 可以用 a≤x≤b,φ1(x)≤y≤φ2(x)a \leq x \leq b, \varphi_1(x) \leq y \leq \varphi_2(x)a≤x≤b,φ1?(x)≤y≤φ2?(x) 表示,
?Df(x,y)dσ=∫abdx∫φ1(x)φ2(x)f(x,y)dy.\iint\limits_D f(x,y) d\sigma = \int_a^b dx \int_{\varphi_1(x)}^{\varphi_2(x)} f(x,y) dy.D??f(x,y)dσ=∫ab?dx∫φ1?(x)φ2?(x)?f(x,y)dy.
(2) 先 xxx 后 yyy。積分區域 DDD 可以用 c≤y≤d,φ1(y)≤x≤φ2(y)c \leq y \leq d, \varphi_1(y) \leq x \leq \varphi_2(y)c≤y≤d,φ1?(y)≤x≤φ2?(y) 表示,
?Df(x,y)dσ=∫cddy∫φ1(y)φ2(y)f(x,y)dx.\iint\limits_D f(x,y) d\sigma = \int_c^d dy \int_{\varphi_1(y)}^{\varphi_2(y)} f(x,y) dx.D??f(x,y)dσ=∫cd?dy∫φ1?(y)φ2?(y)?f(x,y)dx.
9.3.2 利用極坐標計算
先 rrr 后 θ\thetaθ。積分區域 DDD 可以用 α≤θ≤β,φ1(θ)≤r≤φ2(θ)\alpha \leq \theta \leq \beta, \varphi_1(\theta) \leq r \leq \varphi_2(\theta)α≤θ≤β,φ1?(θ)≤r≤φ2?(θ) 表示,
?Df(x,y)dσ=∫αβdθ∫φ1(θ)φ2(θ)f(rcos?θ,rsin?θ)rdr.\iint\limits_D f(x,y) d\sigma = \int_\alpha^\beta d\theta \int_{\varphi_1(\theta)}^{\varphi_2(\theta)} f(r\cos \theta, r\sin \theta) r dr.D??f(x,y)dσ=∫αβ?dθ∫φ1?(θ)φ2?(θ)?f(rcosθ,rsinθ)rdr.
9.3.3 利用函數的奇偶性計算
(1) 若積分域 DDD 關于 yyy 軸對稱,f(x,y)f(x,y)f(x,y) 關于 xxx 有奇偶性,則:
?Df(x,y)dσ={2?Dx≥0f(x,y)dσ,f(x,y)關于?x為偶函數,0,f(x,y)關于?x為奇函數.\iint\limits_D f(x,y) d\sigma = \begin{cases} 2 \iint\limits_{D_{x \geq 0}} f(x,y) d\sigma, & f(x,y) \text{ 關于 } x \text{ 為偶函數}, \\ 0, & f(x,y) \text{ 關于 } x \text{ 為奇函數}. \end{cases}D??f(x,y)dσ=????2Dx≥0???f(x,y)dσ,0,?f(x,y)?關于?x?為偶函數,f(x,y)?關于?x?為奇函數.?
(2) 若積分域 DDD 關于 xxx 軸對稱,f(x,y)f(x,y)f(x,y) 關于 yyy 有奇偶性,則:
?Df(x,y)dσ={2?Dy≥0f(x,y)dσ,f(x,y)關于?y為偶函數,0,f(x,y)關于?y為奇函數.\iint\limits_D f(x,y) d\sigma = \begin{cases} 2 \iint\limits_{D_{y \geq 0}} f(x,y) d\sigma, & f(x,y) \text{ 關于 } y \text{ 為偶函數}, \\ 0, & f(x,y) \text{ 關于 } y \text{ 為奇函數}. \end{cases}D??f(x,y)dσ=????2Dy≥0???f(x,y)dσ,0,?f(x,y)?關于?y?為偶函數,f(x,y)?關于?y?為奇函數.?
9.3.4 利用變量的輪換對稱性計算
如果積分域 DDD 具有輪換對稱性,也就是關于直線 y=xy = xy=x 對稱,即 DDD 的表達式中將 xxx 換作 yyy,yyy 換作 xxx,表達式不變,則
?Df(x,y)dσ=?Df(y,x)dσ.\iint\limits_D f(x,y) d\sigma = \iint\limits_D f(y,x) d\sigma.D??f(x,y)dσ=D??f(y,x)dσ.