On the fractional logarithmic $p$-Laplacian

Technische Samenvatting: Over de Fractionele Logaritmische p-Laplacian

Probleemstelling en Motivatie
Dit artikel introduceert en onderzoekt de fractionele logaritmische p-Laplacian, aangeduid als $(-\Delta)^{s+\log}_p$. De operator wordt gedefinieerd als de eerste-orde afgeleide met betrekking tot de ordeparameter $t$ van de fractionele p-Laplacian $(-\Delta)^t_p$, geëvalueerd in een willekeurig punt $s \in (0, 1)$. Hoewel het lineaire geval ($p=2$) en het limietgeval $s \to 0$ (leidend tot de logaritmische Laplacian $L_\Delta$) recent zijn bestudeerd door Chen et al. en Dyda et al., breidt dit werk de theorie uit naar de niet-lineaire, kwasi-lineaire setting waarbij $1 < p < \infty$.

De primaire motivatie vloeit voort uit de noodzaak om het asymptotische gedrag van fractionele operatoren te begrijpen en een rigoureuze functionele kaders te ontwikkelen voor problemen die worden gedreven door deze nieuwe niet-lokale operator. Een aanzienlijke uitdaging die wordt aangepakt, is het differentiëren van de niet-lokale integraalkern onder het integraalteken, wat een logaritmische singulariteit $|x-y|^{-N-sp} \ln|x-y|$ introduceert. Deze logaritmische factor verandert de singulariteitsstructuur, met name in het bereik $1 < p < 2$, en verandert het teken van de kern voor $|x-y| > 1$, wat standaard variatiestellingen met betrekking tot coerciviteit en positiviteit bemoeilijkt.

Methodologie en Functioneel Kader
De auteurs vestigen een uitgebreid functioneel-analytisch kader dat volledig is gebaseerd op methoden voor reële variabelen, waarbij Fourier-transformatietechnieken worden vermeden omdat deze niet beschikbaar zijn voor $p \neq 2$.

1. Definitie en Representatie van de Operator:
   Het artikel bewijst dat voor $u \in C^2_c(\mathbb{R}^N)$ de afbeelding $t \mapsto (-\Delta)^t_p u(x)$ $C^1$ is op $(0, 1)$. De afgeleide levert de expliciete integraalrepresentatie op:
   $$(-\Delta)^{s+\log}_p u(x) = B(N, s, p)(-\Delta)^s_p u(x) - p C(N, s, p) \text{P.V.} \int_{\mathbb{R}^N} \frac{|u(x)-u(y)|^{p-2}(u(x)-u(y)) \ln|x-y|}{|x-y|^{N+sp}} dy$$
   waarbij $C(N, s, p)$ een specifieke normalisatieconstante is die correcte limieten garandeert voor $s \to 0$ en $s \to 1$, en $B(N, s, p) = \frac{d}{ds} \ln C(N, s, p)$. De kern $K^{s+\log}_p$ blijkt van teken te wisselen en kan worden ontbonden in positieve en negatieve delen.

2. Energieruimten:
   De natuurlijke energieruimte $W^{s+\log,p}_0(\Omega)$ wordt geïntroduceerd, gedefinieerd via een Gagliardo-achtige seminorm die het positieve deel van de logaritmische kern omvat. De auteurs bewijzen dat deze ruimte een separabele, uniform convexe en reflexieve Banachruimte is. Zij stellen vast dat deze ruimte strikt ligt tussen de standaard fractionele Sobolevruimten $W^{s+\epsilon,p}_0(\Omega)$ en $W^{s,p}_0(\Omega)$.

3. Belangrijke Ongelijkheden:
   Het artikel leidt enkele fundamentele ongelijkheden af die essentieel zijn voor de analyse:

   • Poincaré-achtige ongelijkheid: Het vestigen van controle van de $L^p$-norm door de fractionele logaritmische seminorm.
   • Hardy-achtige ongelijkheid: Een rand-Hardy ongelijkheid met een logaritmische gewichtsfactor nabij de rand.
   • Díaz-Saa ongelijkheid: Bewezen onder de geometrische voorwaarde $\text{diam}(\Omega) < e^{-1/sp}$, leidend tot uniciteitsresultaten.
   • Gagliardo-Nirenberg ongelijkheid: Interpolatie tussen $L^p$ en de fractionele logaritmische norm.
   • Pohozaev-identiteit: Een gewijzigde Pohozaev-identiteit wordt afgeleid, waarbij een strikt positieve "defectmaat" $\Gamma_{s,p}(u)$ naar voren komt die voortvloeit uit het logaritmische gewicht dat de homogeniteit van de klassieke kern doorbreekt.

