Filtered Vortex Stretching and Subgrid Defects for the Three-Dimensional Navier-Stokes Equations

Resumen Técnico: Estiramiento de Vórtices Filtrado y Defectos de Subrejilla para las Ecuaciones de Navier–Stokes Tridimensionales

Planteamiento del Problema
El artículo aborda la dificultad fundamental en el análisis de las ecuaciones de Navier–Stokes incompresibles tridimensionales: el término de estiramiento de vórtices $(\omega \cdot \nabla)u$, que es el mecanismo principal para la potencial amplificación de la enstrofia y la formación de singularidades. Si bien los argumentos geométricos (notablemente el de Constantin–Fefferman) sugieren que la alineación de la dirección de la vorticidad puede conducir a una cancelación, estos argumentos dependen de una regularidad puntual de la cual carecen las soluciones en clase de energía. Además, el tensor de deformación es una integral singular de la vorticidad, lo que hace que la estimación directa sea problemática en el conjunto de ceros de la vorticidad. El desafío consiste en cuantificar cuánto del trabajo positivo de estiramiento de vórtices puede ser "depletado" por la geometría del campo de vorticidad dentro de un marco riguroso y localizado que considere la falta de regularidad puntual y la naturaleza no local de la deformación.

Metodología
El autor combina la depleción geométrica con el coarse-graining espacial (filtrado).

1. Marco Filtrado: La velocidad $u$ se suaviza mediante un mollificador de soporte compacto $\phi_\ell$ para producir $U_\ell$ y la vorticidad filtrada $\Omega_\ell$. Esto permite la definición de una dirección de vorticidad suave $\xi_\ell = \Omega_\ell/|\Omega_\ell|$, incluso cuando la vorticidad original es rugosa.
2. Descomposición de la Deformación: El tensor de deformación $S_\ell$ se descompone en una parte de campo cercano singular (interacciones locales) y una parte de campo lejano no local.
3. Cancelación Geométrica Exacta: El artículo utiliza la representación de Calderón–Zygmund del núcleo de deformación para mostrar que el trabajo de estiramiento de campo cercano es convertido exactamente en una incoherencia angular (defecto) de las direcciones de la vorticidad filtrada.
4. Desigualdades Ponderadas por Magnitud: Para manejar la singularidad en el conjunto de ceros de la vorticidad, el autor emplea desigualdades de dirección ponderadas por magnitud. Estas convierten los defectos angulares en cocientes de diferencias de primer orden de la vorticidad filtrada, evitando la necesidad de denominadores regularizados.
5. Balance de Enstrofia Localizado: Las estimaciones geométricas se insertan en una ecuación exacta de balance de enstrofia filtrada localizada. Esta ecuación rastrea cada término positivo no absorbido por la difusión, asignándolos a clases de residuos específicas: deformación de campo lejano, forzamiento por conmutador (estrés de subrejilla) y residuos de localización.
6. Análisis del Conmutador: El estrés del conmutador $R_\ell = \phi_\ell * (u \otimes u) - U_\ell \otimes U_\ell$ se analiza utilizando defectos de incremento compatibles con la derivada. En lugar de depender de cotas de energía crudas, el artículo introduce envolventes invariantes de escala que muestrean los incrementos de velocidad contra tanto el núcleo del filtro como su derivada.
7. Compacidad y Perfiles: En el exponente crítico, la acotación de estos defectos de incremento se vincula con perfiles de medida de Young generalizada cilíndrica, separando los incrementos resueltos de las oscilaciones y concentraciones no Dirac.

Contribuciones Clave y Resultados

1. Coercitividad de Campo Cercano a Escala Finita (Teoremas 2.1–2.3):
   El artículo demuestra que el término positivo singular de estiramiento de campo cercano $V_{+,near}$ está dominado por un defecto de par de las direcciones de la vorticidad filtrada ($A_{pair}$). Este defecto, a su vez, está acotado por la difusión filtrada ($P$) hasta un reservorio de enstrofia de orden inferior ($O$) y un factor que depende de la razón del filtro $(r/\ell)^5$.

