§ 12. ПРОИЗВОДНЫЕ ВЫСШИХ ПОРЯДКОВ ОТ АНАЛИТИЧЕСКОЙ ФУНКЦИИ
Пусть — аналитическая функция в какой-нибудь области Пусть С — замкнутый контур, лежащий вместе со своей внутренностью в этой области. Для всех точек лежащих внутри этого контура, имеем на основании интегральной формулы Коши:
Но интеграл Коши, стоящий в правой части, является частным случаем интеграла типа Коши, следовательно, на основании
изложенного в имеет внутри С производные всех порядков, получающиеся на основании (3.43) по формуле
Так как любую точку области можно окружить зам кнугым контуром, лежащим (вместе с внутренностью) в области то приходим к следующему выводу: всякая аналитическая функция в какой-нибудь области имеет в этой области производные всех порядков, причем все они являются аналитическими функциями в этой области.
Следует заметить, что функции действительного переменного таким свойством не обладают. Функция действительного переменного может иметь первую производную, но не иметь второй производной.