Конвергентни редови

У математици, ред је сума чланова низа бројева.

Дат је израз $\{a_1,a_2,a_3,\dots \}$, н-та парцијална сума $S_n$ је збир првих н израза низа, који је,

$S_n=\sum _{k=1}^n{a}_k.$

Низ је конвергентан ако је низ његових парцијалних сума$\{S_1,S_2,S_3,\dots \}$ конвергентан; Другим речима, он приближава одређени број. У формалном језику, низ конвергира ако постоји лимит $\ell$ такав да за било који произвољно мали позитиван број $\epsilon >0$, постоји велики цео број $N$ такав да је свако $n\ge N$,

$|S_n-\ell |\le \epsilon .$

За сваку серија која се не конвергира се каже да је дивергентна.

Примери конвергентних и дивергентних редова

• Реципрочни бројеви позитивних целих бројева производе дивергентне редове (хармонијски редови):

  $\frac{1}{1}+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\frac{1}{5}+\frac{1}{6}+\cdots \to \mathrm{\infty }.$

• Наизменични знаци реципрочних позитивних целих бројева производе конвергентне редове:

  $\frac{1}{1}-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}+\frac{1}{5}\cdots =\ln (2)$

• Реципрочни бројеви простих бројева производе дивергентне редове (тако да је скуп простих бројева "велики"):

  $\frac{1}{2}+\frac{1}{3}+\frac{1}{5}+\frac{1}{7}+\frac{1}{11}+\frac{1}{13}+\cdots \to \mathrm{\infty }.$

• Реципрочни бројеви троугаоних бројева производе конвергентне редове:

  $\frac{1}{1}+\frac{1}{3}+\frac{1}{6}+\frac{1}{10}+\frac{1}{15}+\frac{1}{21}+\cdots =2.$

• Реципрочни бројеви факторијала производе конвергентне редове (види е):

  $\frac{1}{1}+\frac{1}{1}+\frac{1}{2}+\frac{1}{6}+\frac{1}{24}+\frac{1}{120}+\cdots =e.$

• Реципрочни бројеви квадратних бројева производе конвергентне редове (Базелски проблем):

  $\frac{1}{1}+\frac{1}{4}+\frac{1}{9}+\frac{1}{16}+\frac{1}{25}+\frac{1}{36}+\cdots =\frac{{\pi }^2}{6}.$

• Реципрочни бројеви снаге 2 производе конвергентне редове (тако да је скуп снаге 2 "мали"):

  $\frac{1}{1}+\frac{1}{2}+\frac{1}{4}+\frac{1}{8}+\frac{1}{16}+\frac{1}{32}+\cdots =2.$

• Наизменични знаци реципрочних снага 2 такође производе конвергентне редове:

  $\frac{1}{1}-\frac{1}{2}+\frac{1}{4}-\frac{1}{8}+\frac{1}{16}-\frac{1}{32}+\cdots =\frac{2}{3}.$

• Реципрочних бројеви Фибоначијевих бројева производе конвергентне редове (види ψ):

  $\frac{1}{1}+\frac{1}{1}+\frac{1}{2}+\frac{1}{3}+\frac{1}{5}+\frac{1}{8}+\cdots =\psi .$

Тестирање конвергенције

Постоји велики број метода којима се одређује ли је ред конвергентан или дивергентан.

Ако се за плаве редове, $\mathrm{\Sigma }{b}_n$, може доказати да конвергирају, онда мањи редови, $\mathrm{\Sigma }{a}_n$ морају да конвергирају. Контрапозиција, ако је за црвене редове, $\mathrm{\Sigma }{a}_n$ доказано да дивергирају, онда $\mathrm{\Sigma }{b}_n$ морају такође да дивергирају.

Тест поређења. Изрази низа $\left\{a_n\right\}$ су упоређени са онима другог низа $\left\{b_n\right\}$. Ако,

ѕа све n, $0\le a_n\le b_n$, и $\sum _{n=1}^{\mathrm{\infty }}{b}_n$ конвергира, онда конвергира и $\sum _{n=1}^{\mathrm{\infty }}{a}_n.$

Међутим, ако

ѕа све n, $0\le b_n\le a_n$, и $\sum _{n=1}^{\mathrm{\infty }}{b}_n$ дивергира, онда дивергира и $\sum _{n=1}^{\mathrm{\infty }}{a}_n.$

Тест односа. Претпотавимо да је за свако n, $a_n>0$. Претпоставимо да постоји $r$ такво да је

$\underset{n\to \mathrm{\infty }}{\lim }\left|\frac{a_{n+1}}{a_n}\right|=r.$

Ако је r < 1, онда низ конвергира. Ако је Шаблон:Nowrap онда низ дивергира. Ако је Шаблон:Nowrap тест односа је неуверљив и низови могу да конвергирају или дивергирају.

Тест корена or Или тест н-тог корена. Претпоставимо да су у низу у изрази не-негативни. Дефинисати r као што следи:

$r=\underset{n\to \mathrm{\infty }}{\mathrm{lim\; sup}}\sqrt[n]{|a_n|},$

где је "лим суп" означава границу супериор (евентуално ∞; уколико лимит постоји, он је иста вредност).

