Formula di sommatoria di Abele
In matematica , la formula di sommatoria di Abel , dal nome del suo autore Niels Henrik Abel , è una formula ampiamente utilizzata nella teoria analitica dei numeri . Viene utilizzato per calcolare le serie numeriche .
stati
Sia una sequenza di numeri reali o complessi e una funzione reale o complessa di classe C 1 .
(anon)non∈NON∗{\ displaystyle (a_ {n}) _ {n \ in \ mathbb {N} ^ {*}}}
φ{\ displaystyle \ varphi}![\ varphi](https://wikimedia.org/api/rest_v1/media/math/render/svg/33ee699558d09cf9d653f6351f9fda0b2f4aaa3e)
Ci mettiamo in posa
A(X)=∑1≤non≤Xanon.{\ displaystyle A (x) = \ sum _ {1 \ leq n \ leq x} {a_ {n}}.}
Quindi, per tutti i veri x ,
∑1≤non≤Xanonφ(non)=A(X)φ(X)-∫1XA(u)φ′(u)du{\ Displaystyle \ sum _ {1 \ leq n \ leq x} a_ {n} \ varphi (n) = A (x) \ varphi (x) - \ int _ {1} ^ {x} A (u) \ varphi '(u) \, \ mathrm {d} u}![{\ Displaystyle \ sum _ {1 \ leq n \ leq x} a_ {n} \ varphi (n) = A (x) \ varphi (x) - \ int _ {1} ^ {x} A (u) \ varphi '(u) \, \ mathrm {d} u}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c282d45ba7a6347300498dacca0e371f232257bb)
.
Dimostrazione
È un'integrazione per parti in un integrale di Stieltjes , ma questo caso particolare può essere dimostrato direttamente.
La funzione A è zero su ] –∞, 1 [ quindi se x <1 , l'equazione si riduce a 0 = 0.
Supponiamo ora x ≥ 1 e denota con N ≥ 1 la sua parte intera (quindi A ( x ) = A ( N ) ). La formula della somma per parti dà:
∑1≤non≤Xanonφ(non)-A(X)φ(X)=A(NON)φ(NON)-∑non=1NON-1A(non)(φ(non+1)-φ(non))-A(X)φ(X)=-∑non=1NON-1A(non)(φ(non+1)-φ(non)))-A(NON)(φ(X)-φ(NON))=-∑non=1NON-1∫nonnon+1A(u)φ′(u)du-∫NONXA(u)φ′(u)du=-∫1XA(u)φ′(u)du.{\ Displaystyle {\ begin {align} \ sum _ {1 \ leq n \ leq x} {a_ {n} \ varphi (n)} - A (x) \ varphi (x) & = A (N) \ varphi (N) - \ sum _ {n = 1} ^ {N-1} A (n) {\ big (} \ varphi (n + 1) - \ varphi (n) {\ big)} - A (x) \ varphi (x) \\ & = - \ sum _ {n = 1} ^ {N-1} A (n) {\ big (} \ varphi (n + 1) - \ varphi (n)) {\ big )} - A (N) {\ big (} \ varphi (x) - \ varphi (N) {\ big)} \\ & = - \ sum _ {n = 1} ^ {N-1} \ int _ {n} ^ {n + 1} A (u) \ varphi '(u) \ mathrm {d} u- \ int _ {N} ^ {x} A (u) \ varphi' (u) \, \ mathrm {d} u \\ & = - \ int _ {1} ^ {x} A (u) \ varphi '(u) \ mathrm {d} u. \ end {allineato}}}
Esempi
Costante di Eulero-Mascheroni
Per e , annotando la parte intera di x , troviamo (per ogni x reale ≥ 1, o anche x > 0):
anon=1{\ displaystyle a_ {n} = 1}
φ(u)=1/u{\ displaystyle \ varphi (u) = 1 / u}
⌊X⌋{\ displaystyle \ lfloor x \ rfloor}![\ lfloor x \ rfloor](https://wikimedia.org/api/rest_v1/media/math/render/svg/738c94c88678dd08a289f90a47a609ce44eedf14)
∑1≤non≤X1non=⌊X⌋X+∫1X⌊u⌋u2du{\ displaystyle \ sum _ {1 \ leq n \ leq x} {\ frac {1} {n}} = {\ frac {\ lfloor x \ rfloor} {x}} + \ int _ {1} ^ {x } {{\ frac {\ lfloor u \ rfloor} {u ^ {2}}} \ mathrm {d} u}}
da cui si deduce un'espressione integrale della costante di Eulero-Mascheroni :
γ=1-∫1∞ X-E(X)X2dX{\ displaystyle \ gamma = 1- \ int _ {1} ^ {\ infty} \ {\ frac {xE (x)} {x ^ {2}}} \, {\ rm {d}} x}
(dove E è la funzione intera ).
Serie di Dirichlet
Per qualsiasi serie classica di
Dirichlet
f(S)=∑non=1+∞anonnonS{\ displaystyle f (s) = \ sum _ {n = 1} ^ {+ \ infty} {\ frac {a_ {n}} {n ^ {s}}}}![{\ displaystyle f (s) = \ sum _ {n = 1} ^ {+ \ infty} {\ frac {a_ {n}} {n ^ {s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2443aa2edc225b0f3786831c7558c34782193b7)
,
La formula di sommatoria di Abele, applicata a , mostra che per qualsiasi numero complesso s con una parte reale strettamente maggiore di 0 e l' ascissa di convergenza della serie:
φ(u)=u-S{\ Displaystyle \ varphi (u) = u ^ {- s}}![{\ Displaystyle \ varphi (u) = u ^ {- s}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f1667f17cb921f0805a1d0d1cfc3e85b4262698)
f(S)=S∫1∞A(u)u1+Sdu{\ displaystyle f (s) = s \ int _ {1} ^ {\ infty} {\ frac {A (u)} {u ^ {1 + s}}} \ mathrm {d} u}![{\ displaystyle f (s) = s \ int _ {1} ^ {\ infty} {\ frac {A (u)} {u ^ {1 + s}}} \ mathrm {d} u}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ecf592545196cd2446ad62597006a4b399498c9a)
.
Di seguito sono riportati due esempi. Un altro può essere trovato nell'articolo " La funzione di Von Mangoldt ".
Funzione zeta di Riemann
Per otteniamo:
anon=1{\ displaystyle a_ {n} = 1}![a_ {n} = 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/78a4b76527ad3c83b5ce1c7b42269408116e0728)
∑1∞1nonS=S∫1∞⌊u⌋u1+Sdu{\ displaystyle \ sum _ {1} ^ {\ infty} {\ frac {1} {n ^ {s}}} = s \ int _ {1} ^ {\ infty} {\ frac {\ lfloor u \ rfloor } {u ^ {1 + s}}} \, \ mathrm {d} u}![{\ displaystyle \ sum _ {1} ^ {\ infty} {\ frac {1} {n ^ {s}}} = s \ int _ {1} ^ {\ infty} {\ frac {\ lfloor u \ rfloor } {u ^ {1 + s}}} \, \ mathrm {d} u}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7c5044561fe648414a2ab973a72398e4e7e22a5)
.
Questa formula è valida per Re ( s ) > 1. Si deduce in particolare il teorema di Dirichlet secondo cui la funzione zeta di Riemann ζ ( s ) ammette un polo semplice di residuo 1 in s = 1.
Inversa della funzione zeta di Riemann
Per (la funzione Möbius ):
anon=μ(non){\ displaystyle a_ {n} = \ mu (n)}![{\ displaystyle a_ {n} = \ mu (n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc10b1616eb607cafe327fc888d0c076b0bd1dc1)
∑1∞μ(non)nonS=S∫1∞M(u)u1+Sdu{\ displaystyle \ sum _ {1} ^ {\ infty} {\ frac {\ mu (n)} {n ^ {s}}} = s \ int _ {1} ^ {\ infty} {{\ frac { M (u)} {u ^ {1 + s}}} \, \ mathrm {d} u}}![{\ displaystyle \ sum _ {1} ^ {\ infty} {\ frac {\ mu (n)} {n ^ {s}}} = s \ int _ {1} ^ {\ infty} {{\ frac { M (u)} {u ^ {1 + s}}} \, \ mathrm {d} u}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9197706a6dbc70aa51f0a27ffce1e61a0f22815)
.
Questa formula è valida per Re ( s )> 1. Il simbolo M designa la funzione di Mertens , definita da
M(u)=∑1≤non≤uμ(non){\ displaystyle M (u) = \ sum _ {1 \ leq n \ leq u} {\ mu (n)}}![{\ displaystyle M (u) = \ sum _ {1 \ leq n \ leq u} {\ mu (n)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93c6fcd33aa73b1b797207eeec8f932e1b4e51d9)
.
Nota
-
Questo è un caso particolare di una proprietà della serie generale di Dirichlet che è dimostrato nello stesso modo.
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">