Existence of curvature flow with forcing in a critical Sobolev space

Resumen Técnico: Existencia de Flujo de Curvatura con Forzamiento en un Espacio de Sobolev Crítico

Planteamiento del Problema
El artículo aborda la existencia global en el tiempo de un flujo de curvas $\Gamma(t) \subset \mathbb{R}^2$ que evoluciona según la ley de movimiento:
$$v(x, t) = h(x, t) + u(x, t)^\perp$$
donde $v$ es la velocidad normal, $h$ es el vector de curvatura media, y $u^\perp$ es la proyección de un campo vectorial dado $u$ sobre el espacio normal de la curva. El dato inicial $\Gamma_0$ es un conjunto 1-rectificable cerrado de medida de Hausdorff 1-dimensional finita.

El desafío central radica en la regularidad del término de forzamiento $u$. Los autores consideran el caso en el que $u$ pertenece a un espacio de Sobolev "dimensionalmente crítico":
$$u \in L^\infty_{\text{loc}}([0, \infty); L^2(\mathbb{R}^2)) \cap L^2_{\text{loc}}([0, \infty); W^{1,2}(\mathbb{R}^2)).$$
Esto corresponde al caso invariante por escala donde el efecto del término de forzamiento es analíticamente comparable al término de curvatura bajo escalamiento parabólico. Esto contrasta con los casos "subcríticos" (donde $u$ tiene mayor regularidad o diferentes exponentes de integrabilidad) donde el forzamiento es una perturbación negligible a escalas pequeñas, y los casos "supercríticos" donde el forzamiento es demasiado turbulento para las teorías de existencia estándar. El artículo trata específicamente el caso $n=1$ (curvas en $\mathbb{R}^2$), motivado por problemas de flujo de dos fases acoplados (límites Navier-Stokes/Allen-Cahn) donde la interfaz se mueve según esta ley.

Metodología
La demostración emplea un enfoque variacional utilizando la formulación de Brakke para el flujo de curvatura media mediante varifolds integrales. La metodología procede a través de los siguientes pasos:

1. Aproximación: El campo vectorial rugoso $u$ se aproxima mediante una secuencia de campos vectoriales suaves de soporte compacto $u^{(m)}$ vía mollificación.
2. Existencia para Forzamiento Suave: Utilizando resultados modificados de trabajos previos (específicamente [9, 10, 19]), los autores establecen la existencia de flujos aproximados $\{V_t^{(m)}\}$ para los términos de forzamiento suave $u^{(m)}$. Estos flujos aproximados satisfacen la ley de movimiento en el sentido de Brakke y mantienen propiedades estructurales específicas (por ejemplo, uniones triples con ángulos de 120 grados).
3. Estimaciones A Priori (La Innovación Central): Los autores derivan estimaciones uniformes para los flujos aproximados que dependen únicamente de la longitud inicial $H^1(\Gamma_0)$ y la norma de $u$ definida por $c_1(u, T)$.
   • A diferencia del caso subcrítico, donde la fórmula de monotonicidad de Huisken proporciona un límite uniforme $L^\infty$ sobre la razón de densidad superior $D(t)$, el caso crítico impide tal límite porque el término de forzamiento $u$ no puede controlarse en el cálculo de la fórmula de monotonicidad.
   • En su lugar, los autores utilizan una fórmula de monotonicidad específica para varifolds de una dimensión (Proposición 3.1) para acotar la razón de densidad $D(t)$ por la norma $L^2$ de la curvatura: $D(t) \lesssim \int |h| d\|V_t\|$.
   • Luego aplican la desigualdad de Meyers-Ziemer (Teorema 3.2), que relaciona la integral de una función de Sobolev sobre un conjunto rectificable con su gradiente en el espacio ambiente, siempre que la razón de densidad esté acotada.
   • Combinando estos elementos, cierran las estimaciones de energía para obtener cotas sobre la longitud de la curva y las normas $L^2$ de la curvatura y del término de forzamiento sobre la curva, lo que conduce a la cota exponencial de la longitud total (Ecuación 1.6).
