0

∫ [ x*sin(x)/(1+x^2) dx, 0 -> ∞ ] を複素積分で求める

304
0

はじめに

 最初は計算ミスしたり, WolframAlphaにかけてみたらずっと敬遠してきた系の積分だったりしたのでめちゃくちゃ弱気だったんですが, 計算ミスに気づいたら求まっちゃったのでめちゃくちゃ嬉しかったです.
 複素積分に関してはまだまだ未熟なので今回の積分はいい勉強になったと思います.
 そして複素積分で解くというヒント以外は, 複素積分のやり方を本でカンニングしたぐらいでほとんど自力なので自分でした計算として記事にしようと思いました.

問題

0xsinx1+x2dx

この積分をIとします.

解答

以下の図の積分路Cに対して次のような複素積分を考えます.
ABCとDEFはそれぞれ半径R,rの半円です.
Czeiz1+z2dz

積分路C 積分路C

積分経路を四つの部分に分けて積分します. (☆)
Czeiz1+z2dz=rRxeix1+x2dx+ABCzeiz1+z2dz+Rrxeix1+x2dx+DEFzeiz1+z2dz
(1) 左辺の積分
閉曲線Cz=iを除いた周と内部において被積分関数は正則であるから,
Czeiz1+z2dz=Czeizz+izidz=2πiiei2i+i=iπe

コーシーの積分公式

単純閉曲線Cの周と内部でf(z)は正則で, 複素定数aがその内部に含まれているとき,
f(a)=12πiCf(z)zadz

  1. 右辺の積分①
    ABCzeiz1+z2dz
    z=R(cosθ+isinθ)=Reiθ(0θπ)と置換すると,
    =ABCReiθeiR(cosθ+isinθ)1+R2e2iθdθ
    ここで,
    |ABCReiθeiR(cosθ+isinθ)1+R2e2iθdθ|ABC|ReiθeiR(cosθ+isinθ)1+R2e2iθ|dθ=ABC|R||eiθ||eiRcosθ||eRsinθ||1+R2e2iθ|dθ=0πReRsinθ|1+R2e2iθ|dθ=1R0πeRsinθ|1R+e2iθ|dθ1R0πeRsinθdθ0(R)

関数f(z)が連続であるとき, 曲線Cに関する関数f(z)の積分について,
|Cf(z)dz|C|f(z)|ds

※ 右辺は線積分であることに注意します.
(3) 右辺の積分②
DEFzeiz1+z2dz
(2)と同じくz=r(cosθ+isinθ)=reiθ(0θπ)と置換すると,
=π0reiθeir(cosθ+isinθ)1+r2e2iθdθ
となり, これも同様にr0のとき, (与式)0となります.
(4) 右辺の積分③
rRxeix1+x2dx+Rrxeix1+x2dx
二項目のみxxと置換すると
=rRxeix1+x2dxRrxeix1+x2dx=rRxeix1+x2dxrRxeix1+x2dx
eixeix=2isinxだから,
=2irRxsinx1+x2dx
ここでようやく求めたい積分が出てきましたね.

よって(1)~(4)より, (☆)はR, r0とすると
Czeiz1+z2dz=0+0+2i0xsinx1+x2dx2iI=iπeI=π2e


 0xsinx1+x2dx=π2e

投稿日:20201114
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

地頭が悪い 研究するより、ただ「知って」ただ「使う」のが好き

コメント

他の人のコメント

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