An alternative solvability criterion for the Dirichlet problem for the minimal surface equation and an application to the mean curvature flow

1. Planteamiento del Problema

El artículo aborda el problema de Dirichlet para la ecuación de superficies mínimas en una variedad Riemanniana completa $M$ de dimensión $n \ge 2$. Se busca encontrar una función $u \in C^2(\Omega)$ tal que su gráfica sea una superficie mínima en $M \times \mathbb{R}$, satisfaciendo:
$$\begin{cases} M(u) = 0 & \text{en } \Omega, \\ u = \phi & \text{en } \partial\Omega, \end{cases}$$
donde $\Omega \subset M$ es un dominio de clase $C^2$ y $\phi \in C^2(\Omega)$ es el dato de frontera.

El desafío principal:
En el caso clásico (espacio euclidiano $\mathbb{R}^n$), si el dominio $\Omega$ no es convexo en media (es decir, si la curvatura media $H_{\partial\Omega}$ es negativa en alguna parte de la frontera, denotado como $\partial\Omega^-$), la existencia de soluciones para datos de frontera arbitrarios no está garantizada.

• El criterio clásico de Jenkins-Serrin establece que, si $\partial\Omega^- \neq \emptyset$, la oscilación del dato de frontera $\phi$ debe estar acotada por una constante $B$ que depende de la geometría local de la frontera y de las derivadas de $\phi$.
• Limitaciones del criterio existente: La constante $B$ de Jenkins-Serrin es extremadamente compleja de calcular explícitamente, ya que depende de vecindades locales de la frontera y mezcla las propiedades geométricas del dominio con las del dato de frontera, dificultando su aplicación práctica, especialmente en dominios no acotados o en variedades generales.

2. Metodología

Los autores proponen un enfoque alternativo basado en la construcción explícita de barreras (sub y supersoluciones) mediante la resolución de una Ecuación Diferencial Ordinaria (EDO) de segundo orden.

A. Condiciones Geométricas del Dominio

Introducen dos condiciones clave para la parte no convexa de la frontera ($\partial\Omega^-$):

1. Condición de Esfera Exterior ($r$-es): En cada punto $p \in \partial\Omega^-$, existe una esfera geodésica externa de radio $r$ tangente a la frontera.
2. Condición Local Hadamard $r$-es: Una refinación para variedades Hadamard (curvatura seccional no positiva) que impone restricciones sobre la curvatura media de las esferas geodésicas concéntricas y el Hessiano de la función distancia.

B. Construcción de la Barrera

En lugar de usar estimaciones globales complejas, los autores definen una función auxiliar $w = \phi + \psi \circ d$, donde $d$ es la distancia a una esfera exterior y $\psi$ es una función escalar.

• La función $\psi$ se determina resolviendo la EDO:
  $$\psi'' - \sigma \psi' + \varrho = 0$$
  donde los coeficientes $\sigma$ y $\varrho$ dependen de las derivadas de $\phi$ (acotadas por $\tau$) y de los parámetros geométricos del dominio ($\lambda_r$, $\mu_r$).
• Esta construcción permite controlar el operador de superficie mínima $M(w)$ para asegurar que $M(w) \le 0$ (supersolución) o $M(w) \ge 0$ (subsolución).

C. Separación de Variables

Un punto central de la metodología es que las restricciones geométricas (curvatura de la frontera) y los datos de frontera ($\phi$) entran de manera independiente en las desigualdades resultantes, a diferencia del criterio de Jenkins-Serrin donde están acoplados.

3. Contribuciones Clave y Resultados Principales

Teorema de Solvabilidad (Teorema 3)

Los autores establecen una condición suficiente para la existencia de solución al problema de Dirichlet:

• Si $\partial\Omega^- = \emptyset$, existe solución para cualquier dato continuo (resultado conocido).
• Si $\partial\Omega^- \neq \emptyset$ y satisface la condición local Hadamard $r$-es, existe solución si la oscilación de $\phi$ ($\omega_\phi$) cumple una desigualdad explícita (Ecuación 17) que involucra:
  • Parámetros geométricos: $\lambda_r$ (ínfimo de la curvatura media de las esferas externas) y $\mu_r$ (máximo del Hessiano de la distancia).
  • Parámetros del dato: $\tau(\phi)$ (máximo de $|\nabla \phi|, |\nabla^2 \phi|, |\Delta \phi|$).

Esta condición es menos restrictiva que la de Jenkins-Serrin en ciertos casos y es aplicable a dominios no acotados.

Caso de Variedades Hadamard (Corolario 4)

Para variedades Hadamard, la condición se simplifica notablemente (Ecuación 19), relacionando directamente la curvatura de la frontera con la oscilación y derivadas del dato de frontera, sin depender de constantes locales complejas.

Ejemplo Numérico (Sección 1.2)

Presentan un ejemplo en $\mathbb{R}^2$ con un dominio acotado y datos de frontera específicos donde:

• El criterio de Jenkins-Serrin falla (la oscilación permitida $B$ es menor que la oscilación real de $\phi$).
• El nuevo criterio garantiza la existencia de solución, demostrando la superioridad práctica del método propuesto.

4. Aplicación al Flujo de Curvatura Media

El artículo extiende estos resultados al contexto parabólico del flujo de curvatura media de gráficas:
$$\partial_t u = M(u)$$

• Conexión Elíptica-Parabólica: La misma EDO (38) que genera las barreras elípticas se reutiliza para construir barreras parabólicas.
• Resultado (Teorema 10): Bajo las mismas condiciones estructurales (sin necesidad de convexidad media de la frontera), se garantiza la existencia local en el tiempo de una solución clásica $u \in C^{2,1}$.
• Mantenimiento de la Graficidad: La solución permanece como una gráfica sobre $\Omega$ durante un tiempo $T > 0$, incluso si la frontera no es convexa en media. Esto se logra porque las barreras controlan el gradiente, evitando que la gráfica desarrolle tangentes verticales.

5. Significado e Impacto

1. Generalización Geométrica: El trabajo proporciona un marco unificado para tratar problemas de superficies mínimas y flujo de curvatura media en variedades Riemannianas generales, incluyendo dominios no convexos y no acotados.
2. Practicidad: Ofrece un criterio de solvabilidad explícito y verificable, superando la dificultad computacional del criterio clásico de Jenkins-Serrin.
3. Independencia de Datos: Al separar la geometría del dominio de las propiedades del dato de frontera, facilita el análisis de problemas donde el dato varía pero la geometría es fija, o viceversa.
4. Puente Teórico: Establece un vínculo directo entre la teoría elíptica (estacionaria) y la parabólica (evolución), mostrando que las condiciones estructurales para la existencia estacionaria son suficientes para iniciar y controlar la evolución del flujo de curvatura media, incluso en ausencia de convexidad media.

En resumen, el artículo introduce una herramienta analítica robusta basada en EDOs para construir barreras, resolviendo limitaciones históricas en la teoría de superficies mínimas y abriendo nuevas vías para el estudio de flujos geométricos en dominios con geometrías complejas.