Notation de Landau
Réponses
-
Peut-on avoir un extrait du texte ?
-
-
Peut-être pour indiquer que la variable du $O$ est $\varepsilon$ ? Il y a aussi un $O_{\varepsilon}(A^{\varepsilon})$.Cordialement.
-
Je ne vois pas ce que cela pourrait bien vouloir dire, en particulier quand il est dit : $d(n)=\Sigma_{d|n}1$ is $ O_{\epsilon}(n^{\epsilon})$
-
Cela signifie que ta fonction de diviseurs est majorée par $C(\varepsilon) \times n^\varepsilon$, où la constante dépend de $\varepsilon$.
Autrement dit, à chaque fois que tu as en indice de ton grand "O" des variables, cela indique que la constante impliquée dans le terme d'erreur dépend de ces variables.
Note que l'on utilise en théorie des nombres indifféremment la notation $O_\varepsilon$ (Landau) ou $\ll_\varepsilon$ (Vinogradov), qui sont synonymes.
Exemple. $d(n) = O_\varepsilon (n^\varepsilon)$ ou bien $d(n) \ll_\varepsilon n^\varepsilon$ signifient
$$\forall \varepsilon > 0, \ \exists C(\epsilon) > 0, \ \forall n \in \mathbb{Z}_{\geqslant 1}, \ d(n) \leqslant C(\varepsilon) n^\varepsilon.$$
On peut même montrer que $C(\varepsilon) = \exp\left( \dfrac{2^{1/\varepsilon}}{\varepsilon \log 2} \right)$ est admissible.
-
Ok merci beaucoup pour ta réponse. Est-ce que tu aurais une démonstration de ce résultat ? Ou simplement son nom s'il en a un.
-
La fonction $n \mapsto d(n)$, en général plutôt notée $n \mapsto \tau(n)$, est multiplicative, donc
$$\frac{d(n)}{n^\varepsilon} = \prod_{p^\alpha \| n} \frac{\alpha + 1}{p^{\alpha \varepsilon}}.$$
L'idée est alors de couper le produit en deux, selon que $p > 2^{1/\varepsilon}$ ou $p \leqslant 2^{1/\varepsilon}$. Dans le $1$er cas, l'inégalité de Bernoulli fournit
$$\frac{\alpha + 1}{p^{\alpha \varepsilon}} \leqslant \frac{2^\alpha}{p^{\alpha \varepsilon}} < \frac{2^\alpha}{2^{\alpha}} = 1$$
de sorte que
$$\frac{d(n)}{n^\varepsilon} \leqslant \prod_{\substack{p^\alpha \| n \\ p \leqslant 2^{1/\varepsilon}}} \frac{\alpha + 1}{p^{\alpha \varepsilon}}.$$
On suppose $0 < \varepsilon < \frac{1}{\log 4}$. La fonction $\alpha \mapsto \frac{\alpha + 1}{p^{\alpha \varepsilon}}$ admet un maximum en $\alpha = \frac{1}{\varepsilon \log p} - 1$ valant $\frac{e^{-1} p^\varepsilon}{\varepsilon \log p}$, d'où
$$\frac{d(n)}{n^\varepsilon} \leqslant \prod_{p \leqslant 2^{1/\varepsilon}} \frac{e^{-1} p^{\, \varepsilon}}{\varepsilon \log p} \leqslant \prod_{p \leqslant 2^{1/\varepsilon}} \left( \frac{2e^{-1}}{\varepsilon \log 2} \right) = \left( \frac{2e^{-1}}{\varepsilon \log 2} \right)^{\pi(2^{1/\varepsilon})}.$$
La majoration $\pi(x) \leqslant \frac{2x}{\log x}$, qui n'est d'ailleurs pas la meilleure (on peut remplacer $2$ par $1,25506$ si on veut), donne alors
$$\frac{d(n)}{n^\varepsilon} \leqslant \exp \left( \frac{2^{1+1/\varepsilon} \varepsilon}{\log 2} \log \left( \frac{2 e^{-1}}{\varepsilon \log 2} \right)\right) \leqslant \exp \left( \frac{2^{1/\varepsilon}}{\varepsilon \log 2} \right).$$
-
Merci beaucoup pour ton aide, bonne soirée.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres