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

Probleemstelling
Dit artikel onderzoekt de enkelvoudige limiet van een scalaire niet-lokale conserveringswet die niet-lokaliteit bevat in zowel dichtheid als snelheid. De beheersende vergelijking wordt gegeven door:
$$\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}$$
waarbij $V_1$ en $V_2$ snelheidsfuncties zijn, en $\eta_\varepsilon$ een geschaalde kernel is die de identiteit benadert. De auteurs beogen het rigoureus te rechtvaardigen van de convergentie van de niet-lokale oplossing $u^\varepsilon$ naar de klassieke lokale oplossing $u$ van de corresponderende niet-lineaire conserveringswet:
$$\partial_t u + \partial_x \left( V_1(V_2(u)) u \right) = 0,$$
als $\varepsilon \to 0$. Dit specifieke probleem werd gepresenteerd als een open vraag in eerder werk [10], dat weliswaar de welgedetermineerdheid voor het niet-lokale model vaststelde, maar de limiet niet bewees.

Context en Uitdagingen
Het artikel merkt op dat hoewel de enkelvoudige limiet voor het gedegenereerde geval (waarbij $V_2 = \text{Id}$) goed bestudeerd is, het algemene geval met niet-lokaliteit in de snelheid aanzienlijke moeilijkheden met zich meebrengt. Standaard compactheidsargumenten (bijv. via $L^1$-conservering en Banach-Alaoglu) zijn onvoldoende om de limiet te passeren in de niet-lineaire term $V_1(V_2(u^\varepsilon) * \eta_\varepsilon)u^\varepsilon$. Eerdere pogingen om het algemene geval aan te pakken waren vaak beperkt tot monotone initiële data of specifieke keuzes voor de kernel (zoals de exponentiële kernel). Een primaire uitdaging is het identificeren van de precieze aannames op de kernel $\eta$ en de snelheidsfuncties die nodig zijn om convergentie te garanderen voor klassieke oplossingen tot aan de tijd van schokvorming.

Methodologie
De bewijsstrategie berust op het vaststellen van convergentie voor klassieke oplossingen ($W^{2,\infty}$) vóór de vorming van schokken. De methodologie verloopt via de volgende stappen:

1. Transformatie van Variabelen: De auteurs introduceren de variabele $U^\varepsilon = V_2(u^\varepsilon)$ en $U = V_2(u)$. De kern van het bewijs richt zich op het afleiden van een evolutievergelijking voor het verschil $U^\varepsilon - U$ en het vaststellen van de convergentie hiervan naar nul.
2. Analyse van het Maximumprincipe: Door de vergelijking die $U^\varepsilon - U$ beheerst te analyseren, evalueren de auteurs de tijdsafgeleide van de $L^\infty$-norm $\| (U^\varepsilon - U)(t, \cdot) \|_\infty$ in een punt van maximum. Dit houdt in dat de verschilvergelijking wordt vermenigvuldigd met de tekenfunctie van het verschil.
3. Schatting van Termen: De resulterende differentiële ongelijkheid wordt ontleed in termen ($I$ en $J$) die de verschillen in de flux en de niet-lokale interacties vertegenwoordigen.
   • De auteurs maken gebruik van de bi-Lipschitz eigenschap van $V_2$ en de regulariteit van $V_1, V_2$ om de verschillen in de fluxtermen te begrenzen.
   • Cruciaal is dat zij de specifieke structuur van de anisotrope kernel $\eta$ (ondersteund op $\mathbb{R}^-$, niet-dalend en niet-negatief) exploiteren om de niet-lokale convolutie-termen te behandelen. Specifiek tonen zij aan dat de interactie tussen de afgeleide van de kernel en de tekenfunctie niet-positieve bijdragen oplevert, wat gunstige schattingen mogelijk maakt.
4. Benaderingsargument: Het bewijs wordt eerst uitgevoerd onder de aanname dat de kernel $\eta$ Lipschitz-continu is. Om het resultaat uit te breiden naar algemene kernels die voldoen aan de anisotrope condities (integreerbaar, begrensd, ondersteund op $\mathbb{R}^-$, niet-dalend), gebruiken de auteurs een benaderingslemma. Zij construeren een sequentie van Lipschitz-continue kernels die convergeren naar de doel-kernel en gebruiken de stabiliteit van de oplossingen ten opzichte van de kernel om de limiet te passeren.
5. Grönwall-ongelijkheid: De schattingen leiden tot een differentiële ongelijkheid van de vorm $\frac{d}{dt} \|U^\varepsilon - U\|_\infty \leq O(\varepsilon) + C \|U^\varepsilon - U\|_\infty$. Het toepassen van de Grönwall-ongelijkheid levert de gewenste convergentiesnelheid op.

Belangrijkste Resultaten
Het hoofdbestanddeel, Theorem 1.1, stelt dat onder de volgende aannames:

• Initiële data $u_0 \in W^{2,\infty}(\mathbb{R})$ met $u_0 \geq 0$.
• De kernel $\eta$ voldoet aan de anisotrope condities (I): $\eta \in L^1 \cap L^\infty$, $\text{supp}(\eta) \subset \mathbb{R}^-$, $\int \eta = 1$, en $\eta$ is niet-dalend op $\mathbb{R}^-$.
• Snelheidsfuncties $V_1, V_2$ zijn voldoende regulier ($W^{3,\infty}_{loc}$) met specifieke monotoniciteitscondities ($V_1' \geq 0, V_2' \leq 0$) en $V_2$ is bi-Lipschitz op het bereik van de oplossing.

Dan, voor elke tijd $T$ die strikt kleiner is dan de maximale existentietijd $T^*$ van de klassieke oplossing $u$ (d.w.z. vóór de vorming van schokken), convergeert de niet-lokale oplossing $u^\varepsilon$ naar de lokale oplossing $u$ in de $L^\infty$-norm met een lineaire snelheid:
$$\sup_{t \in [0, T]} \| (u^\varepsilon - u)(t, \cdot) \|_\infty = O(\varepsilon).$$

Betekenis en Reikwijdte
Het artikel biedt een bevestigend antwoord op de vraag gesteld in [10] met betrekking tot de enkelvoudige limiet van niet-lokale conserveringswetten met niet-lokaliteit in zowel dichtheid als snelheid. De auteurs benadrukken dat hun methode algemene anisotrope kernels dekt, waardoor de beperking tot specifieke kernelvormen (zoals de exponentiële kernel) of monotone initiële data uit eerdere literatuur wordt opgeheven.

De auteurs geven expliciet de beperkingen van hun huidige werk aan: het resultaat is geldig voor klassieke oplossingen tot aan de tijd van schokvorming. Zij merken op dat het uitbreiden van deze afleiding naar globale-in-tijd entropie-admissibele oplossingen (wat schokvorming zou behandelen) een open probleem blijft dat aan toekomstig werk is voorbehouden. Het artikel stelt geen nieuwe toepassingen of experimentele opstellingen voor, maar richt zich strikt op de rigoureuze wiskundige rechtvaardiging van de limiet voor de gespecificeerde klasse van vergelijkingen.