6

what is the minimum number of $k$ for which the following limit exist $$\mathop {\lim }\limits_{n \to \infty } \,\frac{{\tan (n)}}{{{n^k}}}$$ I know that $$\mathop {\lim }\limits_{n \to \infty } \,\frac{{\tan (n)}}{n}$$ doesn't exist, and $$\mathop {\lim }\limits_{n \to \infty } \,\frac{{\tan (n)}}{{{n^8}}} = 0.$$ But i don't know what is the minimum number of $k$ for existing that limit. (note that here n's are positive integers not real numbers)

p.kn
  • 315
  • really it is zero? – user Dec 05 '17 at 18:51
  • @gimusi The continuous limit has infinite lim sup and -infinite lim inf, and I doubt that the discrete limit exists – Coolwater Dec 05 '17 at 18:51
  • https://math.stackexchange.com/questions/686841/concerning-the-sequence-big-dfrac-tan-nn-big – Guy Fsone Dec 05 '17 at 18:52
  • 2
    I imagine this is going to depend on the irrationality measure of $\pi$. I'm sure there is such a $k$ where the limit goes to 0 because $\pi$ is not a Louisville number, but I don't know if it's 8. Where do you get this constant? –  Dec 05 '17 at 18:54
  • See http://www.wolframalpha.com/input/?i=lim+as+n+goes+to+infinity+of+tan(n)%2Fn%5E8 – D.R. Dec 05 '17 at 19:05
  • @Robert that is correct when n is considered as real number but in my question n's are positive integers. – p.kn Dec 05 '17 at 19:08
  • 1
    @p.kn I was talking as if $n$ were a natural number. –  Dec 05 '17 at 19:21
  • As @Robert mentioned. This depends on the irrationality measure of $\pi$. Let it be $\mu$. Then we know that $2\leq \mu \leq 7.6063$. Thus, for any $k\geq \mu-1+\epsilon$, we will have $\lim (\tan n)/n^k = 0$. Also, it is believed to be $\mu=2$. So, we may conjecture that if $k>1$ then $\lim (\tan n)/n^k = 0$. – Sungjin Kim Dec 06 '17 at 05:05
  • @RobertWolfe Sorry to be pedantic, but its Liouville. – Servaes Mar 05 '19 at 13:16

1 Answers1

2

The practical way to approach this is as follows: Consider the $m$-th continued fraction approximant for $\pi/2$. (There is a conjecture that the denominator $q_m$ approaches $L^m$ where $L$ is Levy's constant (which is about $3.28$), but I can't see how to exploit that conjecture here.)

These approximants are the localized "best" you can do relative to the size of the denominators, so if $\frac{\tan n}{n^k}$ diverges then it will also diverge considering only those values of $n$ which are denominators of those continued fractions.

The error in each approximation is roughly the difference between that approximation and the next one; in fact, because the signs of the errors are alternately positive and negative, this error estimate provides an upper bound for the absolute value of the error. But then when odd $n$ is a continued fraction denominator, $\tan n$ is (in absolute value) very nearly the reciprocal of the continued fraction denominator.

Then it is straightforward to examine the "trends" for various exponents $k$ by dividing that approximation to $\tan n$ by $n^k$ for just those values of $n=q_m$ as $m$ grows.

When you do this, you see that the boundary case (treating $k$ as a real number) is at $k=2$: for $k<2$ this sequence of excellent approximations to $\frac{\tan n}{n^k}$ quickly grows very large, while for $k>2$ is goes rapidly to zero.

When $k=2$ the values of $\frac{\tan n}{n^k}$ are distributed between about $\pm 16$, with slightly more density near $\pm 1$ but a gap between $-1$ and $+1$ which can be explained based on the nature of the approximations taken. At any rate, it is "clearly" not going to zero.

If you have Mathematica you can plot these:

fracs := Table[ FromContinuedFraction[ContinuedFraction[Pi/2, m]], {m, 1, 1000}]

fracsR := Take[fracs, {2, 1000}]

diffs := Take[fracs, {1, 999}] - fracsR

ListPlot[N[(1/diffs)/Denominator[Take[fracs, {1, 999}]]^2]]

So the answer is that the first integer $k$ for which $\lim_{n\to\infty}\frac{\tan n}{n^k} = 0$ is $k=3$.

Mark Fischler
  • 41,743
  • that's incredible! – user Dec 05 '17 at 21:39
  • Can you provide the proof of "while for $k>2$ is goes rapidly to zero." – Sungjin Kim Dec 05 '17 at 23:42
  • @Mark Fischler, thanks. as i noticed you said that if $\frac{p}{q}$ is continued fraction approximation of $\frac{\pi }{2}$ then by taking $n$ as denominator of $\frac{p}{q}$, $\tan (n) \approx \frac{1}{q}$. could you please give the proof of this statement.but, why do you used the reciprocal of difference of two continued fraction as the approximation of tan(n) in your code instead of what you said. – p.kn Dec 06 '17 at 06:53