Optimal stability of Dirichlet problem for the regional fractional $p$-Laplacian

Technische Samenvatting: Optimale Stabiliteit van het Dirichlet-probleem voor de Regionale Fractionele $p$-Laplace-operator

Probleemstelling
Dit artikel onderzoekt het asymptotische gedrag van het Dirichlet-randwaardeprobleem geassocieerd met de regionale fractionele $p$-Laplace-operator, aangeduid als $(-\Delta)^s_{p,\Omega}$, wanneer de fractionele parameter $s$ de waarde 1 benadert van onderen ($s \to 1^-$). Het probleem is gedefinieerd op een begrensde Lipschitz-domein $\Omega \subset \mathbb{R}^d$ met $1 < p < \infty$ en $sp > 1$. De vergelijking is gegeven door:
$$\begin{cases} (-\Delta)^s_{p,\Omega} u_s = f_s & \text{in } \Omega, \\ \gamma^s_0(u_s) = g_s & \text{op } \partial\Omega, \end{cases}$$
waarbij $\gamma^s_0$ de spooroperator (trace operator) is die $W^{s,p}(\Omega)$ afbeeldt op de fractionele spoorruimte $W^{s-1/p,p}(\partial\Omega)$. De operator is genormaliseerd door een constante $C_{d,p,s}$ om een consistente asymptotische gedrag te garanderen naarmate $s \to 1^-$ (het klassieke $p$-Laplace $-\Delta_p$ herstelt) en naarmate $s \to 0^+$.

Het primaire doel is het vaststellen van de optimale stabiliteit (sterke convergentie in de natuurlijke energieruimte) van de zwakke oplossingen $u_s$ naar de limietoplossing $u_1$ wanneer $s \to 1^-$. Een secundair doel is het analyseren van de asymptotische stabiliteit van de geassocieerde Dirichlet-eigenparen $(\lambda_s, \phi_s)$.

Methodologie en Kader
De analyse steunt op verschillende cruciale technische componenten:

1. Definities van Asymptotische Convergentie: Omdat de onderliggende ruimtes $W^{s,p}_0(\Omega)$ en spoorruimtes variëren met $s$, is standaard zwakke convergentie onvoldoende. De auteur introduceert:

   • Asymptotische Zwakke Convergentie: Een sequentie van functionalen $(f_s)$ convergeert asymptotisch zwak naar $f_1$ als deze begrensd blijft en voldoet aan een zwak-sterke convergentie-eigenschap tegenover sequenties die sterk convergeren in $L^p$.
   • Asymptotische Sterke Convergentie: Randgegevens $(g_s)$ convergeren sterk naar $g_1$ in de passende spornormen.

2. Robuuste Interpolatie en Compactheid: Het bewijs maakt gebruik van robuuste interpolatie-ongelijkheden (geleend uit Foghem [19]) om de compactheid van de oplossingssequentie $(u_s)$ in $W^{\eta,p}(\Omega)$ vast te stellen voor $1/p < \eta < 1$. Deze compactheid is cruciaal voor het behandelen van het gedrag nabij de rand, wat als een belangrijke moeilijkheid wordt aangemerkt.

3. Asymptotiek van Spoorruimtes: Een aanzienlijk deel van het werk is gewijd aan de asymptotische eigenschappen van de spoorruimtes $W^{s-1/p,p}(\partial\Omega)$. De auteur bewijst dat deze ruimtes convergeren naar de klassieke spoorruimte $W^{1-1/p,p}(\partial\Omega)$ naarmate $s \to 1^-$. Dit omvat het vaststellen van de asymptotische compactheid van begrensde families in deze spoorruimtes en het bieden van een karakterisering van $W^{1-1/p,p}(\partial\Omega)$ via de liminf van normen.

