Fonction sommatoire θ(x)=Σ_{p≤x} log p qui somme les logarithmes naturels des nombres premiers p ≤ x ; utilisée comme un substitut lissé du dénombrement des premiers.

Principe

Aggréger la contribution des premiers par leur logarithme afin que θ(x) soit approximativement x (par le théorème des nombres premiers) et traduise la structure multiplicative en croissance additive.

Démonstration

Calculer θ(10)=log 2+log 3+log 5+log 7 ≈ log(2·3·5·7)=log 210 ≈ 5,347. Pour grand x, θ(x) croît approximativement comme x si la distribution des premiers est régulière.

Mauvaise application

Utiliser θ(x) comme un comptage direct des nombres premiers (plutôt que comme une somme pondérée) déforme le comportement en petits échantillons et occulte que θ reflète des poids multiplicatifs, pas une cardinalité brute.

Conséquence

θ(x) est une quantité analytique commode dont l'équivalence asymptotique à x est équivalente au théorème des nombres premiers ; elle figure dans des formules explicites reliant les zéros de fonctions ζ et la distribution des premiers.

Inversion

Le point de vue inverse consiste à pondérer les premiers par 1 (π(x)) au lieu de log p ; π(x) compte les premiers alors que θ(x) les pèse, et ce changement fait perdre l'information multiplicative codée par les logarithmes.

Limite

Définie pour x réel ≥2 (souvent étendue par zéro en dessous du premier premier); θ ne capte que les premiers (pas les puissances de premiers) et diffère de ψ(x), qui inclut les puissances de premiers.

Tension sémantique

Tension avec π(x) (fonction de comptage des premiers) et ψ(x) (seconde fonction de Chebyshev) : θ et π mesurent des aspects reliés mais distincts — croissance additive pondérée par log versus comptage brut ou inclusion des puissances de premiers.

Synthèse

La fonction θ de Chebyshev est la somme pondérée par les logarithmes des premiers ≤x qui traduit la structure multiplicative des nombres premiers en une fonction additive dont le comportement asymptotique reflète la distribution des premiers et facilite les manipulations analytiques.