文献あり

美しすぎる　　　数と級数と積分と

905

この著者は初心者として投稿しています。間違いや考慮が足りていない点が含まれている可能性が高いです。見つけたらコメント欄で優しく指摘してあげましょう。

of the 注意

今回、この記事に内容が詰まってしまい、証明や導出などを畳み込んであります。(フェルマー的なことを言って誤魔化してもよかったのですが、さすがにプライドが許さなかったです^^)
畳み込まれている部分は、このように強調された書体となっておりますので、閲覧の際はご注意ください。

初めに

こんにちは。にわかの数学好きArsenicです!

今回は、mathlog様の公式のイベントに参加させていただきましたが、まだ2記事目なので、甘めにお願いいたします!

今回は、数学の定数の中でも「美しい」、「重要だ」と呼ばれることの多い
$π (円周率)$ 、 $e (自然対数の底)$ 、 $γ (オイラー定数)$ 、 $i (虚数単位)$ 、 $ϕ (黄金比)$
に関して積分や級数(+微分方程式)で語り尽くしたいと思います。

簡単に内容を載せますと、
1)　　数の評価
2)　　積分厳選11問
3)　　物理、化学と精通する数
という感じです。
少し難しい内容もありますが、美しいので是非!

$π$ に関して

$π$ は、言わずと知れた数「円周率」です。
様々な定義の仕方がありますが、有名な近似でいえば、 $\int_{0}^{1} \frac{1}{x^{2} + 1} d x = \frac{π}{4}$ $4 \arctan \frac{1}{5} - \arctan \frac{1}{239} = \frac{π}{4} (マチンの公式)$ $\int_{- \infty}^{+ \infty} \frac{\sin x}{x} d x = π$ などがあげられます。

$e$ 関して

$e$ も有名な数である、「自然対数の底」です。(ネイピア数とも言います)
$e$ の定義式も様々な形がありますが、 $e = lim_{t \to 0} (1 + t)^{\frac{1}{t}}$
この定義式は非常に有名です。

$γ$ 関して

$γ$ は、「オイラー定数」と呼ばれ、 $γ = lim_{n \to \infty} (1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{n} - \log n)$ で定義されます。

しかしながら、この定数が有理数なのか無理数なのかもわかっていません。

$i$ に関して

$i$ は、虚数単位といい、 $\sqrt{- 1}$ に値する数です。
様々な応用例があるわけではない(僕の知識不足)ですが、有名な式として、 $e^{i π} = - 1$ は非常に有名です。

$ϕ$ に関して

$ϕ$ は、黄金比(黄金数)と呼ばれる数で、二次方程式 $x^{2} - x - 1$
の解です。

特殊関数の紹介

