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