4. Robuuste Poincaré-Friedrichs-ongelijkheden: Het artikel stelt verschillende varianten van robuuste Poincaré-type ongelijkheden vast die uniform gelden voor $s$ dicht bij 1. Deze ongelijkheden zijn essentieel voor het bewijzen van de coërciviteit van de energiefunctionalen en de welgedetermineerdheid van het probleem.

5. $\Gamma$-Convergentie: De energiefunctionalen geassocieerd met het Dirichlet-probleem vertonen $\Gamma$-convergentie in de sterke topologie van $W^{\eta,p}(\Omega)$. Dit biedt een variationeel kader voor de convergentie van minimizers.

Kernbijdragen en Resultaten

• Theorem 1.1 (Optimale Stabiliteit van Oplossingen): Onder de assumpties van asymptotische zwakke convergentie voor de bronterm $f_s$ en asymptotische sterke convergentie voor de randgegevens $g_s$, convergeert de sequentie van zwakke oplossingen $u_s$ sterk naar de unieke zwakke oplossing $u_1$ van het limietprobleem in de optimale zin:
  $$\lim_{s \to 1^-} \|u_s - u_1\|_{W^{s,p}(\Omega)} = 0.$$
  Dit resultaat verbetert eerdere bevindingen (bijv. Foghem [19]) die slechts convergentie in $W^{\eta,p}(\Omega)$ voor $\eta < 1$ vaststelden.

• Theorem 1.2 (Stabiliteit van Eigenparen): Voor de genormaliseerde Dirichlet-eigenparen $(\lambda_s, \phi_s)$ van de regionale fractionele $p$-Laplace-operator, bestaat er een sub-sequentie $s_n \to 1^-$ zodanig dat de eigenwaarden convergeren ($\lambda_{s_n} \to \lambda_1$) en de eigenfuncties sterk convergeren in de energienorm:
  $$\lim_{n \to \infty} \|\phi_{s_n} - \phi_1\|_{W^{s_n,p}(\Omega)} = 0.$$

• Spoorruimte Karakterisering (Theorema 3.3 & 3.4): Het artikel stelt de asymptotische compactheid van de spoorruimtes $W^{s-1/p,p}(\partial\Omega)$ vast en karakteriseert de limietruimte $W^{1-1/p,p}(\partial\Omega)$ via de begrensdheid van de liminf van de fractionele normen.

• Robuuste Ongelijkheden (Sectie 4): De auteur leidt robuuste Poincaré- en Friedrichs-ongelijkheden af die uniform gelden voor $s \in (s_0, 1)$, inclusief gevallen met gedeeltelijke randvoorwaarden op een deelverzameling $\Gamma_0 \subset \partial\Omega$ met een positieve Hausdorff-maat.

Betekenis en Claims
Het artikel claimt dat de convergentie van zwakke oplossingen voor het Dirichlet-probleem geassocieerd met de regionale fractionele $p$-Laplace-operator een nieuw resultaat is. De betekenis ligt in het bereiken van optimale convergentie (sterke convergentie in de $W^{s,p}$-norm) in plaats van de zwakkere convergentie in $W^{\eta,p}$ voor $\eta < 1$ die in eerdere literatuur werd vastgesteld.

De auteur benadrukt dat de belangrijkste moeilijkheid in deze analyse voortkomt uit het gedrag van de zwakke oplossingen nabij de rand $\partial\Omega$. Door de robuustheid van de spooroperator en de asymptotische eigenschappen van de spoorruimtes vast te stellen, overwint het artikel dit obstakel. De resultaten dienen als een brug tussen niet-lokale variationele problemen en klassieke lokale problemen, en bieden een rigoureuze fundering voor de limiet $s \to 1^-$ in de context van regionale operatoren met inhomogene randvoorwaarden. Het werk draagt ook bij aan de literatuur over niet-lokaal-naar-lokaal asymptotica door resultaten van de volledige fractionele $p$-Laplace-operator (gedefinieerd op $\mathbb{R}^d$) uit te breiden naar het regionale geval (gedefinieerd op een begrensd domein).