ここで、いくつか特殊関数を紹介しておきます。(最後のはマニアックですが、あとで出てきます^^)
$B e t a F u n c t i o n$
$Re (x) > 0 、 Re (y) > 0$ なる複素数 $x 、 y$ に対して、
$B (x, y) = \int_{0}^{1} t^{x - 1} (1 - t)^{y - 1} d t$
$G a m m a F u n c t i o n$
$x \notin 0 、 1 、 2 \dots$ なる複素数 $x$ に対して、
$\begin{array}{r} {\begin{cases} Γ (x) = \int_{0}^{\infty} t^{x - 1} e^{- t} d t (Re (x) > 0) \\ Γ (a) = \frac{Γ (a + 1)}{a} が成り立つ (Re (x) < 0) \end{cases} \end{array}$
$D i r i c h l e t^{'} s E t a F u n c t i o n$
$η (x) = \sum_{n = 1}^{\infty} \frac{(- 1)^{n - 1}}{n^{s}}$

また、ガンマ関数の亜種として、「ディガンマ関数」というものが存在し、通常、 $ψ (z)$ であらわされます。
ディガンマ関数は、ガンマ関数を対数微分して得られる関数で、性質として、 $ψ (1) = - γ$ というものがあります。

積分であらわしてみる。

これらの美しい定数ですが、面白い積分があるので、ご紹介したいと思います。

積分であらわしてみた(ぜひご自身で示してみてください!)

$\int_{- \infty}^{+ \infty} \frac{\cos x}{1 + x^{2}} d x = \frac{π}{e}$
$\int_{0}^{\infty} \frac{\sin x \log x}{x} d x = - \frac{γ π}{2}$

これらが成り立ちます。(勿論示します。)

一個目の積分

被積分関数を

I

とおく。この時、

I = 2 \int_{0}^{\infty} \frac{\cos x}{x^{2} + 1} d x

ここで、

I (t) = \int_{0}^{\infty} \frac{\cos t x}{x^{2} + 1}

を考える。
ラプラス変換すると、

L (I (t)) = \int_{0}^{\infty} e^{- s t} I (t) d t

\int_{0}^{\infty} e^{- s t} \int_{0}^{\infty} \frac{\cos t x}{x^{2} + 1} d x d t

ここで、最初の積分は、独立しているから、

\to \int_{0}^{\infty} \int_{0}^{\infty} e^{- s t} \frac{\cos t x}{x^{2} + 1} d x d t

フビニの定理を用いて、

\int_{0}^{\infty} \int_{0}^{\infty} e^{- s t} \frac{\cos t x}{x^{2}} d t d x

= \int_{0}^{\infty} \frac{1}{x^{2} + 1} (\int_{0}^{\infty} e^{- s t} \cos t x d t) d x

()中は、

\cos t x

のラプラス変換であるから、

L (I (t)) = \int_{0}^{\infty} (\frac{1}{x^{2} + 1} \frac{s}{s^{2} + x^{2}}) d x

ここで、部分分数分解を行うと、

\frac{s}{(x^{2} + 1) (s^{2} + x^{2})} = \frac{s}{s^{2} - 1} (\frac{1}{x^{2} + 1} - \frac{1}{x^{2} + s^{2}})

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

以上より、

L (I (t)) = \frac{s}{s^{2} - 1} {[\arctan x - \frac{1}{s} \arctan \frac{x}{s}]}_{0}^{\infty}

= \frac{s}{s^{2} - 1} (\frac{π}{2} - \frac{1}{s} \frac{π}{2})

= \frac{π}{2} \frac{s}{s^{2} - 1} (\frac{s - 1}{s})

L (I (t)) = \frac{π}{2} \frac{1}{s + 1}

\to L^{- 1} L (I (t)) = L^{- 1} (\frac{π}{2} \frac{1}{s + 1})

= I (t) = \frac{π}{2} e^{- t}

∴ I = I (1) = \frac{π}{e}

考察していきます。
この積分は、留数定理を用いれば、簡単に示せるかもしれません(確証はないですが)
この記事の最初のほうでラプラス変換という操作が出てきました。
様々な変換をした後に、結果的に

e

という数に収束(数学的な意味ではない)するのは結構美しいことだと思います。
また、三角関数などの定積分の計算では、よく

π

などが登場します。(弧度法でもそうですね。)

\arctan

の

0

から、

\infty

までの定積分の値は、

\frac{π}{2}

になるものも一つの魅力だと思います。

二個目の積分

被積分関数を

I

とおく。
まず、

I (s) = \int_{0}^{\infty} \frac{\sin x}{x^{s}}

を考える。

\frac{d}{d s} I (s) = \frac{d}{d s} \int_{0}^{\infty} \frac{\sin x}{x^{s}} d x

= \int_{0}^{\infty} \frac{\partial}{\partial s} \frac{\sin x}{x^{s}} d x

\frac{\partial}{\partial s} x^{- s} = x^{- s} \log x

より、

I^{'} (s) = \int_{0}^{\infty} \frac{\sin x}{x^{s}} \log x d x

今回、

I^{'} (s = 1) = I

である。

I (s) = \int_{0}^{\infty} \frac{\sin x}{x^{s}}

= \int_{0}^{\infty} \sin x \frac{1}{x^{s}}

ここで、

I_{1} = \int_{0}^{\infty} t^{- s - 1} e^{- t x} d t

とする。

t x = u \to d t = \frac{1}{x} d u

より、

I_{1} = \int_{0}^{\infty} \frac{u^{s - 1}}{x^{s - 1}} e^{- u} \frac{d u}{x}

= \frac{1}{x^{s}} \int_{0}^{\infty} u^{s - 1} e^{- u} d u = \frac{1}{x^{s}} Γ (s)

\to \frac{1}{x^{s}} = \frac{1}{Γ (s)} \int_{0}^{\infty} t^{s - 1} e^{- t x} d t

\to I (s) = \int_{0}^{\infty} \sin x (\frac{1}{Γ (s)} \int_{0}^{\infty} t^{s - 1} e^{- t x} d t) d x

= \frac{1}{Γ (s)} \int_{0}^{\infty} \int_{0}^{\infty} (\sin x) t^{s - 1} e^{- t x} d x d t

t

は独立しているから、

= \frac{1}{Γ (s)} \int_{0}^{\infty} t^{s - 1} (\int_{0}^{\infty} \sin x e^{- t x} d x) d t

I (s) = \frac{1}{Γ (s)} \int_{0}^{\infty} \frac{t^{s - 1}}{1 + t^{2}} d t

ここで、

t^{2} = y \to d t = \frac{1}{2} y^{- \frac{1}{2}} d y

と置換すると、

I (s) = \frac{1}{2 Γ (s)} \int_{0}^{\infty} \frac{y^{\frac{s - 1}{2}} y^{- \frac{1}{2}}}{1 + y}

I (s) = \frac{1}{2 Γ (s)} \int_{0}^{\infty} \frac{y^{\frac{s}{2} - 1}}{1 + y}

ここで、

\int_{0}^{\infty} \frac{y^{z - 1}}{1 + y} = Γ (z) Γ (1 - z) = π \csc π z

だから、

I (s) = \frac{1}{2 Γ (s)} π \csc \frac{π s}{2}

ここで、

I = I^{'} (s = 1)

だから、

I^{'} (s) = \frac{π}{2} (\frac{- Γ^{'} (s)}{Γ^{2} (s)} \csc \frac{π s}{2} - \frac{π}{2} \csc \frac{π s}{2} \cot \frac{π s}{2})

\to I^{'} (1) = \frac{π}{2} (Γ^{'} (1) \csc \frac{π}{2} - \frac{π}{2} \csc \frac{π}{2} \cot \frac{π}{2})

= I^{'} (1) = - \frac{π}{2} Γ^{'} (1)

∴ I^{'} (1) = I = - \frac{π γ}{2}

考察していきます。
ガンマ関数の反射公式である

r e f r e c t i o n f o r m u l a

が登場しました。
この公式を使用したら、必ず

π

と、三角関数の一つである

\csc

が登場しました。この時点で、もうその積分に

π

が登場することが決まったもの　的な感じに感じますが、今回は、オイラー定数

γ

が登場したことも一つの魅力です。
先ほど、ガンマ関数の亜種として紹介いたしました、「ディガンマ関数」と、オイラー定数

γ

に関係があることも不思議です。
「ディガンマ関数」が、ガンマ関数を(対数)微分することによって得られる関数であるから、先ほどのように関数

I (s)

のようなものを考え、変換していく過程で、ガンマ関数を微分する必要性が出てきて、その際にディガンマ関数になり、オイラー定数が登場する。こんな感じの流れですね。

また、あくまでも余談ですが、二項係数とも面白いつながりがあり、
$lim_{n \to \infty} \sqrt[2^{n}]{\prod_{k = 0}^{n}_{n} C_{k}} = \sqrt{e}$ という等式も成り立ちます。(これは示しましょう。)

区分求積で証明

lim_{n \to \infty} \sqrt[2^{n}]{\prod_{k = 0}^{n}_{n} C_{k}} = lim_{n \to \infty} {({(n!)}^{n + 1} {(\prod_{k = 0}^{n} \frac{1}{k!})}^{2})}^{\frac{1}{n^{2}}}

= lim_{n \to \infty} {((n!)^{n + 1} \prod_{k = 1}^{n} \prod_{i = 1}^{k} \frac{1}{i^{2}})}^{\frac{1}{n^{2}}}

= lim_{n \to \infty} {(\prod_{i = 1}^{n} i^{n + 1} \cdot \prod_{i = 1}^{n} \frac{1}{(i^{2})^{n + 1 - i}})}^{\frac{1}{n^{2}}}

= lim_{n \to \infty} {(\prod_{i = 1}^{n} i^{2 i - n - 1})}^{\frac{1}{n^{2}}}

= lim_{n \to \infty} \exp \frac{1}{n^{2}} \sum_{i = 1}^{n} (2 i - n - 1) \log i

= lim_{n \to \infty} \exp (\frac{1}{n^{2}} \sum_{i = 1}^{n} (2 i - n - 1) (\log i - \log n))

ここで、

\sum_{i = 1}^{n} (2 i - n - 1) = 0

であるから、

= lim_{n \to \infty} \exp (\frac{1}{n} \sum_{i = 1}^{n} (\frac{2 i}{n} - 1 - \frac{1}{n}) \log \frac{i}{n})

= \exp \int_{0}^{1} (2 x - 1) \log x d x

= e^{\frac{1}{2}} = \sqrt{e}

さて、今回の記事では、様々なことをやってみたい思います。
というわけで、まずはこちら!

$\frac{π}{e^{γ}}$ の考察

$A = \frac{π}{e^{γ}}$
を考えてみます.
なかなか一筋縄ではいかなさそうなゴツイ(あくまでも僕の感想です)ですが、考察してみましょう.
適当に近似すると、
$\frac{π}{e^{γ}} ≒ 1.763876989 \dots$
です。
導出は以下です。

ただの計算

まず、

γ

を導出する。
オイラー-マクローリンの総和公式を用いる。
オイラーマクローリンの総和公式は、

f (x)

を、

(2 m + 1)

階連続微分可能な関数とすると、

\sum_{k = 1}^{n} f (k) = \int_{0}^{n} f (x) d x + \frac{1}{2} (f (1) + f (n)) + \sum_{k = 1}^{m} \frac{B_{2 k}}{(2 k)!} (f^{(2 k - 1)} (n) - f^{(2 k - 1)} (1)) + R_{n} (f 、 m)

ただし、

0 ≦ R_{n} (f 、 m) ≦ \frac{2}{(2 π)^{2 m}} \int_{1}^{n} | f^{(2 m + 1)} (x) | d x

は剰余項、

B_{2 k}

はベルヌーイ数である。
これを用いて、オイラー定数の近似値を求めます。
まず、

f (x) = \frac{1}{x}

を求めると、

f^{'} (x) = - \frac{1}{x^{2}} 、 f^{″} (x) = \frac{1}{x^{3}} \dots f^{(n)} (x) = (- 1)^{n} \frac{n!}{x^{n + 1}}

これを先ほどの公式に適用すると、

\sum_{k = 1}^{n} \frac{1}{k} = \log n + \frac{1}{2} (\frac{1}{1} + \frac{1}{n}) + \sum_{k = 1}^{m} \frac{B_{2 k}}{(2 k)!} ((- 1)^{2 k - 1} \frac{(2 k - 1)!}{n^{2 k}} - (- 1)^{2 k - 1} (2 k - 1)!) R_{n} (f 、 m)

ここで、

(2 k)! = (2 k - 1)! \cdot 2 k

から、

\sum_{k = 1}^{n} \frac{1}{k} = \log n + \frac{1}{2} (\frac{1}{1} + \frac{1}{n}) + \sum_{k = 1}^{m} \frac{B_{2 k}}{2 k} (1 - \frac{1}{n^{2 k}}) R_{n} (f 、 m)

これを、オイラー定数の定義式に代入すると、

γ = lim_{n \to \infty} (\log n + \frac{1}{2} (\frac{1}{1} + \frac{1}{n}) + \sum_{k = 1}^{m} \frac{B_{2 k}}{2 k} (1 - \frac{1}{n^{2 k}}) R_{n} (f 、 m) - \log n)

= \frac{1}{2} + \sum_{k = 1}^{m} \frac{B_{2 k}}{2 k} + R_{\infty} (f 、 m)

以上より、

\sum_{k = 1}^{n} \frac{1}{k} = \log n + \frac{1}{2} (\frac{1}{1} + \frac{1}{n}) + \sum_{k = 1}^{m} \frac{B_{2 k}}{2 k} (1 - \frac{1}{n^{2 k}}) R_{n} (f 、 m)

= \log n + \frac{1}{2 n} - \frac{1}{2^{2 k}} \sum_{k = 1}^{m} \frac{B_{2 k}}{2 k} + R_{n} (f 、 m) - R_{\infty} + (\frac{1}{2} + \sum_{k = 1}^{m} \frac{B_{2 k}}{2 k} R_{\infty} (f 、 m))

この式の誤差項を無視して、

B_{2} 、 B_{4} 、 B_{6} \dots B_{2 n}

に値を代入することで、

γ = \sum_{k = 1}^{n} \frac{1}{k} - \log n - \frac{1}{2 n} + \frac{1}{12 n^{2}} - \frac{1}{120 n^{4}} + \frac{1}{256 n^{6}} + \dots

個の級数を用いて、オイラーは、

γ

を少数第16位まで計算して、

γ = 0.5772156649015325 \dots

をたたき出しました。
さて、せっかく求めたので、

\frac{π}{e^{γ}}

を近似してみましょう。
それぞれを少数16位まで用意します。

π = 3.1415926535897932 \dots

e = 2.7182818284590452 \dots

γ = 0.5772156649015325 \dots

だから、

\frac{π}{e^{γ}} ≒ 1.763876989 \dots

です。

電卓様の結果

積分です

I = \int_{0}^{1} \log (\log \frac{1}{x}) \frac{1}{{(1 + x)}^{2}} d x

まず、

\log x = - u \to x = e^{- u} \to d x = - e^{- u} d x

したがって、積分は、

I = \int_{0}^{\infty} \frac{\log u}{{(1 + e^{- u})}^{2}} e^{- u} d u

ここで、

u \to x

とすると、

I = \int_{0}^{\infty} \frac{(\log x) e^{- x}}{{(1 + e^{- x})}^{2}} d x

ここで、

\frac{1}{1 + x} = \sum_{k ≧ 0} (- 1)^{k} x^{k}

| x | < 1

から、

\to \frac{1}{1 + e^{- x}} = \sum_{k ≧ 0} (- 1)^{k} e^{- k x}

- \frac{(- e^{- x})}{(1 + e^{- x})^{2}} = \sum_{k ≧ 0} (- 1)^{k} (- k)^{- k x}

= \sum_{k ≧ 0} (- 1)^{k + 1} k e^{- k x}

I (s) = \int_{0}^{\infty} \frac{x^{s - 1} e^{- x}}{(1 + e^{- x})^{2}} d x

= I^{'} (s) = \int_{0}^{\infty} \frac{(x^{s - 1} \log x) e^{- x}}{(1 + e^{- x})^{2}}

I^{'} (s = 1) = I

となる。

\to \int_{0}^{\infty} x^{s - 1} \frac{e^{- x}}{(1 + e^{- x})^{2}} d x = \int_{0}^{\infty} x^{s - 1} \sum_{k ≧ 1} (- 1)^{k + 1} k e^{- k x} d x

\int_{0}^{\infty} = \sum_{k ≧ 1} (- 1)^{k + 1} k \int_{0}^{\infty} x^{s - 1} e^{- k x} d x

ここで、

k x = u \to x = \frac{d u}{k}

\to I (s) = \sum_{k ≧ 1} (- 1)^{k + 1} k \int_{0}^{\infty} \frac{u^{s - 1}}{k^{s - 1}} e^{- u} \frac{d u}{k}

= \sum_{k ≧ 1} \frac{(- 1)^{k + 1}}{k^{s - 1}} \int_{0}^{\infty} u^{s - 1} e^{- u} d u

上の式の後半は、ガンマ関数である。

= Γ (s) \sum_{k ≧ 1} \frac{(- 1)^{k + 1}}{k^{s - 1}}

後半は、ディリクレのイータ関数だから、

= Γ (s) η (s)

I^{'} (s) = Γ^{'} (s) η (s - 1) + Γ (s) η^{'} (s - 1)

今回は、

I (1)

だから、

I = Γ^{'} (1) η (0) + η^{'} (0)

ここで、

Γ^{'} (1) = - γ 、 η (0) = \frac{1}{2} 、 η^{'} (0) = \frac{1}{2} \log \frac{π}{2}

であるから、

I = \frac{γ}{2} + \frac{1}{2} \log \frac{π}{2}

I = \frac{1}{2} (- γ + \log \frac{π}{2})

ここで、

- γ = \log e^{γ}

だから、

I = \frac{1}{2} (\log \frac{π}{2} - \log e^{γ})

∴ I = \frac{1}{2} \log \frac{π}{2 e^{γ}}

らまぬじゃん

\int_{0}^{\infty} e^{- α e^{x}} + e^{- α e^{- x}} - 1 d x (α > 0)

積分を

I (α)

とおく。

x \to - x

とすると、

I (α) = \frac{1}{2} \int_{- \infty}^{\infty} e^{- α e^{x}} + e^{- α e^{- x}} - 1 d x

ここで、

e^{x} = u \to x = \log u \to d x = \frac{1}{u} d u

から、

α \to - \infty 、 u \to 0

α \to \infty 、 u \to \infty

だから、

I (α) = \frac{1}{2} \int_{0}^{\infty} (e^{- α x} + e^{- \frac{α}{u}} - 1) \frac{1}{u} d u

= \frac{1}{2} (\int_{0}^{\frac{1}{α}} + \int_{\frac{1}{α}}^{\infty} \frac{e^{- α x} + e^{- \frac{α}{u}} - 1}{u} d u)

ここで、

I_{1} = \int_{0}^{\frac{1}{α}} \frac{e^{- α u} - 1}{u} d u + \int_{\frac{1}{α}}^{\infty} \frac{e^{- α u}}{u} d u

I_{2} = \int_{0}^{\frac{1}{α}} \frac{e^{- \frac{α}{u}}}{u} d u + \int_{\frac{1}{α}}^{\infty} \frac{e^{- \frac{α}{u}} - 1}{u} d u

とする。
まず、

I_{1}

を求める。
ここで、

α u = z

とおく。

\to d u = \frac{1}{α} d z

だから、

I_{1} = \int_{0}^{1} \frac{e^{- z} - 1}{z} α \frac{1}{α} d z + \int_{1}^{\infty} \frac{e^{- z}}{z} α \frac{1}{α} d z

= \int_{0}^{1} \frac{e^{- z} - 1}{z} d z + \int_{1}^{\infty} \frac{e^{- z}}{z} d z

したがって、

I_{1} = - γ

I_{2}

を求める。
まず、

\frac{α}{u} = z \to u = \frac{α}{z} \to d u = - \frac{α}{z^{2}} d z

から、

I_{2} = \int_{\infty}^{α^{2}} \frac{e^{- z}}{α} z \frac{- α}{z^{2}} d z + \int_{α^{2}}^{0} \frac{e^{- z} - 1}{α} z (\frac{- α}{z^{2}}) d z

I_{2} = \int_{\infty}^{α^{2}} \frac{e^{- z}}{z} d z + \int_{0}^{α} \frac{e^{- z} - 1}{z} d z

= \int_{\infty}^{α^{2}} \frac{e^{- z}}{z} d z + \int_{0}^{α^{2}} \frac{e^{- z}}{z} d z - \int_{0}^{α^{2}} \frac{1}{z^{2}} d z

したがって、

I_{2} = \int_{0}^{\infty} \frac{e^{- z}}{z} d z - \int_{0}^{α^{2}} \frac{1}{z} d z

= \int_{0}^{1} \frac{e^{- z}}{z} d z + \int_{1}^{\infty} \frac{e^{- z}}{z} d z - \int_{0}^{1} \frac{1}{z} d z - \int_{1}^{α^{2}} \frac{1}{z} d z

= \int_{0}^{1} \frac{e^{z - 1}}{z} d z + \int_{1}^{\infty} \frac{e^{- z}}{z} d z - \int \frac{1}{α^{2}} \frac{1}{z} d z

= - γ - {\log z |}_{1}^{\infty}

∴ I_{2} = - γ - 2 \log α

以上より、

I_{1} = - γ 、 I_{2} = - γ - 2 \log α

より、

I (α) = \frac{1}{2} (- 2 γ - 2 \log α)

∴ I (α) = - (γ + \log α)

ここから、値を入れていく。

I (π) = - (γ + \log π) = - (\log e^{γ} + \log π)

∴ I (π) = - \log e^{γ} π

I (γ) = - \log e^{γ} γ

I (ϕ) = - \log e^{γ} ϕ

I (e^{- 69}) = 69 - γ

ガンマ関数の

ガンマ関数の評価

\frac{1}{Γ (x)} = x e^{γ x} \prod_{k ≧ 1} (1 + \frac{x}{k}) e^{- \frac{x}{k}}

- \log Γ (x) = \log x + \log e^{γ x} + \sum_{k ≧ 1} \log (1 + \frac{x}{k}) e^{- \frac{x}{k}}

\to - \log Γ (x) = \log x + γ x + \sum_{k ≧ 1} \log (1 + \frac{x}{k}) e^{- \frac{x}{k}}

\to - \log Γ (x + 1) = γ x + \sum_{k ≧ 1} (\log (1 + \frac{1}{k}) - \frac{x}{k})

\to \log Γ (x + 1) = - γ x + \sum_{k ≧ 1} (\frac{x}{k} - \log (1 + \frac{x}{k}))

ここで、

\frac{1}{x + 1} = \sum_{n ≧ 1} (- 1)^{n - 1} x^{n - 1} (| x | < 1)

これの積分を考えると、

\int \frac{1}{x + 1} = \int \sum_{n ≧ 1} (- 1)^{n - 1} x^{n - 1}

\to \log (1 + \frac{x}{k}) = \sum_{n ≧ 1} (- 1)^{n - 1} \frac{x^{n}}{k^{n} n}

\to \log Γ (x + 1) = - γ x + \sum_{k ≧ 1} (\frac{x}{k} - \sum_{n ≧ 1} \frac{(- 1)^{n - 1} x}{k^{n} n})

= - γ x + \sum_{n ≧ 1} (\frac{x}{k} - \frac{x}{k} - \sum_{k ≧ 2} \frac{(- 1)^{n - 1} x}{k^{n} n})

\log Γ (x + 1) = - γ x - \sum_{k ≧ 1} \sum_{n ≧ 2} \frac{(- 1)^{n - 1} x^{n}}{k^{n} n}

ここで、総和記号に関して、この級数は収束するから、

= - γ x - \sum_{n ≧ 2} \sum_{k ≧ 1} \frac{(- 1)^{n - 1} x^{n}}{k^{n} n}

= - γ x - \sum_{n ≧ 2} \frac{(- 1)^{n - 1} x^{n}}{n} \sum_{k ≧ 1} \frac{1}{k^{n}}

後ろの級数は、

ζ (n)

だから、

\log Γ (x + 1) = - γ x - \sum_{n ≧ 2} \frac{(- 1)^{n - 1} x^{n} ζ (n)}{n}

ここで、

x = - \frac{1}{2}

の時、

\log Γ (\frac{1}{2}) = \frac{γ}{2} - \sum_{n ≧ 2} (- 1)^{n - 1} (\frac{1}{2}) (- 1)^{n}

\to \log Γ (\frac{1}{2}) = \frac{γ}{2} - \sum_{n ≧ 2} (- 1)^{2 n - 1} (\frac{1}{2})

= \frac{γ}{2} + \sum_{n ≧ 2} \frac{{(\frac{1}{2})}^{n} ζ (n)}{n}

後ろの級数を

S

とでも置き、様々な値を代入すると、

\log \sqrt{π} = \log e^{\frac{γ}{2}} + S

\to S = \log \sqrt{π} - \log \sqrt{e^{γ}}

= \log \sqrt{\frac{π}{e^{γ}}}

S = \frac{1}{2} \log \frac{π}{e^{γ}}

微調整すると、

\sum_{n ≧ 2} \frac{ζ (n)}{2^{n - 1} n} = \log \frac{π}{e^{γ}}

複素対数関数

ここで、次の積分に行く前に、(正直言ってあまり使いませんが)定義したい事柄があるので定義します。

それは、 $i 乗$ の定義です。
例えば、非常に有名ですが、 $i^{i}$ は実数になります。(この証明一応あげておきます)

$i^{i}$ は実数

複素対数関数を軽く定義します。
以下、

a 、 b \in R 、 n \in Z

とする。
この時、自然対数の底

e

に対して、

e^{z} = e^{a} (\cos b + i \sin x)

が成り立つ。
これの逆関数として、
複素数

z

が与えられたときに、

e^{w} = z

となる

w

を、

z

の対数とみなし、

w = \log z

で書く。
一般に、

0

でない複素数

z

に対して、その対数は、

\log z = \log | z | + i \arg z

これらを用いると、複素数乗が定義できる。

ここから

i^{i}

を評価する。
まず、複素対数関数は、多価関数であるため、範囲を

- π < \arg z ≦ \arg π

の範囲に限定すると、一つ取り出すことができます。
この値を「主値」といい、通常、

Log z

として表現されます。
以上の道具を用いると、

\log i = (\frac{1}{2} + 2 n) π i

でありますから、範囲を

- π < \arg z ≦ \arg π

に限定すると、

Log z = \frac{1}{2} π i

このことを用います。

i^{i}

の主値は実数

まず、定義より、 $i^{i} = e^{i \log i}$
そして、 $\log i$ の主値は、 $Log z = \frac{1}{2} π i$ から、 $i^{i} = e^{\frac{1}{2} π i^{2}}$
以上から、 $i^{i} = e^{- \frac{1}{2} π} = 0.20787957635 \dots$
以上より、 $i^{i} \in R$ が示された。

さて、上の定義を用いると、次のような積分

虚数単位乗

$\int_{0}^{\frac{π}{2}} \tan^{i} d x (i は虚数単位)$

を見ても、吐きたくなりません。(まぁこの積分解くのには使わないのですが..)

ということで、へんてこりんな積分を計算します。

へんてこりんな積分

この積分を

I

と置くと、

I = \int_{0}^{\frac{π}{2}} \tan^{i} d x

まず、

\tan x = \sin x (\cos x)^{- 1}

だから、

I = \int_{0}^{\frac{π}{2}} \sin^{i} \cos^{- i} d x

= (\frac{1}{2}) 2 \int_{0}^{\frac{π}{2}} \sin^{i} \cos^{- i} d x

ここで、ベータ関数の定義

B (x 、 y) = 2 \int_{0}^{\frac{π}{2}} \sin^{2 x - 1} t \cos^{2 y - 1} t d t

から、

I = \frac{1}{2} B (\frac{1 + i}{2} 、 \frac{1 - i}{2})

ここで、ベータ関数とガンマ関数の関係式から、

\frac{1}{2} \frac{Γ (\frac{1 + i}{2}) Γ (\frac{1 - i}{2})}{Γ (\frac{1 + i}{2} + \frac{1 - i}{2})}

ここで、ガンマ関数の反射公式から、

\frac{1}{2} π \csc [π (\frac{1 + i}{2})] = \frac{1}{2} \csc [\frac{π}{2} + \frac{i π}{2}] = \frac{π}{2} \sec (\frac{i π}{2})

∴ I = \frac{π}{2} sech (\frac{π}{2})

はい。ということで、次の積分です。

積分2

$I = \int_{0}^{\frac{π}{2}} \frac{\csc x (2 \sin x)}{\sin x} d x$

はい、この積分も特に何の変哲もないただの積分ですね。
最低でも $π$ が絡むということは容易に想像できますね。
面白くないので、ささっと示して、次の積分に行きましょう。

実は盲点ほんとに盲点

まず、

I (a) = \int_{0}^{\frac{π}{2}} \frac{\csc (a \sin x)}{\sin x} d x

を定義します。

(I (2) = I)

\frac{d}{d a} I (a) = \frac{d}{d a} \int_{0}^{\frac{π}{2}} \frac{\csc (a \sin x)}{\sin x} d x

I^{'} (a) = \int_{0}^{\frac{π}{2}} \frac{\partial}{\partial a} \frac{\csc (a \sin x)}{\sin x} d x

\int_{0}^{\frac{π}{2}} \frac{1}{\sin x} \frac{\sin x}{1 + a^{2} \sin^{2} x} d x

I^{'} (a) = \int_{0}^{\frac{π}{2}} \frac{d x}{1 + a^{2} \sin^{2} x}

ここで、

x \to \frac{π}{2} - x

とすると、

I^{'} (a) = \int_{0}^{\frac{π}{2}} \frac{d x}{1 + a^{2} {(\sin (\frac{π}{2} - x))}^{2}}

I^{'} (a) = \int_{0}^{\frac{π}{2}} \frac{d x}{1 + a^{2} \cos^{2} x}

I^{'} (a) = \int_{0}^{\frac{π}{2}} \frac{\sec^{2} x d x}{(1 + a^{2} \cos^{2} x) \cdot \sec^{2} x} 神 の よ う な 選 択

I^{'} (a) = \int_{0}^{\frac{π}{2}} \frac{\sec^{2} x d x}{\sec^{2} x + a^{2}}

I^{'} (a) = \int_{0}^{\frac{π}{2}} \frac{\sec^{2} x}{(a^{2} + 1) + \tan^{2} x}

ここで、

\tan x = u

と置換すると、

x = 0 \to u = 0 、 x = \frac{π}{2} \to u = \infty 、 \sec^{2} x d x = d u

I^{'} (a) = \int_{0}^{\infty} \frac{d u}{a^{2} + 1 + u^{2}}

I^{'} (a) = \frac{1}{\sqrt{a^{2} + 1}} \tan^{- 1} {\frac{u}{\sqrt{a^{2} + 1}} |}_{0}^{\infty}

I^{'} (a) = \frac{π}{2} \frac{1}{\sqrt{a^{2} + 1}}

したがって、

\int I^{'} (a) d a = \frac{π}{2} \int \frac{1}{\sqrt{1 + a^{2}}} d a

I (a) = \frac{π}{2} \sinh^{- 1} a + C (C は 積 分 定 数)

I (a = 0) = 0 = \frac{π}{2} \sinh^{- 1} 0 + C

だから、

C = 0

I (a) = \frac{π}{2} \sinh^{- 1} a

I (2) = \frac{π}{2} \sinh^{- 1} 2

ここで、

\sinh^{- 1} x = \log (x + \sqrt{x^{2} + 1})

\sinh^{- 1} 2 = \log (2 + \sqrt{5}) = \log (1 + 1 + \sqrt{5})

である。したがって、

I = \frac{π}{2} \log (1 + 2 ϕ)

考察していきます。
この積分の最後のほうに、双曲線関数sinh⁡sinhが登場しました。
そして、この逆関数を考えると、自然対数が登場する美しい式になり、そのxに、1を入れたら黄金比が出てくることは結構盲点です。
この積分を選んだ理由としては、黄金比の出方が美しかったこと　と、自然対数の中に黄金比が登場したこと
この二つが大きな理由です。

さて、いかがでしたでしょうか。最後に黄金比を持ってくるのは多少強引すぎたかもしれませんが、黄金比が答えに出てきましたね。

どんどん行きましょう。次の問題は、こちらです!!!

なんて表現していいのかわからない

$f^{'} (x) = f^{- 1} (x) を満たす関数 f (x) を 1 つ求めよ。$

ちょっと積分からは離れました。この問題には、果たして、どのような数学定数が登場するのでしょうか。

黄金比

個の微分方程式を満たす

f

を求める。

f (x) = y = α x^{β} (α 、 β \in C)

これを考える。ひとまず微分すると、

\frac{d y}{d x} = α β x^{β - 1}

になる。

y = α x^{β} \to \frac{y}{α} = x^{β}

以上より、

y^{\frac{1}{β}} α^{- \frac{1}{β}}

∴ f^{- 1} (x) = x^{\frac{1}{β}} α^{- \frac{1}{β}}

f^{'} = f^{- 1} \to α β x^{β - 1} = α^{- \frac{1}{β}} x^{\frac{1}{β}}

この

2

津が等しいということは、「係数と指数が等しい」ことだから、連立方程式

{\begin{cases} β - 1 = \frac{1}{β} \\ α β = α - \frac{1}{β} \end{cases}

となる。この連立方程式を解くと、

β (β - 1 = \frac{1}{β})

= β^{2} - β - 1 = 0

∴ β = ϕ 、 1 - ϕ

したがって、

α^{\frac{1}{β}} (α β = α^{- \frac{1}{β}}) \to α^{1 + \frac{1}{β}} β = 1

β - 1 = \frac{1}{β} \to β = 1 + \frac{1}{β}

α^{β} β = 1

α = {(\frac{1}{β})}^{\frac{1}{β}}

\to α = {(β - 1)}^{β - 1}

したがって、

{\begin{cases} β = ϕ 、 α = {(ϕ - 1)}^{ϕ - 1} \\ β = ϕ - 1 、 α = {(- ϕ)}^{- ϕ} \end{cases}

したがって、

f (x) = α x^{β}

f (x) = {(ϕ - 1)}^{ϕ - 1} x^{ϕ} 、 f (x) = {(- ϕ)}^{- ϕ} x^{1 - ϕ}

もう一つ示してみましょう。

f (x) = (ϕ - 1)^{ϕ - 1} x^{ϕ} \to f^{'} (x) = (- 1)^{ϕ - 1} ϕ x^{ϕ - 1}

f^{- 1} (x) = {(\frac{x}{(ϕ - 1)^{ϕ - 1}})}^{\frac{1}{ϕ}}

ϕ^{2} - ϕ - 1 = 0 \to ϕ - 1 - \frac{1}{ϕ} = 0

\to ϕ - 1 = \frac{1}{ϕ}

\to f^{'} (x) = {(\frac{1}{ϕ})}^{\frac{1}{ϕ}} ϕ x^{\frac{1}{ϕ}} = ϕ^{1 - \frac{1}{ϕ}} x^{\frac{1}{ϕ}}

\to f^{'} (x) = \frac{x^{\frac{1}{ϕ}}}{(ϕ - 1)^{(ϕ - 1) \frac{1}{ϕ}}} = \frac{1}{(ϕ - 1)^{1 - \frac{1}{ϕ}}} x^{\frac{1}{ϕ}}

= \frac{1}{\frac{1}{ϕ^{1 - \frac{1}{ϕ}}}} x^{\frac{1}{ϕ}}

\to f^{- 1} (x) = ϕ^{1 - \frac{1}{ϕ}} x^{\frac{1}{ϕ}} = f^{'} (x)

黄金比にまみれました。この結果は、非常に興味深い結果であると思います。
無理やり数値代入でも、ゴリゴリ計算したとしても、結果が黄金比で収束する(数学的な意味ではない)ことは非常に面白いことです。
なお、この問題は、この関数以外に解を持つかどうかが不明です。発見した方は、ご返信ください!

さて、徐々に面白みが出てきたところで、次の積分に行きます。
この積分は、また一風変わった形で数が出てきます。ぜひ一度チャレンジを!!!

ついに来た極限

$lim_{k \to \infty} \frac{\sqrt{k}}{e^{k}} e^{\int_{0}^{\infty} ⌊ k e^{- x} ⌋ d x} (k \in Z)$

見た目ゴツイですが、超幾何級数よりはマシだと思うので、示しましょう。
なお、積分は、 $e$ の肩についています。(つまり累乗)
解答にどんな数が出てくるのか、予想してみてください。

俺はお前のことを忘れていた

I = \int_{0}^{\infty} ⌊ k e^{- x} ⌋ d x

と置く。そして、

k e^{- x} = u

と置換。

x = - \log \frac{u}{k} 、 d x = - \frac{1}{u} d u

x = 0 \to u = k 、 x = \infty \to u = 0

だから、

I = - \int_{k}^{0} \frac{⌊ u ⌋}{u} d u

= \int_{0}^{k} \frac{⌊ u ⌋}{u} d u

ここで、床関数の性質

n < u < n + 1 、 ⌊ u ⌋ = n

から、

\int_{0}^{1} + \int_{1}^{2} + \int_{2}^{3} \dots \int_{k - 1}^{k} \frac{⌊ u ⌋}{u} d u

を考える。
ここで、床関数の性質から、

I = \int_{1}^{2} \frac{1}{u} d u + \int_{2}^{3} \frac{2}{u} d u + \dots + \int_{k - 1}^{k} \frac{k - 1}{u} d u

= \sum_{n = 1}^{k - 1} \int_{n}^{n + 1} \frac{n}{u} d u

= \sum_{n = 1}^{k - 1} {n \log u |}_{n}^{n + 1}

= \sum_{n = 1}^{k - 1} n (\log (n + 1) - \log n)

これを総和記号

\sum

を用いずに表すと、

I = (\log 2 - \log 1) + 2 (\log 3 - \log 2) + 3 (\log 4 - \log 3) + \dots (k - 1) (\log k - \log (k - 1))

= - (\log 2 + \log 3 + \log 4 + \dots + (k - 1)) + (k - 1) \log k

= - \log (1 \cdot 2 \cdot 3 \dots (k - 1)) + \log k^{k - 1}

= - \log (k - 1)! + \log k^{k - 1}

∴ I = \log \frac{k^{k - 1}}{(k - 1)!}

これを、元の極限の式に代入して、

lim_{k \to \infty} \frac{\sqrt{k}}{e^{k}} e^{I} = lim_{k \to \infty} \frac{\sqrt{k}}{e^{k}} \frac{k^{k - 1}}{(k - 1)!}

= lim_{k \to \infty} \frac{\sqrt{k}}{e^{k}} \frac{k \cdot k^{k - 1}}{k \cdot (k - 1)!}

= lim_{k \to \infty} \frac{\sqrt{k}}{e^{k}} \frac{k^{k}}{k!}

ここから後処理。

S t a r l i n g

の公式から、

k \to \infty 、 k! \sim \sqrt{2 π k} {(\frac{k}{e})}^{k}

がいえるから、

lim_{k \to \infty} \frac{\sqrt{k}}{e^{k}} \frac{k^{k}}{\sqrt{2 π} \sqrt{k}} \frac{e^{k}}{k^{k}}

∴ \frac{1}{\sqrt{2 π}}

いかがでしたでしょうか。
階乗の近似公式に

π

が出てきていましたね。
そこまで難しくはないですが、

k!

にすることができたら楽でしたね。
次は、またちょっと違う積分です。

重積分

$\int_{0}^{\infty} \int_{0}^{\infty} e^{- x} {(\frac{x}{y})}^{2} \log (1 + \frac{y^{2}}{x^{2}}) \log y d x d y$

見た目がゴツイです。それに限ります。
重積分に関して、何かわからないことなどがありましたら、こちらをご覧ください。
この積分に、どのような数学定数が関係してくるのでしょうか。
一応自然対数があるので、 $e$ は絡んできそうですね。
是非予想してみてくださいな。

答えはきれい

積分を

I

とおく。
そして、この積分は、

I = \int_{0}^{\infty} \int_{0}^{\infty} e^{- x} {(\frac{x}{y})}^{2} \log (1 + \frac{y^{2}}{x^{2}}) \log y d y d x

ここで、

\frac{y}{x} = u \to d y = x d u

だから、

\int_{0}^{\infty} \int_{0}^{\infty} e - - x \frac{1}{u^{2}} \log (1 + u^{2}) \log (x u) x d u d x

ここで、

\log x u = \log x + \log u

\int_{0}^{\infty} \int_{0}^{\infty} \frac{x e^{- x}}{u^{2}} \log (1 + u^{2}) \log u d u d x + \int_{0}^{\infty} \int_{0}^{\infty} \frac{x e^{- x}}{u^{2}} \log (1 + u^{2}) \log x d u d x

= \int_{0}^{\infty} x e^{- x} d x \int_{0}^{\infty} \frac{\log (1 + u^{2}) \log u}{u^{2}} d u + \int_{0}^{\infty} x e^{- x} \log x d x \int_{0}^{\infty} \frac{\log (1 + u^{2})}{u^{2}} d u

それぞれの積分ごとに、

I_{1} 、 I_{2} 、 I_{3} 、 I_{4}

と置くと、

I = I_{1} I_{2} + I_{3} I_{4}

となる。
ここで、

I_{2} = I_{4} = π

だから、
あとは、

I_{1} = \int_{0}^{\infty} x e^{- x} d x 、 I_{3} = \int_{0}^{\infty} x e^{- x} \log x d x

を求める。
ここで、

Γ (z) = \int_{0}^{\infty} x^{z - 1} e^{- x} d x

だから、

I_{1} = Γ (2) = 1

I_{3} = \int_{0}^{\infty} x e^{- x} \log x d x

= \frac{\partial}{\partial z} x^{z - 1} = x^{z - 1} \log x

こ こ で 、 \frac{d}{d z} Γ (z) = \frac{d}{d z} \int_{0}^{\infty} x^{z - 1} e^{- x} を 考 え る と 、

I_{3} = \int_{0}^{\infty} \frac{\partial}{\partial z} x^{z - 1} e^{- x} d x

そして、

Γ^{'} (z) = \int_{0}^{\infty} x^{z - 1} e^{- x} \log x d x

今回、

z - 1 = 1 \to z = 2

だから、

I_{3} = Γ^{'} (2)

そして、

Γ^{'} (1) = \int_{0}^{\infty} e^{- x} \log x d x = - γ

Γ (z + 1) = x Γ (x) \to Γ^{'} (z + 1) = x Γ^{'} (x) = Γ^{'} (2) = - γ + 1

以上より、

I = I_{1} I_{2} + I_{3} I_{4}

だから、

I = π + (1 - γ) π

∴ I = π (2 - γ)

いかがでしたでしょうか。
だいぶオイラー定数

γ

が出てくるタイミングがわかってきました。

特殊関数

$\int_{0}^{2 π} \frac{1}{Γ (1 - e^{i x})} d x$

ガンマ関数の中の虚数単位をどのように処理すべきかが難点そうですね。

答えはきれい

この積分には、多少の複素関数が絡みます。
まず、積分を

I

とおく。この時、

I = \int_{0}^{\frac{π}{2}} \frac{Γ (e^{i x})}{Γ (e^{i x}) Γ (1 - e^{i x})} d x

ここで、

Γ (z) Γ (1 - z) = π \csc π z

から、

I = \int_{0}^{\frac{π}{2}} \frac{Γ (e^{i x})}{π \csc (π e^{i x})} d x

= \frac{1}{π} \int_{0}^{\frac{π}{2}} Γ (e^{i x}) \sin (π e^{i x})

ここで、

e^{i x} = z \to i e^{i x} = d z = i z \to d x = \frac{d z}{i z}

だから、

I = \frac{1}{π i} \int \frac{Γ (z) \sin (π z)}{z} d z

ここで、

e^{i z} = z

は、

図
上の図のようになるから、

I = \frac{1}{π i} \oint_{| z | = 1} \frac{Γ (z) \sin (π z)}{z} d z

I = \frac{1}{π i} 2 π i \sum Res \frac{Γ (z) \sin (π z)}{z} d z

I = 2 {Res}_{z = 0} (\frac{Γ (z) \sin (π z)}{z})

= 2 lim_{z \to 0} \frac{z Γ (z) \sin (π z)}{z}

= 2 lim_{z \to 0} Γ (z + 1) \frac{\sin π z}{z}

∴ I = 2 π

次の積分です。

単純な積分

$\int_{- \infty}^{+ \infty} e^{- x^{2}} \cos (2 x^{2}) d x$

評価されるべき

今回考慮すべきは、実部なので、実部を主に調べていく。

E u l e r^{'} s f o r m u l a

より、

\cos (2 x^{2}) = Re (e^{i (2 x)})

I = Re \int_{- \infty}^{\infty} e^{- x^{2}} e^{2 i x} d x

= Re \int_{- \infty}^{\infty} e^{- x^{2} (1 - 2 i)} d x

= 2 Re \int_{0}^{\infty} e^{- x^{2} (1 - 2 i)} d x

ここで、

I (t) = \int_{0}^{\infty} e^{- t x^{2}} (t \in C)

を考える。
この時、ラプラス変換すると、

L (I (t)) = \int_{0}^{\infty} e^{- s t} I (t) d t

= \int_{0}^{\infty} e^{- s t} (\int_{0}^{\infty} e^{- t x^{2}} d x) d t

x

は独立であり、無理やるねじ込むと、

L (I (t)) = \int_{0}^{\infty} \int_{0}^{\infty} e^{- s t} e^{- t x^{2}} d x d t

有界性があるため、フビニの定理を用いて、

= \int_{0}^{\infty} \int_{0}^{\infty} e^{- s t} e^{- t x^{2}} d t d x

L (I (t)) = \int_{0}^{\infty} (\int_{0}^{\infty} e^{- s t} e^{- t x^{2}} d t) d x

上の式において、()中は、

L (e^{- t x^{2}})

だから、

L (I (t)) = \int_{0}^{\infty} L (e^{- t x^{2}}) d x

= \int_{0}^{\infty} \frac{d x}{s + x^{2}} = {\frac{1}{\sqrt{s}} \arctan \frac{x}{\sqrt{s}} |}_{0}^{\infty}

したがって、

L (I (t)) = \frac{1}{\sqrt{s}} \frac{π}{2}

となる。
ここで、元に戻すために、逆ラプラス変換をすると、

L^{- 1} L (I (t)) (s) = L^{- 1} (\frac{1}{\sqrt{s}} \frac{π}{2})

この

π

を、

\sqrt{π} \sqrt{π}

ととらえると、

= \frac{π}{2} L^{- 1} (\frac{\sqrt{π}}{\sqrt{s}})

= \frac{π}{2} L^{- 1} (\frac{Γ (\frac{1}{2})}{\sqrt{s}})

\frac{π}{2} L^{- 1} (\frac{Γ (- \frac{1}{2} + 1)}{s^{- \frac{1}{2} + 1}})

以上より、

I (t) = \frac{π}{2} t^{- \frac{1}{2}}

となる。さて、求める積分に戻ると、

I = 2 Re \int_{0}^{\infty} e^{- x^{2} (1 - 2 i)} d x

I (1 - 2 i) = \frac{\sqrt{π}}{2} (1 - 2 i)^{- \frac{1}{2}}

ここで、

Z = 1 - 2 i \to | Z | = e^{i α}

と置くと、

| Z | = \sqrt{1^{2} + 2^{2}} = \sqrt{5} と α

I (1 - 2 i) = \frac{π}{2} (\sqrt{5})^{- \frac{1}{2}} e^{- \frac{i α}{2}}

(\sqrt{5})^{- \frac{1}{2}} = \sqrt{\sqrt{5}} な ど か ら 、

2 Re I (1 - 2 i) = 2 Re (\frac{π}{2} \frac{1}{\sqrt{\sqrt{5}}} e^{- \frac{i α}{2}})

と置くと、

I = \frac{\sqrt{π}}{\sqrt{\sqrt{5}}} \cos \frac{α}{2}

となるから、あとは、

α

の値を求める。

図
上の図は、底辺が

1

の実数部を表す直角三角形
図の場所に

α

をとると、垂線になるから、

Z

は、その長さを表す。(図参照)
したがって、

\cos α = \sqrt{\sqrt{5}}

だから、半角の公式より、

\cos \frac{α}{2} = \sqrt{\frac{1 + \cos α}{2}} \to \cos \frac{α}{2} = \sqrt{\frac{1 + (\sqrt{\sqrt{5}})}{2}} \to \sqrt{\frac{1 + (\sqrt{\sqrt{5}}) \cdot \sqrt{5}}{2 \sqrt{5}}} = \sqrt{\frac{ϕ}{\sqrt{5}}}

以上より、

\cos \frac{α}{2} = \sqrt{\frac{ϕ}{\sqrt{5}}}

となるから、

I = \frac{\sqrt{π}}{\sqrt{\sqrt{5}}} \frac{\sqrt{ϕ}}{\sqrt{\sqrt{5}}}

∴ I = \sqrt{\frac{π ϕ}{5}}

さて、いかがでしたでしょうか。この積分は、もっと評価されるべきだと思うのは、自分だけでしょうか???
この積分を乗せた理由としては、最後に黄金比が登場するところです。
多少の無理やり感は否めないですが。
しかしながら、このような形で、黄金比が登場するとは思いませんでした。

級数

$\sum_{n ≧ 2} \frac{ζ (n) - 1}{n}$

特殊関数登場

まずは解きましょう。
この級数を

S

とおく。

\sum_{n ≧ 2} \frac{(ζ (n) - 1) (n - 1)!}{n (n - 1)!}

= \sum_{n ≧ 2} \frac{ζ (n) Γ (n) - Γ (n)}{n!}

= \sum_{n ≧ 2} \frac{1}{n!} (ζ (n) Γ (n) - Γ (n))

ここで、

Γ (n) = \int_{0}^{\infty} e^{- x} x^{n - 1} d x

だから、

\to \int_{0}^{\infty} \frac{x^{n - 1}}{e^{x} - 1} = ζ (n) Γ (n)

であるから、

= \sum_{n ≧ 2} \frac{1}{n!} (\int_{0}^{\infty} \frac{x^{n - 1}}{e^{x} - 1} - \int_{0}^{\infty} e^{- x} x^{n - 1} d x)

= \sum_{n ≧ 2} \frac{1}{n!} (\int_{0}^{\infty} (\frac{1}{e^{x} - 1} - \frac{1}{e^{x}}) d x)

= \sum_{n ≧ 2} \int_{0}^{\infty} \frac{x^{n - 1}}{n!} (\frac{1}{e^{x} - 1} - \frac{1}{e^{x}}) d x

∴ S = \int_{0}^{\infty} (\frac{1}{e^{x} - 1} - \frac{1}{e^{x}}) \sum_{n ≧ 2} \frac{x^{n - 1}}{n!} d x

ここで、

\sum_{n ≧ 2} \frac{x^{n} - 1}{n!} = \frac{1}{x} \sum_{n ≧ 2} \frac{x^{n}}{n!}

\frac{1}{x} (\sum_{n ≧ 0} \frac{x^{n}}{n} - 1 - x)

ここで、

e^{x}

のマクローリン展開から、

\frac{1}{x} (e^{x} - 1 - x)

= \sum_{n ≧ 2} \frac{x^{n - 1}}{n!} = \frac{e^{x}}{x} - \frac{1 + x}{x}

S = \int_{0}^{\infty} (\frac{1}{e^{x} - 1} - \frac{1}{e^{x}}) \sum_{n ≧ 2} \frac{x^{n - 1}}{n!} d x

\int_{0}^{\infty} (\frac{1}{e^{x} - 1} - \frac{1}{e^{x}}) (\frac{e^{x}}{x} - \frac{1 + x}{x})

\int_{0}^{\infty} \frac{e^{x}}{x (e^{x} - 1))} - \frac{1 + x}{x (e^{x} - 1)} - \frac{1}{x} + \frac{1 + x}{x e^{x}} d x

\int_{0}^{\infty} \frac{e^{x} - 1}{x (e^{x} - 1))} - \frac{x}{x (e^{x} - 1)} - \frac{1}{x} + \frac{1 + x}{x e^{x}} d x

だから、いろいろ消去して、

\int_{0}^{\infty} - \frac{1}{(e^{x} - 1)} + \frac{e^{- x}}{x} + \frac{1}{e^{x}} d x

\int_{0}^{\infty} \frac{e^{- x}}{x} - \frac{1}{e^{x} - 1} d x + \int_{0}^{\infty} e^{- x} d x

ここで、

ψ (z) = \int_{0}^{\infty} \frac{e^{- x}}{x} - \frac{e^{- z x}}{1 - e^{- x}} d x

を用いると、

S = {ψ (1) - e^{x} |}_{0}^{\infty}

∴ S = 1 - γ (∵ ψ (1) = - γ)

いかがでしたでしょうか。この級数の最後に、オイラー定数が出てくるなんて予想もできません。
この級数からは、何となくですが、リーマンゼータ関数とオイラー定数の関係がありそうな感じがしますね。
結局のところは、ガンマ関数までもっていってしまい、結果、微分して、ディガンマ関数になったところで、ある程度「オイラー定数が出てきそうだな」ということは予測できるのかもしれません。

物理と精通する数

さて,上では、数学に関していろいろと語りまくってきましたが、そろそろ分野を移行して「物理」に行きたいと思います。
物理には、基本的に、 $e 、 i$ の二種類が主に活躍します。

まず、 $e$ に関して

ネイピア数は、空気抵抗を加味した自由落下の数式に出てきます。

空気抵抗を加味した自由落下の式

$u = \frac{m g}{k} (1 - e^{\frac{k t}{m}})$

変数分離形の微分方程式
$m \frac{d v}{d t} = m g - k v$ を満たす関数を求めればよい。
ただし、初期条件は、 $t = 0 、 v = 0$
両辺を $m g - k v$ で割ると、
$\frac{m}{m g - k v} \frac{d v}{d t} = 1$
両辺を $t$ で積分して、
$\int \frac{m d v}{m g - k v} = \int t d t$
あとは、この積分を計算し、上の式を得る。
勿論、 $v = \frac{m g}{k}$ も解である。

なお、こちらの数式は、 https://manabitimes.jp/math/1013 　を参考にした

$i$ に関して

シュレディンガー方程式

$i ℏ \frac{\partial}{\partial t} ψ (r, t) = (- \frac{ℏ^{2}}{2 m} \nabla^{2} + V (r, t)) ψ (r, t)$

シュレーディンガー方程式（シュレーディンガーほうていしき、英: Schrödinger equation）とは、物理学の量子力学における基礎方程式である。シュレーディンガー方程式という名前は、提案者であるオーストリアの物理学者エルヴィン・シュレーディンガーにちなむ。1926年にシュレーディンガーは量子力学の基礎理論に関する一連の論文を提出した。
シュレーディンガー方程式の解は一般的に波動関数と呼ばれる。波動関数はまた状態関数とも呼ばれ、量子系（電子など量子力学で取り扱う対象）の状態を表す。シュレーディンガー方程式は、ある状況の下で量子系が取り得る量子状態を決定し、また系の量子状態が時間的に変化していくかを記述する。あるいは、波動関数を量子系の状態を表すベクトルの成分と見た場合、シュレーディンガー方程式は状態ベクトルの時間発展方程式に置き換えられる。状態ベクトルによる記述は波動関数を用いた場合と異なり物理量の表現によらないため、より一般的である。シュレーディンガー方程式では、波動関数や状態ベクトルによって表される量子系の状態が時間とともに変化するという見方をする。状態が時間変化するという考え方はシュレーディンガー描像と呼ばれる。(Wikipedia)

シュレディンガー方程式(表記ブレはご容赦を)は、簡単に説明いたしますと、「波(エネルギー)」と、「力」を結びつける方程式です。
一番最初の虚数単位 $i$ は、本当にわかりやすく説明するのであれば、微分した結果前に出てきてしまったものだという認識です。
(恩師に感謝)

化学と精通する数

化学には、「アレニウスの式」というものが存在します。

アレニウスの式

$k = A \exp (- \frac{E_{a}}{R T})$

ここの章は、 https://astro-dic.jp/boltzmann-distribution/ 　こちらを参考にしている。
この式について詳しく見ていきます。(ボルツマンという名前が出てきます。)
このアレニウスの式というのは、スウェーデンの化学者である、アレニウスが提唱した式です。
化学反応が生じる条件は、「原子や分子が衝突したときに活性化エネルギー以上のエネルギーを獲得していること」です。アレニウスの式は、衝突回数と活性化エネルギー以上のエネルギーを獲得する確率の積であり、これは化学反応が生じる確率に一致します。
アレニウスの式も、後半(exp)の部分は、確率と絡みます
この式の変数は、
$k = 反応速度定数 R = 気体定数 E = 活性化エネルギー$
$A = 度数因子 (独立している) 、 T = 温度$ を表しています。
しかし、この式になぜ $e$ が登場するのでしょうか。
それを見ていきます。

反応速度定数と活性化エネルギーについて

アレニウスの式を語るうえで、避けて通れないのがこの「活性化エネルギー」です。
まず、反応速度定数に関してですが、一つ例を挙げてみます。
$A 、 B$ という物質から、 $C 、 D$ という物質に変化する化学反応を見てみます。

$a A + b B \to c C + d D (a 、 b 、 c 、 d は係数)$ となりますが、この時の反応速度は、 $v = k [A]^{m} [B]^{n} (ただし、 [A] 、 [B] は、 A 、 B の濃度を表す)$ によって書けることが一般的に知られています。この式の比例定数 $k$ のことを、アレニウスの式の左辺でもある、「反応速度係数」といいます。つまり、この反応速度係数を求めるための式がアレニウスの式といえますね。

また、この式から自明ですが、反応速度係数 $k$ の値が大きければ大きいほど反応速度 $v$ は早くなり、逆に反応速度係数 $k$ が小さければ、反応速度 $v$ も小さくなります。

反応速度係数 $k$ の単位は、反応速度 $v$ の単位によって異なります。
また、反応速度係数 $k$ の値は、同一温度条件では、各々の反応において固有な値をとります。しかしながら、温度条件が変化すると、反応速度係数 $k$ の値も変化します。

化学反応が起こるとき、それぞれの物質が持つエネルギー(ポテンシャルエネルギー)の収支のみでは、説明することができない余分なエネルギーが関与します。このエネルギーのことを、「活性化エネルギー」といいます。
分子や原子などがお互いに衝突し、結合反応などの反応が生じる時、この活性化エネルギーを考慮しなければならなくなることが多いです。
さて、ここまで長々と説明してきましたが、アレニウスの式になぜ $e$ が出てくるのか。
その理由は、 $e$ だけでなく、 $\exp (- \frac{E_{a}}{R T})$ に関係があります。
この部分は、「ボルツマン因子」と呼ばれる部分です。

ボルツマン因子は、簡単に説明いたしますと、「温度が一定で、熱平衡にあり、体積の変化や、粒子の出入りがないときに、ある状態が発現する相対的な確率を表すもの」であります。
先ほど、アレニウスの式の説明の部分でも「確率」という言葉が出てきましたが、その言葉は、この「ボルツマン因子」からきているのですね。
ボルツマン因子が出てきました。最後に、ボルツマン因子に関係のある「ボルツマン定数」に関して説明します。
ボルツマン定数は、「気体定数をアボガドロ定数で割った値」であります。
さて、このボルツマン定数が用いられる統計学的な分野に、「ボルツマン分布」があります。
ボルツマン分布とは、「熱平衡にある、古典的な粒子に関する確率統計」です。
簡単に説明すると、
エネルギーが $E_{i}$ の状態にある分子の数が $\exp (\frac{- E_{i}}{K_{B} T})$ に比例する
ということを表しています。
この分布に関して、量子性を鑑みると、フェルミ統計やボース統計になる。
ここまでボルツマン分布に関して説明してきましたが、「フェルミ統計」などの、多少関係のあるものについて、軽く齧ります。
フェルミ統計とは、電子や中性子、ニュートリノなどフェルミ粒子の集団が従う統計規則。フェルミ分布あるいはフェルミ-ディラック分布ということもある。同一種類の複数のフェルミ粒子は区別がつかない。またパウリの排他原理により、同じ状態に複数の粒子は存在できない。このために温度 $T$ で熱平衡にある場合、状態 $i$ の分布関数は、
$f = \frac{1}{\exp [\frac{ϵ_{i} - μ}{K_{B} T}] - 1}$
と表される。ここで $ϵ_{i}$ は状態、 $i$ のエネルギー準位、 $μ$ は化学ポテンシャル、 $K_{B}$ はボルツマン定数である。化学ポテンシャル $μ$ が負の大きな数の場合、ボルツマン分布に近づく。化学ポテンシャルが基底状態のエネルギーより高く、温度が低い場合、縮退圧を発生させるようなフェルミ縮退という状態が実現する。
ボース統計に関して
光子やアルファ粒子などボース粒子の集団が従う統計規則。ボース-アインシュタイン統計あるいはボーズ分布ということもある。同一種類の複数のボース粒子は区別がつかず、また何個でも同時に同じ状態に存在できる。このために温度 $T$ で熱平衡にある場合、状態 $i$ の分布関数は、
$f = \frac{1}{\exp [\frac{ϵ_{i} - μ}{K_{B} T}] - 1}$
と表される。ここで $ϵ_{i}$ は状態、 $i$ のエネルギー準位、 $μ$ は化学ポテンシャル、 $K_{B}$ はボルツマン定数である。化学ポテンシャル $μ$ が負の大きな数の場合、ボルツマン分布に近づく。
化学ポテンシャルはつねに基底状態のエネルギーより低い。基底状態のエネルギーと等しくなるとボース-アインシュタイン凝縮を起こす。フェルミ統計も参照。
分布
(上の画像は、 https://astro-dic.jp/bose-statistics/ 　にあったもの)
このように、一見数学とは(専門的に)関係のない分野においても、 $e$ などの定数が活躍します。

あとがき

さて、ここまで様々な観点(主に積分)で数学定数に関してみてきました。
お互いにものすごく深い関係があるのにも関わらず、オイラーの等式やネイピア数、円周率などが多く出てきてしまっているのが今の数学の現状です。
なんか寂しいですね。
最後に。

蛇足

η (s) = \sum_{k ≧ 1} \frac{(- 1)^{k - 1}}{k^{s}}

= \frac{1}{1^{s}} - \frac{1}{2^{s}} + \frac{1}{3^{s}} + \frac{1}{4^{s}} + \dots

\to^{e} t a (s) = 1^{- s} - 2^{- s} + 3^{- s} - 4^{- s} + \dots

ここで、

\frac{d}{d s} η (s)

を考える。

\to η^{'} (s) = - 1^{- s} \log 1 + 2^{- s} \log 2 - 3^{- s} \log 3 + 4^{- s} \log 4 - \dots

= \log 2^{2^{- s}} - \log 3^{3^{- s}} + \log 4^{4^{- s}} - \log 5^{5^{- s}} \dots

= - \log (\frac{2^{2^{- s}}}{3^{3^{- a}}} \cdot \frac{4^{4^{- s}}}{5^{5^{- s}}} \cdot \frac{6^{6^{- s}}}{7^{7^{- s}}})

\to e^{η^{'} (s)} = (\frac{2^{2^{- s}}}{3^{3^{- a}}} \cdot \frac{4^{4^{- s}}}{5^{5^{- s}}} \cdot \frac{6^{6^{- s}}}{7^{7^{- s}}})

s = 0

の時、

e^{η^{'} (s)} = \frac{2 \cdot 4 \cdot 6 \dots}{3 \cdot 5 \cdot 7 \dots}

{(e^{η^{'} (s)})}^{2} = {(\frac{2 \cdot 4 \cdot 6 \dots}{3 \cdot 5 \cdot 7 \dots})}^{2}

\to e^{2 η^{'} (0)} = \frac{π}{2}

\to 2 η^{'} (0) = \log \frac{π}{2}

\to η^{'} (0) = \frac{1}{2} \log \frac{π}{2}

ゼータ関数に関して

η (s) = (1 - 2^{1 - s}) ζ (s)

\frac{d}{d s} η (s)

を考える。

η^{'} (s) = (1 - 2^{1 - s}) ζ^{'} (s) + (2^{1 - s} \log 2) ζ (s)

s = 0

の時、

η^{'} (0) = - ζ^{'} (0) + (2 \log 2) ζ (0)

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

ここで、

(1 - s) ζ (s)

を考えると、

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

ここで、

- (s - 1) ζ (n)

として、

lim_{s \to 1} (- (s - 1) ζ (s) 2^{s} π^{s - 1} \sin (\frac{π}{2} s) Γ (2 - s) ζ (1 - s))

\to {Res}_{s = 1} ζ (s) = 2 ζ (0)

ζ (s) = \frac{1}{s - 1} + γ + O (s - 1)

\to (s - 1) ζ (s) = 1 + γ + (s - 1) O (s - 1)

lim_{s \to 1} (s - 1) ζ (s) = {Res}_{s = 1} ζ (s) = 1

\to η^{'} (0) = - ζ^{'} (0) + (2 \log 2) ζ (0)

\to \frac{1}{2} \log \frac{π}{2} = - ζ^{'} (0) + (2 \log 2) (- \frac{1}{2})

ζ^{'} (0) = - \log 2 - \log \sqrt{\frac{π}{2}}

= - (\log (\sqrt{\frac{π}{2}} \cdot 2))

= - (\log \sqrt{2 π})

∴ ζ^{'} (0) = \log \frac{1}{\sqrt{2 π}}

未解決問題

有名なものは、 $π - e$ の無理数性の証明です。
数 $Ⅰ$ の集合の分野で命題の問題で、必ずといっていいほど出てくる、「有理数+有理数=有理数」的なものの延長線上です。

これ以外はあまり耳にしませんが、先ほど挙げたとおり、 $γ$ の無理数or有理数の評価なども未解決問題です。

クリスマスまでの記事リレー的なmathlog様の公式イベントの「大学数学基礎」のほうで投稿いたしましたが、他投稿者様のレベルが高く、合わせる顔がありません。
しかしながら、「特殊な知識がなくても理解できる」ことを意識して書いたので、悪しからず。
オイラー定数に関して、自分はあまり今まで向き合ったことがないことが現状でした。しかしながら、特殊関数などを調べていくうちに、徐々にオイラー定数が出てくる機会が増加していき、「あ、これほかの数(円周率や自然対数の底)と関係あるじゃん」などと思うことが多くなり、この記事を書いた次第です。
ディガンマ関数を用いること以外にも、オイラー定数の定義の仕方があります。これも非常に興味深いです。

好評であれば特殊関数版や続編も出そうと思います。
$完$
何か気になることなどがございましたら、何なりと返信ください。。
なお、議論不十分な箇所がいくらか存在すると思います(作者承知)。
色はあまり意味はありません。

MEMO
複素対数関数のミスを修正いたしました。(2023年12月22日)

参考文献

[1]

オイラー定数γとガンマ関数, 閲覧日 2023年10月23日, http://www.math.aoyama.ac.jp/~kyo/sotsuken/2019/sotsuron_2019_Shoda.pdf

[2]

変数分離型の微分方程式の解法と例題, 閲覧日 2023年11月23日, https://manabitimes.jp/math/1013

[3]

天文学辞典|ボルツマン分布, 閲覧日 2023年11月26日, https://astro-dic.jp/boltzmann-distribution/

[4]

複素数の対数関数とiのi乗の主値が実数であること, 閲覧日 2023年10月14日, https://manabitimes.jp/math/965

投稿日：2023年12月21日

更新日：1月17日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

Arsenic

1897

多様　編集　貪欲　非対称であり対照的な調和　開拓　縁　つまり曼荼羅ぁ

他の人のコメント

コメントはありません。

読み込み中

Arsenic

美しすぎる　　　数と級数と積分と

初めに
$\color{red}\pi$に関して
$\color{purple}e$関して
$\color{orange}\gamma$関して
$\color{magenta} i $に関して
$\color{green} \phi$に関して
積分であらわしてみる。
$ \dfrac{\color{red}\pi}{\color{purple}e^{\color{orange}\gamma}}$の考察
複素対数関数
物理と精通する数
化学と精通する数
あとがき
参考文献

美しすぎる 数と級数と積分と

初めに

πに関して

e関して

γ関して

iに関して

ϕに関して

特殊関数の紹介

積分であらわしてみる。

πeγの考察

複素対数関数

物理と精通する数

まず、eに関して

iに関して

化学と精通する数

反応速度定数と活性化エネルギーについて

あとがき

未解決問題

参考文献

この記事を高評価した人

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

投稿者

コメント

他の人のコメント

美しすぎる　　　数と級数と積分と

$π$ に関して

$e$ 関して

$γ$ 関して

$i$ に関して

$ϕ$ に関して

$\frac{π}{e^{γ}}$ の考察

まず、 $e$ に関して

$i$ に関して