Strong solutions to the initial-boundary-value problem of compressible MHD equations with degenerate viscosities and far field vacuum in 3D exterior domains

Resumo Técnico: Soluções Fortes para o Problema de Valor Inicial-Contorno das Equações de MHD Compressíveis com Viscosidades Degeneradas e Vácuo em Campo Distante em Domínios Exteriores 3D

Enunciado do Problema
Este artigo aborda a existência local e a unicidade de soluções fortes para o problema de valor inicial-contorno (IBVP) para as equações de Magnetohidrodinâmica (MHD) compressíveis tridimensionais em um domínio exterior $\Omega = \mathbb{R}^3 \setminus \bar{D}$. O sistema é caracterizado por duas complexidades físicas significativas:

1. Vácuo em campo distante: A densidade inicial $\rho_0$ aproxima-se de zero quando $|x| \to \infty$.
2. Viscosidades degeneradas: Os coeficientes de viscosidade cisalhante e volumétrica são funções de potência da densidade, $\mu(\rho) = \mu\rho^\delta$ e $\lambda(\rho) = \lambda\rho^\delta$, com $0 < \delta < 1$.

O sistema está sujeito a condições de contorno de Navier-slip para a velocidade e condições de condutor perfeito para o campo magnético. O principal desafio matemático surge da singularidade dos termos envolvendo $\rho^{\delta-1}$ e $\nabla\rho^{\delta-1}$ conforme a densidade se anula, o que é exacerbado pelo forte acoplamento entre o movimento do fluido e o campo magnético.

Metodologia
Os autores empregam uma combinação de técnicas de aproximação, estimativas de energia e uma nova reformulação do sistema para lidar com as singularidades e as condições de contorno.

1. Transformação de Variáveis: Para gerenciar os termos singulares decorrentes das viscosidades dependentes da densidade e do campo magnético, os autores introduzem novas variáveis:

   • $\psi = \nabla \log \rho$, que auxilia no tratamento do gradiente da densidade.
   • $J = \rho^{-(1-\delta)/2} H$, um campo magnético médio ponderado pela densidade. Esta variável é crucial, pois transforma a equação do campo magnético em uma equação parabólica padrão, desacoplando efetivamente a singularidade da evolução do campo magnético nas estimativas.

2. Sistema Reformulado: As equações MHD originais são reescritas em termos de $(\rho, u, H, J)$. A equação do momento é multiplicada por $\rho^{-\delta}$ para isolar os termos singulares, e a equação do campo magnético é transformada em uma equação parabólica para $J$ com condições de contorno específicas derivadas das condições de condutor perfeito.

3. Aproximação e Estimativas A Priori:

   • O problema é primeiro resolvido em um domínio anular limitado $\Omega_R$ com densidade inicial estritamente positiva para estabelecer soluções clássicas locais.
   • Uma série de estimativas a priori uniformes é derivada para as soluções suaves. As estimativas principais incluem limites em $\nabla \rho^{(\delta-1)/2}$, $\nabla u$, $\nabla H$ e as derivadas temporais dessas quantidades.
   • Os autores utilizam funções de corte (cut-off) e teoremas de traço para lidar com os termos de contorno, particularmente a condição de contorno para $J$ que depende de $\psi \cdot n$. Um passo crítico envolve transformar o termo de contorno envolvendo $J_t$ de volta para $H_t$ para utilizar a integrabilidade de $\nabla H_t$.

4. Prova de Unicidade: Para provar a unicidade, os autores consideram a diferença entre duas soluções. Uma dificuldade específica surge das derivadas de segunda ordem da densidade nas equações de diferença. Para contornar isso, eles introduzem uma transformação envolvendo $g_i = \rho_i^{-\delta}$ e utilizam o fato de que a diferença inicial $\bar{g}|_{t=0} = 0$, permitindo fechar as estimativas sem exigir o controle direto das segundas derivadas da diferença de densidade.

Principais Contribuições e Resultados
O resultado principal, Teorema 1.1, estabelece a existência local e a unicidade de soluções fortes para dados iniciais grandes e regulares que satisfazem condições de decaimento específicas perto do vácuo. A solução $(\rho, u, H)$ existe em um intervalo de tempo $[0, T_0]$ e satisfaz classes de regularidade específicas, incluindo $u \in L^\infty(0, T_0; D^1_0 \cap D^2) \cap L^2(0, T_0; D^3)$ e $H \in L^\infty(0, T_0; H^2)$.

Insights Técnicos Específicos:

• Papel do Campo Magnético: Uma descoberta significativa é que o campo magnético $H$ mantém uma taxa de decaimento mais rápida que a densidade $\rho$ durante toda a evolução temporal. Especificamente, se os dados iniciais satisfazem $J_0 = H_0 / \rho^{(1+\delta)/2}_0 \in H^1$, então $J \in L^\infty(0, T_0; H^1)$. Esta propriedade é essencial para controlar os termos singulares associados ao campo magnético na equação do momento.
• Comportamento de Contorno: A análise demonstra que a densidade retém um limite inferior positivo próximo ao contorno $\partial \Omega$ por um curto período de tempo, apesar do vácuo em campo distante. Isso é alcançado através da estimativa derivada $\rho^{(\delta-1)/2} \in L^\infty(0, T_0; L^6(\Omega_0))$.
• Generalização: Os resultados generalizam a teoria local para as equações de Navier-Stokes compressíveis com viscosidades degeneradas (especificamente o trabalho de Li-Lü-Yuan [24]) para o sistema MHD compressível.

Significância
O artigo afirma que, para o caso $0 < \delta < 1$, as abordagens anteriores utilizadas para as equações de Navier-Stokes ou MHD com $\delta \ge 1$ são insuficientes devido à forte singularidade de $\rho^{\delta-1}$ e às novas dificuldades introduzidas pelo campo magnético. Este trabalho preenche uma lacuna na literatura referente ao IBVP para MHD compressível com viscosidades degeneradas e vácuo em campo distante em domínios exteriores 3D. A introdução do campo magnético ponderado pela densidade $J$ e a demonstração de suas propriedades de decaimento fornecem um novo mecanismo para lidar com singularidades em sistemas fluido-magnéticos acoplados com coeficientes degenerados.

Os autores observam que seus métodos podem ser adaptados para o problema de Cauchy (sem fronteiras) e para o caso de dissipação magnética zero ($\eta=0$), embora o foco principal permaneça no IBVP com dissipação não nula.