Cauchyjev korjeni test

U matematici, Cauchyjev korjeni test je test (kriterij) za određivanje konvergencije (test konvergencije) beskonačnih redova

\sum _{n=1}^{\infty }a_{n}.

Posebno je koristan kod potencijalnih redova.

Test

Korjeni test prvi je razvio Augustin Louis Cauchy, po kome je test i nazvan. Korjeni test koristi broj

C=\limsup _{n\rightarrow \infty }{\sqrt[{n}]{|a_{n}|}},

gdje "lim sup" označava limes superiot, sa mogućnom vrijednost od ∞.

Korjeni test kaže da:

ako je C < 1, tada red konvergira apsolutno, a
ako je C > 1, tada red divergira.

(Ako je C = 1, test je neodlučan. Postoje neki redovi kod kojih za C = 1 red konvergira, npr. $\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}$ , ali postoje i redvi koji za C = 1 adivergiraju, npr. $\sum _{n=1}^{\infty }{\frac {1}{n}}$ .)

Primjena kod potencijalnih redova

Ovaj test se može primijenjivati kod potencijalnih redova

f(z)=\sum _{n=0}^{\infty }c_{n}(z-p)^{n}

gdje su koeficijenti c_n i centar p kompleksni brojsevi, a argument z je kompleksna varijabla.

Članovi reda bi tada biti dati kao a_n = c_n(z − p)ⁿ. Tada se primijeni korjeni test na a_n, kao što je pokazano na početku članka. Važno je primijetiti da se red kao što je ovaj ponekad naziva potencijalni red "oko p", jer je radijus konvergencije je radijus R najvećeg intervala ili diska centriranog u p tako da red konvergira za sve tačke z striktno unutar granica intervala (konvergencija na granicama intervalaili diska mora seprovjeriti odvojeno). Korolarija teoreme korjenog testa primijenjenog na ovakav potencijalni red je da je radijus konvergencije tačno $R=1/\limsup _{n\rightarrow \infty }{\sqrt[{n}]{|c_{n}|}}$ .

Dokaz

Dokaz konvergentnosti reda Σa_n je primjena testa poređenja. Ako za sve n ≥ N (N neki fiskan prirodni broj) imamo ${\sqrt[{n}]{a_{n}}}<k<1,$ tada je $a_{n}<k^{n}<1.$ Pošto geometrijski red $\sum _{n=N}^{\infty }k^{n}$ konvergira, konvergira i red $\sum _{n=N}^{\infty }a_{n}$ , prema testu poređenja. Apsolutna konvergencija u slučaju nepozitivnog a_n može se dokazati na potpuno isti način koristeći ${\sqrt[{n}]{|a_{n}|}}.$

Ako vrijedi ${\sqrt[{n}]{|a_{n}|}}>1$ za beskonačno mnogo n, tada a_n ne konvergira u 0, pa je red divergentan.

Dokaz korolarije:

Za potencijalni red Σa_n = Σc_n(z − p)ⁿ, vidimo, iz prethodno izloženog, da red konvergira ako postoji N takav da za sve n ≥ N imamo

{\sqrt[{n}]{|a_{n}|}}={\sqrt[{n}]{|c_{n}(z-p)^{n}|}}<1,

ekvivalentno sa

{\sqrt[{n}]{|c_{n}|}}\cdot |z-p|<1

za sve n ≥ N, što implicira da, kako bi red konvergirao, moramo imati $|z-p|<1/{\sqrt[{n}]{|c_{n}|}}$ za sve dovoljno velike brojeve n. Ovo je ekvivalentno iskazu

|z-p|<1/\limsup _{n\rightarrow \infty }{\sqrt[{n}]{|c_{n}|}},

tako da brijedi $R\geq 1/\limsup _{n\rightarrow \infty }{\sqrt[{n}]{|c_{n}|}}$ . Sada jedino mjesto na kojem je konvergencija moguća je kada imamo

{\sqrt[{n}]{|a_{n}|}}={\sqrt[{n}]{|c_{n}(z-p)^{n}|}}=1,

(pošto tačke > 1 divergiraju), a ovo neće promijeniti radijus konvergencije pošto su to samo tačke koje leže na granicama intervala ili diska, tako da vrijedi

R=1/\limsup _{n\rightarrow \infty }{\sqrt[{n}]{|c_{n}|}}.

Također pogledajte

Reference

Knopp, Konrad (1956). "§ 3.2". Infinite Sequences and Series. Dover publications, Inc., New York. ISBN 0-486-60153-6.
Whittaker, E. T., and Watson, G. N. (1963). "§ 2.35". A Course in Modern Analysis (fourth edition izd.). Cambridge University Press. ISBN 0-521-58807-3. |edition= sadrži dodatni tekst (pomoć)CS1 održavanje: više imena: authors list (link)

Ovaj članak sadrži materijal o dokazu Cauchyjevog kojenog testa sa PlanetMath-a, koji je licenciran po GFDL-u.