高數基礎知識(下)②

文章目錄

  • 七、微分方程
    • 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)xxxmmm 次多項式,則方程 ④ 的特解可設為
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) 分別為 xxxlll 次、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?=ax+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)=0C1=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)=Δx0lim?Δ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?=Δx0lim?Δ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?=Δy0lim?Δ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Δx0,Δy0ρ\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) 的極值。

解題程序:

  1. 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)

  2. 解方程組
    {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?)

  3. 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) 的極值。

解題程序:

  1. 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)

  2. 解方程組
    {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_ii=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=1n?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=1n?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) 若在 DDDf(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) 若在 DDDm≤f(x,y)≤Mm \leq f(x,y) \leq Mmf(x,y)M,則
mσ≤?Df(x,y)dσ≤Mσ,m\sigma \leq \iint\limits_D f(x,y) d\sigma \leq M\sigma,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) 先 yyyxxx。積分區域 DDD 可以用 a≤x≤b,φ1(x)≤y≤φ2(x)a \leq x \leq b, \varphi_1(x) \leq y \leq \varphi_2(x)axb,φ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) 先 xxxyyy。積分區域 DDD 可以用 c≤y≤d,φ1(y)≤x≤φ2(y)c \leq y \leq d, \varphi_1(y) \leq x \leq \varphi_2(y)cyd,φ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σ=????2Dx0???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σ=????2Dy0???f(x,y)dσ,0,?f(x,y)?關于?y?為偶函數,f(x,y)?關于?y?為奇函數.?

9.3.4 利用變量的輪換對稱性計算

如果積分域 DDD 具有輪換對稱性,也就是關于直線 y=xy = xy=x 對稱,即 DDD 的表達式中將 xxx 換作 yyyyyy 換作 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σ.

本文來自互聯網用戶投稿,該文觀點僅代表作者本人,不代表本站立場。本站僅提供信息存儲空間服務,不擁有所有權,不承擔相關法律責任。
如若轉載,請注明出處:http://www.pswp.cn/web/96830.shtml
繁體地址,請注明出處:http://hk.pswp.cn/web/96830.shtml
英文地址,請注明出處:http://en.pswp.cn/web/96830.shtml

如若內容造成侵權/違法違規/事實不符,請聯系多彩編程網進行投訴反饋email:809451989@qq.com,一經查實,立即刪除!

相關文章

從0°到180°,STM32玩轉MG996R舵機

1.MG996R舵機的性能參數參數數值產品型號MG995/MG996R產品重量55 g工作扭矩13 kgcm反應速度53-62 R/M使用溫度-30C ~ 55C死區設置4 微秒插頭類型JR、FUTABA 通用轉動角度180&#xff08;左90&#xff0c;右90&#xff09;舵機類型數碼舵機使用電壓3.0 - 7.2 V工作電流100 mA結構…

[frontend]mermaid code2image

hello everyone, welcome to my bolg, here i will introduce something interesting, and if you are interested it, please just let me know. follow me and send me a message are both avaiable. what is mermaid? Mermaid 是一個工具&#xff0c;它能讓你用簡單的文字代…

Jakarta EE 在 IntelliJ IDEA 中開發簡單留言板應用的實驗指導(附完整代碼)

Jakarta EE 在 IntelliJ IDEA 中開發簡單留言板應用的實驗指導(附完整代碼) 摘要:實驗基于Jakarta EE 9+(兼容Tomcat 10+)、Maven作為構建工具,并在IntelliJ IDEA 2023.2(Community版免費)中進行。項目使用Maven Archetype WebApp模板生成基礎結構,然后升級到J…

JavaScript經典面試題一(JavaScript基礎)

目錄 一、JavaScript中的變量提升 1. 機制 2. 示例 3. 注意事項 4. 總結 二、var、let和const的區別。 1. 作用域&#xff08;Scope&#xff09; 2. 變量提升&#xff08;Hoisting&#xff09; 3. 重新賦值和重新聲明 4. 示例 示例1&#xff1a;作用域和塊級行為 示…

數據庫造神計劃第七天---增刪改查(CRUD)(3)

&#x1f525;個人主頁&#xff1a;尋星探路 &#x1f3ac;作者簡介&#xff1a;Java研發方向學習者 &#x1f4d6;個人專欄&#xff1a;《從青銅到王者&#xff0c;就差這講數據結構&#xff01;&#xff01;&#xff01;》、 《JAVA&#xff08;SE&#xff09;----如此簡單&a…

AWS SQS 可觀測性最佳實踐

AWS SQS AWS SQS&#xff08;Amazon Simple Queue Service&#xff09;是一種完全托管的消息隊列服務&#xff0c;用于在分布式系統中解耦和緩沖消息。它支持高可用性、可擴展性和安全性&#xff0c;能夠處理大量消息&#xff0c;確保消息的可靠傳輸和順序性。開發者可以輕松集…

AI推理范式:從CoT到ReAct再到ToT的進化之路

在人工智能領域&#xff0c;如何讓模型像人類一樣進行復雜推理和問題解決&#xff0c;一直是核心挑戰。近年來&#xff0c;思維鏈&#xff08;Chain-of-Thought, CoT&#xff09;、推理與行動&#xff08;ReAct&#xff09; 和 思維樹&#xff08;Tree-of-Thoughts, ToT&#x…

2025時序數據庫選型:深入解析IoTDB從主從架構基因到AI賦能的創新之路

