Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Галкин С.В. Теория функций комплексного переменного и операционное исчисление- учебное пособие для вузов (2011) (1)

.pdf
Скачиваний:
341
Добавлен:
23.03.2016
Размер:
1.65 Mб
Скачать

Здесь все частные производные вычисляются в точке x0 , y0 . Так

как

 

z

 

 

 

x2

y2 , то при x 0, y 0 и z 0. Поэтому

 

 

функции , ,

, являются бесконечно малыми величинами при

z 0.

 

 

 

Поскольку выполнены неравенства

 

x

 

 

 

z

 

,

 

y

 

 

 

z

 

, от-

 

 

 

 

 

 

 

 

ношения приращений в двух последних скобках соотношения (1.2) для fz являются ограниченными величинами. Следова-

тельно, выражения в двух последних скобках соотношения (1.2)

— бесконечно малые величины при z 0 как произведения бесконечно малых величин на ограниченные величины. Обозна-

чим эти выражения

1 i 2

z, z0 — бесконечно малая ве-

личина при z 0 .

Получим

 

 

f

 

1

 

u

i

v

x i y z, z0

 

z

 

 

x

 

 

 

z

 

x

 

 

u

i

v

z, z0 f z0 z, z0

 

x

 

 

 

x

 

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

u x0 , y0 i

v

x0 , y0

f z0 .

x

x

 

 

Умножая fz на z, получаем

f z0 f z0 z f z0 f z0 z z, z0 z,

где limz z0 z, z0 0 .

Следовательно, функция f z дифференцируема в точке z0 и ее производная в этой точке вычисляется по формуле

30

u x0 , y0 i

v

x0 , y0

f z0 .

x

x

 

 

Достаточность доказана.

Условия Коши — Римана позволяют легко проверить дифференцируемость функции в точке.

1.4.3. Аналитичность функции

Функция называется аналитической в области, если она дифференцируема в этой области. Функция называется аналитической в точке, если она дифференцируема в этой точке и в некоторой ее окрестности.

Основные элементарные функции ez, sin z, cos z, shz, chz являются аналитическимифункциямина всей комплекснойплоскости.

Проверим, например, условия Коши — Риманадляфункции ez:

ez ex cos y iex sin y , ux ex cos y yv , uy ex sin y vx .

Условия Коши — Римана выполнены при любых значениях

переменных, функция ez является аналитической на всей комплексной плоскости.

Пример. Рассмотрим функцию z = x. Она не является дифференцируемой ни в одной точке, так как условия Коши — Римана не выполнены ни в одной точке комплексной плоскости:

u 1, v 0.

x y

Пример. Рассмотрим функцию

f z z Re z zx x iy x x2 ixy.

Проверим для нее условия Коши — Римана:

u

2x,

u

0,

v

x,

 

v

y .

x

 

y

 

y

 

 

x

 

31

Они выполнены только в точке z = 0. Поэтому функция дифференцируема только в точке z = 0 и более ни в одной другой точке. Она не является аналитической ни в одной точке, поскольку для аналитичности кроме дифференцируемости в точке нужна еще дифференцируемость в некоторой окрестности этой точки.

Пример. Рассмотрим функцию f z z x iy. Она не яв-

ляется дифференцируемой ни в одной точке, так как ни в одной точке условия Коши — Римана не выполнены:

u 1, v 1.

x y

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

Пусть функция z(t) комплекснозначная дифференцируемая в точке t.

Рис. 1.13

Рассмотрим точку z, дадим аргументу функции z(t) приращениеt, ему соответствует приращение z (рис. 1.13). Обозначим =

= arg z. Тогда

arg zt arg z .

При t 0 секущая переходит в касательную, отношение приращений стремится к производной, tg tg , где — угол

наклона касательной к графику z(t) в точке z. Тогда

32

arg

z

arg z t = .

 

t

t 0

Следовательно, наличие ненулевой производной z t означает наличие касательной к графику функции с углом наклона к действительной оси, равным arg z t .

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

гда функция f (z) — комплекснозначная функция f z f z t

действительного переменного z(t), дифференцируемая в точке t и некоторой ее окрестности.

Касательная к графику функции имеет угол наклона к действительной оси, равный arg f z t . По теореме о сложной функции

выполнено равенство f z t f z z t , поэтому справедливо

соотношение arg f z t arg f z arg z t .

Следовательно,

аргумент производной аналитической функции

f z arg f z

имеет смысл угла поворота касательной к кривой в точке z при

ееотображении посредством функции f z .

Так как

 

 

 

f z

 

 

 

 

 

| f z |

 

 

 

f

z lim z 0

z ;

| f

z | lim z 0

| z |

,

 

 

то модуль

производной

аналитической

функции

 

f z

 

имеет

 

 

смысл коэффициента растяжения при отображении посредст-

вом функции f z . Все это справедливо в тех точках z, в которых производная f (z) отлична от нуля.

Если две кривые отображаются посредством аналитической функции f z f z 0 , то угол наклона касательной к каждой

кривой изменяется в точке z на один и тот же угол arg f z , по-

33

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

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

Пример. Рассмотрим линейное отображение f z azf z a . Оно сводится к повороту на угол arg a и растяжению

вa раз.

1.4.5.Задача о восстановлении аналитической функции по ее действительной или мнимой части

Пусть задана функция u x, y . Требуется определить, может ли она быть действительной частью некоторой аналитической функции f z , а если может, то восстановить эту функцию.

