面白い積分：tanh(x)とζ関数の関係

845

大学レベル　(キーワード : ゼータ関数 , tanh(x) , メリン変換 , 部分分数展開、非整数階微積分)

こんばんは。たしです。
今日たまたま計算した積分が面白かったので紹介します！

それがこちら↓

$\int_{0}^{\infty} x^{s - 1} \tanh (\frac{x}{2}) d x = 2 (2^{1 - s} - 1) ζ (s) Γ (s)$

双曲線関数 : $\tanh (x) = \frac{\sinh (x)}{\cosh (x)} = \frac{e^{x} - e^{- x}}{e^{x} + e^{- x}}$ 　, $ζ (s)$ :ゼータ関数、 $Γ (s)$ :ガンマ関数

専門的な話をすると、 $\tanh (x)$ にメリン変換を行った結果がゼータ関数やガンマ関数で書けるというものになります。
証明方法はいろいろあると思いますが、今回は部分分数分解を用いた導出を紹介します(厳密さは軽視して大雑把に計算します)。大学レベルの知識を説明なしで用いるので、人によっては読みづらいかもしれませんがご了承ください。

公式１の導出

$\frac{π}{\tanh (π x)} = x \sum_{k \in Z} \frac{1}{x^{2} + k^{2}} \frac{π}{\sinh (π x)} = x \sum_{k \in Z} \frac{(- 1)^{k}}{x^{2} + k^{2}}$

証明は割愛しますが、三角関数や双曲線関数の"無限乗積展開" (平たく言うと因数分解)から、対数微分などを用いて導出できます。余談ですが、この式を変形して $x \to 0$ の極限を取ることで $ζ (2)$ が計算できたり、、 $x = 1$ を代入することで、 $\sum_{k \in N} \frac{1}{1 + k^{2}}$ のような級数が計算できたりします。

また、この式と双曲線関数の半角の公式 $" \tanh (\frac{x}{2}) = \frac{1}{\tanh (x)} - \frac{1}{\sinh (x)} "$ や $" π x \to x "$ などの変形を用いることで最終的に次の等式を得ます。

$\tanh (\frac{x}{2}) = \sum_{k \in N} \frac{4 x}{x^{2} + π^{2} (2 k - 1)^{2}}$

次の補題は、公式２の右辺で項別にメリン変換を施す際に用いるものです。

$\int_{0}^{\infty} \frac{x^{s}}{x^{2} + a^{2}} d x = \frac{π a^{s - 1}}{2 \cos (\frac{π}{2} s)}$

この式も証明には大学レベルの議論が必要なので詳細は割愛します(複素積分で定番の練習問題です)。本来ならば $s$ の収束範囲の議論などが必要ですが、一旦は認めましょう。それにしても、左辺の多項式を積分すると $π$ や $\cos$ などの一見無関係そうな値が出てくるのは何度見ても面白いです。

さて、これを用いて本来の目的であった積分を考えます。

$\int_{0}^{\infty} x^{s - 1} \tanh (\frac{x}{2}) d x = \int_{0}^{\infty} x^{s - 1} \sum_{k \in N} \frac{4 x}{x^{2} + π^{2} (2 k - 1)^{2}} d x . . . (公式２) = \sum_{k \in N} \int_{0}^{\infty} \frac{4 x^{s}}{x^{2} + π^{2} (2 k - 1)^{2}} d x . . . (無限和と積分の入れ替えは議論が必要だが割愛) = 4 \sum_{k \in N} \frac{π ・ (π (2 k - 1))^{s - 1}}{2 \cos (\frac{π}{2} s)} . . . (補題 2) = \frac{2 π^{s}}{\cos (\frac{π}{2} s)} \sum_{k \in N} \frac{1}{(2 k - 1)^{1 - s}} = \frac{2 π^{s}}{\cos (\frac{π}{2} s)} (1 - \frac{1}{2^{1 - s}}) ζ (1 - s) . . . (ζ 関数の奇数和の場合の有名公式を使用)$

