Комплексная функция

Материал из testwiki
Перейти к навигации Перейти к поиску

Шаблон:О Комплексная функция — основной объект изучения теории функций комплексной переменной, комплекснозначная функция комплексного аргумента: f:.

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

f(z)=u(z)+iv(z),

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

ux=vy;
uy=vx.

Примерами аналитических функций комплексной переменной являются: степенная функция, экспонента, гамма-функция, дзета-функция Римана, хребтовая функция и многие другие, а также обратные им функции и любые их комбинации. Однако действительная часть комплексного числа Rez, мнимая часть Imz, комплексное сопряжение z¯, модуль r=|z| и аргумент φ(z) аналитическими функциями комплексного переменного не являются, так как не удовлетворяют условиям Коши — Римана.

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

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

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

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

Литература