title: Fonction de Tchebychev
text: # Fonction de Tchebychev
  
  En mathématiques, la fonction de Tchebychev peut désigner deux fonctions utilisées en théorie des nombres. La première fonction de Tchebychev ϑ(x) ou θ(x) est donnée par
  
      $\vartheta (x)=\sum _{p\leq x}\ln p$
  
  où la somme est définie sur les nombres premiers p inférieurs ou égaux à x.
  
  La seconde fonction de Tchebychev ψ(x) est définie de façon similaire, la somme s'étendant aux puissances premières inférieures à x :
  
      $\psi (x)=\sum _{p^{k}\leq x}\ln p=\sum _{n\leq x}\Lambda (n)=\sum _{p\leq x}\left\lfloor \ln _{p}x\right\rfloor \ln p,$
  
  où Λ désigne la fonction de von Mangoldt. Les fonctions de Tchebychev, notamment la seconde ψ(x), sont souvent utilisées dans des résultats sur les nombres premiers, car elles sont plus simples à utiliser que la fonction de compte des nombres premiers, π(x) (voir la formule exacte, plus bas). Les deux fonctions de Tchebychev sont asymptotiquement équivalentes à x, un résultat similaire au théorème des nombres premiers.
  
  Les deux fonctions sont nommées d'après Pafnouti Tchebychev.
  
  ## Relations
  
  La seconde fonction de Tchebychev peut être liée à la première comme suit :
  
      $\psi (x)=\sum _{p\leq x}k\ln p$
  
  où k est l'unique entier tel que $p^k$ ≤ x et x < $p^{k+1}.$ Les valeurs de k sont données dans la suite  A206722. Une relation plus directe est donnée par
  
      $\psi (x)=\sum _{n=1}^{\infty }\vartheta \left(x^{\frac {1}{n}}\right).$
  
  On remarque que la dernière somme a seulement un nombre fini de termes non-nuls :
  
      $\vartheta \left(x^{\frac {1}{n}}\right)=0\quad {\text{pour}}\quad n>\log _{2}x\ ={\frac {\ln x}{\ln 2}}.$
  
  La seconde fonction de Tchebychev est le logarithme du plus petit commun multiple des entiers de 1 à n.
  
      $\operatorname {ppcm} (1,2,\dots ,n)={\rm {e}}^{\psi (n)}.$
  
  Les valeurs de ppcm(1,2,...,n) pour un entier n sont données par  A003418.
  
  ## Équivalents asymptotiques et bornes
  
  On connait les bornes suivantes pour les fonctions de $Tchebychev^,$ (dans ces formules $p_k$ est le k-ème nombre premier : $p_1$ = 2, $p_2$ = 3, etc.)
  
      ${\begin{aligned}\vartheta (p_{k})&\geq k\left(\ln k+\ln \ln k-1+{\frac {\ln \ln k-2,050735}{\ln k}}\right)&&{\text{pour }}k\geq 10^{11},\\[8px]\vartheta (p_{k})&\leq k\left(\ln k+\ln \ln k-1+{\frac {\ln \ln k-2}{\ln k}}\right)&&{\text{pour }}k\geq 198,\\[8px]|\vartheta (x)-x|&\leq 0,006788{\frac {x}{\ln x}}&&{\text{pour }}x\geq 10\,544\,111,\\[8px]|\psi (x)-x|&\leq 0,006409{\frac {x}{\ln x}}&&{\text{pour }}x\geq e^{22},\\[8px]0,9999{\sqrt {x}}&<\psi (x)-\vartheta (x)<1,00007{\sqrt {x}}+1,78{\sqrt[{3}]{x}}&&{\text{pour }}x\geq 121.\end{aligned}}$
  
  De plus, sous l'hypothèse de Riemann,
  
      ${\begin{aligned}|\vartheta (x)-x|&=O\left(x^{{\frac {1}{2}}+\varepsilon }\right)\\|\psi (x)-x|&=O\left(x^{{\frac {1}{2}}+\varepsilon }\right)\end{aligned}}$
  
  pour tout ε > 0.
  
  Des bornes supérieures existent pour ϑ(x) et ψ(x) telles $que^,$
  
      ${\begin{aligned}\vartheta (x)&<1,000028x\\\psi (x)&<1,03883x\end{aligned}}$
  
  pour tout x > 0.
  
  Une explication de la constante 1,03883 est donnée par  A206431.
  
  ## La formule exacte
  
  En 1895, Hans Carl Friedrich von Mangoldt a prouvé une expression explicite pour ψ(x) comme une somme sur les zéros non triviaux de la fonction zeta de Riemann :
  
      $\psi _{0}(x)=x-\sum _{\rho }{\frac {x^{\rho }}{\rho }}-{\frac {\zeta '(0)}{\zeta (0)}}-{\tfrac {1}{2}}\ln(1-x^{-2}).$
  
  (La valeur numérique de ζ′(0)/ζ(0) est ln(2π).) Ici, ρ parcourt les zéros non triviaux de la fonction zêta, et $ψ_0$ est égale à ψ, sauf en ces points de discontinuités (les puissances premières), où elle prend la valeur moyenne entre les valeurs haute et droite :
  
      $\psi _{0}(x)={\tfrac {1}{2}}\left(\sum _{n\leq x}\Lambda (n)+\sum _{n<x}\Lambda (n)\right)={\begin{cases}\psi (x)-{\tfrac {1}{2}}\Lambda (x)&x=2,3,4,5,7,8,9,11,13,16,\dots \\[5px]\psi (x)&{\mbox{sinon.}}\end{cases}}$
  
  De la série de Taylor pour le logarithme, le dernier terme dans la formule explicite peut être écrit comme la somme de $x^ω/ω$ sur les zéros triviaux de la fonction zêta, ω = −2, −4, −6, ..., i.e.
  
      $\sum _{k=1}^{\infty }{\frac {x^{-2k}}{-2k}}=-{\tfrac {1}{2}}\ln \left(1-x^{-2}\right).$
  
  De même, le premier terme, x = $x^1/1,$ correspond au pôle simple de la fonction zêta en 1.
  
  ## Propriétés
  
  Un théorème d'Erhard Schmidt affirme que, pour une constante positive explicite K, il y a un nombre infini d'entiers naturels x tels que
  
      $\psi (x)-x<-K{\sqrt {x}}$
  
  et un nombre infini d'entiers naturels x tels $que^,$
  
      $\psi (x)-x>K{\sqrt {x}}.$
  
  En notation de Landau, on peut l'écrire sous la forme
  
      $\psi (x)-x\neq o\left({\sqrt {x}}\right).$
  
  Hardy et Littlewood ont trouvé le résultat suivant, plus précis :
  
      $\psi (x)-x\neq o\left({\sqrt {x}}\ln \ln \ln x\right).$
  
  ## Relation aux primorielles
  
  La première fonction de Tchebychev est le logarithme de la primorielle de x, noté x#:
  
      $\vartheta (x)=\sum _{p\leq x}\ln p=\ln \prod _{p\leq x}p=\ln \left(x\#\right).$
  
  On prouve ainsi que le primoriel x# est asymptotiquement égal à $e^{(1+o(1))x},$ et avec le théorème des nombres premiers, on peut déduire le comportement asymptotique de $p_n#.$
  
  ## Relation à la fonction de compte
  
  La fonction de Tchebychev peut être reliée à la fonction de compte des nombres premiers. Si on pose
  
      $\Pi (x)=\sum _{n\leq x}{\frac {\Lambda (n)}{\ln n}}.$
  
  Alors
  
      $\Pi (x)=\sum _{n\leq x}\Lambda (n)\int _{n}^{x}{\frac {\mathrm {d} t}{t\log ^{2}t}}+{\frac {1}{\ln x}}\sum _{n\leq x}\Lambda (n)=\int _{2}^{x}{\frac {\psi (t)\,\mathrm {d} t}{t\log ^{2}t}}+{\frac {\psi (x)}{\ln x}}.$
  
  La transition de Π à la fonction de compte, π, est obtenue à l'équation
  
      $\Pi (x)=\pi (x)+{\frac {1}{2}}\pi ({\sqrt {x}})+{\tfrac {1}{3}}\pi \left({\sqrt[{3}]{x}}\right)+\cdots$
  
  Puisque π(x) ≤ x, pour l'approximation, cette dernière relation peut être réécrite
  
      $\pi (x)=\Pi (x)+O\left({\sqrt {x}}\right).$
  
  ## L'hypothèse de Riemann
  
  L'hypothèse de Riemann affirme que tous les zéros non triviaux de la fonction zêta ont pour partie réelle 1/2. Dans ce cas, $|x^ρ|$ = √x, et elle peut être décrite par
  
      $\sum _{\rho }{\frac {x^{\rho }}{\rho }}=O\left({\sqrt {x}}\ln ^{2}x\right).$
  
  De l'égalité, on déduit :
  
      $\pi (x)=\operatorname {li} (x)+O\left({\sqrt {x}}\ln x\right).$
  
  De bonnes preuves de la véracité de l'hypothèse viennent du fait proposé par Alain Connes et d'autres, que si on différencie la formule de von Mangoldt par rapport à x, on a x = $e^u.$ Par des calculs, on obtient la formule de trace de l'exponentielle de l'opérateur hamiltonien satisfaisant :
  
      $\left.\zeta \left({\tfrac {1}{2}}+{\rm {i}}{\hat {H}}\right)\right|n\geq \zeta \left({\tfrac {1}{2}}+{\rm {i}}E_{n}\right)=0,$
  
  et
  
      $\sum _{n}{\rm {e}}^{{\rm {i}}uE_{n}}=Z(u)={\rm {e}}^{\frac {u}{2}}-{\rm {e}}^{-{\frac {u}{2}}}{\frac {{\rm {d}}\psi _{0}}{{\rm {d}}u}}-{\frac {{\rm {e}}^{\frac {u}{2}}}{{\rm {e}}^{3u}-{\rm {e}}^{u}}}=\operatorname {Tr} \left({\rm {e}}^{{\rm {i}}u{\hat {H}}}\right),$
  
  où la somme trigonométrique peut être considérée comme la trace de l'opérateur $e^{iuĤ}$ (en mécanique statistique), qui n'est vrai que si ρ = 1/2 + iE(n).
  
  Par une approche semi-classique, le potentiel de H = T + V satisfait :
  
      ${\frac {Z(u)u^{\frac {1}{2}}}{\sqrt {\pi }}}\sim \int _{-\infty }^{\infty }{\rm {e}}^{{\rm {i}}\left(uV(x)+{\frac {\pi }{4}}\right)}\,{\rm {d}}x$
  
  avec Z(u) → 0 si u → ∞.
  
  Des solutions de cette équation intégrale non linéaire peuvent être obtenues (entre autres) par
  
      $V^{-1}(x)\approx {\sqrt {4\pi }}\cdot {\frac {{\rm {d}}^{\frac {1}{2}}}{{\rm {d}}x^{\frac {1}{2}}}}N(x)$
  
  pour obtenir l'inverse du potentiel:
  
      $\pi N(E)=\operatorname {arg} \xi \left({\tfrac {1}{2}}+{\rm {i}}E\right).$
  
  ## Fonction de lissage
  
  La fonction de lissage est définie par
  
      $\psi _{1}(x)=\int _{0}^{x}\psi (t)\,{\rm {d}}t.$
  
  On peut montrer que
  
      $\psi _{1}(x)\sim {\frac {x^{2}}{2}}.$
  
  ## Formulation variationnelle
  
  La fonction de Tchebychev en x = $e^t$ minimise la fonctionnelle
  
      $J[f]=\int _{0}^{\infty }{\frac {f(s)\zeta '(s+c)}{\zeta (s+c)(s+c)}}\,{\rm {d}}s-\int _{0}^{\infty }\!\!\!\int _{0}^{\infty }{\rm {e}}^{-st}f(s)f(t)\,{\rm {d}}s\,{\rm {d}}t,$
  
  ainsi
  
      $f(t)=\psi \left({\rm {e}}^{t}\right){\rm {e}}^{-ct}\quad {\text{pour }}c>0.$
  