Subproblemas de Navier-Stokes

Em 1934, Jean Leray teve uma ideia. E se você relaxar a exigência de que as soluções sejam perfeitamente suaves? Abandone essa demanda e, surpreendentemente, você pode provar que as soluções sempre existem. Os matemáticos chamam essas soluções relaxadas de soluções fracas.

Analogia: você não consegue encontrar uma estrada perfeita entre duas cidades, então aceita um caminho de terra com alguns buracos. Leray mostrou que o caminho de terra sempre existe. O Problema do Milênio pergunta se a estrada perfeita também existe, e após noventa anos de esforço ninguém conseguiu responder a essa pergunta.

O problema? Unicidade. Não sabemos se as soluções fracas são únicas. Comece com as mesmas condições iniciais e pode haver várias soluções fracas válidas, cada uma satisfazendo as equações, e as equações podem admitir mais de uma solução fraca admissível a partir dos mesmos dados iniciais.

Leray (1934) provou a existência de soluções fracas globais $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$ satisfazendo a desigualdade de energia

$$\frac{1}{2}\|u(t)\|_{L^2}^2 + \nu \int_s^t \|\nabla u(\tau)\|_{L^2}^2 \, d\tau \leq \frac{1}{2}\|u(s)\|_{L^2}^2$$

para q.t.p. $s \geq 0$ e todo $t \geq s$. Estas são agora chamadas soluções fracas de Leray-Hopf. Questões abertas principais:

• Unicidade na classe de energia é desconhecida. Em contraste, Buckmaster-Vicol (2019) provaram não-unicidade de soluções fracas em classes abaixo da classe de energia de Leray-Hopf (especificamente em $C_t L^2_x$, sem o controle $L^2_t \dot{H}^1_x$).
• Igualdade vs. desigualdade de energia: soluções fracas satisfazem a desigualdade, mas a igualdade (como para soluções suaves) não é garantida. A energia pode ser perdida em tempos singulares.
• Suavidade: se uma solução de Leray-Hopf é suave, ela é a única solução clássica. Portanto, regularidade implica unicidade.

Não podemos descartar singularidades inteiramente. Mas sabemos que elas não podem ser muito ruins. O resultado marcante de Caffarelli, Kohn e Nirenberg (1982) (o teorema CKN) prova que o conjunto de pontos onde uma solução pode explodir é incrivelmente pequeno.

Quão pequeno? No espaço-tempo, o conjunto de possíveis singularidades tem "medida de Hausdorff parabólica unidimensional zero". Em linguagem simples: o conjunto singular é extremamente pequeno em um sentido parabólico de teoria da medida (medida de Hausdorff parabólica unidimensional zero). Singularidades, se existirem, não podem formar curvas ou superfícies no espaço-tempo, e certamente não podem preencher nenhuma região.

Mesmo sem provar suavidade completa, sabemos que singularidades são extremamente raras.

O teorema de Caffarelli-Kohn-Nirenberg (1982): para qualquer solução fraca adequada $(u,p)$ das equações de Navier-Stokes, o conjunto singular $\Sigma$ satisfaz

$$\mathcal{P}^1(\Sigma) = 0$$

onde $\mathcal{P}^1$ é a medida de Hausdorff parabólica unidimensional. Equivalentemente, singularidades não podem se concentrar em curvas no espaço-tempo.

A prova introduz soluções fracas adequadas satisfazendo a desigualdade de energia local

$$\int |u|^2 \varphi(t) + 2\nu \int\!\!\int |\nabla u|^2 \varphi \leq \int\!\!\int |u|^2(\partial_t \varphi + \nu \Delta \varphi) + \int\!\!\int (|u|^2 + 2p)(u \cdot \nabla \varphi)$$

e usa um critério de $\varepsilon$-regularidade: se a quantidade invariante por escala $\frac{1}{r}\int_{Q_r} |\nabla u|^2$ é suficientemente pequena em um cilindro parabólico $Q_r$, então $u$ é regular no centro. A cota CKN segue então de um argumento de cobertura: pontos singulares forçam cotas inferiores em quantidades localizadas invariantes por escala de dissipação/energia, e a cobertura controla a medida parabólica unidimensional do conjunto singular por uma medida local de energia que se anula em pequenas escalas.

Se uma singularidade existe, como ela se parece? Matemáticos frequentemente separam potenciais explosões pela taxa:

• Tipo-I: a explosão permanece dentro da taxa natural auto-similar. Ela pode se parecer com um padrão auto-similar, mas Tipo-I não significa exatamente auto-similar. Vários cenários importantes do tipo Tipo-I ou de norma crítica limitada já foram descartados sob hipóteses adicionais.
• Tipo-II: a explosão excede a taxa natural ou se comporta de forma mais irregular, e é muito mais misteriosa e muito mais difícil de determinar com as técnicas existentes.

Provar regularidade significa descartar ambos os tipos. É por isso que a maioria das abordagens modernas distingue claramente entre os cenários Tipo-I e Tipo-II, embora algumas ferramentas se apliquem a ambos.

Suponha que $T^* < \infty$ seja um hipotético primeiro tempo de explosão. Classificação:

