# 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).$
La dernière somme a seulement un nombre fini de termes non-nuls, puisque
    $\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.$