Всего лишь лекция Текст научной статьи по специальности «Математика»

УДК 51

Всего лишь лекция

В. П. Норин

Речь о ТФКП. Одним из ключевых в курсе является понятие дифференцируемости функции комплексной переменной. Стандартное (в учебниках) определение производной комплек-снозначной функции и вытекающие из него условия Коши— Римана и геометрический смысл производной оставляют ощущение некоторого фокуса, подоплека которого не вполне ясна. Однако, для понимания механизма, проясняющего ситуацию, нужно не слишком много усилий. По крайней мере, для Студентов (речь не о студентах, а именно о Студентах) некоторых специальностей, где курс линейной алгебры «доползает» до понятия линейного оператора. И не воспользоваться этим инструментом здесь...?!

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

Текст, приводимый ниже, вряд ли можно считать, вопреки названию статьи, лекцией в чистом виде. Скорее, это скелет изложения. Здесь есть некая структура, но нет формального членения материала на определения, теоремы и т.д. (хотя по сути они есть), что, конечно, необходимо для чтения нормальной лекции. Но если идея изложения покажется интересной, сделать такую формализацию не составит большого труда.

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

1. Линейные операторы. М-линейность и С-линейность

Напомним некоторые определения и расставим нужные акценты.

Рассмотрим два линейных (векторных) пространства. Первое — это Ж2, второе — С.

Элементами К2 являются векторы плоскости, для которых определены операции сложения векторов и умножения векторов на действительные числа с известным набором аксиом.

Элементами пространства С являются комплексные числа г = х + гу, которые также можно интерпретировать как

векторы ( ] плоскости. Сумма комплексных чисел = векто-\У /

ров геометрически совпадает с соответствующей суммой векторов в К2. Отличие же С от К2 состоит лишь в том, что элементы С можно умножать не только на действительные, но и на комплексные числа (по правилу произведения комплексных

чисел): для любого элемента х + гу = ( ] пространства С и

\у)

любого комплексного числа а + гЬ определено произведение

(а+гЬ) ( Х | = (а+гЬ)(х+гу) = (ах-Ьу)+г(ау+Ьх) = \ аХ Ьу \У) \ау + Ъх

Необходимый набор аксиом векторного пространства в этом случае также выполняется.

Далее. Пусть имеются линейные пространства X и У (в дальнейшем это К2 или С) с одинаковым полем Р коэффициентов, т. е. чисел, на которые можно умножать элементы этих пространств.

Отображение А : X —> У называется линейным оператором, если оно удовлетворяет условиям: А(ах + а2) = Аа± + Аа2 и А(аа1) = аАаг, где ах и а2 — произвольные элементы пространства X, а а — произвольное число из Р.

Рассмотрим сначала линейный оператор А : М2 —> К2. Чтобы задать этот оператор, достаточно, выбрав в К2 базис (например, стандартный ортонормированный), определить ре-

1\ (о4

зультат действия оператора на базисных векторах ( | и

А

О

Матрицу А = ( ) называют матрицей линейного оператора \о а)

(в выбранном базисе). Результат действия оператора на произвольном векторе ( Х ) получается (что несложно показать,

\У /

пользуясь линейностью оператора) умножением матрицы А на этот вектор:

ах + су \ 1а с \ I х Ъх + с1у I \ 0 а ) \ у

Обратимся теперь к линейному оператору А : €—>■€. Посмотрим как выглядит его матрица А. Выбрав естественный базис Г — = ^^ ; I = ^^ | в С (строго говоря, это базис в К2, с элементами которого ассоциируются элементы из

С), определим произвольно действие линейного оператора на первом базисном векторе:

Тогда в силу линейности оператора А должно выполняться соотношение

'-Ъ

М = А(г-1) = г- А1 = г = г(о + гЬ) = -Ъ + га

а

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

а —Ь Ь а

Операторы А : Е2 —> Е2 называют Е-линейными, а операторы А : С -> С —- соответственно, €-линейными. Матрица Е-линейного оператора может быть произвольной; С-линейного — нет.

Легко заметить, что геометрически С-линейный оператор обеспечивает поворот векторов плоскости на угол <р (где сов^ = а/д/а2 + Ь2. зту? = Ь/у/а2 + Ь2) и растяжение их длин в л/а2 + Ь2 раз. Но в точности так же «работает» умножение комплексных чисел на фиксированное комплексное число г0 = = а + гЬ. И, стало быть, все С-линейные преобразования плоскости задаются равенством: Аг = г0 • г, для произвольного

