Interfaces and non-uniqueness in a cross-diffusion system with independent drifts

Resumo Técnico: Interfaces e Não-Unicidade em um Sistema de Cross-Difusão com Drifts Independentes

Enunciado do Problema
O artigo investiga um sistema de cross-difusão unidimensional que descreve a evolução de duas densidades populacionais, $\rho(t, x)$ e $\mu(t, x)$, sujeitas a uma lei de pressão comum dependente da densidade total $S = \rho + \mu$ e a potenciais de drift externos distintos $V$ e $W$. O sistema é governado por:
$$\begin{aligned} \partial_t\rho - \partial_x(\rho \partial_x f'(\rho + \mu)) - \partial_x(\rho \partial_x V) &= 0, \\ \partial_t\mu - \partial_x(\mu \partial_x f'(\rho + \mu)) - \partial_x(\mu \partial_x W) &= 0. \end{aligned}$$
A questão central abordada é a bem-posedade do problema de Cauchy quando os dados iniciais são segregados (ou seja, $\rho_0$ e $\mu_0$ possuem suportes disjuntos que se encontram em uma única interface) e os drifts são distintos. Especificamente, os autores examinam o regime onde os drifts empurram as duas fases uma contra a outra na interface ($\partial_x W(0) - \partial_x V(0) > 0$). Embora a literatura anterior tenha estabelecido que soluções segregadas existem e permanecem segregadas sob certas condições, este trabalho questiona se tais soluções são únicas quando comparadas com soluções obtidas via o limite de viscosidade evanescente.

Metodologia
Os autores empregam uma abordagem de entropia relativa para distinguir entre diferentes noções de soluções. O núcleo de sua metodologia envolve:

1. Funcional de Entropia Relativa: Eles definem um funcional $\Phi[\rho, \mu] = \int_{\mathbb{R}} h(\rho, \mu) dx$, onde $h(u, v) = (u+v)\log(u+v) - u\log u - v\log v$. Este funcional é não-negativo e anula-se se, e somente se, as densidades forem segregadas ($\rho\mu = 0$).
2. Aproximação Viscosa: Eles analisam o sistema com termos de viscosidade adicionados ($\varepsilon \partial_{xx}$) e estudam o limite quando $\varepsilon \to 0$. Eles derivam uma identidade de dissipação de entropia no nível viscoso e passam ao limite para obter um limite inferior para a entropia relativa da solução de viscosidade evanescente.
3. Análise Distributiva na Interface: Um passo técnico crítico envolve caracterizar a derivada distributiva da quantidade $q = \partial_x \rho - \frac{\rho}{S}\partial_x S$ na interface. Para uma solução segregada com uma interface nítida, este termo comporta-se como uma massa de Dirac.
4. Contradição via Mistura: Os autores provam que, se os drifts empurram as fases juntas, o limite inferior da entropia relativa para uma solução de viscosidade evanescente é estritamente positivo, implicando mistura. Inversamente, uma solução segregada mantém $\Phi \equiv 0$. Esta contradição estabelece a não-unicidade.
5. Tratamento de Dados Gerais: Para dados gerais, os autores devem garantir que a interface não desapareça (criando um vácuo) ou se afaste da região onde os drifts induzem a mistura. Eles utilizam:
   • Resultados de regularidade para soluções segregadas de trabalhos anteriores ([56]).
   • Princípios de comparação e desigualdades de Harnack para equações de drift-difusão desacopladas para mostrar que, se um vácuo fosse formado na interface, as espécies se misturariam instantaneamente, contradizendo a suposição de segregação.
   • Construção de sub-soluções de pressão (inspiradas em ondas viajantes) para o regime de difusão lenta ($\alpha > 1$) para provar a persistência da interface.

Contribuições Principais e Resultados

1. Não-Unicidade Explícita para Estados Estacionários:
   Os autores constroem uma solução segregada estacionária explícita $(\bar{\rho}, \bar{\mu})$ onde o gradiente de pressão equilibra os drifts em cada lado da interface. Eles provam que esta solução é uma solução fraca válida, mas não pode ser uma solução de viscosidade evanescente. Sob a condição de que os drifts empurram as fases juntas, o limite de viscosidade evanescente necessariamente produz uma sobreposição (mistura), enquanto a solução estacionária explícita permanece segregada.

2. Não-Unicidade para Dados Gerais:
   Estendendo o resultado além dos estados estacionários, o artigo prova que, para uma ampla classe de leis de pressão (incluindo leis de potência $f'(s) \sim s^{\alpha-1}$ com $\alpha > 1/3$) e dados iniciais segregados gerais, o problema de Cauchy admite pelo menos duas soluções distintas:

   • Uma solução segregada (construída via esquemas de movimento minimizante como em [56]).
   • Uma solução de viscosidade evanescente (construída via argumentos de compacidade como em [58]).
     Estas soluções são distintas porque a solução de viscosidade evanescente desenvolve uma zona de mistura (entropia relativa positiva), enquanto a solução segregada não o faz.

3. Desigualdade de Dissipação de Entropia:
   Um resultado técnico central é a derivação da desigualdade:
   $$\Phi[\rho(t), \mu(t)] \geq \int_0^t \langle q(s), \partial_x V - \partial_x W \rangle ds$$
   para soluções de viscosidade evanescente. Esta desigualdade quantifica a mistura induzida pela diferença de drift e serve como a principal ferramenta para distinguir classes de soluções.

Significado e Alegações
O artigo afirma fornecer a primeira demonstração de não-unicidade para esta classe específica de sistemas de cross-difusão com drifts independentes. Os autores destacam que:

• Soluções Físicas vs. Matemáticas: O fenômeno ilustra que a solução "física" selecionada pela viscosidade evanescente (que permite a mistura) difere da solução matematicamente válida segregada. Isso desafia a bem-posedade do sistema dentro da classe de soluções fracas.
• Analogia ao Problema de Muskat: O comportamento guarda uma semelhança impressionante com o problema de Muskat, onde uma interface instável entre fluidos de diferentes densidades cede espontaneamente para uma zona de mistura.
• Limitações da Teoria Existente: O trabalho ressalta que as teorias de existência padrão para sistemas de cross-difusão (que frequentemente dependem da compacidade de aproximações suaves) podem selecionar soluções que não preservam a segregação, mesmo quando soluções segregadas existem.
• Escopo: Os autores declaram explicitamente que estes resultados são específicos para sistemas de cross-difusão onde as espécies não exibem auto-difusão. Eles observam que sistemas com termos de auto-difusão possuem maior regularidade que impede interfaces nítidas, e, portanto, este mecanismo de não-unicidade não se espera que se aplique a modelos de advecção-difusão de espécie única ou sistemas de cross-difusão com auto-difusão.

O artigo conclui que, para sistemas de cross-difusão com drifts independentes que empurram as fases juntas, o problema de Cauchy é mal-posto na classe de soluções fracas sem um critério de seleção mais restritivo (como o limite de viscosidade evanescente) para distinguir entre os estados segregado e misturado.