Part of a series of articles on the |
mathematical constant e |
---|
![](//upload.wikimedia.org/wikipedia/commons/thumb/7/71/Euler%27s_formula.svg/180px-Euler%27s_formula.svg.png) |
Properties |
---|
- Natural logarithm
- Exponential function
|
Applications |
---|
- compound interest
- Euler's identity
- Euler's formula
- half-lives
- exponential growth and decay
|
Defining e |
---|
|
People |
---|
- John Napier
- Leonhard Euler
|
Related topics |
---|
|
|
The mathematical constant e can be represented in a variety of ways as a real number. Since e is an irrational number (see proof that e is irrational), it cannot be represented as the quotient of two integers, but it can be represented as a continued fraction. Using calculus, e may also be represented as an infinite series, infinite product, or other types of limit of a sequence.
As a continued fraction
Euler proved that the number e is represented as the infinite simple continued fraction[1] (sequence A003417 in the OEIS):
![{\displaystyle e=[2;1,2,1,1,4,1,1,6,1,1,8,1,\ldots ,1,2n,1,\ldots ].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37364b7a3cc7180d6091eeda8950d69e89a8e8db)
Its convergence can be tripled[clarification needed][citation needed] by allowing just one fractional number:
![{\displaystyle e=[1;1/2,12,5,28,9,44,13,60,17,\ldots ,4(4n-1),4n+1,\ldots ].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/853d39eed966a9342fe0b593b0327687a8c8f86f)
Here are some infinite generalized continued fraction expansions of e. The second is generated from the first by a simple equivalence transformation.
![{\displaystyle e=2+{\cfrac {1}{1+{\cfrac {1}{2+{\cfrac {2}{3+{\cfrac {3}{4+{\cfrac {4}{5+\ddots }}}}}}}}}}=2+{\cfrac {2}{2+{\cfrac {3}{3+{\cfrac {4}{4+{\cfrac {5}{5+{\cfrac {6}{6+\ddots \,}}}}}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/98e36faf34d05cb60882518818c7e6c9c7dca5e4)
![{\displaystyle e=2+{\cfrac {1}{1+{\cfrac {2}{5+{\cfrac {1}{10+{\cfrac {1}{14+{\cfrac {1}{18+\ddots \,}}}}}}}}}}=1+{\cfrac {2}{1+{\cfrac {1}{6+{\cfrac {1}{10+{\cfrac {1}{14+{\cfrac {1}{18+\ddots \,}}}}}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d101cb38140025b36f0ce1b861ea51d30e7e651)
This last, equivalent to [1; 0.5, 12, 5, 28, 9, ...], is a special case of a general formula for the exponential function:
![{\displaystyle e^{x/y}=1+{\cfrac {2x}{2y-x+{\cfrac {x^{2}}{6y+{\cfrac {x^{2}}{10y+{\cfrac {x^{2}}{14y+{\cfrac {x^{2}}{18y+\ddots }}}}}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2a74fa75a2dfa04e6c074312463c4a66637db51)
As an infinite series
The number e can be expressed as the sum of the following infinite series:
for any real number x.
In the special case where x = 1 or −1, we have:
,[2] and
![{\displaystyle e^{-1}=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{k!}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dfa8ef4bfc9bc6a6863fc5379b5b82c6058a0bb1)
Other series include the following:
[3]
![{\displaystyle e={\frac {1}{2}}\sum _{k=0}^{\infty }{\frac {k+1}{k!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc7471f3f423174d41eea61c849da43d0976903b)
![{\displaystyle e=2\sum _{k=0}^{\infty }{\frac {k+1}{(2k+1)!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/169fbce7d53b2058effb8b82e4e5766bd439fa07)
![{\displaystyle e=\sum _{k=0}^{\infty }{\frac {3-4k^{2}}{(2k+1)!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63410aa9b805cd8b6e8d27327b37d1e640d2ab4b)
![{\displaystyle e=\sum _{k=0}^{\infty }{\frac {(3k)^{2}+1}{(3k)!}}=\sum _{k=0}^{\infty }{\frac {(3k+1)^{2}+1}{(3k+1)!}}=\sum _{k=0}^{\infty }{\frac {(3k+2)^{2}+1}{(3k+2)!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/353005488df2945d00fef62a3b33132a346f3353)
![{\displaystyle e=\left[\sum _{k=0}^{\infty }{\frac {4k+3}{2^{2k+1}\,(2k+1)!}}\right]^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d26c23d9900e39fbd0c5a8062a393db51ebc445f)
where
is the nth Bell number.
[4]
Consideration of how to put upper bounds on e leads to this descending series:
![{\displaystyle e=3-\sum _{k=2}^{\infty }{\frac {1}{k!(k-1)k}}=3-{\frac {1}{4}}-{\frac {1}{36}}-{\frac {1}{288}}-{\frac {1}{2400}}-{\frac {1}{21600}}-{\frac {1}{211680}}-{\frac {1}{2257920}}-\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b132ad7eae4ea1683451756ea3ac5fdf70101fe7)
which gives at least one correct (or rounded up) digit per term. That is, if 1 ≤ n, then
![{\displaystyle e<3-\sum _{k=2}^{n}{\frac {1}{k!(k-1)k}}<e+0.6\cdot 10^{1-n}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69b0a6e4de4f0e781733fd7a4e064d0b1800151d)
More generally, if x is not in {2, 3, 4, 5, ...}, then
![{\displaystyle e^{x}={\frac {2+x}{2-x}}+\sum _{k=2}^{\infty }{\frac {-x^{k+1}}{k!(k-x)(k+1-x)}}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b93ca24ab5aad81d5380f74bb762ed295393672)
As a recursive function
The series representation of
, given as
can also be expressed using a form of recursion. When
is iteratively factored from the original series the result is the nested series[5]
which equates to
This fraction is of the form
, where
computes the sum of the terms from
to
.
As an infinite product
The number e is also given by several infinite product forms including Pippenger's product
![{\displaystyle e=2\left({\frac {2}{1}}\right)^{1/2}\left({\frac {2}{3}}\;{\frac {4}{3}}\right)^{1/4}\left({\frac {4}{5}}\;{\frac {6}{5}}\;{\frac {6}{7}}\;{\frac {8}{7}}\right)^{1/8}\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d11f5d4381ed2f134cc29497e8726d956ed1b994)
and Guillera's product [6][7]
![{\displaystyle e=\left({\frac {2}{1}}\right)^{1/1}\left({\frac {2^{2}}{1\cdot 3}}\right)^{1/2}\left({\frac {2^{3}\cdot 4}{1\cdot 3^{3}}}\right)^{1/3}\left({\frac {2^{4}\cdot 4^{4}}{1\cdot 3^{6}\cdot 5}}\right)^{1/4}\cdots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e84ab2bc5e5270c0fd8b90eb45cd134d191e2b5b)
where the nth factor is the nth root of the product
![{\displaystyle \prod _{k=0}^{n}(k+1)^{(-1)^{k+1}{n \choose k}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4dd0d7d6bb15710cc2b9b9a25b9a353af9bd23e)
as well as the infinite product
![{\displaystyle e={\frac {2\cdot 2^{(\ln(2)-1)^{2}}\cdots }{2^{\ln(2)-1}\cdot 2^{(\ln(2)-1)^{3}}\cdots }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9429e60fc0f6f545c280ae30145a5c893c6b7bbf)
More generally, if 1 < B < e2 (which includes B = 2, 3, 4, 5, 6, or 7), then
![{\displaystyle e={\frac {B\cdot B^{(\ln(B)-1)^{2}}\cdots }{B^{\ln(B)-1}\cdot B^{(\ln(B)-1)^{3}}\cdots }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f618cc7711d8119622af56af207b01195990c581)
Also
![{\displaystyle e=\lim \limits _{n\rightarrow \infty }\prod _{k=0}^{n}{n \choose k}^{2/{((n+\alpha )(n+\beta ))}}\ \forall \alpha ,\beta \in {\mathbb {R}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9770a9c531515f585e47271ba5cc76d68fda9aa9)
As the limit of a sequence
The number e is equal to the limit of several infinite sequences:
and
(both by Stirling's formula).
The symmetric limit,[8]
![{\displaystyle e=\lim _{n\to \infty }\left[{\frac {(n+1)^{n+1}}{n^{n}}}-{\frac {n^{n}}{(n-1)^{n-1}}}\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9cffa4b98fac483870fb5da1d93940ef414d8319)
may be obtained by manipulation of the basic limit definition of e.
The next two definitions are direct corollaries of the prime number theorem[9]
![{\displaystyle e=\lim _{n\to \infty }(p_{n}\#)^{1/p_{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88ad1d3cf3f1662d22d266970959c0d463a50cbd)
where
is the nth prime and
is the primorial of the nth prime.
![{\displaystyle e=\lim _{n\to \infty }n^{\pi (n)/n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b9d558fc79369fc6e5d890966c4ebc318e13bd0)
where
is the prime-counting function.
Also:
![{\displaystyle e^{x}=\lim _{n\to \infty }\left(1+{\frac {x}{n}}\right)^{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/84d8d600bf1cd5a5033f67ec7f4eb84661d639bd)
In the special case that
, the result is the famous statement:
![{\displaystyle e=\lim _{n\to \infty }\left(1+{\frac {1}{n}}\right)^{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3de79f5ee2d494650fd37239dbf6b99864504c93)
The ratio of the factorial
, that counts all permutations of an ordered set S with cardinality
, and the subfactorial (a.k.a. the derangement function)
, which counts the amount of permutations where no element appears in its original position, tends to
as
grows.
![{\displaystyle e=\lim _{n\to \infty }{\frac {n!}{!n}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45225062d24352ea5f2728ff0b1edd7ebe1ca5f7)
As a ratio of ratios
A unique representation of e can be found within the structure of Pascal's Triangle, as discovered by Harlan Brothers. Pascal's Triangle is composed of binomial coefficients, which are traditionally summed to derive polynomial expansions. However, Brothers identified a product-based relationship between these coefficients that links to e. Specifically, the ratio of the products of binomial coefficients in adjacent rows of Pascal's Triangle tends to e as the row number increases. This relationship and its proof are outlined in the discussion on the properties of the rows of Pascal's Triangle.[10][11]
In trigonometry
Trigonometrically, e can be written in terms of the sum of two hyperbolic functions,
![{\displaystyle e^{x}=\sinh(x)+\cosh(x),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee533bdcb845f492fc38e22b5313a91e6982ba95)
at x = 1.
See also
Notes
- ^ Sandifer, Ed (Feb 2006). "How Euler Did It: Who proved e is Irrational?" (PDF). MAA Online. Retrieved 2017-04-23.
- ^ Brown, Stan (2006-08-27). "It's the Law Too — the Laws of Logarithms". Oak Road Systems. Archived from the original on 2008-08-13. Retrieved 2008-08-14.
- ^ Formulas 2–7: H. J. Brothers, Improving the convergence of Newton's series approximation for e, The College Mathematics Journal, Vol. 35, No. 1, (2004), pp. 34–39.
- ^ Formula 8: A. G. Llorente, A Novel Simple Representation Series for Euler’s Number e, preprint, 2023.
- ^ "e", Wolfram MathWorld: ex. 17, 18, and 19, archived from the original on 2023-03-15.
- ^ J. Sondow, A faster product for pi and a new integral for ln pi/2, Amer. Math. Monthly 112 (2005) 729–734.
- ^ J. Guillera and J. Sondow, Double integrals and infinite products for some classical constants via analytic continuations of Lerch's transcendent, Ramanujan Journal 16 (2008), 247–270.
- ^ H. J. Brothers and J. A. Knox, New closed-form approximations to the Logarithmic Constant e, The Mathematical Intelligencer, Vol. 20, No. 4, (1998), pp. 25–29.
- ^ S. M. Ruiz 1997
- ^ Brothers, Harlan (2012). "Pascal's Triangle: The Hidden Stor-e". The Mathematical Gazette. 96: 145–148. doi:10.1017/S0025557200004204.
- ^ Brothers, Harlan (2012). "Math Bite: Finding e in Pascal's Triangle". Mathematics Magazine. 85 (1): 51. doi:10.4169/math.mag.85.1.51.