4. Compacidad y Proceso de Límite: Utilizando las cotas uniformes, extraen una subsucesión de varifolds que converge a una varifold límite $\{V_t\}$. Prueban que el límite satisface la desigualdad de Brakke con el campo vectorial rugoso original $u$.
5. Estructura del Límite: Los autores analizan la estructura geométrica del flujo límite, probando que consiste en un número finito de curvas $W^{2,2}$ que se encuentran en uniones con ángulos de 0, 60 o 120 grados.

Resultados Clave
El teorema principal (Teorema 2.3) establece la existencia de una familia de varifolds integrales 1 $\{V_t\}_{t \geq 0}$ y una familia de conjuntos de perímetro finito $\{E_i(t)\}$ que satisfacen:

• Condición Inicial: $\|V_0\| = H^1 \lfloor \Gamma_0$.
• Ley de Movimiento: El flujo satisface la desigualdad de Brakke con velocidad normal $h + u^\perp$ (Ecuación 2.14).
• Regularidad: Para casi todo $t$, el soporte de $V_t$ consiste en un número finito de curvas embebidas $W^{2,2}$. Si $N=2$ (dos fases), estas son lazos cerrados; si $N \geq 3$, forman una red con uniones triples en ángulos de 120 grados.
• Cotas Globales: La medida de Hausdorff 1-dimensional (longitud) del flujo satisface:
  $$H^1(\Gamma(T)) \leq H^1(\Gamma_0) \exp(c_2 c_1(u, T))$$
  donde $c_1(u, T)$ involucra la norma $L^2$ de $u$ y la norma $L^2$ de $\nabla u$.
• Evolución de Fase: Los conjuntos $E_i(t)$ evolucionan continuamente en el sentido $L^1$ (continuos en Hölder en el tiempo), y sus fronteras reducidas están controladas por la medida de la varifold.

Significado y Reivindicaciones
El artículo afirma proporcionar el primer resultado de existencia global para el flujo de curvatura con un término de forzamiento en la escala de Sobolev crítica para $n=1$.

• Crítico vs. Subcrítico: Los autores enfatizan que el caso crítico es distinto del caso subcrítico (donde $u$ es más regular). En el caso subcrítico, la fórmula de monotonicidad de Huisken permite un control uniforme de la razón de densidad, asegurando que el flujo se comporte como una perturbación del flujo de curvatura media estándar. En el caso crítico, este control se pierde; el efecto del forzamiento es comparable a la curvatura en todas las escalas.
• Necesidad Técnica de la Dimensión 1: La estrategia depende fuertemente de la fórmula de monotonicidad específica para varifolds de una dimensión (Ecuación 1.13) que acota la razón de densidad por la curvatura $L^2$. Los autores señalan en las "Observaciones Finales" que esta estrategia no parece generalizarse a $n > 1$ en el caso crítico, ya que no está disponible la correspondiente cota de la razón de densidad.
• No Trivialidad: Se garantiza que la solución es no trivial para un intervalo de tiempo positivo y puede pasar a través de singularidades (como colisiones de curvas o formación de uniones) manteniendo la finitud de la medida de superficie.
• Motivación: El trabajo está motivado por el estudio teórico de problemas de flujo de dos fases acoplados (límites Navier-Stokes/Allen-Cahn) donde el movimiento de la interfaz es impulsado tanto por la curvatura como por la velocidad del fluido, un escenario donde el campo de velocidad reside naturalmente en el espacio crítico considerado aquí.

Los autores mantienen la modestia respecto al caso "supercrítico", afirmando que no se conoce un teorema de existencia general y sugiriendo que las soluciones de este tipo probablemente no existen debido a que el campo de forzamiento es demasiado turbulento para mantener una medida de superficie finita.