Gradient blowup of smooth vacuum solutions to 1D compressible Euler equations

1. Formulação do Problema

O artigo investiga as equações de Euler compressíveis isentrópicas em uma dimensão para um gás politrópico ($p = \rho^\gamma$) no domínio semi-infinito $\Omega = \{x > 0\}$. O fluido está em contato com uma fronteira de vácuo estacionária em $x=0$.

• Equações Governantes: O sistema é escrito em termos de densidade $\rho$, velocidade $u$ e velocidade do som $c$:
  $$\rho_t + (\rho u)_x = 0, \quad (\rho u)_t + (\rho u^2 + p)_x = 0$$
  Na região não-vácuo, isso é equivalente a um sistema para a velocidade $u$ e a velocidade do som $c$.
• Condições de Contorno: A fronteira de vácuo é estacionária ($x=0$) com $c(t,0)=0$ e $u(t,0)=0$.
• O Fenômeno: Os autores estudam a explosão do gradiente (perda de regularidade) ocorrendo na fronteira de vácuo em tempo finito. Especificamente, eles constroem soluções que são inicialmente suaves (especificamente $C^{\lfloor \beta \rfloor, \beta-\lfloor \beta \rfloor}$) e de quadrado integrável, mas evoluem para se tornarem apenas Hölder contínuas $C^{1-\mu}$ perto da fronteira no tempo de explosão $t=0$, onde as primeiras derivadas da velocidade e da velocidade do som divergem.
• Parâmetro de Regularidade: A regularidade é caracterizada por $\mu \in [1/2, 1)$ e $\beta = \frac{1}{1-\mu} \geq 2$. O caso $\mu = 1/2$ corresponde ao perfil mais estável (relacionado à singularidade de cúspide $C^{1/3}$ na equação de Burgers).

2. Metodologia

A prova baseia-se em uma análise de estabilidade de soluções auto-similares construídas em um trabalho anterior [27]. A metodologia envolve várias etapas sofisticadas:

A. Reformulação Auto-Similar

Os autores utilizam a simetria de escala das equações de Euler para introduzir variáveis auto-similares $(\tau, y)$:
$$\tau = -\log(\mu(-t)), \quad y = \frac{x}{(-t)^\delta}$$
onde $\delta = 1/\mu$. O sistema é transformado em um conjunto de equações para os invariantes de Riemann $(\hat{z}, \hat{w})$. As soluções auto-similares construídas em [27] aparecem como estados estacionários $(\bar{z}, 0)$ nestas variáveis.

B. Localização e Construção de Perfis

Como as soluções auto-similares são ilimitadas no campo distante, os autores constroem um perfil localizado $\mathring{z} = \chi \bar{z}$ usando uma função de corte dependente do tempo $\chi$. Este corte é transportado pela velocidade característica do fluxo de fundo para garantir que os termos de erro decaiam adequadamente.

C. Decomposição das Perturbações

A solução é decomposta em três partes:

1. O Perfil: A solução auto-similar localizada $\mathring{z}$.
2. Termos de Modulação: Uma soma finita de polinômios em $y$ com coeficientes dependentes do tempo $(z_i(\tau), w_i(\tau))$. Estes coeficientes correspondem à expansão de Taylor da solução na origem.
3. Resto: Componentes de alta frequência $(Z, W)$ que se anulam na fronteira até uma ordem elevada ($n_\mu - 1$).

A decomposição é:
$$\hat{z} = \mathring{z} + \sum_{i=2}^{n_\mu-1} \phi(y) \frac{z_i(\tau)}{i!} y^i + Z, \quad \hat{w} = \sum_{i=2}^{n_\mu-1} \phi(y) \frac{w_i(\tau)}{i!} y^i + W$$

D. Análise de Modulação (Sistema de EDOs)

Os coeficientes $(z_i, w_i)$ satisfazem um sistema de equações diferenciais ordinárias (EDOs) derivado impondo condições de anulação nas derivadas de ordem superior na fronteira.

• Estabilidade: Os autores identificam uma variedade estável de dimensão finita para estas EDOs. Para prevenir o crescimento exponencial (instabilidade) impulsionado por termos anti-amortecimento, os dados iniciais devem satisfazer restrições algébricas específicas (relações polinomiais entre $z_i$ e $w_i$).
• Simetrias: As restrições $z_1 = w_1 = 0$ removem as simetrias de translação temporal e espacial, fixando o tempo de explosão em $t=0$.

E. Estimativas de Energia para o Resto

Para o resto $(Z, W)$, os autores realizam uma análise rigorosa de estabilidade não linear usando argumentos de bootstrap e estimativas de energia:

