Well-posedness for the mean curvature flow on the half-space and on bounded domains

Resumen Técnico: Bien posedidad para el Flujo de Curvatura Media en el Semiespacio y en Dominios Acotados

Formulación del Problema
Este artículo investiga el flujo de curvatura media (MCF) gráfico en una codimension arbitraria sobre dos tipos de dominios: el semiespacio $\mathbb{R}^d_+$ y dominios acotados suaves $\Omega \subset \mathbb{R}^d$. La evolución está gobernada por el sistema parabólico cuasilineal:
$$\partial_t f = A[\nabla f] : \nabla^2 f$$
sujeto a condiciones de contorno de Dirichlet homogéneas ($f=0$ en $\partial \Omega$) y datos iniciales $f_0$. La matriz de coeficientes $A[\nabla f]$ depende de la pendiente de la gráfica, lo que asegura la parabolicidad uniforme siempre que $\|\nabla f\|_{L^\infty}$ esté acotado.

El principal desafío abordado es la bien posedidad de este sistema en el nivel de regularidad crítico de escala, específicamente para datos iniciales en el espacio Lipschitz $W^{1,\infty}$. Si bien la regularidad en el interior para tales datos está establecida en todo el espacio, la presencia de una frontera introduce dificultades significativas: la propagación de las condiciones de contorno, la recuperación de la regularidad normal a partir de estimaciones tangenciales, y la generación de coeficientes variables y términos de conmutador al aplanar fronteras curvas. Los autores señalan que, para codimensiones superiores, la regularidad Lipschitz por sí sola no implica suavidad para soluciones estacionarias (refiriéndose a Lawson-Osserman), lo que hace que las propiedades de suavizado dinámico del flujo y las condiciones de compatibilidad de frontera específicas sean cruciales.

Metodología y Marco Analítico
El análisis se lleva a cabo dentro de un marco perturbativo con ponderación temporal. Los autores adaptan el método de "congelación de coeficientes" desarrollado en su trabajo previo (Parte I [7]) para manejar fronteras fijas. La estrategia central consiste en:

1. Perturbación alrededor de un Perfil Suave: Para la existencia local, la ecuación se ve como una perturbación de un operador lineal con coeficientes congelados en un perfil de referencia suave $\phi$ (compatible con la frontera). Para la existencia global de datos pequeños, el perfil se toma como cero.
2. Estimaciones de Schauder con Ponderación Temporal: Los autores utilizan normas con ponderación temporal para controlar el comportamiento singular de las derivadas superiores cerca de $t=0$. Las ponderaciones se eligen para ser invariantes bajo la escala parabólica $f(t, x) \mapsto \lambda^{-1}f(\lambda^2 t, \lambda x)$, preservando la naturaleza crítica de la seminorma Lipschitz.
3. Técnicas Específicas de Frontera:
   • Semiespacio: Los autores emplean extensiones de paridad. Una idea clave es que, para el sistema gráfico, se cumplen ciertas identidades de frontera de orden superior (por ejemplo, $\Delta^k f = 0$ en la frontera) para tiempos positivos. Esto permite extender de forma impar los términos de forzamiento críticos a través de la frontera, permitiendo el uso de estimaciones del núcleo de calor en todo el espacio sin perder derivadas.
   • Dominios Acotados: El dominio se localiza en parches de interior y de frontera. Los parches de frontera se aplanan mediante transformaciones de coordenadas, reduciendo el problema a un sistema de semiespacio con coeficientes variables y forzamiento de orden inferior. Crucialmente, los autores desarrollan una teoría de Schauder anisotrópica para estos sistemas aplanados. A diferencia del caso de frontera plana, las derivadas normales no desaparecen identicamente en fronteras curvas. En su lugar, las derivadas normales de orden superior se recuperan recursivamente utilizando identidades de frontera que las expresan en términos de derivadas tangenciales y términos de forzamiento (Lema 5.4). Esto resulta en una pérdida de una derivada normal en el conteo de regularidad en comparación con el caso plano.
4. Control Global: En dominios acotados, la existencia global para datos pequeños se logra combinando las estimaciones de Schauder locales con desigualdades de energía en $L^2$. La condición de Dirichlet homogénea y la elipticidad uniforme producen el decaimiento exponencial de la norma $L^2$, lo cual, mediante interpolación, controla las normas de orden inferior que aparecen en las estimaciones localizadas, evitando la inflación de la norma.

Resultos Clave

• Teorema 1.1 (Semiespacio): Los autores demuestran la bien posedidad local para gráficas iniciales $f_0 \in W^{1,\infty}(\mathbb{R}^d_+)$ que pueden aproximarse en la norma $W^{1,\infty}$ por funciones suaves que satisfacen la condición de frontera. La solución existe de forma única en una clase definida por normas de Hölder con ponderación temporal. Si la seminorma Lipschitz inicial $\|\nabla f_0\|_{L^\infty}$ es suficientemente pequeña, la solución es global. Además, la solución satisface identidades de frontera específicas $\Delta^k f|_{\partial \mathbb{R}^d_+} = 0$ para $k=1, \dots, m$.
• Teorema 1.2 (Dominios Acotados): Para un dominio acotado con frontera $C^{2m+3}$, se establece la bien posedidad local bajo el supuesto de que los datos iniciales $f_0$ pueden ser aproximados en $W^{1,\infty}$ por la semigrupo de calor de Dirichlet aplicada a sí misma (es decir, $e^{\epsilon \Delta_\Omega} f_0 \to f_0$ en $W^{1,\infty}$). Esta es una restricción no trivial para datos Lipschitz generales. Dentro de esta clase, los datos iniciales pequeños conducen a una solución global que decae exponencialmente hacia la gráfica plana. La solución satisface estimaciones anisotrópicas donde el número de derivadas puramente normales está restringido a $2m+1$ (una menos que el orden parabólico total de $2m+2$).

Significancia y Reivindicaciones
El artículo afirma proporcionar la primera teoría de bien posedidad crítica con ponderación temporal para el flujo de curvatura media gráfico hasta una frontera fija en una codimension arbitraria. Extiende el marco de "datos rugosos" de Koch y Lamm (originalmente para todo el espacio) al entorno de frontera.

Los autores enfatizan que su enfoque evita imponer condiciones de compatibilidad de alto orden clásicas en los datos iniciales en $t=0$. En su lugar, la "regularización en tiempo positivo" se cuantifica mediante estimaciones con ponderación temporal donde las cantidades ponderadas permanecen acotadas cuando $t \downarrow 0$. El trabajo destaca las diferencias estructurales entre fronteras planas y curvas: mientras que las fronteras planas permiten la desaparición exacta de los Laplacianos de orden superior, las fronteras curvas requieren una recuperación recursiva más delicada de las derivadas normales, lo que conduce a estimaciones de regularidad anisotrópicas.

Este trabajo se presenta como la tercera parte de una serie, construida sobre métodos de congelación de coeficientes basados en núcleos (Parte I) y estimaciones de transmisión elíptica para el problema de Muskat (Parte II). Los resultados son estrictamente analíticos, centrándose en la existencia, unicidad y regularidad de soluciones al sistema parabólico cuasilineal, sin proponer nuevas aplicaciones experimentales o modelos físicos futuros.