• Tipo-I: $\|u(t)\|_{L^\infty} \leq \frac{C}{\sqrt{T^* - t}}$ quando $t \to T^*$. Esta é a taxa natural de escala; um ansatz exatamente auto-similar é a forma especial $u(x,t) = \frac{1}{\sqrt{T^*-t}} U\left(\frac{x-x_0}{\sqrt{T^*-t}}\right)$, mas Tipo-I não exige auto-similaridade exata.
• Tipo-II: $\limsup_{t \to T^*} \sqrt{T^* - t} \, \|u(t)\|_{L^\infty} = \infty$. A explosão excede a taxa auto-similar.

Na frente das normas críticas, Escauriaza-Seregin-Šverák (2003) e Seregin (2012) implicam que controle $L^3$ limitado até um tempo de explosão impede singularidade; o resultado de Seregin mostra que a norma $L^3$ deve divergir na explosão. Gallagher-Koch-Planchon deram decomposições de perfil para cenários de norma crítica limitada, baseando-se em Nečas-Růžička-Šverák (1996) e Tsai (1998), que descartaram soluções retrógradas auto-similares não triviais e certas soluções localmente auto-similares sob hipóteses correspondentes.

Tipo-II permanece aberto. É onde os programas modernos de regularidade se concentram.

Existem medições específicas de uma solução de fluido que ficam exatamente na fronteira entre comportamento controlado e não controlado. Os matemáticos as chamam de normas críticas. Elas são a linha divisória.

Pense nisso como uma corda bamba. Várias normas críticas importantes têm critérios de regularidade condicionais: se elas permanecem limitadas, a suavidade segue. A energia que podemos controlar fica abaixo dessa corda bamba, frustradamente fora de alcance, e todo o desafio é preencher essa lacuna da escala de energia até o limiar crítico.

Quais normas importam? As principais medem a velocidade em $L^3$ (o cubo da velocidade, integrado sobre o espaço) ou espaços relacionados. Trabalhos recentes confirmaram algo encorajador: se qualquer uma dessas quantidades críticas permanece limitada, a solução permanece suave para sempre.

Uma norma $\|\cdot\|_X$ é crítica se é invariante sob o escalonamento de Navier-Stokes: $\|u_\lambda\|_X = \|u\|_X$. Os principais critérios de regularidade críticos:

• Escauriaza–Seregin–Šverák (2003): $u \in L^\infty_t L^3_x$ perto da explosão $\Rightarrow$ regularidade
• Ladyzhenskaya–Prodi–Serrin: $u \in L^p_t L^q_x$, $\frac{2}{p} + \frac{3}{q} = 1$, $q > 3$ $\Rightarrow$ regularidade
• Beale–Kato–Majda: $\int_0^{T^*} \|\omega(t)\|_{L^\infty} dt < \infty$ $\Rightarrow$ regularidade

A lacuna: a estimativa de energia dá $u \in L^{10/3}_{t,x}$ (por imersão de Sobolev), mas a condição crítica de Serrin requer $u \in L^5_{t,x}$. Esta lacuna de $10/3$ a $5$ é o coração do problema de supercriticalidade.

Se uma explosão acontece, para onde vai a energia? Ela se concentra. Alguma parte crítica em escala da solução deve se concentrar de uma forma que impede o controle uniforme, e entender exatamente como esse processo funciona é a chave para descartar a explosão ou provar que ela pode acontecer.

Concentração-compacidade dá aos matemáticos uma maneira de estudar o que acontece quando você amplia um ponto potencial de explosão. Argumentos de decomposição de perfil classificam como uma sequência ruim poderia falhar em permanecer compacta: ela pode se espalhar, concentrar perto de uma escala, ou escapar para distâncias maiores. O objetivo é descartar cada possibilidade.

A estratégia? Mostrar que cada um desses cenários leva a uma contradição, o que força a regularidade.

A abordagem de concentração-compacidade/decomposição de perfil (Kenig-Merle, 2006; adaptada para Navier-Stokes por Gallagher-Koch-Planchon, Kenig-Koch, e outros) procede da seguinte forma:

1. Elemento crítico: Se a regularidade global falha, existe uma "solução de explosão mínima" com a menor norma crítica possível que ainda explode.
2. Compacidade: Esta solução mínima tem uma propriedade de compacidade: módulo simetrias, sua órbita $\{u(\cdot, t)\}_{t \in [0,T^*)}$ é pré-compacta no espaço crítico.
3. Rigidez: Mostrar que qualquer solução de órbita compacta deve ser zero (ou globalmente regular), contradizendo a suposição de explosão.

Este programa foi completado para equações dispersivas energia-críticas (NLS, NLW) mas enfrenta obstáculos severos para Navier-Stokes devido à falta de uma quantidade crítica conservada e à não-localidade da pressão.

Este artigo faz parte de Progresso.

Cada subproblema tem seu próprio arsenal. Explore as principais abordagens para a regularidade de Navier-Stokes para o quadro completo, cobrindo tudo desde análise harmônica e métodos de energia até integração convexa e técnicas de concentração-compacidade que os pesquisadores estão ativamente avançando hoje.

Por que tão teimoso? Veja Por Que É Difícil. A formulação Clay: O Problema do Milênio. Turbulência: Número de Reynolds e Turbulência.

Este artigo faz parte de Progresso.

Para as ferramentas analíticas e geométricas desenvolvidas para abordar esses subproblemas, veja Abordagens. Para os obstáculos de escalonamento e supercriticalidade, veja Por Que É Difícil. Para a formulação Clay, veja O Problema do Milênio.