Liouville Theorems for Stationary Navier-Stokes Equations via the Radial Velocity Component

Resumo Técnico: Teoremas de Liouville para Equações de Navier-Stokes Estacionárias via Componente Radial de Velocidade

Enunciado do Problema
O artigo aborda o problema de Liouville para as equações de Navier-Stokes estacionárias em $\mathbb{R}^3$:
$$\begin{cases} -\Delta u + (u \cdot \nabla)u + \nabla \pi = 0, \\ \nabla \cdot u = 0, \end{cases}$$
onde $u$ é o campo de velocidade e $\pi$ é a pressão. A questão central, conhecida como Conjectura 1.1 (proposta por Galdi e Seregin), pergunta se qualquer solução $u \in \dot{H}^1(\mathbb{R}^3)$ que decai para zero no infinito deve ser identicamente nula. Enquanto o caso bidimensional está resolvido (Gilbarg-Weinberger) e o caso quadridimensional está estabelecido (Galdi), o caso tridimensional permanece um problema aberto significativo.

Resultados existentes tipicamente dependem de condições de integrabilidade isotrópicas globais (por exemplo, $u \in L^{9/2}(\mathbb{R}^3)$) ou condições anisotrópicas envolvendo normas mistas de componentes cartesianas. O autor observa que, embora $u \in \dot{H}^1(\mathbb{R}^3)$ implique $u \in L^6(\mathbb{R}^3)$ via imersão de Sobolev, esse decaimento é insuficiente por si só para provar trivialidade.

Metodologia
O artigo emprega uma técnica de função de corte combinada com estimativas de energia e desigualdades de Hölder em espaços de Lebesgue padrão e de expoente variável.

1. Função de Corte e Identidade de Energia: As provas utilizam uma função de corte radial $\psi_R$ para localizar a identidade de energia. Ao testar as equações com $\psi_R u$ e integrar por partes, o autor deriva uma desigualdade que limita a energia de Dirichlet local $\int_{B(R/2)} |\nabla u|^2$ por termos de fronteira envolvendo a pressão e a velocidade no anel $C(R) = \{x : R/2 < |x| < R\}$.
2. Decomposição Radial: Uma mudança metodológica chave é a decomposição do termo não linear e do termo de pressão baseada na componente radial da velocidade, $u_\rho$. O autor explora o fato de que o gradiente da função de corte radial, $\nabla \psi_R$, é puramente radial. Isso permite reescrever os termos integrais envolvendo $\nabla \psi_R \cdot u$ como $\partial_\rho \psi_R u_\rho$, isolando a componente radial de velocidade.
3. Espaços de Expoente Variável: Para o segundo resultado principal, o autor utiliza o framework de espaços de Lebesgue com expoentes variáveis, $L^{p(\cdot)}(\mathbb{R}^3)$. Isso permite um tratamento unificado de condições de integrabilidade que variam espacialmente, especificamente transitando de uma condição mais forte perto da origem para uma condição crítica no infinito.
4. Controle da Pressão: A pressão $\pi$ é controlada via representação da transformada de Riesz $\pi = \sum R_i R_j (u_i u_j)$, aproveitando a limitação das transformadas de Riesz em espaços $L^r$ para relacionar $\|\pi\|_{L^3}$ a $\|u\|_{L^6}^2$.

Principais Contribuições e Resultados

Teorema 1.1 (Condição de Integrabilidade Radial):
O autor prova que se $u \in \dot{H}^1(\mathbb{R}^3)$ é uma solução e sua componente radial $u_\rho$ satisfaz $u_\rho \in L^p(\mathbb{R}^3)$ para $3/2 < p \le 3$, então $u \equiv 0$.

• Significado: Este resultado melhora condições isotrópicas anteriores (como $L^{9/2}$) e condições cartesianas anisotrópicas. Demonstra que a trivialidade pode ser deduzida impondo restrições de integrabilidade apenas na componente radial da velocidade, sem quaisquer restrições nas componentes tangenciais.
• Mecanismo: A prova depende de uma distribuição específica da não linearidade cúbica na estimativa de energia. Ao aplicar a desigualdade de Hölder com expoentes $p_1=6$ (para a velocidade completa $u$, justificada pela imersão de Sobolev) e $p_2=p$ (para a componente radial $u_\rho$), o autor equilibra os termos para permitir $p$ tão baixo quanto $3/2$.

Teorema 1.2 (Condição de Expoente Variável):
O autor estabelece um resultado de unicidade mais refinado onde a condição de integrabilidade na componente radial é permitida a variar. Especificamente, se $u_\rho \in L^{3+\eta(\cdot)}(\mathbb{R}^3)$, onde o expoente $\eta(x)$ é definido de modo a ser igual a 3 para $|x| < R_0$ (implicando $u_\rho \in L^6$ localmente) e decai como $3R_0/|x|$ para $|x| \ge R_0$ (aproximando-se do expoente crítico 3 no infinito), então $u \equiv 0$.

• Significado: Este teorema mostra que a condição crítica $L^3$ para a componente radial precisa ser satisfeita apenas assintoticamente. Uma integrabilidade mais forte (até $L^6$) é requerida apenas em um conjunto compacto fixo, enquanto a condição relaxa para o limiar crítico no infinito. Isso destaca a "rigidez" do sistema impulsionada por propriedades localizadas e radiais, em vez de condições globais uniformes.

Teorema 3.1 (Resultado Geral de Expoente Variável):
Este é o motor técnico por trás do Teorema 1.2. Prova que para qualquer expoente variável contínuo e radialmente decrescente $p(x)$ que seja igual a 6 perto da origem e se aproxime de 3 no infinito com uma taxa de decaimento específica ($|p(x)-3| \le C/|x|$), a condição $u_\rho \in L^{p(\cdot)}(\mathbb{R}^3)$ implica $u \equiv 0$.

Significado e Afirmações
O artigo afirma oferecer uma "perspectiva diferente" sobre o problema de Liouville, deslocando o foco de condições isotrópicas ou anisotrópicas cartesianas para anisotropia radial.

• Hipóteses Mais Fracas: Os resultados impõem condições estritamente mais fracas que resultados isotrópicos conhecidos (por exemplo, $L^{9/2}$) e distintos de resultados anisotrópicos existentes que dependem de normas mistas de componentes cartesianas.
• Localização: A análise revela que a rigidez do sistema de Navier-Stokes estacionário pode ser impulsionada por propriedades de integrabilidade localizadas. O Teorema 1.2 demonstra especificamente que o limiar crítico de integrabilidade pode ser aproximado assintoticamente, permitindo uma transição de comportamento local forte para comportamento crítico no infinito.
• Novidade Metodológica: O uso de espaços de Lebesgue de expoente variável fornece um framework flexível para capturar esses comportamentos de integrabilidade variáveis espacialmente, superando as limitações de espaços de expoente fixo neste contexto.

O autor afirma explicitamente que estes resultados não resolvem a Conjectura 1.1 completa (que não requer nenhuma hipótese adicional de integrabilidade além de $\dot{H}^1$ e decaimento), mas fornecem novas condições suficientes que são estruturalmente distintas e menos restritivas nas componentes do campo de velocidade do que as previamente conhecidas.