Cahen's Constant

In mathematics, Cahen's constant is defined as the value of an infinite series of unit fractions with alternating signs:
:$C = \sum_^\infty \frac=\frac11 - \frac12 + \frac16 - \frac1 + \frac1 - \cdots\approx 0.64341054629.$
Here $(s_i)_$ denotes Sylvester's sequence, which is defined recursively by
:$\begin s_0~~~ = 2; \\ s_ = 1 + \prod_^i s_j \text i \geq 0. \end$

Combining these fractions in pairs leads to an alternative expansion of Cahen's constant as a series of positive unit fractions formed from the terms in even positions of Sylvester's sequence. This series for Cahen's constant forms its greedy Egyptian expansion:
:$C = \sum\frac=\frac12+\frac17+\frac1+\frac1+\cdots$
This constant is named after Eugène Cahen (also known for the Cahen–Mellin integral), who was the first to introduce it and prove its irrationality.

Continued fraction expansion

The majority of naturally occurring mathematical constants have no known simple patterns in their continued fraction expansions. Nevertheless, the complete continued fraction expansion of Cahen's constant $C$ is known: it is
C = \left _0^2; a_1^2, a_2^2, a_3^2, a_4^2, \ldots\right= ;1,1,1,4,9,196,16641,\ldots/math>
where the sequence of coefficients

is defined by the recurrence relation
$a_0 = 0,~a_1 = 1,~a_ = a_n\left(1 + a_n a_\right)~\forall~n\in\mathbb_.$
All the partial quotients of this expansion are squares of integers. Davison and Shallit made use of the continued fraction expansion to prove that $C$ is transcendental.

Alternatively, one may express the partial quotients in the continued fraction expansion of Cahen's constant through the terms of Sylvester's sequence: To see this, we prove by induction on $n \geq 1$ that $1+a_n a_ = s_$. Indeed, we have $1+a_1 a_2 = 2 = s_0$, and if $1+a_n a_ = s_$ holds for some $n \geq 1$, then

$1+a_a_ = 1+a_ \cdot a_n(1+a_n a_)= 1+a_n a_ + (a_na_)^2 = s_ + (s_-1)^2 = s_^2-s_+1 = s_n,$where we used the recursion for $(a_n)_$ in the first step respectively the recursion for $(s_n)_$ in the final step. As a consequence, $a_ = a_n \cdot s_$ holds for every $n \geq 1$, from which it is easy to conclude that

C = ;1,1,1,s_0^2, s_1^2, (s_0s_2)^2, (s_1s_3)^2, (s_0s_2s_4)^2,\ldots/math>.

Best approximation order

Cahen's constant $C$ has best approximation order $q^$. That means, there exist constants $K_1, K_2 > 0$ such that the inequality
$0 < \Big, C - \frac \Big, < \frac$ has infinitely many solutions $(p,q) \in \mathbb \times \mathbb$, while the inequality $0 < \Big, C - \frac \Big, < \frac$ has at most finitely many solutions $(p,q) \in \mathbb \times \mathbb$.
This implies (but is not equivalent to) the fact that $C$ has irrationality measure 3, which was first observed by .

To give a proof, denote by $(p_n/q_n)_$ the sequence of convergents to Cahen's constant (that means, $q_ = a_n \text n \geq 1$).

But now it follows from $a_ = a_n \cdot s_$and the recursion for $(s_n)_$ that

:$\frac = \frac = \frac \cdot \frac = \frac \cdot \Big( 1 - \frac + \frac \Big)$

for every $n \geq 1$. As a consequence, the limits

:$\alpha := \lim_ \frac = \prod_^\infty \Big( 1 - \frac + \frac\Big)$ and $\beta := \lim_ \frac = 2 \cdot \prod_^\infty \Big( 1 - \frac + \frac\Big)$

(recall that $s_0 = 2$) both exist by basic properties of infinite products, which is due to the absolute convergence of $\sum_^\infty \Big, \frac - \frac \Big,$. Numerically, one can check that $0 < \alpha < 1 < \beta < 2$. Thus the well-known inequality

:$\frac \leq \Big, C - \frac \Big, \leq \frac$

yields

:$\Big, C - \frac \Big, \leq \frac = \frac < \frac$ and $\Big, C - \frac \Big, \geq \frac > \frac \geq \frac$

for all sufficiently large $n$. Therefore $C$ has best approximation order 3 (with $K_1 = 1 \text K_2 = 1/3$), where we use that any solution $(p,q) \in \mathbb \times \mathbb$ to

:$0 < \Big, C - \frac \Big, < \frac$

is necessarily a convergent to Cahen's constant.

Notes

References

*
*
*
*

External links

*
*
*
{{Irrational number
Mathematical constants
Real transcendental numbers