Math 2.0

Sequences, series, summability Continued fractions and limit processes Theorem

Van Vleck's theorem

Builds on Continued fractionConvergents of a continued fractionArgument of a complex number

Statement

Let 0<ε<π/20 < \varepsilon < \pi/2 and let a1,a2,…a_1, a_2, \dots be complex numbers with ∣arg⁡an∣<π/2−ε\abs{\arg a_n} < \pi/2 - \varepsilon for every nn. Let fnf_n be the nn-th convergent of the continued fraction f=1a1+1a2+1a3+⋯.f = \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \cdots}}}. Then:

  1. every fnf_n is finite and satisfies ∣arg⁡fn∣<π/2−ε\abs{\arg f_n} < \pi/2 - \varepsilon;
  2. the sequences (f2n)(f_{2n}) and (f2n+1)(f_{2n+1}) of even and odd convergents both converge;
  3. the continued fraction converges, that is, (fn)(f_n) has a finite limit, if and only if ∑n≥1∣an∣\sum_{n \ge 1} \abs{a_n} diverges.

Remarks

Item 1 follows by induction from the tail: the open sector S={z≠0:∣arg⁡z∣<π/2−ε}S = \set{z \ne 0 : \abs{\arg z} < \pi/2 - \varepsilon} is closed under addition, and z↦1/zz \mapsto 1/z maps SS onto itself. Here arg⁡\arg is the argument with values in (−π,π](-\pi, \pi]. Example: an=1a_n = 1 for all nn lies in the sector and ∑∣an∣=∞\sum \abs{a_n} = \infty, so the continued fraction converges; its value is 5−12\frac{\sqrt5 - 1}{2}. If an=2−na_n = 2^{-n}, the sum ∑∣an∣\sum \abs{a_n} is finite, and by item 3 the even and odd convergents tend to different limits. For positive real ana_n the theorem contains the classical criterion that 1a1+1a2+⋯\cfrac{1}{a_1 + \cfrac{1}{a_2 + \cdots}} converges exactly when ∑an\sum a_n diverges.

Going deeper

For a student

The sector condition keeps all convergents away from 00 and ∞\infty, so only the oscillation between even and odd convergents can prevent convergence. The divergence of ∑∣an∣\sum \abs{a_n} is what forces the even and odd limits to meet. Compare the Śleszyński–Pringsheim theorem, where large partial denominators give convergence.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Argument of a complex number concept
  2. Continued fraction definition
  3. Simple continued fraction definition
  4. Convergents of a continued fraction definition
  5. Van Vleck's theorem statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Convergence_problem
About this page
TagKCCFZTP3MM
URIm2://KCCFZTP3MM
Kindstatement, theorem
WritingW0 stub
MSC40A15, 30B70
StatusThis copy of the site has no build data. Run m2 status KCCFZTP3MM.
AboutContinued fraction
UsesContinued fraction, Convergents of a continued fraction, Argument of a complex number
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.