很久以前的笔记,现在为了复习更新上来(2022-05-03)

空间解析几何

平面、直线的方程

  1. 已知在平面里的三点,要求平面方程

    1. 设一般方程,暴力解方程组
    2. AB×BC\overrightarrow{AB}\times \overrightarrow{BC},得到法向量
  2. 已知直线的一般方程,求参数方程

    1. 两个平面的法向量叉乘就是其方向向量。得到方向向量与其上一点,就可以列出对称式方程,从而得到参数方程。
    2. 暴力。对方程组进行变形,写出对称式方程,然后写出参数式方程。
  3. 点到平面的距离 d=Ax0+By0+Cz0+DA2+B2+C2 d=\frac{|Ax_0+By_0+Cz_0+D|}{\sqrt{A^2+B^2+C^2}}

  4. 两直线的夹角

    方向向量的夹角余弦值 cosα=m1m2+n1n2+p1p2m12+n12+p12m22+n22+p22 \cos{\alpha}=\frac{|m_1m_2+n_1n_2+p_1p_2|}{\sqrt{m_1^2+n_1^2+p_1^2}\cdot\sqrt{m_2^2+n_2^2+p_2^2}}

  5. 直线与平面的夹角

    等于方向向量与法向量的夹角

    直线与平面的关系,其实就是考察法向量和方向向量的关系。

曲面方程

旋转曲面

有以曲线F(x,y)=0F(x, y)=0,绕xx轴旋转,得到 F(x,y2+z2) F(x, \sqrt{y^2+z^2})

绕哪个轴旋转,哪个轴就不变

  1. 旋转椭球面
  2. 圆锥面

柱面

简单

二次曲面

  1. 椭球面 x2a2+y2b2+z2c2=1 \frac{x^2}{a^2}+\frac{y^2}{b^2}+\frac{z^2}{c^2}=1

  2. 椭圆抛物面 x22p+y22q=z \frac{x^2}{2p}+\frac{y^2}{2q}=z

  3. 马鞍面(双曲抛物面) x22p+y22q=z -\frac{x^2}{2p}+\frac{y^2}{2q}=z

  4. 单叶双曲面 x2a2+y2b2z2c2=1 \frac{x^2}{a^2}+\frac{y^2}{b^2}-\frac{z^2}{c^2}=1

  5. 双叶双曲面 x2a2+y2b2z2c2=1 \frac{x^2}{a^2}+\frac{y^2}{b^2}-\frac{z^2}{c^2}=-1

  6. 二次锥面 x2a2+y2b2z2c2=0 \frac{x^2}{a^2}+\frac{y^2}{b^2}-\frac{z^2}{c^2}=0

空间曲线的方程

  1. 一般方程:两个曲面相交得到
  2. 参数方程

多元函数微分学

类比

  1. 内点:存在δ>0\delta > 0P0R2P_0\in \mathbb{R^2}使U(P0,δ)R2U(P_0, \delta)\subset\mathbb{R^2},则P0P_0是内点
  2. 边界点和外点:类比上面的定义。

点集

  1. 开集:没有边界点,全是内点
  2. 闭集:开集的余集(R2DR^2-D)成为闭集
  3. 区域:联通的点集

二元函数的极限

PP0P\to P_0有无穷条路径

经典例子: lim(x,y)(0,0)xyx2+y2 \lim_{(x,y)\to(0,0)}\frac{xy}{x^2+y^2}

limx0,y0xy2x2+y2 \lim_{x\to 0, y\to 0}\frac{xy^2}{x^2+y^2}

lim(x,y)(0,0)xyx4+y2 \lim_{(x,y)\to (0,0)}\frac{x^y}{x^4+y^2}

累次极限存在,不代表二重极限一定存在;二重极限存在,也不代表累次极限存在。但是如果它们都存在,则必然相等。

二元函数求极限的方法:

  1. 等价无穷小替换
  2. 换元
  3. 夹逼

闭区域上连续函数的性质

