For a harmonic function , put . Its Wirtinger derivative is
so the Cauchy-Riemann equations make holomorphic. In the simply connected domain it has a single-valued primitive
The integral is path independent: local holomorphic primitives make its value invariant under path homotopies, and being simply connected makes any two paths with the given endpoints homotopic, as in Question 3.
Since , the real part satisfies and . Hence is constant on the connected domain. Adding a real constant corrects it, producing a single-valued holomorphic with . The imaginary part is a harmonic conjugate and is unique up to an additive real constant. This is the global harmonic conjugate criterion by vanishing periods in the simply connected case.

Articles by others on the same topic (0)

There are currently no matching articles.