##  [Barrier Condition](/barrier-condition-0) 

 Definition

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

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

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

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

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

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

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

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

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.