(sin^x/x)^nの(-∞,∞)における広義積分を計算してみた。

はじめに

前の記事で、sinc関数の2,3,4乗の積分を部分計算で計算し、さらに5乗以上については部分積分では計算ができなさそうだというところまでを書きました。

部分積分を用いた帰納的なアプローチではの計算が難しそうだな… と思いながら参考文献をもう一度よく読み直してみると、部分積分を使って分母の次数を下げてから複素積分をしているような気がするので、とりあえず数式に書き起こしてみることにしました。

以下、この記事では

(1)

とおいて計算していきます。

また、は二項係数()を表すこととします。二項係数の係数間には( $2$ )式の関係がありますが、この記事では( $2$ )式の関係を繰り返し使います。

(2)

まず、下準備をします。

最初にを( $3$ )式のように変形及び展開します。

(3)

部分積分をします。

お試しに1回だけ部分積分。

( $3$ )式を( $1$ )式に代入し、部分積分による変形を1回だけ行います。

すると…

(4)

となります。

ところで、( $4$ )式の第1項(とおきます。)はが奇数の場合には総和をとる部分をまでの前半部とそれ以降の後半部に分割し、さらに後半部についてはとおいて変形してから、を再度に書き換えると、( $5$ )式のように変形できます。

(5)

(

5

)式右辺の総和をとる部分の各項は

または

のときに0に近づきますので、

となります。

またが偶数の時も総和をとる部分をまでの前半部と「中央の項」及びそれ以降の後半部に分割し、さらに後半部についてはとおいて変形してから、を再度に書き換えると、奇数の場合と同様に( $6$ )式のように変形できます。

(6)

(

6

)式右辺第1項の総和をとる部分の各項及び右辺第2項は

または

のときに0に近づきますので、

となります。

少々長くなりましたが、ここまでの議論で( $4$ )式の第1項は0となることがわかりましたので、

(7)

となって、部分積分を行うことにより、

境界積分の値が0になること。
分母のの次数を1つ小さくできること。

がわかります。

繰り返し部分積分します。

前節の手順を分母のの次数が1になるまで繰り返すと、( $8$ )式を導くことができます。

(8)

また、(

8

)式右辺の被積分関数は有限和ですので、

についての積分計算を先に行うことができます。そこで、

(9)

と変形できます。

次に、複素積分します。

ここで、いったんとおいて、複素積分

(10)

を計算することにします。

積分経路はの値に応じて変えますので、ここからはの符号に応じて場合分けとなります。なお、この記事では例によってジョルダンの補題については証明無しで利用します。

の場合

積分経路として以下の経路を考えます。

上記の積分経路が囲む領域内にはについての特異点は存在しないことから、( $11$ )式が成り立ちます。

(11)

ここで、経路

及び

は実軸上の経路、

は半径

の半円上の経路、

は半径

の半円上の経路を表すものとします。

及びは実軸上の経路なので、積分変数はに置き換えることができて、

(12)

になります。

また、はと置くと、という形で書けてであり、かつのときにが複素平面上で一様に収束するので、ジョルダンの補題を使うことができて、

(13)

となります。

最後に、経路に沿った積分について考えます。
をのまわりでテイラー展開すると、

(14)

となります。

ここでと置きます。となることと、積分変数についてのからまでの積分となることに留意しつつ( $14$ )式の右辺第1項を計算します。

すると…

(15)

と計算でき、

に依存しない値となることがわかります。また、(

14

)式の右辺第2項は、和と積分の順序を入れ替えることができるので、

(16)

と変形できて、和の各項に

のべき乗が現れるので、

とすると、各項がすべて

となります。
(

12

),(

13

),(

15

)及び(

16

)式を(

11

)式に代入し、

とすると、

(17)

となるので、(

17

)式の左辺第2項を右辺に移項すると、(

18

)式が求まります。

(18)

の場合

以下のような積分路を考えます。

