数学分析 - 数学分析基本功

这篇文章里是有关数学分析中多个基本功的总结。

其中大量的知识在大物,数学建模,数学竞赛中使用。

一、求和

1.1 总论

求和的地位跟极限类似,是数学分析中的基础操作,因为利用求和,可以沟通柯西收敛原理,又是级数预处理步骤,所以总结求和的方法就显得尤为重要了。

1.2 利用幂级数进行求和

这个的特征一般是阶乘n(n+1)n(n+1)2n2^n 这种结构。

n=1(1)nn(n+1)2n\sum_{n=1}^{\infty}(-1)^n\frac{n(n+1)}{2^n}

这个没有办法用数项级数求和的办法求和,所以是用转化成函数项级数求和的方法进行计算的。可以将式子看成

S(x)=n=1(1)nn(n+1)2nxnS(x)=\sum_{n=1}^{\infty}(-1)^n\frac{n(n+1)}{2^n}x^n

很明显,往上积分两次就可以得到等比数列求和,然后往下求导就可以了。

在这里列一下比较常见的泰勒级数

1.2.1 阶乘类

ex=1+x+12!x2++1n!xn+e^x=1+x+\frac{1}{2!}x^2+\dots+\frac{1}{n!}x^n+\dots

sinx=x13!x3+15!x5++(1)n11(2n1)!x2n1+\sin x=x-\frac{1}{3!}x^3+\frac{1}{5!}x^5+\dots+(-1)^{n-1}\frac{1}{(2n-1)!}x^{2n-1}+\dots

cosx=112!x2+14!x4++(1)n12n!x2n+\cos x=1-\frac{1}{2!}x^2+\frac{1}{4!}x^4+\dots+(-1)^{n}\frac{1}{2n!}x^{2n}+\dots

1.2.2 等比级数类

11x=1+x+x2++xn+\frac{1}{1-x}=1+x+x^2+\dots+x^n+\dots

11+x=1x+x2++(x)n+\frac{1}{1+x}=1-x+x^2+\dots+(-x)^n+\dots

11x2=1+x2+x4++x2n+\frac{1}{1-x^2}=1+x^2+x^4+\dots+x^{2n}+\dots

1.2.3 等差特征类

ln(1+x)=xx22+x33++(1)nxnn+ln(1+x)=x-\frac{x^2}{2}+\frac{x^3}{3}+\dots+(-1)^n\frac{x^n}{n}+\dots

arctanx=xx33+x55++(1)nx2n12n1+\arctan x=x-\frac{x^3}{3}+\frac{x^5}{5}+\dots+(-1)^n\frac{x^{2n-1}}{2n-1}+\dots

可以看到等差特征求导就可以得到等比特征,这也正是依靠幂级数的分析性质(积分微分)来获得这些级数的。

1.2.4 双阶乘特征类

1+x=1+12x18x2++(1)n1(2n3)!!(2n)!!xn+\sqrt{1+x}=1+\frac{1}{2}x-\frac{1}{8}x^2+\dots+(-1)^{n-1}\frac{(2n-3)!!}{(2n)!!}x^n+\dots

11+x=112x+38x2++(1)n(2n1)!!(2n)!!xn+\frac{1}{\sqrt{1+x}}=1-\frac{1}{2}x+\frac{3}{8}x^2+\dots+(-1)^{n}\frac{(2n-1)!!}{(2n)!!}x^n+\dots

11x2=1+12x2+38x4++(2n1)!!(2n)!!x2n+\frac{1}{\sqrt{1-x^2}}=1+\frac{1}{2}x^2+\frac{3}{8}x^4+\dots+\frac{(2n-1)!!}{(2n)!!}x^{2n}+\dots

arcsinx=x+16x3+340x5++(2n1)!!(2n)!!12n+1x2n+1+\arcsin x=x+\frac{1}{6}x^3+\frac{3}{40}x^5+\dots+\frac{(2n-1)!!}{(2n)!!}\frac{1}{2n+1}x^{2n+1}+\dots

