Subproblemas de Navier-Stokes

En 1934, Jean Leray tuvo una idea. ¿Qué pasa si relajas el requisito de que las soluciones sean perfectamente suaves? Elimine esa demanda y, sorprendentemente, podrá demostrar que las soluciones siempre existen. Los matemáticos llaman a estas soluciones relajadas soluciones débiles.

Analogía: no puedes encontrar una carretera perfecta entre dos ciudades, por lo que aceptas un camino de tierra con algunos baches. Leray demostró que el camino de tierra siempre existe. El Problema del Milenio se pregunta si la carretera perfecta también lo es, y después de noventa años de esfuerzo nadie ha conseguido responder a esa pregunta.

¿El problema? Unicidad. No sabemos si las soluciones débiles son únicas. Si se empieza con las mismas condiciones iniciales, es posible que haya varias soluciones débiles válidas, cada una de las cuales satisfaga las ecuaciones, y las ecuaciones pueden admitir más de una solución débil admisible a partir de los mismos datos iniciales.

Leray (1934) demostró la existencia de soluciones débiles globales $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$ que satisfacen la desigualdad energética

$$\frac{1}{2}\|u(t)\|_{L^2}^2 + \nu \int_s^t \|\nabla u(\tau)\|_{L^2}^2 \, d\tau \leq \frac{1}{2}\|u(s)\|_{L^2}^2$$

para a.e. $s \geq 0$ y todo $t \geq s$. Ahora se llaman soluciones débiles de Leray-Hopf. Preguntas clave abiertas:

• Unicidad en la clase de energía: sigue siendo desconocida. En contraste, Buckmaster-Vicol (2019) demostraron no unicidad de soluciones débiles en clases por debajo de la clase energética de Leray-Hopf (en concreto, en $C_t L^2_x$, sin el control $L^2_t \dot{H}^1_x$).
• Igualdad energética frente a desigualdad: las soluciones débiles satisfacen la desigualdad, pero la igualdad (como en el caso de las soluciones suaves) no está garantizada. Puede perderse energía en tiempos singulares.
• Suavidad: si una solución de Leray-Hopf es suave, es la única solución clásica. Así, regularidad implica unicidad.

No podemos descartar las singularidades por completo. Pero sabemos que no pueden ser tan malos. El resultado histórico de Caffarelli, Kohn y Nirenberg (1982) (el teorema CKN) demuestra que el conjunto de puntos donde una solución podría estallar es increíblemente pequeño.

¿Qué tan pequeño? En el espacio-tiempo, el conjunto de singularidades posibles tiene "medida cero de Hausdorff parabólica unidimensional". En lenguaje sencillo: el conjunto singular es extremadamente pequeño en un sentido teórico de la medida parabólica (medida cero parabólica unidimensional de Hausdorff). Las singularidades, si existen, no pueden formar curvas o superficies en el espacio-tiempo, y ciertamente no pueden llenar ninguna región.

Incluso sin demostrar una suavidad total, sabemos que las singularidades son extremadamente raras.

El teorema de Caffarelli-Kohn-Nirenberg (1982): para cualquier solución débil adecuada $(u,p)$ de las ecuaciones de Navier-Stokes, el conjunto singular $\Sigma$ satisface

$$\mathcal{P}^1(\Sigma) = 0$$

donde $\mathcal{P}^1$ es la medida parabólica unidimensional de Hausdorff. De manera equivalente, las singularidades no pueden concentrarse en curvas en el espacio-tiempo.

La prueba introduce soluciones débiles adecuadas que satisfacen la desigualdad energética local

$$\int |u|^2 \varphi(t) + 2\nu \int\!\!\int |\nabla u|^2 \varphi \leq \int\!\!\int |u|^2(\partial_t \varphi + \nu \Delta \varphi) + \int\!\!\int (|u|^2 + 2p)(u \cdot \nabla \varphi)$$

y usa un criterio de regularidad $\varepsilon$: si la cantidad invariante de escala $\frac{1}{r}\int_{Q_r} |\nabla u|^2$ es suficientemente pequeña en un cilindro parabólico $Q_r$, entonces $u$ es regular en el centro. El límite de CKN se deriva entonces de un argumento de cobertura.

Si existe una singularidad, ¿qué aspecto tiene? Los matemáticos suelen separar las posibles explosiones por la tasa:

• Tipo I: la explosión se mantiene dentro de la tasa autosimilar natural. Puede parecerse a un patrón autosimilar, pero Tipo I no significa exactamente autosimilar. Varios escenarios importantes de tipo I, o de norma crítica acotada, se han descartado bajo hipótesis adicionales.
• Tipo II: la explosión supera la tasa natural o se comporta de forma más irregular, y es mucho más misteriosa y más difícil de fijar con las técnicas actuales.

Demostrar regularidad significa descartar ambos tipos. Por eso la mayoría de los enfoques modernos distinguen con cuidado entre los escenarios Tipo I y Tipo II, aunque algunas herramientas sirvan para ambos.

Supongamos que $T^* < \infty$ es un primer tiempo hipotético de explosión. Clasificación:

• Tipo I: $\|u(t)\|_{L^\infty} \leq \frac{C}{\sqrt{T^* - t}}$ cuando $t \to T^*$. Esta es la tasa natural de escalamiento; el ansatz exactamente autosimilar es la forma especial $u(x,t) = \frac{1}{\sqrt{T^*-t}} U\left(\frac{x-x_0}{\sqrt{T^*-t}}\right)$, pero Tipo I no exige autosimilitud exacta.
• Tipo II: $\limsup_{t \to T^*} \sqrt{T^* - t} \, \|u(t)\|_{L^\infty} = \infty$. La explosión excede la tasa autosimilar.

