Singular limit for nonlocal conservation laws with non-locality in density and velocity

Enunciado do Problema
Este artigo investiga o limite singular de uma lei de conservação escalar não local que incorpora não-localidade tanto na densidade quanto na velocidade. A equação governante é dada por:
$$\begin{cases} \partial_t u^\varepsilon + \partial_x \left( V_1(V_2(u^\varepsilon) * \eta_\varepsilon) u^\varepsilon \right) = 0, \\ u^\varepsilon(0, x) = u_0(x), \end{cases}$$
onde $V_1$ e $V_2$ são funções de velocidade, e $\eta_\varepsilon$ é um núcleo reescalonado aproximando a identidade. Os autores visam justificar rigorosamente a convergência da solução não local $u^\varepsilon$ para a solução clássica local $u$ da correspondente lei de conservação não linear:
$$\partial_t u + \partial_x \left( V_1(V_2(u)) u \right) = 0,$$
conforme $\varepsilon \to 0$. Este problema específico foi colocado como uma questão aberta em um trabalho anterior [10], que estabeleceu a boa colocação para o modelo não local, mas não provou o limite.

Contexto e Desafios
O artigo observa que, embora o limite singular para o caso degenerado (onde $V_2 = \text{Id}$) seja bem estudado, o caso geral com não-localidade na velocidade apresenta dificuldades significativas. Argumentos de compacidade padrão (por exemplo, via conservação de $L^1$ e Banach-Alaoglu) são insuficientes para passar ao limite no termo não linear $V_1(V_2(u^\varepsilon) * \eta_\varepsilon)u^\varepsilon$. Tentativas anteriores para lidar com o caso geral foram frequentemente restritas a dados iniciais monótonos ou escolhas específicas de núcleo (como o núcleo exponencial). Um desafio primário é identificar as suposições precisas sobre o núcleo $\eta$ e as funções de velocidade necessárias para garantir a convergência para soluções clássicas até o tempo de formação de choque.

Metodologia
A estratégia de prova baseia-se no estabelecimento da convergência para soluções clássicas ($W^{2,\infty}$) antes da formação de choques. A metodologia procede através das seguintes etapas:

1. Transformação de Variáveis: Os autores introduzem a variável $U^\varepsilon = V_2(u^\varepsilon)$ e $U = V_2(u)$. O cerne da prova foca na derivação de uma equação de evolução para a diferença $U^\varepsilon - U$ e no estabelecimento de sua convergência para zero.
2. Análise do Princípio do Máximo: Ao analisar a equação que governa $U^\varepsilon - U$, os autores avaliam a derivada temporal da norma $L^\infty$, $\| (U^\varepsilon - U)(t, \cdot) \|_\infty$, em um ponto de máximo. Isso envolve multiplicar a equação da diferença pela função sinal da diferença.
3. Estimativa de Termos: A desigualdade diferencial resultante é decomposta em termos ($I$ e $J$) representando as diferenças no fluxo e nas interações não locais.
   • Os autores utilizam a propriedade bi-Lipschitz de $V_2$ e a regularidade de $V_1, V_2$ para limitar as diferenças nos termos de fluxo.
   • Crucialmente, eles exploram a estrutura específica do núcleo anisotrópico $\eta$ (suportado em $\mathbb{R}^-$, não decrescente e não negativo) para lidar com os termos de convolução não locais. Especificamente, eles mostram que a interação entre a derivada do núcleo e a função sinal produz contribuições não positivas, permitindo estimativas favoráveis.
4. Argumento de Aproximação: A prova é conduzida primeiramente sob a suposição de que o núcleo $\eta$ é Lipschitz contínuo. Para estender o resultado a núcleos gerais que satisfazem as condições anisotrópicas (integráveis, limitados, suportados em $\mathbb{R}^-$, não decrescentes), os autores empregam um lema de aproximação. Eles constroem uma sequência de núcleos Lipschitz convergindo para o núcleo alvo e utilizam a estabilidade das soluções em relação ao núcleo para passar ao limite.
5. Desigualdade de Grönwall: As estimativas levam a uma desigualdade diferencial da forma $\frac{d}{dt} \|U^\varepsilon - U\|_\infty \leq O(\varepsilon) + C \|U^\varepsilon - U\|_\infty$. Aplicar a desigualdade de Grönwall resulta na convergência desejada.

Resultados Principais
O principal resultado, Teorema 1.1, afirma que sob as seguintes suposições:

• Dados iniciais $u_0 \in W^{2,\infty}(\mathbb{R})$ com $u_0 \geq 0$.
• O núcleo $\eta$ satisfaz as condições anisotrópicas (I): $\eta \in L^1 \cap L^\infty$, $\text{supp}(\eta) \subset \mathbb{R}^-$, $\int \eta = 1$, e $\eta$ é não decrescente em $\mathbb{R}^-$.
• As funções de velocidade $V_1, V_2$ são suficientemente regulares ($W^{3,\infty}_{loc}$) com condições de monotonicidade específicas ($V_1' \geq 0, V_2' \leq 0$) e $V_2$ é bi-Lipschitz no intervalo da solução.

Então, para qualquer tempo $T$ estritamente menor que o tempo de existência máxima $T^*$ da solução clássica $u$ (isto é, antes da formação do choque), a solução não local $u^\varepsilon$ converge para a solução local $u$ na norma $L^\infty$ com uma taxa linear:
$$\sup_{t \in [0, T]} \| (u^\varepsilon - u)(t, \cdot) \|_\infty = O(\varepsilon).$$

Significância e Escopo
O artigo fornece uma resposta afirmativa à questão levantada em [10] a respeito do limite singular de leis de conservação não locais com não-localidade tanto na densidade quanto na velocidade. Os autores enfatizam que seu método cobre núcleos anisotrópicos gerais, removendo a restrição a formas específicas de núcleo (como o núcleo exponencial) ou dados iniciais monótonos encontrados na literatura anterior.

Os autores declaram explicitamente as limitações de seu trabalho atual: o resultado é válido para soluções clássicas até o tempo de formação de choque. Eles observam que estender esta derivação para soluções de entropia admissíveis globais no tempo (que lidariam com a formação de choques) permanece um problema aberto reservado para trabalhos futuros. O artigo não propõe novas aplicações ou configurações experimentais, mas foca estritamente na justificativa matemática rigorosa do limite para a classe especificada de equações.