笔记来源 讲课老师
中山大学工科高数课堂 @杨奇林

在写这一章的题目的时候,要常常去复习一下多重积分。不然式子列出来了但写不动啊

一定要注意对称性,一定要注意对称性,一定要注意对称性,一定要注意对称性,一定要注意对称性,一定要注意对称性,一定要注意对称性,一定要注意对称性

区域对称性 被积函数对称性 化简的效果 提示(利用积分的线性可拆分性)
关于xx 偶对称 有关于xx 奇对称的部分 那一部分积分值为0,不用算 关于积分区域关于 xx 和yy 都是偶对称的情况也适用,注意找全可以消掉的地方
关于xx 偶对称 有关于xx 偶对称的部分 那一部分的积分上下限可以缩减一半,只用积分值×2\times 2 来补充,一般用来去掉绝对值
关于xx 和yy 都是偶对称 有关于xx 和yy 都是偶对称的部分 那一部分的积分上下限可以缩减到14\frac{1}{4},只用积分值×4\times 4 来补充,一般用来去掉绝对值
华里氏(Wallis)公式和它的伙伴们 使用场景
$$
\int_0^{\frac\pi2}\sin^nxdx=\frac{n-1}{n}· \frac{n-3}{n-2}…
$$
极坐标下,利用对称性把角度的积分上下限变成0→π20 \to \frac{\pi}{2}来使用
上面的式子是点火公式,如果倒数到 1 就可以点火(乘 π2\frac{\pi}{2}) 遇到根号使用三角换元,把积分上下限变成0→π20 \to \frac{\pi}{2}来使用
$$
\int_{0}^{2\pi} \cos(n \theta) d \theta= \int_{0}^{2\pi} \sin(n \theta)d \theta=0
$$
$$
\int_0^{\frac\pi2} \sin^{m}\theta \cos^{n}\theta d \theta= \frac{\Gamma\left(\frac{m+1}{2}\right) \Gamma(\frac{n+1}{2})}{\Gamma (\frac{m+n+2}{2})}
$$

第一型曲线积分∫Lf(x,y,z)dS\int_{L}f(x,y,z)dS

第一型曲线积分的意思就是,被积函数f(x,y,z)f(x,y,z) 沿着任意一条曲线路径都可以积分。也就是得到这个式子:∫Lf(x,y,z)dS\int_{L}f(x,y,z)dS,这时候积分的微元是曲线微元dSdS

dS=(dx)2+(dy)2+(dz)2\boxed{dS=\sqrt{(dx)^{2}+(dy)^{2}+(dz)^{2}}}

然后要利用曲线路径的方程消元,消去被积函数f(x,y,z)f(x,y,z) 和曲线微元dSdS 中的其他变量,变成单变量的一元定积分式子

在写积分上下限时也要注意了,第一型曲线积分是有固定一个的方向的,都是往正方向积分
所以无论是∫AB\int_{AB} 还是∫BA\int_{BA} ,在第一型曲线积分都是往正方向积分的,和下标是ABAB还是BABA无关

消元思路 积分方向 适合的场景
直接在 x,y,zx,y,z 中选一个来表示其他的 选 xx 的话就往 xx轴 正方向积分(∫x小的x大的\int_{x小的}^{x大的}) 二维平面,只有 x,yx,y 两个变量比较适合
设一个参数 tt 来表示其他变量 这个 tt 的上下限方向要保证用 tt 表示的 x,y,zx,y,z 都是往正方向积分的 遇到空间中的直线方程 x−x0kx=y−y0ky=z−z0kz\frac{x-x_{0}}{k_{x}}=\frac{y-y_{0}}{k_{y}}=\frac{z-z_{0}}{k_{z}} 让它 =t=t 来表示x,y,zx,y,z
用极坐标 r,θr,\theta 要保证 θ\theta 是以逆时针方向积分的(θ\theta 的正方向是逆时针旋转) 遇到圆和球吧

第一型曲线积分也是有对称性的,这时候它的积分区域是一条曲线的方程,也就是说在多重积分里面讨论的积分区域的对称性和被积函数的对称性相匹配的关系还是适用的

第二型曲线积分∫AB⃗(Pdx+Qdy)\int_{\vec{AB}}(Pdx+Qdy)

第二型曲线积分其实就是一个被积函数向量在路径向量积分。实际计算起来就是以 被积函数的向量各个分量(PP 和 QQ) 去积分 路径微元向量的对应分量(dxdx 和 dydy),被积函数是一个向量,积分微元也是一个向量,所谓的第二型曲线积分就是去积分它们点乘的结果而已。这在物理上有这么一个理解方式

合力做功(沿着路径向量)=∑合力分量做功(沿着对应路径的分量)\boxed{合力做功(沿着路径向量)= \sum\limits 合力分量做功(沿着对应路径的分量)}

被积函数(向量) 路径上的微元向量 第二型曲线积分
二维平面(i⃗,j⃗)(\vec{i},\vec{j}) F⃗(x,y)=P(x,y)i⃗+Q(x,y)j⃗\vec{F}(x,y)=P(x,y)\vec{i}+Q(x,y)\vec{j}相当于把被积函数正交分解到 xx轴 和 yy轴 从AA到BB的有向路径(AB⃗\vec{AB})注意,路径可以是曲线dr⃗=dxi⃗+dyj⃗d\vec{r}=dx \vec{i} +dy \vec{j} ∫AB⃗F⃗(x,y)dr⃗=∫AB⃗(P(x,y)dx+Q(x,y)dy)\int_{\vec{AB}}\vec{F}(x,y)d\vec{r}=\int_{\vec{AB}}(P(x,y)dx+Q(x,y)dy)简写为 ∫AB⃗(Pdx+Qdy)\int_{\vec{AB}}(Pdx+Qdy),但实际 P,QP,Q 都是和 x,yx,y 有关的二元函数

也就是说第二型曲线积分就是在积分路径分解出的各个方向上点乘的积分

∫AB⃗(Pdx+Qdy)=∫xAxBPdx+∫yAyBQdy\int_{\vec{AB}}(Pdx+Qdy)=\int_{x_{A}}^{x_{B}} Pdx +\int_{y_{A}}^{y_{B}}Qdy

只要把积分路径分解出的各个不同方向分量的点乘加起来就是结果了

而且积分路径(AB⃗\vec{AB})可以是直线或者是曲线,这里用 AB⃗\vec{AB} 表示从 AA 到 BB 的有方向的路径,从 AA 到 BB 到底是直线还是曲线,要看具体的方程。不要把从 AA 到 BB 的有方向的路径和AB⃗\vec{AB}向量 搞混了,积分路径的方程不一样,积分的意义也不一样

