Existence and stability of Sadovskii vortices: from patch to smooth vortices

Resumo Técnico: Existência e Estabilidade de Vórtices de Sadovskii

1. O Problema

O artigo aborda a construção e a análise de estabilidade de vórtices de Sadovskii nas equações de Euler bidimensionais para fluidos incompressíveis e invíscidos.

• Definição: Um vórtice de Sadovskii é um dipolo de vórtices com rotação oposta que se move de forma estacionária e onde os dois vórtices estão em contato total ao longo do eixo de simetria (o eixo $x_1$).
• Contexto: Configurações como o dipolo de Chaplygin-Lamb e o "patch" (mancha) de Sadovskii são casos especiais conhecidos. No entanto, a existência de uma família contínua de tais vórtices, interpolando entre manchas (vorticidade constante) e vórtices suaves (alta regularidade), e a prova de sua estabilidade dinâmica sob perturbações gerais, permaneciam problemas abertos ou limitados a casos específicos com restrições de massa.
• Desafio Principal: A dificuldade técnica reside na natureza do contato entre os vórtices, que intensifica a interação não local, e na necessidade de lidar com a ausência de uma restrição de massa total (circulação total), o que complica a análise variacional devido à possibilidade de concentração ou escape para o infinito.

2. Metodologia

Os autores desenvolvem um framework variacional escalonante (scaling-invariant) que maximiza a energia cinética sob restrições específicas, sem impor uma restrição de massa total.

• Princípio Variacional: O problema é formulado como a maximização da energia cinética $E(\omega)$ sujeita a:

  1. Um impulso fixo ($\mu = \int x_2 \omega \, dx$).
  2. Uma norma $L^p$ fixa da vorticidade ($\|\omega\|_p = \sigma$), onde $1 < p \le \infty$.
  • Diferente de trabalhos anteriores, não há restrição na massa total ($L^1$). A massa é uma consequência do problema, não uma entrada.

• Desigualdade de Energia Aguda (Sharp Energy Inequality):
  A pedra angular da prova é uma nova desigualdade que limita a energia cinética apenas em termos do impulso e da norma $L^p$:
  $$E(\omega) \lesssim_p \|x_2 \omega\|_{L^1}^\alpha \|\omega\|_{L^p}^\beta$$
  onde os expoentes $\alpha$ e $\beta$ são únicos e determinados pela invariância de escala natural das equações de Euler. Essa desigualdade garante a coercividade necessária para o método variacional.

• Princípio de Concentração-Compacidade:
  Para provar a existência de maximizadores, os autores aplicam o princípio de concentração-compacidade de Lions. Eles demonstram que, devido à estrutura da desigualdade de energia e à convexidade dos expoentes ($\alpha + \beta/p > 1$), as sequências maximizadoras não podem sofrer "vanishing" (desaparecimento) nem "dichotomy" (divisão em partes distantes). Isso força a compacidade, garantindo a existência de um maximizador.

• Equação de Euler-Lagrange:
  Os maximizadores satisfazem uma relação vorticidade-função de corrente do tipo:
  $$\omega = \lambda (G[\omega] - W x_2)_+^{1/(p-1)}$$
  (para $p < \infty$) ou $\omega = \mathbb{1}_{\{G[\omega] - W x_2 > 0\}}$ (para $p = \infty$).
  Aqui, $G[\omega]$ é a função de corrente, $W$ é a velocidade de propagação e $(\cdot)_+$ denota a parte positiva.

3. Principais Contribuições e Resultados

A. Existência de uma Família Unificada de Vórtices
O teorema principal (Teorema 1.2) estabelece a existência de uma família de vórtices de Sadovskii parametrizada por $p \in (1, \infty]$:

• $p = \infty$: Corresponde ao clássico vórtice de Sadovskii (patch), onde a vorticidade é constante no suporte.
• $p = 2$: Recupera o dipolo de Chaplygin-Lamb, uma solução clássica com vorticidade suave.
• $1 < p < \infty$: Gera vórtices com regularidade intermediária. À medida que $p \to 1$, a regularidade da vorticidade aumenta, permitindo a construção de vórtices de classe $C^m$ (suaves) que ainda mantêm o contato com o eixo de simetria.
• Geometria de Contato: É provado que o suporte de qualquer maximizador toca necessariamente o eixo de simetria ($x_2=0$), caracterizando a configuração de Sadovskii. O suporte é compacto e possui simetria de Steiner em relação a $x_1$.

B. Estabilidade de Lyapunov
O artigo estabelece resultados de estabilidade robustos:

• Para $1 < p < \infty$, o conjunto de maximizadores é estável no sentido de Lyapunov sob a norma $\|\cdot\|_{L^p} + \|x_2(\cdot)\|_{L^1}$.
• Para $p = \infty$ (patches), a estabilidade é mais delicada devido à falta de compacidade forte em $L^\infty$. Os autores restringem-se a um subconjunto de vórtices de massa mínima dentro dos maximizadores para recuperar a estabilidade em $L^1$ e garantir que a geometria de contato seja preservada sob pequenas perturbações.

C. Deslocamento Horizontal Quantitativo
Um resultado significativo é a obtenção de uma estimativa quantitativa para o deslocamento do centro de massa horizontal ($P(t)$) de soluções perturbadas.

• Mostra-se que o centro de massa de uma solução perturbada viaja a uma velocidade muito próxima da velocidade do vórtice de Sadovskii subjacente ($W$).
• A estimativa é do tipo $|P(t) - Wt| \lesssim \varepsilon |t|$, indicando que a estrutura do dipolo persiste e se propaga de forma coerente, mesmo com perturbações iniciais.

4. Significado e Impacto

• Unificação Teórica: O trabalho unifica casos isolados conhecidos (Chaplygin-Lamb, Sadovskii patch) em um único princípio variacional escalonante, eliminando a necessidade de restrições de massa que limitavam a análise anterior.
• Mecanismo Estrutural: Demonstra que a configuração de "contato" (touching) não é um acidente numérico ou um limite de parâmetros específicos, mas uma consequência necessária da maximização de energia sob as restrições de impulso e norma $L^p$.
• Regularidade e Geometria: Abre caminho para o estudo de vórtices suaves que tocam o eixo de simetria, uma configuração geometricamente degenerada que era difícil de tratar analiticamente.
• Aplicações Físicas: Fornece uma base matemática rigorosa para entender a estabilidade de dipolos de vórtices em colisões de anéis de vórtices e na evolução de dipolos viscosos, onde tais estruturas de contato são observadas experimentalmente e numericamente.
• Limites Abertos: O artigo discute a unicidade (aberta para $p \neq 2$) e a existência de vórtices $C^\infty$ ou analíticos no regime de contato, sugerindo que o limite $p=1$ pode representar uma barreira natural para a regularidade infinita dentro deste framework variacional.

Em suma, o artigo resolve problemas fundamentais de existência e estabilidade para uma classe ampla de estruturas coerentes em fluidos ideais, utilizando uma abordagem variacional inovadora que explora a invariância de escala das equações de Euler.