Stochastic Compressible Euler Equations with Frictional Damping: Existence of $L^\infty$ Martingale Solutions and Asymptotic Porous Medium-Like Behavior

1. Definição do Problema

O artigo investiga o comportamento das equações de Euler compressíveis isentrópicas unidimensionais na presença de amortecimento friccional linear e forçamento estocástico multiplicativo (ruído branco no tempo). O sistema é definido em um intervalo limitado $[0, 1]$ com condições de contorno de Dirichlet para o momento.

O sistema estocástico é governado pelas seguintes equações diferenciais estocásticas (EDS) acopladas:

$$\begin{cases} d\rho + \partial_x m \, dt = 0 \\ dm + \partial_x \left( \frac{m^2}{\rho} + p(\rho) \right) dt = -\alpha m \, dt + \sigma(x, \rho, m) \, dW(t) \end{cases}$$

Onde:

• $\rho(t, x)$ é a densidade e $m(t, x) = \rho u$ é o momento (com $u$ sendo a velocidade).
• $p(\rho) = \kappa \rho^\gamma$ é a pressão de um gás ideal politrópico ($\gamma > 1$).
• $\alpha > 0$ é o coeficiente de amortecimento friccional.
• $W(t)$ é um movimento browniano unidimensional.
• $\sigma(x, \rho, m)$ é o coeficiente de ruído, assumido Lipschitz contínuo e com suporte compacto em relação às variáveis de estado.
• As condições iniciais são em $L^\infty$ e as condições de contorno são $m(t, 0) = m(t, 1) = 0$.

O objetivo principal é estabelecer a existência global de soluções e analisar o comportamento assintótico de longo prazo ($t \to \infty$) sob perturbações estocásticas.

2. Metodologia

Os autores empregam uma abordagem rigorosa baseada em análise estocástica de EDPs hiperbólicas, utilizando uma aproximação de dois níveis para provar a existência e estudar a convergência:

A. Existência de Soluções (Teorema 1.1)

Para provar a existência global de soluções de martingale $L^\infty$ (fracas no sentido de entropia), o sistema é aproximado através de:

1. Regularização Parabólica ($\epsilon$-nível): Adição de um termo de viscosidade artificial $\epsilon \partial_{xx} U$ ao sistema hiperbólico, transformando-o em um sistema parabólico estocástico. Isso garante regularidade espacial ($H^2$) e permite a aplicação da fórmula de Itô.
2. Esquema de Divisão Temporal ($\tau$-nível): Utilização de um esquema de splitting de Lie-Trotter contínuo. O intervalo de tempo é dividido em subintervalos onde o problema é resolvido alternadamente como:
   • Um subproblema determinístico (com viscosidade e amortecimento).
   • Um subproblema estocástico (onde a densidade é mantida constante e apenas o momento é atualizado pela integral estocástica).
3. Passagem ao Limite:
   • Primeiro, toma-se o limite $\tau \to 0$ para obter uma solução do sistema regularizado parabólico.
   • Em seguida, toma-se o limite $\epsilon \to 0$ para recuperar o sistema original.
   • A convergência é estabelecida usando o Teorema da Representação de Skorokhod para garantir convergência quase certa em um novo espaço de probabilidade, seguido pelo Teorema de Gyöngy-Krylov para retornar ao espaço original, aproveitando a unicidade de trajetória do sistema regularizado.
   • Técnicas de compacidade compensada estocástica e medidas de Young são usadas para lidar com a não-linearidade e a possível formação de choques.

B. Comportamento Assintótico (Teoremas 1.2 e 1.3)

Para analisar o comportamento de longo prazo, os autores desenvolvem estimativas de decaimento:

