Harmonic functions
Definition 3.4.1
Let

be a function of two real variables

and
, defined over a domain

. Suppose that

has second order partial derivatives on

. The function

is called an harmonic function if it verifies
the equation:
Example 3.4.2
Take

. Then over

we have:
It follows that

over

, i.e.

is harmonic

.
Now suppose that
is analytic in a neighborhood
of
. Moreover suppose that the partial derivatives of
and
are differentiable and that the second partial derivatives are continuous
functions on
. From Cauchy-Riemann equations follows:
As the second partial derivatives are continuous on
, we have
and
. It follows that:
and |
|
The computations that we performed before Definition
4.1
can be summarized in a theorem:
Theorem
3.4.3
If
is a function of a complex variable, analytic over a domain
, then
and
are harmonic over
.
Example 3.4.4
Let

. The function is an entire function, as we proved previously. With

and

, we have:
On the one hand, e have:
On the other hand, we have:
The functions

and

are both harmonic.
Definition 3.4.5
Let

be a function of two real variables, harmonic over a domain

. Let

be a function of two real variables, defined over

, and such that

is analytic over

. Then

is called an harmonic conjugate of
.
We can now discover another important property of the analytic conjugates.
Theorem 3.4.7
Let
, as usual.
Suppose that
is analytic over some domain
. Then the level curves of
are orthogonal to the level curves of
.
Proof. Use Cauchy-Riemann equations and show that the gradients of

and

are orthogonal, whence the result.
|