title: Funzione di Čebyšëv
text: # Funzione di Čebyšëv
  
  In matematica, la Funzione di Čebyšëv può essere una di due funzioni strettamente legate. La prima funzione di Čebyšëv $\vartheta (x)$ o $\theta (x)$ è data da
  
      $\vartheta (x)=\sum _{p\leq x}\log p$
  
  con la somma estesa a tutti i numeri primi $p$ che sono minori uguali a $x$.
  
  La seconda funzione di Čebyšëv $\psi (x)$ è definita similmente, con la somma estesa a tutte le potenze dei numeri primi minori di $x$
  
      $\psi (x)=\sum _{k\in \mathbb {N} }\sum _{p^{k}\leq x}\log p=\sum _{n\leq x}\Lambda (n)=\sum _{p\leq x}\left\lfloor \log _{p}x\right\rfloor \log p,$
  
  dove $\Lambda$ è la funzione di von Mangoldt. Le funzioni di Čebyšëv , specialmente la seconda $\psi (x)$, sono spesso usate nelle dimostrazioni legate ai numeri primi, poiché è più semplice lavorare con esse che con la funzione enumerativa dei primi, $\pi (x)$ (Vedi la formula esatta, sotto.). Entrambe le funzioni di Čebyšëv sono asintotiche a $x$, una relazione valida anche nella teorema dei numeri primi.
  
  Entrambe le funzioni sono nominate in onore di Pafnutij L'vovič Čebyšëv.
  
  ## Relazioni
  
  La seconda funzione di Chebyshev può essere vista come una relazione alla prima scrivendola come
  
      $\psi (x)=\sum _{p\leq x}k\log p$
  
  dove $k$ è l'intero univoco tale che $p^{k}\leq x$ e $x<p^{k+1}$. I valori di $k$ sono dati a OEIS:. Una relazione più diretta è data da
  
      $\psi (x)=\sum _{n=1}^{\infty }\vartheta \left(x^{\frac {1}{n}}\right).$
  
  Notare che quest'ultima somma ha un numero finito ti termini non nulli, come
  
      $\vartheta \left(x^{\frac {1}{n}}\right)=0\quad {\text{for}}\quad n>\log _{2}x\ ={\frac {\log x}{\log 2}}.$
  
  La seconda funzione di Čebyšëv è il logaritmo del minimo comune multiplo degli interi da 1 a $n$.
  
      $\operatorname {lcm} (1,2,\dots ,n)=e^{\psi (n)}.$
  
  I valori di $lcm(1,2,...,n)$ per gli interi variabili $n$ sono dati a OEIS:.
  
  ## Asintoti e limiti
  
  Sono noti i seguenti limiti per la funzione di Čebyšëv: (in queste formule $p_{k}$ è il $k$esimo numero primo $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{per }}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{per }}k\geq 198,\\[8px]|\vartheta (x)-x|&\leq 0,006788{\frac {x}{\ln x}}&&{\text{per }}x\geq 10\,544\,111,\\[8px]|\psi (x)-x|&\leq 0,006409{\frac {x}{\ln x}}&&{\text{per }}x\geq e^{22},\\[8px]0,9999{\sqrt {x}}&<\psi (x)-\vartheta (x)<1,00007{\sqrt {x}}+1.78{\sqrt[{3}]{x}}&&{\text{per }}x\geq 121.\end{aligned}}$
  
  Inoltre, sotto l'ipotesi di 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}}$
  
  per ogni $\varepsilon >0$
  
  I limiti superiori esistono per entrambe $\vartheta (x)$ e $\psi (x)$ tali che,
  
      ${\begin{aligned}\vartheta (x)&<1,000028x\\\psi (x)&<1,03883x\end{aligned}}$
  
  per ogni $x>0$.
  
  Una spiegazione della costante 1,03883 è data a OEIS:.
  
  ## La formula esatta
  
  Nel 1895, Hans Carl Friedrich von Mangoldt provò una formula esplicita per $\psi (x)$ come una somma degli zeri non banali della funzione zeta di Riemann:
  
      $\psi _{0}(x)=x-\sum _{\rho }{\frac {x^{\rho }}{\rho }}-{\frac {\zeta '(0)}{\zeta (0)}}-{\tfrac {1}{2}}\log(1-x^{-2}).$
  
  (Il valore numerico di ${\frac {\zeta '(0)}{\zeta (0)}}$ è $log(2\pi )$.) Qui $p$ assume i valori degli zeri non banali della funzione zeta di Riemann, e $\psi _{0}$ è la stessa $\psi$, eccetto che i suoi salti di discontinuità (le potenze dei primi) assumono il valore a metà tra i varoi di sinistra e di destra:
  
      $\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{altrimenti.}}\end{cases}}$
  
  Dalla serie di Taylor per il logaritmo, l'ultimo termine nella formula esplicita può essere inteso come una sommatoria di ${\frac {x^{\omega }}{\omega }}$ degli zeri non banali della funzione zeta di Riemann, $\omega$ = −2, −4, −6, ..., cioè
  
      $\sum _{k=1}^{\infty }{\frac {x^{-2k}}{-2k}}={\tfrac {1}{2}}\log \left(1-x^{-2}\right).$
  
  corrisponde al polo semplice della funzione zeta in 1. Essendo un polo anziché uno zero, rappresenta il segno opposto del termine Similmente, il primo termine, $x={\frac {x^{1}}{1}}$, corrisponde al polo semplice della funzione zeta in 1. Essendo un polo anziché uno zero, rappresenta il segno opposto del termine
  
  ## Proprietà
  
  Un teorema dovuto a Erhard Schmidt afferma che, per alcune costanti positive esplicite $k$, ci sono infiniti numeri naturali $x$ tali che
  
      $\psi (x)-x<-K{\sqrt {x}}$
  
  e infiniti numeri naturali $x$ tali che
  
      $\psi (x)-x>K{\sqrt {x}}.$
  
  In notazione $o$-piccolo, si potrebbe scrivere quanto sopra come
  
      $\psi (x)-x\neq o\left({\sqrt {x}}\right).$
  
  Hardy e Littlewood dimostrarono, che
  
      $\psi (x)-x\neq o\left({\sqrt {x}}\log \log \log x\right).$
  
  ## Relazioni al primoriale
  
  La prima funzione di Čebyšëv è il logaritmo di primoriale di $x$, indicato come $x\#$:
  
      $\vartheta (x)=\sum _{p\leq x}\log p=\log \prod _{p\leq x}p=\log \left(x\#\right).$
  
  Questo prova che il primorile $x\#$ è asintoticamente uguale a $e^{(1+o(1))x}$, dove "$o$" è la notazione $o$-piccolo (vedi notazione $o$-piccolo) e insieme al teorema dei numeri primi determina il comportamento asintotico di $p_{n}\#$.
  
  ## Relazione alla funzione enumerativa dei numeri primi
  
  La funzione di Čebyšëv può essere messa in relazione alla funzione enumerativa dei numeri primi come segue. Definiamo
  
      $\Pi (x)=\sum _{n\leq x}{\frac {\Lambda (n)}{\log n}}.$
  
  Quindi
  
      $\Pi (x)=\sum _{n\leq x}\Lambda (n)\int _{n}^{x}{\frac {dt}{t\log ^{2}t}}+{\frac {1}{\log x}}\sum _{n\leq x}\Lambda (n)=\int _{2}^{x}{\frac {\psi (t)\,dt}{t\log ^{2}t}}+{\frac {\psi (x)}{\log x}}.$
  
  La transizione da $\Pi$ alla funzione enumerativa dei numeri primi, $\pi$, è data dall'equazione
  
      $\Pi (x)=\pi (x)+{\tfrac {1}{2}}\pi \left({\sqrt {x}}\right)+{\tfrac {1}{3}}\pi \left({\sqrt[{3}]{x}}\right)+\cdots$
  
  Sicuramente $\pi (x)\leq x$, quindi, per motivi di approssimazione, quest'ultima relazione può essere riformulata come
  
      $\pi (x)=\Pi (x)+O\left({\sqrt {x}}\right).$
  
  ## L'ipotesi di Riemann
  
  L'ipotesi di Riemann afferma che tutti gli zeri non banali della funzione zeta hanno come parte reale 1/2. In questo caso, $|z^{p}|={\sqrt {x}}$, e può essere dimostrato che
  
      $\sum _{\rho }{\frac {x^{\rho }}{\rho }}=O\left({\sqrt {x}}\log ^{2}x\right).$
  
  Quanto sopra, implica che
  
      $\pi (x)=\operatorname {li} (x)+O\left({\sqrt {x}}\log x\right).$
  
  Una buona prova che l'ipotesi potrebbe essere vera viene dal fatto proposto da Alain Connes e altri, che se differenziamo la formula di von Mangoldt rispetto a $x$ otteniamo $x=e^{u}$ . Manipolandola, otteniamo la formula di traccia per l'esponenziale dell'operatore hamiltoniano che soddisfa
  
      $\left.\zeta \left({\tfrac {1}{2}}+i{\hat {H}}\right)\right|n\geq \zeta \left({\tfrac {1}{2}}+iE_{n}\right)=0,$
  
  e
  
      $\sum _{n}e^{iuE_{n}}=Z(u)=e^{\frac {u}{2}}-e^{-{\frac {u}{2}}}{\frac {d\psi _{0}}{du}}-{\frac {e^{\frac {u}{2}}}{e^{3u}-e^{u}}}=\operatorname {Tr} \left(e^{iu{\hat {H}}}\right),$
  
  dove la somma trigonometrica può essere considerata la traccia dell'operatore (meccanica statistica) $e^{iu{\hat {H}}}$, che è vero solo se $p={\frac {1}{2}}+iE(n)$.
  
  Usando l'approccio semiclassico il potenziale di $H=T+V$ soddisfa:
  
      ${\frac {Z(u)u^{\frac {1}{2}}}{\sqrt {\pi }}}\sim \int _{-\infty }^{\infty }e^{i\left(uV(x)+{\frac {\pi }{4}}\right)}\,dx$
  
  con $Z(u)\to 0$ come $u\to \infty$.
  
  soluzione a questa equazione integrale non lineare può essere ottenuta (tra gli altri) come
  
      $V^{-1}(x)\approx {\sqrt {4\pi }}\cdot {\frac {d^{\frac {1}{2}}}{dx^{\frac {1}{2}}}}N(x)$
  
  per ottenere l'inverso del potenziale:
  
      $\pi N(E)=\operatorname {Arg} \xi \left({\tfrac {1}{2}}+iE\right).$
  
  ## Funzione liscia
  
  La funzione liscia è definita come
  
      $\psi _{1}(x)=\int _{0}^{x}\psi (t)\,dt.$
  
  Può essere dimostrato che
  
      $\psi _{1}(x)\sim {\frac {x^{2}}{2}}.$
  
  ## Varianti della formula
  
  La funzione Čebyšëv valutata in $x=e^{t}$ minimizza la funzionalità
  
      $J[f]=\int _{0}^{\infty }{\frac {f(s)\zeta '(s+c)}{\zeta (s+c)(s+c)}}\,ds-\int _{0}^{\infty }\!\!\!\int _{0}^{\infty }e^{-st}f(s)f(t)\,ds\,dt,$
  
  quindi
  
      $f(t)=\psi \left(e^{t}\right)e^{-ct}\quad {\text{per }}c>0.$
  