4

∫[0,1]1/(x^2+1)dxをいろんな方法で解こうとした話

174
1

こんにちは!突然ですが次の積分を考えます。

I=011x2+1dx

簡単のためにIと置きました。この記事見てる人たちならやったことあると思います。まずは普通に解いてみます。

解法1

x=tanθとおく。dx=dθcos2θであるため、定積分は次のように書き換えられる。
I=0π4dθ
よって、I=[θ]0π4=π4

まあよく見る解法ですね。
僕は積分の勉強を始めたての時この置換は思いつくことができませんでした。そこでもしこの置換を思いつけなかった時のためにtanθで置換しない方法でこの積分を解いてみます。

解法2

複素数の範囲で部分分数分解する。
I=011x2+1dx=011(x+i)(xi)dx=12i01(1xi1x+i)dx=12i[log(xi)log(x+i)]01=12i[logxix+i]0112i(logxix+ilog(1))=12ilogii=eπ2i12ilogeπ2i=12iπ2i=π4

一応値を出すことはできますが、そもそも実関数を複素数に拡張していいのかっていうのと、複素対数が多価であるので、あまり好ましくない解法ですね。
そこで、被積分関数とは別で複素関数を用意して、実軸上では実数から実数の関数であることを利用して留数定理を用いて導いてみます。

解法3

2I=111x2+1dxsf(s)=1s2+1N1+1NC=C1+C2C1:x(x:(1+1N)1+1N)C2:(1+1N)eiθ(θ:0π)f(s)RRNC1f(s)s=i1Res[f(s),i]=limsi(si)f(s)=12iC=2πi×12i=πR=1+1NC1C1=limR1+0RRf(s)ds=11f(s)ds=2IC2C2=0πRieiθ(Reiθ)2+1dθz=Reiθdz=Rieiθ,θ:0πz:RRC2=RR1z2+1dzR1+0111z2+1dz=2I2I+2I=4I=πI=π4
無事に値を出せました!今回は実軸上の区間が[1,1]になるように積分路をとりましたが、次に示す解法のように[0,1][1,)で積分値が等しいことを用いれば、積分路の半径をに飛ばすことで積分値を求めることができます(tanで置換しない方法では多分これが1番良い)。

解法4

sf(s)=1s2+1011x2+1dx=11x2+1dxx=1+t1tdx=2(1t)2dt11x2+1dx11x2+1dx=011(1+t1t)2+12(1t)2dt=01(1t)22(t2+1)2(1t)2dt=011t2+1dt
被積分関数は偶関数なので、求める積分は、141x2+1dxと等しい。
RRC=C1+C2C1:x(x:RR)C2:Reiθ(θ:0π)f(s)s=i1Res[f(s),i]=limsi(si)f(s)=12iC=2πi×12i=πC1C1=RR1x2+1dxR1x2+1dx=4IC2C2=0πRieiθ(Reiθ)2+1dθ|0πRieiθ(Reiθ)2+1dθ|0π|Rieiθ(Reiθ)2+1|dθ()=0π|RR2+1|dθ=RR2+1π=πR+1RR0C2R0C=C1+C2=4I=πI=π4

いかがでしたか?(テンプレ)
今回は4つの方法でよく見る積分を解いてみました。(TeXのいい練習になった)mathlogの記事も初めて書いたので、まだわからないことが多いですが、最後まで読んでいただきありがとうございました!

投稿日:20211226
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

RusK
RusK
9
1163
さくさく

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中