г = х + гу= е С.

Еще раз отметим, что все линейные преобразования комплексной плоскости исчерпываются растяжениями и поворотами (никаких зеркальных симметрий и более сложных Е-линейных преобразований).

2 . Дифференцируемость действительнозначных и комплекснозначных функций

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

Пусть задана функция и = и(х,у) : М2 —> К. Мы называли такую функцию дифференцируемой в точке М0(х0, у0), если ее приращение в этой точке могли записать в виде

Аи = аАх + ЬАу + аАр, (*)

где Ах, А у — приращения аргументов, Ар = (Дж)2 + (Ау)2, а, Ь — действительные числа, а а — бесконечно малая величина при Ар —у 0. В курсе анализа показывается, что числа а и Ь — суть частные производные функции и в точке М0 : а = и1(М0),Ъ = и'у{М0).

Соотношение (*) можно переписать в матричной форме:

ди=(„; 4)

Рассматривая последнее равенство, мы обнаруживаем линейный оператор А: К2 -» Ж, задаваемый матрицей А— (и'х и'у) (эту матрицу называют градиентом функции и). И приращение функции аппроксимируется этим линейным оператором.

Рассмотрим теперь отображение / : М2 —> М2. Это отображение можно задать парой функций двух переменных и = = и(х,у), V = у(х,у). Определяя дифференцируемость отображения / в точке, можно, конечно, просто сказать, что это означает дифференцируемость функций и и и, т. е. их приращения в точке имеют вид:

Аи = и'х • Ах + и'у ■ Ау + Ар,

АV = у'х ■ Ах + у'у ■ Ау + а2 Ар,

где Ар = у/(Ах)2 + (Ау)2 и а1; а2 -» 0 при Ар О.

Но, переписав эти соотношения в векторной форме

замечаем, как и ранее, что приращение

аппроксимируется линейным оператором А : Е2 —>• Е2 с мат-

(и'х и'Л рицеи А = I ; •

\К К у

Эту матрицу называют матрицей Якоби (кстати, градиент — это тоже матрица Якоби в случае отображения плоскости в прямую).

Теперь мы достаточно подготовлены, чтобы говорить о дифференцируемости функции комплексной переменной. Мы знаем, что такая функция может быть записана в виде: ии = = ¡(г) = и(х, у)+м(х, у), где г = гг+м/, и(х, у) = Ие ии, у(х, у) = = 1т ии.

Функции и и V задают отображение плоскости в плоскость. Как и в случае с отображением / : Е2 —> Е2, мы хотим,

чтобы наше отображение аппроксимировалось линейным опе-

/ и' и' \

ратором с матрицей Якоби х у . Однако, дополнительно

К У

мы хотим, чтобы этот оператор был С-линейным (ведь мы рассматриваем отображение С в С). Но тогда:

1) матрица Якоби должна иметь вид ( ^ ), что ав-

а/

томатически влечет условия Коши—Римана и'х = у'у, и'у = —у'х]

2) действие такого оператора равносильно умножению на комплексное число а + гЬ, и мы получаем стандартное определение дифференцируемости функции комплексной переменной:

) отображения

функция w = f(z) называется дифференцируемой в точке z0 = х0 + гу0, если ее приращение в этой точке имеет вид Aw = (a+ib)-Az+a-Ap, где Az = Ax-\-iAy и а:->0 при Ар—>0 ;

комплексное число a+ib называем производной f'(zQ) функции в точке и как бонус получаем равенства

f'(zо) = < + К = <- Ч = < + Ч = v'y - ги'у ;

3) геометрический смысл модуля и аргумента производной теперь лежит на поверхности: arg f'(z0) и \f'(z0)\ эт0! со_ ответственно, угол поворота и коэффициент растяжения бесконечно малых векторов Az — Ах + гАу при отображении /;

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

Ну вот, собственно, и все.

Коллеги, спасибо, что дочитали сей opus до конца. Выражаю огромную признательность А. Н. Данилову, В. С. Куликову и Е. В. Чеснокову за полезные советы и замечания, без которых статья была бы иной. А также приношу благодарность А. Ю. Терской и В. В. Старинцу за помощь в наборе текста.

Московский государственный университет печати имени Ивана Федорова. E-mail: hopin56@mail.ru. Поступила 08 мая 2012 г.