というわけで無事に積分結果を閉じた形で表せました。これで終わりでもいいのですが、実はもう少し簡単にできます。
次の3つの関数等式を使って、さらに式変形を行います。

$1. \sin (π s) = 2 \sin (\frac{π}{2} s) \cos (\frac{π}{2} s) 2. Γ (s) Γ (1 - s) = \frac{π}{\sin (π s)} 3. ζ (s) = 2^{s} π^{s - 1} \sin (\frac{π}{2}) Γ (1 - s) ζ (1 - s)$

以上の公式たちを上手くこねくり回すことで次の等式が得られます。
$\frac{π^{s} ζ (1 - s)}{\cos (\frac{π}{2} s)} = 2^{1 - s} ζ (s) Γ (s)$

これを上で得られていた結果に当てはめると

続き

$\int_{0}^{\infty} x^{s - 1} \tanh (\frac{x}{2}) d x = \frac{2 π^{s}}{\cos (\frac{π}{2} s)} (1 - \frac{1}{2^{1 - s}}) ζ (1 - s) = 2 (1 - \frac{1}{2^{1 - s}}) 2^{1 - s} ζ (s) Γ (s) = 2 (2^{1 - s} - 1) ζ (s) Γ (s)$

よって最初に示したかった公式１が示されました。

非整数階微積分との関係

ちなみに上で得た公式を少し変形すると、次のようになります。
$\frac{1}{Γ (s)} \int_{0}^{\infty} x^{s - 1} \tanh (\frac{x}{2}) d x = 2 (2^{1 - s} - 1) ζ (s)$

ここで $s$ を負の整数( $s = - n, n \in N) とすると、 ζ (- n) = - \frac{B_{n + 1}}{n + 1} (B_{n}$ はベルヌーイ数)という公式が成り立ち、次が成り立ちます。
$(右辺) = - \frac{2 (2^{n + 1} - 1) B_{n + 1}}{n + 1}$

さてここで、話を変えて積分の中にある $\tanh (\frac{x}{2})$ に注目して、この関数をテイラー展開してみると次のようになります。

$\tanh (\frac{x}{2}) = \sum_{n = 1}^{\infty} (\frac{2 (2^{n + 1} - 1) B_{n + 1}}{n + 1}) \frac{x^{n}}{n!}$

なんとテイラー展開に出てくる係数と、上の積分で $s = - n$ とした結果が(符号を除いて)完全に一致してしまいました！

理由を知らずにこの結果を見るとびっくりするかもしれませんが、実はこれは非整数階微積分(または分数階微積分)の考えを知っていると簡単に理解できます。

実は $(\frac{d^{n}}{d x^{n}}) f (0)$ がテイラー展開の係数と関わっているように、 $(\int)^{s} f (0)$ は上の積分と密接に関係しています。 $s = - n$ として不思議な結果が得られたのは、微分と積分が逆演算ということに対応しているんですね。

以上が非整数階微積分との関係でした。自分は大学で非整数階微積分と解析数論のことを専門にしているので、この分野のことが少しでも気になってくれたら嬉しいです。

それでは最後まで見ていただきありがとうございました！　ご指摘やミス等ありましたらコメントか Twitter (@math_lewisia)までお願いします。

投稿日：2020年11月26日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

たし / いわはなび

1350

九州大学数理学府2年 / 専門は解析とかゼータ関数とか。基本は大学数学の話しかしません。

他の人のコメント

コメントはありません。

読み込み中

たし / いわはなび

面白い積分：tanh(x)とζ関数の関係

公式１の導出
非整数階微積分との関係

面白い積分：tanh(x)とζ関数の関係

大学レベル (キーワード : ゼータ関数 , tanh(x) , メリン変換 , 部分分数展開、非整数階微積分)

公式１の導出

非整数階微積分との関係

この記事を高評価した人

この記事に送られたバッジ

投稿者

コメント

他の人のコメント

大学レベル　(キーワード : ゼータ関数 , tanh(x) , メリン変換 , 部分分数展開、非整数階微積分)