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

Resumo Técnico: Soluções Estacionárias Fracas Não Triviais e Integráveis para Equações de Escalares Ativos com Drift Não Ímpar

Enunciado do Problema
Este artigo aborda a existência de soluções fracas não triviais para a equação escalar ativa estacionária no toro $\mathbb{T}^d$ ($d \geq 2$):
$$\begin{cases} \nabla \cdot (\theta u) + \Lambda^\gamma \theta = 0 \\ u = T\theta \end{cases}$$
onde $\theta$ é um campo escalar, $u$ é um campo de velocidade divergência livre, $\Lambda^\gamma = (-\Delta)^{\gamma/2}$ é o Laplaciano fracionário com $0 < \gamma \leq 2$, e $T$ é um operador de Calderón-Zygmund do tipo convolução. A restrição estrutural central deste trabalho é que o multiplicador de Fourier $m(\xi)$ do operador $T$ não é ímpar.

Os autores focam na construção de soluções que são funções integráveis (especificamente pertencentes a $L^{2-\epsilon}(\mathbb{T}^d)$ e $\dot{B}^{-\epsilon}_{\infty,\infty}(\mathbb{T}^d)$ para $0 < \epsilon < 1$) em vez de meras distribuições. Um desafio significativo surge porque, para multiplicadores que são ímpares, o operador $T$ é auto-adjunto antissimétrico em $L^2$, forçando a média do termo não linear $\int_{\mathbb{T}^d} w T w$ a ser nula para perturbações suaves $w$. Esse desaparecimento impede o cancelamento dos erros de ordem principal em esquemas padrão de integração convexa. O artigo restringe seu escopo a multiplicadores não ímpares para contornar essa obstrução, observando que operadores auto-adjuntos antissimétricos gerais permanecem fora do alcance dos métodos atuais.

Metodologia
A construção emprega o método de integração convexa, originalmente introduzido por De Lellis e Székelyhidi. A abordagem envolve um procedimento iterativo onde uma sequência de soluções aproximadas suaves $(\theta_q, u_q, R_q)$ é construída, satisfazendo uma equação relaxada com um campo de estresse de erro $R_q$. O objetivo é conduzir $\|R_q\|_{\dot{H}^{-s}} \to 0$ conforme $q \to \infty$.

Componentes técnicos principais incluem:

1. Exploração do Multiplicador Não Ímpar: A natureza não ímpar de $m(\xi)$ permite que a média do termo não linear seja não nula. Especificamente, a construção utiliza o fato de que a imagem de $m(\xi) + m(-\xi)$ contém uma base para $\mathbb{R}^d$ (estabelecido via Lemas 2.9 e 2.10). Isso permite o cancelamento do erro de estresse de ordem principal usando a média da perturbação.
2. Blocos de Construção Intermitentes: As perturbações $w_{q+1}$ são construídas usando "lajes intermitentes" (intermittent slabs) (Lema 2.12). Estas são funções altamente oscilatórias com um grau variável de intermitência que diminui para zero em estágios mais altos da iteração. Esta estrutura específica permite que os autores controlem as normas $L^p$ da solução enquanto mantêm a regularidade necessária.
3. Estimativas de Regularidade Negativa: Diferente de esquemas anteriores de integração convexa para equações de fluidos que frequentemente estimam erros em normas $L^p$ ou $C^0$, este trabalho estima o campo de estresse em normas de Sobolev negativas ($\dot{H}^{-s}$). Esta escolha é crucial, pois evita exigir que as derivadas atuem diretamente sobre os blocos de construção de alta frequência, relaxando assim o requisito de que os blocos de construção sejam soluções estacionárias de qualquer EDP.
4. Definição de Solução Fraca: Como as soluções construídas residem em espaços com regularidade negativa onde o produto $\theta u$ não é classicamente definido, os autores adotam uma definição de soluções fracas baseada em paraprodutos. Eles definem o produto via a convergência absoluta da expansão do paraproduto em $\dot{H}^{-s}$, seguindo o arcabouço de [1] e [21].

Contribuições Principais e Resultados
O resultado principal (Teorema 1.3) estabelece que para qualquer $0 < \gamma \leq 2$, existem soluções fracas não triviais $(\theta, u)$ para a equação escalar ativa estacionária tal que:

• $\theta, u \in \bigcap_{0<\epsilon<1} (\dot{B}^{-\epsilon}_{\infty,\infty}(\mathbb{T}^d) \cap L^{2-\epsilon}(\mathbb{T}^d))$.
• O produto $\theta u$ é bem definido como um paraproduto em $\dot{H}^{-s}(\mathbb{T}^d)$ para $s$ suficientemente grande.
• O par satisfaz a equação no sentido da definição de paraproduto fraco.

O artigo fornece uma prova indutiva detalhada (Proposição 4.1) demonstrando que os erros de oscilação, Nash e dissipação podem ser tornados arbitrariamente pequenos na norma $\dot{H}^{-s}$ ao escolher parâmetros de frequência $\lambda_q$ suficientemente grandes.

Significância e Escopo
Os autores afirmam que este trabalho fornece a primeira construção de soluções fracas para a equação escalar ativa estacionária no toro que são funções integráveis em vez de apenas distribuições. Isso é destacado na Observação 1.4.

O artigo é modesto quanto às suas limitações:

• As soluções não pertencem a $L^2(\mathbb{T}^d)$, o que permanece um problema aberto difícil.
• Os resultados são restritos a multiplicadores que não são ímpares. Os autores afirmam explicitamente que seu resultado não se aplica à equação de Quasi-Geostrofismo de Superfície (SQG), pois seu multiplicador é ímpar.
• O método depende do multiplicador ser um operador de Calderón-Zygmund. O artigo nota que a equação Magneto-Geostrófica (MG) envolve um multiplicador não limitado, colocando-a fora do escopo do método atual, embora sugira isso como uma questão aberta interessante.
• A construção utiliza uma classe específica de multiplicadores não ímpares; os autores não alegam resolver a existência de soluções para multiplicadores auto-adjuntos antissimétricos gerais.

Em resumo, o artigo estende a técnica de integração convexa para uma classe específica de equações escalares ativas estacionárias ao aproveitar a simetria não ímpar do operador de drift para cancelar erros de ordem principal, utilizando blocos de construção intermitentes para alcançar integrabilidade e empregando normas de Sobolev negativas para definir a solução fraca.