Optimal stability of complement value problems for p-Lévy operators

Technische Samenvatting: Optimale Stabiliteit van Complementwaardeproblemen voor p-Lévy-operatoren

Probleemstelling
Dit werk onderzoekt het asymptotische gedrag van zwakke oplossingen van niet-lokale integro-differentiaalvergelijkingen (IDE's) die worden beheerst door symmetrische p-Lévy-operatoren naarmate het bereik van de niet-lokale interactie verdwijnt. Specifiek bestudeert het artikel de convergentie van oplossingen van het niet-lokale complementwaardeprobleem $(P_{\nu_\varepsilon, \tau})$ naar de oplossingen van het corresponderende lokale p-Laplace-randwaardeprobleem $(P_\tau)$ wanneer de parameter $\varepsilon \to 0$.

Het niet-lokale probleem is gedefinieerd op een open verzameling $\Omega \subset \mathbb{R}^d$ met zijn complement $\Omega^c$, beheerst door de operator:
$$\mathcal{L}_\varepsilon u(x) = 2 \text{ p.v.} \int_{\mathbb{R}^d} |u(x) - u(y)|^{p-2}(u(x) - u(y)) \nu_\varepsilon(x-y) \, dy$$
onderworpen aan niet-lokale Dirichlet- ($\tau=0$) of Neumann- ($\tau=1$) complementvoorwaarden op $\Omega^c$. De rij kernen $(\nu_\varepsilon)_\varepsilon$ is een familie van radiale p-Lévy-kernen die de identiteit benaderen, en voldoet aan specifieke normalisatievoorwaarden (bijv. $\int_{\mathbb{R}^d} (1 \wedge |h|^p)\nu_\varepsilon(h) dh = 1$). Het doel is om optimale convergentie vast te stellen, wat betekent sterke convergentie in de natuurlijke niet-lokale energieruimten $W^p_{\nu_\varepsilon}(\Omega)$ en $W^p_{\nu_\varepsilon}(\Omega|\mathbb{R}^d)$, en niet slechts in $L^p(\Omega)$.

Methodologie
De analyse steunt op een combinatie van variatiemethoden, asymptotische analyse van niet-lokale vormen en de theorie van spoorruimten.

1. Analyse van de Energievorm: De auteurs analyseren de convergentie van niet-lokale bilineaire vormen $E_\varepsilon(\cdot, \cdot)$ (en hun varianten $E_\varepsilon^\Omega$, $E_\varepsilon^+$, en de grensoverschrijdende vorm $E_\varepsilon^{cr}$) naar de lokale Dirichlet-vorm $E_0(u, v) = \int_\Omega |\nabla u|^{p-2}\nabla u \cdot \nabla v \, dx$. Een cruciale stap is het vaststellen van de asymptotische demi-convergentie van deze vormen, wat de convergentie van oplossingen karakteriseert, zelfs wanneer de rij functies afhankelijk is van $\varepsilon$.
2. Uniforme Linearisatie: Om de niet-lineariteit van de p-Lévy-operatoren (voor $1 < p < \infty$) te hanteren, hanteert het artikel uniforme linearisatie-schattingen (Stelling 2.4, 2.6) die het verschil van vormen relateren aan de energie van het verschil van functies. Dit stelt de auteurs in staat de convergentie van de niet-lineaire termen te controleren.
3. Robuustheid van Spoorruimten: Een aanzienlijk deel van het werk is gewijd aan het bewijzen van de robuustheid van niet-lokale spoorruimten $T^p_{\nu_\varepsilon}(\Omega^c)$ wanneer $\varepsilon \to 0$. De auteurs demonstreren dat deze ruimten in een sterk zin convergeren naar de lokale spoorruimte $W^{1-1/p, p}(\partial\Omega)$, inclusief de convergentie van liftingsoperatoren. Dit is essentieel voor het behandelen van Dirichlet-randvoorwaarden waarbij data wordt voorgeschreven op $\Omega^c$.
4. $\Gamma$-convergentie en Compactheid: De convergentie van oplossingen wordt geframed via de $\Gamma$-convergentie van de bijbehorende energiefunctionalen $J_\varepsilon$ naar de lokale functionaal $J$. Vanwege het domeinverschil (niet-lokale functies zijn gedefinieerd op $\mathbb{R}^d$, lokale op $\Omega$), maken de auteurs gebruik van asymptotische compactheidsresultaten (Stelling 2.18) en uniforme Poincaré-ongelijkheden om het bestaan van convergente deelrijen en de identificatie van de limiet te waarborgen.

Belangrijkste Bijdragen en Resultaten

• Optimale Convergentie van Oplossingen: Het primaire resultaat (Sectie 5) stelt dat onder geschikte asymptotische zwakke/sterke convergentie-aannames over de data ($f_\varepsilon, g_\varepsilon$), de rij zwakke oplossingen $(u_\varepsilon)_\varepsilon$ sterk convergeert naar de lokale oplossing $u$ in de optimale niet-lokale normen:
  $$\lim_{\varepsilon \to 0} \|u_\varepsilon - u\|_{W^p_{\nu_\varepsilon}(\Omega|\mathbb{R}^d)} = 0$$
  Dit impliceert het instorten van de grensoverschrijdende energieterm: $\lim_{\varepsilon \to 0} E_\varepsilon^{cr}(u_\varepsilon, u_\varepsilon) = 0$.
• Robuustheid van Niet-lokale Spoorruimten: Het artikel bewijst dat de niet-lokale spoorruimten $T^p_{\nu_\varepsilon}(\Omega^c)$ convergeren naar de lokale spoorruimte $W^{1-1/p, p}(\partial\Omega).$ Specifiek, als een rij randdata convergeert in de niet-lokale spoornorm, dan coincideert de limiet van de normen met de lokale spoornorm (Stelling 3.5). Bovendien bestaan er robuuste rechter-liftingsoperatoren die sterk convergeren naar de lokale liftingoperator.
• Asymptotische Demi-convergentie: De auteurs stellen een gegeneraliseerde vorm van demi-convergentie vast voor de energieformen $E_\varepsilon$ naar $E_0$ (Stelling 2.16, 2.17). Dit resultaat geldt onder lichte regulariteitsaannames over het domein (bijv. $W^{1,p}$-uitbreidingsdomeinen) of wanneer een van de functies op de rand verdwijnt, en breidt eerdere resultaten over vormconvergentie uit.
• Geval van de Fractionele p-Laplaciaan: De algemene theorie wordt toegepast op de fractionele p-Laplaciaan $(-\Delta)^s_p$ wanneer $s \to 1^-$. Het artikel toont aan dat oplossingen van de fractionele complementproblemen sterk convergeren naar de lokale p-Laplace-oplossingen (Sectie 6). Dit resultaat wordt vermeld als nieuw, zelfs voor de fractionele p-Laplaciaan.
• Convergentie van Dualruimten: De dualruimten van de niet-lokale Sobolev-ruimten blijken te convergeren naar hun lokale tegenhangers (Stelling 3.9), wat de stabiliteit van de variatieformuleringen waarborgt.

Betekenis en Beweringen
Het artikel claimt het optimale convergentieresultaat te leveren voor niet-lokale-tot-lokale limieten van p-Lévy-operatoren. Eerdere werken (inclusief het eerdere onderzoek van de auteur [24]) stelden sterke convergentie vast, maar alleen in $L^p(\Omega)$ onder versoepelde aannames. Dit werk versterkt het resultaat tot de energienorm, wat de natuurlijke topologie is voor deze variatieproblemen.

De auteurs benadrukken dat de keuze van de kernrij $(\nu_\varepsilon)_\varepsilon$ die voldoet aan voorwaarde (1.1) "essentieel optimaal" is, omdat deze inherent is aan de karakterisering van de lokale gradiëntnorm via niet-lokale verschillen (Vergelijking 1.3), en voortbouwt op baanbrekend werk van Brezis, Bourgain en Mironescu.

De robuustheid van de spoorruimten wordt benadrukt als een cruciaal onderdeel van de aanpak, wat een rigoureuze behandeling mogelijk maakt van niet-lokale randvoorwaarden die convergeren naar lokale randvoorwaarden. Het artikel stelt expliciet dat er in het algemeen geen sterkere convergentie kan worden verwacht, aangezien de niet-lokale oplossingen $u_\varepsilon$ behoren tot $W^p_{\nu_\varepsilon}(\Omega)$ terwijl de limiet $u$ behoort tot $W^{1,p}(\Omega)$, en de normen verschillend zijn.

De resultaten verenigen de behandeling van Dirichlet- en Neumann-complementproblemen en zijn van toepassing op zowel de volledige niet-lokale operator als regionale operatoren (waar interacties beperkt zijn tot $\Omega$). De bevindingen worden gepresenteerd als een generalisatie van bestaande literatuur voor $p=2$ en fractionele gevallen, en bieden een uitgebreid kader voor $1 < p < \infty$.