La regularidad elíptica es el conjunto de resultados según los cuales las soluciones débiles de ecuaciones elípticas son, de hecho, más regulares de lo inicialmente supuesto: si L es un operador diferencial elíptico con coeficientes suficientemente regulares y L u = f con f suave (o en un espacio de Sobolev adecuado), entonces u hereda derivadas adicionales hasta la regularidad permitida por coeficientes y frontera.

Principio

La elipticidad del símbolo principal implica estimaciones a priori que controlan derivadas de orden superior de la solución mediante normas de orden inferior de los datos; herramientas microlocales y funcionales convierten el control del término derecho en mayor regularidad de la solución (interior y, con compatibilidad de frontera, hasta la frontera).

Demostración

Para un operador uniformemente elíptico de segundo orden en forma de divergencia en un dominio suave, la solución débil de Lax–Milgram en H¹ pertenece localmente a H² cuando el término derecho está en L²; si los coeficientes y f son C^∞ entonces u es C^∞ en el interior del dominio (regularidad interior).

Aplicación incorrecta

Esperar el mismo efecto suavizante para operadores no elípticos (hiperbólicos o elípticos degenerados) o para operadores elípticos con coeficientes irregulares sin ajustar los espacios funcionales; ignorar la regularidad de la frontera y las condiciones de compatibilidad puede invalidar conclusiones hasta la frontera.

Consecuencia

Permite 'bootstrap' de regularidad: una vez obtenido un aumento en derivadas, la aplicación repetida conduce a mayor suavidad; sustenta la obtención de soluciones clásicas a partir de soluciones débiles y justifica las estimaciones elípticas usadas en análisis de EDP no lineales y aplicaciones geométricas.

Inversión

Las ecuaciones hiperbólicas muestran propagación de singularidades a lo largo de características en lugar de suavizar; invertir la regularidad elíptica contrasta el suavizado con el transporte de irregularidades en vez de su amortiguamiento.

Límite

La regularidad elíptica interior suele requerir solo elipticidad y regularidad de coeficientes; la regularidad hasta la frontera exige condiciones de contorno compatibles, suavidad de la frontera y control de los datos de frontera — sin ello, las ganancias interiores pueden no extenderse hasta la frontera.

Tensión semántica

Regularidad elíptica vs hipoelipticidad: la regularidad elíptica es una forma fuerte de hipoelipticidad para operadores elípticos, pero los operadores hipoelípticos pueden proporcionar suavizado bajo condiciones de símbolo más débiles; surgen distinciones en propagación microlocal y en las hipótesis requeridas.

Síntesis

La regularidad elíptica afirma que la elipticidad transforma el control de los datos en una mejora de la regularidad de las soluciones: las soluciones débiles de EDP elípticas son más suaves en el interior (y, con compatibilidad, hasta la frontera), permitiendo pasar de soluciones en el sentido de distribuciones a soluciones clásicas bajo hipótesis apropiadas.