List of representations of e

Last updated April 02, 2024

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 ):

e=[2;1,2,1,1,4,1,1,6,1,1,8,1,\ldots ,1,2n,1,\ldots ].

Its convergence can be tripled^{[ clarification needed ]}^{[ citation needed ]} by allowing just one fractional number:

e=[1;1/2,12,5,28,9,44,13,60,17,\ldots ,4(4n-1),4n+1,\ldots ].

Here are some infinite generalized continued fraction expansions of $e$ . The second is generated from the first by a simple equivalence transformation.

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 \,}}}}}}}}}}

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 \,}}}}}}}}}}

This last, equivalent to [1; 0.5, 12, 5, 28, 9, ...], is a special case of a general formula for the exponential function:

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 }}}}}}}}}}

As an infinite series

The number $e$ can be expressed as the sum of the following infinite series:

e^{x}=\sum _{k=0}^{\infty }{\frac {x^{k}}{k!}}

for any real number x.

In the special case where x = 1 or −1, we have:

e=\sum _{k=0}^{\infty }{\frac {1}{k!}}

,^[2] and

e^{-1}=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{k!}}.

Other series include the following:

e=\left[\sum _{k=0}^{\infty }{\frac {1-2k}{(2k)!}}\right]^{-1}

^[3]

e={\frac {1}{2}}\sum _{k=0}^{\infty }{\frac {k+1}{k!}}

e=2\sum _{k=0}^{\infty }{\frac {k+1}{(2k+1)!}}

e=\sum _{k=0}^{\infty }{\frac {3-4k^{2}}{(2k+1)!}}

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)!}}

e=\left[\sum _{k=0}^{\infty }{\frac {4k+3}{2^{2k+1}\,(2k+1)!}}\right]^{2}

e=\sum _{k=0}^{\infty }{\frac {k^{n}}{B_{n}(k!)}}

where

B_{n}

is the

n

th Bell number.

e=\sum _{k=0}^{\infty }{\frac {2k+3}{(k+2)!}}

^[4]

Consideration of how to put upper bounds on e leads to this descending series:

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

which gives at least one correct (or rounded up) digit per term. That is, if 1 ≤ n, then

e<3-\sum _{k=2}^{n}{\frac {1}{k!(k-1)k}}<e+0.6\cdot 10^{1-n}\,.

More generally, if x is not in {2, 3, 4, 5, ...}, then

e^{x}={\frac {2+x}{2-x}}+\sum _{k=2}^{\infty }{\frac {-x^{k+1}}{k!(k-x)(k+1-x)}}\,.

As a recursive function

The series representation of $e$ , given as

e={\frac {1}{0!}}+{\frac {1}{1!}}+{\frac {1}{2!}}+{\frac {1}{3!}}\cdots

can also be expressed using a form of recursion. When ${\frac {1}{n}}$ is iteratively factored from the original series the result is the nested series^[5]

e=1+{\frac {1}{1}}(1+{\frac {1}{2}}(1+{\frac {1}{3}}(1+\cdots )))

which equates to

e=1+{\cfrac {1+{\cfrac {1+{\cfrac {1+\cdots }{3}}}{2}}}{1}}

This fraction is of the form $f(n)=1+{\frac {f(n+1)}{n}}$ , where $f(1)$ computes the sum of the terms from $1$ to $\infty$ .

As an infinite product

The number $e$ is also given by several infinite product forms including Pippenger's product

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

and Guillera's product ^[6]^[7]

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 ,

where the nth factor is the nth root of the product

\prod _{k=0}^{n}(k+1)^{(-1)^{k+1}{n \choose k}},

as well as the infinite product

e={\frac {2\cdot 2^{(\ln(2)-1)^{2}}\cdots }{2^{\ln(2)-1}\cdot 2^{(\ln(2)-1)^{3}}\cdots }}.

More generally, if 1 < B < e² (which includes B = 2, 3, 4, 5, 6, or 7), then

