AoPSWiki
Do you have what it takes to be the next brilliant trader, researcher, or developer at Jane Street Capital? Find out in the Careers in Mathematics Forum.
Personal tools

Carleman's Inequality

From AoPSWiki

Carleman's Inequality states that for nonnegative real numbers \{a_n\}_{n\ge 1}, \sum_{k=1}^{\infty} (a_1 a_2 \dotsm a_k)^{1/k} < e \sum_{k=1}^{\infty} a_k , unless all the a_k are equal to zero.

Proof

Define c_n = n \left( 1 + \frac{1}{n} \right)^n = \frac{(n+1)^n}{n^{n-1}}. Then for all positive integers k, (c_1 \dotsm c_k)^{1/k} = k+1. Thus \sum_{k=1}^\infty (a_1 \dotsm a_k)^{1/k} = \sum_{k=1}^{\infty}\frac{(c_1a_1 \dotsm c_ka_k)^{1/k}}{(c_1 \dotsm c_k)^{1/k}} = \... Now, by AM-GM, \sum_{k=1}^\infty \frac{(c_1a_1 \dotsm c_ka_k)^{1/k}}{k+1} \le \sum_{k=1}^{\infty} \sum_{j=1}^k c_ja_j \frac{1}{k(k+1)} = \su... But \frac{1}{k(k+1)} = \frac{1}{k} - \frac{1}{k+1}, so for any integer j, \sum_{k=j}^\infty \frac{1}{k(k+1)} = \sum_{k=j}^{\infty} \frac{1}{j} - \frac{1}{j+1} = \lim_{j\to \infty} \left( \frac{1}{k} ... Therefore \sum_{j=1}^{\infty} \sum_{k=j}^{\infty} c_k a_k = \sum_{j=1}^{\infty} j \left(1 + \frac{1}{j} \right)^j a_j \sum_{k=j}^{\inft... Since \left( 1 + \frac{1}{j} \right)^j< e for all integers j, the desired inequality holds. \blacksquare

See also

References

  • Steele, J. M., The Cauchy-Schwarz Master Class, Cambridge University Press, ISBN 0-521-54677-X.
Retrieved from "http://www.artofproblemsolving.com/Wiki/index.php/Carleman%27s_Inequality"
Art of Problem Solving's olympiad training program WOOT starts on September 8. Train with the top high school students in the the world! Click here to enroll today!
© Copyright 2008 AoPS Incorporated. All Rights Reserved. • Foundation • Privacy • Contact Us