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


Условия Коши — Римана, называемые также условиями Даламбера — Эйлера, — соотношения, связывающие вещественную и мнимую части всякой дифференцируемой функции комплексного переменного .

Для того чтобы функция , определённая в некоторой области комплексной плоскости, была дифференцируема в точке как функция комплексного переменного , необходимо и достаточно, чтобы её вещественная и мнимая части и были дифференцируемы в точке как функции вещественных переменных и и чтобы, кроме того, в этой точке выполнялись условия Коши — Римана:

Если условия Коши — Римана выполнены, то производная представима в любой из следующих форм:

не зависящий от способа стремления к нулю.

Это означает, что если функция дифференцируема, то производные функции по x и по y точно одинаковы, то есть необходимость условий Коши — Римана доказана.

Иными словами, нужно доказать в обратную сторону — что если производные функции по x и по y действительно одинаковы, то функция оказывается дифференцируемой вообще в любых направлениях.