The requirement that at a given boundary point there exists a positive superharmonic function (a barrier) defined in a neighborhood of the point, vanishing at the point and strictly positive in the punctured neighborhood, which forces Perron envelopes to attain the boundary value and thereby guarantees pointwise solvability.

Principle

A barrier prevents nontrivial subharmonic obstruction by providing a superharmonic dominant that squeezes Perron upper and lower solutions to the prescribed boundary value; existence of such a barrier is a local, constructive certificate of regularity.

Demonstration

For the unit ball in R^n, the function x↦|x−x0|^{2−n} (or its truncated, bounded variant) serves as a model barrier near a smooth boundary point x0 when n≥3; constructing a positive superharmonic function that blows up away from x0 but vanishes at x0 shows x0 is regular.

Misapplication

Using a function that is only subharmonic, or a superharmonic function that does not vanish precisely at the point, invalidates the barrier argument; likewise, assuming a global barrier exists from a local check can be false in domains with complicated geometry.

Consequence

If a barrier exists at x0, then every continuous boundary datum is attained by the Perron solution at x0; the barrier gives explicit local control of harmonic approximants and yields pointwise boundary regularity.

Reversal

The negation—absence of any superharmonic barrier at x0—signals possible irregularity: there may exist continuous boundary data that Perron's construction fails to attain at that point, or the solution may exhibit nonuniqueness of limiting values.

Boundary

The notion is framed for linear elliptic operators where superharmonic functions and the maximum principle are available; for nonlinear equations one needs a corresponding notion of supersolution and adapted barrier constructions, which may be more delicate or fail to exist.

Semantic Tension

Tensions arise with capacitary criteria like Wiener: barriers are constructive and function-based whereas Wiener is measure-theoretic; under classical hypotheses they are equivalent notions of regularity, but in practice one is often easier to verify than the other depending on available tools.

Synthesis

Barrier condition gives a local, function-theoretic certificate of boundary regularity: existence of a suitable superharmonic function vanishing at the point ensures Perron envelopes meet boundary data, and under standard ellipticity this equivalently restates capacitary criteria such as Wiener.