Single exponential $H^1$-upper bounds for the primitive equations

Resumo Técnico: Limites Superiores Exponenciais Simples $H^1$ para as Equações Primitivas

Enunciado do Problema
O artigo investiga as equações primitivas tridimensionais que regem fluxos geofísicos de grande escala (atmosfera e oceano) dentro de um domínio de caixa periodicamente horizontal $\Omega = G \times (-h, 0)$. O sistema inclui viscosidade total e está sujeito a condições de contorno de Neumann homogênea ou Dirichlet nas fronteiras superior e inferior, com condições periódicas nas fronteiras laterais. O objetivo principal é estabelecer limites a priori para soluções fortes $v$ no espaço $L^\infty(0, \infty; H^1(\Omega)) \cap L^2(0, \infty; \dot{H}^2(\Omega))$.

Especificamente, o trabalho aborda a taxa de crescimento desses limites em relação aos dados iniciais $a$ e ao tempo $t$. A literatura existente, notadamente os resultados de bem-postura global por Cao e Titi [3], fornece limites superiores que crescem duplamente exponencialmente em relação aos dados iniciais e ao tempo. Trabalhos subsequentes [9, 10, 7] melhoraram a dependência temporal ou abordaram condições de contorno específicas, mas geralmente mantiveram uma dependência, no mínimo, dupla exponencial em relação aos dados iniciais ou ao tempo, frequentemente recorrendo a desigualdades de Sobolev logarítmicas ou suposições específicas de pequenez.

Metodologia
O autor emprega uma série de estimativas de energia e desigualdades de interpolação para derivar os limites, distinguindo a abordagem com base nas condições de contorno:

1. Condições de Contorno de Neumann (Proposição 1):

   • A prova utiliza estimativas $L^q$ para a velocidade horizontal $v$ (especificamente $q=4, 8$) e estimativas $L^r$ para a derivada vertical $v_z$ (especificamente $r=2, 4$).
   • O método baseia-se nas propriedades de cancelamento do termo de convecção e na desigualdade de Calderón–Zygmund para lidar com o termo de pressão.
   • Uma dificuldade fundamental neste cenário é a ausência da desigualdade de Poincaré para $v$ (já que a média de $v$ não é necessariamente zero). Consequentemente, a derivação inicial resulta em um limite dependente do tempo ($e^{C\sqrt{t}}$).

2. Condições de Contorno de Dirichlet (Teorema 1):

   • Para alcançar um limite independente do tempo, o autor desloca a estratégia de estimativa para estimativas $L^6$ para $v$ e estimativas $L^3$ para $v_z$.
   • Um desafio técnico crítico no caso de Dirichlet é o acoplamento entre o termo de pressão $\pi$ e os valores de contorno. O gradiente de pressão $\nabla_H \pi$ é decomposto em $\nabla_H \pi_1$ (dependente da não linearidade do volume/bulk) e $\nabla_H \pi_2$ (dependente do traço de contorno de $v_z$).
   • A prova resolve a interdependência entre a estimativa $L^q$ para $v$ e a estimativa $L^r$ para $v_z$ através da escolha cuidadosa do par $(q, r) = (6, 3)$. Isso permite que os termos de contorno que surgem em uma estimativa sejam controlados pelos termos de dissipação na outra.

3. Refinamento para o Caso de Neumann (Teorema 1):

   • Para eliminar a dependência temporal encontrada na Proposição 1, o autor introduz a variável de flutuação $\tilde{v} = v - \bar{v}$ (onde $\bar{v}$ é a média vertical).
   • Como $\tilde{v}$ satisfaz uma desigualdade do tipo Poincaré ($\|\tilde{v}\|_{L^q} \leq C \|v_z\|_{L^q}$), a análise foca em estimativas $L^6$ para $\tilde{v}$ e estimativas $L^3$ para $v_z$.
   • Esta abordagem lida efetivamente com os "termos de ordem inferior" que anteriormente causavam o crescimento temporal, aproveitando o fato de que a média da derivada vertical é zero.

Principais Resultados
O artigo estabelece o seguinte teorema principal para ambas as condições de contorno de Neumann e Dirichlet:

Para dados iniciais $a \in H^1(\Omega)$ com $a_z \in L^3(\Omega)$ (e satisfazendo condições de compatibilidade), a solução forte $v$ satisfaz:
$$\|v(t)\|_{H^1(\Omega)}^2 + \int_0^t \|\nabla^2 v(s)\|_{L^2(\Omega)}^2 \, ds \leq B(a) e^{C\|a\|_{L^2(\Omega)}^2}$$
para todo $t \in [0, T]$, onde $B(a)$ é uma função polinomial das normas dos dados iniciais, e $C$ é uma constante dependente apenas do domínio $\Omega$.

Crucialmente, o fator exponencial depende apenas do quadrado da norma $L^2$ dos dados iniciais, $\|a\|_{L^2(\Omega)}^2$, e é independente do tempo $t$.

Significância e Alegações
O artigo alega duas contribuições primárias:

1. Redução do Crescimento Exponencial: O limite superior derivado é exponencial simples em relação aos dados iniciais ($e^{C\|a\|_{L^2}^2}$), contrastando fortemente com os limites duplamente exponenciais ($e^{e^{C\|a\|^2}}$) encontrados na literatura anterior (ex: [3, 9, 10, 7]). Isso representa uma melhoria significativa na compreensão quantitativa da estabilidade das equações primitivas.
2. Estimativas Uniformes no Tempo para o Caso de Neumann: O artigo fornece o que alega ser o primeiro limite superior $H^1$ uniforme no tempo para o caso da condição de contorno de Neumann. Neste cenário, a desigualdade de Poincaré padrão não está disponível para o campo de velocidade $v$, tornando a derivação de limites independentes do tempo não trivial e anteriormente não alcançada na literatura.

O autor observa que, embora o caso de Dirichlet permita o decaimento exponencial conforme $t \to \infty$ se a desigualdade de Poincaré for utilizada, este comportamento de decaimento específico não é o foco principal do presente trabalho. Os resultados são apresentados como estimativas a priori para soluções fortes, assumindo sua existência, o que é sustentado por resultados prévios de existência local.