Теорема Тейлора. Если f(z)ÎC¥(|z-z0|<R), то $! степенной ряд
Scn(z-z0)n =>f(z) при |z-z0|<R.
Доказательство. Возьмем " z: |z-z0|<R и построим Cr - окружность радиуса r с центром в точке z0 и содержащую точку z внутри:
для "xÎ Cr: | x -z0|=r, r<R, |x -z0|>|z-z0|.
Т.к. f(z)ÎC¥(|z-z0|<r ), то по интегральной формуле Коши;
Преобразуем подынтегральное выражение
Мы воспользовались формулой суммы бесконечно убывающей геометрической прогрессии, ведь |z-z0|/|x -z0|<1. "xÎ Cr ряд сходится равномерно по x, так как мажорируется сходящимся числовым рядом
f(z)=;
cn==f(n)(z0)/n!, что и доказывает $ и единственность разложения. n
Замечания 1) Разложение функции f(z)= Scn(z-z0)n называют разложением функции в ряд Тейлора.
2) По теореме Коши cn= , где C - произвольный кусочно-гладкий контур, содержащий внутри себя точку z0, целиком лежащий в области аналитичности функции.
Пример.
; …
Þ
.