0

x*sin(x)/(1+x^2) の積分

364
0
$$\newcommand{overarc}[1]{\stackrel{\Large\mbox{$\frown$}}{#1}} $$

問題

$$I=\int_0^\infty\frac{x\sin x}{1+x^2}dx$$

ネタバレ防止用巨大空白

解答

以下の図の積分路$C$に対して次のような複素積分を考えます.
ABCとDEFはそれぞれ半径$R, r\ (R>r)$の半円です.
$$\int_C\frac{ze^{iz}}{1+z^2}dz$$

積分路!FORMULA[4][36709][0] 積分路$C$

積分経路を四つの部分に分けて積分します. (☆)
\begin{align*} \int_C\frac{ze^{iz}}{1+z^2}\,dz&=\int_r^R\frac{xe^{ix}}{1+x^2}\,dx+\int_{ABC}\frac{ze^{iz}}{1+z^2}\,dz+\int_{-R}^{-r}\frac{xe^{ix}}{1+x^2}\,dx+\int_{DEF}\frac{ze^{iz}}{1+z^2}\,dz\\ &=:I_1+I_2+I_3+I_4 \end{align*}

(i) 左辺の積分

閉曲線$C$の周と$z=i$を除いた内部において被積分関数は正則であるから,
$$\int_C\frac{ze^{iz}}{1+z^2}dz=\int_C\frac{\frac{ze^{iz}}{z+i}}{z-i}dz=2\pi i\cdot\frac{ie^{i^2}}{i+i}=\frac{i\pi}{e}.$$

コーシーの積分公式

単純閉曲線$C$の周と内部で$f(z)$は正則で, 複素定数$a$がその内部に含まれているとき,
$$f(a)=\frac{1}{2\pi i}\int_C\frac{f(z)}{z-a}dz$$

(ii) 右辺の積分$I_2$

$z=R(\cos\theta +i\sin\theta)=Re^{i\theta}\ (0\leq\theta\leq\pi)$と置換すると,
$$ I_2=\int_0^\pi\frac{Re^{i\theta}e^{iR(\cos\theta +i\sin\theta)}}{1+R^2e^{2i\theta}}\,d\theta$$
となります. ここで,
\begin{align*} \left|\int_0^\pi\frac{Re^{i\theta}e^{iR(\cos\theta +i\sin\theta)}}{1+R^2e^{2i\theta}}\,d\theta\right| &\leq\int_0^\pi\left|\frac{Re^{i\theta}e^{iR(\cos\theta +i\sin\theta)}}{1+R^2e^{2i\theta}}\right|\,d\theta\\ &=\int_0^\pi\frac{|R||e^{i\theta}||e^{iR\cos\theta}||e^{-R\sin\theta}|}{|1+R^2e^{2i\theta}|}\,d\theta\\ &=\int_0^\pi \frac{Re^{-R\sin\theta}}{|1+R^2e^{2i\theta}|}\,d\theta\\ &=\frac{1}{R}\int_0^\pi\frac{e^{-R\sin\theta}}{\left|\frac{1}{R}+e^{2i\theta}\right|}\,d\theta\\ &\leq\frac{1}{R}\int_0^\pi\frac{d\theta}{\left|\frac{1}{R}+e^{2i\theta}\right|}\to 0\quad(R\to \infty) \end{align*}
であるから, $I_2\to 0\ (R\to\infty)$です.

(iii) 右辺の積分 $I_4$

同様に$z=r(\cos\theta +i\sin\theta)=re^{i\theta}\quad (0\leq\theta\leq\pi)$と置換して,
$$ I_4=\int_\pi^0\frac{re^{i\theta}e^{ir(\cos\theta +i\sin\theta)}}{1+r^2e^{2i\theta}}\,d\theta\to 0\quad(r\to 0)$$
となります.

(iv) 右辺の積分 $I_1+I_3$

$I_3$のみ$x\longmapsto -x$と置換します.
\begin{align*} I_1+I_3&=\int_r^R\frac{xe^{ix}}{1+x^2}\,dx-\int_R^r\frac{-xe^{-ix}}{1+x^2}\,dx\\ &=\int_r^R\frac{xe^{ix}}{1+x^2}\,dx-\int_r^R\frac{xe^{-ix}}{1+x^2}\,dx. \end{align*}
$e^{ix}-e^{-ix}=2i\sin x$だから,
$$=2i\int_r^R\frac{x\sin x}{1+x^2}\,dx.$$
ここでようやく求めたい積分が見えてきました.

まとめる

よって (☆) は$R\to\infty,\ r\to 0$とすると
\begin{align*} \int_C\frac{ze^{iz}}{1+z^2}dz&=0+0+2i\int_0^\infty\frac{x\sin x}{1+x^2}\,dx\\ 2iI&=\frac{i\pi}{e}\\ I&=\frac{\pi}{2e}. \end{align*}


$$\boldsymbol{\therefore\ \int_0^\infty\frac{x\sin x}{1+x^2}dx=\frac{\pi}{2e}}.$$

最後に

 もともと Wolfram Alpha で計算してもらっていて, その答えがわたしにとって全く見たことないタイプだったので結構弱気でした.

 自分で計算してもミスをして希望がなくなっていく中, ミスに気づいたら求まっちゃったのでめちゃくちゃ嬉しかったです.

 複素積分の問題ってあからさまなものばっかりでつまらないと思っているので, 今回みたいな問題をもっとやってみたいですね.

投稿日:20201114
更新日:1日前
数学の力で現場を変える アルゴリズムエンジニア募集 - Mathlog served by OptHub

この記事を高評価した人

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

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

バッジはありません。

投稿者

数学科出身の中でも最弱

コメント

他の人のコメント

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