Nombres 3-friables
dans Arithmétique
Bonjour
Soit $u_n$ le $n$-ème nombre $3$-friable classé par ordre croissant. Je cherche un équivalent de $\ln(u_n)$. Si quelqu'un a une idée ...
Merci d 'avance.
Soit $u_n$ le $n$-ème nombre $3$-friable classé par ordre croissant. Je cherche un équivalent de $\ln(u_n)$. Si quelqu'un a une idée ...
Merci d 'avance.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
$$u_{n}\sim\frac{1}{\sqrt{6}}\exp\left(\sqrt{2\log(2)\log(3)n}\right)\,\left(n\rightarrow\infty\right)$$
que Cidrolin a rappelée. C'est plus fort que ce qui est demandé car on en déduit un équivalent pour $\log(u_n)$.
"Soit deux suites strictement croissance $u(n)$ et $v(n)$ satisfaisant
\begin{align*}
\left|\left\{ k\in\mathbb{N},\ u(k)\leq n\right\} \right|&=a\log(n)^{2}+b\log(n)+o(\log(n))\\
\left|\left\{ k\in\mathbb{N},\ v(k)\leq n\right\} \right|&=a\log(n)^{2}+b\log(n)+o(\log(n))
\end{align*} Alors on a $\quad\displaystyle \lim_{n\rightarrow\infty}\frac{u(n)}{v(n)}=1,\quad $ dès que $a>0$ et $b$ est un réel quelconque."
Alors la formule du haut pour $u(n)$ est vraie moyennant la connaissance du résultat de Hardy : $$
\left|\left\{ k\in\mathbb{N},\ u(k)\leq n\right\} \right|=\frac{1}{2\log(2)\log(3)}\log(2n)\log(3n)+o(\log(n))
$$ En effet en notant $v(n)=\frac{1}{\sqrt{6}}\exp\left(\sqrt{2\log(2)\log(3)n}\right)$ il est "facile" de voir qu'on a $$
\left|\left\{ k\in\mathbb{N},\ v(k)\leq n\right\} \right|=\frac{1}{2\log(2)\log(3)}\log(2n)\log(3n)+O(1)$$
x=a\log(n)^{2}+b\log(n)+\sqrt{\log(n)}+O(1)\ \left(n\rightarrow\infty\right)
$$ devient sauf erreur $$
n=\exp\left(\sqrt{\frac{x}{a}}-\frac{b}{2a}\right)\left(1-\frac{x^{-1/4}}{2}+O\left(x^{-1/2}\right)\right)\ \left(x\rightarrow\infty\right)$$
\left|\left\{ k\in\mathbb{N},\ v(k)\leq n\right\} \right|=a\log(n)^{2}+b\log(n)+o(\log(n))$$ avec $a>0$ alors on a $$
v(n)\sim\exp\left(\sqrt{\frac{n}{a}}-\frac{b}{2a}\right)\ \left(n\rightarrow\infty\right)
$$ La formule asymptotique pour la suite $u$ s'en suit avec $a=\dfrac{1}{2\log(2)\log(3)}$ et $b=\dfrac{\log(2)+\log(3)}{2\log(2)\log(3)}$.