二年生の夢

数学において二年生の夢（にねんせいのゆめ、テンプレート:Lang-en-short）とは、1697年に数学者ヨハン・ベルヌーイが発見した以下の恒等式(特に1つ目)を指すときの名称として用いられる。

$\begin{matrix} \int_{0}^{1} \frac{1}{x^{x}} d x & = \sum_{n = 1}^{\infty} \frac{1}{n^{n}} & (= 1.29128599706266354040728259059560054149861936827 \dots) \\ \int_{0}^{1} x^{x} d x & = - \sum_{n = 1}^{\infty} (- n)^{- n} & (= 0.78343051071213440705926438652697546940768199014 \dots) \end{matrix}$

この名前は一年生の夢と対照的に付けられた名前であるテンプレート:Harv。一年生の夢とは、誤った^[1]等式テンプレート:Math を表す語であり、二年生の夢もこれと同じように「出来過ぎた」形をした式となっている。ただし一年生の夢と異なり、二年生の夢は実際に成り立つ式である。

証明

区間テンプレート:Math におけるテンプレート:Math とテンプレート:Math のグラフ。

テンプレート:+float

2つ目の等式を証明する。1つ目の等式も2つ目と同様に証明が可能である。

テンプレート:Math の冪級数展開を用いて、被積分関数テンプレート:Math を次のように展開する。

$x^{x} = \exp (x \log x) = \sum_{n = 0}^{\infty} \frac{x^{n} (\log x)^{n}}{n!}$

よって、与式の左辺は以下のように表せる。

$\int_{0}^{1} x^{x} d x = \int_{0}^{1} \sum_{n = 0}^{\infty} \frac{x^{n} (\log x)^{n}}{n!} d x$

冪級数の一様収束性より、右辺の積分と総和は以下のように交換できる。

$\begin{matrix} \int_{0}^{1} \sum_{n = 0}^{\infty} \frac{x^{n} (\log x)^{n}}{n!} d x & = \sum_{n = 0}^{\infty} \int_{0}^{1} \frac{x^{n} (\log x)^{n}}{n!} d x \\ = \sum_{n = 0}^{\infty} \frac{1}{n!} \int_{0}^{1} x^{n} (\log x)^{n} d x \end{matrix}$

ここで、テンプレート:Math による次のような置換積分を考える。

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

この右辺の定積分は第二種オイラー積分

$\int_{0}^{\infty} u^{n} e^{- u} d u = Γ (n + 1) = n!$

であるから、次のようになる。 $\frac{1}{n!} \int_{0}^{1} x^{n} (\log x)^{n} d x = (- 1)^{n} (n + 1)^{- (n + 1)}$

ゆえに $\begin{matrix} \int_{0}^{1} x^{x} d x & = \sum_{n = 0}^{\infty} \frac{1}{n!} \int_{0}^{1} x^{n} (\log x)^{n} d x \\ = \sum_{n = 0}^{\infty} (- 1)^{n} (n + 1)^{- (n + 1)} \\ = - \sum_{n = 1}^{\infty} (- n)^{(- n)} ◻ \end{matrix}$

ベルヌーイによる証明

元々の証明はテンプレート:Harvtxt において与えられ、のちに現代的な証明がテンプレート:Harvtxt において与えられた。これらの証明の違いは項別積分

$\int_{0}^{1} x^{n} (\log x)^{n} d x$

の計算方法であり、このような（項別積分などの）過程の細かい差異を除けば同じである。上述の証明では置換積分によってガンマ関数を括りだす方法で計算をしているが、当時はまだガンマ関数は知られておらず、ベルヌーイは部分積分を繰り返し適用する方法で計算した。

再帰的な関係を明らかにするため二つの指数をそれぞれ別の文字で表し、次のように部分積分を行う（対数関数の原始関数の一覧を参照）。まず不定積分の計算から始めるが、積分定数テンプレート:Math は定積分の計算の際に消えること、および元々の証明においても省略して計算が行われたことより以下省略する。

$\begin{matrix} \int x^{m} (\ln x)^{n} d x & = \frac{x^{m + 1} (\ln x)^{n}}{m + 1} - \frac{n}{m + 1} \int x^{m + 1} \frac{(\ln x)^{n - 1}}{x} d x (m \neq - 1) \\ = \frac{x^{m + 1}}{m + 1} (\ln x)^{n} - \frac{n}{m + 1} \int x^{m} (\ln x)^{n - 1} d x (m \neq - 1) \end{matrix}$

これによりテンプレート:Math の指数がテンプレート:Math 減る（テンプレート:Math）。ここでテンプレート:Mvar は整数であるから、これを繰り返すと有限回でテンプレート:Math の指数がテンプレート:Math となり、単なるテンプレート:Mvar の積分となって終了する。ゆえにこの積分は次のような有限和となる。

$\int x^{m} (\ln x)^{n} d x = \frac{x^{m + 1}}{m + 1} \cdot \sum_{i = 0}^{n} (- 1)^{i} \frac{(n)_{i}}{(m + 1)^{i}} (\ln x)^{n - i}$

ただしテンプレート:Math は下降階乗冪（ポッホハマー記号）である。

ここでテンプレート:Math とし、どちらも整数であるとする。 $\int x^{n} (\ln x)^{n} d x = \frac{x^{n + 1}}{n + 1} \cdot \sum_{i = 0}^{n} (- 1)^{i} \frac{(n)_{i}}{(n + 1)^{i}} (\ln x)^{n - i}$

テンプレート:Math からテンプレート:Math まで積分すると、右辺の和は最後の項を除いてすべて消滅^[2]し、次のようになる。

$\frac{1}{n!} \int_{0}^{1} x^{n} (\ln x)^{n} d x = \frac{1}{n!} \frac{1^{n + 1}}{n + 1} (- 1)^{n} \frac{(n)_{n}}{(n + 1)^{n}} = (- 1)^{n} (n + 1)^{- (n + 1)} .$