convergence problem
   HOME

TheInfoList



OR:

In the analytic theory of
continued fractions 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 ...
, the convergence problem is the determination of conditions on the partial numerators ''a''''i'' and partial denominators ''b''''i'' that are
sufficient In logic and mathematics, necessity and sufficiency are terms used to describe a conditional or implicational relationship between two statements. For example, in the conditional statement: "If then ", is necessary for , because the truth of ...
to guarantee the convergence of the continued fraction : x = b_0 + \cfrac.\, This convergence problem for continued fractions is inherently more difficult than the corresponding convergence problem for
infinite series In mathematics, a series is, roughly speaking, a description of the operation of adding infinitely many quantities, one after the other, to a given starting quantity. The study of series is a major part of calculus and its generalization, math ...
.


Elementary results

When the elements of an infinite continued fraction consist entirely of positive
real number In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every real ...
s, the determinant formula can easily be applied to demonstrate when the continued fraction converges. Since the denominators ''B''''n'' cannot be zero in this simple case, the problem boils down to showing that the product of successive denominators ''B''''n''''B''''n''+1 grows more quickly than the product of the partial numerators ''a''1''a''2''a''3...''a''''n''+1. The convergence problem is much more difficult when the elements of the continued fraction are
complex number In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form ...
s.


Periodic continued fractions

An infinite
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 where the initial block of ''k'' + 1 partial denominators is followed by a block 'a'k''+1, ''a'k''+2,.. ...
is a continued fraction of the form : x = \cfrac\, where ''k'' ≥ 1, the sequence of partial numerators contains no values equal to zero, and the partial numerators and partial denominators repeat over and over again, ''ad infinitum''. By applying the theory of linear fractional transformations to : s(w) = \frac\, where ''A''''k''-1, ''B''''k''-1, ''A''''k'', and ''B''''k'' are the numerators and denominators of the ''k''-1st and ''k''th 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 ''r''1 and ''r''2 be the roots of the quadratic equation : B_w^2 + (B_k - A_)w - A_k = 0.\, These roots are the fixed points of ''s''(''w''). If ''r''1 and ''r''2 are finite then the infinite periodic continued fraction ''x'' converges if and only if # the two roots are equal; or # the ''k''-1st convergent is closer to ''r''1 than it is to ''r''2, and none of the first ''k'' convergents equal ''r''2. If the denominator ''B''''k''-1 is equal to zero then an infinite number of the denominators ''B''''nk''-1 also vanish, and the continued fraction does not converge to a finite value. And when the two roots ''r''1 and ''r''2 are equidistant from the ''k''-1st convergent – or when ''r''1 is closer to the ''k''-1st convergent than ''r''2 is, but one of the first ''k'' convergents equals ''r''2 – the continued fraction ''x'' diverges by oscillation.


The special case when period ''k'' = 1

If the period of a continued fraction is 1; that is, if : x = \underset \frac,\, 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 \frac\qquad \left(z = \frac\right)\, converges. Then, by applying the more general result obtained above it can be shown that : y = 1 + \cfrac\, 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\left(1 \pm \sqrt\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 \frac = \cfrac\, can also be determined. Since a simple equivalence transformation shows that : x = \cfrac\, whenever ''z'' ≠ 0, the preceding result for the continued fraction ''y'' can be restated for ''x''. The infinite periodic continued fraction : x = \underset \frac converges if and only if ''z''2 is not a real number lying in the interval −4 < ''z''2 ≤ 0 – or, equivalently, ''x'' converges if and only if ''z'' ≠ 0 and ''z'' is not a pure imaginary number with imaginary part between -2 and 2. (Not including either endpoint)


Worpitzky's theorem

By applying the fundamental inequalities to the continued fraction : x = \cfrac\, it can be shown that the following statements hold if , ''a''''i'', ≤ ¼ for the partial numerators ''a''''i'', ''i'' = 2, 3, 4, ... *The continued fraction ''x'' converges to a finite value, and converges uniformly if the partial numerators ''a''''i'' are complex variables. *The value of ''x'' and of each of its convergents ''x''''i'' 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.\,1942 J. F. Paydon and H. S. Wall, ''Duke Math. Journal'', vol. 9, "The continued fraction as a sequence of linear transformations" *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''. 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. Because the proof of Worpitzky's theorem employs
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 ...
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 In mathematics, the Weierstrass M-test is a test for determining whether an infinite series of functions converges uniformly and absolutely. It applies to series whose terms are bounded functions with real or complex values, and is analogous to ...
can be applied to a modified version of ''x''. If : f(z) = \cfrac\, and a positive real number ''M'' exists such that , ''c''''i'', ≤ ''M'' (''i'' = 2, 3, 4, ...), then the sequence of convergents converges uniformly when : , z, < \frac\, and ''f''(''z'') is analytic on that open disk.


Śleszyński–Pringsheim criterion

In the late 19th century, Śleszyński and later
Pringsheim Pringsheim is a Jewish Silesian surname. Notable people with the surname include: * Alfred Pringsheim (1850–1941), mathematician, father-in-law of writer Thomas Mann * Ernst Pringsheim Sr. (1859–1917), German physicist * Ernst Pringsheim Jr. ...
showed that a continued fraction, in which the ''a''s and ''b''s may be complex numbers, will converge to a finite value if , b_n , \geq , a_n, + 1 for n \geq 1.


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 An argument is a statement or group of statements called premises intended to determine the degree of truth or acceptability of another statement called conclusion. Arguments can be studied from three main perspectives: the logical, the dialectic ...
with: : - \pi /2 + \epsilon < \arg ( b_i) < \pi / 2 - \epsilon, i \geq 1, with epsilon being any positive number less than \pi/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.See theorem 4.29, on page 88, of Jones and Thron (1980).


Notes


References

* * Oskar Perron, ''Die Lehre von den Kettenbrüchen'',
Chelsea Publishing Company The Chelsea Publishing Company was a publisher of mathematical books, based in New York City, founded in 1944 by Aaron Galuten while he was still a graduate student at Columbia Columbia may refer to: * Columbia (personification), the historical ...
, New York, NY 1950. *H. S. Wall, ''Analytic Theory of Continued Fractions'',
D. Van Nostrand Company, Inc. David Van Nostrand (December 5, 1811 – June 14, 1886) was a New York City publisher. Biography David Van Nostrand was born in New York City on December 5, 1811. He was educated at Union Hall, Jamaica, New York, and in 1826 entered the publish ...
, 1948 {{ISBN, 0-8284-0207-8 Continued fractions Convergence (mathematics)