51. Принцип аргумента
Пусть - «воротниковая» окрестность кривой
, где
- некоторая область и
аналитична и не равна нулю в
. Зафиксируем точку
и проведем через нее разрез
в виде кусочно-гладкой дуги
(см. рисунок). Тогда
- односвязная область, в которой функция
аналитична в силу перечисленных условий. По теореме о существовании первообразной в односвязной области и в силу того, что
- первообразная для
. Таким образом мы выделяем непрерывную ветвь логарифма. И по формуле Ньютона-Лейбница:
. Теперь, устремив
, мы получаем:
, где первое слагаемое равно нулю в силу того, что
- однозначная функция. В силу формулы логарифмического вычета, получаем:
. Отсюда сразу получаем Принцип аргумента:
.
Геометрический смысл этого принципа показан на рисунке. Величина, стоящая в числителе есть число полных оборотов точки-образа вокруг нуля при одном полном обходе точки прообраза по границе области .
Пример: Пусть в - функция имеет в круге
один нуль третьего порядка
, тогда в образе границы круга будет окружность радиуса 1, которая обходится ровно три раза.
< Предыдущая | Следующая > |
---|