Resultado de la teoría del potencial que ofrece estimaciones comparativas de tipo Harnack para funciones armónicas positivas que se anulan en una porción de la frontera de un dominio, describiendo su comportamiento relativo cerca de la frontera.

Principio

Si dos funciones armónicas no negativas en un dominio se anulan de forma continua en la misma porción de la frontera, entonces su cociente permanece acotado (y a menudo Hölder-continuo) hasta la frontera bajo condiciones geométricas adecuadas sobre el dominio y el operador.

Demostración

En un dominio Lipschitz o NTA en R^n, dos funciones armónicas positivas que se anulan en el mismo parche de la frontera verifican que u/v está acotado cerca de dicho parche; de manera concreta, para soluciones de la ecuación de Laplace con traza nula en una porción plana de la frontera se construyen barreras y se usan cadenas de Harnack para obtener la comparación.

Aplicación incorrecta

Aplicarlo a funciones que cambian de signo, a funciones meramente subarmónicas o a dominios con frontera fractal o muy irregular sin verificar las hipótesis geométricas conduce a conclusiones falsas sobre los cocientes en la frontera.

Consecuencia

Cuando es válido, el principio proporciona un control preciso del comportamiento relativo en la frontera, controla los límites en la frontera y es una herramienta clave para identificar puntos de la frontera de Martin y deducir regularidad y unicidad en problemas de contorno.

Inversión

Si fallan las condiciones (por ejemplo, las funciones no se anulan en la misma porción de la frontera o el dominio carece de la regularidad requerida), no existe una acotación uniforme del cociente y pueden observarse oscilaciones relativas arbitrariamente grandes cerca de la frontera.

Límite

Se aplica a funciones armónicas positivas (o más generalmente, a soluciones positivas de ecuaciones elípticas uniformes) que se anulan en una porción común de la frontera en dominios con regularidad geométrica (Lipschitz, NTA); excluye soluciones que cambian de signo, problemas parabólicos sin adaptación y fronteras muy irregulares.

Tensión semántica

A menudo se confunde con el lema de Hopf (que da información puntual sobre la derivada normal no nula) o con desigualdades de Harnack interiores; el principio de Harnack en la frontera es comparativo y trata el comportamiento cercano a la frontera, mientras que Hopf es local y direccional.

Síntesis

El Principio de Harnack en la Frontera sintetiza una afirmación de regularidad comparativa: bajo hipótesis sobre el dominio y el operador, funciones armónicas positivas que se anulan conjuntamente en una porción de la frontera deben comportarse proporcionalmente cerca de ella, produciendo cocientes acotados y a menudo Hölder, esenciales para el análisis fino de la frontera.