Примеры дифференцируемых и недифференцируемых функций
Примеры дифференцируемых и недифференцируемых функций. Отметим, что класс функций, дифференцируемых в смысле комплексного анализа, довольно узок. Самые простые функции комплексного анализа могут быть недифференцируемыми.
Пример 1. . Здесь
Условия Коши-Римана не выполнены, значит функция нигде не дифференцируема.
Пример 2. Проанализируем еще одну функцию с точки зрения дифференцируемости. С помощью условия Коши-Римана легко проверить, что функция не дифференцируема при
. По определению можно проверить, что эта функция будет все же дифференцируема в нуле. В самом деле,
Модуль этой функции
Значит
то есть производная функции в нуле существует и равна нулю.
Пример 3. Пусть , где
произвольные комплексные числа. Очевидно, что
поэтому
Значит при любом линейная функция
дифференцируема в смысле комплексного анализа и
Свойства производной. Основные свойства производных вытекают из свойств пределов и доказываются так же, как и в действительном анализе.
Перечислим их: если функции и
дифференцируемы в точке
, то
1)
2) (
— комплексное число);
3)
при условии, что
5) Если дифференцируема в точке
, а
дифференцируема в точке
, то сложная функция
дифференцируема в точке
, и
Пример 4. Так как функция дифференцируема при любом
, то из приведенных свойств вытекает, что любой полином от
с комплексными коэффициентами
является дифференцируемой функцией при любом .
Пример 5. Любая рациональная функция (частное двух полиномов)
дифференцируема во всех точках, где знаменатель не равен нулю, то есть во всей комплексной плоскости за исключением корней полинома .
Голоморфные функции. Функция называется голоморфной в точке области определения, если она дифференцируема в смысле комплексного анализа не только в самой точке
, но и во всех точках некоторой окрестности точки
.
Функция называется голоморфной в области, если она голоморфна во всех точках области.
Заметим, что, если функция голоморфна в области
, и ее производная тождественно равна нулю в
, то функция постоянна в
. Действительно, если
, то из равенства (3.7) следует, что частные производные функции
по
и по
тождественно равны нулю в
, следовательно, функция
постоянна по
при любом
и постоянна по
при любом
. Значит она постоянна на любой горизонтальной и вертикальной прямой в области
, и поэтому она будет постоянной на любой ломаной с горизонтальными и вертикальными звеньям. Но тогда она постоянна во всей области
.