今回は僕のTwitterのヘッダーの積分I=∫0∞xαxβ+1dxについて解説しようと思います。ちなみに、条件はβ−α>1です。
初めての記事で、拙い文章ですが、暖かく見守ってください。
この問題は複素積分を使って解きます。積分路を原点から実軸のEの座標までをC1、そこから円弧を描くようにC2を、円弧の先端から原点までをC3として取ります。扇形のなす角は2πβ、Eは後ほど無限大に飛ばします。
f(z)=zαzβ+1として、∮Cf(z)=∫C1+∫C2+∫C3
まず、∮Cf(z)について考えます。特異点はeπβi留数定理より、・∮Cf(z)=2πi・limz→ eπβif(z)(z−eπβi)=−2πiβeα+1βπi
00の不定形になっているのでロピタルの定理を使って直ちに求められます。
次に、C1の積分の変数をz=xと置換します。limΕ→∞∫C1=I
また、C3の積分に於いては変数をz=e2πβixと置換します。limE→∞∫C3=∫∞0(e2πβix)α(e2πβix)β+1e2πβidx・=−e2・α+1βπiI
今度はC2での積分の値を不等式評価してやります。まずz=Eeiθと置換します。積分の絶対値を内側に入れて、三角不等式を使います。|∫C2|=|∫02πβ(Eeiθ)α(Eeiθ)β+1Eieiθdθ|・≤∫02πβEα+1Eβ−1dθ=2πβ・Eα+1Eβ−1β−α>1より、limE→∞で0に収束します。
よって、limE→∞において、∮Cf(z)=∫C1+∫C2+∫C3
・−2πiβeα+1βπi=(1−e2・α+1βπi)I
sinθ=eiθ−e−iθ2iより、I=πβcscα+1βπ
これより、証明ができました。何かご不明な点がございましたら気軽にお申し付けください。
バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。