Riesz gjennomsnitt
I matematikk er Riesz betyr bestemte midler for begrepene i en serie . De ble introdusert av Marcel Riesz i 1911 som en forbedring i forhold til Cesàros gjennomsnitt . Riesz-gjennomsnittene bør ikke forveksles med Bochner-Riesz (en) og heller ikke med de sterke gjennomsnittene til Riesz.
Definisjon
Riesz-gjennomsnittet av en serie generelle termer er definert av:
sikke{\ displaystyle s_ {n}}
sδ(λ)=∑ikke≤λ(1-ikkeλ)δsikke{\ displaystyle s ^ {\ delta} (\ lambda) = \ sum _ {n \ leq \ lambda} \ left (1 - {\ frac {n} {\ lambda}} \ right) ^ {\ delta} s_ { ikke}}og dets generaliserte Riesz-middel er definert av:
Rikke=1λikke∑k=0ikke(λk-λk-1)δsk,{\ displaystyle R_ {n} = {\ frac {1} {\ lambda _ {n}}} \ sum _ {k = 0} ^ {n} (\ lambda _ {k} - \ lambda _ {k-1 }) ^ {\ delta} s_ {k},}hvor er en vilkårlig sekvens slik at og når .
(λikke) {\ displaystyle (\ lambda _ {n}) ~}λikke→∞{\ displaystyle \ lambda _ {n} \ to \ infty}λikke+1/λikke→1{\ displaystyle \ lambda _ {n + 1} / \ lambda _ {n} \ til 1}ikke→∞{\ displaystyle n \ to \ infty}
Riesz-midler brukes ofte til å utforske summen av serier; de vanlige summabilitetssetningene behandler saken om . Vanligvis er en serie summerbar når grensen eksisterer, eller grensen eksisterer, men de nøyaktige summabilitetsteoriene det er snakk om, stiller ofte ytterligere betingelser.
Sikke=∑k=0ikkesikke{\ displaystyle S_ {n} = \ sum _ {k = 0} ^ {n} s_ {n}}limikke→∞Rikke{\ displaystyle \ lim _ {n \ to \ infty} R_ {n}}limδ→1,λ→∞sδ(λ){\ displaystyle \ lim _ {\ delta \ to 1, \ lambda \ to \ infty} s ^ {\ delta} (\ lambda)}
Spesielle tilfeller
Enten hva som helst . Så
sikke=1{\ displaystyle s_ {n} = 1}ikke{\ displaystyle n}
∑ikke≤λ(1-ikkeλ)δ=12πJeg∫vs.-Jeg∞vs.+Jeg∞Γ(1+δ)Γ(s)Γ(1+δ+s)ζ(s)λs ds=λ1+δ+∑ikkebikkeλ-ikke.{\ displaystyle \ sum _ {n \ leq \ lambda} \ left (1 - {\ frac {n} {\ lambda}} \ right) ^ {\ delta} = {\ frac {1} {2 \ pi i} } \ int _ {ci \ infty} ^ {c + i \ infty} {\ frac {\ Gamma (1+ \ delta) \ Gamma (s)} {\ Gamma (1+ \ delta + s)}} \ zeta (s) \ lambda ^ {s} ~ \ mathrm {d} s = {\ frac {\ lambda} {1+ \ delta}} + \ sum _ {n} b_ {n} \ lambda ^ {- n}. }Her må vi ta ; er gamma-funksjonen og er Riemann zeta-funksjonen . Vi kan vise at maktserien konvergerer for . Legg merke til at integralet er i form av en invers Mellin- transformasjon.
vs.>1{\ displaystyle c> 1}Γ{\ displaystyle \ Gamma}ζ{\ displaystyle \ zeta}∑ikkebikkeλ-ikke{\ displaystyle \ sum _ {n} b_ {n} \ lambda ^ {- n}}λ>1{\ displaystyle \ lambda> 1}
En annen interessant sak relatert til tallteori oppstår ved å ta hvor er von Mangoldt-funksjonen . Så
sikke=Λ(ikke){\ displaystyle s_ {n} = \ Lambda (n)}Λ(ikke){\ displaystyle \ Lambda (n)}
∑ikke≤λ(1-ikkeλ)δΛ(ikke)=-12πJeg∫vs.-Jeg∞vs.+Jeg∞Γ(1+δ)Γ(s)Γ(1+δ+s)ζ′(s)ζ(s)λs ds=λ1+δ+∑ρΓ(1+δ)Γ(ρ)Γ(1+δ+ρ)+∑ikkevs.ikkeλ-ikke.{\ displaystyle \ sum _ {n \ leq \ lambda} \ left (1 - {\ frac {n} {\ lambda}} \ right) ^ {\ delta} \ Lambda (n) = - {\ frac {1} {2 \ pi i}} \ int _ {ci \ infty} ^ {c + i \ infty} {\ frac {\ Gamma (1+ \ delta) \ Gamma (s)} {\ Gamma (1+ \ delta + s)}} {\ frac {\ zeta ^ {\ prime} (s)} {\ zeta (s)}} \ lambda ^ {s} ~ \ mathrm {d} s = {\ frac {\ lambda} {1 + \ delta}} + \ sum _ {\ rho} {\ frac {\ Gamma (1+ \ delta) \ Gamma (\ rho)} {\ Gamma (1+ \ delta + \ rho)}} + \ sum _ {n} c_ {n} \ lambda ^ {- n}.}Igjen, vi må ta . Summen over er summen over nullene til Riemann zeta-funksjonen, og konvergerer for .
vs.>1{\ displaystyle c> 1}ρ{\ displaystyle \ rho}∑ikkevs.ikkeλ-ikke{\ displaystyle \ sum _ {n} c_ {n} \ lambda ^ {- n}}λ>1{\ displaystyle \ lambda> 1}
Integralene som vises her ligner på Nörlund-Rice-integralen ; veldig grovt kan de relateres til denne integralen med Perrons formel .
Referanser
-
M. Riesz, " En summeringsmetode som tilsvarer metoden for aritmetiske midler ", i CRAS , vol. 152, 1911, s. 1651-1654
-
(i) GH Hardy og JE Littlewood , " Bidrag til teorien om Riemann Zeta-funksjon og teorien om fordelingen av bonuser ," Acta , vol. 41, 1916, s. 119-196
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">