可以看到这一组基本上就对求和没啥帮助了,双阶乘的特征不易观察,但是这一组都是由幂函数展开得来的,录于此也是为了全面。

1.3 裂项求和

1.3.1 反正切函数裂项

arctan(xy1+xy)=arctanxarctany\arctan (\frac{x-y}{1+xy})=\arctan x-\arctan y

有了这个公式就可以完成完成如下裂项

arctan(12n2)=arctan12n1arctan12n+1\arctan (\frac{1}{2n^2})=\arctan \frac{1}{2n-1}-\arctan \frac{1}{2n+1}

1.3.2 积化和差裂项

对于求和 sinnx\sum\sin nx ,可以进行如下处理

k=1sinkx=1sinx2k=1sinx2sinkx=12sinx2k=1cos(kxx2)cos(kx+x2)<=1sinx2\begin{aligned} \sum_{k=1}^\infty \sin kx\\ =\frac{1}{\sin \frac{x}{2}}\sum_{k=1}^\infty\sin \frac{x}{2}\sin kx\\ =\frac{1}{2\sin \frac{x}{2}}\sum_{k=1}^\infty \cos (kx-\frac{x}{2})-\cos (kx+\frac{x}{2})\\ <=\frac{1}{\sin \frac{x}{2}} \end{aligned}

对于 cosnx\sum\cos nx 也有相同结论。除了处理这种简单的求和,还可以处理一些复杂的结构,如:

Sn=n=1qncosnx2qcosxSn=k=1qk+1[cos(k+1)x+cos(k1)x]\begin{aligned} S_n=\sum_{n=1}^{\infty}q^n\cos nx\\ 2qcosxS_n=\sum_{k=1}^{\infty}q^{k+1}[\cos (k+1)x+\cos(k-1)x] \end{aligned}

然后再进行化简,其实后面的方法是构造一个关于 SnS_n 方程 ,就是高中时求等差与等比相乘数列的算法,现在因为有了更好的级数工具后,使用频次减少。

1.4 利用积分的定义求和

1.5 柯西求和

柯西求和的条件更为宽松,在这里可以探讨一下什么结构是不好求和的?我认为是三角函数,尤其是三角函数内还有其他结构的时候,但是由三角函数组成的结构往往又是收敛的,所以用柯西收敛原理直接放缩成 1 就显得很容易。柯西求和还有一个特点是对分母的关注远大于分子,可以在下面的例子中看出。

S3n+pS3n=S6nS3n=13n+1+13n+213n+3+16n2+16n116n>13n+3+13n+313n+3+16n+16n16n>13(12n++12n)=16>ε0\begin {aligned} |S_{3n + p}-S_{3n}|=|S_{6n}-S_{3n}|\\ =\frac {1}{3n + 1}+\frac {1}{3n + 2}-\frac {1}{3n + 3}\dots+\frac {1}{6n-2}+\frac {1}{6n-1}-\frac {1}{6n}\\ >\frac{1}{3n+3}+\frac{1}{3n+3}-\frac{1}{3n+3}\dots+\frac{1}{6n}+\frac{1}{6n}-\frac{1}{6n}\\ >\frac{1}{3}(\frac{1}{2n}+\dots+\frac{1}{2n})=\frac{1}{6}>\varepsilon_0 \end{aligned}

sin(n+1)!(n+1)!+sin(n+2)!(n+2)!++sin(n+p)!(n+p)!<=1(n+1)!+1(n+2)!++1(n+p)!<=1n(n+1)+1(n+1)(n+2)++1(n+p1)(n+p)<1n<ε\begin{aligned} \lvert\frac{\sin(n+1)!}{(n+1)!}+\frac{\sin(n+2)!}{(n+2)!}+\dots+\frac{\sin(n+p)!}{(n+p)!}\rvert\\ <=\frac{1}{(n+1)!}+\frac{1}{(n+2)!}+\dots+\frac{1}{(n+p)!}\\ <=\frac{1}{n(n+1)}+\frac{1}{(n+1)(n+2)}+\dots+\frac{1}{(n+p-1)(n+p)}\\ <\frac{1}{n}<\varepsilon \end{aligned}


