Nontrivial integrable weak stationary solutions to active scalar equations with non-odd drift

Resumen Técnico: Soluciones Estacionarias Débiles No Triviales e Integrables de Ecuaciones de Escalares Activos con Deriva No Impar

Planteamiento del Problema
Este artículo aborda la existencia de soluciones débiles no triviales para la ecuación de escalar activo estacionaria en el toro $\mathbb{T}^d$ ($d \geq 2$):
$$\begin{cases} \nabla \cdot (\theta u) + \Lambda^\gamma \theta = 0 \\ u = T\theta \end{cases}$$
donde $\theta$ es un campo escalar, $u$ es un campo de velocidad sin divergencia, $\Lambda^\gamma = (-\Delta)^{\gamma/2}$ es el Laplaciano fraccionario con $0 < \gamma \leq 2$, y $T$ es un operador de tipo Calderón-Zygmund de convolución. La restricción estructural central de este trabajo es que el multiplicador de Fourier $m(\xi)$ del operador $T$ no es impar.

Los autores se centran en la construcción de soluciones que son funciones integrables (específicamente pertenecientes a $L^{2-\epsilon}(\mathbb{T}^d)$ y $\dot{B}^{-\epsilon}_{\infty,\infty}(\mathbb{T}^d)$ para $0 < \epsilon < 1$) en lugar de meras distribuciones. Un desafío significativo surge porque para multiplicadores que son impares, el operador $T$ es auto-adjunto sesgado en $L^2$, lo que obliga a que la media del término no lineal $\int_{\mathbb{T}^d} w T w$ sea cero para perturbaciones suaves $w$. Este desvanecimiento impide la cancelación de los errores de orden principal en los esquemas estándar de integración convexa. El artículo restringe su alcance a multiplicadores no impares para evitar esta obstrucción, señalando que los operadores auto-adjuntos sesgados generales permanecen fuera del alcance de los métodos actuales.

Metodología
La construcción emplea el método de integración convexa, introducido originalmente por De Lellis y Székelyhidi. El enfoque implica un procedimiento iterativo donde se construye una secuencia de soluciones aproximadas suaves $(\theta_q, u_q, R_q)$ que satisfacen una ecuación relajada con un campo de estrés de error $R_q$. El objetivo es lograr que $\|R_q\|_{\dot{H}^{-s}} \to 0$ cuando $q \to \infty$.

Componentes técnicos clave incluyen:

1. Explotación del Multiplicador No Impar: La naturaleza no impar de $m(\xi)$ permite que la media del término no lineal sea distinta de cero. Específicamente, la construcción utiliza el hecho de que la imagen de $m(\xi) + m(-\xi)$ contiene una base para $\mathbb{R}^d$ (establecido mediante los Lemas 2.9 y 2.10). Esto permite la cancelación del error de estrés de orden principal utilizando la media de la perturbación.
2. Bloques de Construcción Intermitentes: Las perturbaciones $w_{q+1}$ se construyen utilizando "lajas intermitentes" (intermittent slabs) (Lema 2.12). Estas son funciones altamente oscilatorias con un grado de intermitencia variable que decrece hacia cero en las etapas superiores de la iteración. Esta estructura específica permite a los autores controlar las normas $L^p$ de la solución mientras mantienen la regularidad necesaria.
3. Estimaciones de Regularidad Negativa: A diferencia de otros esquemas previos de integración convexa para ecuaciones de fluidos que a menudo estiman errores en normas $L^p$ o $C^0$, este trabajo estima el campo de estrés en normas de Sobolev negativas ($\dot{H}^{-s}$). Esta elección es crucial ya que evita requerir que las derivadas actúen directamente sobre los bloques de construcción de alta frecuencia, relajando así el requisito de que los bloques de construcción sean soluciones estacionarias de cualquier EDP.
4. Definición de Solución Débil: Dado que las soluciones construidas residen en espacios con regularidad negativa donde el producto $\theta u$ no está clásicamente definido, los autores adoptan una definición de soluciones débiles basada en paraproductos. Definen el producto mediante la convergencia absoluta de la expansión del paraproducto en $\dot{H}^{-s}$, siguiendo el marco de [1] y [21].

Contribuciones Clave y Resultados
El resultado principal (Teorema 1.3) establece que para cualquier $0 < \gamma \leq 2$, existen soluciones débiles no triviales $(\theta, u)$ para la ecuación de escalar activo estacionaria tales que:

• $\theta, u \in \bigcap_{0<\epsilon<1} (\dot{B}^{-\epsilon}_{\infty,\infty}(\mathbb{T}^d) \cap L^{2-\epsilon}(\mathbb{T}^d))$.
• El producto $\theta u$ está bien definido como un paraproducto en $\dot{H}^{-s}(\mathbb{T}^d)$.
• El par satisface la ecuación en el sentido de la definición de paraproducto débil.

El artículo proporciona una prueba inductiva detallada (Proposición 4.1) demostrando que los errores de oscilación, Nash y disipación pueden hacerse arbitrariamente pequeños en la norma $\dot{H}^{-s}$ eligiendo parámetros de frecuencia $\lambda_q$ suficientemente grandes.

Significancia y Alcance
Los autores afirman que este trabajo proporciona la primera construcción de soluciones débiles a la ecuación de escalar activo estacionaria en el toro que son funciones integrables en lugar de solo distribuciones. Esto se destaca en la Observación 1.4.

El artículo es modesto respecto a sus limitaciones:

• Las soluciones no pertenecen a $L^2(\mathbb{T}^d)$, lo cual sigue siendo un problema abierto difícil.
• Los resultados están restringidos a multiplicadores que no son impares. Los autores declaran explícitamente que su resultado no se aplica a la ecuación de Geoestrofía Cuasi-Gelada (SQG), ya que su multiplicador es impar.
• El método depende de que el multiplicador sea un operador de Calderón-Zygmund. El artículo señala que la ecuación Magneto-Geostrófica (MG) involucra un multiplicador no acotado, situándola fuera del alcance del método actual, aunque sugiere esto como una pregunta abierta interesante.
• La construcción utiliza una clase específica de multiplicadores no impares; los autores no pretenden resolver la existencia de soluciones para multiplicadores auto-adjuntos sesgados generales.

En resumen, el artículo extiende la técnica de integración convexa a una clase específica de ecuaciones de escalar activo estacionario al aprovechar la simetría no impar de la deriva para cancelar los errores de orden principal, utilizando bloques de construcción intermitentes para lograr la integrabilidad, y empleando normas de Sobolev negativas para definir la solución débil.