En alternerende serie er en matematisk serie , hvis medlemmer skiftevis påtager sig værdierne af modsatte fortegn, det vil sige:
.Leibniz-testen er en test for konvergens af en vekslende serie, etableret af Gottfried Leibniz . Udtalelse af teoremet:
Lad en vekslende serie gives
,for hvilke følgende betingelser er opfyldt:
Så konvergerer denne serie.
Serier, der opfylder Leibniz-testen, kaldes Leibniz-serien . Sådanne serier kan konvergere absolut (hvis rækken konvergerer ), eller de kan konvergere betinget (hvis rækken af moduler divergerer).
Monotonisk henfald er ikke nødvendigt for konvergens af en alternerende serie (mens det er en nødvendig betingelse for konvergens for enhver serie), så selve kriteriet er kun tilstrækkeligt , men ikke nødvendigt (for eksempel konvergerer rækken ). På den anden side er monotont henfald afgørende for at anvende Leibniz-testen; hvis den er fraværende, kan serien divergere, selvom den anden betingelse i Leibniz-testen er opfyldt. Et eksempel på en divergerende alternerende serie med et ikke-monotone fald i termer [1] :
De fordoblede delsummer af denne serie falder sammen med delsummerne for den harmoniske række og vokser derfor i det uendelige.
Overvej to sekvenser af delsummer af serien og .
Den første sekvens falder ikke: ved den første betingelse.
Ved samme betingelse øges den anden sekvens ikke: .
Den anden sekvens majoriserer den første, det vil sige for enhver . Virkelig,
når vi har: når vi har:Derfor konvergerer de begge som monotone afgrænsede sekvenser.
Det er tilbage at bemærke, at: , så de konvergerer til en fælles grænse , som er summen af den originale serie.
Undervejs viste vi, at for enhver delsum af serien , gælder estimatet .
. En række moduler har formen - dette er en harmonisk serie , der divergerer.
Nu bruger vi Leibniz-testen:
Derfor, da alle betingelserne er opfyldt, konvergerer rækken (og betinget, da rækken af moduler divergerer).
En konsekvens følger af Leibniz' sætning, som gør det muligt at estimere fejlen ved beregning af den ufuldstændige sum af en serie ( resten af en serie ):
Resten af den konvergerende alternerende serie vil være modulo mindre end den første kasserede term:
Bevis [2]Sekvensen er monotont stigende, da udtrykket a er ikke-negativt for ethvert heltal . Sekvensen er monotont aftagende, da udtrykket i parentes er ikke-negativt. Som allerede bevist i selve beviset for Leibniz' sætning, har begge disse sekvenser - og - den samme grænse som So opnået og også Derfor og Så, for enhver , hvad der krævedes for at blive bevist.
Skiftende rækker kaldes også nogle gange alternerende [3] , men dette udtryk kan også betyde enhver række, der har et uendeligt antal positive og negative led på samme tid.
Sekvenser og rækker | |
---|---|
Sekvenser | |
Rækker, grundlæggende | |
Talserier ( operationer med talserier ) | |
funktionelle rækker | |
Andre rækketyper |
Tegn på konvergens af serier | ||
---|---|---|
For alle rækker | ||
For tegn-positive serier | ||
Til skiftende serier | Leibniz tegn | |
For rækker af formularen | ||
Til funktionelle serier | ||
Til Fourier-serien |
|