Prouhet-Thue-Morse constant
|
|
In mathematics and its applications, the Prouhet-Thue-Morse constant is the number <math>\tau<math> whose binary expansion is the Prouhet-Thue-Morse sequence. That is,
- <math> \tau = \sum_{i=0}^{\infty} \frac{t_i}{2^{i+1}} = 0.412454033640 \ldots <math>
where ti is the Prouhet-Thue-Morse sequence.
The generating polynomial for the ti is given by
- <math> \tau(x) = \sum_{i=0}^{\infty} (-)^{t_i} \, x^i = \frac{1}{1-x} - \sum_{i=0}^{\infty} t_i \, x^i<math>
and can be expressed as
- <math> \tau(x) = \prod_{n=0}^{\infty} ( 1 - x^{2^n} ). <math>
Note curiously that this is the product of Frobenius polynomials, and thus generalizes to arbitrary fields.
This number has been shown to be transcendental by K. Mahler in 1929.
Applications
The Prouhet-Thue-Morse constant occurs in a number of mathematical contexts. Some of these are listed below.
- It occurs as the angle of the Duoady-Hubbard ray at the end of the sequence of western bulbs of the Mandelbrot set. This can be easily understood due to the nature of period doubling in the Mandelbrot set.
External links
- On-Line Encyclopedia of Integer Sequences Entry A010060 (http://www.research.att.com/cgi-bin/access.cgi/as/njas/sequences/eisA.cgi?Anum=A010060)
- John-Paull Allouche and Jeffrey Shallit, The ubiquitous Prouhet-Thue-Morse sequence (http://www.math.uwaterloo.ca/~shallit/Papers/ubiq.ps) (undated, 2004 or earlier) provides many applications and some history
- PlanetMath entry (http://planetmath.org/encyclopedia/ProuhetThueMorseConstant.html)
- Parameter Ray Atlas (http://www.linas.org/art-gallery/escape/phase/atlas.html) (2000) provides a link to the Mandelbrot set.