• Resultado: $V_{+,near} \leq (1-\epsilon)P + C_\epsilon (r/\ell)^5 O$.
• Significación: Esto cierra el término singular de campo cercano, mostrando que la depleción geométrica convierte el trabajo de estiramiento en difusión, siempre que la escala del filtro se mantenga fija respecto a la escala física.

2. Reducción de la Deformación de Campo Lejano (Sección 8):
   La deformación de campo lejano se reduce a un problema de empaquetamiento pesado (weighted packing) y una estrategia de reasignación anular.

• La interacción se reescribe como un problema de incrustación de Carleson discreto que involucra reservorios de vorticidad anulares reasignados y perfiles de enstrofia de núcleo.
• Se propone una ruta de "chorro armónico" (harmonic-jet) para aislar modos afines de bajo orden que podrían potencialmente recurrir a través de las escalas, sugiriendo un camino hacia el cierre sin ponderación mediante la cancelación de chorros afines.

3. Estimaciones de Conmutador Compatibles con la Derivada (Teorema 9.3):
   El artículo introduce una nueva estimación para el estrés del conmutador diferenciado $\nabla \cdot R_\ell$.

• Reemplaza los límites de energía con un peor comportamiento de escala por un defecto de incremento invariante de escala ($\tilde{S}^{(p)}$) que es compatible con la derivada del filtro.
• Esto asegura que el término del conmutador esté controlado por la microestructura real de los incrementos de velocidad en lugar de solo por la energía global.

4. Desigualdad de Excedente Ponderado (Teorema 10.1):
   Al combinar la coercitividad de campo cercano, el empaquetamiento de campo lejano y las estimaciones del conmutador, el artículo deriva una desigualdad de excedente ponderado para el balance de enstrofia filtrada.

• Resultado: Cualquier "excedente de defecto" positivo persistente (trabajo no absorbido por la difusión) debe pagarse ya sea mediante el empaquetamiento de campo lejano sin ponderar, el defecto de incremento compatible con la derivada, o los residuos de localización.

5. Perfiles de Obstrucción y Medidas de Young (Sección 11):
   El artículo construye un perfil de medida de Young generalizada cilíndrica para los campos de incremento compatibles con la derivada.

• Bajo una hipótesis de representación completa, un defecto de estrés de conmutador no nulo fuerza una microestructura de incremento no trivial (oscilación o concentración no Dirac).
• Esto proporciona un objeto de compacidad sobre el cual se puede probar la "recurrencia" (la capacidad del defecto para generar trabajo positivo) mediante una razón de defecto-trabajo.

Significación y Reivindicaciones
El artículo afirma avanzar desde los diagnósticos escalares hacia un conjunto de alternativas de compacidad para la dinámica de la vorticidad filtrada, integrando las visiones de depleción geométrica y coarse-graining.

• No pretende demostrar la regularidad global ni la existencia de singularidades.
• En su lugar, proporciona un teorema de balance a escala finita que cierra rigurosamente el término singular de estiramiento de campo cercano y reduce el problema del cierre uniforme de escala a entradas analíticamente estructuradas y explícitas:
  1. Empaquetamiento de campo lejano sin ponderar (sumabilidad de Carleson).
  2. Sumabilidad o rigidez del defecto de incremento compatible con la derivada del conmutador.
  3. Sumabilidad de los residuos de localización.
• El trabajo reformula la "pregunta cualitativa abierta" de si pueden formarse singularidades en una prueba de recurrencia explícita: si una medida de Young de incremento no trivial puede sostener un trabajo de conmutador positivo recurrente a través de las escalas. Si la razón de defecto-trabajo decae, el término del conmutador es rígido; si persiste, aísla un candidato para el trabajo de defecto positivo.

El artículo concluye que el estiramiento de campo cercano singular es absorbido por la difusión, la componente de campo lejano se reduce al empaquetamiento anular con requisitos de cierre condicionales, y el término del conmutador se representa mediante un defecto de incremento compatible con la derivada emparejado con una condición específica de sumabilidad o rigidez.