Ако је r < 1, онда низ конвергира. Ако је Шаблон:Nowrap онда низ дивергира. Ако је Шаблон:Nowrap тест корена је неуверљив и низови могу да конвергирају или дивергирају.

Тест односа и тест корена се заснивају на поређењу са геометријским низовима, и као такви се користе у сличним ситуацијама. У ствари, ако тест односа ради (што значи да ограничење постоји и није једнако 1), онда ради и тест корена; Обрнуто, међутим, није тачно. Тест корена је стога уопште могуе, али у практичном смислу границу је често тешко израчунати за најчешће виђене типове низова.

Тест интеграла. Низ се може упоредити са интегралом да се успостави конвергирање или дивергирање. Нека $f(n)=a_n$ буде позитиван и монотоно смањује функцију. Ако је

$\underset{1}{\overset{\mathrm{\infty }}{\int }}f(x)dx=\underset{t\to \mathrm{\infty }}{\lim }\underset{1}{\overset{t}{\int }}f(x)dx<\mathrm{\infty },$

онда ред конвергира. Али, ако интеграл дивергира, онда то ради и низ.

Тест ограничења. Ако је $\left\{a_n\right\},\left\{b_n\right\}>0$, и граница $\underset{n\to \mathrm{\infty }}{\lim }\frac{a_n}{b_n}$ постоји и није нула, онда $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ конвергира ако и само ако $\sum _{n=1}^{\mathrm{\infty }}{b}_n$ конвергира.

Тест наизменичних редова. Познат и као Лајбниц критеријум, тест наизменичних редова наводи да је за наизменични ред облика $\sum _{n=1}^{\mathrm{\infty }}{a}_n(-1{)}^n$, ако је $\left\{a_n\right\}$монотоно опадајуће, а има ограничење од 0 у бесконачности, онда ред конвергира.

Тест коши кондензације. Ако је $\left\{a_n\right\}$ позитиван монотоно опадајући низ, онда  $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ конвергира ако и само ако $\sum _{k=1}^{\mathrm{\infty }}{2}^k{a}_{2^k}$ конвергира.

Дириклетов тест

Абелов тест

Рабеов тест

 Условна и апсолутна конвергенција

Илустрација условне конвергенције снаге реда log(z+1) око 0 процењена на Шаблон:Nowrap Дужина линије је бесконачна.

За било који ред $\{a_1,a_2,a_3,\dots \}$, $a_n\le \left|a_n\right|$ за било које н. Дакле,

$\sum _{n=1}^{\mathrm{\infty }}{a}_n\le \sum _{n=1}^{\mathrm{\infty }}\left|a_n\right|.$

То значи да ако $\sum _{n=1}^{\mathrm{\infty }}\left|a_n\right|$ конвергира, онда $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ такође конвергира (али не и обрнуто).

Ако ред $\sum _{n=1}^{\mathrm{\infty }}\left|a_n\right|$ конвергира, онда је ред $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ апсолутно конвергентан. Апсолутно конвергентан ред је онај у ком се дужина линије створена спајањем свих корака у парцијалну суму и он је коначно дуг. Снага реда експоненцијалне функције апсолутно конвергира свуда.

Ако ред $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ конвергира, а ред $\sum _{n=1}^{\mathrm{\infty }}\left|a_n\right|$ дивергира, онда је ред $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ условно конвергентан. Пут формиран повезивањем парцијалне суме условно конвергентног реда је бесконачно дуг. Снага реда логаритма условно конвергира.

Теорема Римановог реда тврди да је, ако низ условно конвергира, могуће преуредити услове низа на такав начин да низ конвергира за било коју вредност, или чак дивергира.

Јединствена конвергенција

Нека је $\{f_1,f_2,f_3,\dots \}$ низ функције.   Низ равномерно конвергира за f ако је низ $\{s_n\}$ парцијалног збира дефинисан као

$s_n(x)=\sum _{k=1}^n{f}_k(x)$

конвергира јединствено за f.

Постоји аналог упоредног теста за бесконачни низ функције који се зове Веиерстрес М-тест.

Критеријум Кошијеве конвергенције

Критеријум Кошијеве конвергенције наводи да низ

$\sum _{n=1}^{\mathrm{\infty }}{a}_n$

конвергира ако и само ако је низ парцијалног збира Кошијев низ. Ово значи да за свако $\epsilon >0,$ постоји позитиван цео број $N$ такав да за свако $n\ge m\ge N$ постоји

$\left|\sum _{k=m}^n{a}_k\right|<\epsilon ,$

што је еквивалентно

$\underset{\genfrac{}{}{0ex}{}{n\to \mathrm{\infty }}{m\to \mathrm{\infty }}}{\lim }\sum _{k=n}^{n+m}{a}_k=0.$

Види још

• Гранична вредност низа
• Нормална конвергенција
• Листа математичких редова
• Дивергентни редови

Литература

• Bromwich, T. J. An Introduction to the Theory of Infinite Series MacMillan & Co. 1908, revised 1926, reprinted 1939, 1942, 1949, 1955, 1959, 1965.
• Шаблон:Cite journal Шаблон:MathSciNet

Спољашње везе

• Hazewinkel, Michiel, ed. (2001), "Finite-difference calculus" Encyclopedia of Mathematics, Springer. Шаблон:Page
• Weisstein, Eric (2005). Riemann Series Theorem. Retrieved May 16, 2005.