A constructive technique for solving Dirichlet boundary value problems for certain elliptic partial differential equations by taking the supremum of a family of subharmonic (or subsolution) functions that are bounded above by the prescribed boundary data.

Principle

Form the largest candidate solution that is pointwise the supremum of all admissible subsolutions respecting the boundary bounds; regularity and the maximum principle then identify this envelope as the desired solution when barriers or appropriate hypotheses hold.

Demonstration

On the unit disk with continuous boundary data, consider the family of subharmonic functions on the disk that extend continuously to the boundary and lie below the boundary values. The pointwise supremum of this family is harmonic in the interior and attains the boundary values under standard regularity conditions, producing the harmonic solution of the Dirichlet problem.

Misapplication

Taking the supremum of functions that fail to be subharmonic, that do not respect the prescribed boundary bounds, or that lack appropriate local regularity can produce a function that is not a solution; similarly ignoring the need for barriers at boundary points invalidates the conclusion.

Consequence

When conditions (ellipticity, boundary regularity or existence of barriers, and a nonempty admissible family) are met, Perron's construction yields existence (and often uniqueness via the maximum principle) of a solution to the Dirichlet problem without direct appeal to variational methods.

Reversal

The dual construction uses the infimum of superharmonic supersolutions bounded below by the boundary data; equating the two envelopes under suitable hypotheses recovers the classical solution and shows consistency of upper and lower constructions.

Boundary

Applies primarily to second-order uniformly elliptic PDEs (including Laplace's equation) and to domains where boundary points admit barriers or appropriate regularity; it does not directly apply to non-elliptic equations, to equations lacking a comparison principle, or to boundary data too irregular to admit any admissible subsolution.

Semantic Tension

Tension exists between Perron's envelope (a nonlinear, order-theoretic construction) and variational Dirichlet principles that minimize energy; both can produce the same harmonic solution in many cases, but Perron's method relies on order and barriers whereas variational methods rely on functional minimization.

Synthesis

Perron's Method is an order-theoretic existence technique: collect all admissible subsolutions constrained by boundary data, take their supremum to form an envelope, and use ellipticity and barrier/regularity hypotheses to promote that envelope to the unique solution of the Dirichlet problem in the appropriate class.