• Pesos Singulares: Eles empregam espaços $L^2$ ponderados com pesos singulares $y^{-n_\mu}$ para lidar com a degenerescência na fronteira de vácuo.
• Estimativas de Alta Ordem: Eles derivam estimativas em $\dot{H}^{n_\mu}$ (espaços de Sobolev) para controlar a regularidade.
• Dissipação: O operador linearizado em torno do perfil exibe estrita dissipatividade para altas frequências devido à velocidade de transporte e à escolha específica do índice de regularidade $n_\mu$.
• Tratamento de $\beta$ Não-Inteiro: Cuidado especial é tomado quando $\beta$ não é um inteiro (ou seja, $\mu \notin S$), onde o perfil tem suavidade limitada. Nos casos onde $\beta$ é um semi-inteiro, uma restrição adicional $w_2 = 0$ é imposta para evitar singularidades não integráveis nos termos de interação.

3. Contribuições e Resultados Chave

Teorema Principal (Teorema 1.1 & 2.7)

Os autores provam a existência de uma grande classe de dados iniciais suaves, de quadrado integrável e não-auto-similares que evoluem para soluções exibindo explosão do gradiente na fronteira de vácuo estacionária.

• Transição de Regularidade: As soluções começam como $C^{\lfloor \beta \rfloor, \beta-\lfloor \beta \rfloor}$ e transitam para $C^{1-\mu}$ em $t=0$.
• Taxa de Explosão: Perto do ponto de explosão $(0,0)$, a velocidade e a velocidade do som comportam-se assintoticamente como:
  $$u(t, x) \sim -\tilde{a} x^{1-\mu}, \quad c(t, x) \sim \tilde{b} x^{1-\mu}$$
  levando a gradientes ilimitados $\partial_x u, \partial_x c \to \infty$.
• Codicimensionalidade Finita: O conjunto de dados iniciais que levam a este cenário específico de explosão forma um subconjunto de codimensão finita do espaço de Sobolev $H^{n_\mu}$.
  • A codimensão é $\lfloor \beta + 1 \rfloor$ para $\mu$ genérico.
  • Para $\mu = 1/2$, a codimensão é 3, correspondendo às três simetrias (translação temporal, impulso galileano, escala).
  • Para $\mu \in H$ (semi-inteiro $\beta$), uma restrição extra $w_2=0$ é requerida, aumentando a codimensão.

Inovações Técnicas

1. Estabilidade de Soluções Auto-Similares: Esta é a primeira prova rigorosa da estabilidade de soluções auto-similares de "tempo de espera" para as equações de Euler compressíveis com uma fronteira de vácuo estacionária, estendendo resultados anteriores sobre a equação de Burgers.
2. Tratamento de Fronteiras Estacionárias: Ao contrário de problemas de fronteira livre onde o vácuo se move, este trabalho lida com o caso onde a fronteira é fixa ($u=0$ em $x=0$) mas o gradiente explode, exigindo uma análise cuidadosa da interação entre a condição de contorno e o perfil auto-similar.
3. Modulação com Pesos Singulares: O desenvolvimento de estimativas de energia com pesos singulares $y^{-n_\mu}$ combinado com a teoria de modulação para controlar os modos de baixa frequência perto da singularidade.

4. Significado

• Física Matemática: O artigo resolve uma questão de longa data sobre a generalidade da explosão do gradiente em fluxos de Euler no vácuo. Ele demonstra que a explosão do gradiente não é apenas uma característica de soluções auto-similares especiais, mas é estável sob perturbações de uma grande classe de dados iniciais suaves.
• Conexão com a Equação de Burgers: Os resultados fornecem um elo rigoroso entre a formação de singularidades de cúspide na equação de Burgers e o sistema mais complexo de Euler compressível, validando o uso de perfis de Burgers como modelos base para a formação de singularidades em dinâmica dos gases.
• Dinâmica da Fronteira de Vácuo: Ele esclarece o comportamento do fenômeno de "tempo de espera", mostrando que mesmo com uma condição de contorno estacionária, o sistema pode evoluir naturalmente para um estado de vácuo físico (onde a fronteira começaria a se mover) se a regularidade for perdida, ou manter o estado estacionário com gradientes infinitos.
• Direções Futuras: O trabalho prepara o terreno para o estudo da continuação destas soluções após o tempo de explosão, potencialmente levando à formação de fronteiras livres ou descontinuidades fracas, um problema deixado para estudos futuros.

Em resumo, este artigo fornece uma estrutura matemática rigorosa para entender como dados iniciais suaves e fisicamente relevantes em dinâmica dos gases podem evoluir para estados singulares com gradientes infinitos em uma fronteira de vácuo, estabelecendo a estabilidade destas singularidades contra perturbações.