If UC is holomorphic and h:f(U)R is harmonic,
:?:
then hf is harmonic.
?:?
Furthermore, Suris gave us a proof with, what he said, was a minor mistake.

Let z0U. On an open neighborhood of f(z0), say Bz0, we have that H:BC is holomorphic by the poincare lemma. Here h is the real part of H, and we use 7. Proposition 2.1.1. But we can check that hf is the real part of Hf, and by 6. Corollary 2.1.1 hf must be harmonic.

Question

Is the minor mistake just that the f in this proof is actually f|Bz0?

Powered by Forestry.md