A sharp stability criterion for Euler equations via sparseness

Enunciado do Problema
O artigo aborda problemas fundamentais em aberto relativos às soluções fracas das equações de Euler incompressíveis, especificamente concernentes à conservação da energia cinética e à unicidade das soluções. Uma questão central na análise de soluções aproximadas $\{u_\varepsilon\}$ é o fenômeno de "concentração-cancelamento", onde a energia pode concentrar-se em conjuntos mesmo que as vorticidades estejam uniformemente limitadas em certos espaços funcionais. Trabalhos anteriores de DiPerna–Majda, Lopes Filho–Nussenzveig Lopes e Tadmor estabeleceram que a estabilidade em $H^{-1}$ (pré-compacidade das vorticidades em $H^{-1}_{loc}$) é uma condição suficiente para garantir a convergência forte em $L^2$ e a ausência de concentração.

No entanto, os critérios existentes para estabilidade em $H^{-1}$, particularmente aqueles envolvendo espaços de Morrey ($M_{p,\alpha}$) e espaços Riesz-Morrey-Tadmor (RMT) ($R_{p,2}\log^\alpha$), deixam "lacunas" no espaço de parâmetros. Por exemplo, em duas dimensões, sabe-se que $M_{1,1/2}$ não se embute compactamente em $H^{-1}$, mas o estatuto de $M_{1,\alpha}$ para $\alpha \in (1/2, 1]$ permanece uma "lacuna" aberta. Da mesma forma, o refinamento de Tadmor usando espaços RMT requer pesos logarítmicos para alcançar compacidade, e não está claro se essas condições logarítmicas são agudas ou se podem ser melhoradas. Os autores observam que os espaços RMT padrão $R_{2n/(n+2), 2}$ não se embutem em $H^{-1}$, necessitando da introdução de pesos logarítmicos para recuperar a compacidade.

Metodologia
Os autores introduzem um novo framework baseado em esparcidade para reformular a estabilidade em $H^{-1}$. A mudança metodológica central envolve substituir as famílias padrão de cubos disjuntos (empacotamentos) usadas nas definições de espaços funcionais clássicos por famílias esparsas de cubos.

1. Espaços Riesz-Morrey-Tadmor (RMT) Esparsos: Os autores definem versões esparsas dos espaços RMT, denotados $SR_{p,q}\log^\alpha$, modificando o supremo na definição da norma para correr sobre famílias esparsas de cubos em vez de empacotamentos disjuntos. Eles estabelecem que esses espaços esparsos admitem caracterizações via operadores maximais, uma propriedade não geralmente compartilhada por seus contrapartes clássicos.
2. Identificação com Espaços de Sobolev Negativos: Um resultado pivotal (Teorema 3) demonstra que, para parâmetros específicos ($p = 2n/(n+2), q=2$), o espaço esparso $SR_{2n/(n+2), 2}$ é equivalente ao espaço de Sobolev negativo $H^{-1}. Isso contrasta agudamente com o espaço clássico$R_{2n/(n+2), 2}$, que falha em se embutir em $H^{-1}$.
3. Índices Esparsos: Os autores definem "índices esparsos" $s_N(X)$ para um espaço funcional $X$. Esses índices medem o grau de compacidade do embutimento de $X$ em $H^{-1}$. Especificamente, mostra-se que $\lim_{N\to\infty} s_N(X) = 0$ é equivalente ao embutimento compacto $X_c \hookrightarrow H^{-1}_{loc}$.
4. Estabilidade Esparso e Extrapolção: Usando esses índices, os autores definem estabilidade $\Psi$-esparso, onde as vorticidades das soluções aproximadas são uniformemente limitadas em um espaço esparso $S_\Psi$ determinado por uma função de decaimento $\Psi$. Eles empregam técnicas de extrapolação (especificamente o método $\Sigma$ de Jawerth–Milman) para construir novos espaços funcionais, $V_\Psi$ e $T_\Psi$, cujos índices esparsos exibem taxas de decaimento prescritas. Esses espaços são caracterizados como espaços de extrapolação relativos a pares clássicos de Besov e Sobolev.

Principais Contribuições e Resultados

• Equivalência de Conceitos de Estabilidade: O artigo prova que a estabilidade em $H^{-1}$ é equivalente à estabilidade esparso (Teorema 2). Isso fornece uma caracterização unificada da ausência de concentração em termos do decaimento dos índices esparsos.
• Aperfeiçoamento de Resultados Clássicos:
  • Regularidade de Morrey: Os autores constroem espaços $V_\Psi$ que contêm estritamente os espaços de Morrey limites $M_{n/2, \alpha}$ (para $\alpha > 1$) enquanto mantêm a estabilidade em $H^{-1}$. Isso melhora os resultados de DiPerna–Majda ao permitir uma classe mais ampla de vorticidades (Teorema 11).
  • Regularidade de Tadmor: Da mesma forma, novos espaços $T_\Psi$ são introduzidos que contêm estritamente os espaços RMT limites $R_{2n/(n+2), 2}\log^\alpha$ (para $\alpha > 1/2$), melhorando os resultados de Tadmor (Teorema 14).
  • O artigo constrói explicitamente exemplos mostrando que esses novos embutimentos são estritos, significando que os novos espaços contêm funções não presentes nos espaços limites clássicos.
• Conservação de Energia: Os autores aplicam o framework de estabilidade esparso ao problema da conservação de energia para soluções fisicamente realizáveis das equações de Euler 2D no toro. Eles provam que, se as vorticidades de uma realização física estiverem uniformemente limitadas em um espaço $X$ com índices esparsos decaindo para zero (satisfazendo uma condição de admissibilidade), então a solução limite conserva energia (Teorema 6 e Corolário 2). Isso estende resultados anteriores em $L^p$ para as novas escalas esparsas.
• Comparação de Escalas: O artigo analisa a relação entre os recém-introduzidos $V_\Psi$ (baseados em normas $L^\infty$ de blocos dyádicos) e $T_\Psi$ (baseados em normas $L^2$). Demonstra-se que nenhum espaço contém o outro em geral, destacando a natureza distinta desses refinamentos.

Significado
O artigo afirma fornecer uma "abordagem simplificada" para resultados de existência previamente conhecidos, ao mesmo tempo em que os aperfeiçoa. Ao introduzir estruturas esparsas, os autores superam as limitações dos espaços RMT clássicos que exigiam pesos logarítmicos para alcançar a compacidade em $H^{-1}$. A introdução de índices esparsos oferece uma ferramenta quantitativa para medir o "grau de compacidade" em $H^{-1}$, permitindo a construção de espaços funcionais com taxas de decaimento prescritas.

Os autores enfatizam que seus métodos conectam a teoria das equações de Euler com a teoria dos espaços de extrapolação e a dominação esparso na análise harmônica. Embora o artigo não afirme resolver definitivamente o "problema da lacuna" para os espaços de Morrey $M_{1,\alpha}$ com $\alpha \in (1/2, 1]$, ele fornece uma escala refinada ($V_\Psi$) que melhora os casos limites conhecidos e oferece uma nova perspectiva sobre a regularidade necessária para não-concentração e conservação de energia. O trabalho sugere que o "defeito" nos espaços clássicos relativo à estabilidade em $H^{-1}$ é um artefato da geometria dos cubos de teste, que pode ser corrigido adotando famílias esparsas.