注意了,与第一型曲线积分只注意积分路径的方程不同,第二型曲线积分就要注意积分路径的方程+路径的方向了。而路径的方向(是 AB⃗\vec{AB} 还是 BA⃗\vec{BA})不一样则会出来一个负号,比如 ∫AB⃗(Pdx+Qdy)=−∫BA⃗(Pdx+Qdy)\int_{\vec{AB}}(Pdx+Qdy)=-\int_{\vec{BA}}(Pdx+Qdy)

所以特别要注意题目给出的路径方程的方向,看清楚该积分路径在坐标轴上投影的方向。然后分别让各个分量方向的积分上下限符合路径曲线延申的方向(也就是说要根据积分路径的方向写出∫xAxB\int_{x_{A}}^{x_{B}}和∫yAyB\int_{y_{A}}^{y_{B}})

在计算其中一个分量方向的点乘时,其实就是在计算一个一元定积分,而在计算这个一元定积分时,其他的未知数要用积分的路径方程来进行消元,这边建议统一用一个未知数来计算各个方向分量的积分。比如在计算 ∫xAxBPdx\int_{x_{A}}^{x_{B}} Pdx 时,自然要用积分路径AB⃗\vec{AB} 的方程来消P(x,y)P(x,y)中的yy ,但是在计算∫yAybQdy\int_{y_{A}}^{y_{b}}Qdy 时,也是用积分路径方程来消掉 yy 和 dydy (得到dydy 需要对积分路径方程求微分),这样整个式子的积分上下限就都是 ∫xAxB\int_{x_{A}}^{x_{B}} 了

消元的方法 方向的要求
全部替换成 xx 只用看好积分路径中 xx 的方向,用积分路径方程去用 xx 表示其他分量时(y,zy,z) 时,已经自动算好其他分量的方向了
用一个参数 tt 来表示 x,y,zx,y,z 积分上下限就是 tt 让路径曲线延申的方向

对于一个比较绕来绕去,一般采取对积分路径进行分段的方法来进行积分。

遇到的题目大概都是直接给你被积函数已经分解成各个分量积分的式子,并且告诉你路径方程和方向
比如∫AB⃗(Pdx+Qdy)\int_{\vec{AB}}(Pdx+Qdy),总结下来做题流程就是

  1. 先看清被积函数的各个分量 (也就是看清 P(x,y)dxP(x,y)dx 和 Q(x,y)dyQ(x,y)dy)
  2. 尽量画图确认路径的形状和方向
  3. 看看是不是可以用格林公式,或者把路径拆成多个分段分别计算
  4. 然后在各个分段中看清路径的方向来分别决定分量点乘积分的上下限(也就是决定∫Pdx\int Pdx的上下限 ∫xAxB\int_{x_{A}}^{x_{B}} 和 ∫Qdy\int Qdy的上下限 ∫yAyB\int_{y_{A}}^{y_{B}})
    1. 如果沿着某个分段的路径方向时 xx 值没变化,那么 dx=0dx=0 这个二重积分式子可以化简成∫AB⃗(Pdx+Qdy)=∫AB⃗(Qdy)\int_{\vec{AB}}(Pdx+Qdy)=\int_{\vec{AB}}(Qdy)
    2. 如果沿着某个分段的路径方向时没有 dx=0dx=0 之类的,在处理 P,QP,Q 这种二元函数时要用路径的方程消元
    3. 如果是用 tt 参数来表示三维空间的各个 x,y,zx,y,z 分量的话,那积分上下限就是 tt 让路径曲线延申的方向

