La exigencia de que en un punto del borde exista una función superarmónica positiva (una barrera) definida en un vecindario del punto, que se anula en el punto y es estrictamente positiva en el vecindario puntual, y que obliga a las envolventes de Perron a alcanzar el valor en el borde garantizando así la solvencia puntual.

Principio

Una barrera impide obstrucciones subarmónicas no triviales al proporcionar un dominante superarmónico que comprime las soluciones superiores e inferiores de Perron hasta el valor de borde prescrito; la existencia de tal barrera es un certificado local y constructivo de regularidad.

Demostración

Para la bola unidad en R^n, la función x↦|x−x0|^{2−n} (o su variante truncada y acotada) sirve como barrera modelo cerca de un punto liso x0 del borde cuando n≥3; construir una función superarmónica positiva que crezca lejos de x0 pero se anule en x0 muestra que x0 es regular.

Aplicación incorrecta

Usar una función que sea solo subarmónica, o una superarmónica que no se anule exactamente en el punto, invalida el argumento de la barrera; asimismo, asumir que existe una barrera global a partir de una comprobación local puede ser falso en dominios con geometría complicada.

Consecuencia

Si existe una barrera en x0, entonces cualquier dato continuo en el borde es alcanzado por la solución de Perron en x0; la barrera proporciona control local explícito de los aproximantes armónicos y garantiza la regularidad puntual en el borde.

Inversión

La ausencia de cualquier barrera superarmónica en x0 indica posible irregularidad: pueden existir datos continuos en el borde que la construcción de Perron no llegue a alcanzar en ese punto, o la solución puede exhibir valores límite no únicos.

Límite

La noción se formula para operadores elípticos lineales donde existen funciones superarmónicas y se aplica el principio del máximo; para ecuaciones no lineales se necesita una noción análoga de supersolución y construcciones de barreras adaptadas, que pueden ser más delicadas o inexistentes.

Tensión semántica

Hay tensiones con criterios capacitares como Wiener: las barreras son constructivas y centradas en funciones, mientras que Wiener es de naturaleza geométrica-mesurada; bajo hipótesis clásicas son equivalentes, pero en la práctica uno puede ser más fácil de verificar que el otro según las herramientas disponibles.

Síntesis

La condición de barrera proporciona un certificado local y funcional de regularidad en el borde: la existencia de una superarmónica adecuada que se anula en el punto asegura que las envolventes de Perron cumplen los datos de borde y, bajo ellipticidad estándar, equivale a criterios capacitares como el de Wiener.