Конформность дифференцируемого отображения.

х

у

z

L1

L1

L2

L2

l1

l2

θ1

θ2

u

v

w

L'1

L'1

L'2

L'2

l'1

l'2

θ'1

θ'2

u

v

w

w+Δw

arg(Δz)+ argf́ ¢(z)

|Δz||f´(z)|

х

у

z

z+Δz

arg(Δz)

|Δz|

Пусть через точку z проходят две гладкие кривые L₁ и L₂, касательные l₁ и l₂ к которым образуют с осью Ох углы, соответственно, и . Образы этих кривых и при дифференцируемом отображении имеют касательные и , образующие с действительной осью Ou углы и . Согласно предыдущему пункту, , , т.е. . Таким образом, дифференцируемое отображение при сохраняет углы между кривыми. Сохраняется и направление отсчёта углов (т.е. если > , то > ).

Любое преобразование плоскости в плоскость, обладающее эти свойством (т.е. свойством сохранения углов), называется конформным. Если при этом сохраняется направление отсчёта углов, то преобразование называется конформным преобразованием первого рода; если направление отсчёта углов меняется на противоположное, то преобразование называется конформным преобразованием второго рода. Мы доказали, что аналитическая в некоторой области G функция w = f(z)осуществляет конформное отображение первого рода во всех точках, в которых производная отлична от нуля.

Пример конформного отображения второго рода – недифференцируемая функция .

3.1.6. Гармоничность действительной и мнимой частей дифференцируемой функции. Дифференцируя первое соотношение Коши-Римана по переменной х, второе соотношение по переменной у, получим , т.е. ( - оператор Лапласа), т.е. u(x, y) - гармоническая функция. Дифференцируя первое соотношение Коши-Римана по переменной у, второе соотношение по переменной х, получим , т.е. , т.е. v(x, y) - тоже гармоническая функция. Пара гармонических функций, связанных соотношениями Коши-Римана, называется сопряжёнными функциями.

Легко доказать, что для любой гармонической в односвязной области D функции u(x, y) существует единственная (с точностью до постоянного слагаемого) сопряжённая с ней гармоническая функция v(x, y), т.е. такая функция, что w = f(z) = u(x, y) + iv(x, y) - аналитическая функция; и наоборот, для любой гармонической v(x, y) существует сопряжённая с ней гармоническая u(x, y). Пусть, например, дана u(x, y), обозначим . Эти функции удовлетворяют условию , т.е. векторное поле потенциально. Функцию v(x, y) можно найти теперь из системы (как это делается при решении уравнения в полных дифференциалах P(x, y) dx +Q(x, y) dy = 0, и как потенциальную для поля функцию .

В качестве примера рассмотрим задачу, аналогичную задаче 5 из домашнего задания. Может ли функция v(x, y) = e ^-y(xcos x - ysin x) быть мнимой частью некоторой аналитической функции w = f(z)? В случае положительного ответа найти функцию w = f(z).

Решение. Докажем, что v(x, y) - гармоническая функция.

, т.е. v(x, y) - гармоническая функция и, следовательно, может являться мнимой частью аналитической функции.

Найдём эту функцию. Для действительной части u(x, y) справедливы соотношения

,

для нахождения используем второе уравнение системы: .

Формально мы можем выписать

w = f(z) = u(x, y) + iv(x, y) = e ^–y [- (xsin x + ycos x) + i(xcos x - ysin x)] + C, но толку в этой записи нет, так как не видна зависимость f от z. Поэтому сделаем по-другому. Выпишем производную : . На действительной оси (при у = 0, т.е при z = x) функция w = f(z) превращается в функцию действительной переменной f(x), её производная - в . Положим в у = 0, x = z: ; проинтегрировав это выражение, получим f(z).

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

= - z sin z + iz cos z + C = iz (cos z + i sin z) + C = ize^iz + C, где С – произвольная вещественная постоянная интегрирования. Постоянная интегрирования будет действительной, если по условию задачи задана функция v(x, y), и с точностью до произвольной постоянной находится действительная часть

u(x, y) функции f(z); если же задана функция u(x, y), то с точностью до произвольной постоянной интегрирования находится мнимая часть v(x, y), т.е постоянная будет чисто мнимым числом (C - произвольное вещественное число).

Проверим полученный результат. Если f(z) = ize^iz + C, то f(z) = (ix - y) e ^{(ix - y)}+ C =

= e ^{- y} (ix - y)(cos x + i sin x) + C = i e ^{- y} x cos x - e ^{- y} x sin x - e ^{- y} y cos x - i e ^{- y} y sin x + C = ;

; условия Коши-Римана выполнены, следовательно, функция f(z) = ize^iz + C - аналитическая на всей комплексной плоскости функция.

Во всех этих рассуждениях мы проигнорировали вопрос о том, имеют ли функции u и v производные порядка выше первого? (Существование первых производных следует, как мы видели, из дифференцируемости f(z)). Дальше мы докажем, что, в отличие от действительного случая, ФКП обладает удивительным свойством - если она аналитична в некоторой области (т.е. в каждой точке этой области имеет первую производную), то она бесконечно дифференцируема в этой области (т.е. в каждой точке этой области она имеет производную любого порядка). Как следствие, функции u и v тоже бесконечно дифференцируемы.