Harmonic Conjugates: Order Matters!
July 16, 2011
I was skimming over Brown’s Complex Analysis book, and I came across a neat little exercise I thought I would share. The solution is not difficult — indeed, it is just a manipulation of equations — but the idea is interesting and especially telling about the strange kinds of not-so-symmetric things that go on in complex analysis.
Terms and Things.
Let’s quickly define some concepts and terms; if you already know what analytic, Cauchy-Riemann, and Harmonic mean, then skip to the next section. Complex functions can be written as where $u,v$ are real functions. Notice that little in the corner there next to the function; this makes the imaginary part of the function . If a function is analytic at some point then it is expressible as a power series in a neighborhood of that point. There are a few ways to check to see if a function is analytic, but the one we will be using is the following:
Theorem. A function is analytic at some point if when we have that the partial derivative exist in a neighborhood of and are continuous at , and and at (i.e., that the function satisfies the Cauchy-Riemann Criteria).
So, this looks really complicated and all, but it turns out to be relatively easy in practice. For example,
Example. . Then and . Therefore, we have that , , and . This is seen to satisfy the CR Criteria as above, and we note that all of the partials exist everywhere and are continuous everywhere; this implies is actually analytic everywhere on the complex plane! Nice.
Additionally, we have the notion that a function is Harmonic if we have that , where these are the second partials of (that is, take and differentiate it with respect to twice to get ).
One cool thing is that every analytic function is that both and $v$ are harmonic. We can prove this pretty easily. Note by the CR equations (and Fubini) that
and hence .
On the other hand, given some harmonic function , is there some analytic function such that is the real part, and there is some which is the imaginary part of ? If such a exists to make an analytic with , then we say that is the harmonic conjugate of . Notice the order here! Can we also say that is the harmonic conjugate of in this case? This will be the main point of the next section.
Does Order Matter for Harmonic Conjugates?
In the last section, we noted that if was harmonic, then if we found some that is the imaginary part of an analytic function then is the harmonic conjugate of . But what does it mean to say this? It means that, in particular,
by the Cauchy-Riemann equations. Now suppose that we said that is the harmonic conjugate of . This means there is some function (Notice which is the real and which is the complex part!) which is analytic. What does this mean? In particular, it says that,
by the Cauchy-Riemann equations.
Thus, what does it mean if is a harmonic conjugate of and is a harmonic conjugate of ?
It says, by the above two equations, that and , which implies . Similarly, . Hence, by integrating, we must have that and must be constant (and therefore must also be constant).
Thus, we can throw away the order of harmonic conjugate pairs if and only if we only care about constant functions. In other words, yeah, order matters.