原創經驗總結,拒絕空談,用數據和實戰說話 時序數據時代的"四重考驗" 在智慧工廠、新能源車、金融市場等場景中,每秒百萬級的數據點如潮水般涌來。這些時序數據背后隱藏著四大核心挑戰:極高的寫入并發、強時間關聯性查詢、海量數據生命周期管理,以及亂序與高基…

深入淺出LVS負載均衡群集:原理、分類與NAT模式實戰部署

深入淺出LVS負載均衡群集&#xff1a;原理、分類與NAT模式實戰部署 文章目錄深入淺出LVS負載均衡群集&#xff1a;原理、分類與NAT模式實戰部署一、企業群集&#xff1a;從單臺服務器到分布式架構的必然選擇1. 什么是群集&#xff1f;2. 為什么需要群集&#xff1f;二、企業群集…

Flash Table實測:JAI賦能低代碼開發,重塑企業級應用構建范式

目錄&#x1f50d; 引言1.1 什么是Flash Table1.2 低代碼平臺的進化與FlashTable的革新?FlashTable背景&#xff1a;為什么需要新一代低代碼平臺&#xff1f;2.1 傳統開發的痛點2.2 低代碼平臺的局限2.3 FlashTable的差異化定位&#x1f4bb; FlashTable安裝&#xff1a;Docke…

SonarQube代碼質量管理平臺本地化搭建和使用

SonarQube 是一個開源的代碼質量管理平臺&#xff0c;主要用于持續檢查代碼質量&#xff0c;支持多種編程語言。 本文章記錄了在windows環境中&#xff0c;搭建和使用SonarQube的完整過程。 ①SonarQube平臺搭建 SonarQube最新社區版本下載地址&#xff1a; https://www.son…

基于雙向LSTM深度學習網絡模型的文本序列推薦系統matlab仿真

目錄 1.程序功能描述 2.測試軟件版本以及運行結果展示 3.部分程序 4.算法理論概述 5.完整程序 1.程序功能描述 在信息爆炸的時代&#xff0c;用戶面臨著海量文本信息的篩選難題&#xff0c;文本序列推薦系統應運而生。雙向長短期記憶網絡&#xff08;Bi-directional Long …

Transformer實戰(17)——微調Transformer語言模型進行多標簽文本分類

Transformer實戰(17)——微調Transformer語言模型進行多標簽文本分類 0. 前言 1. 多標簽文本分類 2. 數據加載與處理 3. 模型微調 小結 系列鏈接 0. 前言 與單標簽分類不同,多標簽分類要求模型能夠為同一文本分配多個相關標簽,這在新聞分類、文獻標注、內容推薦等場景中尤…

開源 C++ QT Widget 開發(十六)程序發布

文章的目的為了記錄使用C 進行QT Widget 開發學習的經歷。臨時學習&#xff0c;完成app的開發。開發流程和要點有些記憶模糊&#xff0c;趕緊記錄&#xff0c;防止忘記。 相關鏈接&#xff1a; 開源 C QT Widget 開發&#xff08;一&#xff09;工程文件結構-CSDN博客 開源…

MATLAB2-結構化編程和自定義函數-臺大郭彥甫視頻

目錄 if elseif else switch case otherwise while exercise練習 for 預宣告 練習題 break tips編程的小技巧 functions函數 練習題 函數句柄 if elseif else 如果condition為真&#xff0c;執行語句 if condition1statement1 elseif condition2statement2 elsest…

LVGL移植2048小游戲全攻略

目錄 準備腳手架 修改源碼 對接觸摸 測試編譯 測試運行 這一節將以一個已經編寫好的 lvgl 小游戲 2048 描述如何將已經編寫完成的 lvgl 程序移植到開發板上。 準備腳手架 在這之前&#xff0c;我們先準備基礎的 LVGL 腳手架。可以直接從 lv_g2d_test 里復制過來進行修改…

在Unity2021中使用Profiler的Deep Profile功能時內存超高怎么辦?

這通常是因為Deep Profile會記錄每一幀所有函數調用的詳細信息&#xff0c;導致內存急劇增長&#xff0c;尤其在大型項目或復雜場景中4。別擔心&#xff0c;我來幫你分析原因并提供一些解決辦法。 理解 Deep Profile 的內存開銷與替代方案 Deep Profile是Unity Profiler的一個…

Ubuntu 設置中文輸入法

一、使用 IBus&#xff08;Ubuntu 默認框架&#xff09;步驟 1&#xff1a;安裝中文輸入法sudo apt install ibus-libpinyin ibus-pinyin步驟 2&#xff1a;添加輸入法打開 Settings > Keyboard > Input Sources。點擊 “”&#xff0c;搜索 Chinese (Intelligent Pinyin…

【Zephyr電源與功耗專題】14_BMS電池管理算法(三重驗證機制實現高精度電量估算)

文章目錄前言一、算法系統框架設計介紹1.1&#xff1a;核心設計方式1.2&#xff1a;系統架構圖1.3&#xff1a;核心參數配置二、核心算法詳解2.1&#xff1a;硬件數據采集與濾波2.2&#xff1a;三重算法機制2.2.1&#xff1a;庫侖計法&#xff08;電流積分&#xff09;2.2.2&am…

Python網絡與多任務編程:TCP/UDP實戰指南

Python網絡與多任務編程&#xff1a;TCP/UDP實戰指南 一、網絡編程 1.1 前言 網絡編程是現代軟件開發中不可或缺的一部分&#xff0c;它使得不同設備之間的數據交換成為可能。Python提供了強大的標準庫來支持各種網絡編程需求。 1.1.1 IP地址簡介 IP地址是互聯網上設備的唯一標…