ディリクレ積分をフーリエ変換を使って計算しようとしたらいろいろと出てきたので、まとめてメモ。

はじめに

ディリクレ積分

を証明する方法は複素積分を使う方法をはじめとしていろいろあります。

それ以外の方法はないかと、いろいろと調べて回っているうちにどこかで見かけたフーリエ変換を使う方法が面白そうだなと思ったまま、そのURLを失念してしまったので、自力で計算してみることにしました。

計算をするにあたり、関連する情報がいろいろと出てきたので、ついでにメモしておきます。

さっそく、計算してみます。

矩形関数のフーリエ変換

というわけで、かなり唐突かもしれませんが、(2)式のような関数を考えます。

以下のようなグラフになります。矩形波1個分です。

(2)式で表される関数はで不連続ですが、絶対可積分であり、

となります。

そこで、フーリエ変換を計算してみる(間違えやすいところなので、あまり省略しないで計算します。)と…

と計算できます。

逆変換してみます。

次に、のフーリエ逆変換を考えます。

のフーリエ逆変換は(5)式で表されます。

ここでフーリエ逆変換を計算する前に、(5)式はについての積分であることに注意しつつ、を代入してみます。

すると、(2)式より

となることがわかります。

そこで、とおくと、

(7)式の右側2辺をで割って積分の変数をに置き換えると、

となります。

なお、のグラフは以下のような感じになります。

スポンサーリンク

また、は偶関数であるため、

となります。

以上で、(1)式を示すことができました。

ここからが本当のフーリエ逆変換です。

ここで、のフーリエ逆変換がになることもついでに確認してみます。

(8)式を利用しつつ、(5)式の右辺を計算します。

ここで、と置くと、ですので、は奇関数であることがわかります。したがって(10)式の右辺の虚数部は0であることがわかるので、

となります。(6)式と似た式が現れました。ただ、の中のうち積分変数を除く部分の値がの値によっては負の値になるケースがありそうです。

(6)式を少しだけ一般化して、と置くと、が負の値の場合には符号が反転しますので、が正の場合と合わせて

と表すことができます。ただし、は符号関数

を表します。

(12)式右辺の分母はと書いてもいいのですが、後の計算の都合があるので、このような形で表しておきます。

ここで本題に戻りまして、(12)式を利用しつつ(11)式の右辺第1項の積分を計算します。のときのことはいったん忘れて、として以下のように変形できます。

最後の2行についてはが符号関数であることから、であることを利用しています。

なお、変形の途中でを(12)式におけるだと思って計算しています。またのときには(11)式の右辺第1項の分子が0になりますので、積分した結果も0になります。これらをまとめると、

となります。

(11)式の右辺第2項についても同様の議論ができて、

となりますので、(15)式及び(16)式を足し合わせると、

となります。

元の関数が再び現れましたね。

のところについてはフーリエ逆変換の結果が右極限と左極限の平均値になっていますが、気にしない方向でお願いいたします。

以下、余談が続きます。

ディリクレ関数

何かとディリクレ積分と間違えられやすいディリクレ関数ですが、ディリクレ関数は「すべての実数で定義される有理数の時に1、無理数の時に0をとる関数」で、(18)式で表されます。

詳細な解説については参考文献に示したURLまたはWikipediaをご参照いただければと思います。

定義がわかりやすかったり、整数の階乗を有理数を選び出すために使ったりしているところは非常に面白いと思うのですが、どのように応用したらよいかがよくわからない関数ではあります。

ディリクレ積分が絶対可積分でないことの証明

次に、ディリクレ積分は絶対可積分でないこと、すなわち、

であることを証明してみます。

は偶関数なので、

と変形できますが、(20)式の右辺は発散してしまいます。よって、(19)式が成り立つこと、すなわち、絶対可積分ではないことが示されました。

Wikipediaにはのフーリエ変換は矩形関数になることがしれっと書いてありますが、この記事ではそれが可能であるかどうかの議論には立ち入らず、のフーリエ逆変換のみを考えることとしています。

まとめ

ディリクレ積分は複素積分を利用して計算されることが多いです。

複素積分を使うと初等的には計算できない積分も計算できる場合があるので、ツールとしての汎用性が高いと思いますが、前提となる知識もその分多くなります。よって、手っ取り早く結果だけを知りたいときになどにこの記事で書いたような技巧的な計算方法があることを頭に入れておくと何かの役には立つかもしれません。

この記事は以上です。

References / 参考文献

• はじめてのディリクレ関数