Una técnica constructiva para resolver problemas de valor en la frontera de Dirichlet para ciertas ecuaciones diferenciales parciales elípticas, tomando el supremo de una familia de funciones subarmónicas (o de subsoluciones) que están acotadas por encima por los datos prescritos en la frontera.

Principio

Formar el mayor candidato a solución tomando punto por punto el supremo de todas las subsoluciones admisibles que respetan las cotas de frontera; la elipticidad y el principio del máximo permiten entonces identificar esta envolvente como la solución buscada cuando existen barreras o se cumplen las hipótesis adecuadas.

Demostración

En el disco unidad con datos de frontera continuos, considerar la familia de funciones subarmónicas en el disco que se extienden continuamente al borde y quedan por debajo de los valores de frontera. El supremo puntual de esta familia es armónico en el interior y alcanza los valores de frontera bajo condiciones estándar de regularidad, produciendo la solución armónica del problema de Dirichlet.

Aplicación incorrecta

Tomar el supremo de funciones que no son subarmónicas, que no respetan las cotas prescritas en la frontera o que carecen de la regularidad local necesaria puede producir una función que no es solución; asimismo, ignorar la necesidad de barreras en puntos del borde invalida la conclusión.

Consecuencia

Cuando se cumplen las condiciones (elipticidad, regularidad del borde o existencia de barreras, y familia admisible no vacía), la construcción de Perron proporciona la existencia (y con frecuencia la unicidad mediante el principio del máximo) de una solución del problema de Dirichlet sin recurrir directamente a métodos variacionales.

Inversión

La construcción dual emplea el ínfimo de las superarmónicas que son supersoluciones acotadas por debajo por los datos de frontera; igualar ambas envolventes bajo hipótesis apropiadas recupera la solución clásica y muestra la consistencia de las construcciones superior e inferior.

Límite

Se aplica principalmente a ecuaciones elípticas de segundo orden uniformemente elípticas (incluida la ecuación de Laplace) y a dominios cuyos puntos de frontera admiten barreras o la regularidad apropiada; no se aplica directamente a ecuaciones no elípticas, a operadores sin principio de comparación o a datos de frontera demasiado irregulares.

Tensión semántica

Existe tensión entre la envolvente de Perron (una construcción no lineal basada en el orden) y los principios variacionales de Dirichlet que minimizan energía; ambos pueden producir la misma solución armónica en muchos casos, pero Perron se apoya en el orden y las barreras mientras que los métodos variacionales se basan en la minimización funcional.

Síntesis

El Método De Perron es una técnica de existencia basada en el orden: reunir todas las subsoluciones admisibles restringidas por los datos de frontera, tomar su supremo para formar una envolvente y usar la elipticidad y hipótesis de barrera/regularidad para elevar esa envolvente a la solución única del problema de Dirichlet en la clase apropiada.