有界性、最值定理、介值定理

偏导数

只留一个变量动,把其他变量都固定,对动的变量求导,得到偏导数。

这个符号\partial可以读作partial

偏导数记号,一般应视作整体,fx\displaystyle \frac{\partial f}{\partial x}fy\displaystyle \frac{\partial f}{\partial y}的分母实际上是不同的,但是记号却是一样的。

可偏导未必连续,连续未必可偏导。

高阶/混合偏导数

Clairaut定理:两个二阶混合偏导数的求导顺序不同,不一定相等。但是如果两个二阶混合偏导数都在区域DD内连续,二者则相等。

我好像也没那么蠢

Laplace算子Δr=2rx2+2ry2+2rz2\Delta r = \frac{\partial^2 r}{\partial x^2} + \frac{\partial^2 r}{\partial y^2} + \frac{\partial^2 r}{\partial z^2}

全微分

z=f(x,y)z=f(x,y),全微分dz=zxdx+zydydz=\frac{\partial z}{\partial x}dx + \frac{\partial z}{\partial y}dy

在区域DD中每一点都存在全微分,则ffDD内的可微函数

可微必连续、必可偏导。

可微的必要条件和充分条件

  1. 必要条件

    1. f(x,y)f(x,y)在这点续
    2. 偏导数在这点存在
  2. 充分条件

    偏导数在这点的某邻域内存在,且在这点连续。

利用全微分进行近似计算,比如计算1.041.981.04^{1.98}

z=xyz = x^y(x0,y0)=(1,2)(x_0,y_0)=(1, 2)

f(x,y)f(x0,y0)fx(x0,y0)Δx+fy(x0,y0)Δy f(x,y)-f(x_0,y_0)\approx f_x(x_0,y_0)\Delta x+f_y(x_0,y_0)\Delta y

一阶微分的不变性为凑微分提供依据。

和一阶微分一样,一阶全微分也具有不变性:

f=f(u,v)f = f(u, v)u=u(x,y)u=u(x,y)v=v(x,y)v=v(x,y),那么 df=fudu+fvdv=fu(uxx+uyy)+fv(vxx+vyy) df = \frac{\partial f}{\partial u}du+\frac{\partial f}{\partial v}dv = \frac{\partial f}{\partial u}{(\frac{\partial u}{\partial x}x+\frac{\partial u}{\partial y}y)}+\frac{\partial f}{\partial v}{(\frac{\partial v}{\partial x}x+\frac{\partial v}{\partial y}y)}

多元函数链法则

image-20200318102540421

证明思路:

利用全微分知识:Δxz=fuΔxu+fvΔxv+o(ρ)\Delta_x z=f_u\Delta_x u+f_v\Delta_x v+o(\rho),两边除以Δx\Delta x,求极限,就得到链法则。

隐函数的偏导数

两边求偏导,嗯,就这样。

隐函数组的偏导数

其实就是tm就是解方程组。

考虑方程组

