2. Геометрический смысл модуля и аргумента производной

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

Отсюда следует, что с точностью до выполняются равенства

Эти равенства позволяют сделать следующие выводы (геометрический смысл модуля и аргумента производной):

Эти равенства позволяют сделать следующие выводы (геометрический смысл модуля и аргумента производной):

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

б) аргумент равен углу поворотабесконечно малого вектораисходящего из точкипри отображении

Эти утверждения верны для произвольного бесконечно малого вектора исходящего из точкипричем утверждение б) будет верно для любых гладких кривыхисходящих из точки(в этом случае векторкасается кривойв точке). Еслиидве гладкие кривые, исходящие из точкито из утверждения б) следует, что при отображенииони развернутся на один и тот же угол, т.е. угол между кривымиипри отображениисохраняется. Более того, сохраняется и направление этого угла. Исходя из сказанного, вводят следующее понятие.

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

Теорема 2.Пусть функция-- однолистная и аналитическая в областиив каждой точке области. Тогда отображениебудет конформным в области.

Доказательство этого утверждения вытекает из геометрического смысла производной и ее аргумента. Например, главная ветвь логарифма является конформным отображением области} на областьКонформные отображения играют важную роль в прикладных науках. Однако подробное их изучение в нашем курсе не предусмотрено программой. Читателю, заинтересованному в более детальном ознакомлении с теорией конформных отображений, рекомендуем книгу Б.А. Фукса и Б.В. Шабата ``Функции комплексного переменного и некоторые их приложения'' (ГИФМЛ, Москва, 1959) .

Лекция 7. Интеграл от функции комплексного переменного. Теорема Коши и для односвязной и многосвязной областей. Интегральная формула Коши. Существование всех производных для аналитической функции

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

Возьмём произвольно точку и составим интегральную сумму

Обозначим диаметр разбиения.

Определение 1.Если существует конечный предел интегральных сумм:

и он не зависит от вида разбиения и выбора точек, то его называют

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

Сразу же отметим свойство ориентированности этого интеграла:

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

Теорема 1. Пусть ограниченная дуга }кусочно-гладка и лежит в областиопределения функии. Пусть, кроме того,непрерывна на дуге }. Тогда имеет место равенство

Доказательство.Преобразуем в интегральной сумме (1) слагаемое:

Тогда интегральная сумма в равенсте (1) примет вид

Здесь действительная часть является интегральной суммой для криволинейного интеграла

, а мнимая часть – интегральной суммой для криволинейного интеграла. Так как функциянепрерывна на дугето на этой дуге непрерывны ее действительная частьи мнимая частьпоэтому указанные криволинейные действительные интегралы существуют. Переходя к пределу в равенстве (7) приполучаем равенство (2). Теорема доказана.

Из этой теоремы вытекают свойства линейности, аддитивности и другие свойства комплексного интеграла. В частности, справедлива теорема об оценке интеграла.

Теорема 2.Если функция непрерывна на кусочно-гладкой ограниченной кривойто имеет место неравенство

где -- длина дуги

Из теоремы 1 вытекает также следующее утверждение.

Теорема 3.Пусть дуга задана параметрически уравнением

причем функция непрерывна на отрезкеи дугаориентирована по возрастанию параметра(т.е.-- начало,конец дуги). Пусть, кроме того, функциянепрерывна на дуге.Тогда имеет место равенство

В качестве примера вычислим интеграл, имеющий широкое применение в дальнейшей теории интеграл Покажем, что

Имеем

Если то Если то

Равенство доказано.