二、求极限

2.1 估算次数

2.1.1 双阶乘比值

12n<(2n1)!!(2n)!!<12n\frac{1}{2\sqrt {n}}<\frac{(2n-1)!!}{(2n)!!}<\frac{1}{\sqrt {2n}}

证明如下:

(2n1)!!(2n)!!=113352n12n12462n=132154(2n3)(2n1)2n22n12n<2n12n<12n\begin{aligned} \frac{(2n-1)!!}{(2n)!!}=\frac{\sqrt1*\sqrt1*\sqrt3*\sqrt3*\sqrt5\dots \sqrt{2n-1}*\sqrt{2n-1}}{2*4*6\dots*2n}\\ =1*\frac{\sqrt3}{2}*\frac{\sqrt{15}}{4}\dots*\frac{\sqrt{(2n-3)(2n-1)}}{2n-2}*\frac{\sqrt{2n-1}}{2n}\\ <\frac{\sqrt{2n-1}}{2n}<\frac{1}{\sqrt{2n}} \end{aligned}

2.2.2 阶乘

由 Stirling 公式知:

n!2πn(ne)nn!\sim \sqrt{2\pi n}(\frac{n}{e})^n

2.2.3 复杂分式

1n+(1)n\frac{1}{\sqrt n+(-1)^n}

要注意到分式其实就是 - 1 次方,所以是可以用泰勒公式进行化解的,有

1n+(1)n=1n11+(1)nn=1n[1(1)nn+o(1n)]1n\frac{1}{\sqrt n+(-1)^n}=\frac{1}{\sqrt n}\frac{1}{1+\frac{(-1)^n}{\sqrt n}}= \frac{1}{\sqrt n}[1-\frac{(-1)^n}{\sqrt n}+o(\frac{1}{n})]\sim \frac{1}{n}

2.3.4 三角函数周期

我们可以利用三角函数的周期性使他吸收或排除一个 (1)n(-1)^n 结构,不仅可以用于求阶次,还可以用于化简。

这个是求阶次

sin(πn2+1)=(1)n+1sin(nππn2+1)=(1)n+1sinπn+n2+11n\sin (\pi\sqrt {n^2+1})=(-1)^{n+1}\sin(n\pi-\pi\sqrt{n^2+1})=(-1)^{n+1}\sin\frac{\pi}{n+\sqrt {n^2+1}}\sim \frac{1}{n}

这个是化简,这样就可以采用 Dirichlet 判别法了:

(1)ncos2n2n=cos(2n+nπ)2n\sum(-1)^n\frac{\cos 2n}{2n}=\sum\frac{\cos(2n+n\pi)}{2n}

2.2 11^{\infty} 型极限

我们要客观的评价这件事,就是确实利用 11^{\infty} 型极限可以看出很多难求的极限,比如

(2n2+n+12n2+5n+4)n+12(\frac{2n^2+n+1}{2n^2+5n+4})^{\frac{n+1}{2}}

但是这种处理的本质是等价无穷小代换,如果再遇到比如需要明确知道阶数的题目,这个方法容易使人产生惰性,如

e(1+1n)ne-(1+\frac{1}{n})^n

他的阶数是 1n\frac{1}{n} 是通过泰勒展开获得的,但是容易让人麻爪。


三、微分方程

3.1 变量分离方程与齐次方程

满足如下结构被称为变量分离方程

dydx=f(x)g(y)\frac{dy}{dx}=\frac{f(x)}{g(y)}

这种情况就是进行如下变化

f(x)dx=g(y)dyf(x)dx = g(y)dy

然后就可以进行积分了

f(x)dx=g(y)dy\int f(x)dx = \int g(y)dy

而满足如下结构被称为齐次方程

dydx=f(yx)\frac{dy}{dx}=f(\frac{y}{x})

在这种情况下,先利用 u=yxu = \frac{y}{x} 进行换元,得到

dydx=f(u)\frac{dy}{dx}=f(u)

同时由 u=yxu = \frac{y}{x} 可以得出

dy=udx+xdudy = udx + xdu

