Комплексный логарифм

Понятие функции, обратной показательной функции, как и в действительной области, связано с понятием логарифма числа.

Логарифмом комплексного числа называется число такое, что справедливо равенство ; обозначается . Таким образом, .

Для нахождения логарифма числа , т.е. для нахождения действительной и мнимой частей числа , запишем число в показательной форме, а число будем искать в алгебраической форме: .

Тогда равенство или есть равенство чисел, записанных в показательной форме, и из него находим , то есть . Для искомого числа получаем выражение:

, где .

Из этого следует, что логарифм комплексного числа определяется неоднозначно; полученное выражение определяет множество значений логарифма данного числа ; обозначается

(6.1)

Для каждого фиксированного значения получаем определенное число — значение логарифма числа ; если оно называется главным значением логарифма:

(6.2)

Пример 1. Найти — главные значения и для следующих чисел:

а) ; б) .

Решение. а) , , . Тогда по формуле (6.2) , а по формуле (6.1) , .

б) , , . Тогда по формуле (6.2) , а по формуле (6.1) , .

Пример 2.Найти модуль, аргумент, действительную и мнимую части числа .

Решение.Найдем модуль и аргумент числа , , .

По формуле (6.2) получаем . Поэтому , , .

Так как и , то точка, соответствующая числу расположена в первой четверти и, следовательно, .

Замечание 1. Введение понятия логарифма числа позволяет определить в комплексной области степень с любым комплексным показателем и показательную функцию с любым комплексным основанием .

При и , где — натуральное число, степени и рассмотрены выше; при и , где — целое число , определение к также очевидно.

В общем случае при любом комплексном степень определяется формулой

(6.3)

Аналогично вводится функция с любым комплексным основанием

(6.4)

В силу бесконечной значности логарифма, каждому числу соответствует бесконечное множество значений степени , определяемой по формуле (6.3), и бесконечное множество чисел, определяемых по формуле (6.4) при . Среди этих множеств выделяются главные значения, которые соответствуют главным значениям логарифмов.

Пример 3. Показать, что выражение принимает только действительные значения.

Решение.Используем формулу (6.4) . Найдем значение .

, .Поэтому действительное число при любом .

Пример 4. Найти , где — корень уравнения , удовлетворяющий условию .

Решение.Корнем уравнения являются числа Условию удовлетворяет . Для найденного корня , , тогда . Поэтому ответ .

Замечание 2. Введение понятия логарифма комплексного числа позволяет решать в комплексной области показательные уравнения. Простейшим таким уравнением является уравнение вида . Решение этого уравнения сводится к нахождению значений выражения , то есть .

Пример 5. Решить уравнение .

Решение. , получаем , где .

Пример 6. Найти из уравнения .

Решение. Используем формулу , тогда имеем уравнение , которое сводится к квадратному уравнению . Корни квадратного уравнения и . Тогда и

Геометрически это точки, лежащие на прямых и параллельных мнимой оси, расстояние между которыми равно .

Как видим, логарифмическая функция вводится, как функция, обратная к показательной, т.е. как решение уравнения , значения функции при любом определяются по формуле (6.1).

Функция, очевидно, многозначная и отображает плоскость на каждую из полос:

, или .

В плоскости с разрезом по лучу возможно выделение однозначных ветвей, каждая из которых однозначно отображает эту плоскость на одну из полос , в частности функция — главное значение логарифмической функции отображает плоскость на полосу (см. рис. 6.1).

В плоскости с разрезом также возможно выделение однозначных ветвей, каждая из которых однозначно отображает эту плоскость на одну из полос , в частности функция — главное значение логарифмической функции отображает плоскость на полосу . Выделение ветви определяется заданием значения функции в одной из точек области.

Пример 7. Найти решение уравнения при условии .

Решение. Так как дополнительное условие задает значение функции в точке действительной оси, то рассматривается плоскость с разрезом по действительной оси, где главное значение аргумента определяется неравенством . Из дополнительного условия определяем значение , соответствующее выбранной ветви , следовательно, и :

, значит, . Находим решение уравнения . . При получаем ответ .