Sophomore's dream

Template:Use shortened footnotes Template:Short description In mathematics, the sophomore's dream is the pair of identities (especially the first)

$$\begin{array}{rlrl}& \underset{0}{\overset{1}{\int }}{x}^{-x}dx& & =\sum _{n=1}^{\mathrm{\infty }}{n}^{-n}\\ & \underset{0}{\overset{1}{\int }}{x}^{x}dx& & =\sum _{n=1}^{\mathrm{\infty }}(-1{)}^{n+1}{n}^{-n}=-\sum _{n=1}^{\mathrm{\infty }}(-n{)}^{-n}\end{array}$$ discovered in 1697 by Johann Bernoulli.

The numerical values of these constants are approximately 1.291285997... and 0.7834305107..., respectively.

The name "sophomore's dream" is in contrast to the name "freshman's dream" which is given to the incorrect identity $(x+y{)}^n=x^n+y^n$. The sophomore's dream has a similar too-good-to-be-true feel, but is true.

Proof

File:Sophdream.png

Graph of the functions y = x^x (red, lower) and y = x^−x (grey, upper) on the interval x ∈ (0, 1].

The proofs of the two identities are completely analogous, so only the proof of the second is presented here. The key ingredients of the proof are:

• to write $x^x=\exp (x\ln x)$ (using the notation ln for the natural logarithm and exp for the exponential function);
• to expand $\exp (x\ln x)$ using the power series for exp; and
• to integrate termwise, using integration by substitution.

In details, x^x can be expanded as

$$x^x=\exp (x\log x)=\sum _{n=0}^{\mathrm{\infty }}\frac{x^n(\log x{)}^n}{n!}.$$

Therefore,

$$\underset{0}{\overset{1}{\int }}{x}^{x}dx=\underset{0}{\overset{1}{\int }}\sum _{n=0}^{\mathrm{\infty }}\frac{x^n(\log x{)}^n}{n!}dx.$$

By uniform convergence of the power series, one may interchange summation and integration to yield

$$\underset{0}{\overset{1}{\int }}{x}^{x}dx=\sum _{n=0}^{\mathrm{\infty }}\underset{0}{\overset{1}{\int }}\frac{x^n(\log x{)}^n}{n!}dx.$$

To evaluate the above integrals, one may change the variable in the integral via the substitution $x=\exp (-\frac{u}{n+1}).$ With this substitution, the bounds of integration are transformed to $0<u<\mathrm{\infty },$ giving the identity $$\underset{0}{\overset{1}{\int }}{x}^n(\log x{)}^{n}dx=(-1{)}^n(n+1{)}^{-(n+1)}\underset{0}{\overset{\mathrm{\infty }}{\int }}{u}^n{e}^{-u}du.$$ By Euler's integral identity for the Gamma function, one has $$\underset{0}{\overset{\mathrm{\infty }}{\int }}{u}^n{e}^{-u}du=n!,$$ so that $$\underset{0}{\overset{1}{\int }}\frac{x^n(\log x{)}^n}{n!}dx=(-1{)}^n(n+1{)}^{-(n+1)}.$$

Summing these (and changing indexing so it starts at n = 1 instead of n = 0) yields the formula.

Historical proof

The original proof, given in Bernoulli,Template:Sfn and presented in modernized form in Dunham,Template:Sfn differs from the one above in how the termwise integral ${\int }_0^1{x}^n(\log x{)}^{n}dx$ is computed, but is otherwise the same, omitting technical details to justify steps (such as termwise integration). Rather than integrating by substitution, yielding the Gamma function (which was not yet known), Bernoulli used integration by parts to iteratively compute these terms.

The integration by parts proceeds as follows, varying the two exponents independently to obtain a recursion. An indefinite integral is computed initially, omitting the constant of integration $+C$ both because this was done historically, and because it drops out when computing the definite integral.

Integrating $\int x^m(\log x{)}^{n}dx$ by substituting $u=(\log x{)}^n$ and $dv=x^{m}dx$ yields:

$$\begin{array}{rl}\int x^m(\log x{)}^{n}dx& =\frac{x^{m+1}(\log x{)}^n}{m+1}-\frac{n}{m+1}\int x^{m+1}\frac{(\log x{)}^{n-1}}{x}dx\text{(for }m\ne -1\text{)}\\ & =\frac{x^{m+1}}{m+1}(\log x{)}^n-\frac{n}{m+1}\int x^m(\log x{)}^{n-1}dx\text{(for }m\ne -1\text{)}\end{array}$$

(also in the list of integrals of logarithmic functions). This reduces the power on the logarithm in the integrand by 1 (from $n$ to $n-1$) and thus one can compute the integral inductively, as $$\int x^m(\log x{)}^{n}dx=\frac{x^{m+1}}{m+1}\cdot \sum _{i=0}^n(-1{)}^i\frac{(n{)}_i}{(m+1{)}^i}(\log x{)}^{n-i}$$

where $(n{)}_i$ denotes the falling factorial; there is a finite sum because the induction stops at 0, since Template:Mvar is an integer.

In this case $m=n$, and they are integers, so

$$\int x^n(\log x{)}^{n}dx=\frac{x^{n+1}}{n+1}\cdot \sum _{i=0}^n(-1{)}^i\frac{(n{)}_i}{(n+1{)}^i}(\log x{)}^{n-i}.$$

Integrating from 0 to 1, all the terms vanish except the last term at 1, which yields:

$$\underset{0}{\overset{1}{\int }}\frac{x^n(\log x{)}^n}{n!}dx=\frac{1}{n!}\frac{1^{n+1}}{n+1}(-1{)}^n\frac{(n{)}_n}{(n+1{)}^n}=(-1{)}^n(n+1{)}^{-(n+1)}.$$

This is equivalent to computing Euler's integral identity $\mathrm{\Gamma }(n+1)=n!$ for the Gamma function on a different domain (corresponding to changing variables by substitution), as Euler's identity itself can also be computed via an analogous integration by parts.

See also

• Series (mathematics)

References

Formula

• OEIS, (sequence A083648 in the OEIS) and (sequence A073009 in the OEIS)
• Max R. P. Grossmann (2017): Sophomore's dream. 1,000,000 digits of the first constant

Function

• Literature for x^x and Sophomore's Dream, Tetration Forum, 03/02/2010
• The Coupled Exponential, Jay A. Fantini, Gilbert C. Kloepfer, 1998
• Sophomore's Dream Function, Jean Jacquelin, 2010, 13 pp.

Footnotes