Added to Favorites

Related Searches

Definitions

In number theory, Aleksandr Yakovlevich Khinchin proved that for almost all real numbers x, the infinitely many denominators a_{i} of the continued fraction expansion of x have an astonishing property: their geometric mean is a constant, known as Khinchin's constant, which is independent of the value of x.## Sketch of proof

## Series expressions

Khinchin's constant may be expressed as a rational zeta series in the form## Hölder means

The Khinchin constant can be viewed as the first in a series of the Hölder means of the terms of continued fractions. Given an arbitrary series {a_{n}}, the Hölder mean of order p of the series is given by## Harmonic mean

By means of the above expressions, the harmonic mean of the terms of a continued fraction may be obtained as well. The value obtained is ## See also

## References

That is, for

- $x\; =\; a\_0+cfrac\{1\}\{a\_1+cfrac\{1\}\{a\_2+cfrac\{1\}\{a\_3+cfrac\{1\}\{ddots\}\}\}\};$

it is almost always true that

- $lim\_\{n\; rightarrow\; infty\; \}\; left(prod\_\{i=1\}^n\; a\_i\; right)\; ^\{1/n\}\; =$

- $K\_0\; =$

Among the numbers x whose continued fraction expansions do not have this property are rational numbers, solutions of quadratic equations with rational coefficients (including the golden ratio φ), and the base of the natural logarithms e.

Among the numbers whose continued fraction expansions apparently do have this property (based on numerical evidence) are π, the Euler-Mascheroni constant γ, and Khinchin's constant itself. However this is unproven, because even though almost all real numbers are known to have this property, it has not been proven for any specific real number whose full continued fraction representation is not known.

Khinchin is sometimes spelled Khintchine (the French transliteration) in older mathematical literature.

The proof presented here was arranged by Czesław Ryll-Nardzewski and is much simpler than Khinchin's original proof which did not use ergodic theory.

Since the first coefficient a_{0} of the continuous fraction of x plays no role in Khinchin's theorem and since the rational numbers have Lebesgue measure zero, we are reduced to the study of irrational numbers in the unit interval, i.e., those in $scriptstyle\; I=[0,1]setminusmathbb\{Q\}$. These numbers are in bijection with infinite continued fractions of the form [0; a_{1}, a_{2}, ...], which we simply write [a_{1}, a_{2}, ...], where a_{1}, a_{2}, ... are positive integers. Define a transformation T:I → I by

- $T([a\_1,a\_2,dots])=[a\_2,a\_3,dots].,$

The transformation T is called the Gauss-Kuzmin-Wirsing operator. For every Borel subset E of I, we also define

- $mu(E)=frac\{1\}\{log\; 2\}int\_Efrac\{dx\}\{1+x\}.$

Then μ is a probability measure on the σ-algebra of Borel subsets of I. The measure μ is equivalent to the Lebesgue measure on I, but it has the additional property that the transformation T preserves the measure μ. Moreover, it can be proved that T is an ergodic transformation of the measurable space I endowed with the probability measure μ (this is the hard part of the proof). The ergodic theorem then says that for any μ-integrable function f on I, the average value of $f\; left(T^k\; x\; right)$ is the same for almost all $x$:

- $lim\_\{ntoinfty\}\; frac\; 1nsum\_\{k=0\}^\{n-1\}(fcirc\; T^k)(x)=int\_I\; f\; dmuquadtext\{for\; \}mutext\{-almost\; all\; \}xin\; I$

Applying this to the function defined by f([a_{1}, a_{2}, ...]) = log(a_{1}), we obtain that

- $lim\_\{ntoinfty\}frac\; 1nsum\_\{k=1\}^\{n\}log(a\_k)=int\_I\; f\; ,\; dmu\; =\; sum\_\{r=1\}^inftylog(r)frac\{logbigl(1+frac\{1\}\{r(r+2)\}bigr)\}\{log\; 2\}$

for almost all [a_{1}, a_{2}, ...] in I as n → ∞.

Taking the exponential on both sides, we obtain to the left the geometric mean of the first n coefficients of the continued fraction, and to the right Khinchin's constant.

- $log\; K\_0\; =\; frac\{1\}\{log\; 2\}\; sum\_\{n=1\}^infty$

- $log\; K\_0\; =\; frac\{1\}\{log\; 2\}\; left[$

where N is an integer, held fixed, and ζ(s, n) is the Hurwitz zeta function. Both series are strongly convergent, as ζ(n) − 1 approaches zero quickly for large n. An expansion may also be given in terms of the dilogarithm:

- $log\; K\_0\; =\; log\; 2\; +\; frac\{1\}\{log\; 2\}\; left[$

- $K\_p=lim\_\{ntoinfty\}\; left[frac\{1\}\{n\}$

When the {a_{n}} are the terms of a continued fraction expansion, the constants are given by

- $K\_p=left[sum\_\{k=1\}^infty\; -k^p$

This is obtained by taking the p-th mean in conjunction with the Gauss-Kuzmin distribution. The value for K_{0} may be shown to be obtained in the limit of p → 0.

- $K\_\{-1\}=1.74540566240dots$

- David H. Bailey, Jonathan M. Borwein, Richard E. Crandall (1995). "On the Khinchine constant".
- Jonathan M. Borwein, David M. Bradley, Richard E. Crandall (2000). "Computational Strategies for the Riemann Zeta Function".
*J. Comp. App. Math.*121 p.11. - Aleksandr Ya. Khinchin (1997).
*Continued Fractions*. New York: Dover Publications. - Czesław Ryll-Nardzewski (1951). "On the ergodic theorems II (Ergodic theory of continued fractions)".
*Studia Mathematica*12 74–79.

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Friday May 16, 2008 at 12:21:05 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Friday May 16, 2008 at 12:21:05 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2015 Dictionary.com, LLC. All rights reserved.