Гранична ознака порівняння

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Гранична ознака порівняння (на відміну від пов'язаної прямої ознаки порівняння) — це математичний критерій збіжності, який використовується для визначення збіжності чи розбіжності нескінченного ряду.

Твердження

[ред. | ред. код]

Нехай задано два ряди і , де , для будь-якого . Якщо , причому , тоді обидва ряди або збіжні або навпаки є розбіжними.

Доведення

[ред. | ред. код]

Оскільки , то для будь-якого існує натуральне число таке, що всіх , виконується нерівність , що рівносильно:

Оскільки , то можемо обрати як завгодно малим, щоб . Тоді , і за ознакою порівняння, якщо ряд є збіжним, то збіжним буде і ряд .

Аналогічно для , якщо ряд є розбіжним, то знову ж таки за ознакою порівняння розбіжним буде і ряд .

Отже, обидва ряди є збіжними, або розбіжними.

Приклад

[ред. | ред. код]

Визначимо, чи буде збіжним ряд

Для цього порівняємо його зі збіжним рядом

Оскільки

тому початковий ряд також є збіжним.


Одностороння версія

[ред. | ред. код]

Односторонню версію граничної ознаки порівняння можна сформулювати за допомогою верхньої та нижньої границі. Нехай для будь-яких . Тоді, якщо

є збіжним, тоді ряд обов'язково буде збіжним.

Приклад

[ред. | ред. код]

Нехай і для будь-яких . Тоді

не існує, і в цьому випадку не можна використовувати стандартну версію граничної ознаки порівняння. Однак

ряд є збіжним, і тому згідно з односторонньою версією граничної ознаки порівняння ряд буде збіжним.

Обернена одностороння версія

[ред. | ред. код]

Нехай для будь-якого . Якщо ряд розбіжний, а збіжний, тоді обов'язково

або

Головним тут є те, що у деякому сенсі числа більші за числа .

Приклад

[ред. | ред. код]

Нехай функція — аналітична на одиничному крузі

і має образ скінченної площі. Відповідно до формули Парсеваля площа образу функції дорівнює . Крім того, ряд є розбіжним. Отже, згідно з оберненою граничною ознакою маємо

тобто

Джерела

[ред. | ред. код]

Зовнішні лінки

[ред. | ред. код]