高等数学随记 - 利用双元法求不定积分

前言

双元法是近些年来网络上流传出的一种求解不定积分的新方式,其既有准确得值、计算简便的快捷性,又在传统的第一类、第二类换元积分法的基础上有所创新,给我们提供了另一个视角看待不定积分求解的思维历程. 尤其用在考研时该方法的正确使用亦可在作答试卷时起到事半功倍的效果,特此深入研究了一下该方法,以个人见解对其总结汇集于此.

例题引入

例1. 求x2+a2dx.

解1. [第二类换元积分法]

x2+a2dx=a(xa)2+1dx=a2(xa)2+1d(xa).

利用三角换元,tanθ=xa,则secθ=tan2θ+1=x2+a2a.

x2+a2dx=a2secθdtanθ

=a2secθtanθa2tanθdsecθ

=a2secθtanθa2tan2θsecθdθ

=a2secθtanθa2(sec2θ1)secθdθ

=a2secθtanθa2sec3θdθ+a2secθdθ.

注意到

x2+a2dx=a2secθdtanθ

=a2sec3θdθ

故移项得

2a2secθdtanθ=a2secθtanθ+a2secθdθ

从而

x2+a2dx=a2secθdtanθ=a22secθtanθ+a22secθdθ

=a22secθtanθ+a22ln|tanθ+secθ|+C

=a22xax2+a2a+a22ln|xa+x2+a2a|+C

=xx2+a22+a22ln(x+x2+a2)+C.

(注意a22ln|a|已并入常数项C中;由于x2+a2+x恒为正,故去掉绝对值符号. )

解2. [双元虚圆换元法] 令y=x2+a2,易得y2x2=a2,从而ydy=xdx.

x2+a2dx=ydx

=xyxdy

=xyx2dxy

=xy(y2a2)dxy

=xyydx+a2dxy

移项得

2ydx=xy+a2dxy

ydx=xy2+a22dxy.

ydy=xdx,故dxy=dyx,由合比定理有dxy=dyx=dx+dyx+y=d(x+y)x+y=dln(x+y)(此处绝对值符号可去,原因同解1).

x2+a2dx=xy2+a22dxy

=xy2+a22ln(x+y)+C.

y=x2+a2代入得

x2+a2dx=xx2+a22+a22ln(x+x2+a2)+C.

方法总结:不定积分的双元换元法

一般地,我们将解不定积分的双元换元法分为两种类型(其中C为常实数):

  • 类型1. 实圆双元:x2+y2=Cxdx=ydy.
  • 类型2. 虚圆双元:x2y2=Cxdx=ydy.

对于以上两类型双元换元,我们有以下公式(由于常数C已在上两式中使用,故接下来积分常数用C0表示):

1. 双元第一公式

  • (1) 对于实圆双元,dxy=arctanyx+C0
  • (2) 对于虚圆双元,dxy=ln|x+y|+C0.

证明. (1) 由于ydy=xdx,故

ydxxdy=ydxxxdxy=(y2+x2)dxy

dx=y(ydxxdy)x2+y2

dxy=1yy(ydxxdy)x2+y2

=ydxxdyx2+y2

又由于

d(xy)=ydxxdyy2

dxy=y2y2+x2d(xy)

=1(xy)2+1d(xy)

=arctanxy+C0.

(2) 因ydy=xdx,故dxy=dyx,由合比定理有dxy=dyx=dx+dyx+y=d(x+y)x+y=dln|x+y|.

dxy=dln|x+y|

=ln|x+y|+C0.

2. 双元第三公式

  • (1) 对于实圆双元,dxy3=1y2+x2xy+C0=xCy+C0
  • (2) 对于虚圆双元,dxy3=1y2x2xy+C0=xCy+C0.

证明. (1) 类似双元第一公式的证法,

dxy3=1y2dxy

=1y2ydxxdyx2+y2

=1x2+y2ydxxdyy2

=1x2+y2d(xy)

=1x2+y2xy+C0

=xCy+C0.

(2) 由于

xdx=ydy

dy=xdxy

ydxxdy=ydxxxdxy

=(y2x2)dxy

dx=y(ydxxdy)y2x2

dxy3=1y3y(ydxxdy)y2x2

=ydxxdyy2(y2x2)

