The prefix bi- is apt to cause confusion; how often does a bimonthly event occur? Its usage in mathematics is not free of inconsistency, either. Compare:
- Biholomorphic: a holomorphic map
such that
is also holomorphic
- Biharmonic: a function
such that
Both of these usages are well established. Let’s switch them around just for the fun of it.
(1) Recall that (where
) is holomorphic if
. Following the second usage pattern, we would call
“biholomorphic” if
. What can we say about such functions? Let
. Clearly,
is holomorphic. Now introduce
. This function satisfies
, i.e., it is also holomorphic. Conclusion: the solutions of the equation
are precisely the functions of the form
where
and
are holomorphic.
This representation formula tells us a lot about “biholomorphic” functions. They are very smooth: the real and imaginary parts are real-analytic. They are locally invertible outside of the set , which is usually 1-dimensional (compare to the discreteness of the branch set of holomorphic functions). They are not open in general: consider
for example. The modulus
does not satisfy the maximum principle: consider
. But Liouville’s theorem does hold: if
is bounded in
, it is constant.
(2) A map (where
) is harmonic if
, or, put another way, if
where
and
are real harmonic functions. Following the first usage pattern, we would call
“biharmonic” if
exists and is also harmonic. Any invertible holomorphic map clearly satisfies this definition. Anything else? Well, there are affine maps
which are invertible as long as
(here
are constant.) The inverse of an affine map is also affine, hence harmonic. Anything else? Nothing comes to mind.
But in 1945 Gustave Choquet gave this example:
That’s not a typo: both the regular tangent and its hyperbolic cousin appear in the formula. It is not at all obvious (but true) that is a harmonic function of
and
. It is rather obvious that the map is an involution, hence “biharmonic” according to our definition.
Now that we have one “biharmonic” map that’s neither holomorphic nor affine, are there others? No (apart from trivial variations of ). Choquet attributed this uniqueness result to Jacques Deny who did not publish it. The first published classification of “biharmonic” maps appeared in a 1987 paper by Edgar Reich in a rather different form:
If and
are harmonic, then
is either holomorphic, affine, or of the form
where
are complex constants such that
and
in the domain of
.
The proof can be found in Peter Duren’s book from which I quoted the statement of this result.