Harmonic lifting of a continuous subharmonic function
ID: harmonic-lifting-of-a-continuous-subharmonic-function
On a relatively compact coordinate disk in a Riemann surface, replace a continuous subharmonic function inside by the Poisson integral of its boundary values, leaving it unchanged outside. The resulting function is continuous and subharmonic, equals off , is harmonic on , and satisfies . The maximum principle for subharmonic functions proves the inequality. The pasting assertion follows from harmonic comparison: a harmonic comparison function dominating the pasted function on the boundary of a test domain first dominates , then dominates the disk lift on its part inside .
New to topics? Read the docs here!