0

たまに使う不定積分

63
0

自分の備忘録も兼ねて,たまに使う不定積分をここにまとめます.
以下,a,bは実数の定数,Cは積分定数とします.

更新履歴

(2022/07/16):指数関数の節を追加
(2023/10/09):軽微な修正

有理関数など

1x2+ax+bdx={1ba24Arctan(x+a2ba24)+C(ba24>0)1x+a2+C(ba24=0)12a24blog|a24b(x+a2)a24b+(x+a2)|+C(ba24<0)

証明を表示

x2+ax+b=(x+a2)2+ba24であることに注意する.まず,ba24=0とする.このとき,
dxx2+ax+b=dx(x+a2)2=1x+a2+C
となる.次に,ba24>0とする.このとき,x+a2=ba24tanθと変数変換すると,
dxdθ=ba241cos2θ
であるから,
dxx2+ax+b=1(ba24)tan2θ+ba24ba24dθcos2θ=1ba2411+tan2θdθcos2θ=1ba24dθ=1ba24θ+C=1ba24Arctan(x+a2ba24)+C
となる.最後に,ba24<0とする.このとき,x+a2=a24bsinθと変数変換すると,
dxdθ=a24bcosθ
であるから,
dxx2+ax+b=1(a24b)sin2θ+ba24a24bcosθdθ=1a24bcosθ1sin2θdθ=1a24b12(cosθ1+sinθdθ+cosθ1sinθdθ)=1a24b12(log|1+sinθ|log|1sinθ|)+C=12a24blog|1sinθ1+sinθ|+C=12a24blog|a24b(x+a2)a24b+(x+a2)|+C
となる.以上より示された.(証明終)

1(x2+ax+b)2dx={12(ba24)32{ba24(x+a2)x2+ax+b+Arctan(x+a2ba24)}+C(ba24>0)131(x+a2)3+C(ba24=0)14(a24b)32{2a24b(x+a2)x2+ax+b+log|a24b+(x+a2)a24b(x+a2)|}+C(ba24<0)

証明を表示

x2+ax+b=(x+a2)2+ba24であることに注意する.まず,ba24=0とする.このとき,
dx(x2+ax+b)2=dx(x+a2)4=131(x+a2)3+C
となる.次に,ba24>0とする.このとき,x+a2=ba24tanθと変数変換すると,
dxdθ=ba241cos2θ
であるから,
dx(x2+ax+b)2=1{(ba24)tan2θ+ba24}2ba24dθcos2θ=1(ba24)321(1+tan2θ)2dθcos2θ=1(ba24)32cos2θdθ=1(ba24)32cos2θ+12dθ=12(ba24)32(12sin2θ+θ)+C=12(ba24)32(cos2θtanθ+θ)+C=12(ba24)32(tanθ1+tan2θ+θ)+C=12(ba24)32{ba24(x+a2)ba24+(x+a2)2+Arctan(x+a2ba24)}+C=12(ba24)32{ba24(x+a2)x2+ax+b+Arctan(x+a2ba24)}+C
となる.最後に,ba24<0とする.このとき,x+a2=a24bsinθと変数変換すると,
dxdθ=a24bcosθ
であるから,
dx(x2+ax+b)2=1{(a24b)sin2θ+ba24}2a24bcosθdθ=1(a24b)32cosθ(1sin2θ)2dθ=1(a24b)32cosθ{(1sinθ)(1+sinθ)}2dθ=1(a24b)32cosθ4(11sinθ+11+sinθ)2dθ=14(a24b)32cosθ(1(1sinθ)2+1(1+sinθ)2+2(1sinθ)(1+sinθ))dθ=14(a24b)32cosθ(1(1sinθ)2+1(1+sinθ)2+11sinθ+11+sinθ)dθ=14(a24b)32(11sinθ11+sinθlog|1sinθ|+log|1+sinθ|)+C=14(a24b)32{2sinθ1sin2θ+log|1+sinθ1sinθ|}+C=14(a24b)32{2a24b(x+a2)a24b(x+a2)2+log|a24b+(x+a2)a24b(x+a2)|}+C=14(a24b)32{2a24b(x+a2)x2+ax+b+log|a24b+(x+a2)a24b(x+a2)|}+C
となる.以上より示された.(証明終)

1(x2+ax+b)32dx={121(x+a2)2+C(ba24=0x+a2>0)121(x+a2)2+C(ba24=0x+a2<0)1ba24x+a2x2+ax+b+C(ba240)

証明を表示

x2+ax+b=(x+a2)2+ba24であることに注意する.まず,ba24=0とする.このとき,x+a2>0なら
dx(x2+ax+b)32=dx(x+a2)3=121(x+a2)2+C
であり,x+a2<0なら
dx(x2+ax+b)32=dx(x+a2)3=121(x+a2)2+C
となる.次に,ba24>0とし,x+a2=ba24tanθと変数変換する.tanθは区間(π2,π2)において任意の実数を取り得るから,θを区間(π2,π2)の中で取ってよい.従って,特にcosθ>0であることに注意する.さて,
dxdθ=ba241cos2θ
であるから,
dx(x2+ax+b)32=1{(ba24)tan2θ+ba24}32ba24dθcos2θ=1ba241(1+tan2θ)32dθcos2θ=1ba24cosθdθ(cosθ>0)=1ba24sinθ+C
となる.まず,tanθ0のとき,sinθ0より
sinθ=tan2θ1+tan2θ=tanθ1+tan2θ
である.また,tanθ<0のとき,sinθ<0より
sinθ=tan2θ1+tan2θ=tanθ1+tan2θ
である.従って,任意のθに対して
sinθ=tanθ1+tan2θ
が成り立つから,
dx(x2+ax+b)32=1ba24sinθ+C=1ba24tanθ1+tan2θ+C=1ba24x+a2ba24+(x+a2)2+C=1ba24x+a2x2+ax+b+C
となる.この等式はba24>0という仮定の下で導かれたが,右辺を微分して左辺を得る場合はba240という仮定のみあれば十分である.従ってこの等式はba240の場合に成り立つ等式である.ba24<0の場合に直接積分を計算したい場合は,平方完成した後にx+a2=a24bcosh(θ)と置換し,その後更にt=tanh(θ2)と置換することで積分できる(計算略).以上より示された.(証明終)

三角関数

a0のとき
Arctan(ax+b)dx=ax+baArctan(ax+b)12alog{1+(ax+b)2}+C

証明を表示

部分積分から,
Arctan(ax+b)dx=ax+baArctan(ax+b)ax+baa1+(ax+b)2dx=ax+baArctan(ax+b)ax+b1+(ax+b)2dx=ax+baArctan(ax+b)12alog{1+(ax+b)2}+C
を得る.(証明終)

a0のとき
sinxacosx+bdx=1alog|acosx+b|+C

証明を表示

a0(cosx)=sinxであることから,
sinxacosx+bdx=1alog|acosx+b|+C
と計算できる.(証明終)

a0のとき
cosxasinx+bdx=1alog|asinx+b|+C

証明を表示

a0(sinx)=cosxであることから,
cosxasinx+bdx=1alog|asinx+b|+C
と計算できる.(証明終)

a>0のとき
cosxacosx+bdx={xa2bab2a2Arctan(bab+atanx2)+C(b>a)xa1atanx2+C(b=a)xa+baa2b2log|a+babtanx2a+bab+tanx2|+C(a<b<a)xa+1atanx2+C(b=a)xa+2bab2a2Arctan(bab+atanx2)+C(b<a)

証明を表示

tanx2=tと置換する.このとき,
dtdx=12cos2x2=1+t22,cosx=2cos2x21=1t21+t2
となるので,
cosxacosx+bdx=1t21+t2a1t21+t2+b21+t2dt=1t2a(1t2)+b(1+t2)21+t2dt=21t2{(ba)t2+b+a}(1+t2)dt=2{ba(ba)t2+b+a+1a1+t2}dt
と計算される.まず,b=aとする.このとき,
()=2(12a+1a1+t2)dt=ta+2aArctant+C=1atanx2+xa+C
となる.次に,b>a(>0)とする.このとき,b+aba>0であるから,上で示した積分を用いて,
()=2{ba(ba)1t2+b+aba+1a1+t2}dt=2ba(ba)1b+abaArctan(tb+aba)+2aArctant+C=xa2bab2a2Arctan(bab+atanx2)+C
となる.次に,b<aとする.b<a(<0)でもあるならb+aba=(a+b)ab>0であるから,やはり上で示した積分を用いて
()=2ba(ab)1(a+b)abArctan(tb+aba)+2aArctant+C=xa+2bab2a2Arctan(bab+atanx2)+C
となる.b>a即ちa<b<aであるなら,b+aba<0であるから,上で示した積分より
()=2{ba(ba)1t2+b+aba+1a1+t2}dt=2ba(ba)12a+bablog|a+babta+bab+t|+2aArctant+C=xa+baa2b2log|a+babtanx2a+bab+tanx2|+C
となる.最後に,b=aとする.このとき,
()=2(12at2+1a1+t2)dt=1at+2aArctant+C=1atanx2+xa+C
となる.以上より示された.(証明終)

a>0のとき
sinxasinx+bdx={xa+2bab2a2Arctan(bab+a1tanx21+tanx2)+C(b>a)xa+1tanx2a(1+tanx2)+C(b=a)xabaa2b2log|a+bab1tanx21+tanx2a+bab+1tanx21+tanx2|+C(a<b<a)xa1+tanx2a(1tanx2)+C(b=a)xa2bab2a2Arctan(bab+a1tanx21+tanx2)+C(b<a)

証明を表示

x=π2tと置換すると,
sinxasinx+bdx=sin(π2t)asin(π2t)+b(dt)=costacost+bdt
となって,上で示した積分に帰着される.従ってそこでの結果に1を掛けた上でt=π2xを代入すれば良い.そのとき,
tan{12(π2x)}=tan(π4x2)=1tanx21+tanx2
に注意する.(証明終)

a>0のとき
1acosx+bdx={2b2a2Arctan(bab+atanx2)+C(b>a)1atanx2+C(b=a)1a2b2log|a+babtanx2a+bab+tanx2|+C(a<b<a)1atanx2+C(b=a)2b2a2Arctan(bab+atanx2)+C(b<a)

証明を表示

tanx2=tと置換する.このとき,
dtdx=12cos2x2=1+t22,cosx=21+t21=1t21+t2
となるので,
dxacosx+b=1a1t21+t2+b21+t2dt=21a(1t2)+b(1+t2)dt=21(ba)t2+b+adt
と計算される.まず,b=aとする.このとき,
()=212adt=ta+C=1atanx2+C
となる.次に,b>a(>0)とする.このとき,b+aba>0であるから,上で示した積分を用いて,
()=2ba1t2+b+abadt=2ba1b+abaArctan(tb+aba)+C=2b2a2Arctan(bab+atanx2)+C
となる.次に,b<aとする.b<a(<0)でもあるならb+aba=(a+b)ab>0であるから,やはり上で示した積分を用いて
()=2ab1(a+b)abArctan(tb+aba)+C=2b2a2Arctan(bab+atanx2)+C
となる.b>a即ちa<b<aであるなら,b+aba<0であるから,上で示した積分より
()=2ba1t2+b+abadt=2ba12a+bablog|a+babta+bab+t|+C=1a2b2log|a+babtanx2a+bab+tanx2|+C
となる.最後に,b=aとする.このとき,
()=21(2a)t2dt=1at+C=1atanx2+C
となる.以上より示された.(証明終)

a>0のとき
1asinx+bdx={2b2a2Arctan(bab+a1tanx21+tanx2)+C(b>a)1tanx2a(1+tanx2)+C(b=a)1a2b2log|a+bab1tanx21+tanx2a+bab+1tanx21+tanx2|+C(a<b<a)1+tanx2a(1tanx2)+C(b=a)2b2a2Arctan(bab+a1tanx21+tanx2)+C(b<a)

証明を表示

x=π2tと置換すると,
1asinx+bdx=1asin(π2t)+b(dt)=1acost+bdt
となって,上で示した積分に帰着される.従ってそこでの結果にt=π2xを代入すれば良い.そのとき,
tan{12(π2x)}=tan(π4x2)=1tanx21+tanx2
に注意する.(証明終)

指数関数

誤差関数を
erf(x)=2π0xet2dt
と表します.

a>0のとき
erf(ax+b)dx=ax+baerf(ax+b)+1aπe(ax+b)2+C

証明を表示

部分積分から
erf(ax+b)dx=ax+baerf(ax+b)ax+baa2πe(ax+b)2dx=ax+baerf(ax+b)+1aπe(ax+b)2+C
と計算できる.(証明終)

a>0のとき
xerf(ax+b)dx=2a2x22b214a2erf(ax+b)+axb2a2πe(ax+b)2+C

証明を表示

部分積分から
xerf(ax+b)dx=x(ax+baerf(ax+b)+1aπe(ax+b)2)(ax+baerf(ax+b)+1aπe(ax+b)2)dx=x(ax+baerf(ax+b)+1aπe(ax+b)2)xerf(ax+b)dxbaerf(ax+b)dx1aπe(ax+b)2dx
となるので,
2xerf(ax+b)dx=x(ax+baerf(ax+b)+1aπe(ax+b)2)ba(ax+baerf(ax+b)+1aπe(ax+b)2)1aπ12πa2erf(a2(x+ba))+C=2a2x22b212a2erf(ax+b)+axba2πe(ax+b)2+C
を得る.よって与式が従う.(証明終)

a>0のとき
ea(x+b)2dx=12πaerf(a(x+b))+C

証明を表示

erf(x)の定義から,ddxerf(x)=2πex2となるので,
ddx{12πaerf(a(x+b))}=12πaa2πea(x+b)2=ea(x+b)2
となる.よって与式が従う.(証明終)

a>0のとき
xea(x+b)2dx=12aea(x+b)2b2πaerf(a(x+b))+C

証明を表示

ddx(a(x+b)2)=2a(x+b)であるから,
ddx(12aea(x+b)2)=12a(2a(x+b))ea(x+b)2=(x+b)ea(x+b)2
が成り立つ.これより
xea(x+b)2dx=(x+b)ea(x+b)2dxbea(x+b)2dx=12aea(x+b)2b2πaerf(a(x+b))+C
となる.(証明終)

a>0のとき
x2ea(x+b)2dx=xb2aea(x+b)2+2ab2+14aπaerf(a(x+b))+C

証明を表示

部分積分から
x2ea(x+b)2dx=xxea(x+b)2dx=x2aea(x+b)2bx2πaerf(a(x+b))(12aea(x+b)2b2πaerf(a(x+b)))dx=x2aea(x+b)2bx2πaerf(a(x+b))+14aπaerf(a(x+b))+b2πa((x+b)erf(a(x+b))+1aπea(x+b)2)+C=xb2aea(x+b)2+2ab2+14aπaerf(a(x+b))+C
と計算できる.(証明終)

対数関数

a0のとき
log(ax+b)dx=ax+balog(ax+b)x+C

証明を表示

部分積分から
log(ax+b)dx=ax+balog(ax+b)1dx=ax+balog(ax+b)x+C
と計算できる.(証明終)

a0のとき
{log(ax+b)}2dx=ax+ba{log(ax+b)}22ax+balog(ax+b)+2x+C

証明を表示

部分積分から
{log(ax+b)}2dx={ax+balog(ax+b)x}log(ax+b){ax+balog(ax+b)x}aax+bdx={ax+balog(ax+b)x}log(ax+b)log(ax+b)dx+axax+bdx={ax+balog(ax+b)x}log(ax+b){ax+balog(ax+b)x}+xbalog(ax+b)+C=ax+ba{log(ax+b)}22ax+balog(ax+b)+2x+C
と計算できる.(証明終)

投稿日:202258
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

certain
certain
32
18375
素朴な問題が特に好きです.

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 有理関数など
  2. 三角関数
  3. 指数関数
  4. 対数関数