11
2.2.Производная функции комплексного переменного. Формулы для вычисления производной
Определение. Производной однозначной функции комплексного переменного w = f(z) в точке z0 называется предел отношения приращения функции к приращению аргумента, если приращение аргумента произвольным образом стремится к нулю, то есть
|
|
|
|
|
|
|
|
|
|
|
f ′(z0 ) = lim |
w |
= lim |
|
f (z0 + |
z) − f (z0 ) |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z→0 |
|
z→0 |
|
|
|
|
|
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Определение. Функция, имеющая производную при данном значении z, |
|||||||||||||||||||||||||||||||||||||||||||||||||
называется дифференцируемой при этом значении z. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
Пусть функция w = f(z) имеет в точке z0 производную. Поскольку в |
|||||||||||||||||||||||||||||||||||||||||||||||||
определении производной |
|
|
z |
произвольным образом стремится |
к нулю, |
в |
|||||||||||||||||||||||||||||||||||||||||||
качестве |
|
|
z можно взять |
|
|
x |
(это значит, |
|
что точки z = z0 |
|
+ |
|
|
|
z |
|
лежат на |
||||||||||||||||||||||||||||||||
прямой, проходящей через точку z0 параллельно действительной оси). Тогда |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
f |
′ |
|
|
|
) = lim |
w |
= lim |
xu + i x v |
= |
∂u |
(x |
|
, y |
|
) |
+ i |
∂v |
(x |
|
, y |
|
). |
|
|
|
|
|
||||||||||||||||||
|
|
|
|
(z |
0 |
|
x |
|
|
x |
|
|
∂x |
0 |
0 |
∂x |
0 |
0 |
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
x→0 |
|
|
|
x→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
Взяв в качестве приращения |
|
z =i |
y, |
получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
′ |
|
|
|
|
|
|
|
|
|
w |
= −i lim |
|
|
yu +i y v |
= −i( |
∂u |
(x |
|
, y |
|
) +i |
∂v |
(x |
|
, y |
|
|
|
|
|
∂v |
(x |
|
, y |
|
|
|||||||||||||
f (z |
0 |
) = lim |
|
|
|
|
|
|
|
|
∂y |
0 |
0 |
∂y |
0 |
0 |
)) = |
∂y |
0 |
0 |
) − |
||||||||||||||||||||||||||||
|
|
|
|
|
|
y |
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
y→0 i y |
|
y |
→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
−i |
∂u |
(x |
0 |
, y |
0 |
). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
∂y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Производную функции f(z) можно считать по любой из полученных выше формул
f ′( z) = |
∂u |
+ i |
∂v |
и |
f ′(z) = |
∂v |
−i |
∂u . |
|
∂x |
∂x |
∂y |
|||||||
|
|
|
|
|
∂y |
Можно показать, что производные функций zn, ez, cos z, sin z, ch z, sh z, n z, Ln z, zα находятся по тем же формулам, что и для действительного аргумента (в случае многозначных функций производные берут от их однозначных ветвей). Основные правила дифференцирования функций действительного переменного справедливы и для функций комплексного переменного.
12
2.3. Аналитические и гармонические функции
Определение. Функция комплексного переменного f(z), определенная в области D и дифференцируемая в каждой точке этой области, называется аналитической в области D.
Теорема. Необходимым и достаточным условием аналитичности функции
f(z) =u(x, y) +iv(x, y)
вобласти D плоскости z является существование и непрерывность частных производных первого порядка функций u и v в D и выполнение условий КошиРимана
∂u |
= |
∂v |
, |
∂u |
= − |
∂v . |
∂x |
|
∂y |
|
∂y |
|
∂x |
С помощью этих условий легко проверить, является ли заданная функция аналитической.
Замечание. Из условий Коши-Римана вытекает, что производную функции f(z) можно считать также по формулам
|
|
|
′ |
|
∂v |
|
∂v |
|
|
∂u |
|
|
∂ |
|
|
|
|
f |
|
|
+i |
|
и f ′(z) = |
−i |
u |
. |
|||||
|
|
(z) = |
∂y |
∂x |
∂x |
∂y |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||
Пример 2.4. Проверить на аналитичность функцию |
w = z. |
||||||||||||||
Решение. Имеем w = z = x −iy. Значит, u=x, v=–y. Проверим выполнение |
|||||||||||||||
условий Коши–Римана. |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
∂u |
=1, |
∂u |
= 0, |
∂v = 0, |
∂v |
= −1. |
|
|||||
|
|
|
∂x |
|
|
∂y |
|
∂x |
∂y |
|
|
|
|
|
|
Итак, |
∂u |
≠ ∂v , |
следовательно, |
данная |
|
|
функция не является |
||||||||
|
∂x |
∂y |
|
|
|
|
|
|
|
|
|
|
|
|
|
аналитической ни в какой области комплексной плоскости.
Определение. Функция двух действительных переменных u(x,y), определенная в области D, имеющая в этой области непрерывные частные производные до второго порядка включительно и удовлетворяющая уравнению Лапласа
∂2u + ∂2u = 0, ∂x2 ∂y2
называется гармонической в области D.
13
Между аналитическими и гармоническими функциями существует простая связь. Действительная и мнимая части всякой аналитической функции являются гармоническими функциями. Однако функция f (z) = u(x, y) +iv(x, y) , где u(x,y) и v(x,y) – произвольные гармонические в D функции, не всегда является аналитической в D. Она будет аналитической только в том случае, если функции u(x,y) и v(x,y) удовлетворяют в D условиям Коши-Римана. Гармонические функции u и v, связанные условиями КошиРимана, называются сопряженными.
В случае односвязной области D справедливо утверждение: любая гармоническая функция в односвязной области D является действительной (мнимой) частью некоторой аналитической функции.
2.4. Интеграл по комплексному переменному
Пусть w = f(z) – непрерывная функция комплексного переменного z, определенная в некоторой области D, и Г – гладкая кривая, лежащая в области
D, на которой задано направление от z0 (начало кривой) к z (конец кривой).
Разобьем Г на n частей произвольными точками z0, z1, z2,…, zn = z , лежащими последовательно на кривой Г. Составим сумму
Sn = f (z0 ) |
z0 + f (z1 ) z1 +... + f (zn−1 ) zn−1 , |
где приращение zk = zk+1 − zk |
(k= 0, 1,…, n – 1). |
Определение. Интегралом от функции f(z) по кривой Г называется предел |
|
суммы Sn при n → ∞ и max|∆zk| → 0, то есть |
|
|
n−1 |
∫ f (z)dz = maxlim| zk |→0∑ f (zk ) zk . |
|
Г |
k=0 |
Вычисление интеграла от функции f(z) = u(x,y) + iv(x,y) сводится к вычислению двух криволинейных интегралов от действительных функций u(x,y) и v(x,y).
Справедливы следующие свойства интегралов по комплексному переменному:
n |
n |
1. ∫(∑Ck fk (z))dz = ∑Ck ∫ fk (z)dz. |
|
Г k=1 |
k=1 Г |
14
2. Если | f (z)| ≤ M ( z Г), то | ∫ f (z)dz |≤ M дл.Г
Г
3. ∫ f (z)dz = −∫ f (z)dz, где Г– – та же кривая Г, но направление на ней
Г− Г
от z к z0.
2.5. Ряды Лорана
Рассмотрим два ряда |
|
|
|
|
|
|
|||
... + |
c−n |
|
+ |
c−n+1 |
|
+... + |
c−1 |
; |
(1) |
(z − z0 ) |
n |
(z − z0 ) |
n−1 |
|
|||||
|
|
|
|
|
z − z0 |
|
|||
с0 + с1(z – z0) + c2(z – z0)2 +…+ cn(z – z 0)n+… |
(2) |
||||||||
Пусть ряд (1) сходится в области, определяемой неравенством |z – z0| > r, ряд (2) – в области |z - z0| < R.
Если r < R, то ряд, полученный сложением рядов (1) и (2)
... |
c−n |
+ |
c−n+1 |
+... + |
c−1 |
+ c |
0 |
+ c (z − z |
0 |
) +... + |
|
|
|
||||||||
|
(z − z0 )n |
(z − z0 )n−1 |
|
z − z0 |
1 |
|
||||
|
|
|
|
|
(3) |
|||||
|
|
|
∞ |
|
|
|
|
|
|
|
+ cn (z − z0 )n |
+... = ∑cn (z − z0 )n |
|
|
|
|
|||||
n=−∞
будет сходиться в кольце r < |z – z0| < R.
Теорема. Функция f(z), аналитическая в области r <|z – z0|< R, может быть представлена в этой области рядом
∞
f (z) = ∑cn (z − z0 )n ,
n=−∞
который называется рядом Лорана для функции f(z).
Определение. Ряд ... |
c−n |
|
+... + |
c−1 |
называется главной частью ряда |
|
(z − z0 ) |
n |
|
||||
|
|
|
|
z − z0 |
||
Лорана, |
а ряд c0 + c1 (z − z0 ) +... + cn (z − z0 )n +... правильной частью ряда |
|||||
Лорана. |
|
|
|
|
|
|
15
2.6. Особые точки
Определение. Точка, в которой нарушается аналитичность функции f(z), называется особой.
Определение. Точка z0 называется изолированной особой точкой, если существует такая окрестность 0<|z – z0|<R этой точки, в которой f(z) аналитична.
Различают три типа изолированных особых точек в зависимости от поведения функции в их окрестностях:
1. Точка z0 называется устранимой особой точкой, если существует
конечный lim f (z). |
|
z→z0 |
|
2. Точка z0 называется полюсом, если |
lim f (z) = ∞. |
|
z→z0 |
3. Точка z0 называется существенно особой, если lim f (z) не существует.
z→z0
Разложение функции в ряд Лорана в окрестности изолированной особой точки имеет различный вид в зависимости от характера особой точки. Приведем относящуюся сюда теорему.
Теорема. Для того чтобы z0 была устранимой особой точкой, необходимо и достаточно, чтобы ряд (3) не содержал главной части. Для того чтобы z0 была полюсом, необходимо и достаточно, чтобы главная часть ряда (3) содержала лишь конечное число членов. При этом номер старшей отрицательной степени называют порядком полюса. Для того чтобы z0 была существенно особой точкой, необходимо и достаточно, чтобы главная часть ряда (3) содержала бесконечно много членов.
Для успешного решения задач необходимо помнить разложения в ряд некоторых основных элементарных функций
ez =1 + z + |
z2 |
+... + |
zn |
+... |
|
|
|
|
|
(4) |
||||||||||||
|
|
n! |
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
2! |
|
|
|
|
|
|
|
|
|
|
||||
sin z = z − |
|
z3 |
+ |
|
z5 |
|
−... +(−1) |
n |
|
|
z2n+1 |
|
+... |
(5) |
||||||||
3! |
5! |
|
|
(2n |
+1)! |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
cos z =1 − |
z2 |
|
+ |
z4 |
|
− |
... + (−1) |
n |
|
|
z2n |
|
|
+... |
|
(6) |
||||||
2! |
|
4! |
|
|
|
(2n)! |
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Ряды (4)-(6) сходятся на всей плоскости комплексного переменного.