๐Ÿงฎ Brain Teaser

Integral of a Geometric Series

Problem

Evaluate:

โˆซ01/2(โˆ‘n=2โˆžxn)dx\int_0^{1/2} \left(\sum_{n=2}^{\infty} x^n\right) dx


Metadata

  • Field: Integration / Real Analysis
  • Tags: Geometric series, Interchange of sum and integral, Logarithm
  • Difficulty: 2 / 5

Why it's beautiful

The key move is recognising the infinite sum as a closed-form geometric series before integrating โ€” turning an intimidating-looking integral into a one-liner. It also illustrates the general principle that you can swap a uniformly convergent sum with an integral, a technique that appears everywhere in analysis.

Hint

What is โˆ‘n=2โˆžxn\sum_{n=2}^{\infty} x^n in closed form for โˆฃxโˆฃ<1|x| < 1?

Geometric seriesInterchange sum/integralLogarithm

Answer: Integral of a Geometric Series

โˆซ01/2(โˆ‘n=2โˆžxn)dx=logโก(2)โˆ’58\int_0^{1/2} \left(\sum_{n=2}^{\infty} x^n\right) dx = \log(2) - \frac{5}{8}


Step 1: Close the geometric series

Recall the standard geometric series formula for โˆฃxโˆฃ<1|x| < 1:

โˆ‘n=0โˆžxn=11โˆ’x\sum_{n=0}^{\infty} x^n = \frac{1}{1-x}

Subtract the n=0n=0 and n=1n=1 terms:

โˆ‘n=2โˆžxn=11โˆ’xโˆ’1โˆ’x=x21โˆ’x\sum_{n=2}^{\infty} x^n = \frac{1}{1-x} - 1 - x = \frac{x^2}{1-x}

On [0,1/2][0, 1/2] we have โˆฃxโˆฃโ‰ค1/2<1|x| \leq 1/2 < 1, so this is valid and the convergence is uniform, justifying swapping the sum and integral.


Step 2: Rewrite the integrand

Do a simple algebraic decomposition of x21โˆ’x\dfrac{x^2}{1-x}.

Substitute u=1โˆ’xu = 1-x (i.e. x=1โˆ’ux = 1-u):

x21โˆ’x=(1โˆ’u)2u=1โˆ’2u+u2u=1uโˆ’2+u\frac{x^2}{1-x} = \frac{(1-u)^2}{u} = \frac{1 - 2u + u^2}{u} = \frac{1}{u} - 2 + u

Back in terms of xx (with u=1โˆ’xu = 1-x):

x21โˆ’x=11โˆ’xโˆ’1โˆ’x\frac{x^2}{1-x} = \frac{1}{1-x} - 1 - x

Verification: 11โˆ’xโˆ’1โˆ’x=1โˆ’(1โˆ’x)โˆ’x(1โˆ’x)1โˆ’x=x21โˆ’x\dfrac{1}{1-x} - 1 - x = \dfrac{1 - (1-x) - x(1-x)}{1-x} = \dfrac{x^2}{1-x} โœ“


Step 3: Integrate term by term

โˆซ01/2x21โˆ’xโ€‰dx=โˆซ01/2(11โˆ’xโˆ’1โˆ’x)dx\int_0^{1/2} \frac{x^2}{1-x}\, dx = \int_0^{1/2} \left(\frac{1}{1-x} - 1 - x\right) dx

=[โˆ’lnโก(1โˆ’x)โˆ’xโˆ’x22]01/2= \Big[-\ln(1-x) - x - \frac{x^2}{2}\Big]_0^{1/2}

Evaluate at x=1/2x = 1/2:

โˆ’lnโกโ€‰โฃ(12)โˆ’12โˆ’18=lnโก(2)โˆ’48โˆ’18=lnโก(2)โˆ’58-\ln\!\left(\frac{1}{2}\right) - \frac{1}{2} - \frac{1}{8} = \ln(2) - \frac{4}{8} - \frac{1}{8} = \ln(2) - \frac{5}{8}

Evaluate at x=0x = 0: all terms are 00.


Result

โˆซ01/2(โˆ‘n=2โˆžxn)dx=lnโก(2)โˆ’58\boxed{\int_0^{1/2} \left(\sum_{n=2}^{\infty} x^n\right) dx = \ln(2) - \frac{5}{8}}

Type: IntegrationEdit on GitHub โ†—