Sheets of Spectral Data of Stokes Waves in Weakly Nonlinear Models

Título: Folhas de Dados Espectrais de Ondas de Stokes em Modelos Fracamente Não Lineares

Autores: Benjamin Akers e Ryan Creedon.

---

1. Problema Investigado

O artigo foca na estabilidade espectral de ondas de Stokes de pequena amplitude em uma família geral de modelos unidirecionais fracamente não lineares, descritos pela equação:
$$u_t + Lu + (u^2)_x = 0$$
onde $L$ é um multiplicador de Fourier com símbolo puramente imaginário $i\omega(k)$, e $\omega(k)$ é a relação de dispersão linear do modelo.

O objetivo principal é analisar como pequenas perturbações evoluem em torno dessas ondas, identificando mecanismos de instabilidade, especificamente:

1. Instabilidades de Alta Frequência: Bifurcações que ocorrem a partir de colisões de autovalores não nulos no espectro do estado plano (amplitude zero).
2. Instabilidade de Benjamin-Feir (Modulacional): Bifurcação que ocorre a partir da colisão de autovalores na origem (zero).

O trabalho busca unificar a análise desses fenômenos, permitindo a comparação direta das taxas de crescimento entre diferentes tipos de instabilidades e diferentes modelos de dispersão (incluindo aqueles com descontinuidades).

---

2. Metodologia

Os autores desenvolveram um método de perturbação unificado que expande os dados espectrais (autovalores, autofunções e expoente de Floquet) em série de potências da amplitude da onda ($\varepsilon$).

Pontos-chave da metodologia:

• Parametrização Livre: Diferente de abordagens anteriores onde o coeficiente da expansão da autofunção era determinado por condições de solvabilidade, os autores tratam a razão $\beta$ entre as amplitudes dos modos de colisão do estado plano como um parâmetro livre.
• Estrutura de "Folhas" (Sheets): Ao variar a amplitude $\varepsilon$ e o parâmetro livre $\beta$, os dados espectrais instáveis formam "folhas" bidimensionais no espaço $(\text{Re}\lambda, \text{Im}\lambda, \varepsilon)$.
• Cortes de Amplitude Fixa: Para um $\varepsilon$ fixo, fatiar essas "folhas" resulta em curvas fechadas de instabilidade conhecidas na literatura como isolas (para alta frequência) ou curvas em forma de "8" (para Benjamin-Feir).
• Condições de Solvabilidade: O método utiliza o Teorema Alternativo de Fredholm para resolver as equações perturbativas ordem a ordem. A escolha de $\beta$ como parâmetro livre simplifica a álgebra, reduzindo as condições de solvabilidade a sistemas lineares, em vez de não lineares.
• Tratamento de Descontinuidades: O esquema foi adaptado para lidar com relações de dispersão não diferenciáveis (com descontinuidades de salto), especificamente para a equação de Akers-Milewski.

---

3. Principais Contribuições e Resultados

A. Classificação e Estrutura das Instabilidades de Alta Frequência

O trabalho classifica as instabilidades com base na ressonância entre os modos colidentes ($k_1, k_2$) e a onda portadora ($k=1$):

1. Ressonâncias de Tríade ($|k_1 - k_2| = 1$):
   • Geram isolas elípticas centradas no autovalor do estado plano.
   • As semi-eixos principais escalam como $O(\varepsilon)$.
   • A condição de Krein (assinatura de energia) é mostrada como necessária e suficiente para a ocorrência.
2. Ressonâncias de Quarteto ($|k_1 - k_2| = 2$):
   • Geram isolas elípticas cujos centros se deslocam do autovalor do estado plano na direção imaginária.
   • Tanto o deslocamento do centro quanto os semi-eixos escalam como $O(\varepsilon^2)$.
   • Também dependem estritamente da condição de Krein.
3. Ressonâncias de Ordem Superior ($|k_1 - k_2| > 2$):
   • Não geram instabilidade nas ordens $O(\varepsilon)$ ou $O(\varepsilon^2)$. A instabilidade só ocorreria em ordens superiores ($O(\varepsilon^m)$).

B. Instabilidade de Benjamin-Feir e Novos Resultados Analíticos

• O método recupera a estrutura clássica de "8" (lemniscata) para o espectro de Benjamin-Feir.
• Inovação Crítica: O método foi estendido com sucesso para a Equação de Akers-Milewski, que possui uma relação de dispersão com descontinuidade de salto em $k=0$. Isso representa a primeira aproximação analítica do espectro de Benjamin-Feir para um modelo com dispersão descontínua, superando as limitações de trabalhos anteriores que exigiam suavidade ($C^\alpha$).

C. Comparação Direta de Taxas de Crescimento

Por tratar ambos os tipos de instabilidade no mesmo framework, os autores puderam comparar diretamente quais mecanismos dominam em diferentes modelos (Whitham, Kawahara, Akers-Milewski, etc.):

• Se ressonâncias de tríade estiverem presentes, elas dominam a instabilidade de Benjamin-Feir em pequenas amplitudes, pois crescem como $O(\varepsilon)$ contra $O(\varepsilon^2)$.
• Na ausência de tríades, ocorre uma competição direta entre as instabilidades de quarteto e a instabilidade de Benjamin-Feir. A dominância depende dos coeficientes específicos da relação de dispersão do modelo.
• Se nenhum dos dois (tríade ou quarteto) estiver presente, a instabilidade de Benjamin-Feir torna-se a fonte dominante de instabilidade.

D. Validação Numérica

As previsões assintóticas foram validadas contra dois métodos numéricos independentes:

1. Método de Floquet-Fourier-Hill.
2. Método de Continuação Quasi-Newton.
   Os resultados mostraram excelente concordância, com erros da ordem de $O(\varepsilon^3)$, confirmando a precisão das expansões analíticas.

---

4. Significado e Impacto

• Unificação Teórica: O trabalho fornece um quadro teórico único que abrange tanto instabilidades de alta frequência quanto modulacionais em uma vasta classe de modelos de ondas de água, permitindo uma comparação sistemática que antes não era possível.
• Robustez Matemática: A capacidade de lidar com relações de dispersão descontínuas (como na equação de Akers-Milewski) expande o escopo da teoria de estabilidade espectral para além dos modelos clássicos de águas profundas/superficiais suaves.
• Previsibilidade: A identificação clara de quando as instabilidades de alta frequência (tríades/quartetos) superam a clássica instabilidade de Benjamin-Feir oferece critérios práticos para prever a dinâmica de ondas em diferentes regimes físicos.
• Base para Futuras Pesquisas: A estrutura de "folhas" de dados espectrais revelada serve como base para futuros teoremas de existência rigorosa de espectros instáveis e para o estudo da dinâmica não linear próxima ao limiar de instabilidade.

Em resumo, o artigo avança significativamente a compreensão da estabilidade de ondas de Stokes, oferecendo ferramentas analíticas poderosas e unificadas para prever e classificar instabilidades em modelos hidrodinâmicos complexos.