Why the real and imaginary parts of a complex analytic function are not independent?

I have trouble understanding a whole array of things in complex analysis, which I have basically tracked to the statement “real and imaginary parts of a complex analytic function are not independent.”

Because of that, I don’t really understand the Cauchy-Riemann equations, the fact that for an analytic function, if its real part is constant, then the whole function is constant, and other fundamental things, such as Cauchy’s Integral formula, Maximum modulus principle, etc. (the last two just make zero sense to me.)

The thing is, I pretty much understand the proofs, starting from the beginning, when we define differentiability of a complex function. I don’t have any problems with the introduction of complex numbers as well, and different identities.

But I just don’t have any intuition for why things are like that, and it’s very frustrating, because I always feel like I don’t understand complex numbers at all, and just do some standard exercises in class, relying on proven facts that I just assume to be true as a starting point.

But as soon as I go and try to understand the meaning of things we in the class work with, I just immediately stop understanding anything.

Can anyone help me understand why the real and imaginary parts of a complex function are not independent?

Answer

It’s really just a question of the definition of the derivative. If z=x+yi, f(z)=u(x,y)+iv(x,y) can be any pair of functions u,v.

But if f is differentiable, then:

f(z)=limh0f(z+h)f(z)h

then h can approach 0 in many different ways, since h is complex.

For example, you can have h0 on the real line. Then: f(z)=ux+ivx

But if h0 along the imaginary part, then:

f(z)=1i(uy+ivy)=vyiuy

So for the limit to be independent of any path you take h0 you must have at minimum that ux=vy,vx=uy

So for (1) to be true, we need u,v to satisfy the differential equations in (2).

It turns out that (2) is enough to ensure that (1) converges to a single value, but that is not 100% obvious.

The equations in (2) are called the Cauchy-Riemann equations.


Another way of looking at it is, given a function f:R2R2 mapping (xy)(u(x,y)v(x,y)) there is a matrix derivative standard from multi-variable calculus:

Df(xy)=(uxuyvxvy)

For small vectors h=(h1h2) you get f((xy)+h)f(xy)+Df(xy)h.

In particular, Df is in some sense the “best” matrix, A, for estimating f(v+h)f(v)+Ah.

Now, these matrices are not complex numbers. But an interesting fact is that the set of matrices of the form:

(abba)

are a ring isomorphic to the ring of complex numbers. Specifically, the above matrix corresponds to a+bi.

We also have that:

(abba)(xy)=(axbybx+ay)

compare that with:

(a+bi)(x+yi)=(axby)+(ay+bx)i.

So these matrices (4) act on (x,y)T the same way that a+bi acts on x+yi by multiplication.

The Cauchy-Riemann equations (2) just mean that Df(xy) is an example of (4) – that is, when the Cauchy-Riemann equations are true for u,v then the multi-variate derivative (3) can be thought of as a complex number.

So we see that when we satisfy Cauchy-Riemann, Df(xy)h can be seen as multiplication of complex numbers, f(z) and h=h1+h2i. Then you have:

f(z+h)f(z)+f(z)h.

where f(z) is not just the best estimating complex number for this approximation, but also f(z) is the best linear operation on h for this estimation.

So complex analysis is taking the vector function and asking, f “when does it make sense to think of the derivative of the R2R2 as a complex number?” That is exactly when Cauchy-Riemann is true.

In the general case f:R2R2, we can’t really take the second derivative and get an estimate f(z+h)f(z)+Df(z)h+12D2f(z)h2+. We can’t get easy equivalents to power series approximations of f.

But when Df satisfies Cauchy-Riemann, we can think if Df as a complex-valued function.

So complex analysis is a subset of the real analysis of functions R2R2 such that the derivative matrix Df can be thought of as a complex number. This set of functions turns out to have a lot of seemingly magical properties.

This complex differentiability turns out to be fairly strong property on the functions we study. The niceness of the Cauchy-Riemann equations gives up some truly lovely results.

Attribution
Source : Link , Question Author : Nick The Dick , Answer Author : Thomas Andrews

Leave a Comment