A technique for constructing a solution of the Dirichlet problem by taking the upper envelope of all subharmonic functions bounded above by the prescribed boundary data (or dually the lower envelope of superharmonic functions); the resulting Perron solution is harmonic in the domain where the envelope is not −∞ and attains boundary values at regular points.

Principle

Use monotone families of subharmonic (or superharmonic) functions together with the maximum principle to form extremal envelopes that are harmonic wherever they are finite; boundary regularity is then tested by whether the envelope equals the boundary data at the boundary point.

Demonstration

On the unit disc with continuous boundary data, the Perron upper envelope of subharmonic functions dominated by the boundary data coincides with the classical Poisson integral, recovering the harmonic solution; at irregular points the envelope may fail to attain the boundary value.

Misapplication

Applying Perron's method without verifying admissibility conditions (for example allowing subharmonic functions that are not upper bounded near the boundary) can lead to envelopes that are identically −∞ or that fail to be harmonic; ignoring semicontinuity of boundary data may also invalidate conclusions.

Consequence

When Perron's method yields a finite harmonic function that matches the boundary data at every boundary point, it produces a solution of the Dirichlet problem; combined with barrier or Wiener criteria, it provides a method to decide solvability pointwise.

Reversal

Failure of Perron's construction to produce the desired boundary values identifies irregular boundary behavior or genuine insolubility of the classical Dirichlet problem for the given data; in such cases one must weaken the notion of solution or change problem formulation.

Boundary

The method is tailored to linear elliptic operators where sub- and superharmonic notions and the comparison principle hold; extensions to nonlinear operators require an analogous Perron framework for supersolutions and subsolutions with additional structural hypotheses.

Semantic Tension

Tension exists between Perron (an extremal, envelope-based construction) and variational or weak-solution approaches: Perron produces pointwise harmonic candidates under maximum-principle control, while weak methods provide solutions in Sobolev or distributional senses that may differ at irregular boundary points.

Synthesis

Perron's method converts the analytic problem of finding a harmonic function with prescribed boundary values into an extremal construction over admissible sub- or superharmonic families; its success or failure at a boundary point encodes the same geometric-measure phenomena captured by barriers and Wiener-type criteria.