Свойства степенных рядов
1. Сумма S(x) степенного ряда является непрерывной функцией в интервале сходимости (-R;R). 2. Степенные ряды и , имеющие радиусы сходимости соответственно и , можно почленно складывать, вычитать и умножать. Радиус сходимости произведения, суммы и разности рядов не меньше, чем меньшее из чисел и . 3. Степенной ряд внутри интервала сходимости можно почленно дифференцировать; при этом для ряда при –R<x<R выполняется равенство
Ряды и имеют тот же радиус сходимости, что и исходный степенной ряд.
Разложение функций в степенные ряды Ряды Тейлора и Маклорена
Как известно, для любой функции определенной в окрестности точки и имеющей в ней производные до (n+1)-го порядка включительно, справедлива формула Тейлора: где – остаточный член в форме Лагранжа. Число с можно записать в виде , где . Формулу кратко можно записать в виде , где – многочлен Тейлора.
Если функция имеет производные любых порядков в окрестности точки и остаточный член стремится к нулю при , то из формулы Тейлора получается разложение функции по степеням , называемое рядом Тейлора: Если в ряде Тейлора положить , то получим разложение функции по степеням х в так называемый ряд Маклорена: Отметим, что ряд Тейлора можно формально построить для любой бесконечно дифференцируемой функции в окрестности точки . Но отсюда еще не следует, что он будет сходиться к данной функции ; он может оказаться расходящимся или сходиться, но не к функции .
Теорема1 Для того чтобы ряд Тейлора функции сходился к в точке х, необходимо и достаточно, чтобы в этой точке остаточный член формулы Тейлора стремился к нулю при , т.е. чтобы 0.
Пусть ряд Тейлора сходится к функции в некоторой окрестности точки , т.е. . Так как n-я частичная сумма ряда совпадает с многочленом Тейлора , т.е. находим: Обратно, пусть 0. Тогда
Теорема2 Если модули всех производных функций ограничены в окрестности точки одним и тем же числом М>0, то для любого х из этой окрестности ряд Тейлора функции сходится к функции , т.е. имеет место разложение .
Согласно теореме1, достаточно показать, что 0. По условию теоремы2 для любого n имеет место неравенство . Тогда имеем: Осталось показать, что . Для этого рассмотрим ряд Так как , то по признаку Даламбера этот ряд сходится на всей числовой оси. Но тогда, в силу необходимого признака сходимости, Следовательно, 0
©2015 arhivinfo.ru Все права принадлежат авторам размещенных материалов.
|