Evaluar

Question

¿Cómo se puede evaluar $$\liminf_{n\to\infty}n\{n\sqrt2\},$$where $\{\cdot\}$ denotes the fractional part of $\cdot$?

La primera cosa que vino a mi mente es la ecuación de Pell $x^2-2y^2=1$.
Sabiendo que $\sqrt2$ ha continuado fracción $[1;2,2,2\cdots]$, traté de calcular el límite mediante el uso de $\sqrt2$'s convergents' denominadores. Parece que el límite es aproximadamente igual a $0.36$.

Answer 1

Para $n > 0$, vamos a $m = \lfloor n\sqrt{2}\rfloor$. Desde $\sqrt{2} \not\in \mathbb{Q}$,

$$n\sqrt{2} > m \implies 2n^2 > m^2 \implies 2n^2 \ge m^2 + 1 \implies \sqrt{2}n \ge \sqrt{m^2+1}$$

Esto implica $$n\{n\sqrt{2}\} \ge n(\sqrt{m^2+1} - m) \ge \frac{1}{\sqrt{2}}\sqrt{m^2+1}(\sqrt{m^2+1}-m)\\ = \frac{1}{\sqrt{2}}\frac{\sqrt{m^2+1}}{\sqrt{m^2+1}+m} \ge \frac{1}{2\sqrt{2}}$$ Como resultado, $\displaystyle\;\liminf_{n\to\infty}\, n\{n\sqrt{2}\} \ge \frac{1}{2\sqrt{2}}$.

En el otro sentido, considerar el siguiente par de secuencias de enteros $(m_k), (n_k)$ definido por

$$m_k + n_k \sqrt{2} = (1 + \sqrt{2})^{2k+1}\quad\text{ for } k \in \mathbb{N}$$

Es fácil comprobar que están incrementando y $m_k^2 - 2n_k^2 = -1$. Como resultado,

$$\liminf_{n\to\infty}\ n\{n\sqrt{2}\} \le \liminf_{k\to\infty}\, n_k\{n_k\sqrt{2}\} = \liminf_{k\to\infty}\frac{1}{\sqrt{2}}\frac{\sqrt{m_k^2+1}}{\sqrt{m_k^2+1} + m_k}\\ = \lim_{m\to\infty} \frac{1}{\sqrt{2}}\frac{\sqrt{m^2+1}}{\sqrt{m^2+1}+m} = \frac{1}{2\sqrt{2}}$$

Combinar estos, obtenemos $\displaystyle\;\liminf_{n\to\infty}\, n\{n\sqrt{2}\} = \frac{1}{2\sqrt{2}}$

Answer 2

El uso de fracciones continuas, obtenemos $$ \begin{align} p_n &=\frac{\left(\sqrt2+1\right)^{2n-1}-\left(\sqrt2-1\right)^{2n-1}}{2}\\ &=\sum_{k=0}^{2n-1}\binom{2n-1}{k}\sqrt2^{2n-1-k}\frac{1^k-(-1)^k}2\\ &=\sum_{k=1}^n\binom{2n-1}{2k-1}2^{n-k}\\[12pt] &\in\mathbb{Z} \end{align} $$ y $$ \begin{align} q_n &=\frac{\left(\sqrt2+1\right)^{2n-1}+\left(\sqrt2-1\right)^{2n-1}}{2\sqrt2}\\ &=\sum_{k=0}^{2n-1}\binom{2n-1}{k}\sqrt2^{2n-1-k}\frac{1^k+(-1)^k}{2\sqrt2}\\ &=\sum_{k=0}^{n-1}\binom{2n-1}{2k}2^{n-k-1}\\[12pt] &\in\mathbb{Z} \end{align} $$ que dan $$ q_n\sqrt2-p_n=\left(\sqrt2-1\right)^{2n-1} $$ y $$ q_n\overbrace{\left(q_n\sqrt2-p_n\right)}^{\left\{q_n\sqrt2\right\}}=\frac{1+\left(3-2\sqrt2\right)^{2n-1}}{2\sqrt2} $$ Por lo tanto, $$ \liminf_{n\to\infty}n\left\{n\sqrt2\right\}\le\frac1{2\sqrt2} $$

---

Para cualquier $p,q\in\mathbb{Z}$ , de modo que $p\lt q\sqrt2\lt p+1$, tenemos $$ \begin{align} 1 &\le2q^2-p^2\\ &=\left(q\sqrt2-p\right)\left(q\sqrt2+p\right) \end{align} $$ dando $$ \begin{align} q\left(q\sqrt2-p\right) &\ge\frac{q}{q\sqrt2+p}\\ &\ge\frac{q}{2q\sqrt2-1} \end{align} $$ Por lo tanto, $$ \liminf_{n\to\infty}n\left\{n\sqrt2\right\}\ge\frac1{2\sqrt2} $$

---

Por lo tanto, $$ \liminf_{n\to\infty}n\left\{n\sqrt2\right\}=\frac1{2\sqrt2} $$