Belangrijkste Resultaten

• Inbeddingseigenschappen: Het artikel vestigt continue inbeddingen van $W^{s+\log,p}_0(\Omega)$ in $L^q(\Omega)$ voor $1 \le q \le p^*_s$ (waarbij $p^*_s = Np/(N-sp)$). Cruciaal is dat de auteurs een compakte inbedding bewijzen bij de kritieke exponent $p^*_s$. Dit onderscheidt de fractionele logaritmische setting van klassieke fractionele Sobolevruimten, waar compactheid faalt bij de kritieke exponent. Dit resultaat impliceert dat Dirac-massa-concentraties niet ontstaan, waardoor concentratie-compactheidsargumenten op begrensde domeinen overbodig worden.

• Dirichlet-eigenwaardeprobleem: De auteurs onderzoeken het niet-lineaire eigenwaardeprobleem:
  $$(-\Delta)^{s+\log}_p u = \lambda |u|^{p-2}u \quad \text{in } \Omega, \quad u = 0 \quad \text{in } \mathbb{R}^N \setminus \Omega.$$
  Onder de geometrische aanname $\text{diam}(\Omega) < e^{-1/sp}$ (die garandeert dat de kern strikt positief blijft op $\Omega \times \Omega$) en $B(N, s, p) \ge 0$, bewijzen zij:

  1. Bestaan: De eerste eigenwaarde $\lambda^{s+\log}_{1,p}$ wordt bereikt via de directe methode van de variatierekening.
  2. Positiviteit en Eenvoudigheid: De eerste eigenwaarde is strikt positief, en de bijbehorende eigenfunctie $\phi^{s+\log}_{1,p}$ is eenvoudig (uniek tot op een scalair veelvoud) en strikt positief bijna overal in $\Omega$.
  3. Begrensdheid: Eigenfuncties zijn globaal begrensd ($L^\infty(\Omega)$).
  4. Sterk Minimumprincipe: Een sterk minimumprincipe wordt vastgesteld voor zwakke supersoluties, waarmee eerdere resultaten voor fractionele operatoren worden uitgebreid.

• Pohozaev: Niet-bestaan versus Bestaan: De afgeleide Pohozaev-identiteit bevat een defectterm $\Gamma_{s,p}(u) > 0$. De auteurs merken op dat, in tegenstelling tot de klassieke fractionele p-Laplacian, waarbij de Pohozaev-identiteit vaak leidt tot niet-bestaansresultaten voor kritieke exponenten op ster-vormige domeinen, de aanwezigheid van de positieve defectmaat in het logaritmische geval de mogelijkheid biedt voor kritieke en superkritieke oplossingen.

Betekenis en Claims
Het artikel claimt het eerste rigoureuze variatiestelsel te bieden voor de fractionele logaritmische p-Laplacian in het niet-lineaire regime ($p \neq 2$). De betekenis hiervan ligt in:

1. Uitbreiding van Lineaire Theorie: Het succesvol generaliseren van de theorie van de lineaire logaritmische Laplacian naar de kwasi-lineaire setting, waarbij de moeilijkheden die worden veroorzaakt door het ontbreken van Fourier-multiplicatoren worden overwonnen.
2. Kritieke Compactheid: Het aantonen dat de logaritmische correctie een sterkere compactheidseigenschap induceert bij de kritieke Sobolev-exponent, een eigenschap die niet aanwezig is in standaard fractionele Sobolevruimten.
3. Structurele Inzichten: Het onthullen hoe het logaritmische gewicht de schaal-invariantie doorbreekt, wat leidt tot een gewijzigde Pohozaev-identiteit met een defectmaat die de existentietheorie voor kritieke problemen fundamenteel verandert.
4. Spectrale Eigenschappen: Het vestigen van het bestaan, de eenvoudigheid en de positiviteit van de eerste eigenwaarde onder specifieke geometrische beperkingen, wat een fundament biedt voor verdere spectrale analyse van niet-lokale operatoren met logaritmische singulariteiten.

Het werk wordt gepresenteerd als een fundamentele stap, waarbij de nodige hulpmiddelen (functionele ruimten, ongelijkheden en regulariteitsschattingen) worden ontwikkeld om randwaardeproblemen die worden gedreven door deze operator te bestuderen, zonder specifieke fysieke toepassingen voor te stellen buiten de wiskundige context van niet-lokale fenomenen.