1. Estimativas de Momentos: Derivam estimativas agudas para momentos de ordem superior da entropia no nível da aproximação $\epsilon$. Isso é crucial porque a equação de entropia para o sistema regularizado é uma igualdade (permitindo o uso da fórmula de Itô), enquanto o sistema limite satisfaz apenas uma desigualdade.
2. Decaimento Exponencial: Demonstram que, sob condições adequadas no coeficiente de ruído (especificamente, que a constante de Lipschitz $A_0$ seja suficientemente pequena em relação ao amortecimento $\alpha$), a solução converge exponencialmente para um estado estacionário constante.
3. Convergência Quase Certa: Utilizam resultados recentes de Yuskovych sobre a convergência quase certa de integrais estocásticas para transformar o decaimento em expectativa (L2) em decaimento quase certo (ponto a ponto no tempo).

3. Contribuições Principais

1. Primeiro Resultado de Convergência Quase Certa: Este trabalho fornece, pela primeira vez, um resultado rigoroso de convergência quase certa (pathwise) para o comportamento de longo prazo das equações de Euler compressíveis isentrópicas estocásticas com amortecimento linear. A maioria da literatura anterior focava apenas na existência de medidas invariantes ou soluções estacionárias, sem provar a convergência das trajetórias.
2. Soluções $L^\infty$ em Domínio Limitado: Diferente de trabalhos anteriores que consideravam dados iniciais em $L^2$ ou domínios periódicos, este artigo lida com dados iniciais em $L^\infty$ e condições de contorno de Dirichlet para o momento, o que introduz dificuldades técnicas significativas na análise de fronteiras.
3. Justificativa Rigorosa da Lei de Darcy Estocástica: O artigo demonstra que, no limite de longo prazo, a dinâmica estocástica é bem aproximada pela solução determinística da equação de meio poroso, validando a Lei de Darcy mesmo na presença de ruído, desde que o ruído seja dominado pelo amortecimento.
4. Técnicas Novas de Análise: Desenvolvimento de novas técnicas que combinam estimativas de energia de momentos superiores no nível da aproximação viscosa com resultados de convergência quase certa de integrais estocásticas para controlar os efeitos do ruído temporal.

4. Resultados Chave

• Teorema 1.1 (Existência): Prova a existência global de soluções de martingale $L^\infty$ fracamente no sentido de entropia para o sistema estocástico com dados iniciais limitados.
• Teorema 1.2 (Decaimento Exponencial): Mostra que, sob a condição de que a intensidade do ruído seja controlada ($A_0 < \tilde{C} \min(\alpha, 1)$), a solução $(\rho, m)$ converge quase certamente e exponencialmente rápido para um estado estacionário $(\rho^*, 0)$, onde $\rho^*$ é a massa total inicial. A taxa de decaimento é dada por $e^{-rt}$.
• Teorema 1.3 (Aproximação por Meio Poroso): Estabelece que o comportamento assintótico da solução estocástica é bem aproximado pela solução clássica da equação de meio poroso determinística:
  $$\partial_t \rho = \partial_{xx} p(\rho), \quad m = -\frac{1}{\alpha} \partial_x p(\rho)$$
  A diferença entre a solução estocástica e a solução do meio poroso decai exponencialmente em norma $L^2$.

5. Significado e Impacto

Este trabalho é fundamental para a compreensão da dinâmica de fluidos compressíveis sob incertezas aleatórias.

• Validação Física: Confirma que, em regimes de longo prazo, o efeito dissipativo do amortecimento friccional supera as flutuações estocásticas, levando o sistema a um equilíbrio termodinâmico estável, independentemente da natureza aleatória do forçamento inicial.
• Avanço Teórico: Preenche uma lacuna na literatura sobre EDPs estocásticas hiperbólicas, movendo-se além da existência de medidas invariantes para a análise de trajetórias individuais (convergência quase certa).
• Aplicações: O modelo tem relevância direta para a modelagem de fluxo sanguíneo em artérias elásticas, onde flutuações aleatórias (ex: batimentos cardíacos) interagem com a dinâmica do fluido e a elasticidade da parede, e onde a aproximação por meio poroso é frequentemente utilizada para descrever o fluxo em escalas de tempo longas.

Em resumo, o artigo estabelece uma base matemática rigorosa para a estabilidade e o comportamento assintótico de sistemas de fluidos compressíveis estocásticos, demonstrando que o caos temporal induzido pelo ruído não impede a convergência para um estado de equilíbrio determinístico bem definido.