带入可得

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

整理可得

1f(u)udu=1xdx\frac{1}{f(u) - u} du = \frac{1}{x}dx

可以看到,齐次方程换元法结合变量分离得出的技术,这两种方法基本上是人的计算范围内的方法。

3.2 一阶线性微分方程与伯努利方程

形如这种结构的方程被称为一阶线性微分方程

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

其解为:

y=CeP(x)dx+eP(x)dxQ(x)eP(x)dxdxy=Ce^{-\int P(x)dx}+e^{-\int P(x)dx}\int Q(x)e^{\int P(x)dx}dx

可以看出解呈现出一个特解加上齐次通解的结构。

而伯努利方程为

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

也是可以通过换元法转化成一阶线性微分方程求解的。在处理非齐次方程式,用到了常数变异法,大概是不能为人所想到的。

3.3 二阶线性齐次微分方程

形如这种结构的方程被称为二阶线性齐次微分方程

y+py+qy=0y^{\prime\prime}+py^\prime+qy=0

对于这种方程,首先要将其转为特征根方程,并解出 x=r1,r2x=r_1, r_2

r2+rx+q=0r^2+rx+q=0

然后据此进行分类讨论,一共有三种情况

  • r1,r2r_1, r_2 为两互异实根,则通解为

y=C1er1x+C2er2xy=C_1e^{r_1 x}+C_2e^{r_2 x}

  • r1,r2r_1, r_2 为两重根,则通解为

    y=C1erx+C2xerxy=C_1e^{rx}+C_2xe^{rx}

  • r1,r2r_1, r_2 为两互异虚根 r1=α+βi,r2=αβir_1=\alpha+\beta i,r_2=\alpha-\beta i,则通解为

    y=eax(C1cosβx+C2sinβx)y=e^{ax}(C_1\cos\beta x+C_2\sin\beta x)

    其实关于互异的虚根,是可以用统一的方法处理的

    er1x=eax(cosβx+isinβx),er2x=eax(cosβxisinβx)e^{r_1 x} = e^{ax}(\cos \beta x +i\sin \beta x),\quad\quad e^{r_2 x} = e^{ax}(\cos \beta x -i\sin \beta x)

    因为我们想要实函数,所以基础解系进行重新构造

    y1=12(er1x+er2x)=eaxcosβx,y2=12i(er2xer1x)=eaxsinβxy_1 = \frac12 (e^{r_1 x} + e^{r_2 x}) = e^{ax}\cos\beta x,\quad\quad y_2 = \frac12 i(e^{r_2 x} - e^{r_1 x}) = e^{ax} \sin\beta x

    所以才有了最后的结构

    y=eax(C1cosβ+C2sinβ)y=e^{ax}(C_1\cos\beta+C_2\sin\beta)

3.4 二阶线性非齐次方程求解

依然是采取通解 + 特解的思路,求通解的方法在上一节已经介绍过了,这一节主要介绍求特解的方法。有两种情况,其中 Pm(x),Qm(x)P_m(x), Q_m(x) 均指最高次项为 mm 的多项式。在确定特解的样子后,采用待定系数法求解即可。

3.4.1 y+py+qy=Pm(x)eaxy^{\prime\prime}+py^\prime+qy=P_m(x)e^{ax}

  • 当 a 不是特征方程的根时,特解为

y=Qm(x)eaxy=Q_m(x)e^{ax}

  • 当 a 是特征方程的单根时,特解为

    y=xQm(x)eaxy=xQ_m(x)e^{ax}

  • 当 a 是特征方程的重根时,特解为

    y=x2Qm(x)eaxy=x^2Q_m(x)e^{ax}

3.4.2 y+py+qy=Pm(x)eaxcosβy^{\prime\prime}+py^\prime+qy=P_m(x)e^{ax}\cos\betay+py+qy=Pm(x)eaxsinβy^{\prime\prime}+py^\prime+qy=P_m(x)e^{ax}\sin\beta

  • α+βi\alpha+\beta i 不是特征方程的根时

