Serie di Dirichlet

In matematica, una serie di Dirichlet è una qualunque serie della forma

${\displaystyle \sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}},}$

dove s e i coefficienti a_n sono numeri complessi.

La serie di Dirichlet riveste un ruolo importante in teoria dei numeri analitica. La funzione zeta di Riemann può essere scritta come serie di Dirichlet nel semipiano Re(s) > 1, così come le funzioni L di Dirichlet. Le serie di Dirichlet prendono il nome dal matematico tedesco Johann P. G. L. Dirichlet.

Esempi

La più nota fra le serie di Dirichlet è

${\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}},}$

a partire dalla quale si definisce la funzione zeta di Riemann. Un'altra è:

${\displaystyle {\frac {1}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {\mu (n)}{n^{s}}}}$

dove μ(n) è la funzione di Möbius. Questa e molte altre delle serie seguenti possono essere ricavate applicando la formula di inversione di Möbius e la convoluzione di Dirichlet alle serie note. Ad esempio, dato un carattere di Dirichlet ${\displaystyle \scriptstyle \chi (n)}$ si ha

${\displaystyle {\frac {1}{L(\chi ,s)}}=\sum _{n=1}^{\infty }{\frac {\mu (n)\chi (n)}{n^{s}}}}$

dove ${\displaystyle L(\chi ,s)}$ è una funzione L di Dirichlet.

Altre identità includono

${\displaystyle {\frac {\zeta (s-1)}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {\varphi (n)}{n^{s}}}}$

dove φ(n) è la funzione φ di Eulero, e

${\displaystyle \zeta (s)\zeta (s-a)=\sum _{n=1}^{\infty }{\frac {\sigma _{a}(n)}{n^{s}}}}$

${\displaystyle {\frac {\zeta (s)\zeta (s-a)\zeta (s-b)\zeta (s-a-b)}{\zeta (2s-a-b)}}=\sum _{n=1}^{\infty }{\frac {\sigma _{a}(n)\sigma _{b}(n)}{n^{s}}}}$

dove σ_a(n) è la funzione divisore. Altre identità che coinvolgono la funzione divisore d=σ₀ sono

${\displaystyle {\frac {\zeta ^{3}(s)}{\zeta (2s)}}=\sum _{n=1}^{\infty }{\frac {d(n^{2})}{n^{s}}}}$

${\displaystyle {\frac {\zeta ^{4}(s)}{\zeta (2s)}}=\sum _{n=1}^{\infty }{\frac {d(n)^{2}}{n^{s}}}.}$

Il logaritmo della funzione zeta è dato da

${\displaystyle \log \zeta (s)=\sum _{n=2}^{\infty }{\frac {\Lambda (n)}{\log(n)}}\,{\frac {1}{n^{s}}}}$

per Re(s) > 1. Qui, ${\displaystyle \scriptstyle \Lambda (n)}$ è la funzione di von Mangoldt. Quindi la derivata logaritmica è

${\displaystyle {\frac {\zeta ^{\prime }(s)}{\zeta (s)}}=-\sum _{n=1}^{\infty }{\frac {\Lambda (n)}{n^{s}}}.}$

Queste ultime due sono casi particolari di una relazione più generale per le derivate della serie di Dirichlet, riportata di seguito.

Sia ${\displaystyle \scriptstyle \lambda (n)}$ la funzione di Liouville, si ha

${\displaystyle {\frac {\zeta (2s)}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {\lambda (n)}{n^{s}}}.}$

Un ulteriore esempio coinvolge la somma di Ramanujan:

${\displaystyle {\frac {\sigma _{1-s}(m)}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {c_{n}(m)}{n^{s}}}.}$

Proprietà di base

Ponendo ${\displaystyle s=\sigma +it}$ con ${\displaystyle \sigma ,t\in \mathbb {R} }$ una serie di Dirichlet si può decomporre come

${\displaystyle \sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}=\sum _{n=1}^{\infty }{\frac {a_{n}\cos(t\cdot \log(n))}{n^{\sigma }}}-i\sum _{n=1}^{\infty }{\frac {a_{n}\operatorname {sen} (t\cdot \log(n))}{n^{\sigma }}}.}$

In particolare, se i coefficienti ${\displaystyle a_{n}}$ sono reali, tale formula divide la serie di Dirichlet nella sua parte reale e immaginaria.

Proprietà analitiche della serie di Dirichlet: ascissa di convergenza

Data una sequenza {a_n}_{n ∈ N} di numeri complessi si consideri il valore di

${\displaystyle f(s)=\sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}}$

come funzione della variabile complessa s. Per far sì che ciò abbia senso, è necessario considerare le proprietà di convergenza della serie infinita di cui sopra:

Se {a_n}_{n ∈ N} è una sequenza limitata di numeri complessi, allora la serie di Dirichlet corrispondente f converge assolutamente sul semipiano aperto di s tale che Re(s) > 1. In generale, se a_n = O(n^k), la serie converge assolutamente nel semipiano Re(s) > k + 1.

Se il set di somme a_n + a_{n + 1} + ... + a_{n + k} è limitato per n e k ≥ 0, allora la serie infinita di cui sopra converge nel semipiano aperto di s tanele che Re(s) > 0.

In entrambi i casi f è una funzione analitica sul rispettivo semipiano aperto.

