From zero solutions with partially bounded supports to solvability and Runge approximation for partial differential equations

Resumen Técnico: De soluciones nulas con soportes parcialmente acotados a la solvabilidad y la aproximación de Runge para ecuaciones diferenciales parciales

Planteamiento del problema
El artículo aborda dos problemas fundamentales en la teoría de los operadores diferenciales parciales (ODP) lineales de coeficientes constantes:

1. Solvabilidad: Caracterizar las condiciones geométricas bajo las cuales un ODP $P(D)$ es sobreyectivo en espacios de funciones suaves, distribuciones o subespacios locales (específicamente, determinar cuándo un conjunto abierto $X \subset \mathbb{R}^d$ es $P$-convexo para soportes). Si bien existen resultados clásicos para operadores elípticos y casos específicos (por ejemplo, el operador de onda en dos dimensiones), una caracterización geométrica general para operadores no elípticos en dimensiones arbitrarias sigue siendo esquiva.
2. Aproximación de Runge: Determinar criterios geométricos para la aproximabilidad de soluciones a ecuaciones homogéneas en un conjunto más pequeño por soluciones en un conjunto más grande (pares de Runge) a través de diversos espacios de funciones, incluyendo funciones suaves, distribuciones y jets de Whitney suaves. Esto es particularmente relevante para sistemas de ecuaciones que surgen en la dinámica de fluidos.

Los autores señalan que la existencia de "soluciones nulas" no triviales (soluciones a $P(D)u=0$) con propiedades de soporte específicas es un prerrequisito para establecer condiciones necesarias para la sobreyectividad y para probar teoremas de tipo Runge.

Metodología
El artículo emplea un enfoque constructivo centrado en la existencia de soluciones nulas específicas, seguido de argumentos de análisis funcional para derivar caracterizaciones geométricas.

1. Construcción de soluciones nulas (Sección 2):

   • Los autores establecen primero la existencia de soluciones nulas suaves no triviales con soportes parcialmente acotados para una amplia clase de operadores.
   • Utilizan clases de Gevrey y resuelven un problema de Cauchy para operadores de la forma $P(\xi', \xi_d) = \xi_d^m + \sum Q_k(\xi')\xi_d^k$ (Teorema 2). Esto implica la construcción de soluciones mediante expansiones en series en espacios de Gevrey y la prueba de convergencia utilizando estimaciones sobre las derivadas de los coeficientes.
   • Utilizando técnicas de convolución y la Lema 4 (propiedades de la convolución con soportes parcialmente acotados), extienden estos resultados a operadores que son ortogonalmente degenerados en un subespacio lineal $Z$. Específicamente, prueban la existencia de una solución $v$ cuyo soporte es acotado en las direcciones ortogonales a $Z$ (Teorema 9).
   • Esta clase de operadores incluye todos los operadores semielípticos y operadores cuya parte principal es el operador de onda (para $d \ge 2$).

2. Caracterización geométrica de la $P$-convexidad (Sección 3):

   • Aprovechando las soluciones nulas construidas, los autores derivan una condición necesaria para la $P$-convexidad: la función de distancia al borde $d_X$ debe satisfacer el principio del mínimo en cada subespacio afín paralelo al complemento ortogonal del cono característico ($Z^\perp$).
   • Para operadores ortogonalmente degenerados en su cono característico lineal, esta condición se muestra como suficiente.
   • Los autores introducen conceptos geométicos tales como puntos críticos y puntos de soporte interior con respecto a un subespacio para reformular la condición del principio del mínimo. Prueban que la ausencia de tales puntos es equivalente a la $P$-convexidad para esta clase de operadores (Corolario 21).
   • Además, establecen que para los operadores semielípticos, el núcleo del operador satisface la condición ($\Omega$) (una propiedad de los espacios de Fréchet relacionada con la teoría de división), lo que implica la sobreyectividad en espacios de funciones suaves con valores vectoriales y resuelve los problemas de dependencia de parámetros.