{P(x,y,u,v)Q(x,y,u,v)\left\{\begin{aligned}& P(x,y,u,v)\\&Q(x,y,u,v)\end{aligned}\right.

把四个变量中的两个作为自变量,就确定出两个两元函数,作为一个两元隐函数。

然后教材上列出Jacobi式,莫名奇妙出现一堆行列式。其实tm就是解方程组,Cramer法则用用罢了。看着怪吓人的。

过后我重新审视了一下Jacobi的方法,感觉也没有那么复杂难记,其实只要用心看看下面这组公式就明白了。

隐函数组

{F(u,v,x,y)=0 G(u,v,x,y)=0 \begin{cases} F(u, v, x, y) = 0 \\\ G(u, v, x, y) = 0 \end{cases}

J=(F,G)(u,v)=FxFvGxGy J = \frac{\partial(F, G)}{\partial(u, v)} = \begin{vmatrix}F_x & F_v \\\\ G_x & G_y\end{vmatrix}

ux=1J(F,G)(x,v) \frac{\partial u}{\partial x} = -\frac{1}{J}\frac{\partial(F, G)}{\partial(x, v)}

uy=1J(F,G)(y,v) \frac{\partial u}{\partial y} = -\frac{1}{J}\frac{\partial(F, G)}{\partial(y, v)}

vx=1J(F,G)(u,x) \frac{\partial v}{\partial x} = -\frac{1}{J}\frac{\partial(F, G)}{\partial(u, x)}

vy=1J(F,G)(u,y) \frac{\partial v}{\partial y} = -\frac{1}{J}\frac{\partial(F, G)}{\partial(u, y)}

隐函数存在定理

JJ在某点处不等于0,则在这点可以确定唯一的单值函数。

方向导数和梯度

实际上还是把多元问题变成一元问题。设有一个向量l\boldsymbol{l},有一个函数z=f(x,y)z=f(x,y),那么这个函数P0(x0,y0)P_0(x_0,y_0)l\boldsymbol{l}方向的导数记为:

zlP0=limρ0f(x0+Δx,y0+Δy)ρ (ρ=Δx2+Δy2) \left.\frac{\partial z}{\partial\boldsymbol{l}}\right|_{P_0} = \lim_{\rho\to 0}\frac{f(x_0+\Delta x, y_0 + \Delta y)}{\rho} \ \left(\rho = \sqrt{\Delta x^2 + \Delta y^2}\right)

如果在这点可微,则:

zlP0=fx(x0,y0)cosα+fy(x0,y0)cosβ \left.\frac{\partial z}{\partial\boldsymbol{l}}\right|_{P_0} = f_x(x_0,y_0)\cos\alpha + f_y(x_0,y_0)\cos \beta

就是梯度点乘了l\vec l的方向余弦。

证明利用了Δx/ρ=cosα\Delta x/\rho = \cos\alphaΔy/ρ=cosβ\Delta y/\rho = \cos\beta

从上面的式子可以看出,如果l={fx(x0,y0),fy(x0,y0)}\vec l = \{f_x(x_0,y_0),f_y(x_0,y_0)\},刚好让方向导数最大!

这个方向就是梯度

梯度记为x\nabla x或者gradz\mathrm{grad}z\nabla是nabla算子

求曲线/曲面的切、法

曲线的切线和法平面

用参数方程,或者也可以用全导数 (Jacobi式令人死亡)#tuxie

切线的方向向量就是法平面的法向量。

曲面的法向量和切平面

总是忘记法向量的计算方法,所以这次回来重新审视和理解一下法向量是怎么算的。感觉很巧妙

设曲面方程为F(x,y,z)=0F(x,y,z)=0

那么求法向量的核心就是全导数公式。

dFdt=Fxdxdt+Fydydt+Fzdydz=0 \frac{dF}{dt} = \frac{\partial F}{\partial x}\frac{d x}{d t} + \frac{\partial F}{\partial y}\frac{d y}{d t} + \frac{\partial F}{\partial z}\frac{d y}{d z} = 0

其中

{x=x(t)y=y(t)z=z(t) \left\{ \begin{aligned} & x = x(t) \\ & y = y(t) \\ & z = z(t) \end{aligned} \right.

是经过某点P0P_0的曲面上的曲线

上式恰好可以看成曲线在P0P_0切向量于另一个向量的点成,而由于曲线是一般的,所以“另一个向量”就是要找的法向量。

v={Fx,Fy,Fz}\vec v = \left\{ \frac{\partial F}{\partial x}, \frac{\partial F}{\partial y}, \frac{\partial F}{\partial z} \right\}

二元函数Taylor公式

本质上是参数方程+链法则。

考虑z=f(x,y)z=f(x,y),我们主要考虑xxyy在这里变一点点,zz怎么变,最大限度地模拟它的变化。比如给xx一个变化aa,给yy一个变化bb,想知道f(x+a,y+b)f(x+a,y+b)是多少。

很自然地,考虑这个(a,b)(a,b)这个方向的方向导数。设ϕ(t)=f(x0+at,y0+bt)\phi(t) = f(x_0 + at, y_0+bt)

根据一元函数的Maclauring公式

ϕ(t)=k=0nϕ(n)(0)k!tk+Rn(t) \phi(t) = \sum_{k=0}^{n} \frac{\phi^{(n)}(0)}{k!}t^k + R_n(t)

可以知道

f(x+a,y+b)=ϕ(1)=k=0nϕ(n)(1)k!+Rn f(x+a, y+b) = \phi(1) = \sum_{k=0}^{n}\frac{\phi^{(n)}(1)}{k!} + R_n

ϕ(n)(t)\phi^{(n)}(t)实际上就是在f(x,y)f(x,y)(a,b)(a, b)个方向上的nn阶导数,可以证明: ϕ(n)(t)=(ax+by)nf(x0+at,y0+bt) \phi^{(n)}(t) = \left(a\frac{\partial}{\partial x} + b\frac{\partial}{\partial y}\right)^nf(x_0+at, y_0+bt)

证明可以使用数学归纳法

嘿,那么直接代入就可以得到: f(x+a,y+b)=k=0n1k!(ax+by)kf(x0,y0)+Rn f(x+a,y+b) = \sum_{k=0}^n\frac{1}{k!}\left(a\frac{\partial}{\partial x} + b\frac{\partial}{\partial y}\right)^kf(x_0, y_0) + R_n 这就是多元函数的Taylor公式!

其中Lagrange余项RnR_n如下(t=1t=1,所以没有tn+1t^{n+1}这个因式): Rn=ϕ(n+1)(ξ)(n+1)!=1(n+1)!(ax+by)n+1f(x0+aξ,y0+bξ) (0ξ1) R_n = \frac{\phi^{(n+1)}(\xi)}{(n+1)!} = \frac{1}{(n+1)!}\left(a\frac{\partial}{\partial x} + b\frac{\partial}{\partial y}\right)^{n+1}\cdot f(x_0+a\xi, y_0+b\xi) \ (0\le\xi\le1) 也可以写成Peano余项o(ρn)o(\rho^n)ρ=a2+b2\rho = \sqrt{a^2 + b^2}

求极值

思想很简单,就是找出驻点,再判断是不是比周围都高/低。

极值存在的充分条件需要注意,似乎就是考虑各个方向的二阶方向导数,只不过为了方便证明借助了Taylor公式

(x0,y0)(x_0,y_0)的邻域有连续的二阶偏导数,记Heissian矩阵为

Hf=fxxfxyfyxfyy H_f = \begin{vmatrix} f_{xx} & f_{xy} \\ f_{yx} & f_{yy} \end{vmatrix}

  1. HfH_f正定,即其行列式大于0且fxx>0f_{xx} > 0,这点是极值点
  2. HfH_f负定,即其行列式大于0且fxx<0f_{xx}<0,这点是极值点
  3. 如果Hf<0|H_f| < 0,不是极值点
  4. 如果Hf=0|H_f| = 0,另作讨论,再说

条件极值

碰到不能转化为非条件极值的极值问题,可以使用Lagrange乘数法。证明不想看。方法如下:

ϕ(x,y)\phi(x,y)ψ(x,y)\psi(x,y)是约束条件,要求极值的函数是z=f(x,y)z = f(x,y)

  1. 构造Lagrange函数L(x,y,z,λ,μ)=f(x,z,y)+λϕ(x,y)+μψ(x,y)L(x,y,z,\lambda,\mu) = f(x,z,y) + \lambda \phi(x,y)+\mu\psi(x,y)
  2. Lagrange函数分别对每个变量求偏导数,令每个偏导数都等于0,就能得到一个方程组
  3. 解出来就完了:fu:(还要验证)​

居然在经济学的书上面看到了Lagrange乘数法,看来还是在最优化问题中还是挺有用的。

多元函数积分学

二重积分

记号、定义、线性、可加性、估值公式此不再赘述,具体看书,类比一元的情况。

二重积分也有中值定理:

函数f(x,y)f(x,y)在闭区域DD上连续,则存在一点(ξ,η)D(\xi, \eta)\in D,使 Df(x,y)dσ=f(ξ,η)σ \iint_D f(x,y)d\sigma = f(\xi, \eta)\sigma 1σDf(x,y)dσ=f(ξ,η) \frac{1}{\sigma}\iint_D f(x,y)d\sigma = f(\xi, \eta)

二重积分的计算

直角坐标

基本思想就是化成累次积分

二重积分的几何意义是以某个区域为底的曲顶柱体的体积,如果把这个柱体切成很多薄片,每个薄片的面积就是一个曲边梯形,把这些梯形面积积分起来,就得到了二重积分的值。

下面就是最基本的形式:

Df(x,y)dxdy=abdxϕ1(x)ϕ2(x)f(x,y)dy \iint_Df(x,y)dxdy = \int_a^bdx\int_{\phi_1(x)}^{\phi_2(x)}f(x,y)dy

必要的时候可以把区域划分为多个小区域,分别积分后加在一起。有时候也可以用几何意义,虽然道理讲不清楚。

几个作业题:(懒得打,以后再加进来)

换元

都是因为这题作业题我才会纠结换元的问题:

计算Dx2y2dxdy\iint_{D} x^{2} y^{2} \mathrm{d} x \mathrm{d} y,其中DD是由曲线xy=1x y=1xy=2x y=2和直线y=xy=xy=4xy=4x所围成的第一象限的区域。

换元实际上就是面积的变换,利用我最讨厌的Jacobi行列式就可以做到。 Df(x,y)dxdy=Dg(u,v)(x,y)(u,v)dudv \iint_Df(x,y)dxdy = \iint_{D'}g(u,v)\left|\frac{\partial(x,y)}{\partial{(u,v)}}\right|dudv 具体证明并不复杂,就是考虑每个面积元在变换实施后的改变。

利用换元法,就可以直接获得极坐标下二重积分的计算方法。(大概就是旋转体体积柱壳法的来源)

极坐标

x=ρcosθx = \rho\cos\thetay=ρsinθy=\rho\sin\theta

Df(x,y)dxdy=Df(ρcosθ,ρsinθ)(x,y)(ρ,θ)dρdθ \iint_Df(x,y)dxdy = \iint_Df(\rho\cos\theta, \rho\sin\theta)\left|\frac{\partial(x,y)}{\partial{(\rho,\theta)}}\right|d\rho d\theta

其中

(x,y)(ρ,θ)=cosθρsinθsinθρcosθ=ρ \left|\frac{\partial(x,y)}{\partial{(\rho,\theta)}}\right| = \begin{vmatrix} \cos\theta & -\rho\sin\theta \\ \sin\theta & \rho\cos\theta \end{vmatrix} = \rho

故:

Df(x,y)dxdy=Dρf(ρcosθ,ρsinθ)dρdθ \iint_Df(x,y)dxdy = \iint_D\rho f(\rho\cos\theta, \rho\sin\theta) \cdot d\rho d\theta

这就是大物里面求圆盘转动摩擦力矩的积分方法。

三重积分

基本思想也是替换成累次积分

先一后二法(投影法)

本质就是把一块体积看作是无数细长柱体拼起来的,先在线段上积分(一元积分),然后把投影面积上的线再积起来(二元积分)。

先二后一法(截面法)

这个比较好理解,就是把一个区域切成很多薄片,每个薄片分别进行二重积分,最后再积起来。

换元法

跟二元一样。一般是换成柱坐标或者球坐标。

换成柱坐标好说,但是换成球坐标还是需要注意。

{x=ρsinϕcosθy=ρsinϕsinθz=ρcosϕ \left\{ \begin{aligned} & x = \rho\sin\phi\cos\theta \\ & y = \rho\sin\phi\sin\theta \\ & z = \rho\cos\phi \end{aligned} \right.

θ\theta是向量与x轴夹角,ϕ\phi是向量与z轴夹角。画个图好理解。书上是理解为三个曲面交出一个点(球面,圆锥面,平面)。总之很独特,感觉比二维的情况复杂多了。

Jacobi行列式不好算,总之,最终得到结果dv=ρ2sinϕ dρdϕdθdv = \rho^2\sin\phi \ d\rho d\phi d\theta

重积分的几个典型应用

一切按定义推。如果写成矢量形式会更简洁。

求重心

假设有一个平面薄片,密度分布函数为ρ(x,y)\rho(x, y)s=xi+yj\vec s = x\vec i + y\vec j是薄片上某一质点的位矢。

则总质量就是

M=Dρ(x,y)dσ M = \iint_D \rho(x,y) d\sigma

重心的位矢就是

s0=1MDrρ(x,y) dσ \vec s_0 = \frac{1}{M}\int_D\vec{r}\rho(x, y) \ d\sigma

三维物体如法炮制即可。

求转动惯量

物体的空间区域为Ω\Omega,有连续的密度分布函数ρ(x,y,z)\rho(x,y,z)

zz轴的转动惯量就是

Iz=Ω(x2+y2)ρ(x,y,z) dV I_z = \iiint_\Omega (x^2+y^2)\rho(x,y,z) \ dV

对原点的转动惯量就是

IO=Ω(x2+y2+z2)ρ(x,y,z) dV I_O = \iiint_{\Omega} (x^2+y^2+z^2)\rho(x,y,z)\ dV

求引力

物体空间区域为Ω\Omega,给定一个质点的位矢s\vec{s},有密度ρ(s)\rho(\vec s),求这个物体对区域外一点s0\vec s_0的万有引力。 F=GΩρ(s)ss0(ss0) dV \vec F = G\iiint_\Omega\frac{\rho(\vec s)}{|\vec s - \vec{s}_0|}(\vec s - \vec s_0) \ dV

曲线曲面积分

第一类曲线积分(对弧长)

Lf(x,y)ds \int_Lf(x,y) ds

如果是闭合曲线,则记为 Lf(x,y)ds \oint_Lf(x,y)d s 各种性质不再赘述。关键是怎么求。

基本思路就是化为参数方程

{x=ϕ(t)y=ψ(t) \begin{cases} x = \phi(t)\\ y = \psi(t) \end{cases}

ds=xt2+yt2dt ds = \sqrt{x'^2_t + y'^2_t}dt

Lf(x,y)ds=t1t2f[ϕ(t),ψ(t)]ϕ2(t)+ψ2(t)dt \int_Lf(x,y)ds = \int_{t_1}^{t_2}f[\phi(t), \psi(t)]\sqrt{\phi'^2(t)+\psi'^2(t)}dt

虽然看起来很丑,但是实际做起来并不难,只是繁琐罢了。这种做法有很多条件,具体看书,不是重点。更高维的如法炮制。

如果是极坐标,需要注意 ds=r2+r2dθ ds = \sqrt{r^2+r'^2}d\theta

第二类曲线积分(对坐标)

LFds \int_L\vec{F}\cdot d\vec{s}

三个轴分别积分就是了。不难,反而更简单。

{–不是三个轴分别积分那么简单的,这样分别积分是有条件的。(路径是折线)–} 把问题复杂化了。

用参数方程来理解。

{x=x(t)y=y(t) \left\{ \begin{aligned} & x = x(t) \\ & y = y(t) \end{aligned} \right.

然后代进积分中

LP(x,y)dx+Q(x,y)dy=LP(x(t),y(t))x(t)dt+ \int_{L}P(x,y)dx + Q(x, y)dy = \int_LP(x(t), y(t))x'(t)dt + \cdots

{++稍微化一下就能发现++}

LP(x,y)dx+Q(x,y)dy=LP(x(t),y(t))x(t)dt+Q(x(t),y(t))y(t)dt=LP(x(t),y(t))x(t)dt+LQ(x(t),y(t))y(t)dt=LPdx+LQdy \int_{L}P(x,y)dx + Q(x, y)dy = \int_LP(x(t), y(t))x'(t)dt + Q(x(t), y(t))y'(t)dt = \int_LP(x(t), y(t))x'(t)dt + \int_L Q(x(t), y(t))y'(t)dt = \int_LPdx + \int_LQdy

两类曲线积分是可以互相转换的

LFds=LFssds \int_L\vec F\cdot d\vec s = \int_L \frac{\vec F\cdot \nabla\vec s}{|\nabla\vec s|}ds #### Green公式

类比Newton-Leibniz公式?

先对区域分类。

单连通区域和复连通区域

如果DD内任何一条闭合曲线所围的区域都属于DD,那么就是单连通的。简单说就是没有洞。否则就是复连通(有洞)。

考虑一个单连通的闭区域DD,函数P(x,y)P(x,y)Q(x,y)Q(x,y)在区域内都有连续的一阶偏导数LL是区域DD的边界,那么

D(QxPy)dxdy=LPdx+Qdy \iint_D\left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right)dxdy = \oint_L Pdx + Qdy

果不其然,证明用了Newton-Leibniz公式。

需要考虑xx型还是yy型。书上证明假定既是xx型,也是yy型,比较普遍。

必须强调 ==LL是有正方向的,也就是DD始终在观察者的左侧==

如果DD是复连通区域,那么需要考虑全部边界的曲线积分,然后起来。

Green公式还可以写成向量形式

CFn0ds=DFdσ \oint_C \vec F \cdot\vec n^0ds = \iint_D\nabla \vec F d\sigma

利用Green公式,可以得到一个面积公式

A=12Lxdyydx A = \frac{1}{2}\oint_Lxdy-ydx

计算

Cxdyydxx2+y2 \oint_C \frac{xdy-ydx}{x^2+y^2}

CC包围原点的任意闭合曲线

注意,Green公式不能用,因为在原点没有定义,也就没有偏导数

Gauss公式

Green公式的三维推广

Stokes公式

曲面积分与曲面边界的曲线积分的关系。

Σ(RyQz)dydz+(PzRx)dzdx+(QxPy)dxdy=ΓPdx+Qdy+Rdz \iint_\Sigma\left(\frac{\partial R}{\partial y} - \frac{\partial Q}{\partial z}\right)dydz + \left(\frac{\partial P}{\partial z}-\frac{\partial R}{\partial x}\right)dzdx + \left(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right)dxdy = \oint_\Gamma Pdx + Qdy + Rdz

行列式助记

ΣdydzdzdxdxdyxyzPQR=LPdx+Qdy+Rdz \iint_\Sigma \begin{vmatrix} dydz & dzdx & dxdy \\ \frac{\partial}{\partial x} & \frac{\partial}{\partial y} & \frac{\partial}{\partial z} \\ P & Q & R \end{vmatrix} = \oint_L Pdx + Qdy + Rdz

向量形式

ΣrotAndS=LAtds \iint_\Sigma \mathrm{rot} \vec A\cdot\vec ndS = \oint_L \vec A\cdot \vec t ds

散度和旋度

本节内容参考《矢量分析和场论》

散度

公式支持垃圾,不写了Ω(Pdydz+Qdzdz+Rdxdy)dv \iint_\Omega \left(P dydz + Qdzdz+Rdxdy\right)dv

divv=Px+Qy+Rz \mathrm{div}\boldsymbol{v} = \frac{\partial P}{\partial x}+\frac{\partial Q}{\partial y}+\frac{\partial R}{\partial z}

实际上是用了Gauss公式: ΣvndS=Ωdivvdv \iint_\Sigma \vec v \cdot \vec ndS = \iiint_\Omega \mathrm{div}\vec vdv

旋度

rotA=ijkxyzPQR \mathrm{rot}\boldsymbol A = \begin{vmatrix} \boldsymbol i & \boldsymbol j & \boldsymbol k \\ \frac{\partial}{\partial x} & \frac{\partial}{\partial y} & \frac{\partial}{\partial z} \\ P & Q & R \end{vmatrix}

实际上是用Stokes公式: Lvds=ΣrotvndS \oint_L \vec v\cdot d\vec s = \iint_\Sigma \mathrm{rot}\vec v\cdot \vec ndS

微分方程

主要是常微分方程,这部分内容老师自己的讲义写得比教材清楚(而且教材有种怪味),因此这部分的笔记基本上是照搬老师的讲义。

一、二阶的一些特殊的常系数微分方程

非线性微分方程不是每个我们都能解,所以才会出现下面这种奇奇怪怪的分类,只是一个技巧的总结,不成一个知识体系。

  1. 可分离变量的:分离变量,两边积分

  2. 齐次的

    方程肯定可以化为这种形式

    dxdy=f(yx) \frac{dx}{dy} = f\left(\frac{y}{x}\right)

    接下来只需设u=y/xu = y/x,就可分离变量了。

    u+xdudx=f(u) u + x\frac{du}{dx} = f(u)

  3. 可化为齐次的

    对于

    y=f(a1x+b1y+c1a2x+b2y+c2) y' = f\left(\frac{a_1x+b_1y+c_1}{a_2x+b_2y+c_2}\right)

    利用不动点,也就是分子分母联立,解方程组。如果系数矩阵为0,说明上下两个方程线性相关,可以直接换元为可分离变量的微分方程。

  4. 可降阶的二阶微分方程

    1. y=f(x,y)y''=f(x,y'),令y=u(x)y'=u(x)
    2. y=f(y,y)y''=f(y,y'),令y=u(y)y'=u(y)
  5. Bernoulli方程

    y+P(x)y=Q(x)yn y'+P(x)y=Q(x)y^n

    方程两边同时除以yny^n,化为一阶线性方程。

  6. 全微分方程(恰当方程)

    P(x,y)dx+Q(x,y)dy=0 P(x,y)dx + Q(x,y)dy = 0

    需要验证平衡条件Qx=Py\displaystyle \frac{\partial Q}{\partial x} = \frac{\partial P}{\partial y}

    若不满足平衡条件,可以尝试找积分因子

n阶线性微分方程

一阶线性方程

可以直接套公式。也可以求出对应其次方程的通解,然后加上这个非其次方程的一个特解。

dydx+P(x)y=Q(x) \frac{dy}{dx} + P(x)y = Q(x)

y=eP(x)dx(Q(x)eP(x)dx+C) y = e^{-\int P(x)dx}\left(\int Q(x)e^{\int P(x)dx} + C\right)

具体推导过程书上有。

二阶线性方程

d2ydx+P(x)dydx+Q(x)y=0 \frac{d^2y}{dx}+P(x)\frac{dy}{dx}+Q(x)y = 0

如果已知齐次方程一个解,可以直接使用Liouville公式,求得另一个线性无关的解。 y2=y11y12eP(x)dxdx y_2 = y_1\int\frac{1}{y_1^2}e^{-\int P(x)dx}dx

Wronsky行列式可以判断函数组是否线性相关。

W(x)i,j=yi(j)W(x)_{i,j} = y_i^{(j)}

对于非齐次方程,使用常数变易法。

假设C1(x)C_1(x)和C2(x)C_2(x)y=C1(x)y1+C2(x)y2 y^* = C_1(x)y_1 + C_2(x)y_2 然后求导,添加限制条件,解方程。

二阶常系数微分方程

y+py+qy=0 y'' + py' + qy = 0

t=erxt = e^{rx},则得到特征方程 r2+pr+q=0 r^2 + pr + q = 0 如果没有重根(共轭复根也是),那么直接线性组合即可。如果有重根,则xx乘以求得的根就是另一个根。