- •§1. Комплексные числа и действия над ними
- •1.Понятие комплексного числа. Действия над комплексными числами
- •2. Геометрическая интерпретация комплексного числа.
- •3. Комплексная плоскость как метрическое пространство
- •§2.Последовательности комплексных чисел. Предел последовательности
- •§3. Расширенная комплексная плоскость
- •§4. Функции комплексного переменного
- •1. Комплексно-значные функции действительной переменной
- •2. Кривые на комплексной плоскости
- •3.Функции комплексного переменного
- •§5. Предел и непрерывность функции комплексного переменного
- •1. Предел функции комплексного переменного
- •2.Непрерывность функции комплексного переменного
- •§6. Геометрическая интерпретация функции комплексного переменного
- •§7.Дифференцирование функции одной комплексной переменной
- •1.Производная функции комплексной переменной
- •2. Необходимые и достаточные условия
- •3. Понятие аналитической функции
- •4. Гармонические функции
- •5. Восстановление аналитической функции
- •6. Геометрический смысл аргумента и модуля производной
- •7. Понятие о конформном отображении
- •§8. Простейшие элементарные функции комплексной переменной
- •1. Линейная функция
- •2. Дробно-линейная функция
- •3.Многочлен
- •4. Показательная функция
- •5. Тригонометрические функции
- •6. Гиперболические функции
- •7. Области однолистности аналитических функций. Обратные функции
- •8. Степенная функция и радикал
- •9. Логарифмическая функция
- •10. Общие степенная и показательная функции
- •§9. Интегрирование функций комплексного переменного
- •1.Понятие интеграла
- •2.Вычисление интеграла от функции комплексного переменного
- •3.Основные свойства интеграла от функции комплексного переменного
- •§10. Интегральная теорема Коши
- •§11. Первообразная
- •§12. Интегральная формула Коши и ее следствия
- •1. Интегральная формула Коши
- •2. Бесконечная дифференцируемость аналитической функции
- •3. Теорема Морера
- •4. Теорема о среднем
- •5. Принцип максимума модуля аналитической функции
2. Необходимые и достаточные условия
дифференцируемости функции комплексной переменной
Теорема 3. Пусть функция определена в некоторой области G. Для того, чтобы функция f(z) была дифференцируемой в точке z области G необходимо и достаточно, чтобы
функции u(x;y) и v(x;y) были дифференцируемы в точке z как функции двух действительных переменных;
в точке z выполнялись равенства
и . (1)
При выполнении всех условий теоремы производная может быть представлена в одном из следующих видов:
. (2)
Равенства (1) называются условиями Коши-Римана (или Даламбера-Эйлера).
Доказательство.
1) Необходимость.
Пусть функция f(z) дифференцируема в точке z области G. Тогда по теореме 1 ее приращение может быть представлено в виде
, где .
- комплексная функция от z. Следовательно, , где . - комплексное число, значит, , a,b . Тогда
f(z)=u+iv=(a+ib)(x+iy)+(1+i2)(x+iy)=ax-by+i(ay+bx)+
+1x-2y+i(1y+2x)=(ax-by+1x-2y)+i(ay+bx+1y+2x).
Отсюда
u=ax-by+1x-2y,
v=bx+ay+2x+1y, где . (3)
Из (3) следует, что
1) функции u(x;y) и v(x;y) дифференцируемы в точке (x;y),
2) их частные производные в точке (x;y):
, ,
, .
Отсюда , , т.е. удовлетворяют условиям Коши-Римана.
Тогда для производной получаем:
.
2) Достаточность.
Пусть в точке z области G выполнены условия 1) и 2) теоремы. Придадим точке z=(x;y) приращение z=x+iy0. По условию
где . (4)
Приращение функции , соответствующее приращению , имеет вид: . Разделим на :
. Используя условия Коши-Римана, перейдём к частным производным по x:
. (5)
Т.к. , , и , то и (огр.БМФ).
Следовательно, переходя в (5) к , получим:
, т.е. f(z) дифференцируема в точке z.
Формулами (2) можно пользоваться для вычисления производных.
Пример 1. f(z)= .
u(x,y)= , v(x,y)=2xy - дифференцируемы на .
,
условия Коши-Римана выполнены на .
Значит, функция дифференцируема на и
.
Замечание. Если функция задана в виде w=f(z) и её дифференцируемость можно установить, пользуясь основными правилами дифференцирования, то нет необходимости использовать теорему 3.
Пример2. Доказать, что функция дифференцируема только в точке и найти
- дифференцируемы в любой точке .
Но и, следовательно, условия Коши – Римана выполняются только в точке z=0, поэтому функция дифференцируема только в этой точке и .
Часто используются условия дифференцируемости функций комплексного переменного, выраженные в полярных координатах r и .
Теорема 4. Пусть функция определена в некоторой области G. Для того чтобы функция f(z) была дифференцируема в некоторой точке необходимо и достаточно, чтобы:
1) u и v являлись дифференцируемыми функциями от r и ,
2) их частные производные удовлетворяли соотношениям:
. (6)
Доказательство.
1) Пусть f(z) дифференцируема в точке . Так как f(z)=u(x,y)+iv(x,y), u(x,y) и v(x,y) дифференцируемы как функции двух переменных x и y (по теореме 3), а дифференцируемы как функции двух переменных r и , то функции и дифференцируемы как сложные функции от r и .
Покажем теперь, что выполнены условия (6).
По правилу дифференцирования сложной функции двух переменных:
,
, .
Используя условия (1), получим:
.
Следовательно, условия (6) выполнены.
2) ( ) Пусть функции и дифференцируемы в точке . Тогда так как и дифференцируемы в этой точке, то и функции дифференцируемы в точке . Следовательно, выполняется условие 1) теоремы 3. Покажем, что выполнено и условие 2) теоремы 3. Для этого надо показать, что из (6) следует (1).
Имеем, .
Значит, .
А также из условия имеем .
Отсюда .
Итак, выполнены условия 1) и 2) теоремы 3. Следовательно, функция f(z) дифференцируема в точке .