e={\frac {B\cdot B^{(\ln(B)-1)^{2}}\cdots }{B^{\ln(B)-1}\cdot B^{(\ln(B)-1)^{3}}\cdots }}.

Also

e=\lim \limits _{n\rightarrow \infty }\prod _{k=0}^{n}{n \choose k}^{2/{((n+\alpha )(n+\beta ))}}\ \forall \alpha ,\beta \in {\mathbb {R}}

As the limit of a sequence

The number $e$ is equal to the limit of several infinite sequences:

e=\lim _{n\to \infty }n\cdot \left({\frac {\sqrt {2\pi n}}{n!}}\right)^{1/n}

and

e=\lim _{n\to \infty }{\frac {n}{\sqrt[{n}]{n!}}}

(both by Stirling's formula).

The symmetric limit,^[8]

e=\lim _{n\to \infty }\left[{\frac {(n+1)^{n+1}}{n^{n}}}-{\frac {n^{n}}{(n-1)^{n-1}}}\right]

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]

e=\lim _{n\to \infty }(p_{n}\#)^{1/p_{n}}

where $p_{n}$ is the nth prime and $p_{n}\#$ is the primorial of the nth prime.

e=\lim _{n\to \infty }n^{\pi (n)/n}

where $\pi (n)$ is the prime-counting function.

Also:

e^{x}=\lim _{n\to \infty }\left(1+{\frac {x}{n}}\right)^{n}.

In the special case that $x=1$ , the result is the famous statement:

e=\lim _{n\to \infty }\left(1+{\frac {1}{n}}\right)^{n}.

The ratio of the factorial $n!$ , that counts all permutations of an ordered set S with cardinality $n$ , and the derangement function $!n$ , which counts the amount of permutations where no element appears in its original position, tends to $e$ as $n$ grows.

e=\lim _{n\to \infty }{\frac {n!}{!n}}.

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,

e^{x}=\sinh(x)+\cosh(x),

at $x = 1$ .

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.

Related Research Articles

<span class="mw-page-title-main">Exponential function</span> Mathematical function, denoted exp(x) or e^x

The exponential function is a mathematical function denoted by $or . Unless otherwise specified, the term generally refers to the positive-valued function of a real variable, although it can be extended to the complex numbers or generalized to other mathematical objects like matrices or Lie algebras. The exponential function originated from the operation of taking powers of a number, but various modern definitions allow it to be rigorously extended to all real arguments, including irrational numbers. Its ubiquitous occurrence in pure and applied mathematics led mathematician Walter Rudin to consider the exponential function to be "the most important function in mathematics".$

In mathematics, the gamma function is one commonly used extension of the factorial function to complex numbers. The gamma function is defined for all complex numbers except the non-positive integers. For every positive integer $n$ ,

The natural logarithm of a number is its logarithm to the base of the mathematical constant $e$ , which is an irrational and transcendental number approximately equal to $2.718 281828459$ . The natural logarithm of $x$ is generally written as $ln x$ , $log e x$ , or sometimes, if the base $e$ is implicit, simply $log x$ . Parentheses are sometimes added for clarity, giving $ln(x)$ , $log e (x)$ , or $log(x)$ . This is done particularly when the argument to the logarithm is not a single symbol, so as to prevent ambiguity.

In mathematics, a continued fraction is an expression obtained through an iterative process of representing a number as the sum of its integer part and the reciprocal of another number, then writing this other number as the sum of its integer part and another reciprocal, and so on. In a finite continued fraction, the iteration/recursion is terminated after finitely many steps by using an integer in lieu of another continued fraction. In contrast, an infinite continued fraction is an infinite expression. In either case, all integers in the sequence, other than the first, must be positive. The integers $are called the coefficients or terms of the continued fraction.$

In mathematics, Catalan's constant $G$ , is defined by

<span class="mw-page-title-main">Euler's constant</span> Constant value used in mathematics

Euler's constant is a mathematical constant, usually denoted by the lowercase Greek letter gamma, defined as the limiting difference between the harmonic series and the natural logarithm, denoted here by $log$ :

<span class="mw-page-title-main">Harmonic number</span> Sum of the first n whole number reciprocals; 1/1 + 1/2 + 1/3 + ... + 1/n

In mathematics, the $n$ -th harmonic number is the sum of the reciprocals of the first $n$ natural numbers:

The Basel problem is a problem in mathematical analysis with relevance to number theory, concerning an infinite sum of inverse squares. It was first posed by Pietro Mengoli in 1650 and solved by Leonhard Euler in 1734, and read on 5 December 1735 in The Saint Petersburg Academy of Sciences. Since the problem had withstood the attacks of the leading mathematicians of the day, Euler's solution brought him immediate fame when he was twenty-eight. Euler generalised the problem considerably, and his ideas were taken up more than a century later by Bernhard Riemann in his seminal 1859 paper "On the Number of Primes Less Than a Given Magnitude", in which he defined his zeta function and proved its basic properties. The problem is named after Basel, hometown of Euler as well as of the Bernoulli family who unsuccessfully attacked the problem.

A hexagonal number is a figurate number. The nth hexagonal number h_n is the number of distinct dots in a pattern of dots consisting of the outlines of regular hexagons with sides up to n dots, when the hexagons are overlaid so that they share one vertex.

In complex analysis, a branch of mathematics, a generalized continued fraction is a generalization of regular continued fractions in canonical form, in which the partial numerators and partial denominators can assume arbitrary complex values.

In mathematics, the exponential function can be characterized in many ways. The following characterizations (definitions) are most common. This article discusses why each characterization makes sense, and why they are all equivalent to each other. As a special case of these considerations, it will be demonstrated that the three most common definitions for the mathematical constant e are equivalent to each other.

In mathematics, the Wallis product for $π$ , published in 1656 by John Wallis, states that

In mathematics, the root test is a criterion for the convergence of an infinite series. It depends on the quantity

In mathematics, a series is the sum of the terms of an infinite sequence of numbers. More precisely, an infinite sequence $defines a series S that is denoted$

Approximations of <span class="texhtml mvar" style="font-style:italic;">π</span> Varying methods used to calculate pi

Approximations for the mathematical constant pi in the history of mathematics reached an accuracy within 0.04% of the true value before the beginning of the Common Era. In Chinese mathematics, this was improved to approximations correct to what corresponds to about seven decimal digits by the 5th century.

In mathematics, convergence tests are methods of testing for the convergence, conditional convergence, absolute convergence, interval of convergence or divergence of an infinite series $.$

In the analytic theory of continued fractions, Euler's continued fraction formula is an identity connecting a certain very general infinite series with an infinite continued fraction. First published in 1748, it was at first regarded as a simple identity connecting a finite sum with a finite continued fraction in such a way that the extension to the infinite case was immediately apparent. Today it is more fully appreciated as a useful tool in analytic attacks on the general convergence problem for infinite continued fractions with complex elements.

The decimal value of the natural logarithm of 2 is approximately

In multivariable calculus, an iterated limit is a limit of a sequence or a limit of a function in the form

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Sandifer, Ed (Feb 2006). "How Euler Did It: Who proved e is Irrational?" (PDF). MAA Online. Retrieved 2017-04-23.

[2] 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.

[3] 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.

[4] Formula 8: A. G. Llorente, A Novel Simple Representation Series for Euler’s Number e, preprint, 2023.

[5] "e", Wolfram MathWorld: ex. 17, 18, and 19, archived from the original on 2023-03-15.

[6] J. Sondow, A faster product for pi and a new integral for ln pi/2, Amer. Math. Monthly 112 (2005) 729–734.

[7] 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.

[8] 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.

[9] S. M. Ruiz 1997

[10] Brothers, Harlan (2012). "Pascal's Triangle: The Hidden Stor-e". The Mathematical Gazette. 96: 145–148. doi:10.1017/S0025557200004204.

[11] Brothers, Harlan (2012). "Math Bite: Finding e in Pascal's Triangle". Mathematics Magazine. 85 (1): 51. doi:10.4169/math.mag.85.1.51.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]