Convergence problem

Convergence problem

In the analytic theory of continued fractions, the convergence problem is the determination of conditions on the partial numerators ai and partial denominators bi that are sufficient to guarantee the convergence of the continued fraction


x = b_0 + \cfrac{a_1}{b_1 + \cfrac{a_2}{b_2 + \cfrac{a_3}{b_3 + \cfrac{a_4}{b_4 + \ddots}}}}.\,

This convergence problem for continued fractions is inherently more difficult (and also more interesting) than the corresponding convergence problem for infinite series.

Contents

Elementary results

When the elements of an infinite continued fraction consist entirely of positive real numbers, the determinant formula can easily be applied to demonstrate when the continued fraction converges. Since the denominators Bn cannot be zero in this simple case, the problem boils down to showing that the product of successive denominators BnBn+1 grows more quickly than the product of the partial numerators a1a2a3...an+1. The convergence problem is much more difficult when the elements of the continued fraction are complex numbers.

Periodic continued fractions

An infinite periodic continued fraction is a continued fraction of the form


x = \cfrac{a_1}{b_1 + \cfrac{a_2}{b_2 + \cfrac{\ddots}{\quad\ddots\quad b_{k-1} + \cfrac{a_k}{b_k + \cfrac{a_1}{b_1 + \cfrac{a_2}{b_2 + \ddots}}}}}}\,

where k ≥ 1, the sequence of partial numerators {a1, a2, a3, ..., ak} contains no values equal to zero, and the partial numerators {a1, a2, a3, ..., ak} and partial denominators {b1, b2, b3, ..., bk} repeat over and over again, ad infinitum.

By applying the theory of linear fractional transformations to


s(w) = \frac{A_{k-1}w + A_k}{B_{k-1}w + B_k}\,

where Ak-1, Bk-1, Ak, and Bk are the numerators and denominators of the k-1st and kth convergents of the infinite periodic continued fraction x, it can be shown that x converges to one of the fixed points of s(w) if it converges at all. Specifically, let r1 and r2 be the roots of the quadratic equation


B_{k-1}w^2 + (B_k - A_{k-1})w - A_k = 0.\,

These roots are the fixed points of s(w). If r1 and r2 are finite then the infinite periodic continued fraction x converges if and only if

  1. the two roots are equal; or
  2. the k-1st convergent is closer to r1 than it is to r2, and none of the first k convergents equal r2.

If the denominator Bk-1 is equal to zero then an infinite number of the denominators Bnk-1 also vanish, and the continued fraction does not converge to a finite value. And when the two roots r1 and r2 are equidistant from the k-1st convergent – or when r1 is closer to the k-1st convergent than r2 is, but one of the first k convergents equals r2 – the continued fraction x diverges by oscillation.[1][2][3]

The special case when period k = 1

If the period of a continued fraction is 1; that is, if


x = \underset{1}{\overset{\infty}{\mathrm K}} \frac{a}{b},\,

where b ≠ 0, we can obtain a very strong result. First, by applying an equivalence transformation we see that x converges if and only if


y = 1 + \underset{1}{\overset{\infty}{\mathrm K}} \frac{z}{1}\qquad \left(z = \frac{a}{b^2}\right)\,

converges. Then, by applying the more general result obtained above it can be shown that


y = 1 + \cfrac{z}{1 + \cfrac{z}{1 + \cfrac{z}{1 + \ddots}}}\,

converges for every complex number z except when z is a negative real number and z < −¼. Moreover, this continued fraction y converges to the particular value of


y = \frac{1}{2}\left(1 \pm \sqrt{4z + 1}\right)\,

that has the larger absolute value (except when z is real and z < −¼, in which case the two fixed points of the LFT generating y have equal moduli and y diverges by oscillation).

By applying another equivalence transformation the condition that guarantees convergence of


x = \underset{1}{\overset{\infty}{\mathrm K}} \frac{1}{z} = \cfrac{1}{z + \cfrac{1}{z + \cfrac{1}{z + \ddots}}}\,

can also be determined. Since a simple equivalence transformation shows that


x = \cfrac{z^{-1}}{1 + \cfrac{z^{-2}}{1 + \cfrac{z^{-2}}{1 + \ddots}}}\,

whenever z ≠ 0, the preceding result for the continued fraction y can be restated for x. The infinite periodic continued fraction


x = \underset{1}{\overset{\infty}{\mathrm K}} \frac{1}{z}

converges if and only if z2 is not a real number lying in the interval −4 < z2 ≤ 0 – or, equivalently, x converges if and only if z ≠ 0 and z is not a pure imaginary number lying in the interval −2i < z < 2i.

Worpitzky's theorem

By applying the fundamental inequalities to the continued fraction


x = \cfrac{1}{1 + \cfrac{a_2}{1 + \cfrac{a_3}{1 + \cfrac{a_4}{1 + \ddots}}}}\,

it can be shown that the following statements hold if |ai| ≤ ¼ for the partial numerators ai, i = 2, 3, 4, ...

  • The continued fraction x converges to a finite value, and converges uniformly if the partial numerators ai are complex variables.[4]
  • The value of x and of each of its convergents xi lies in the circular domain of radius 2/3 centered on the point z = 4/3; that is, in the region defined by
\Omega = \lbrace z: |z - 4/3| \leq 2/3 \rbrace.\,[5]
  • The radius ¼ is the largest radius over which x can be shown to converge without exception, and the region Ω is the smallest image space that contains all possible values of the continued fraction x.[5]

The proof of the first statement, by Julius Worpitzky in 1865, is apparently the oldest published proof that a continued fraction with complex elements actually converges.[6]

Because the proof of Worpitzky's theorem employs Euler's continued fraction formula to construct an infinite series that is equivalent to the continued fraction x, and the series so constructed is absolutely convergent, the Weierstrass M-test can be applied to a modified version of x. If