上記の積分路を設定するとの場合でも経路においてジョルダンの補題が適用できて、( $13$ )式が成り立ちます。また、及びは実軸上の経路になりますが、向きが負の向きになりますので、

(19)

になります。さらに、経路

は原点のまわりの円を

から

まで回りますので、

(20)

(

19

),(

13

)及び(

20

)式を(

11

)式に代入し、

とすると、

(21)

となるので、(

17

)式の左辺第2項を右辺に移項すると、(

22

)式が求まります。

(22)

の場合

の場合もの場合と同じ積分経路を考えると( $17$ )式が成り立ちますので、積分値は( $18$ )式と同じ値となります。

仕上げ。

…の前にちょっと細工。

( $18$ )及び( $22$ )式を( $9$ )式に代入すると積分の結果が求まるのですが、その前に( $9$ )式にちょっと細工をします。

が偶数の場合にはとなる場合がありますが、( $9$ )式右辺の和をとる際に対応する項が0になりますので、その項は最初からなかったことにします。すなわち、

(23)

とします。

これによりが偶数であるか奇数であるかに関係なく、和をとる対象となる項の数を偶数にすることができます。

積分の結果を元の式に反映させます。

ここまでの計算で、ようやく( $18$ )及び( $22$ )式を( $23$ )式に代入することができるようになります。

の符号によって代入する式が異なることに注意しながら計算すると…

(24)

(

24

)式の右辺第2項で

とおくと、

が偶数のときは負でない整数

を用いて

と表すことができて、

ですので、

(25)

となります。

また、が奇数のときはと表すことができて、ですので、

(26)

となりますので、(

25

)式及び(

26

)式から、

は

から

までの整数値をとることがわかります。

そこで、( $24$ )式を変形し、をに書き直すと…

(27)

と変形できます。

長かったですね。

お好みで、ちょっと変形します。

( $27$ )式の和をとる際の変数の値の範囲がからまでの整数なのは少々気持ちが悪いという方向けにちょっと変形します。

例によってとおくと、のとり得る値の範囲がからまでの整数になりますので、

(28)

と変形できます。

検算します。

( $27$ )式及び( $28$ )式が同じ値になることの確認も兼ねてを代入して計算してみます。

の場合

になることと、和の部分は( $27$ )式及び( $28$ )式の両方ともにになりますので、となります。

の場合

まず、は( $29$ )式のように計算できます。

(29)

次に、(

27

)式に沿って計算します。和の部分は

について計算すると、その結果は1になりますので、

になります。

一方、( $28$ )式に沿って計算する場合には、和の部分はについて計算します。するとその結果も1になりますので、になります。

の場合

まず、は( $30$ )式のように計算できます。

(30)

次に、(

27

)式に沿って計算します。和の部分は

について計算すると、その結果は

になりますので、

になります。

一方、( $28$ )式に沿って計算する場合には、和の部分はについて計算します。すると、その結果もになりますので、になります。

の場合

まず、は( $31$ )式のように計算できます。

(31)

次に、(

27

)式に沿って計算します。和の部分は

について計算します。

だんだん計算がしんどくなってきます。

その結果は…

(32)

になりますので、(

31

)式及び(

32

)式をまとめて、

(33)

になります。

一方、( $28$ )式に沿って計算する場合には、和の部分はについて計算します。その結果は…

(34)

になりますので、(

33

)式と同様の結果を得ることができます。

まとめ

ここまでの計算で、任意のについてのの値を求めることができました。

( $1$ )式でを大きくしたときの値を計算する行為自体には誰得感はどうしても付きまとってしまいますが、計算の途中で複素積分の計算時によく登場するジョルダンの補題の使い方や、複素平面上の極を完全に囲まない経路における複素積分の計算時の注意点(例: 2位以上の極を中心とする小さい半円上での積分はその極における留数を使って求めることができるとは限らないこと、など。)を思い出すことができるという点では、単なる頭の体操以上の価値はあるのではないかと思います。

<br />

この機会にぜひお試しください。