On uniqueness of solutions to stochastic Navier--Stokes equations

Resumo Técnico: Sobre a Unicidade de Soluções para Equações de Navier-Stokes Estocásticas

Enunciado do Problema
O artigo aborda o problema da unicidade e da dependência contínua em relação às condições iniciais para soluções das equações de Navier-Stokes estocásticas (SNSE). Enquanto os resultados clássicos de Leray e Hopf estabelecem a existência de soluções fracas para as equações determinísticas, e a unicidade é conhecida para o caso bidimensional, o problema determinístico tridimensional permanece aberto em relação à unicidade das soluções fracas. Trabalhos recentes demonstraram a não unicidade para casos determinísticos tridimensionais específicos, motivando a busca por teoremas de "unicidade condicional".

Os autores estendem esta investigação para o cenário estocástico, considerando especificamente equações impulsionadas simultaneamente por processos de Wiener multiplicativos e medidas de Poisson compensadas (ruído de salto). O estudo foca no estabelecimento de unicidade dentro de uma classe restrita de soluções (soluções admissíveis) em domínios Lipschitz arbitrários, indo além do espaço total $\mathbb{R}^d$.

Metodologia
Os autores empregam uma abordagem funcional analítica fundamentada na teoria de equações de evolução estocástica em triplas de Gelfand ($V \hookrightarrow H \hookrightarrow V^*$). A metodologia central envolve:

1. Reformulação do Ruído: Os autores utilizam uma técnica (referenciando [29]) para reescrever integrais de Itô estocásticas com respeito a medidas de martingais (ruído de Poisson) como integrais estocásticas com respeito a martingais de espaço de Hilbert. Isso permite que o sistema impulsionado por ruídos de Wiener e de Poisson seja tratado como um sistema unificado impulsionado por uma sequência de martingais.
2. Soluções Admissíveis e Espaços de Morrey: Uma nova classe de soluções, denominada "soluções admissíveis", é introduzida. Estas soluções são decompostas em um "componente de Morrey" ($u_M$) e um "componente limitado" ($u_B$). O componente de Morrey satisfaz uma condição específica de integrabilidade local relacionada aos espaços de Morrey ($L^{r, \lambda}$), enquanto o componente limitado é essencialmente limitado. Esta decomposição permite suposições mais fracas do que a clássica condição de Ladyzhenskaya-Prodi-Serrin (LPS).
3. Igualdade de Energia Estocástica: Uma ferramenta técnica crítica é uma versão especializada da fórmula de Itô para semimartingais de espaço de Banach. Esta fórmula é adaptada para lidar com componentes de deriva que são somas de processos em $V^*$ e $H$, onde a parte em $H$ é apenas localmente integrável no tempo. Isso é essencial para derivar estimativas de energia para a diferença de duas soluções.
4. Estimativas de Energia e Lema de Gronwall: Ao aplicar a igualdade de energia estocástica à diferença de duas soluções admissíveis ($w = u - v$), os autores derivam desigualdades diferenciais. Estas estimativas dependem da pequenez do componente de Morrey da solução e da coercividade do operador de difusão.

Principais Contribuições e Resultados

• Generalização de Modelos de Ruído: O artigo estende os resultados de unicidade condicional para SNSE impulsionadas apenas por processos de Wiener (como em [32]) para equações impulsionadas simultaneamente por processos de Wiener e medidas de martingais de Poisson compensadas.
• Extensão para Domínios Lipschitz: Os resultados são estabelecidos para domínios Lipschitz arbitrários, generalizando trabalhos anteriores que eram frequentemente restritos ao espaço total $\mathbb{R}^d$.
• Condições de Unicidade Mais Fracas: Os autores introduzem um critério de unicidade baseado em uma "classe Hopf-Leray restrita" definida por condições do tipo Morrey.
  • Teorema 2.2: Estabelece que, se uma solução admissível $u$ satisfaz uma condição de pequenez em seu componente de Morrey ($\hat{u} < \delta/N$), então a solução é única dentro da classe de soluções admissíveis. Além disso, prova a dependência contínua em relação aos dados iniciais, resultando em estabilidade exponencial para o caso determinístico (Teorema 2.3).
  • Corolário 2.4: Demonstra que a clássica condição de Ladyzhenskaya-Prodi-Serrin ($u \in L^q(0, T; L^p(\mathbb{R}^d))$ com $d/p + 2/q \leq 1$) implica a condição de admissibilidade necessária para a unicidade. Assim, os novos resultados generalizam os teoremas clássicos de unicidade LPS para o cenário estocástico com ruído de salto.
• Existência de Soluções H: O Teorema 2.1 prova que qualquer solução admissível admite uma modificação que é um processo càdlàg valor em $H$ (uma "solução-H"), garantindo que a solução possua a regularidade necessária para ser bem definida pontualmente no tempo.

Significância e Alegações
O artigo afirma contribuir para a direção dos resultados de unicidade condicional para equações de Navier-Stokes estocásticas tridimensionais, um campo onde muito menos se sabe comparado ao caso bidimensional ou à teoria de existência determinística.

Os autores afirmam que seu principal resultado (Teorema 2.2) estabelece a unicidade condicional para equações impulsionadas por ruídos de Wiener e de Poisson em domínios Lipschitz gerais. Eles enfatizam que sua condição do tipo Morrey é estritamente mais fraca que a condição LPS clássica, ampliando assim o escopo de dados iniciais e campos de força para os quais a unicidade pode ser garantida. O trabalho também fornece um resultado de estabilidade (Teorema 2.3) para o caso determinístico, mostrando a convergência exponencial de soluções sob as condições de pequenez derivadas.

O artigo não pretende resolver o problema da unicidade global para quaisquer soluções fracas em 3D, mas sim fornece um arcabouço rigoroso para a unicidade sob suposições específicas, embora mais fracas, de regularidade da solução. Os resultados são apresentados como generalizações de achados determinísticos e estocásticos anteriores, especificamente estendendo o trabalho de [32] para incluir ruído de salto e domínios mais gerais.