Notice that C is also a vector space over the real numbers. The standard definition of a derivative of a function f:UR2 at (x0,y0)for UR2 is that there exists some matrix AR2×2 such that the following equation holds:

f(x,y)f(x0,y0)=A[xx0,yy0]T+ϕ([xx0,yy0])

such that:

lim(x,y)(x0,y0)|ϕ(xx0,yy0)||(xx0,yy0)|=0

This means that f has a R-linear approximation at (x0,y0). As vector spaces over R, R2C. But C has the structure of an algebra, so what if we utilize that here?

We notice that multiplication on the left by a complex number z=a+bi is a R-linear map M:CC. This means that we have a matrix representation of such a map. Let's figure out what that is, exactly. We know the first entry of the matrix will be ϕMϕ1(1,0)=ϕ(M(1))=ϕ(a+bi)=[1,1]. The second entry will be the same thing evaluated at [0,1], which yields [1,1]. So the matrix representation of M with respect to the standard basis of C is:

[abba]

One can show that all of these matrices represent multiplication by a complex number. This suggests that A should be of the form above.

But we also know that A has a special form. Namely, if f(x,y)=(u(x,y),v(x,y)), then

A=[δuδxδuδyδvδxδvδy]

From these two observations, we have a sufficient condition to show complex differentiability.

Powered by Forestry.md