Ряд Тейлора
Ряд Тейлора
Теорема. Если -аналитическая в круге
, то
, радиус сходимости ряда не меньше R.
Док-во:
;
Это верно, когда .
.
Функциональный ряд * мажорируется сходящимся числовым рядом , таким образом ряд * сходится равномерно
его можно интегрировать почленно.
Рекомендуемые материалы
;
Утв. Если сходится при
, то на окружности радиуса R есть особые точки.
Док-во:
Предположим противное: все точки окружности – точки аналитичности.
Покроем окружность системой окрестностей ее точек, расширим область аналитичности. Тогда существует окружность радиуса , внутри которой функция аналитическая, следовательно ряд сходится в круге радиуса
-не радиус сходимости, и мы приходим к противоречию.
Опр1. Точка называется нулем функции
, если
аналитическая в точке
и .
Опр2. Точка называется нулем кратности k (нулем k-ого порядка) функции
, если:
Пример.
- нуль функции
, таким образом точка z=0-нуль кратности 3.
Лемма. Если ,
аналитические в точке
,
лежит в области аналитичности f и
,
, при
, то
в некоторой окрестности точки
.
Док-во:
при
при
и т.д.
, следовательно
.
Теорема. задана на последовательности точек
,
- аналитическая, то
определяется значениями
единственным образом во всей своей области определения.
Док-во:
Пусть и
аналитические и совпадают
. Докажем, что они совпадают всюду. Применим Лемму к точке
: в некоторой окружности с центром
и
совпадают. Возьмем точку пересечения этой окружности с ломаной -
.
. К точке
также применяем Лемму.
Далее строим следующую окружность. Таким образом за конечное число шагов мы дойдем до точки z и
совпадают в z и
.
Оценки Коши коэффициентов ряда Тэйлора
Теорема. Если ,
, то
.
Док-во:
.
Лекция "3 - Физиологические свойства нервов" также может быть Вам полезна.
Теорема Ляувилля. Если аналитическая на всей комплексной плоскости и ограничена, то
=const.
Док-во:
,
,
;
.