二年級之夢(sophomore's dream)是約翰·白努利於1697年發現的兩條有趣的數學恆等式。
名稱來自於與之相對的一年級之夢,也就是「 (x + y)n = xn + yn 」。兩個夢都帶有數學嚇人的簡單表達方式,然而一年級之夢為錯誤的方程式,因為只要將 n = 2 {\displaystyle n=2} 帶入就會發現無法形成等式;但是二年級之夢卻是正確的式子。
第一條公式,首先利用對數轉換和積分與級數順序變化[1]:
得到 ∫ 0 1 − x x d x = ∫ 0 1 ∑ n = 0 ∞ ( − x ln x ) n n ! d x = ∑ n = 0 ∞ ∫ 0 1 ( − ln x ) n ∗ x n n ! d x . {\displaystyle \int _{0}^{1}-x^{x}\,dx=\int _{0}^{1}\sum _{n=0}^{\infty }{\frac {(-x\ln x)^{n}}{n!}}\,dx=\sum _{n=0}^{\infty }\int _{0}^{1}{\frac {(-\ln x)^{n}*x^{n}}{n!}}\,dx.}
設 u = ( − ln x ) {\displaystyle u=(-\ln x)}
所以 ∑ n = 0 ∞ ∫ 0 1 ( − ln x ) n ∗ x n n ! d x = ∑ n = 0 ∞ ∫ ∞ 0 u n e − n u n ! ( − e − u ) d u = ∑ n = 0 ∞ ∫ 0 ∞ u n e − n u n ! ( e − u ) d u {\displaystyle \sum _{n=0}^{\infty }\int _{0}^{1}{\frac {(-\ln x)^{n}*x^{n}}{n!}}\,dx=\sum _{n=0}^{\infty }\int _{\infty }^{0}{\frac {u^{n}e^{-nu}}{n!}}(-e^{-u})\,du=\sum _{n=0}^{\infty }\int _{0}^{\infty }{\frac {u^{n}e^{-nu}}{n!}}(e^{-u})\,du}
再設 v = ( n + 1 ) u {\displaystyle v=(n+1)u}
∑ n = 0 ∞ ∫ 0 ∞ u n e − n u n ! ( e − u ) d u = ∑ n = 0 ∞ 1 n ! ( n + 1 ) n + 1 ∫ 0 ∞ v n e − v d v {\displaystyle \sum _{n=0}^{\infty }\int _{0}^{\infty }{\frac {u^{n}e^{-nu}}{n!}}(e^{-u})\,du=\sum _{n=0}^{\infty }{\frac {1}{n!(n+1)^{n+1}}}\int _{0}^{\infty }v^{n}e^{-v}\,dv}
根據Gamma函數 ∫ 0 ∞ v n e − v d v = Γ ( n + 1 ) = n ! {\displaystyle \int _{0}^{\infty }v^{n}e^{-v}\,dv=\Gamma (n+1)=n!}
最終推得 ∑ n = 0 ∞ 1 n ! ( n + 1 ) n + 1 ∫ 0 ∞ v n e − v d v = ∑ n = 0 ∞ 1 ( n + 1 ) n + 1 = ∑ n = 1 ∞ 1 n n {\displaystyle \sum _{n=0}^{\infty }{\frac {1}{n!(n+1)^{n+1}}}\int _{0}^{\infty }v^{n}e^{-v}\,dv=\sum _{n=0}^{\infty }{\frac {1}{(n+1)^{n+1}}}=\sum _{n=1}^{\infty }{\frac {1}{n^{n}}}}