由于{dx=dS⋅cos⁡αdy=dS⋅cos⁡βdz=dS⋅cos⁡γ\begin{cases}dx=dS·\cos \alpha \\ dy=dS·\cos \beta \\ dz=dS·\cos \gamma\end{cases},所以实际上第二型曲线积分也可以转化成第一型曲线积分
并且第二型曲线积分向量的方向其实就是隐含在余弦值(cos⁡\cos)里面了

格林公式

一般使用格林公式就是要注意{抠掉不连续点注意加辅助线把二重积分换成曲线积分看看是否路径无关\begin{cases}抠掉不连续点 \\ 注意加辅助线 \\把二重积分换成曲线积分 \\ 看看是否路径无关\end{cases}

首先面对一条曲线路径,经常添加辅助线来构成一个封闭图形,常用的辅助线就是横线+竖线的折线

然后面对写成这样的式子∮L+(Pdx+Qdy)\oint_{L^{+}}(Pdx+Qdy),先写个∬D()dxdy\iint \limits_{D}()dxdy先
直接把 dydy 前面的一坨求个对 xx 的偏导放前面
再减去 dxdx 前面的一坨求个对 yy 的偏导,成了

1.记忆格林公式

首先要知道 L+L^{+} 的概念(不懂的翻书吧)
其实说白了 L+L^{+} 就是代表一个区域 DD 的边界向量,符号写成 L+=∂DL^{+}=\partial D
L+L^{+} 的方向是沿着外层边界逆时针转的,但却围着内层边界顺时针转

就比如一个甜甜圈区域,L+L^{+}这个边界向量有两圈,外面一圈的方向是逆时针,里面一圈的方向是顺时针;而 DD 就是两圈边界之间的圆环形区域

然后还要知道面积微元 dS=dxdydS=dxdy 这 dxdx 和 dydy 之间是叉乘(×\times)的关系
交换 dxdx 和 dydy 的顺序是要加负号的


那么下面的式子就是格林公式,下面先讲怎么记忆这个公式

如果在曲线包围的区域D的内任何一点都可以让每个偏导数(也就是∂P∂y和∂Q∂x)连续那么:∮L+(Pdx+Qdy)=∬D(∂Q∂x−∂P∂y)dxdy\begin{align*} 如果在曲线包围的区域D的内任何一点都可以让每个偏导数(也就是\frac{\partial P}{\partial y}和\frac{\partial Q}{\partial x})连续\\ 那么:\oint_{L^{+}}(Pdx+Qdy)=\iint \limits_{D}(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y})dxdy \end{align*}

总而言之,记忆这个公式的方法就是要凑出来二重积分的面积微元 dxdydxdy

首先先观察前面的 (Pdx+Qdy)(Pdx+Qdy),先聚焦 dxdx 那一项先,发现那一项的微元只有 dxdx(废话)
那么对于 dxdx那一坨,要凑出二重积分的面积微元 dxdydxdy,就要把 P(x,y)P(x,y)拆出有 dydy 的那一项

至于操作的方法,就是先取偏微分再积分回去。对于 dxdx 来说,就是把 dxdx 前面那一坨(P(x,y)P(x,y))来求个对 yy 的偏微分,再把偏微分的结果(∂P∂ydy\frac{\partial P}{\partial y}dy)再积分(感性的理解就是式子的值还是变回去了,就单纯换了个形式)。所以总的来说P(x,y)dxP(x,y)dx 经过拆的方法就会得到∫∂P∂ydydx\int \frac{\partial P}{\partial y}dydx,因为dydx≠dxdydydx \ne dxdy,所以交换一下顺序就得到了∫−∂P∂ydxdy\int -\frac{\partial P}{\partial y}dxdy

对于 dydy 那一项也是一样的变换,只不过刚好操作 Q(x,y)dyQ(x,y)dy 求出来的是 ∫∂Q∂ydxdy\int \frac{\partial Q}{\partial y}dxdy,一步到位,不用变换顺序增加负号

所以当我们终于有了 dxdydxdy 这个面积微元后,我们惊喜的发现 dxdydxdy那一坨左边的积分号从一个变成了两个,这不就变成二重积分啦,可以用这种方法记忆格林公式

2.判断可不可以使用格林公式

一定要注意判断是不是可以使用格林公式,只有每个偏导数(也就是∂P∂y\frac{\partial P}{\partial y}和∂Q∂x\frac{\partial Q}{\partial x})在曲线包围的区域 DD 内都连续,才可以使用格林公式。

首先看看路径曲线的方向是不是正方向(L+L^{+}),如果不是的话就要加一个负号(−-)

然后记住如果一段曲线积分不是闭合的,可以添加一些简单的辅助线来构成闭合曲线

∬添加辅助线后闭合区域内二重积分=∮添加辅助线后的闭合曲线积分=∫原来没添加辅助线的线积分+∫辅助线的线积分\begin{align*} \iint \limits_{添加辅助线后闭合区域内二重积分}=\oint \limits_{添加辅助线后的闭合曲线积分}=\int \limits_{原来没添加辅助线的线积分}+\int \limits_{辅助线的线积分} \end{align*}

至于在区域 DD 内部连续的要求,其实说人话就是在区域 DD 内没有一个点让 ∂P∂y\frac{\partial P}{\partial y} 或 ∂Q∂x\frac{\partial Q}{\partial x}不存在(最典型的就是区域 DD 内有一点刚好让 ∂P∂y\frac{\partial P}{\partial y} 或 ∂Q∂x\frac{\partial Q}{\partial x} 的分母为 00)

不过就算区域 DD 内有那么一个不连续的点也不用担心,只要曲线不是刚好经过那个不连续的点,就还是可以利用格林公式。具体的操作方法就是以那个不连续的点为圆心,在曲线包围的区域 DD 内部设置一个半径为 rr 的辅助圆形区域 DrD_{r},这样外围曲线和辅助圆形之间的区域DLeftD_{Left} (DLeft=D−DrD_{Left}=D-D_{r})就没有不连续的点了,就可以对外围曲线和辅助圆形之间的区域 DLeftD_{Left} 使用格林公式

在使用辅助圆形隔离掉那个不连续的点之后,对 区域DLeftD_{Left} 使用格林公式

∬外围曲线和辅助圆中间的区域(DLeft)=∮外围曲线沿逆时针方向+∮辅助圆形沿顺时针方向\iint \limits_{外围曲线和辅助圆中间的区域(D_{Left})}=\oint \limits_{外围曲线沿逆时针方向}+\oint \limits_{ 辅助圆形沿顺时针方向}

然后就只需要计算出二重积分 ∬外围曲线和辅助圆中间的区域(DLeft)\iint \limits_{外围曲线和辅助圆中间的区域(D_{Left})} 和 曲线积分∮辅助圆形沿顺时针方向\oint \limits_{ 辅助圆形沿顺时针方向} ,就可以间接算出原来那个外围曲线的曲线积分了

3.用格林公式把二重积分变成曲线积分

如果遇到二重积分很难算的函数,就可以使用格林公式把二重积分变成曲线积分

二重积分难算的情况 例子 操作方法 例子
积分积不出来的函数
很难算的面积 椭圆面积 让 ∂Q∂x−∂P∂y=1\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}=1 ∬Ddxdy=12(xdy−ydx)\iint \limits_{D}dxdy=\frac{1}{2}(xdy-ydx)

4.常见曲线积分总结

积分 结果
$$\oint_{L} \frac{xdy-ydx}{x^{2}+y^{2}}$$
2π2\pi

计算路径无关的曲线积分(常微分方程重点)

这里要求原函数,是解常微分方程最难的地方

如果第二型曲线积分 ∫AB⃗\int_{\vec{AB}} 和从 AA 到 BB 的路径无关,那么 ∮(过A,B绕一圈)=0\oint(过A,B绕一圈)=0
而因为 ∮(过A,B绕一圈)=0\oint(过A,B绕一圈)=0 所以如果曲线积分可以用格林公式的话又等价于 ∂Q∂x=∂P∂y\frac{\partial Q}{\partial x}=\frac{\partial P}{\partial y}