=1y2x2d(xy)

=1y2x2xy+C0

=xCy+C0.

3. 双元第二公式

注:此公式的形式已在例1中解2的过程中给出,此处总结一般情形.

  • (1) 对于实圆双元,ydx=xy2+x2+y22dxy=xy2+C2dxy
  • (2) 对于虚圆双元,ydx=xy2x2y22dxy=xy2C2dxy.

这里每一个结论均有两种证法,其中分部积分法即为例1中解2的过程所用形式.

证明. (1) [证法一 - 分部积分法] 由于

ydx=xyxdy

=xyx(xdxy)

=xy+x2dxy

=xy+Cy2ydx

=xy+Cdxyydx

故移项得

2ydx=xy+Cdxy

ydx=xy2+C2dxy

=xy2+x2+y22dxy.

[证法二 - 二分裂项法]

ydx=12ydx12(ydx)

=12(xdy+ydx)12(xdyydx)

=12d(xy)+12(ydxxdy)

=12xy+12(ydxx(xdyy))

=12xy+12x2+y2ydx

=xy2+x2+y22dxy

=xy2+C2dxy.

(2) [证法一 - 分部积分法] 由于

ydx=xyxdy

=xyxxdxy

=xyx2dxy

=xyC+y2ydx

=xyCdxyydx

故移项得

2ydx=xyCdxy

ydx=xy2C2dxy

=xy2x2y22dxy.

[证法二 - 二分裂项法]

ydx=12ydx12(ydx)

=12(xdy+ydx)12(xdyydx)

=12d(xy)+12(ydxxdy)

=12xy+12(ydxxxdyy)

=12xy+12y2x2ydx

=xy2+y2x22dxy

=xy2x2y22dxy

=xy2+C2dxy.

4. 双元点火公式

注:本公式的用途类似于 Wallis 公式,用于降低被积函数的次数以最终化为双元第一公式或双元第三公式的形式并得出待求式的结果.

对于实圆双元与虚圆双元,均有(1+n)xndy=xny+Cnxn2dy.

证明. 先证实圆双元.

xndy=xnyyd(xn)

=xnynyxn1dx

=xnynyxn1(ydyx)

=xny+ny2xn2dy

=xny+n(Cx2)xn2dy

=xny+Cnxn2dynxndy

移项即得

(1+n)xndy=xny+Cnxn2dy.

再证虚圆双元.

xndy=xnyyd(xn)

=xnynyxn1dx

=xnynyxn1ydyx

=xnyny2xn2dy

=xnyn(x2C)xn2dy

=xny+Cnxn2dynxndy

移项即得

(1+n)xndy=xny+Cnxn2dy.

方法运用:运用双元换元法求解不定积分

例2. 求 xaxbdx,其中a,bR为常数.

解. 令u=xav=xb,易得u2v2=ba=C为常数(虚元双元),

xaxbdx=uvd(u2+a)

=2u2duv

=2C+v2vdu

=2Cduv+2vdu

依次代入虚元双元的双元第二、第一公式可得

xaxbdx=2Cduv+2(xy2C2duv)

=Cduv+uv

=Cln|u+v|+uv+C0

=(ba)ln|xa+xb|+(xa)(xb)+C0.

例3. 求 xabxdx,其中a,bR为常数.

解. 令u=xav=bx,易得u2+v2=ba=C为常数(实元双元),

xabxdx=uvd(u2+a)

=2u2duv

=2u(uduv)

=2udv

=2(uvvdu)

=2vdu2uv

依次代入实元双元的双元第二、第一公式可得

xabxdx=2(uv2+C2duv)2uv

=Cduvuv

=Carctanuvuv+C0

=(ba)arctanxabx(xa)(bx)+C0.

posted @   srcres258  阅读(201)  评论(0编辑  收藏  举报
相关博文:
阅读排行:
· 【.NET】调用本地 Deepseek 模型
· CSnakes vs Python.NET:高效嵌入与灵活互通的跨语言方案对比
· Plotly.NET 一个为 .NET 打造的强大开源交互式图表库
· DeepSeek “源神”启动!「GitHub 热点速览」
· 我与微信审核的“相爱相杀”看个人小程序副业
点击右上角即可分享
微信分享提示