En el frente de normas críticas, Escauriaza-Seregin-Šverák (2003) y Seregin (2012) implican que un control acotado en $L^3$ hasta el tiempo de explosión impide la singularidad; el resultado de Seregin muestra que la norma $L^3$ debe divergir en una explosión. Gallagher-Koch-Planchon dieron descomposiciones de perfiles para escenarios con norma crítica acotada, apoyándose en Nečas-Růžička-Šverák (1996) y Tsai (1998), quienes descartaron soluciones autosimilares retrógradas no triviales y ciertos escenarios localmente autosimilares bajo las hipótesis correspondientes.

El tipo II sigue abierto. Ahí es donde se concentran los programas modernos de regularidad.

Existen mediciones específicas de una solución suave que se sitúan justo en el límite entre el comportamiento controlado y el incontrolado. Los matemáticos las llaman normas críticas. Son la línea divisoria.

Piense en ello como si fuera una cuerda floja. Varias normas críticas importantes tienen criterios de regularidad condicional: si permanecen acotadas, se produce suavidad. La energía que podemos controlar se encuentra por debajo de este umbral, frustrantemente fuera de nuestro alcance, y todo el desafío es cerrar esa brecha desde la escala de energía hasta el umbral crítico.

¿Qué normas importan? Las cantidades clave miden la velocidad en $L^3$ (el cubo de la velocidad, integrado en el espacio) o espacios relacionados. Un trabajo reciente ha confirmado algo alentador: si alguna de estas cantidades críticas permanece limitada, la solución se mantiene suave para siempre.

Una norma $\|\cdot\|_X$ es crítica si es invariante bajo el escalamiento de Navier-Stokes: $\|u_\lambda\|_X = \|u\|_X$. Los principales criterios críticos de regularidad son:

• Escauriaza–Seregin–Šverák (2003): $u \in L^\infty_t L^3_x$ cerca de una explosión $\Rightarrow$ regularidad
• Ladyzhenskaya–Prodi–Serrin: $u \in L^p_t L^q_x$, $\frac{2}{p} + \frac{3}{q} = 1$, $q > 3$ $\Rightarrow$ regularidad
• Beale–Kato–Majda: $\int_0^{T^*} \|\omega(t)\|_{L^\infty} dt < \infty$ $\Rightarrow$ regularidad

La brecha es que la estimación de energía da $u \in L^{10/3}_{t,x}$ (por incrustación de Sobolev), pero la condición crítica de Serrin requiere $u \in L^5_{t,x}$. Esa diferencia entre $10/3$ y $5$ es el corazón del problema de la supercriticidad.

Si ocurre una explosión, ¿adónde va la energía? Se concentra. Alguna parte de la solución de escala crítica debe concentrarse de una manera que impida el control uniforme, y comprender exactamente cómo funciona ese proceso es la clave para descartar una explosión o demostrar que puede ocurrir.

Concentración-compacidad brinda a los matemáticos una manera de estudiar lo que sucede cuando se acerca a un punto potencial de explosión. Los argumentos de descomposición de perfiles clasifican cómo una mala secuencia podría no mantenerse compacta: puede extenderse, concentrarse cerca de una escala o escapar a distancias mayores. El objetivo es descartar cada posibilidad.

¿La estrategia? Demuestre que cada uno de esos escenarios conduce a una contradicción, lo que obliga a la regularidad.

El enfoque concentración-compacidad/descomposición del perfil (Kenig-Merle, 2006; adaptado a Navier-Stokes por Gallagher-Koch-Planchon, Kenig-Koch y otros) procede de la siguiente manera:

1. Elemento crítico: Si la regularidad global falla, existe una "solución mínima de explosión" con la norma crítica más pequeña posible que aún falla. arriba.
2. Compacidad: Esta solución mínima tiene una propiedad de compacidad: simetrías de módulo, su órbita $\{u(\cdot, t)\}_{t \in [0,T^*)}$ es precompacta en el espacio crítico.
3. Rigidez: Demuestre que cualquier solución de órbita compacta debe ser cero (o globalmente regular), lo que contradice el supuesto de Blowup.

Este programa se ha completado para ecuaciones dispersivas de energía crítica (NLS, NLW) pero enfrenta severos obstáculos para Navier-Stokes debido a la falta de una cantidad crítica conservada y la no localidad de presión.

Este artículo es parte de Progreso.

Cada subproblema tiene su propio arsenal. Explore los principales enfoques de la regularidad de Navier-Stokes para obtener una visión completa, que cubren todo, desde análisis armónicos y métodos energéticos hasta técnicas de integración convexa y concentración-compacidad que los investigadores están impulsando activamente en la actualidad.

¿Por qué tan testarudo? Consulte Por qué es difícil. La formulación de Clay: El problema del milenio. Turbulencia: Número de Reynolds y Turbulencia.

Este artículo es parte de Progreso.

Para conocer las herramientas analíticas y geométricas desarrolladas para abordar estos subproblemas, consulte Enfoques. Para conocer los obstáculos de escala y supercriticidad, consulte Por qué es difícil. Para conocer la formulación de Clay, consulte El problema del milenio.