是对弧长的曲线积分
∫ L [ f ( x , y ) ± g ( x , y ) ] d s = ∫ L f ( x , y ) d x ± ∫ L g ( x , y ) d s ∫ L k f ( x , y ) d s = k ∫ L f ( x , y ) d s ( k 为 常 数 ) \int_L[f(x,y)\pm g(x,y)]ds=\int_Lf(x,y)dx\pm \int_Lg(x,y)ds \\ \int_Lkf(x,y)ds=k\int_Lf(x,y)ds\qquad (k为常数) ∫L[f(x,y)±g(x,y)]ds=∫Lf(x,y)dx±∫Lg(x,y)ds∫Lkf(x,y)ds=k∫Lf(x,y)ds(k为常数)
(本质是极限,体现了极限的线性性质)
若在L上有 f ( x , y ) ⩽ g ( x , y ) f(x,y)\leqslant g(x,y) f(x,y)⩽g(x,y)成立,则
∫ L f ( x , y ) d s ⩽ ∫ L g ( x , y ) d s \int_Lf(x,y)ds\leqslant \int_Lg(x,y)ds ∫Lf(x,y)ds⩽∫Lg(x,y)ds
∣ ∫ L f ( x , y ) d s ∣ ⩽ ∫ L ∣ f ( x , y ) ∣ d s \big|\int_Lf(x,y)ds\big|\leqslant \int_L\big|f(x,y)\big|ds ∣∣∫Lf(x,y)ds∣∣⩽∫L∣∣f(x,y)∣∣ds
若曲线L关于x=0对称,而 L + = { ( x , y ) ∣ ( x , y ) ∈ L , x ⩾ 0 } , L_+=\{(x,y)|(x,y)\in L,x\geqslant 0\}, L+={(x,y)∣(x,y)∈L,x⩾0},则
∫ L f ( x , y ) d s = { 0 , 当 f ( − x , y ) = − f ( x , y ) 时 2 ∫ L + f ( x , y ) d s , 当 f ( − x , y ) = f ( x , y ) 时 \int_Lf(x,y)ds=\left\{ \begin{array}{lr} 0 &,当f(-x,y)=-f(x,y)时\\ 2\int_{L_+}f(x,y)ds &,当f(-x,y)=f(x,y)时 \\ \end{array} \right. ∫Lf(x,y)ds={02∫L+f(x,y)ds,当f(−x,y)=−f(x,y)时,当f(−x,y)=f(x,y)时
若曲线L关于y=0对称,而 L + = { ( x , y ) ∣ ( x , y ) ∈ L , y ⩾ 0 } , L^+=\{(x,y)|(x,y)\in L,y\geqslant 0\}, L+={(x,y)∣(x,y)∈L,y⩾0},则
∫ L f ( x , y ) d s = { 0 , 当 f ( x , − y ) = − f ( x , y ) 时 2 ∫ L + f ( x , y ) d s , 当 f ( x , − y ) = f ( x , y ) 时 \int_Lf(x,y)ds=\left\{ \begin{array}{lr} 0 &,当f(x,-y)=-f(x,y)时\\ 2\int_{L^+}f(x,y)ds &,当f(x,-y)=f(x,y)时 \\ \end{array} \right. ∫Lf(x,y)ds={02∫L+f(x,y)ds,当f(x,−y)=−f(x,y)时,当f(x,−y)=f(x,y)时
∫ L 1 d s = L 的 长 度 \int_L1ds=L的长度 ∫L1ds=L的长度
(上面的图是用Process On画的,强烈安利这个在线绘图工具,近期增加的Latex公式编辑功能,超级香!)
(上传图片是用的GitHub+PicGo图床,也超级香!)
上图中给出的平面中第一型曲线积分第一种情况其实是参数方程的特殊情况,可以把 x x x当作参数, x = x , x ′ ( x ) = 1 x=x,x'(x)=1 x=x,x′(x)=1
若给出 x = g ( y ) , x=g(y), x=g(y),则可以把y选为变量
是对坐标的曲线积分,要注意积分弧段的方向
有界向量函数 F ⃗ ( x , y ) = ( P ( x , y ) , Q ( x , y ) ) \vec F(x,y)=(P(x,y),Q(x,y)) F(x,y)=(P(x,y),Q(x,y))在 L L L上的第二型曲线积分为 ∫ L P ( x , y ) d x + Q ( x , y ) d y \int_LP(x,y)dx+Q(x,y)dy ∫LP(x,y)dx+Q(x,y)dy,其中 P ( x , y ) , Q ( x , y ) P(x,y),Q(x,y) P(x,y),Q(x,y)称为被积函数, L L L称为积分曲线or积分弧段
∫ L P ( x , y ) d x \int_LP(x,y)dx ∫LP(x,y)dx为函数 P ( x , y ) P(x,y) P(x,y)沿曲线 L L L对 x x x的曲线积分
∫ L Q ( x , y ) d y \int_LQ(x,y)dy ∫LQ(x,y)dy为函数 Q ( x , y ) Q(x,y) Q(x,y)沿曲线 L L L对 y y y的曲线积分
若记 d s ⃗ = ( d x , d y ) , \vec{ds}=(dx,dy), ds=(dx,dy),第二型曲线积分也可写成 ∫ L F ⃗ ⋅ d s ⃗ = ∫ L P ( x , y ) d x + Q ( x , y ) d y \int_L\vec F\cdot \vec{ds}=\int_LP(x,y)dx+Q(x,y)dy ∫LF⋅ds=∫LP(x,y)dx+Q(x,y)dy
类似地,若 Γ \Gamma Γ为空间曲线弧,记 d s ⃗ = ( d x , d y , d z ) \vec{ds}=(dx,dy,dz) ds=(dx,dy,dz)
F ⃗ ( x , y , z ) = ( P ( x , y , z ) , Q ( x , y , z ) , R ( x , y , z ) ) ∫ Γ F ⃗ ⋅ d s ⃗ = ∫ L F ⃗ ⋅ d s ⃗ = ∫ L P ( x , y , z ) d x + Q ( x , y , z ) d y + R ( x , y , z ) d z \vec{F}(x,y,z)=(P(x,y,z),Q(x,y,z),R(x,y,z))\\ \int_{\Gamma}\vec{F}\cdot \vec{ds}=\int_L\vec F\cdot \vec{ds}=\int_LP(x,y,z)dx+Q(x,y,z)dy+R(x,y,z)dz F(x,y,z)=(P(x,y,z),Q(x,y,z),R(x,y,z))∫ΓF⋅ds=∫LF⋅ds=∫LP(x,y,z)dx+Q(x,y,z)dy+R(x,y,z)dz
若 L L L可分为 k k k条有向光滑曲线弧 L i ( i = 1 , ⋯ , k ) , L_i(i=1,\cdots,k), Li(i=1,⋯,k),则
∫ L P ( x , y ) d x + Q ( x , y ) d y = ∑ i = 1 k ∫ L i P ( x , y ) d x + Q ( x , y ) d y \int_L P(x,y)dx+Q(x,y)dy=\sum_{i=1}^k\int_{L_i}P(x,y)dx+Q(x,y)dy ∫LP(x,y)dx+Q(x,y)dy=i=1∑k∫LiP(x,y)dx+Q(x,y)dy
用 L − L^- L−表示 L L L的反向弧,则
∫ L − P ( x , y ) d x + Q ( x , y ) d y = − ∫ L P ( x , y ) d x + Q ( x , y ) d y \int_{L^-} P(x,y)dx+Q(x,y)dy=-\int_{L}P(x,y)dx+Q(x,y)dy ∫L−P(x,y)dx+Q(x,y)dy=−∫LP(x,y)dx+Q(x,y)dy
$$
且 T ⃗ \vec{T} T方向与 Γ \Gamma Γ方向保持一致
若L垂直于x轴,则 ∫ L P ( x , y ) d x = 0 \int_{L}P(x,y)dx=0 ∫LP(x,y)dx=0,
若L垂直于y轴,则 ∫ L Q ( x , y ) d y = 0 \int_{L}Q(x,y)dy=0 ∫LQ(x,y)dy=0
设平面上有光滑曲线 L L L的参数方程为 x = x ( t ) , y = y ( t ) ( α ⩽ t ⩽ β ) x=x(t),y=y(t)(\alpha \leqslant t \leqslant \beta) x=x(t),y=y(t)(α⩽t⩽β),则两类曲线积分有如下联系:
∫ L P ( x , y ) d x + Q ( x , y ) d y = ∫ L { P ( x , y ) cos α + Q ( x , y ) cos β } d s \int_LP(x,y)dx+Q(x,y)dy=\int_L\{P(x,y)\cos \alpha +Q(x,y)\cos \beta\}ds ∫LP(x,y)dx+Q(x,y)dy=∫L{P(x,y)cosα+Q(x,y)cosβ}ds
其中
若 L 起 点 为 t = β , 终 点 为 t = α , 则 cos α = − x ′ ( t ) x ′ 2 ( t ) + y ′ 2 ( t ) , cos β = − y ′ ( t ) x ′ 2 ( t ) + y ′ 2 ( t ) , 为 切 向 量 T ⃗ = − { x ′ ( t ) , y ′ ( t ) } 单 位 化 后 的 两 个 分 量 , T ⃗ 与 L 方 向 一 致 若L起点为t=\beta,终点为t=\alpha,则\\ \cos\alpha =\frac{-x'(t)}{\sqrt{x'^2(t)+y'^2(t)}},\cos\beta=\frac{-y'(t)}{\sqrt{x'^2(t)+y'^2(t)}},为切向量\vec{T}=-\{x'(t),y'(t)\}单位化后的两个分量,\\ \vec{T}与L方向一致 若L起点为t=β,终点为t=α,则cosα=x′2(t)+y′2(t)−x′(t),cosβ=x′2(t)+y′2(t)−y′(t),为切向量T=−{x′(t),y′(t)}单位化后的两个分量,T与L方向一致
若 L 起 点 为 t = α , 终 点 为 t = β , 则 cos α = x ′ ( t ) x ′ 2 ( t ) + y ′ 2 ( t ) , cos β = y ′ ( t ) x ′ 2 ( t ) + y ′ 2 ( t ) , 为 切 向 量 T ⃗ = { x ′ ( t ) , y ′ ( t ) } 单 位 化 后 的 两 个 分 量 T ⃗ 与 L 方 向 一 致 若L起点为t=\alpha,终点为t=\beta,则\\ \cos\alpha =\frac{x'(t)}{\sqrt{x'^2(t)+y'^2(t)}},\cos\beta=\frac{y'(t)}{\sqrt{x'^2(t)+y'^2(t)}},为切向量\vec{T}=\{x'(t),y'(t)\}单位化后的两个分量 \\ \vec{T}与L方向一致 若L起点为t=α,终点为t=β,则cosα=x′2(t)+y′2(t)x′(t),cosβ=x′2(t)+y′2(t)y′(t),为切向量T={x′(t),y′(t)}单位化后的两个分量T与L方向一致
综上
{ cos α , cos β } = T ⃗ ∣ T ⃗ ∣ = ± 1 x ′ 2 ( t ) + y ′ 2 ( t ) { x ′ ( t ) , y ′ ( t ) } \{\cos\alpha,\cos\beta\}=\frac{\vec{T}}{|\vec{T}|}=\pm\frac{1}{\sqrt{x'^2(t)+y'^2(t)}}\{x'(t),y'(t)\} {cosα,cosβ}=∣T∣T=±x′2(t)+y′2(t)1{x′(t),y′(t)}
且 T ⃗ \vec{T} T方向与 L L L方向保持一致
类似地,在空间曲线 Γ \Gamma Γ上的两类曲线积分的联系是
∫ Γ P d x + Q d y + R d z = ∫ Γ ( P cos α + Q cos β + R cos γ ) d s \int_{\Gamma}Pdx+Qdy+Rdz=\int_{\Gamma}(P\cos\alpha+Q\cos \beta +R\cos \gamma)ds ∫ΓPdx+Qdy+Rdz=∫Γ(Pcosα+Qcosβ+Rcosγ)ds
其中
{ cos α , cos β cos γ } = T ⃗ ∣ T ⃗ ∣ = ± 1 x ′ 2 ( t ) + y ′ 2 ( t ) + z ′ 2 ( t ) { x ′ ( t ) , y ′ ( t ) , z ′ ( t ) } \{\cos\alpha,\cos\beta\,\cos\gamma\}=\frac{\vec{T}}{|\vec{T}|}=\pm\frac{1}{\sqrt{x'^2(t)+y'^2(t)+z'^2(t)}}\{x'(t),y'(t),z'(t)\} {cosα,cosβcosγ}=∣T∣T=±x′2(t)+y′2(t)+z′2(t)1{x′(t),y′(t),z′(t)}
设 P ( x , y ) , Q ( x , y ) P(x,y),Q(x,y) P(x,y),Q(x,y)在有向光滑曲线 L L L上有定义且连续, L L L的参数方程为
{ x = φ ( t ) y = ψ ( t ) \left\{ \begin{matrix}x=\varphi(t)\\y=\psi(t) \\\end{matrix}\right. {x=φ(t)y=ψ(t), t : α → β t:\alpha\rightarrow \beta t:α→β.(起点参数为 α \alpha α,终点参数为 β \beta β)
则第二型曲线积分存在,且有
∫ L P ( x , y ) d x + Q ( x , y ) d y = ∫ α β { P [ φ ( t ) , ψ ( t ) ] φ ′ ( t ) + Q [ φ ( t ) , ψ ( t ) ] ψ ′ ( t ) } d t \int_LP(x,y)dx+Q(x,y)dy=\int^{\beta}_{\alpha}\{P[\varphi(t),\psi(t)]\varphi'(t)+Q[\varphi(t),\psi(t)]\psi'(t)\}dt ∫LP(x,y)dx+Q(x,y)dy=∫αβ{P[φ(t),ψ(t)]φ′(t)+Q[φ(t),ψ(t)]ψ′(t)}dt
特别地,若 L L L方程为 y = ψ ( x ) , x : a → b , y=\psi(x),x:a\rightarrow b, y=ψ(x),x:a→b,则
∫ L P ( x , y ) d x + Q ( x , y ) d y = ∫ α β { P [ x , ψ ( x ) ] + Q [ x , ψ ( x ) ] ψ ′ ( x ) } d x \int_LP(x,y)dx+Q(x,y)dy=\int^{\beta}_{\alpha}\{P[x,\psi(x)]+Q[x,\psi(x)]\psi'(x)\}dx ∫LP(x,y)dx+Q(x,y)dy=∫αβ{P[x,ψ(x)]+Q[x,ψ(x)]ψ′(x)}dx
(在process On上换了一种主题试试)
区 域 D { 单 连 通 区 域 无 “ 洞 ” 多 连 通 区 域 有 “ 洞 ” 区域D\left\{ \begin{array}{lr} 单连通区域 &无“洞”\\ 多连通区域 &有“洞” \\ \end{array} \right. 区域D{单连通区域多连通区域无“洞”有“洞”
区域 D D D边界 L L L的正向:沿此方向前进时,区域D在左手边
格林公式:设闭区域 D D D是由分段光滑正向曲线 L L L围成,函数 P ( x , y ) , Q ( x , y ) P(x,y),Q(x,y) P(x,y),Q(x,y)在 D D D上具有连续一阶偏导数,则有
∬ D ( ∂ Q ∂ x − ∂ P ∂ y ) d x d y = ∮ L P d x + Q d y \iint\limits_{D}(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y})dxdy=\oint\limits_{L}Pdx+Qdy D∬(∂x∂Q−∂y∂P)dxdy=L∮Pdx+Qdy
反向积分,有:
∮ L − P d x + Q d y = − ∬ D ( ∂ Q ∂ x − ∂ P ∂ y ) d x d y \oint\limits_{L^-}Pdx+Qdy=-\iint\limits_{D}(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y})dxdy L−∮Pdx+Qdy=−D∬(∂x∂Q−∂y∂P)dxdy
若令 P ( x , y ) = − y , Q ( x , y ) = x , P(x,y)=-y,Q(x,y)=x, P(x,y)=−y,Q(x,y)=x,则有 ∮ L x d y − y d x = 2 ∬ D d x d y = 2 S \oint\limits_L xdy-ydx=2\iint\limits_Ddxdy=2S L∮xdy−ydx=2D∬dxdy=2S,
S = 1 2 ∮ L x d y − y d x S=\frac{1}{2}\oint\limits_L xdy-ydx S=21L∮xdy−ydx
例:求椭圆 L { x = a cos θ y = b sin θ L\left\{ \begin{array}{lr}x=a\cos\theta\\y=b\sin \theta \end{array}\right. L{x=acosθy=bsinθ, 0 ⩽ θ ⩽ 2 π 0\leqslant \theta\leqslant 2\pi 0⩽θ⩽2π所围的面积
S = 1 2 ∮ L x d y − y d x = 1 2 ∫ 0 2 π a b ( cos 2 θ + sin 2 θ ) d θ = π a b S=\frac{1}{2}\oint\limits_L xdy-ydx=\frac{1}{2}\int_{0}^{2\pi}ab(\cos^2\theta+\sin^2\theta)d\theta =\pi ab S=21L∮xdy−ydx=21∫02πab(cos2θ+sin2θ)dθ=πab
格林公式可用于简化计算,若积分路径不是闭曲线,可添加辅助线,但要注意运用格林公式前,一定要保证在所谓区域 D D D上具有连续一阶偏导数
设 D D D是单连通区域,函数 P ( x , y ) , Q ( x , y ) P(x,y),Q(x,y) P(x,y),Q(x,y)在 D D D内具有一阶连续偏导数,则以下四个条件等价:
(1)设 D D D中任意光滑闭曲线 L L L,有 ∫ L P d x + Q d y = 0 \int_LPdx+Qdy=0 ∫LPdx+Qdy=0
(2)对 D D D中任一分段光滑曲线 L L L,曲线积分 ∫ L P d x + Q d y \int_L Pdx+Qdy ∫LPdx+Qdy与路径无关,只与起点和终点有关
(3) P d x + Q d y Pdx+Qdy Pdx+Qdy在 D D D内是某一函数 u ( x , y ) u(x,y) u(x,y)的全微分,即
d u ( x , y ) = P d x + Q d y du(x,y)=Pdx+Qdy du(x,y)=Pdx+Qdy
(4)在 D D D内每一点都有 ∂ P ∂ y = ∂ Q ∂ x \dfrac{\partial P}{\partial y}=\dfrac{\partial Q}{\partial x} ∂y∂P=∂x∂Q
注意该定理适用范围是单连通区域
当积分与路径无关时曲线积分可记为
∫ A B ^ P d x + Q d y = ∫ A B P d x + Q d y \int_{\widehat {AB}}Pdx+Qdy=\int_A^BPdx+Qdy ∫AB Pdx+Qdy=∫ABPdx+Qdy
若一阶微分方程 P ( x , y ) d x + Q ( x , y ) d y = 0 ( ∗ ) P(x,y)dx+Q(x,y)dy=0\quad (*) P(x,y)dx+Q(x,y)dy=0(∗)的左边是函数 u ( x , y ) u(x,y) u(x,y)的全微分,则称此方程为全微分方程
设 P ( x , y ) , Q ( x , y ) P(x,y),Q(x,y) P(x,y),Q(x,y)在某单连通区域 D D D内有连续偏导数,则:
( ∗ ) 为 全 微 分 方 程 ⟺ ∂ Q ∂ x = ∂ P ∂ y , ( x , y ) ∈ D (*)为全微分方程\iff\dfrac{\partial Q}{\partial x}=\dfrac{\partial P}{\partial y},(x,y)\in D (∗)为全微分方程⟺∂x∂Q=∂y∂P,(x,y)∈D
此时 u ( x , y ) = ∫ ( x 0 , y 0 ) ( x , y ) P d x + Q d y u(x,y)=\int^{(x,y)}_{(x_0,y_0)}Pdx+Qdy u(x,y)=∫(x0,y0)(x,y)Pdx+Qdy, ( ∗ ) (*) (∗)的通解为 u ( x , y ) = C u(x,y)=C u(x,y)=C