Независимость интеграла от вида пути интегрирования
где направление интегрирования берется против часовой стрелки.
Действительно, для окружности этот интеграл вычислен, так как функция голоморфна при неравном , то он будет таким же и для контура .
Доказанное свойство (5.12), как это видно уже на примере, позволяет сводить задачу вычисления интегралов по замкнутым контурам сложной природы к вычислению интегралов по более простым контурам и является мощным средством для вычисления интегралов.
Сформулируем теперь следствие из теоремы Коши-Гурса для многосвязной области, то есть области с большим количеством "дыр". Пусть ограниченная область, граница которой состоит из конечного числа кусочно-гладких замкнутых жордановых кривых, и пусть функция , определенна на замыкании , непрерывна в и голоморфна в . Тогда сумма интегралов от этой функции по всем граничным кривым равна нулю, если направление обхода кривых выбрать, например, так, чтобы при обходе область оставалась слева.
Иными словами интеграл по внешнему контуру равен сумме интегралов по внутренним контурам и , если во всех случаях берется интеграл по направлению против часовой стрелки и между контурами подинтегральная функция голоморфна. Разумеется аналогичное утверждение справедливо и для большего числа чем два внутренних контуров.
Независимость интеграла от вида пути интегрирования. Пусть функция голоморфна в односвязной области . Возьмем две точки и соединим их двумя различными кусочно-гладкими простыми кривыми и . Из этих кривых можно составить замкнутый контур .
По теореме Коши-Гурса
разбиваем интеграл в сумму двух
отсюда
Следовательно, интеграл от голоморфной в односвязной области функции не зависит от вида пути интегрирования, а зависит только от положения его начала и конца.
В условиях, когда интеграл не зависит от вида пути интегрирования его можно обозначать так
Первообразная функция. Как и в обычном анализе первообразной функцией от данной функции называется функция, производная которой равна данной функции.
По определению для первообразной функции мы имеем . Следовательно, если функция имеет в области первообразную, то эта первообразная дифференцируема в области и поэтому первообразная голоморфна.
Две первообразные от одной и той же функции отличаются на постоянное слагаемое. Действительно, если и , , то . Отсюда следует, что или .
Лемма о существовании первообразной. Если функция непрерывна в области и интеграл от нее не зависит от вида пути интегрирования, то она имеет в этой области первообразную.
Доказательство. Зафиксируем точку и введем функцию
(5.13) |
Покажем, что она как раз и является искомой первообразной. Вычисляем