3. Aproximación de Runge (Secciones 4 y 5):

   • La existencia de soluciones nulas con soportes parcialmente acotados se utiliza para derivar condiciones necesarias para los pares de Runge. Específicamente, si $(F_1, F_2)$ es un par de Runge, $F_2$ no puede contener un componente conexo acotado de $(\mathbb{R}^d \setminus F_1) \cap (x + Z^\perp)$.
   • Para operadores ortogonalmente degenerados en su cono característico, estas condiciones se muestran como suficientes (Teorema 33).
   • El marco se extiende a sistemas cuadrados de ODP de coeficientes constantes. Utilizando la matriz adjunta y el determinante del sistema, los autores reducen el problema de aproximación para sistemas al caso escalar (Teorema 39).
   • Aplican estos resultados generales a sistemas específicos:
     • Campos de Beltrami (eigenfunciones del operador rotacional/curl).
     • El sistema de Stokes no estacionario en 3D.

Contribuciones clave y resultados

• Existencia de soluciones nulas parcialmente acotadas: El artículo prueba la existencia de soluciones nulas suaves no triviales con soportes acotados en direcciones específicas para cualquier operador de coeficientes constantes que sea ortogonalmente degenerado en un subespacio lineal (Teorema 9). Esto generaliza resultados previos (por ejemplo, los de Cohoon) y se aplica a operadores semielípticos y de tipo onda.
• Caracterización geométrica de la solvabilidad: Para la clase de operadores ortogonalmente degenerados en su cono característico lineal (que incluye a todos los operadores semielípticos), el artículo proporciona una caracterización geométrica completa de la $P$-convexidad para soportes. Esto se expresa mediante el principio del mínimo de la función de distancia al borde en hiperplanos característicos y la no existencia de puntos críticos o puntos de soporte interior (Corolario 21).
• Condición ($\Omega$) y dependencia de parámetros: Los autores prueban que el núcleo de todo operador semielíptico sobreyectivo satisface la condición ($\Omega$). En consecuencia, mediante el teorema de división de Vogt y Wagner, estos operadores son sobreyectivos en espacios de funciones suaves con valores vectoriales, resolviendo el problema de la dependencia de parámetros para estas ecuaciones.
• Aproximación de Runge para sistemas: Se desarrolla un marco general para la aproximación de Runge de sistemas cuadrados. Este recupera resultados conocidos para los campos de Beltrami y el sistema de Stokes no estacionario en 3D (estudiados previamente por Higaki/Sueur y Enciso/Peralta-Salas) mediante métodos alternativos.
• Jets de Whitney y aproximación en el borde: Los resultados se extienden a espacios de jets de Whitney suaves en conjuntos cerrados. Esto proporciona teoremas de aproximación hasta el borde para dominios con fronteras de continuidad Hölder, complementando los resultados existentes para conjuntos abiertos.

Significancia y Reivindicaciones
El artículo afirma extender las ideas geométricas clásicas de Hörmander respecto a la $P$-convexidad a una gran clase de operadores no elípticos, específicamente aquellos ortogonalmente degenerados en sus conos característicos. Al establecer la existencia de soluciones nulas con soportes parcialmente acotados, los autores proporcionan una herramienta unificada para abordar tanto la solvabilidad como los problemas de aproximación.

El trabajo es significativo por:

1. Unificación: Ofrece un marco general que cubre operadores semielípticos, operadores de onda, diversos sistemas, unificando resultados anteriormente dispares.
2. Nuevos criterios geométricos: Proporciona condiciones geométricas explícitas (principio del mínimo, ausencia de puntos críticos) para la solvabilidad y la aproximación en dimensiones donde estas caracterizaciones eran previamente incompletas.
3. Aplicaciones a la Dinámica de Fluidos: Los resultados se aplican directamente a los sistemas de Stokes y Beltrami, ofreciendo nuevos teoremas de aproximación (incluyendo la aproximación hasta el borde para dominios Hölder) que son relevantes para el estudio de las ecuaciones de fluidos.
4. Análisis Funcional: La prueba de que los núcleos semielípticos satisfacen la condición ($\Omega$) resuelve una cuestión específica sobre la dependencia de parámetros para estos operadores.

Los autores enfatizan que, si bien la caracterización geométrica de la $P$-convexidad sigue abierta para operadores generales en dimensiones arbitrarias, sus resultados cubren una "amplia clase" que incluye a todos los operadores semielípticos, extendiendo así significativamente el panorama conocido de la teoría de la solvabilidad y la aproximación.