Производная и дифференциал

Определения производной и дифференциала функции комплексного переменного дословно совпадают с соответствующими определениями для функции одного действительного переменного. Пусть w=f(z)=u+iv определена в некоторой окрестности U точки z0. Дадим независимой переменной z=x+iv приращение ∆z=∆x+i∆y , не выходящее за пределы окрестности U. Тогда соответствующая функция w=f(z). получит соответствующее приращение ∆w=f(z0+∆z)-f(z0). Производной функции w=f(z) в точке z0 называется предел отношения приращения функции ∆w к приращению аргумента ∆z при ∆z->0. Производная обозначается f'(z), w', dw/dz и т.д. Определение производной можно записать в виде

Производная и дифференциал - student2.ru

Предел (1) может и не существовать тогда говорят , что функция w=f(z) не имеет в точке z0 производной. Функция w=f(z) называется дифференцируемой в точке z0 если она определена в некоторой окрестности U точки z0 и ее приращение ∆w можно представить в виде:

∆w=A∆z+α(∆z)*∆z (2)

где число А не зависит от ∆z, а α(∆z)-бесконечно малая функция ∆z->0. Выражение f'(z)∆z называется дифференциалом переменного z и обозначается dz . Т.о образом dw=df(z0)=f'(z0)dz. Дифференциал есть главная линейная часть приращения функции.

Функция u=u(x,y) действительных переменных х и у называется дифференциалом в точке Р000), если она определена в некоторой окрестности т. Р0 и ее полное приращение ∆u=u(x0+∆x,y0+∆y)-u(x0,y0) представлено в виде

∆u=B∆x+C∆y+β(∆x,∆y)∆x+γ(∆x,∆y)∆y (3)

где В и С -действительные числа , независящие от ∆x и ∆y, а β и γ- действительные функции переменных ∆x и ∆y стремящиеся к 0 при ∆x->0 и ∆y->0. Если функция u дифференцируема в точке Р0 то она имеет частные производные в Р0, причем

Производная и дифференциал - student2.ru

но, в отличие от функции одного переменного из существования частных производных функции u(x,y) еще не следует ее дифференцруемость.

Условия Коши-Римана.

Теорема1:Пусть функция комплексно переменного w=f(z)=u(x,y)+iv(x,y) определена в окрестности т. z0=x0+iy0. Для того чтобы f(z) была диффер-мой в т. z0 необходимо и достаточно, чтобы функции u(x,y) и v(x,y) были дифф-мы в т. (x0+y0) и чтобы в этой точке выполнялись условия :

Производная и дифференциал - student2.ru

Равенства (1) называются условиями Коши-Римана.

Док-во: Необход.. Пусть функция w=f(z) диффер-ма в точке z0 т.е. ∆w=∆u+i∆v=f'(z0)∆z+α(∆z)∆z (2).

Обозначим f'(z0)=a+ib ; α(∆z)=β(∆x,∆y)+iγ(∆x,∆y), ∆z=∆x+i∆y, где β и γ-действ-ые функции переменных х и у , стремятся к 0 при ∆x-> u ∆y->0. Подставляя эти равенства в (5) и выделяя действительные и мнимые части , получим: ∆u+i∆v=(a+ib)(∆x+i∆y)+(β(∆x,∆y)+iγ(∆x,∆y))(∆x+i∆y)=

=(a∆x-b∆y+β(∆x,∆y)∆x-γ(∆x,∆y)∆y)+

+i(b∆x+a∆y+β(∆x,∆y)∆y+γ(∆x,∆y)∆x) (3)

Поскольку равенство компл. чисел равносильно равенству их действ. И мнимых частей, то (3) равносильно системе равенств:

Производная и дифференциал - student2.ru

Равенства (3) означают, что функции u(x,y), v(x,y) удовлетворяют условию

∆u=B∆x+C∆y+β(∆x,∆y)∆x+γ(∆x,∆y)∆y, и следовательно, являются диффер-ми, т.к. коэффициент при ∆x и ∆у равны частным производным по х и у соответственно, то из (3) получаем:

a=∂u/∂x ; -b=∂u/∂y ; b=∂v/∂x ; a=∂v/∂y (4)

Отсюда и следует условие (1).

Достаточность. Предположим теперь, что функции u(x,y) и v(x,y) дифференцируемы в точке (х00) и выполнены условия (1). Обозначая

a=∂u/∂x ; -b=∂u/∂y и применяя (1) придем к равенствам (4) .Из (4) и условия диффер-сти функций u(x,y) и v(x,y) имеем:

Производная и дифференциал - student2.ru

где β1212-функции стремящиеся к 0 при ∆x->0 ∆у->0 Отсюда

∆u+i∆v=(a+ib)(∆x+i∆y)+(β1+iβ2)∆x+(γ1+iγ2)∆у (5)

Определим функцию α(∆z) равенством:

α(∆z)=[(β1+iβ2)∆x+(γ1+iγ2)∆у]/∆z и положим А=a+ib, тогда (5) перепишется в виде ∆w=∆u+i∆v=A∆z+α(∆z)∆z, которое совпадает с (2). Для доказательства дифференцируемости f(z) осталось показать, что

lim α(∆z)=0 (при ∆z->0). Из равенства |∆z|=√(∆x)2+(∆y)2 следует, что |∆х|≤|∆z|, |∆у|≤|∆z| поэтому |α(∆z)|

|α(∆z)|≤(|β1+iβ2||∆z|+|γ1+iγ2||∆z|/|∆z|)=|β1+iβ2|+|γ1+iγ2|

при ∆z->0, ∆х->0 и ∆у->0 ,а значит и функции β1212

стремятся к 0 , поэтому α(∆z)->0 при ∆z->0, что и требовалось доказать.

Наши рекомендации