Cauchyovo limitní odmocninové kritérium

Cauchyovo limitní odmocninové kritérium je v matematice kritérium konvergence nekonečné řady. Závisí na hodnotě :\limsup_{n\rightarrow\infty}\sqrt[n]

a_n

, kde a_n jsou členy řady a říká, že řada konverguje absolutně, jestliže tato hodnota je menší než jedna, a diverguje, pokud je větší než jedna. Limitní odmocninové kritérium je obzvláště užitečné pro mocninné řady.

Popis kritéria

Rozhodovací diagram pro Cauchyovo limitní odmocninové kritérium Toto kritérium konvergence řad navrhl Augustin Louis Cauchy a publikoval jej ve své učebnici Cours d'analyse (1821). +more Pro řadu.

:\sum_{n=1}^\infty a_n.

používá Cauchyovo kritérium hodnotu

:C = \limsup_{n\rightarrow\infty}\sqrt[n]

a_n

,

kde „lim sup“ označuje limes superior, případně ∞+. Pokud konverguje výraz

:\lim_{n\rightarrow\infty}\sqrt[n]

a_n

,

pak se rovná C a tato hodnota může být použita jako kritérium konvergence.

Cauchyův kritérium říká, že: * pokud C 1, pak řada diverguje, * pokud C = 1 a limita se blíží striktně shora, pak řada diverguje, * jinak je test nerozhodný (řada může divergovat, konvergovat absolutně nebo konvergovat podmíněně).

Existují řady, pro které C = 1 a řada konverguje, například \textstyle \sum 1/{n^2} a existují jiné, pro které C = 1 a řada diverguje, například \textstyle\sum 1/n.

Aplikace na mocninné řady

Toto kritérium lze používat pro mocninné řady

:f(z) = \sum_{n=0}^\infty c_n (z-p)^n

kde koeficienty cn a střed p jsou komplexní čísla a argument z je komplexní proměnná.

Členy této řady jsou an = cn(z − p)n. Pak lze použít odmocninové kritérium na an, jako je uvedeno výše. +more Pamatujte, že někdy řada jako toto se nazývá mocninná řada "okolo p", protože poloměr konvergence je poloměr R největší interval nebo kruh se středem v p tak, že řada bude konverguje pro všechny body z striktně uvnitř (konvergence na hranici intervalu nebo obecně kruhu musí být zkontrolována odděleně). Důsledek odmocninového kritéria aplikovaný na takovou mocninnou řadu je, že poloměr konvergence je přesně 1/\limsup_{n \rightarrow \infty}{\sqrt[n]

c_n

},, přičemž je ∞, pokud je jmenovatel 0.

Důkaz

Důkaz konvergence řady Σan vychází ze srovnávacího kritéria. Pokud pro všechny n ≥ N (N nějaké pevné přirozené číslo) platí \sqrt[n]

a_n

\le k pak |a_n| \le k^n . +more Protože geometrická řada \sum_{n=N}^\infty k^n konverguje, pak podle srovnávacího kritéria konverguje i \sum_{n=N}^\infty |a_n|. Tedy Σan konverguje absolutně.

Pokud \sqrt[n]

a_n

> 1 pro nekonečně mnoho n, pak an nekonverguje k 0, a tedy řada diverguje.

Důkaz důsledku: U mocninné řady Σan = Σcn(z − p)n jsme výše viděli, že řada konverguje, pokud existuje N takové, že pro všechna n ≥ N je

:\sqrt[n]

a_n

= \sqrt[n][wiki_table=1a38e88f]

což je ekvivalentní s

:\sqrt[n]

c_n

\cdot|z - p|

pro všechna n ≥ N. Z toho plyne, že aby řada konvergovala, musí platit |z - p| pro všechna dostatečně velká n. To je ekvivalentní s

:|z - p|

takže R \le 1/\limsup_{n \rightarrow \infty}{\sqrt[n]

c_n

}. Nyní jediné jiné místo, kde je možná konvergence, je pokud

:\sqrt[n]

a_n

= \sqrt[n][wiki_table=230ba463] = 1,

(protože v bodech, kde > 1 bude řada divergovat), což poloměr konvergence nezmění, protože se jedná pouze o body ležící na hranici intervalu nebo kruhu, takže

:R = 1/\limsup_{n \rightarrow \infty}{\sqrt[n]

c_n

}.

Odkazy

Reference

Související články

Řada (matematika) * Kritéria konvergence řad * D'Alembertovo kritérium * Abelovo kritérium stejnoměrné konvergence

Literatura

Kategorie:Kritéria konvergence Kategorie:Augustin Louis Cauchy

Kryterium Cauchy'ego