数学メモ帳

なんかとりあえず数学する

ひとくち数学「ディリクレ積分をゴリゴリっと計算する」

Problem次の積分を求めよ.\[\int_{0}^{\infty}\frac{\sin x}{x}\ dx\]

 

今回はディリクレ積分について最近色んな方法を知ったので今回はなるべく前提知識を仮定しない方法でどれだけできるかを試したいと思います.

基本的なこととして,これはみればわかりますが広義積分です.一見積分範囲の両端がやばいように見えますが,\[\lim_{x\to +0}\frac{\sin x}{x}=1\]である事は承知のとおりだと思うので,実質的に問題なのは\(\infty\)の部分です.まあそのへんを睨みつつ頑張って行きましょう.

で,問題をとく前にですがこれが収束する事は一応確認事項ではあるので確認はしておきましょう.

注意点としてこの積分絶対収束しません!というのはご存知かと思われますが,これがあるためガバガバっと不等式で抑えることはできません.

ちなみにですが,広義積分\[\int_{0}^{\infty}f(x)\ dx=\lim_{R\to\infty}\int_{0}^Rf(x)\ dx\]なので,広義積分が収束するとは上の極限があれば良いということになります.

しかし,極限値が簡単に求まればわざわざこんなに前置きをして書く事はないので,次を示します:\[R>M,\ \left|\int_{M}^R\frac{\sin x}{x}dx\right|\to 0\ (as\ R,M\to\infty)\]

所謂Cauchyの収束判定法というやつで,これは簡単に示せます.

今,中身を部分積分すると,\[(LHS)=\left| \left[ \frac{-\cos x}{x}\right]_{M}^R-\int_{M}^R\frac{\cos x}{x^2}\ dx\right|\leq \frac{1}{R}+\frac{1}{M}+\int_M^R\frac{1}{x^2}\ dx\to 0\ (as\ R,M\to\infty)\]

ということで収束する事は大丈夫そうです.絶対収束しないことを言うには\(R\)を自然数\(n\)に変えてやってみると出来ると思います.ややテクニカルではありますが.

まあ有名な積分なのでダラダラやっても仕方ないので早速解法に移ります.

で,方法としてはひたすらゴリゴリと計算します.エレガントさはないですが,ある意味こういうゴリ押し計算も解析の醍醐味(?)だったりします.

でアイデアとしては次のようなことをしたいと考えます:

\[\int_{0}^{\infty}\frac{\sin x}{x}\ dx=\int_{0}^{\infty}\left(\int_{0}^{\infty}e^{-xu}\ du\right)\sin x\ dx\]

一見ギョッとしますが,これは\[\int_{0}^{\infty}e^{-xu}\ du=\frac{1}{x}\]になるということを利用した変形で上のことはそのまま積分すればわかります.

さらに良いこととして,ひとまず積分の順序交換を認めて,\(x\)から先に積分すると

\[\int_{0}^{\infty}e^{xu}\sin x\ dx=\frac{1}{u^2+1}\]が2回部分積分をすると得られます.これのいいところは計算結果が\(\tan^{-1}u\)の微分になっているので

\[\int_{0}^{\infty}\frac{1}{u^2+1}\ du=\frac{\pi}{2}\]となってうまく計算ができることにあります.

さてこの交換を正当化するためにまずは\(\infty\)を一旦排除して考えていくことにしましょう.

具体的には\[\int_{0}^{R}\frac{\sin x}{x}\ dx\]をかんがえましょう.今,\(R,M>0\)として,次のように変形します:

\[\int_{0}^{R}\frac{\sin x}{x}\ dx=\int_{0}^{R}\left(\int_{0}^{M}e^{-xu}\ du\right)\sin x\ dx+\int_{0}^{R}\frac{\sin x}{x}e^{-Mx}\ dx\]

まず,この変形について説明すると先ほどの積分を増やす操作を\(M\)で一旦止めてやってみました.しかしこれでは\(\infty\)の時は消えてくれていたものがのこるので,それを打ち消すための第2項目がでてきます.

ここで第一項目は\(e^{-ux}\sin x\)が連続なので,積分の順序交換を簡単に行うことができます.有限で止めたのはこのためです.

しかし,その弊害として余分な第二項目が出てしまったわけですがこれは\(M\)の極限を取ることで消すことができます.

実際,\[\left|\int_{0}^R\frac{\sin x}{x}e^{-Mx}\ dx\right|\leq \int_{0}^{R}e^{-Mx}dx=-\frac{e^{-MR}}{M}+\frac{1}{M}\to 0\ (as\ M\to\infty)\]となります.

従って,ここまでで,結論の半分である\[\int_{0}^R\frac{\sin x}{x}\ dx=\int_{0}^{\infty}\left(\int_{0}^Re^{-ux}\sin x\ dx\right)\ du\]がわかりました.

次に,\[\int_0^Re^{-ux}\sin x\ dx=\frac{1}{u^2+1}-\frac{e^{-Ru}}{u^2+1}(\cos R+u\sin R)\]

となり,第二項目の積分\[\int_{0}^{\infty}\frac{e^{-Ru}}{u^2+1}(\cos R+u\sin R)\ du\]が\(0\)に収束すれば結論が得られるのでそれを示します.

今,\(\mid\cos R+u\sin R\mid \leq 1+u\)が成り立つので, \[\left|\int_{0}^{\infty}\frac{e^{-Ru}}{u^2+1}(\cos R+u\sin R)\ du\right|\leq \int_{0}^{\infty}\frac{e^{-Ru}}{u^2+1}\mid\cos R+u\sin R\mid\leq\int_{0}^{\infty}\frac{e^{-Ru}}{u^2+1}(u+1)\ du\leq \int_{0}^{\infty}(u+1)e^{-Ru}\ du\]となり,これは\(R\to\infty\)のとき\(0\)に収束するので結論が得られました. \(\Box\)

ということでゴリゴリと計算することで今回は極限値を求めましたが,これよりも楽に求める方法はいくらでもあるので,これにこだわる必要はない気がしますが,これもまた一つの解法としてとても良いと感じなので書いてみました.

以上で今回は終わります.