Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

For a real number $\alpha$, let the irrationality measure $\mu(\alpha) \in \mathbb{R}\cup \{\infty\}$ be defined as the supremum of all real numbers $\mu$ such that $$ \left| \alpha-\frac{p}{q}\right| \le \frac{1}{q^\mu} $$ has infinitely many solutions $\frac{p}{q} \in \mathbb{Q}$, where $q \ge 1$. It's known that if $\alpha$ is rational, then $\mu(\alpha)=1$ and if $\alpha$ is algebraic and irrational, then $\mu(\alpha)=2$ by Roth's Theorem. The set of all $\alpha$ such that $\mu(\alpha) >2$ has Lebesgue measure 0 by Khinchin's Theorem.

One can explicitly write down real numbers $\alpha$ such that $\mu(\alpha) = \infty$ (e.g. Liouville's constant) and transcendental real numbers $\alpha$ such that $\mu(\alpha)=2$ (e.g. $\alpha =e$, see also this thread). It's also possible to find upper bounds on $\mu(\alpha)$ for some real numbers such as $\pi$. But I don't know of a single example of a real number $\alpha$ whose irrationality measure is known, finite and greater than 2.

Question: Is there an example of a real number whose irrationality measure $\mu(\alpha)$ is known exactly and satisfies $2<\mu(\alpha)<\infty$?

share|improve this question
2  
I imagine if one "toned down" Liouville's construction and wrote $\alpha=\sum_{n=1}^\infty 10^{-\lfloor\mu^n\rfloor}$, then one could show that $\mu(\alpha)=\mu$. There is something to be shown, though, since the obvious rational approximations by terminating decimals only demonstrate that $\mu(\alpha)\ge\mu$. –  Greg Martin Jun 18 '13 at 17:13
add comment

2 Answers

up vote 5 down vote accepted

The answer is yes - see for example

Yann Bugeaud Diophantine approximation and Cantor sets Math. Ann. (2008) 341:677–684

share|improve this answer
3  
I'm pmretty sure $\mu(\alpha)=1$ for rational $\alpha$ is correct. –  Greg Martin Jun 18 '13 at 17:10
    
Sorry - corrected. –  Carl Jun 18 '13 at 21:57
    
Thanks Carl, that's the kind of reference I was looking for. –  jsm Jun 19 '13 at 17:29
add comment

Irrationality measure is a question about approximation by rationals. The continued fraction expansion gives the best approximations and controls their quality. Irrationality measure is a kind of asymptotic growth of the continued fraction expansion. Asking about the irrationality measure of a particular number is asking properties of its continued fraction expansion. But if you are willing to specify numbers by their continued fraction expansion, it is easy to write down a continued fraction expansion with the desired measure. Inductively define the continued fraction $[a_1,a_2,\ldots]$ by setting $a_{n+1}=\lceil q_n^{\mu-1}\rceil$, where the convergent is $\frac{p_n}{q_n}$. Then $q_{n+1}=a_{n+1}q_n+q_{n-1}$, so the error $(q_nq_{n+1})^{-1}$ is about $q_n^{-\mu}$.

It's a bit of a cop-out, but it's definitely worth mentioning.

share|improve this answer
    
Thanks, I'm happy to specify numbers by their continued fraction expansion. But don't you mean $\mu-2$ instead of $\mu-1$? (sorry if I'm being stupid here) –  jsm Jun 19 '13 at 17:39
    
Yes, you're right, it should be $a_{n+1}=q_n^{\mu-2}$. Then $q_{n+1}\sim q_n^{\mu-1}$ and the reciprocal error is $q_{n+1}q_n\sim q_n^\mu$. –  Ben Wieland Jun 19 '13 at 18:39
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.