Реферат: Функціональний ряд, область його збіжності. Cтепеневі ряди. Теорема Абеля
План
Функціональний ряд.
Область збіжності
Рівномірна збіжність
Степеневі ряди
Теорема Абеля
Інтервал і радіус збіжності степеневого ряду
Ряди за степенями
1. Функціональні ряди
1.1. Функціональні ряди. Область збіжності
Ряд
(13.22)
називається функціональним, якщо його члени є функціями від Надаючи певного числового значення, ми одержимо різні числові ряди. Одні з них можуть бути збіжними, інші – розбіжними.
Означення. Сукупність тих значень при яких ряд (13.22) збігається, називається областю збіжності функціонального ряду.
Очевидно, що в області збіжності ряду його сума є деякою функцією від . Тому його суму будемо позначати через
Через позначимо частинну суму ряду (13.22), тобто суму перших його членів
(13.23)
Тоді
, (13.24)
де
і називається залишком ряду. Для всіх значень в області збіжності ряду має місце співвідношення а тому
(13.25)
тобто залишок збіжного ряду прямує до нуля при
Приклад. Знайти область збіжності ряду .
Р о з в ‘ я з о к. Для знаходження області збіжності даного функціонального ряду використаємо радикальну ознаку Коші
. Ряд збігається при тих
значеннях при яких ця границя менша за одиницю, тобто
Дослідимо збіжність ряду на кінцях проміжку, тобто при і .
При : ряд розбігається.
При : ряд розбігається.
Областю збіжності даного ряду є проміжок
1.2. Рівномірна збіжність
Означення. Функціональний ряд (13.22), збіжний для всіх із області , називається рівномірно збіжним в цій області, якщо для довільного як завгодно малого числа існує такий незалежний від номер що при нерівність
або (13.26)
виконується одночасно для всіх із
Приклад 1. Розглянемо прогресію
вона збігається в відкритому проміжку Для довільного із залишок ряду має вигляд:
Якщо довільно зафіксувати, то, очевидно:
Це показує, що здійснити для всіх одночасно нерівність
(якщо )
при одному й тому ж номері неможливо. Отже, збіжність прогресії
в проміжку нерівномірна; це ж відноситься і до проміжків і зокрема.
Приведемо без доведення ознаку рівномірної збіжності ряду (13.22).
Ознака рівномірної збіжності. Для того, щоби ряд (13.22) рівномірно збігався в області необхідно і достатньо, щоби для кожного числа існував такий не залежний від номер що при і довільному нерівність
(13.27)
буде мати місце для всіх із одночасно.
Для встановлення на практиці рівномірної збіжності рядів користуються більш зручнішими в застосуванні достатніми ознаками, наприклад ознакою Вейєрштрасса.
Ознака Вейєрштрасса. Якщо члени функціонального ряду (13.22) задовольняють в області нерівностям
(13.28)
і числовий ряд
(13.29)
збігається, то ряд (13.22) збігається в рівномірно.
При наявності нерівності (13.28) говорять, що ряд (13.22) мажорується рядом (13.29), або що ряд (13.29) служить мажорантним рядом для (13.22).
Приклад 2. Розглянемо ряд
Р о з в ‘ я з о к. Оскільки нерівності виконуються на всій числовій осі, а числовий ряд збігається, то даний функціональний ряд рівномірно збігається на
1.3. Функціональні властивості суми ряду
Ми переходимо тепер до вивчення функціональних властивостей суми ряду, складеного із функцій, в зв’язку із властивістю останніх.
Cума скінченого числа неперервних на відрізку функцій є неперервна на цьому відрізку функція. Для суми ряду (що складається із безмежного числа доданків) ця властивість не зберігається. Тут необхідні додаткові вимоги на неперервні доданки.
Теорема 1 (про неперервність суми ряду). Якщо функції визначені та неперервні в проміжку і ряд (13.22) рівномірно збігається в до суми , то й ця сума буде неперервною в проміжку
Зауваження. Рівномірна збіжність фігурує в теоремі лише як достатня умова і не потрібно думати, що ця умова є необхідною для неперервності суми ряду. Наприклад, ряд
на відрізку має неперервну суму, тотожньо рівну нулю, хоча на цьому відрізку ряд збігається нерівномірно.
Теорема 2 (про почленний перехід до границі). Нехай кожна з функцій визначена в області і має скінченну границю при :