Пусть задана функция v x, y . Требуется определить, может ли она быть мнимой частью некоторой аналитической функции f z , а если может, то восстановить эту функцию.

При решении этих задач сначала надо проверить, существует ли такая аналитическая функция f z .

Теорема. Действительная и мнимая части аналитической функции есть функции гармонические (т. е. удовлетворяют уравнению Лапласа).

Доказательство. Если f z функция аналитическая, то выполнены условия Коши — Римана:

u

 

v

;

u

 

v .

x

 

y

 

y

 

x

Дифференцируем частным образом первое равенство по x, второе — по y и складываем их. Получаем

2u 2u 0,x2 y2

34

следовательно, функция u x, y гармоническая. Дифференцируем

частным образом первое равенство по y, второе — по x и вычитаем из первого равенства второе. Получаем

2v 2v 0 ,x2 y2

следовательно, функция v x, y гармоническая. Теоремадоказана. Таким образом, если функция u x, y или функция v x, y не

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

Пусть функция u x, y

и функция v x, y — гармонические

функции. Покажем, как можно восстановить аналитическую функцию по известной действительной части u x, y .

Восстановление аналитической функции по мнимой ее части v x, y проводится аналогично.

Можно указать три способа восстановления, несколько отличающихся друг от друга.

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

 

v

 

u

 

 

u

a x C1,

 

y

x

v

x dy

v

 

u

v

 

 

u

 

x

y

 

dx b y C2.

 

 

 

 

 

 

y

 

Сравнивая оба выражения для v, определяем a x , b y , C1,C2 . Затем восстанавливаем аналитическую функцию:

f z u x, y iv x, y Ci.

Замечание. При восстановлении по v x, y функция вос-

станавливается с точностью до действительной постоянной, а не мнимой.

35

Второй способ. Используя условия Коши — Римана, записываем одну из частных производных и интегрируем ее частным образом:

v

 

u

v

u

y

 

x

x dy a x C1

(как в первом способе). Если при интегрировании второго условия Коши — Римана возникают проблемы, то можно продифференцировать полученное соотношение по x и приравнять к известной функции:

 

v

 

u

 

u

 

 

 

 

 

 

x y .

 

x x

 

 

x dy

Решая это дифференциальное уравнение, получаем функции

x ,

v x, y + С. Затем восстанавливаем аналитическую функ-

цию:

fz u x, y iv x, y Ci.

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

ввиде f(z).

Третий способ. Используем формулу для производной:

 

 

u

v

u

u

 

f

z x

i x x i y .

 

 

 

Так как функция u x, y известна, то производная

f z опре-

деляется как функция аргументов x, y.

Аналическую функцию

f (z) определяем по формуле

 

 

 

 

f z f z z x, y 0 dz.

Пример. Задана функция u x, y = ex cos y . Проверим, можно ли восстановить аналитическую функцию с такой действитель-

36

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

Восстанавливаем мнимую часть аналитической функции. Применим первый способ. Из условий Коши — Римана найдем

частные производные искомой функции и проинтегрируем их частным образом:

v

u ex cos y v

 

y

x

 

 

ex cos ydy a x C1

ex sin y x C1;

v

u ex sin y v ex sin ydx b y C2

x

y

 

ex sin y b y C2 .

 

Сравнивая эти выражения, получаем

x 0, b y 0; C1 C2

C; v x, y ex sin y C.

Поэтому искомая функция имеет вид

f z ex cos y isin y + Сi = ez Ci.

Решим пример вторым способом. Используем условия Коши — Римана, затем проинтегируем одну из частных производных по одному из переменных:

v u ex cos y vy x

ex cos ydy a x C1 ex sin y x C1.

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

37

v ex sin y x ex sin y x 0 x C2 ;x

v x, y ex sin y C;

f z ex cos y isin y Ci ez Ci.

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

f z

u

i

v

 

u

i

u

ex cos y i ex sin y .

 

x

 

x

 

x

 

y

 

Интегрируя, получаем искомую функцию:

f z ex cos y iex sin y z x, y 0 dz ez dz ez C.

Здесь С — комплексное число.

1.5. Интеграл от функции комплексного переменного

1.5.1. Определение интеграла

Рассмотрим кусочно-гладкую дугу L = АВ. Введем разбиение дуги точками А = z0, z1, …, zk –1, zk, …, zn = B. На каждом элементе дуги zk—1, zk отметим точку k (рис. 1.14). Обозначим lk дли-

ну элемента дуги zk – 1, zk. Рассмотрим непрерывную на дуге АВ и в некоторой ее окрестности функцию комплексного перемен-

ного f z . Вычислим f k .

n

Построим интегральную сумму f k zk , где zk zk zk 1.

k 1

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

 

n

 

f z dz limmax lk 0 f k zk .

AB

k 1

38

Рис. 1.14

Теорема существования. Пусть функция f (z) непрерывна в области G. Пусть кусочно-гладкая дуга L принадлежит области G.

Тогда интеграл f z dz существует как предел интегральных

сумм:

AB

 

 

f z dz limmax lk

AB

n

0 f k zk .

k 1

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

Замечание. Интеграл как предел интегральных сумм не зависит:

от выбора способа разбиения дуги на элементы, лишь бы дуга представляла собой объединение элементов, не имеющих общих внутренних точек;

от выбора точек на элементе разбиения, в которых вычисляются значения функции;

от способа «измельчения» разбиения, лишь бы выполнялось

условие max lk 0 .

Вообще говоря, эти утверждения являются необходимыми условиями существования интеграла, но для студентов это не оче-

39