## [Condición de Barrera](/es/node/62645) Definición 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 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 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 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 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 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 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 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 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.