f(z) = \cfrac{1}{1 + \cfrac{c_2z}{1 + \cfrac{c_3z}{1 + \cfrac{c_4z}{1 + \ddots}}}}\,

and a positive real number M exists such that |ci| ≤ M (i = 2, 3, 4, ...), then the sequence of convergents {fi(z)} converges uniformly when


|z| < \frac{1}{4M}\,

and f(z) is analytic on that open disk.

Śleszyński–Pringsheim criterion

In the late 19-th century, Śleszyński and later Pringsheim showed that a continued fraction, in which the as and bs may be complex numbers, will converge to a finite value if |b_n | \geq |a_n| + 1 for  n \geq 1.  [7]

Van Vleck's theorem

Jones and Thron attribute the following result to Van Vleck. Suppose that all the ai are equal to 1, and all the bi have arguments with:


- \pi /2 + \epsilon < \arg ( b_i)  < \pi / 2 - \epsilon, i \geq 1,

with epsilon being any positive number less than π / 2. In other words, all the bi are inside a wedge which has its vertex at the origin, has an opening angle of  \pi - 2 \epsilon , and is symmetric around the positive real axis. Then fi, the ith convergent to the continued fraction, is finite and has an argument:

 
- \pi /2 + \epsilon  <  \arg ( f_i ) <  \pi / 2 - \epsilon,  i \geq 1.

Also, the sequence of even convergents will converge, as will the sequence of odd convergents. The continued fraction itself will converge if and only if the sum of all the |bi| diverges.[8]

Notes

  1. ^ 1886 Otto Stolz, Verlesungen über allgemeine Arithmetik, pp. 299-304
  2. ^ 1900 Alfred Pringsheim, Sb. München, vol. 30, "Über die Konvergenz unendlicher Kettenbrüche"
  3. ^ 1905 Oskar Perron, Sb. München, vol. 35, "Über die Konvergenz periodischer Kettenbrüche"
  4. ^ 1865 Julius Worpitzky, Jahresbericht Friedrichs-Gymnasium und Realschule, "Untersuchungen über die Entwickelung der monodromen und monogenen Functionen durch Kettenbrüche"
  5. ^ a b 1942 J. F. Paydon and H. S. Wall, Duke Math. Journal, vol. 9, "The continued fraction as a sequence of linear transformations"
  6. ^ 1905 Edward Burr Van Vleck, The Boston Colloquium, "Selected topics in the theory of divergent series and of continued fractions"
  7. ^ See for example Theorem 4.35 on page 92 of Jones and Thron (1980).
  8. ^ See theorem 4.29, on page 88, of Jones and Thron (1980).

References

  • Jones, William B.; Thron, W. J. (1980), Continued Fractions: Analytic Theory and Applications. Encyclopedia of Mathematics and its Applications., 11, Addison-Wesley Publishing Company, ISBN 0-201-13510-8 
  • Oskar Perron, Die Lehre von den Kettenbrüchen, Chelsea Publishing Company, New York, NY 1950.
  • H. S. Wall, Analytic Theory of Continued Fractions, D. Van Nostrand Company, Inc., 1948 ISBN 0-8284-0207-8

Wikimedia Foundation. 2010.

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

Look at other dictionaries:

  • Convergence insufficiency — Convergence Insufficency Classification and external resources ICD 10 H51.1 ICD 9 378.83 …   Wikipedia

  • Convergence (disambiguation) — Convergence is the approach toward a definite value, a definite point, a common view or opinion, or toward a fixed or equilibrium state.Convergence or convergent may also refer to:*Convergence (Mexico), a political party in Mexico * Convergence… …   Wikipedia

  • Convergence of Fourier series — In mathematics, the question of whether the Fourier series of a periodic function converges to the given function is researched by a field known as classical harmonic analysis, a branch of pure mathematics. Convergence is not necessarily a given… …   Wikipedia

  • Convergence (economics) — The idea of convergence in economics (also sometimes known as the catch up effect) is the hypothesis that poorer economies per capita incomes will tend to grow at faster rates than richer economies. As a result, all economies should eventually… …   Wikipedia

  • Creative Problem Solving — Le Creative Problem Solving est une méthode de créativité élaborée par Alex Osborn et Sid Parnes. Elle allie à la fois un processus structuré, des techniques, et des rôles attribués aux différents intervenants dans ce processus. Sommaire 1… …   Wikipédia en Français

  • Rate of convergence — In numerical analysis, the speed at which a convergent sequence approaches its limit is called the rate of convergence. Although strictly speaking, a limit does not give information about any finite first part of the sequence, this concept is of… …   Wikipedia

  • Radius of convergence — In mathematics, the radius of convergence of a power series is a quantity, either a non negative real number or ∞, that represents a domain (within the radius) in which the series will converge. Within the radius of convergence, a power series… …   Wikipedia

  • Thirty-six officers problem — The thirty six officers problem is a mathematical puzzle proposed by Leonhard Euler in 1782. [Euler, L., Recherches sur une nouvelle espece de quarres magiques (1782).] [cite journal | url = http://books.google.com/books?id=cuudxJgEnyEC pg=PA54… …   Wikipedia

  • Genomic convergence — is a multifactor approach used in genetic research that combines different kinds of genetic data analysis to identify and prioritize susceptibility genes for a complex disease. Early Applications In January 2003,… …   Wikipedia

  • Autonomous convergence theorem — In mathematics, an autonomous convergence theorem is one of a family of related theorems which give conditions for global asymptotic stability of a continuous dynamical system.HistoryThe Markus Yamabe conjecture was formulated as an attempt to… …   Wikipedia

Share the article and excerpts

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