複素積分1

今回は僕のTwitterのヘッダーの積分
$I=\displaystyle\int_0^∞\frac{x^\alpha}{x^\beta+1}dx$
について解説しようと思います。
ちなみに、条件は$\beta-\alpha>1$です。

初めての記事で、拙い文章ですが、暖かく見守ってください。

この問題は複素積分を使って解きます。
積分路を原点から実軸のEの座標までを$C_1$、そこから円弧を描くように$C_2$を、円弧の先端から原点までを$C_3$として取ります。
扇形のなす角は$\frac{2π}{\beta}$、Eは後ほど無限大に飛ばします。

$f(z)=\displaystyle\frac{z^\alpha}{z^\beta+1}$として、
$\displaystyle\oint_Cf(z)=\int_{C_1}+\int_{C_2}+\int_{C_3}$

まず、$\displaystyle\oint_Cf(z)$について考えます。
特異点は$e^{\frac{π}{\beta}i}$
留数定理より、
$\displaystyle\oint_Cf(z)=2πi・\displaystyle\lim_{z \to \ e^{\frac{π}{\beta}i}}f(z)(z-e^{\frac{π}{\beta}i})=-\frac{2πi}{\beta}e^{\frac{\alpha+1}{\beta}πi}$

$\frac{0}{0}$の不定形になっているのでロピタルの定理を使って直ちに求められます。

次に、$C_1$の積分の変数を$z=x$と置換します。
$\displaystyle\lim_{Ε→∞}\int_{C_1}=I$

また、$C_3$の積分に於いては変数を$z=e^{\frac{2π}{\beta}i}x$と置換します。
$\displaystyle\lim_{E→∞}\int_{C_3}=\int_∞^0\frac{(e^{\frac{2π}{\beta}i}x)^\alpha}{(e^{\frac{2π}{\beta}i}x)^\beta+1}{e^{\frac{2π}{\beta}i}dx}$
$=-e^{2・\frac{\alpha+1}{\beta}πi}I$

今度は$C_2$での積分の値を不等式評価してやります。
まず$z=Ee^{iθ}$と置換します。
積分の絶対値を内側に入れて、三角不等式を使います。
$\displaystyle\left|\int_{C_2}\right|=\left|\int_0^\frac{2π}{\beta}\frac{(Ee^{iθ})^\alpha}{(Ee^{iθ})^\beta+1}Eie^{iθ}dθ\right|$
$\displaystyle\leq\int_0^\frac{2π}{\beta}\frac{E^{\alpha+1}}{E^\beta-1}dθ=\frac{2π}{\beta}・\frac{E^{\alpha+1}}{E^\beta-1}$
$\beta-\alpha>1$より、$\displaystyle\lim_{E \to \infty}$で0に収束します。

よって、$\displaystyle\lim_{E→∞}$において、
$\displaystyle\oint_Cf(z)=\int_{C_1}+\int_{C_2}+\int_{C_3}$

$\displaystyle-\frac{2πi}{\beta}e^{\frac{\alpha+1}{\beta}πi}=(1-e^{2・\frac{\alpha+1}{\beta}πi})I$

$sinθ=\displaystyle\frac{e^{iθ}-e^{-iθ}}{2i}$より、$I=\displaystyle\frac{π}{\beta}csc\frac{\alpha+1}{\beta}π$

これより、証明ができました。
何かご不明な点がございましたら気軽にお申し付けください。