Least harmonic majorant by expanding disk lifts

ID: least-harmonic-majorant-by-expanding-disk-lifts

For continuous subharmonic function on the unit disk, let be the Poisson integral of its values on , evaluated inside that disk. Harmonic comparison gives for . The Harnack inequality for harmonic functions makes their limit either finite and harmonic everywhere or everywhere infinite. In the finite case every harmonic majorant dominates every , so their limit is the least harmonic majorant. The supremum must restrict ; the Poisson expression evaluated outside its circle does not have this interpretation.

New to topics? Read the docs here!