A limiting product formula for the exponential function - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T17:34:38Z http://mathoverflow.net/feeds/question/69272 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/69272/a-limiting-product-formula-for-the-exponential-function A limiting product formula for the exponential function Phil Isett 2011-07-01T15:56:38Z 2011-07-04T17:53:03Z <p>By the way, does anyone know how to prove in an elementary way (i.e. expanding) that $\prod_1^n (1+a_i r)$ tends to $e^r=\sum \frac{r^k}{k!}$ as you let $\max|a_i|\to 0$ with $0\leq a_i \leq 1$ and $\sum a_i = 1$? An easy solution goes by writing the product with the exponential function so that you get the exponential of $\sum \log(1+a_i r) = \sum \int_0^1 \frac{a_i r}{(1+s a_i r)} ds$.</p> <p>You can then integrate by parts (i.e. Taylor expand) to obtain $\sum a_ i r − \sum \int_0^1 (1−s)\frac{(a_i r)2}{(1+s a_i r)2}ds$. Now, $\sum a_i r = r$ is the main term. After you take $\max|a_i|$ to be less than $.5/|r|$, the error term is bounded in absolute value by $C \sum |a_i r|^2 \leq \max|a_i|\cdot \sum |a_i| |r|^2 \leq C |r|^2 \max |a_i|$.</p> <p>I was hoping to find an elementary proof of this convergence by expanding the product $\prod_1^n (1+a_i r)$ and gathering terms with a common power of $r$. In particular, it would be nice to prove the convergence of this limit without the exponential function, since then the limit could be considered a definition of $e^r$. The case when all of the $a_i$ are equal is done in Rudin's "Principles of Mathematical Analysis".</p> <p>The motivation for this problem comes from compound interest, which I described in a different thread here: <a href="http://mathoverflow.net/questions/40005/generalizing-a-problem-to-make-it-easier/69224#69224" rel="nofollow">http://mathoverflow.net/questions/40005/generalizing-a-problem-to-make-it-easier/69224#69224</a> .</p> http://mathoverflow.net/questions/69272/a-limiting-product-formula-for-the-exponential-function/69273#69273 Answer by Roland Bacher for A limiting product formula for the exponential function Roland Bacher 2011-07-01T16:20:31Z 2011-07-01T16:20:31Z <p>Knowing $\lim_{N\rightarrow\infty} \left(1+\frac{r}{N}\right)^N=e^r$ (the case where all $a_i$ are equal) we can use continuity and $\left(1+\frac{r}{N}\right)^{Na_i}\sim 1+a_ir$ if $N$ is very huge and $a_i\rightarrow 0$.</p> http://mathoverflow.net/questions/69272/a-limiting-product-formula-for-the-exponential-function/69280#69280 Answer by Anthony Quas for A limiting product formula for the exponential function Anthony Quas 2011-07-01T17:39:11Z 2011-07-01T17:39:11Z <p>$\prod_{i=1}^n (1+a_ir)=1+\sum_{k=1}^n r^k\sum_{i_1 &lt; \ldots &lt; i_k}a_{i_1}\ldots a_{i_k}$.</p> <p>Notice that $1^k=\left(\sum_{i=1}^n a_i\right)^k =k!\sum_{i_1 &lt; \ldots &lt; i_k}a_{i_1}\ldots a_{i_k}+\text{other terms}$, where the other terms are (positive) terms with a repeated $a_i$. It follows that the $k$th term in the original sum is at most $1/k!$ so this gives the upper bound. </p> <p>To show the original claim it suffices to bound the terms with repeated $a_i$'s in terms of $\delta=\max a_i$. More specifically given $\epsilon>0$ and $k$ it suffices to show that for any finite sequence of positive numbers summing to 1 whose maximum is less than $\delta$, one has $$\left(\sum a_i\right)^k -k!\sum_{a_{i_1} &lt; \ldots &lt; a_{i_k}}a_{i_1}\ldots a_{i_k} &lt; \epsilon$$. </p> <p>This summation consists of terms of a number of "types" e.g. (2,1,1,1,1,1) represents terms in which one $a_i$ occurs twice and 5 other $a_i$'s occur once each; $(5,3,2,1,1)$ represents terms of the form $a_{i_1}^5a_{i_2}^3a_{i_3}^2a_{i_4}a_{i_5}$ where there is no longer a requirement that the $i_j$ are increasing; instead the $i_j$ should be increasing within the terms that have the same power.</p> <p>For a fixed $k$, the number of types is finite. So that it suffices to show that for each type, the contribution goes to 0 uniformly as $\delta\to 0$. Clearly for the type $(p_1,p_2,\ldots,p_r)$ you can bound the term $a_{i_1}^{p_1}\ldots a_{i_r}^{p_r}$ by $\delta^{\sum p_i-r}a_{i_1}\ldots a_{i_r}$. Let $\Delta=\sum p_i-r$ (this is at least 1 for all non-trivial types). The summation is then bounded above by $\delta^\Delta\sum_{a_{i_j}\text{ distinct}}a_{i_1}\ldots a_{i_r}$ which is at most $\delta^\Delta$.</p> http://mathoverflow.net/questions/69272/a-limiting-product-formula-for-the-exponential-function/69310#69310 Answer by Phil Isett for A limiting product formula for the exponential function Phil Isett 2011-07-02T02:45:59Z 2011-07-02T03:15:20Z <p>Thanks, Anthony, for finding this solution. I was completely at a loss for how to handle all the indices. If you don't mind, I would like to write down one version of the argument that you've given in full detail.</p> <p>Claim: Under the hypotheses of the question $1 = k! \sum_{i_1 &lt; \ldots &lt; i_k} a_{i_1} \cdots a_{i_k} + O(\max |a_i|)$ where the error is non-negative.</p> <p>The claim is true without an error when $k = 1$, and follows from induction. If we write $1 = (\sum a_i)^{k+1} = (\sum a_i) ( \sum a_i )^k$ The induction hypothesis allows us to write this product as $(\sum a_i)\cdot(k! \sum_{i_1 &lt; \ldots &lt; i_k} a_{i_1} + O(\max |a_i|) ) = (\sum a_i)\cdot (k! \sum_{i_1 &lt; \ldots &lt; i_k} a_{i_1} ) + O(\max |a_i| )$</p> <p>If we now distribute out the product, we get the term we want $(k+1)! \sum_{i_1 &lt; \ldots &lt; i_k &lt; i_{k+1} } a_{i_1} \cdots a_{i_{k+1} }$ from the products with no repeats and then an error coming from products with exactly one term repeated. Take whichever term is repeated and bound one copy of it in absolute value by $\max |a_i|$. Then the error is bounded by $\max |a_i| ( \sum |a_i| )^k = O(\max |a_i|)$.</p> <p>Having this claim established and looking slightly more carefully at the dependence of the error on $k$ (the constant in the big O only grows like $C^k$), we also have prove the convergence that I was looking for (and we don't need non-negativity of the terms; just that $\sum |a_i|$ is bounded). In the non-negative case we can just observe the error is non-negative, so that the dominated convergence theorem applies (with respect to the finite measure $\frac{|r|^k}{k!}$), giving a small shortcut and a soft way to see the convergence without a rate.</p> <p>All credit goes to Anthony Quas for the idea; I just thought the induction was a fairly clear way to get the details all down.</p> http://mathoverflow.net/questions/69272/a-limiting-product-formula-for-the-exponential-function/69316#69316 Answer by Geoff Robinson for A limiting product formula for the exponential function Geoff Robinson 2011-07-02T08:02:20Z 2011-07-04T17:53:03Z <p>I record this answer because I think that Pietro Majer's comment can be made into a solution which meets the proposer's criterion of potentially being able to be used to define $e^r$ ( I had been thinking along the same lines, although I am not sure there would be an advantage over the usual $\lim_{n \to \infty} (1 + \frac{r}{n})^{n}$ definition). If $r > 0$, then the GM-AM inequality gives $\prod_{i=1}^{n}( 1+a_{i}r) \leq ( 1 + \frac{r}{n})^{n}$. If $r > 0$ and each $a_{i} &lt; \frac{1}{r}$, we obtain <code>$\prod_{i=1}^{n}( 1-a_{i}r) \leq ( 1 - \frac{r}{n})^{n}$</code>. Taking reciprocals in the second case and using standard approximations gives <code>$\prod_{i=1}^{n}( 1+ a_{i}r + \frac{a_{i}^{2}r^{2}}{1-a_{i}r}) \geq ( 1 +\frac{r}{n})^{n}$</code>. Choose $\varepsilon > 0$, and suppose that <code>$a_{i} &lt; \frac{\varepsilon}{2}$</code> for each $i$, and that, furthermore, $1 - a_{i}^{2}r^{2} > \frac{1}{2}$ for each $i$. Then we obtain <code>$\prod_{i=1}^{n}( 1+ a_{i}r + \frac{a_{i}^{2}r^{2}}{1-a_{i}r} ) \leq \left[ \prod_{i=1}^{n}(1 + a_{i}r) \right]. (1 + \frac{r^{2}\varepsilon}{n})^{n}$</code>, so that <code>$\lim_{max(a_{i}) \to 0} \prod_{i=1}^{n} (1 + a_{i}r) \geq \lim_{n \to \infty} (1 + \frac{r}{n})^{n}$</code>. A similar argument can be devised for $r &lt; 0$.</p>