$L^2(\mathbb{R}^2)$ Well-Posedness and Logarithmic Lipschitz Regularity for the Density Patch Problem

Resumen Técnico: Bien la existencia y unicidad en $L^2(\mathbb{R}^2)$ y regularidad Lipschitz logarítmica para el problema del parche de densidad

Planteamiento del Problema

Este trabajo aborda el problema del parche de densidad para el sistema de Navier–Stokes incompresible inhomogéneo en dos dimensiones con vacío. La configuración inicial consiste en una densidad $\rho_0 = \mathbf{1}_D$, la función indicadora de un dominio Lipschitz acotado $D \subset \mathbb{R}^2$, que representa un parche de fluido homogéneo rodeado de vacío, y un campo de velocidad divergencia libre $u_0 \in L^2_\sigma(\mathbb{R}^2)$.

Las cuestiones centrales son:

1. Unicidad: ¿Existe una solución única para este sistema degenerado donde la ecuación del momentum pierde elipticidad en las regiones de vacío, para datos en el nivel de energía natural ($u_0 \in L^2$)?
2. Regularidad Geométrica: ¿Persiste la regularidad geométrica de la frontera del parche inicial $\partial D$ a lo largo del tiempo? Específicamente, ¿permanece la frontera del parche como una curva de dimensión de Hausdorff 1, o desarrolla singularidades (por ejemplo, cúspides) que aumenten su dimensión?

Metodología

1. Unicidad mediante Energía Relativa y Control de la Distorsión del Flujo
Para probar la unicidad (Teorema A), el autor emplea un argumento de energía relativa adaptado para datos de baja regularidad. La dificultad central reside en el entorno de vacío, donde las desigualdades estándar de tipo Ladyzhenskaya fallan porque la norma ponderada $\|\sqrt{\rho} \delta u\|_{L^2}$ solo controla la diferencia de velocidad en el soporte de la densidad.

• Estimaciones Localizadas: En lugar de estimaciones globales, la prueba utiliza una estimación $L^4$ localizada sobre el parche evolutivo $X(t, D)$. Esto se basa en la propiedad de "desplazamiento parabólico" $|X(t, x) - x| \lesssim \sqrt{t}$, la cual se cumple para soluciones fuertemente inmediatas.
• Manejo del Desajuste de Vacío: Un término crítico en la diferencia de energía involucra el desajuste entre dos parches transportados. El autor introduce un mapa de flujo compuesto $Y_\tau(s, x) = X_2(s; \tau, X_1(\tau, x))$ para rastrear la interacción entre dos posibles soluciones.
• Distorsión del Flujo: Dado que el campo de velocidad no es Lipschitz (solo es $L^2$), el flujo no es uniformemente Lipschitz. El autor demuestra que la distorsión del flujo satisface una cota específica que involucra una función de peso $w_M(t, s) = \exp(M\sqrt{\log(t/s)})$. Esto permite controlar el transporte del desajuste de la densidad sin requerir $\nabla u \in L^1_t L^\infty_x$.
• Argumento de Gronwall: Al combinar estas estimaciones localizadas con funcionales de energía ponderados en el tiempo y una formulación de dualidad para la ecuación de transporte, el autor cierra un argumento de Gronwall para establecer la unicidad.

2. Regularidad Log-Lipschitz mediante Descomposición Atómica
Para establecer la regularidad del campo de velocidad (Teorema B), el artículo extiende el resultado clásico de Chemin–Lerner al caso inhomogéneo con vacío.

• Descomposición Atómica: Los datos iniciales $u_0 \in L^2$ se descomponen en una serie de átomos divergencia libres $\{u_{j,0}\}$ utilizando interpolación real entre espacios de Sobolev homogéneos $\dot{H}^{-s}$ y $\dot{H}^s$.
• Evolución Linealizada: Cada átomo evoluciona según un sistema linealizado impulsado por el campo de velocidad completo. El autor utiliza estimaciones de decaimiento conocidas para estas soluciones linealizadas (derivadas en trabajos previos [9, 23]) que muestran un decaimiento parabólico en el tiempo.
• Estrategia de Sumatoria: La diferencia de velocidad $|u(t, x) - u(t, y)|$ se estima dividiendo la suma de los átomos en frecuencias bajas y altas. Al elegir una frecuencia de corte $N$ dependiente de $|x-y|$, el autor deriva una estimación log-Lipschitz de la forma:
  $$|u(t, x) - u(t, y)| \leq \gamma(t) |x-y| (-\log |x-y|)^{1-\eta}$$
  para $\eta \in (0, 1/2)$. Esta prueba evita las técnicas de localización de frecuencia (análisis de Fourier) en favor de una descomposición atómica, haciendo que el argumento sea robusto para entornos donde los enfoques de Fourier no están disponibles.

Contribuciones Clave y Resultados

• Teorema A (Unicidad): El artículo establece la unicidad de "soluciones fuertemente inmediatas" para datos iniciales $(\rho_0, u_0)$ donde $\rho_0 = \mathbf{1}_D$ y $u_0 \in L^2_\sigma(\mathbb{R}^2)$. Combinado con el resultado de existencia de [23], esto concluye la existencia y unicidad global para el problema del parche de densidad en el espacio de energía natural $L^2$.
• Teorema B (Regularidad Log-Lipschitz): Tanto para densidades estrictamente positivas como para el parche de densidad con vacío, el campo de velocidad satisface una estimación log-Lipschitz con un coeficiente dependiente del tiempo $\gamma(t) \in L^1_{loc}$. Esto extiende el resultado clásico de Chemin y Lerner [5] al caso inhomogéneo con vacío.
• Corolario 1.3 (Preservación de la Dimensión): Como consecuencia de la regularidad log-Lipschitz, el mapa de flujo asociado $X(t, \cdot)$ pertenece a $L^\infty_{loc}([0, \infty); C^{1-\varepsilon}(\mathbb{R}^2))$ para cualquier $\varepsilon \in (0, 1)$. Consecuentemente, la dimensión de Hausdorff de la frontera del parche se preserva durante todo el tiempo:
  $$\dim_H(\partial D(t)) = 1 \quad \forall t \geq 0.$$

Significancia y Reivindicaciones

El artículo afirma resolver el problema de la unicidad para el problema del parche de densidad en el nivel crítico de energía $L^2$, un régimen que anteriormente permanecía abierto debido a la degeneración de la ecuación del momentum en el vacío. El autor señala que, mientras que resultados previos requerían una mayor regularidad (por ejemplo, $u_0 \in H^1$ o espacios de Besov $\dot{B}^0_{2,1}$), este trabajo opera en el nivel de energía natural.

Respecto a la regularidad geométrica, el artículo demuestra que, si bien la frontera permanece como un objeto de dimensión 1 (dimensión de Hausdorff 1), la falta de regularidad Lipschitz en el campo de velocidad (inherente a los datos $L^2$) impide la preservación de la interfaz como una curva Lipschitz. El autor establece explícitamente que la posibilidad de formación de cúspides sigue abierta, y aún no se sabe si el perímetro del parche se vuelve infinito con el tiempo. Se destaca la importancia de la condición $\eta > 0$ en la estimación log-Lipschitz como el umbral preciso requerido para prevenir el crecimiento dimensional de la frontera, distinguiendo este resultado del caso clásico $\eta=0$ donde la dimensión teóricamente podría crecer.

La metodología se presenta como una alternativa robusta a la localización de frecuencia basada en Fourier, utilizando la descomposición atómica y las estimaciones de distorsión del flujo, las cuales pueden ser aplicables a otros entornos donde los métodos de Fourier no están disponibles.