那么这和常微分方程的关联就来啦,如果 ∂Q∂x=∂P∂y\frac{\partial Q}{\partial x}=\frac{\partial P}{\partial y},那么 P(x,y)dx+Q(x,y)dyP(x,y)dx+Q(x,y)dy 就可以写成一个函数 U(x,y)U(x,y) 的全微分,也就是 {dU=Pdx+Qdy∂u∂x=P,∂u∂y=Q\begin{cases}dU=Pdx+Qdy \\ \frac{\partial u }{\partial x}=P,\frac{\partial u}{\partial y}=Q\end{cases}

那么就可以利用这个原函数U(x,y)U(x,y) 来计算满足上述条件的第二型曲线积分的值

∫AB⃗Pdx+Qdy=∫A(点A(x1,y1))B(点B(x2,y2))du=U(B)−U(A)\int_{\vec{AB}}Pdx+Qdy=\int_{A(点A(x_{1},y_{1}))}^{B(点B(x_{2},y_{2}))}du=U(B)-U(A)

这个方法的关键就是拿到 Pdx+QdyPdx+Qdy 要找出原函数 U(x,y)U(x,y),这也是解常微分方程的重点考点,下面有三种方法来操作

找出原函数U(x,y)U(x,y)的方法 适用场景
凑微分 多项式、简单的三角或者指数函数
选个特殊起点积分到 (X,Y)(X,Y)
积几次分补一个 ϕ(y)\phi(y) 解方程

1.选个特殊起点把 Pdx+QdyPdx+Qdy 积分到 (X,Y)(X,Y)

一般会选择一个特殊起点作为积分 Pdx+QdyPdx+Qdy 的起点,就比如(0,0)(0,0),那么就有

∫(0,0)(X,Y)Pdx+Qdy=∫(0,0)(X,0)Pdx+∫(X,0)(X,Y)Qdy=U(X,Y)\begin{align*} \int_{(0,0)}^{(X,Y)}Pdx+Qdy=\int_{(0,0)}^{(X,0)}Pdx+\int_{(X,0)}^{(X,Y)}Qdy=U(X,Y) \end{align*}

这里的关键是不要把未知数搞混淆了,用大写的 X,YX,Y 表示积分上下限的点
这样只是求得一个原函数,再加上一个常数就可以求得原函数的通解

2.积几次分补一个 ϕ(y)\phi(y) 解方程

这里的做法是先固定yy,对∂u∂xdx\frac{\partial u}{\partial x}dx 积分,也就是对 PdxPdx 积分得到{∫Pdx=u1(x,y)U(x,y)=u1(x,y)+ϕ(y)\begin{cases}\int Pdx=u_{1}(x,y) \\ U(x,y)=u_{1}(x,y)+\boxed{\phi(y)}\end{cases}

然后再对得到的 u1(x,y)+ϕ(y)u_{1}(x,y)+\phi(y) 对 yy 求偏微分得到一个∂u∂y=∂u1∂y+ϕ′(y)\frac{\partial u}{\partial y}=\frac{\partial u_{1}}{\partial y}+\phi'(y)的值,而这个∂u∂y\frac{\partial u}{\partial y} 值正好就是 QQ,就可以解方程得到ϕ′(y)\phi'(y) 进而积分得到 ϕ(y)\phi(y),从而得到真正的原函数 U(x,y)U(x,y)

这样做的解释就是,之所以有独立的关于 yy 的函数 ϕ(y)\phi(y) 是因为我们是依据 ∂u∂xdx\frac{\partial u}{\partial x}dx 进行积分的,但是∂u∂xdx\frac{\partial u}{\partial x}dx并不是原函数的完整微分。这是因为在从原函数U(x,y)U(x,y) 得到∂u∂x\frac{\partial u}{\partial x}时就已经丢掉了原函数关于 yy 的一些信息,所以为了得到原函数真正的值,我们要加上独立的函数 ϕ(y)\phi(y) 作为待确定的补充,并在接下来的步骤中确定 ϕ(y)\phi(y) 的值

3.凑微分 (后面用的最多)

只要遇到多项式、简单的三角或者指数函数,就可以去凑一凑
就比如 du=(x2+2xy−y2)dx+(x2−2xy−y2)dydu=(x^{2}+2xy-y^{2})dx+(x^{2}-2xy-y^{2})dy 把它拆开
可以找到只含对应项的直接凑微分,就比如 x2dx=d(13x2)x^{2}dx=d(\frac{1}{3}x^{2}) 和 −y2dy=d(−13y2)-y^{2}dy=d(-\frac{1}{3}y^{2})
然后处理 xx 和 yy 和微分不是对应的部分,这就需要多试一试,就比如{d(x2y)=2xydx+x2dyd(y2x)=2xydy+y2dx\begin{cases}d(x^{2}y)=2xydx+x^{2}dy \\ d(y^{2}x)=2xydy+y^{2}dx\end{cases}

所以du=d(d(13x3−13y3+x2y−y2x)du=d(d(\frac{1}{3}x^{3}- \frac{1}{3}y^{3}+x^{2}y-y^{2}x)

4.把法方向的方向导数∂u∂n⃗dS\frac{\partial u}{\partial \vec{n}}dS变成(P,Q)(dx,dy)(P,Q)(dx,dy)

奇奇怪怪的东西 解释 例子
梯度算子 ∇\nabla 对向量求梯度,拜托说人话,就是对向量的各个分量求偏导的工具,∇=(∂∂x,∂∂y)\nabla=(\frac{\partial }{\partial x},\frac{\partial }{\partial y}) ∇u=(∂u∂x,∂u∂y)\nabla u=(\frac{\partial u}{\partial x},\frac{\partial u}{\partial y})
拉普拉斯算子 Δ\Delta 散度,放屁,说人话,就是求两次梯度(对向量各分量求两次偏导)∇⋅∇=Δ=(∂∂x,∂∂y)⋅(∂∂x,∂∂y)=(∂2∂x2,∂2∂y2)\nabla ·\nabla=\Delta=(\frac{\partial }{\partial x},\frac{\partial }{\partial y})·(\frac{\partial }{\partial x},\frac{\partial }{\partial y})=(\frac{\partial^{2} }{\partial x^{2}},\frac{\partial^{2} }{\partial y^{2}}) Δu=∇⋅∇u=(∂2u∂x2,∂2u∂y2)\Delta u=\nabla·\nabla u=(\frac{\partial^2 u}{\partial x^2},\frac{\partial^2 u}{\partial y^2})
方向导数 ∂u∂a⃗\frac{\partial u}{\partial \vec{a}} 多元函数 U(x,y)U(x,y) 在 a⃗\vec{a} 向量方向上的导数,∂u∂a⃗=∇u.a⃗(的方向余弦)\frac{\partial u}{\partial \vec{a}}=\nabla u .\vec{a}(的方向余弦)

首先要清楚原函数 U(x,y)U(x,y) 在 n⃗\vec{n} 法向量方向的方向导数的概念,就是下面这个式子

∂u∂n⃗=∇u⋅n⃗(的方向余弦)\frac{\partial u}{\partial \vec{n}}=\nabla u · \vec{n}(的方向余弦)

而 ∇=(∂∂x,∂∂y)\nabla=(\frac{\partial }{\partial x},\frac{\partial }{\partial y}) 所以 ∇u=(∂u∂x,∂u∂y)\nabla u=(\frac{\partial u}{\partial x},\frac{\partial u}{\partial y}),为了把法向量换成 dx,dydx,dy,下面只需要用 u,x,yu,x,y 表示 n⃗\vec{n},其中最核心的思想就是把法向量 n⃗(的方向余弦)\vec{n}(的方向余弦) 替换成 切向量 t⃗(的方向余弦)\vec{t}(的方向余弦),因为切向量有下面的式子

t⃗(的方向余弦)=dr⃗∣dr∣=dr⃗dS=(dx,dy)dS=(dxdS,dydS)=(cos⁡α,cos⁡β)\begin{align*} \vec{t}(的方向余弦)= \frac{d\vec{r}}{|dr|}= \frac{d\vec{r}}{dS}= \frac{(dx,dy)}{dS}=(\frac{dx}{dS},\frac{dy}{dS})=(\cos \alpha,\cos \beta)\\ \end{align*}

由于 t⃗⋅n⃗=0\vec{t}·\vec{n}=0,所以法向量为 n⃗(的方向余弦)=(dydS,−dxdS)=(cos⁡β,cos⁡α)\vec{n}(的方向余弦)=(\frac{dy}{dS},- \frac{dx}{dS})=(\cos \beta,\cos \alpha)
所以就可以把法方向向量的积分化简成下面的这样子

∫L∂u∂ndS=∫L(∂u∂x,∂u∂y)⋅(cos⁡β,−cos⁡α)dS=∫L(∂u∂x,∂u∂y)⋅(dydS,−dxdS)dS=∫L(∂u∂x,∂u∂y)⋅(dy,−dx)\begin{align*} \int_{L} \frac{\partial u}{\partial n}dS =\int_{L}(\frac{\partial u}{\partial x},\frac{\partial u}{\partial y})·(\cos \beta,-\cos \alpha)dS\\\\= \int_{L}(\frac{\partial u}{\partial x},\frac{\partial u}{\partial y})·(\frac{dy}{dS} ,- \frac{dx}{dS})dS=\int_{L}(\frac{\partial u}{\partial x},\frac{\partial u}{\partial y})·(dy,-dx) \end{align*}

这里的关键就是把法向量 n⃗\vec{n} 和切向量 t⃗\vec{t} 的方向余弦互推一波,而再利用切向量 (dx,dy)=t⃗⋅dS(dx,dy)=\vec{t}·dS 把法向量换成 dx,dydx,dy

至于从法向量的方向余弦替换成切向量的方向余弦的方法,一般是利用点乘 t⃗⋅n⃗=0\vec{t}·\vec{n}=0,或者是可能还扯上坐标轴方向向量 i⃗,j⃗\vec{i},\vec{j} 利用法向量和切向量成 90° 的几何关系,注意如果积分路径是 L+L^{+} 的话,t⃗\vec{t} 是要取逆时针方向;然后看清 n⃗\vec{n} 是内法向量还是外法向量,总之画个示意图

在计算的时候要对 ∂∂x\frac{\partial }{\partial x} 这一类的、
算子熟悉,就比如计算 ∂∂x(u⋅∂u∂x)\frac{\partial }{\partial x}(u·\frac{\partial u}{\partial x}) 时,把 uu 和 ∂u∂x\frac{\partial u}{\partial x} 都看成函数,来求偏微分

∂∂x(u⋅∂u∂x)=∂u∂x⋅∂u∂x+u⋅∂2u∂x2=(∂u∂x)2+u⋅∂2u∂x2\begin{align*} \frac{\partial }{\partial x}(u·\frac{\partial u}{\partial x})&= \frac{\partial u}{\partial x}·\frac{\partial u}{\partial x}+u·\frac{\partial^{2} u}{\partial x^{2}}=(\frac{\partial u}{\partial x})^{2}+u·\frac{\partial^{2} u}{\partial x^{2}} \end{align*}

x.做题流程总结

所以拿到一个 Pdx+QdyPdx+Qdy 之后,看看是不是 ∂Q∂x=∂P∂y\frac{\partial Q}{\partial x}=\frac{\partial P}{\partial y}

  • 如果相等,曲线积分就是与路径无关,直接换一个好算的路径(横线+竖线)
  • 如果那玩意相差为一些简单的式子,就可以考虑使用格林公式,转化成二重积分来做
    • 这时候要注意路径曲线经过不连续点,只要不经过就还有救
    • 还要注意添加一些辅助线来构成封闭区域

如果遇到二重积分很难算的函数,也可以使用格林公式把二重积分变成曲线积分

第一型曲面积分∬∑f(x,y,z)dS\iint \limits_{\sum}f(x,y,z)dS

如果把 xyzxyz 空间中曲面 ∑\sum 的面积微元 dSdS 投射在 xoyxoy 平面上,那么原来的面积微元 dSdS 可以用投影平面的面积微元 dxdydxdy 来表示

dS=1+Zx2+Zy2⋅dxdydS=\sqrt{1+Z_{x}^{2}+Z_{y}^{2}}·dxdy

这里是把对表示曲面 ∑\sum 的方程取微分得到 x,yx,y 关于 zz 的偏导 Zx,ZyZ_{x},Z_{y} (不一定要先表示成 z=g(x,y)z=g(x,y))
再找准投影到 xoyxoy 平面上的投影区域 AA 的方程,一般是看出来的,不过有时候是令z=0z=0

然后再消去原来的曲面积分被积函数除 x,yx,y 以外的变量

∬∑f(x,y,z)dS=∬Af(x,y,g(x,y))1+Zx2+Zy2⋅dxdy\iint \limits_{\sum}f(x,y,z)dS=\iint \limits_{A}f(x,y,g(x,y))\sqrt{1+Z_{x}^{2}+Z_{y}^{2}}·dxdy

总结一下流程就是

  1. 根据曲面 ∑\sum 的方程,先确定曲面的投影方向(往哪个平面投影)
  2. 然后根据曲面 ∑\sum 的方程取微分计算 dSdS
  3. 找准投影出来的区域方程 AA,注意把投影区域的图形画出来
  4. 根据投影到哪个平面消掉重写曲面 ∑\sum 的方程在被积函数中进行消元

关键是确定题目给的那些方程哪些是用来确定投影区域 AA 的形状,哪些是用来表示曲面 ∑\sum 的形状的

注意不要漏了一个曲面,看清所有要积分的曲面

参数式第一型曲面积分

参数式第一型曲面积分最关键的就是确定面积微元 dSdS
如果 x,y,zx,y,z 三个未知数都用 u,vu,v 这两个参数表示,那么就用 rr 这个三维向量来表示这个参数式 r{x=...(u,v)y=...(u,v)z=...(u,v)r \begin{cases} x=...(u,v) \\ y=...(u,v) \\ z=...(u,v)\end{cases} ,用 rur_{u} 表示同时对 rr 的三个偏量用 uu 求导;用 rvr_{v} 表示同时对 rr 的三个偏量用 vv 求导

那么 xyzxyz 空间中曲面 ∑\sum 的面积微元 dSdS 就有 dS=∣ru×rv∣dudvdS=|r_{u} \times r_{v}| dudv
而∣ru×rv∣2+∣ru⋅rv∣2=∣ru∣2∣rv∣2|r_{u} \times r_{v}|^{2}+|r_{u}·r_{v}|^{2}=|r_{u}|^{2}|r_{v}|^{2},所以∣ru×rv∣=∣ru∣2∣rv∣2−∣ru⋅rv∣2|r_{u} \times r_{v}|=\sqrt{|r_{u}|^{2}|r_{v}|^{2}-|r_{u}·r_{v}|^{2}}

也就是说

dS=∣ru∣2∣rv∣2−∣ru⋅rv∣2⋅dudvdS=\sqrt{|r_{u}|^{2}|r_{v}|^{2}-|r_{u}·r_{v}|^{2}}·dudv

要发现区域的对称性,有时候得要赌一波啊啊啊啊啊。就比如区域是在圆锥面上的一部分,但是 {x=rcos⁡θsin⁡αy=rsin⁡θsin⁡αz=rcos⁡α\begin{cases}x=r\cos \theta \sin \alpha \\ y=r \sin \theta \sin \alpha \\ z=r \cos \alpha \end{cases} 又有点像球坐标系,这时候要赌一波对称性,不然被积函数太复杂做不了

1.对称性

这里指的是把第一型曲面积分,变成投影到坐标平面的二重积分时利用积分区域的对称性和被积函数的对称性

还要注意配合使用轮换对称性,如果投影出来的积分区域方程替换 xx 和 yy 的位置后,原来的方程值不变…

2.常见的第一型曲面积分的曲面

下面是常用的曲面面积微元的投射表示

曲面种类 投影出来的面积微元
球面 dS=RR2−(x2+y2)dxdydS=\frac{R}{\sqrt{R^{2}-(x^{2}+y^{2})}}dxdy

第二型曲面积分∬∑F⃗⋅n⃗⋅dS\iint \limits_{\sum}\vec{F}·\vec{n}·dS

第二型曲面积分是向量点乘的积分,被积函数 F⃗\vec{F} 是一个向量(F⃗(P(x,y,z)Q(x,y,z)R(x,y,z))\vec{F}\left (P(x,y,z)Q(x,y,z)R(x,y,z)\right)) ,它去点乘一个曲面 ∑\sum 上的面积微元向量 n⃗⋅dS\vec{n}·dS,这个微元向量的方向体现在曲面的法向量 n⃗(cos⁡αcos⁡βcos⁡γ)\vec{n}\left (cos⁡αcos⁡βcos⁡γ\right)
又因为法向量有指向曲面内侧和曲面外侧的两个方向,所以有下面这个式子
(+−看法向量n⃗的方向){cos⁡α⋅dS=dydzcos⁡β⋅dS=dxdzcos⁡γ⋅dS=dxdy(+-看法向量\vec{n}的方向) \begin{cases} \cos \alpha ·dS = dydz \\ \cos \beta ·dS =dxdz \\ \cos \gamma ·dS =dxdy\end{cases}
也就是说 n⃗⋅dS=(+/−)( dydz dxdz dxdy)\vec{n}·dS=(+/-)\left (\begin{matrix}  dydz  \\ dxdz \\  dxdy\end{matrix}\right) ,这里的正负号看法向量的方向,dxdydxdy 和 dydxdydx 的顺序不重要,效果都一样

所以第二型曲面积分,也就是向量点乘的积分,可以展开写成下面的样子

∬∑F⃗⋅n⃗⋅dS=∬∑(Pcos⁡α+Qcos⁡β+Rcos⁡γ)dS=(+/−)∬∑Pdydz+Qdxdz+Rdxdy\begin{align*} \iint \limits_{\sum}\vec{F}·\vec{n}·dS =\iint \limits_{\sum}(P\cos \alpha+Q\cos \beta+R\cos \gamma)dS \\=\boxed{(+/-)\iint \limits_{\sum} Pdydz +Qdxdz+Rdxdy} \end{align*}

注意!!法向量的方向决定框住式子的整体正负号,对于每一个积分曲面,都要从它自己的法向量判断,如果法向量从 zz轴看是正方向,那么就整体的式子前面就是加正号。而从 zz 轴看是正方向的判断方法有两个

适用场景 判断方法
可以简单的画出图像 面的法向量和 zz 轴是锐角
直接给了法向量式子 这个法向量的 zz 分量就是正的(n⃗(−,−,+)\vec{n}(-,-,+))

拿到这个式子(+/−)∬∑Pdydz+Qdxdz+Rdxdy{(+/-)}\iint \limits_{\sum} Pdydz +Qdxdz+Rdxdy,就要把曲面 ∑\sum 投影到一个坐标平面 AA
第二型曲面积分经过点乘之后会变成三个积分,注意这里有两种等效的操作方式

  1. 先把这个第二型曲面积分拆分成三个积分,再分别看各自积分的曲面进行投影
  2. 或者先把所有的积分曲面投影,再整体计算第二型曲面积分内部的三个积分,这两者的效果是一样的

所谓的投影其实就是坐标变换,通过方程消元实现,如果把三维空间的 ∑(x,y,z)\sum (x,y,z) 曲面投影到 DxyD_{xy},其实就是利用 ∑(x,y,z)\sum (x,y,z) 曲面的方程用 x,yx,y 表示 zz,从而在原来的三元积分式子中消去 zz 表示成在 DxyD_{xy} 平面的二元积分

一般来说积分的变换要包含三个部分的变换(积分区域、积分微元、被积函数),下面以把三维空间的 ∑(x,y,z)\sum (x,y,z) 曲面投影到 DxyD_{xy} 为例详细介绍

首先根据积分曲面 ∑\sum 的方程,想好投影到 DxyD_{xy} 平面的投影区域(想象 or 整理方程),画好投影区域的示意图

  1. 如果遇到积分曲面 ∑\sum 上下侧的法向量方向不一样,要分为两个曲面计算。
  2. 如果遇到积分曲面 ∑\sum 的面比较多的情况,要看清楚积分曲面 ∑\sum 各个面看投影出来有没有为零的内容,再看代入面的方程会不会让被积函数简化为零
  3. 注意在划分所有积分曲面时,要对每一个你分出来的曲面各自重新判断法向量的方向,并重新计算投影出来的区域

然后把其他坐标平面的面积微元换算成 DxyD_{xy} 平面的面积微元 dxdydxdy,这里是使用的方法就是类似前面变换积分微元的先除再乘的方法{Pdydz=−Pdy⋅dzdx⋅dx=−P⋅Zx⋅dxdyQdxdz=−Q⋅dzdy⋅dxdy=−Q⋅Zy⋅dxdy\begin{cases} Pdydz = - P dy ·\frac{dz}{dx}·dx = -P·Z_{x}·dxdy \\ Qdxdz = - Q · \frac{dz}{dy} · dxdy = -Q·Z_{y}·dxdy\end{cases}
简记的结果就是负号加偏导

(+/−)∬∑Pdydz+Qdxdz+Rdxdy=(+/−)∬Dxy[−P⋅Zx−Q⋅Zy+R]dxdy\begin{align*} \boxed{(+/-)\iint \limits_{\sum} Pdydz +Qdxdz+Rdxdy=(+/-)\iint \limits_{D_{xy}}[-P·Z_{x}-Q·Z_{y}+R]dxdy} \end{align*}

接下来就是用曲面 ∑\sum 的方程把 zz 用 x,yx,y 消掉,进行二重积分的计算

总结一下做题的流程就是

  1. 先判断法向量的方向,积分的曲面 ∑\sum 在外侧,或者法向量是与 zz 轴成锐角,整个式子前面是正
  2. 然后确定投影到的平面,看清楚积分曲面 ∑\sum 各个面果遇到上下侧的法向量方向不一样,要分为两个曲面计算,再看各个曲面投影出来有没有为零的内容,再看代入面的方程会不会让被积函数简化为零, 注意在划分所有的积分曲面时,要对每一个你分出来的曲面各自重新判断法向量的方向,并重新计算投影出来的区域
  3. 之后再求出积分曲面投影出来的区域的方程,画出示意图,并且变换面积微元

1.参数式第二型曲面积分

这里其实就是把(+/−)∬∑Pdydz+Qdzdx+Rdxdy(+/-)\iint \limits_{\sum} Pdydz +Qdzdx+Rdxdy 里面的面积微元全部根据 {x=...(u,v)y=...(u,v)z=...(u,v)\begin{cases} x=...(u,v) \\ y=...(u,v) \\ z=...(u,v)\end{cases} 替换成 dudvdudv,这也是采取变换积分微元的先除再乘的方法 {Pdydz=P∂(y,z)∂(u,v)dudvQdzdx=Q∂(z,x)∂(u,v)dudvRdxdy=R∂(x,y)∂(u,v)dudv\begin{cases} Pdydz=P\frac{\partial (y,z)}{\partial (u,v)}dudv \\ Qdzdx = Q\frac{\partial (z,x)}{\partial (u,v)}dudv \\ Rdxdy=R\frac{\partial (x,y)}{\partial (u,v)}dudv\end{cases}

2.对称性

这里指的是把第二型曲面积分,变成投影到坐标平面的二重积分时利用积分区域的对称性和被积函数的对称性

还要注意配合使用轮换对称性,如果投影出来的积分区域方程替换 xx 和 yy 的位置后,原来的方程值不变…

3.常见的第二型曲面积分的曲面

面的类型 操作的方法
像柱一样垂直或水平的面 这种面投影到它垂直的坐标平面的投影面积为00
球面 上下侧的法向量方向不一样,要分为两个曲面计算(对每一个面看投影出来有没有为零的内容,再看代入面的方程会不会让被积函数简化)

高斯公式

高斯公式的特点和格林公式很像,都是要注意{抠掉不连续的部分注意加辅助面把三重积分换成曲面积分\begin{cases}抠掉不连续的部分 \\ 注意加辅助面 \\把三重积分换成曲面积分 \end{cases}
在使用高斯公式前,一定要记得画个草图。
其实不仅仅是使用高斯公式要画图,其他情况也要画图哦

1.记忆高斯公式

高斯公式很有对称性,用得也比较多

∫∫◯S+Pdydz+Qdxdz+Rdxdy=∭Ω(∂P∂x+∂Q∂y+∂R∂z)dV\begin{align*} \int\kern{-8pt}\int \kern{-23mu} \bigcirc_{S^{+}} Pdydz+Qdxdz+Rdxdy&= \iiint \limits_{\Omega} (\frac{\partial P}{\partial x}+\frac{\partial Q}{\partial y}+\frac{\partial R}{\partial z})dV \end{align*}

记忆方法就是这个公式有三项,每一项比如看 PdydzPdydz 缺 dxdx 所以就在后面用 ∂P∂x\frac{\partial P}{\partial x} 补一个 dxdx

∫∫◯S+F⃗⋅n⃗⋅dS=∫∫◯S+F⃗⋅dS⃗=∭Ω∇⋅F⃗⋅dV=∭ΩdivF⃗⋅dV\begin{align*} \int\kern{-8pt}\int \kern{-23mu} \bigcirc_{S^{+}}\vec{F}·\vec{n}·d{S}&= \int\kern{-8pt}\int \kern{-23mu} \bigcirc_{S^{+}}\vec{F}·d \vec{S}=\iiint \limits_{\Omega}\nabla ·\vec{F}·dV=\iiint \limits_{\Omega}div \vec{F}·dV \end{align*}

这是用向量表示的高斯公式,要熟悉这种写法,一定是两个向量进行数量积的形式被积分
一般这种写法会遇到向量夹角的余弦值 cos⁡<n⃗,F⃗>\cos <\vec{n},\vec{F}>,注意用 cos⁡<n⃗,F⃗>=n⃗⋅F⃗∣n⃗∣∣F⃗∣\cos <\vec{n},\vec{F}> =\frac{\vec{n}·\vec{F}}{|\vec{n}||\vec{F}|} 代替就行了,如果 n⃗\vec{n} 是单位向量,那么 ∣n⃗∣=1|\vec{n}|=1

2.判断用不用高斯公式

首先要看清楚闭合曲面的法向量方向是不是朝向外侧,如果是朝向外侧的话,就放心冲吧。如果遇到闭合曲面是朝向内侧的,那就加个负号(−-)反向成朝向外侧就也可以使用了

然后要看清曲面是不是完全闭合的,如果曲面不是闭合的,就可以添加一个法向朝外侧的辅助面来构成一个闭合曲面

∭添加辅助面后闭合区域内三重积分=∫∫◯添加辅助面之后,法向朝外=∬原来没添加辅助面,法向朝外+∬辅助面,法向朝外\begin{align*} \iiint \limits_{添加辅助面后闭合区域内三重积分}=\int\kern{-8pt}\int \kern{-23mu} \bigcirc_{添加辅助面之后,法向朝外}=\iint \limits_{原来没添加辅助面,法向朝外}+\iint \limits_{辅助面,法向朝外} \end{align*}

最后就是要看清闭合曲面内有没有不连续的部分,说人话就是有没有让 ∂P∂x\frac{\partial P}{\partial x} 之类的偏导数的不存在的部分,如果有的话也不要太担心,只要曲面没有经过那部分就行,如果不连续的部分正好在曲面内,就可以在曲面的内部使用一个法向朝内侧辅助球来隔离这一不连续的部分

∭外围曲面和辅助球曲面之间区域的三重积分=∫∫◯外围曲面的,法向朝外+∫∫◯辅助球曲面积,法向朝内\begin{align*} \iiint \limits_{外围曲面和辅助球曲面之间区域的三重积分}=\int\kern{-8pt}\int \kern{-23mu} \bigcirc_{外围曲面的,法向朝外}+\int\kern{-8pt}\int \kern{-23mu} \bigcirc_{辅助球曲面积,法向朝内} \end{align*}

利用证明 Stoke 公式的技巧

stoke 公式就是一坨答辩,虽然它的处理对象是三维空间第二型曲线积分(被积函数的变量有三个:x,y,zx,y,z,而以前的只有两个),但是它还是把第二型曲线积分硬生生变成了第二型曲面积分,白白提高难度。

但是还是要记住这个公式,下面介绍一下记忆 stoke 公式需要的符号
如果 F⃗\vec{F} 是一个向量场,意思就是说 F⃗=(PQR)\vec{F}=\left (\begin{matrix} P\\ Q \\ R\end{matrix}\right),如果在向量场 F⃗\vec{F} 中放好一个点 r0⃗=(x0y0z0)\vec{r_{0}}=\left (\begin{matrix} x_{0} \\ y_{0} \\ z_{0}\end{matrix}\right),那么这一点处的向量 F0⃗=(P(x0,y0,z0)Q(x0,y0,z0)R(x0,y0,z0))\vec{F_{0}}=\left (\begin{matrix} P(x_{0},y_{0},z_{0})\\ Q(x_{0},y_{0},z_{0}) \\ R(x_{0},y_{0},z_{0})\end{matrix}\right),如果一个向量场是连续的,那么各个点的向量方向也是连续变化的

奇奇怪怪的东西 解释 (向量场的散度就是所谓的漏洞或者说缺口,而向量场的旋度就是来描述漩涡的) 例子
梯度算子 ∇\nabla 对向量求梯度,拜托说人话,就是梯度算子直接点乘向量,直接点乘的梯度算子其实就是对向量的各个分量求偏导的工具,∇=(∂∂x,∂∂y)\nabla=(\frac{\partial }{\partial x},\frac{\partial }{\partial y}) ∇u=(∂u∂x,∂u∂y)\nabla u=(\frac{\partial u}{\partial x},\frac{\partial u}{\partial y})
散度算子 Δ\Delta 散度,放屁,说人话,就是求两次梯度(对向量各分量求两次偏导)∇⋅∇=Δ=(∂∂x,∂∂y)⋅(∂∂x,∂∂y)=(∂2∂x2,∂2∂y2)\nabla ·\nabla=\Delta=(\frac{\partial }{\partial x},\frac{\partial }{\partial y})·(\frac{\partial }{\partial x},\frac{\partial }{\partial y})=(\frac{\partial^{2} }{\partial x^{2}},\frac{\partial^{2} }{\partial y^{2}}) Δu=∇⋅∇u=(∂2u∂x2,∂2u∂y2)\Delta u=\nabla·\nabla u=(\frac{\partial^2 u}{\partial x^2},\frac{\partial^2 u}{\partial y^2})
方向导数 ∂u∂a⃗\frac{\partial u}{\partial \vec{a}} 多元函数 U(x,y)U(x,y) 在 a⃗\vec{a} 向量方向上的导数,∂u∂a⃗=∇u.a⃗(的方向余弦)\frac{\partial u}{\partial \vec{a}}=\nabla u .\vec{a}(的方向余弦)
旋度算子 ∇×\nabla \times 对向量求散度,其实就是拿梯度算子去叉乘向量 ∇=(∂∂x,∂∂y,∂∂z)\nabla=(\frac{\partial }{\partial x},\frac{\partial }{\partial y},\frac{\partial }{\partial z}),F⃗=(P,Q,R)\vec{F}=(P,Q,R),对 F⃗\vec{F} 求散度就是 ∇×F⃗=∣ijk∂∂x∂∂y∂∂zPQR∣\nabla \times \vec{F}=\left |\begin{matrix} i& j & k\\ \frac{\partial }{\partial x} & \frac{\partial }{\partial y} & \frac{\partial }{\partial z} \\ P & Q & R \end{matrix}\right|

而下面这个式子就是要记住的东西,其中 S+,L+S^{+},L^{+} 的方向满足右手螺旋定则,大拇指是曲面 SS 的法向量方向,那么四指指向的就是曲线 LL 的方向

∮L+Pdx+Qdy+Rdz=∮L+F⃗⋅dr⃗=∬S+∇×F⃗⋅n⃗=∬S+rotF⃗⋅n⃗dS\begin{align*} \oint \limits_{L^{+}}Pdx+Qdy+Rdz =\boxed{\oint \limits_{L^{+}}\vec{F}·d \vec{r} =\iint \limits_{S^{+}}\nabla \times \vec{F} · \vec{n}}=\iint \limits_{S^{+}}rot \vec{F} ·\vec{n} dS \end{align*}

一般都是不用这个公式来做题的。而是理解证明这个公式过程中的一种思路,用这个思路来做题。这个思路的就是把三个变量的曲线积分想办法用已知曲线的方程消掉多余的变量。

  1. 把空间曲线积分的三个变量 x,y,zx,y,z 都用一个统一的参数 tt 来表示
  2. 把空间中三个变量的曲线积分用曲线方程消去一个变量,变成两个变量的曲线积分,之后再正常地处理两个参数的第二型曲线积分,到这里再使用格林公式或者直接计算都可以

上面的那些做法之所以可行,是因为它们把空间中的曲线投影到平面上的曲线了。因为其实用方程消掉参数就是一种投影坐标变换,把空间中三个自由度的曲线投影到平面上变成两个自由度的曲线。