y=eax(C1Qm(x)sinβx+C2Rm(x)cosβx)y=e^{ax}(C_1 Q_m(x)\sin\beta x+C_2R_m(x)\cos\beta x)

  • α+βi\alpha+\beta i 是特征方程的根时

    y=xeax(C1Qm(x)sinβx+C2R(m)cosβx)y=xe^{ax}(C_1Q_m(x)\sin\beta x+C_2R(m)\cos\beta x)


四、积分

4.1 点火公式

In=0π2cosnxdx=0π2sinnxdxIn=n1nIn2In={(n1)!!(n)!!π2n(n1)!!(n)!!n\begin{aligned} I_n=\int_{0}^{\frac{\pi}{2}}\cos ^nxdx=\int_{0}^{\frac{\pi}{2}}\sin ^nxdx\\ I_n=\frac{n-1}{n}I_{n-2}\\ I_n=\begin{cases}\frac{(n-1)!!}{(n)!!}\frac{\pi}{2}\quad n偶\\\frac{(n-1)!!}{(n)!!}\quad n奇\end{cases} \end{aligned}

4.2 割函数积分

secxdx=cosxcos2xdx=dsinxsin2x1=12ln1+sinx1sinx+C=lnsecx+tanx+C\int\sec xdx=\int\frac{\cos x}{\cos^2x}dx=\int\frac{d\sin x}{\sin^2x-1}=\frac{1}{2}\ln|\frac{1+\sin x}{1-\sin x}|+C=\ln |\sec x+\tan x|+C

cscxdx=lncscx+cotx+C\int\csc xdx=\ln |\csc x+\cot x|+C

4.3 有理函数积分

首先需要把有理多项式的积分,首先应该把它化为多项式真分式的和,在把真分式分解成部分分式的形式,对于部分分式的四种基本类型,都是可以进行积分的。

另外需要强调的是,这种预处理几乎是必须的,它并不像三角函数那样可以跳过,这是必须的。

1xadx=lnxa+C\int\frac{1}{x-a}dx = ln|x-a|+C

1(xa)ndx=11n(xa)1n+C\int\frac{1}{(x-a)^n}dx = \frac{1}{1-n}(x-a)^{1-n}+C

Mx+Nx2+px+qdx首先要对分子进行配方,转变成这种形式\int\frac{Mx+N}{x^2+px+q}dx 首先要对分子进行配方,转变成这种形式

Mu+bu2+a2du=M2d(u2+a2)u2+a2+bduu2+a2=M2ln(u2+a2)+baarctanua+C\int\frac{Mu+b}{u^2+a^2}du= \frac{M}{2}\int\frac{d(u^2+a^2)}{u^2+a^2}+b\int\frac{du}{u^2+a^2}=\frac{M}2ln(u^2+a^2)+\frac b aarctan\frac u a+C

可以看到,主要利用的是配方法arctanx 的微分,这种形式一定要熟悉。

Mx+N(x2+px+q)ndx=M2u2+a2(u2+a2)n+bdu(u2+a2)n\int\frac{Mx+N}{(x^2+px+q)^n}dx=\frac M2\int\frac{u^2+a^2}{(u^2+a^2)^n}+b\int\frac{du}{(u^2+a^2)^n}

现在难点就落在对最后一项的积分上了,这个是需要迭代才能积分出来的。较为复杂。有(这里真的很复杂,首先(1)中那个构造就很反人类,然后(2)中分部积分的时候,居然把分子拆开了,也是不太常见,所以一定要背过

In=du(u2+a2)n=1a2u2+a2u2(u2+a2)ndu=In1a2+1a2u2(u2+a2)ndu(1)I_n=\int\frac{du}{(u^2+a^2)^n}=\frac 1 {a^2}\int\frac{u^2+a^2-u^2}{(u^2+a^2)^n}du\tag{1}=\frac{I_{n-1}}{a^2}+\frac{1}{a^2}\int\frac{-u^2}{(u^2+a^2)^n}du

所以问题的交点又变成了对最后一项的积分,采用分部积分

u2(u2+a2)ndu=12u(u2+a2)nd(u2+a2)=12(1n)(u(u2+a2)n1In1)(2)\int\frac{u^2}{(u^2+a^2)^n}du=\frac12\int\frac{u}{(u^2+a^2)^n}d(u^2+a^2)=\frac{1}{2(1-n)}(\frac{u}{(u^2+a^2)^{n-1}}- I_{n-1})\tag2

4.4 积分逻辑

4.4.1 微分的观察

积分的最基本逻辑一定是对微分的观察,下面罗列几个比较有用的

(arctanx)=1x2+1(arccotx)=1x2+1(\arctan x)^{\prime}=\frac{1}{x^2+1},(\operatorname{arccot} x)^{\prime}=-\frac{1}{x^2+1}

这个结合配方法可以用来处理分子是有实数解二次项的式子。

(arcsinx)=11x2,(arccosx)=11x2(\arcsin x)^{\prime} = \frac{1}{\sqrt{1-x^2}},(\arccos x)^{\prime} = -\frac{1}{\sqrt{1-x^2}}

这个可以用于处理一部分的含根式的积分。

(tanx)=sec2x,(cotx)=csc2x,(secx)=tanxsecx,(cscx)=cotxcscx(\tan x)^{\prime}=\sec^2x,(\cot x)^\prime=-\csc^2x,(\sec x)^\prime=\tan x\sec x,(\csc x)^\prime=-\cot x\csc x

这四个主要是用于全部由三角函数组成积分项,因为化简的时候会所涉及积分变换。

4.4.2 分部积分

对于分部积分,对部分求导和对部分积分所能达到的一种均衡。有些函数求导可以使其结构简单,有些函数积过分以后还是很好积分,下面分类讨论。

适合求导的函数:x 的多项式,求几次就没了,就可以处理其他结构了。lnx,求完就变成多项式了,而且他也没法积分(这也是考量的要点),与他相同的还有反三角函数,因为没有办法直接积分,相反求导起码可以变成多项式或者根式。三角函数,积几次就变成原来了,就可以构造循环了。

适合积分的函数:exe^x​​,积分完后还是本身。1,这个积分完以后就是 x。sec2x\sec^2x 这种,积分完是 tanx\tan x 然后再进行操作,比如

sec3xdx=secxsec2xdx=secxtanxsecx(tanx)2dx=secxtanxsec3xdx+secxdx\int\sec^3xdx=\int\sec x\sec^2 xdx=\sec x\tan x-\int\sec x(\tan x)^2dx=\sec x\tan x-\int\sec^3 xdx+\int\sec xdx

4.4.3 形式变换

4.5 根式函数积分

4.5.1 将根式换掉

这个方法适合于含 ax+b\sqrt{ax+b}ax+bcx+d\sqrt{\frac{ax+b}{cx+d}}。这种方法的本质是可以将 t=f(x)t = f(x) 这个解出来,而且解还是一个比较容易处理的,如果解出来还是根式,那么还不如不换。

4.5.2 将根号下换掉

这个比较容易观察,如果是 R(nx,mx)R(^n\sqrt x,^m\sqrt x) 的形式,那就令 x=tmnx=t^{mn} 即可。

4.5.3 利用三角函数换元

因为我们有

1sin2x=cos2x,sec2x1=tan2xsec2x=tan2x+11-\sin^2x=\cos^2x,\sec^2x-1=\tan^2x,\sec^2x=\tan^2x+1

这样的式子,所以可以说,只要是二次项,都可以用三角函数换掉。所以只要先配方,然后代换,就可以了。当然更快的直接用反函数。

4.6 特殊积分

4.6.1 正态分布

I=ex2dxI=\int e^{x^2}dx

I2=ex2dxey2dy=ex2y2dxdy=02πdθ0+rer2dr=πI^2=\int e^{-x^2}dx\cdot\int e^{-y^2}dy=\iint e^{-x^2-y^2}dxdy=-\int^{2\pi}_0d\theta\int^{+\infty}_0re^{-r^2}dr=\pi

I=πI=\sqrt \pi

4.7 二重积分

4.7.1 将重积分转换为累次积分

只要是可积的,那么重积分就一定能转换成累次积分。也就是说,这是重积分必须进行的一步,然后还需要把积分区域分成 x 型区域,和 y 型区域。

4.7.2 对称性

4.7.2.1 对称性

要求积分区域被积函数都具有对称性。对于被积函数,如果有 f(x,y,z)=f(x,y,z)f(x,y,z)=f(-x,y,z) 或者 f(x,y,z)+f(x,y,z)=0f(x,y,z)+f(-x,y,z)=0 就认为具有对 x 具有对称性,对于积分区域,积分区域的表示方程或方程组有 D(x,y,z)=D(x,y,z)D(x,y,z)=D(-x,y,z) 就认为可以使用对 x 可以使用对称性解题了。

4.7.2.2 轮换对称性

只要求积分区域具有对称性,这种对称性只的是如果在表示积分区域的方程中两个变量可以交换位置,那么可以构造出一些函数,里面对应的变量也可以交换位置,比如说

x2+y2<=1x^2+y^2<=1

那么就有

xdxdy=ydxdy      x2dxdy=y2dxdy      x2ydxdy=xy2dxdy\int xdxdy=\int ydxdy\space\space\space\space\space\space\int x^2dxdy=\int y^2dxdy\space\space\space\space\space\space \int x^2ydxdy=\int xy^2dxdy

利用这个性质可以大幅化简一些复杂的多项式。

这种对称性与上面的不同,上面的是对于一个变量具有对称性,比如对 x 有对称性,但是轮换对称性指的是两个不同的变元之间具有对称性,满足 D(x,y,z)=D(y,x,z)D(x,y,z)=D(y,x,z) 那么就可以在积分函数中进行 f(x,y,z)=f(y,x,z)f(x,y,z)=f(y,x,z)​ 的代换,一般都是自己构造函数,可以消去某些量。

4.7.3 换元法

常用的是极坐标换元,但是还是有必要强调一下换元的通识,面积微元一旦被换掉,是需要乘一个雅克比矩阵的行列式的,这是很好理解的,因为代换的本质是代换面积微元,不同的面积微元的面积是不同的,一个行列式的值刚好可以弥补这种差距,要是细说,就是外积分了。

但是需要强调的是,一旦进行了换元,我们的正负就得自己判断了,这点在积分杂谈中也有体现,为了计算的速度,牺牲了严谨性,这不是换元法带来的,而是从重积分转成累次积分就有的代价。正因如此,我们在积分前才要考虑对称性(这是必须要做的),因为只有这样,才方便我们判断积分的正负。

对于积分的上下限,之前我一直没有弄懂,其实有一个很好的判断标准,就是极点与积分区域的关系(在 p151)

  • 极点在积分区域外,则 θ\theta 的限制是相切曲线的夹角,r 的上下限是两个函数
  • 极点在积分区域边界上,则 θ\theta 的限制是相切曲线的夹角,r 的上限是一个函数,下限是 0
  • 极点在积分区域内,则 θ\theta 是 0 到 2π2\pi ,r 的上限是一个函数,下限是 0

五、证明方法

5.1 证明常值恒等式

这种常值恒等式一般是通过求导后导数为零来进行证明的:

S(x)=xnn2S(x)=\sum \frac{x^n}{n^2} ,求证

S(x)+S(1x)+lnx×ln(1x)=CS(x)+S(1-x)+\ln x \times \ln(1-x)=C

可知,这样的求导就可以了。

5.2 反证法

因为反证可以获得一个新的性质,所以用处比较多,比如若证明发散,正面证明的话只有必要条件柯西两条路,但是如果先假设他收敛,那么很多收敛的性质就可以使用了。


六、其他知识

6.1 欧拉公式

eix=cosx+isinxe^{ix} = \cos x+i\cdot\sin x

证明可以用 ex,sinx,cosxe^x,\sin x,\cos x​的泰勒级数带入虚数单位即可。

这个公式是有极好的直观理解的,他可以看做是对复数的一种在复平面内实现的一种旋转,旋转的角度就是 x