$L^p$ Stability of Vortex Patches in Two Dimensional Domains

Resumo Técnico: Estabilidade $L^p$ de Patches de Vórtice em Domínios Bidimensionais

Enunciado do Problema
Este artigo investiga a estabilidade orbital de patches de vórtice governados pelas equações de Euler bidimensionais incompressíveis em domínios fixos $\Omega \subseteq \mathbb{R}^2_+$. A vorticidade $\omega$ evolui de acordo com $\partial_t \omega + u \cdot \nabla \omega = 0$ com condições de contorno de escorregamento (slip boundary conditions). Embora soluções gerais para as equações de Euler 2D possam exibir instabilidade (por exemplo, crescimento duplo-exponencial de gradientes de vorticidade), a estabilidade pode ser estabelecida para classes específicas de dados iniciais usando métodos variacionais.

O desafio específico abordado é a falta de uma teoria unificada de estabilidade $L^p$ para patches de vórtice em domínios bidimensionais gerais que opere sem limites a priori de $L^1$ ou $L^p$ sobre a vorticidade. Trabalhos anteriores foram limitados por restrições específicas:

• Abe e Choi [1] estabeleceram estabilidade para dipolos de Lamb no semiplano, mas exigiram um limite $L^1$.
• Abe, Choi e Jeong [2] removeram a restrição $L^1$, mas foram restritos ao cenário $L^2$.
• Dong e Luo [9] estenderam os resultados para faixas (strips) e domínios de volume finito fraco, mas mantiveram a restrição $L^1$ e foram limitados à estabilidade $L^2$.

Metodologia
O autor emprega uma estrutura de variação de energia penalizada. Eles definem o funcional de energia penalizada:
$$E_{p,\lambda}[\omega] = E[\omega] - \frac{1}{p}\lambda \|\omega\|_p^p$$
onde $E[\omega]$ é a energia cinética e $\lambda > 0$ é um parâmetro. O estudo foca no problema de minimização:
$$I_{\mu,\lambda}(p) = \inf_{\omega \in K_\mu} \{-E_{p,\lambda}[\omega]\}$$
onde o espaço admissível $K_\mu$ consiste em vorticidades não negativas com um primeiro momento (impulso) fixo $\int_\Omega x_2 \omega \, dx = \mu$, mas crucialmente, sem um limite superior de $L^1$ ou $L^p$ imposto.

A metodologia central envolve três componentes técnicos principais:

1. Estimativas de Energia e Intervalos de Parâmetros: Estabelecer limites $L^p$ uniformes para sequências minimizantes usando as desigualdades de Hölder e Young, identificando limiares críticos para $p$ (especificamente $p > 4/3$) e condições sobre $\lambda$ para garantir que o ínfimo seja negativo.
2. Existência de Minimizadores: Provar a existência de minimizadores e sua compacidade. Isso requer superar a perda de escala espacial e invariância de translação em domínios gerais.
   • Para o Semiplano ($\mathbb{R}^2_+$): Argumentos de escala são usados para reduzir o problema a uma forma padrão.
   • Para Faixas (Strips) ($S$): Um argumento de compacidade-concentração refinado é desenvolvido. Eles utilizam a simetrização de Steiner para provar a subaditividade estrita do funcional de energia, o que exclui o caso de "dicotomia" no princípio de compacidade de Lions.
   • Para Domínios de Volume Finito Fraco ($D$): Eles contornam a necessidade de subaditividade estrita explorando a taxa de decaimento inerente $q$ da geometria do domínio (especificamente a condição de volume $\int_{D_l} x_2^q dx < \infty$) para impor a compacidade diretamente.
3. Estabilidade Orbital: Demonstrar que o conjunto de minimizadores é orbitalmente estável sob a dinâmica Euleriana. Isso baseia-se na conservação das normas $L^p$ e do primeiro momento ao longo das trajetórias das partículas, combinado com o teorema geral de convergência para sequências minimizantes.

Principais Contribuições e Resultados
O artigo estabelece uma teoria unificada de estabilidade $L^p$ para três tipos específicos de domínios: o semiplano, faixas de qualquer largura e domínios que satisfazem uma condição de volume finito fraco.

• Existência e Compacidade (Teorema 1.4): O autor prova que, para parâmetros adequados de $p, \mu, \lambda$, o funcional de energia penalizada admite um minimizador. Toda sequência minimizante possui uma subsequência que converge fortemente em $L^p$ e $L^1$ (para o momento ponderado) para um minimizador $\omega$.
  • Para $\mathbb{R}^2_+$: Válido para $p > 4/3$.
  • Para Faixas: Válido para $p > 2$ com qualquer $\lambda > 0$, ou para $p = 2$ desde que $\lambda > 2\pi^4/L^2$.
  • Para Domínios de Volume Finito Fraco: Válido para $p > 4/3$ se a taxa de decaimento $q \in [0, 2]$, e para $4/3 < p \le q/(q-1)$ se $q \in (2, 4)$.
• Propriedades Estruturais: Os minimizadores satisfazem a equação elíptica $\omega^{p-1} = \lambda(\psi - Wx_2)_+$, onde $\psi$ é a função de corrente e $W$ é uma constante estritamente positiva. Mostra-se que os minimizadores possuem suporte compacto e possuem regularidade específica ($C^{m,\alpha}$).
• Estabilidade Orbital (Teorema 1.5): O conjunto de minimizadores $S_{\mu,\lambda}$ é orbitalmente estável. Para qualquer $\epsilon > 0$, existe um $\delta > 0$ tal que, se os dados iniciais estiverem dentro de $\delta$ do conjunto de minimizadores (em termos de distância $L^p$ e distância $L^1$ ponderada), a solução permanecerá dentro de $\epsilon$ do conjunto para todo o tempo.
• Extensão com Restrição $L^1$ (Teorema 1.7): Como suplemento, o artigo fornece resultados de estabilidade para o domínio de volume finito fraco $D$ para todos os $q \ge 0$ e $p > 1$, desde que um limite superior $L^1$ seja imposto no espaço admissível.

Significância
O artigo afirma sintetizar e estender as abordagens de Abe e Choi [1], Abe et al. [2] e Dong e Luo [9] em um framework abrangente. Sua principal significância reside em:

1. Remoção de Restrições: Ele remove com sucesso o requisito de limite a priori de $L^1$ para a estabilidade nos casos de semiplano e faixas, e estende os resultados $L^2$ para $L^p$ geral ($p > 4/3$) sem tais limites.
2. Framework Unificado: Fornece uma teoria unificada cobrindo três configurações geométricas distintas (semiplano, faixa e domínios de volume finito fraco gerais) que anteriormente eram tratadas separadamente ou com limitações.
3. Estratégias Inovadoras: O trabalho introduz estratégias novas para lidar com a perda de escala e invariância de translação. Especificamente, o uso de taxas de decaimento de domínio para impor compacidade em domínios de volume finito fraco e os argumentos refinados de simetrização de Steiner para faixas representam avanços metodológicos significativos sobre as aplicações anteriores de compacidade-concentração.

O autor observa que, embora os resultados expandam significativamente o escopo das estruturas de vórtice provadamente estáveis, permanecem limitações, particularmente em relação ao limiar crítico $p=4/3$ e à necessidade de limites $L^1$ para certos intervalos de parâmetros em domínios gerais. O artigo conclui identificando questões em aberto sobre condições geométricas ótimas, problemas de fronteira livre e a unicidade e estrutura fina dos minimizadores.