Euler's continued fraction formula

Euler's continued fraction formula

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. [1748 Leonhard Euler, "Introductio in analysin infinitorum", Vol. I, Chapter 18.] 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 original formula

Euler derived the formula as an identity connecting a finite sum of products with a finite continued fraction.

:a_0 + a_0a_1 + a_0a_1a_2 + cdots + a_0a_1a_2cdots a_n =cfrac{a_0}{1 - cfrac{a_1}{1 + a_1 - cfrac{a_2}{1 + a_2 - cfrac{ddots}{ddots cfrac{a_{n-1{1 + a_{n-1} - cfrac{a_n}{1 + a_n,

The identity is easily established by induction on "n", and is therefore applicable in the limit: if the expression on the left is extended to represent a convergent infinite series, the expression on the right can also be extended to represent a convergent infinite continued fraction.

Euler's formula in modern notation

If

:x = cfrac{1}{1 + cfrac{a_2}{b_2 + cfrac{a_3}{b_3 + cfrac{a_4}{ddots,

is a continued fraction with complex elements and none of the denominators "B""i" are zero, [These denominators "B""i" are determined by the fundamental recurrence formulas.] a sequence of ratios {"r""i"} can be defined by

:r_i = -frac{a_{i+1}B_{i-1{B_{i+1.,

For "x" and "r""i" so defined, these equalities can be proved by induction.:x = cfrac{1}{1 + cfrac{a_2}{b_2 + cfrac{a_3}{b_3 + cfrac{a_4}{ddots =cfrac{1}{1 - cfrac{r_1}{1 + r_1 - cfrac{r_2}{1 + r_2 - cfrac{r_3}{ddots,

:x = 1 + sum_{i=1}^infty r_1r_2cdots r_i = 1 + sum_{i=1}^infty left( prod_{j=1}^i r_j ight),

Here equality is to be understood as equivalence, in the sense that the "n"th convergent of each continued fraction is equal to the "n"th partial sum of the series shown above. So if the series shown is convergent – or "uniformly" convergent, when the "a""i"s and "b""i"s are functions of some complex variable "z" – then the continued fractions also converge, or converge uniformly. [(Wall, 1948, p. 17)]

Examples

The exponential function

The exponential function "e""z" is an entire function with a power series expansion that converges uniformly on every bounded domain in the complex plane.

:e^z = 1 + sum_{n=1}^infty frac{z^n}{n!} = 1 + sum_{n=1}^infty left(prod_{j=1}^n frac{z}{j} ight),

The application of Euler's continued fraction formula is straightforward:

:e^z = cfrac{1}{1 - cfrac{z}{1 + z - cfrac{frac{1}{2}z}{1 + frac{1}{2}z - cfrac{frac{1}{3}z}{1 + frac{1}{3}z - cfrac{frac{1}{4}z}{ddots}.,

Applying an equivalence transformation that consists of clearing the fractions this example is simplified to

:e^z = cfrac{1}{1 - cfrac{z}{1 + z - cfrac{z}{2 + z - cfrac{2z}{3 + z - cfrac{3z}{ddots},

and we can be certain that this continued fraction converges uniformly on every bounded domain in the complex plane because it is equivalent to the power series for "e""z".

The natural logarithm

The Taylor series for the principal branch of the natural logarithm in the neighborhood of "z" = 1 is well known. Recognizing that log("a"/"b") = log("a") - log("b"), the following series is easily derived:

:log frac{1+z}{1-z} = 2left(z + frac{z^3}{3} + frac{z^5}{5} + cdots ight) =2sum_{n=0}^infty frac{z^{2n+1{2n+1}.,

This series converges when |"z"| < 1 and can also be expressed as a sum of products:This series converges for |"z"| = 1, except when "z" = ±1, by Abel's test (applied to the series for log(1 − "z")).]

:log frac{1+z}{1-z} = 2z left [1 + frac{z^2}{3} + frac{z^4}{5} + cdots ight] =2z left [1 + frac{z^2}{3} + left(frac{z^2}{3} ight)frac{z^2}{5/3} + left(frac{z^2}{3} ight)left(frac{z^2}{5/3} ight)frac{z^2}{7/5} + cdots ight] ,

Applying Euler's continued fraction formula to this expression shows that

:log frac{1+z}{1-z} = cfrac{2z}{1 - cfrac{frac{1}{3}z^2}{1 + frac{1}{3}z^2 -cfrac{frac{3}{5}z^2}{1 + frac{3}{5}z^2 - cfrac{frac{5}{7}z^2}{1 + frac{5}{7}z^2 - cfrac{frac{7}{9}z^2}{ddots},

and using an equivalence transformation to clear all the fractions results in

:log frac{1+z}{1-z} = cfrac{2z}{1 - cfrac{z^2}{z^2 + 3 -cfrac{9 z^2}{3z^2 + 5 - cfrac{25 z^2}{5z^2 + 7 - cfrac{49 z^2}{ddots}.,

This continued fraction converges when |"z"| < 1 because it is equivalent to the series from which it was derived.

A continued fraction for "π"

We can use the previous example involving the principal branch of the natural logarithm function to construct a continued fraction representation of "&pi;". First we note that

:frac{1+i}{1-i} = i quadRightarrowquad logfrac{1+i}{1-i} = frac{ipi}{2}.,

Setting "z" = "i" in the previous result, and remembering that "i"2 = −1, we obtain immediately

:pi = cfrac{4}{1 + cfrac{1}{2 + cfrac{9}{2 + cfrac{25}{2 + cfrac{49}{ddots}.,

See also

* List of topics named after Leonhard Euler

Notes

References

*H. S. Wall, "Analytic Theory of Continued Fractions", D. Van Nostrand Company, Inc., 1948; reprinted (1973) by Chelsea Publishing Company ISBN 0-8284-0207-8.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Continued fraction — Finite continued fraction, where a0 is an integer, any other ai are positive integers, and n is a non negative integer. In mathematics, a continued fraction is an expression obtained through an iterative process of representing a number as the… …   Wikipedia

  • Complex argument (continued fraction) — In analysis, the complex argument theta; = arg( z ) is commonly defined as an angle, often in terms of the inverse tangent function, or the inverse cosine. In a purely formal and perfectly rigorous treatment of the complex numbers, such reliance… …   Wikipedia

  • Continued fraction of Gauss — In complex analysis, the continued fraction of Gauss is a particular continued fraction derived from the hypergeometric functions. It was one of the first analytic continued fractions known to mathematics, and it can be used to represent several… …   Wikipedia

  • Generalized continued fraction — In analysis, a generalized continued fraction is a generalization of regular continued fractions in canonical form in which the partial numerators and the partial denominators can assume arbitrary real or complex values.A generalized continued… …   Wikipedia

  • Periodic continued fraction — In mathematics, an infinite periodic continued fraction is a continued fraction that can be placed in the form:x = a 0 + cfrac{1}{a 1 + cfrac{1}{a 2 + cfrac{ddots}{quadddotsquad a k + cfrac{1}{a {k+1} + cfrac{ddots}{quadddotsquad a {k+m 1} +… …   Wikipedia

  • Euler–Mascheroni constant — Euler s constant redirects here. For the base of the natural logarithm, e ≈ 2.718..., see e (mathematical constant). The area of the blue region is equal to the Euler–Mascheroni constant. List of numbers – Irrational and suspected irrational… …   Wikipedia

  • List of topics named after Leonhard Euler — In mathematics and physics, there are a large number of topics named in honour of Leonhard Euler (pronounced Oiler ). As well, many of these topics include their own unique function, equation, formula, identity, number (single or sequence), or… …   Wikipedia

  • Euler-Mascheroni-Konstante — γ Die Euler Mascheroni Konstante (nach den Mathematikern Leonhard Euler und Lorenzo Mascheroni), auch Eulersche Konstante, ist eine wichtige mathematische Konstante, die mit dem griechischen Buchstaben γ (Gamma) bezeichnet wird …   Deutsch Wikipedia

  • Solving quadratic equations with continued fractions — In mathematics, a quadratic equation is a polynomial equation of the second degree. The general form is:ax^2+bx+c=0,,!where a ne; 0.Students and teachers all over the world are familiar with the quadratic formula that can be derived by completing …   Wikipedia

  • List of formulae involving π — The following is a list of significant formulae involving the mathematical constant π. The list contains only formulae whose significance is established either in the article on the formula itself, or in the articles on π or Computing π.Classical …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”