Putnam Series

Calculus Level 4

x n + 1 = ln ( e x n x n ) \large x_{n+1} = \ln(e^{x_{n}}-x_{n}) Let x 0 , x 1 , x 2 , x_{0},x_{1},x_{2},\ldots be a series defined on the reals for n 0 n\geq 0 , with x 0 = 1 x_{0} =1 .
Find the value of i = 0 x i . \large \sum_{i=0}^{\infty}x_{i}.

Give your answer to 3 decimal places.


This is Problem B1 from The 77th William Lowell Putnam Mathematical Competition .


The answer is 1.718281828459045.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Kunal Gupta
Dec 8, 2016

We'll begin by assuming( the proof is left to the reader)that the series is convergent.
Now, x n + 1 = ln ( e x n x n ) \large x_{n+1} = \ln(e^{x_{n}}-x_{n}) Or, Equivalently: e x n + 1 = e x n x n \large e^{x_{n+1}} = e^{x_{n}}-x_{n} e x n + 1 = e x n 1 x n 1 x n \large e^{x_{n+1}} = e^{x_{n-1}}-x_{n-1}-x_{n} e x n + 1 = e x n 2 x n 2 x n 1 x n \large e^{x_{n+1}} = e^{x_{n-2}}-x_{n-2}-x_{n-1}-x_{n} Continuing like this, we see that: e x n + 1 = e x 0 ( x 0 + x 1 + x 2 + x 3 + + x n ) \large e^{x_{n+1}} = e^{x_{0}} - \left( x_{0}+x_{1}+x_2+x_3+\cdots+x_n \right) Or, e x n + 1 = e i = 0 n x i \large e^{x_{n+1}} = e - \sum_{i=0}^{n}x_i Or, i = 0 n x i = e e x n + 1 \large \sum_{i=0}^{n}x_i = e- e^{x_{n+1}} As, the series is convergent, it implies lim n x n = 0 \large \lim_{n \rightarrow \infty}x_n = 0 Hence, lim n ( i = 0 n x i ) = e e 0 \large \lim_{n\rightarrow \infty} \left( \sum_{i=0}^{n}x_i \right) = e-e^0 Or, i = 0 x i = e 1 1.718281828459045 \large \sum_{i=0}^{\infty}x_i = e-1 \approx \boxed{\boxed{ 1.718281828459045}}

The proof of convergence of the series is part of the proof of the result. A simple induction shows that x n > 0 x_n > 0 for all n 0 n \ge 0 , so the sequence of partial sums is monotonic increasing. Since n = 0 N x n = e x 0 e x N + 1 < e x 0 = e \sum_{n=0}^N x_n \; = \; e^{x_0} - e^{x_{N+1}} \; < \; e^{x_0} \; = \; e for all N N , it follows that the series converges.

Mark Hennings - 4 years, 6 months ago

if xn approaches 0 then wouldn't the answer be e-e^1? Bc if you plug in 0 then you would get e-e^1.

Ashish Sacheti - 4 years, 5 months ago

Log in to reply

I was proving convergence, so it was sufficient to show the partial sums were bounded above. Once convergence is established, we can let n n go to \infty , so that x n x_n goes to 0 0 and the sum goes to e 1 e-1 . Until we have proved convergence of the series, we do not know whether x n x_n converges to 0 0 or not.

Mark Hennings - 4 years, 5 months ago
Kushal Bose
Dec 9, 2016

Proof of convergence of the series:

From the equation : e x n + 1 = e x n x n e^{x_{n+1}}=e^{x_n} - x_n

e x n e x n + 1 = x n e^{x_n} - e^{x_{n+1}}=x_n

By induction it can be shown that x n > 0 x_n > 0 , So , e x n > e x n + 1 e^{x_n} >e^{x_{n+1}} That implies x n > x n + 1 x_n > x_{n+1}

Using exponential series e x n = 1 + x n 1 + x n 2 2 ! + e^{x_n}=1 +\frac{x_n}{1} +\frac{x_{n}^2}{2!} + \cdots

e x n > 1 + x n e x n x n > 1 ln ( e x n x n ) > 0 x n + 1 > 0 e^{x_n} >1+x_n \\ \implies e^{x_n} -x_n >1 \\ \implies \ln(e^{x_n} -x_n) >0 \\ \implies x_{n+1} >0

So, the series is decreasing and it is bounded below So it is convergent sequence.and its limiting value is 0 0 and then @Upanshu Gupta 's solution.

@Mark Hennings is my logic correct ???

Kushal Bose - 4 years, 6 months ago

Log in to reply

You have shown that x n x_n converges to some α 0 \alpha \ge 0 . Why should it converge to 0 0 ?

The real problem is not with x n x_n converging to 0 0 . You need to show that n x n \sum_n x_n converges.

Mark Hennings - 4 years, 6 months ago

Log in to reply

Here zero is the infimum and limiting value will be equal to infimum

Kushal Bose - 4 years, 6 months ago

Log in to reply

@Kushal Bose You have only shown that 0 0 is a lower bound, not that it is the infimum. However, the fact that the sequence of partial sums is bounded above, and hence converges, forces x n x_n to converge to 0 0 .

Mark Hennings - 4 years, 6 months ago

Log in to reply

@Mark Hennings Ok i understood my fault

Kushal Bose - 4 years, 6 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...