 Perron method for the Dirichlet problem

The Perron method constructs a harmonic solution with prescribed boundary data as the pointwise supremum of all subharmonic functions lying below those data. Harmonic lifting proves interior harmonicity; barriers determine whether the supremum attains the boundary values.