In generale, l'ascissa di convergenza di una serie di Dirichlet è l'intercetta sull'asse reale della linea verticale sul piano complesso, tale da avere convergenza a destra di essa, e divergenza alla sua sinistra. Questo concetto è analogo a quello di raggio di convergenza per le serie di potenze. Il caso della serie di Dirichlet è tuttavia più complicato, sebbene convergenza assoluta e convergenza uniforme possono verificarsi nei distinti semipiani.

In molti casi, la funzione analitica associata ad una serie di Dirichlet ha un'estensione analitica su un dominio più ampio.

Derivate

Dato

${\displaystyle F(s)=\sum _{n=1}^{\infty }{\frac {f(n)}{n^{s}}}}$

per una funzione completamente moltiplicativa ƒ(n), e assumendo che la serie converga per Re(s) > σ₀, allora si ha che

${\displaystyle {\frac {F^{\prime }(s)}{F(s)}}=-\sum _{n=1}^{\infty }{\frac {f(n)\Lambda (n)}{n^{s}}}}$

converge per Re(s) > σ₀. Qui, ${\displaystyle \scriptstyle \Lambda (n)}$ è la funzione di von Mangoldt.

Prodotti

Si supponga

${\displaystyle F(s)=\sum _{n=1}^{\infty }f(n)n^{-s}}$

e

${\displaystyle G(s)=\sum _{n=1}^{\infty }g(n)n^{-s}.}$

Se sia F(s) che G(s) sono assolutamente convergenti per s > a e s > b allora si ha

${\displaystyle {\frac {1}{2T}}\int _{-T}^{T}\,dtF(a+it)G(b-it)\,dt=\sum _{n=1}^{\infty }f(n)g(n)n^{-a-b}{\text{ per }}T\sim \infty .}$

Se a = b e ƒ(n) = g(n) si ha

${\displaystyle {\frac {1}{2T}}\int _{-T}^{T}dt|F(a+it)|^{2}dt=\sum _{n=1}^{\infty }[f(n)]^{2}n^{-2a}{\text{ per }}T\sim \infty .}$

Trasformate integrali

La trasformata di Mellin di una serie di Dirichlet è data dalla formula di Perron.

Bibliografia

• Tom Apostol, Introduction to analytic number theory, Springer-Verlag, New York, 1976.
• G. H. Hardy, and Marcel Riesz, The general theory of Dirichlet's series, Cambridge Tracts in Mathematics, No. 18 (Cambridge University Press, 1915).

Voci correlate

• Classe di Selberg
• Funzione zeta di Riemann
• Funzione L di Dirichlet
• Prodotto di Eulero

Altri progetti

• Wikimedia Commons contiene immagini o altri file su serie di Dirichlet

Collegamenti esterni

• Dirichlet, serie di, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) Dirichlet series, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Eric W. Weisstein, Serie di Dirichlet, su MathWorld, Wolfram Research.
• (EN) The general theory of Dirichlet's series by G. H. Hardy. Cornell University Library Historical Math Monographs. {Reprinted by} Cornell University Library Digital Collections
• (EN) Dirichlet series, in PlanetMath.

V · D · M Successioni e Serie
Successioni di interi	Base Progressione aritmetica · Progressione geometrica · Progressione armonica · Progressione aritmetica · Numeri quadrati · Numeri cubici · Fattoriale · Potenze di 2 · Potenze di 3 · Potenze di 10 Avanzate Successione completa · Numeri di Fibonacci · Numeri figurati · Numeri ettagonali · Numeri esagonali · Numeri di Lucas · Numeri di Pell · Numeri pentagonali · Numero poligonale · Numero triangolare
Proprietà delle successioni	Successione di Cauchy · Successione monotona · Successione alternata
Proprietà delle serie	Tendenza Serie alternata · Serie convergente · Serie divergente · Serie telescopica Convergenza Convergenza incondizionata · Convergenza assoluta · Convergenza uniforme
Serie esplicite	Convergenti 1/2 − 1/4 + 1/8 − 1/16 + ⋯ · 1/2 + 1/4 + 1/8 + 1/16 + ⋯ · 1/4 + 1/16 + 1/64 + 1/256 + ⋯ · 1 + 1/2s+ 1/3s + ... (Riemann zeta) Divergenti 1 + 1 + 1 + 1 + ⋯ · 1 + 2 + 3 + 4 + ⋯ · 1 + 2 + 4 + 8 + ⋯ · 1 − 1 + 1 − 1 + ⋯ (Grandi) · a1 + (a1+d) + ⋯ · 1 − 2 + 3 − 4 + ⋯ · 1 − 2 + 4 − 8 + ⋯ · 1 + 1/2 + 1/3 + 1/4 + ⋯ (armonica) · 1 − 1 + 2 − 6 + 24 − 120 + ⋯ (fattoriale alternata) · 1/2 + 1/3 + 1/5 + 1/7 + 1/11 + ⋯ (inversi dei primi)
Tipi di serie	Serie di Taylor · Serie di potenze · Serie formale di potenze · Serie di Laurent · Serie di Puiseux · Serie di Dirichlet · Serie trigonometrica · Serie di Fourier · Serie generatrice
Serie Ipergeometrica	Serie ipergeometrica generalizzata · Funzione ipergeometrica di un argomento di matrice · Serie di Lauricella · Serie modulare · Serie ipergeometrica confluente · Serie theta

Controllo di autorità	Thesaurus BNCF 38241 · LCCN (EN) sh85120239 · GND (DE) 4150139-1 · BNE (ES) XX544978 (data) · BNF (FR) cb122854869 (data) · J9U (EN, HE) 987007531747605171 · NDL (EN, JA) 00561503