Non-Smooth Solutions of the Navier-Stokes Equation and their Means

Resumo Técnico: Soluções Não Suaves da Equação de Navier-Stokes e seus Médios

Enunciado do Problema
Este artigo aborda a regularidade das soluções para as equações de Navier-Stokes incompressíveis em um domínio espacial periódico $T^3$. Especificamente, investiga a existência de soluções fracas de Leray-Hopf (LH) não suaves (explosão em tempo finito) e caracteriza a relação entre essas soluções singulares e seus valores "médios". O trabalho posiciona-se como uma resposta ao problema do Prêmio Millennium do Clay Mathematics Institute sobre a existência e suavidade de soluções em três dimensões. Os autores afirmam resolver o problema no sentido negativo, construindo dados iniciais que levam à explosão em tempo finito, enquanto demonstram simultaneamente que a média de qualquer solução fraca permanece suave para todo o tempo.

Metodologia
A análise é conduzida dentro do arcabouço de soluções fracas, utilizando espaços de funções específicos e princípios de entropia:

• Espaços de Funções: Os autores trabalham primariamente no espaço dual $V^*$ (onde $V=H^1$) em vez do padrão espaço de energia $H=L^2$. Esta escolha simplifica as provas de analiticidade e explosão. As soluções são analisadas no espaço $W = L^p(0, T; V^*)$ com funções de corte específicas $\phi \in L^1(0, T; V)$.
• Princípio da Entropia: Uma ferramenta metodológica central é o "Princípio da Entropia", que postula a existência de soluções fracas que maximizam a produção de entropia. O artigo distingue entre soluções "maximizadoras de produção de entropia" (associadas a flutuações turbulentas) e soluções "minimizadoras de produção de entropia" (associadas ao médio).
• Análise de Taxa de Decaimento: A prova de explosão baseia-se na comparação das taxas de decaimento de diferentes componentes da solução. Os autores analisam o decaimento da solução $u$ versus o decaimento dos integrandos de flutuação turbulenta $\nu_t^{int}$.
  • A solução $u$ (no contexto do subespaço SRI, ou Somação sobre Índices Repetidos) exibe uma taxa de decaimento viscoso lenta de $O(e^{-\nu t/2})$.
  • As flutuações turbulentas $\nu_t^{int}$ (no subespaço NSRI, ou Índices Repetidos Não Somados) mostram-se decaindo a uma taxa mais rápida, $O(e^{-4\nu t/3})$ (ou $O(t^{-4/3})$ em termos polinomiais).
• Cortes (Cutoffs) e Limites: A construção utiliza cortes espaciais e temporais (subespaços de dimensão finita de elementos suaves de base) para definir soluções fracas. Os resultados são estabelecidos como limites onde esses cortes são removidos.
• Diagramas de Feynman: O mecanismo de explosão é descrito em termos de diagramas de Feynman conectados, onde ocorre uma descontinuidade em coeficientes de expansão não-SRI específicos (especificamente aqueles relacionados à dissipação turbulenta) conforme eles transitam de modos turbulentos para viscosos.

Principais Contribuições e Resultados

1. Construção de Explosão em Tempo Finito:
   O artigo constrói soluções fracas de Leray-Hopf não suaves que experimentam explosão em tempo finito.

   • Dados Iniciais: A explosão é desencadeada por dados iniciais "turbulentos", caracterizados por flutuações turbulentas não nulas no espaço de análise de energia (especificamente, modos de energia NSRI não nulos).
   • Mecanismo: A explosão surge de uma contradição lógica nas taxas de decaimento para soluções maximizadoras de entropia. A flutuação turbulenta $\nu_t^{int}$ decai mais rápido que a própria solução $u$. Eventualmente, em um tempo finito $T^*$, a curva de decaimento da flutuação cai abaixo do limite inferior do decaimento viscoso permitido para a solução suave. Para resolver esta contradição, a solução deve perder suavidade, resultando em uma descontinuidade nos termos de dissipação turbulenta.
   • Resultado: O Teorema 5.1 estabelece que uma solução maximizadora de entropia com condições iniciais turbulentas possui apenas um intervalo finito de regularidade e não é globalmente suave.

2. Regularidade do Médio:
   O artigo identifica o "médio" de uma solução fraca como uma entidade distinta com propriedades de regularidade diferentes.

   • Definição: O médio $M(u)$ é definido no espaço de Fourier vetorial como uma soma de médias sobre o espaço de configuração, espaço de fase e tempo fixo.
   • Minimização de Entropia: O médio corresponde a uma solução minimizadora de produção de entropia. Para esta classe de soluções, a taxa de dissipação turbulenta $\nu_t$ é zero.
   • Suavidade: O Teorema 7.1 prova que o médio de qualquer solução fraca é uma solução suave para todos os tempos positivos.
   • Redução da Equação: Para o médio, os termos não lineares e as flutuações turbulentas desaparecem ($M(\nu_t^{NL}) = 0$ e $M(\nu_t^{temp}) = 0$). Consequentemente, a equação de evolução para o médio reduz-se à equação do calor: $\partial_t M(u) = \nu \Delta M(u)$. Como as soluções da equação do calor com dados iniciais $H$ são suaves para $t > 0$, o médio é suave.

3. Resolução do Problema do Prêmio Millennium:
   Os autores afirmam resolver o problema do Prêmio Millennium no sentido negativo.

   • Eles demonstram que, para certas condições iniciais turbulentas (que são válidas dentro das restrições do problema de dados periódicos, divergentes e suaves), a solução explode em tempo finito.
   • Eles esclarecem que, embora o médio de uma solução seja sempre suave, o médio não possui dados iniciais "gerais" (é um subconjunto específico derivado da solução fraca). Portanto, a suavidade do médio não constitui uma solução positiva para o problema do prêmio, que exige suavidade para todos os dados iniciais suaves.

Significância e Alegações
O artigo afirma fornecer uma prova construtiva da existência de soluções não suaves para as equações de Navier-Stokes incompressíveis 3D, refutando assim a conjectura de que soluções suaves existem globalmente para todos os dados iniciais suaves.

• Solução Negativa: Ao mostrar que dados iniciais turbulentos levam à explosão em tempo finito, o artigo afirma ter resolvido o problema do Prêmio Millennium no sentido negativo.
• Distinção entre Turbulência e Médio: Uma contribuição conceitual significativa é a separação rigorosa do componente "turbulento" (que explode) do componente "médio" (que permanece suave e satisfaz uma equação do calor). O artigo argumenta que o valor médio de uma solução fraca é sempre uma solução suave, mas isso não impede que a solução fraca subjacente se torne singular.
• Papel da Entropia: O trabalho enfatiza o papel da maximização da produção de entropia em impulsionar a explosão das flutuações turbulentas, contrastando com a minimização da entropia que gera o médio suave.

Os autores observam que sua análise é restrita a fluidos incompressíveis, isotérmicos e únicos em um domínio periódico. Eles dependem da existência de soluções maximizadoras de produção de entropia (estabelecidas na literatura prévia) e estendem esses resultados para demonstrar as contradições específicas de taxa de decaimento que necessitam a explosão. O artigo não propõe verificação experimental ou aplicações futuras, mas enquadra sua contribuição como uma resolução teórica para a questão da regularidade.