Notation de Landau

Bonjour, je cherche la signification d'une notation et ne trouve aucun autre document dans lequel elle apparaît. Il s'agit de $O_{\epsilon}(N^{\epsilon})$ Est-ce que quelqu'un peut m'aider ? Merci.

Réponses

  • Peut-on avoir un extrait du texte ?
  • gerard0
    Modifié (May 2022)
    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})$





  • noix de totos
    Modifié (May 2022)
    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.
  • Schlurte
    Modifié (May 2022)
    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.