Аналитическое продолжение

Логарифм комплексного числа также может быть определён как аналитическое продолжение вещественного логарифма на всю комплексную плоскость. Пусть кривая начинается в единице, не проходит через нуль и не пересекает отрицательную часть вещественной оси. Тогда главное значение логарифма в конечной точке кривой можно определить по формуле^[19]:

Если — простая кривая (без самопересечений), то для чисел, лежащих на ней, логарифмические тождества можно применять без опасений, например:

Главная ветвь логарифмической функции непрерывна и дифференцируема на всей комплексной плоскости, кроме отрицательной части вещественной оси, на которой мнимая часть скачком меняется на . Но этот факт есть следствие искусственного ограничения мнимой части главного значения интервалом . Если рассмотреть все ветви функции, то непрерывность имеет место во всех точках, кроме нуля, где функция не определена. Если разрешить кривой пересекать отрицательную часть вещественной оси, то первое такое пересечение переносит результат с ветви главного значения на соседнюю ветвь, а каждое следующее пересечение вызывает аналогичное смещение по ветвям логарифмической функции^[19] (см. рисунок).

Из формулы аналитического продолжения следует, что на любой ветви логарифма^[16]:

Для любой окружности , охватывающей точку :

Интеграл берётся в положительном направлении (против часовой стрелки). Это тождество лежит в основе теории вычетов.

Можно также определить аналитическое продолжение комплексного логарифма с помощью вышеприведённых рядов: ряда 1 или ряда 2, — обобщённых на случай комплексного аргумента. Однако из вида этих рядов следует, что в единице сумма ряда равна нулю, то есть ряд относится только к главной ветви многозначной функции комплексного логарифма. Радиус сходимости обоих рядов равен 1.