An eigenvalue problem for a nonlocal quasilinear anisotropic equation in fractional Orlicz Sobolev spaces without the $\Delta_2$--condition

Titel en Context

Het artikel onderzoekt een eigenwaardeprobleem geassocieerd met niet-lokale, quasilineaire en anisotrope operatoren van het type $L^s_a$, gedefinieerd in de context van fractionele Orlicz-Sobolev-ruimten. Een cruciaal aspect van dit werk is dat het de theorie ontwikkelt zonder de $\Delta_2$-voorwaarde (de zogenaamde $\Delta_2$-conditie) op de Young-functies aan te nemen. Dit is een significante uitbreiding omdat de afwezigheid van deze voorwaarde leidt tot ruimten die niet noodzakelijkerwijs separabel of reflexief zijn, wat de toepassing van standaard variatiemethoden bemoeilijkt.

1. Het Probleem

De auteurs bestuderen het volgende niet-lokale eigenwaardeprobleem op een begrensd open domein $\Omega \subset \mathbb{R}^n$:

$$\begin{cases} L^s_a u = \lambda g(u) & \text{in } \Omega \\ u = 0 & \text{in } \mathbb{R}^n \setminus \Omega \end{cases}$$

Waarbij de operator $L^s_a$ wordt gedefinieerd als:
$$L^s_a u(x) = 2 \, \text{p.v.} \int_{\mathbb{R}^n} a\left(x, y, \frac{u(x) - u(y)}{|x-y|^s}\right) \frac{dy}{|x-y|^{n+s}}$$

Karakteristieken van de operator:

• Niet-lokaal: De integraal hangt af van waarden van $u$ over het hele $\mathbb{R}^n$.
• Quasilineair en Anisotroop: De functie $a(x, y, \xi)$ is niet noodzakelijk homogeen in $\xi$ en kan variëren in $x$ en $y$.
• Growth Conditions: De groei van $a$ wordt beheerst door een Young-functie $M$ en haar complementaire functie $\bar{M}$. De auteurs nemen expliciet geen $\Delta_2$-conditie aan (d.w.z. $M(2t) \leq C M(t)$ hoeft niet te gelden). Dit betekent dat de bijbehorende Orlicz-ruimten $L_M$ en $L_{\bar{M}}$ mogelijk niet reflexief of separabel zijn.

2. Methodologie

De aanpak combineert functievoorzieningstheorie in niet-standaard ruimten met topologische methoden voor het vinden van kritieke punten.

• Functieruimten: Het werk maakt gebruik van fractionele Orlicz-Sobolev-ruimten ($W^{s}L_M$ en $W^{s}E_M$). Omdat de $\Delta_2$-conditie ontbreekt, zijn deze ruimten niet reflexief. De auteurs werken daarom met complementaire systemen (geïntroduceerd door [29]), specifiek het paar $(W^s_0 L_M, W^s_0 E_M)$ en hun duale ruimten, om de nodige compacte eigenschappen en dichtheidsresultaten te garanderen.
• Variatiële Formulering: Het probleem wordt herschreven als het zoeken naar kritieke punten van functionalen $A_s$ en $G$ op de ruimte $W^s_0 L_M(\Omega)$.
  • $A_s(u) = \iint A(x, y, D^s u) d\nu_n$ (waarbij $A$ de primitieve is van $a$).
  • $G(u) = \int_\Omega G(u) dx$ (waarbij $G$ de primitieve is van $g$).
• Ljusternik-Schnirelmann Theorie: Om een oneindige rij van eigenparen te vinden, maken de auteurs gebruik van de Ljusternik-Schnirelmann-theorie. Omdat de functionalen niet noodzakelijk $C^1$ zijn op de volledige ruimte (door het ontbreken van de $\Delta_2$-conditie), gebruiken ze een Galerkin-benadering:
  1. Ze construeren een eindig-dimensionale deelruimte $V_k$ (opgespannen door een tellbaar dichte basis).
  2. Ze lossen het probleem op in $V_k$ om een rij van benaderende eigenparen $(\lambda_k^i, u_k^i)$ te vinden.
  3. Ze bewijzen dat deze rij convergeert naar een oplossing in de oneindig-dimensionale ruimte.
• Pseudo-monotonie: Een centraal technisch resultaat is het bewijs dat de operator $L^s_a$ pseudo-monotoon is. Dit is essentieel om de convergentie van de benaderende oplossingen te garanderen, zelfs zonder de sterkere eigenschappen van reflexiviteit.

3. Belangrijkste Bijdragen en Resultaten

• Generalisatie van Bestaande Resultaten: Het werk generaliseert eerdere resultaten voor de fractionele $p$-Laplaciaan en de fractionele $m$-Laplaciaan (waarbij $M(t) = t^p$ of $M$ voldoet aan $\Delta_2$) naar het geval van niet-standaard groei zonder $\Delta_2$-conditie.
• Bestaan van een Rij Eigenparen: Het hoofdstelling (Theorema 4.10) stelt het bestaan van een rij eigenparen $\{(\lambda_i, u_i)\}_{i \in \mathbb{N}}$ vast, zodanig dat:
  • $\lambda_i \to +\infty$ als $i \to \infty$.
  • $u_i \to 0$ in de zwak-* topologie $\sigma(W^s_0 L_M, W^{-s}E_{\bar{M}})$.
• Omgaan met Niet-Reflexiviteit: De auteurs tonen aan dat men, ondanks het ontbreken van reflexiviteit en separabiliteit in de Orlicz-ruimten (door het ontbreken van $\Delta_2$), toch de Ljusternik-Schnirelmann-theorie kan toepassen door slim gebruik te maken van de dichtheid van de subruimte $W^s_0 E_M$ en de pseudo-monotonie van de operator.
• Asymptotisch Gedrag: Er wordt bewezen dat de eigenwaarden naar oneindig gaan en dat de bijbehorende eigenfunenties naar nul convergeren, wat consistent is met het gedrag van lineaire en standaard niet-lineaire elliptische problemen.

4. Significatie

Dit artikel is van groot belang voor de wiskundige analyse van niet-lokale diffusieproblemen met niet-standaard groei.

• Toepassingen: Veel fysische en biologische processen vertonen diffusiegedrag dat niet door de standaard $p$-Laplaciaan kan worden gemodelleerd (bijvoorbeeld waar de diffusiecoëfficiënt sterk varieert bij kleine of grote gradiënten). De afwezigheid van de $\Delta_2$-conditie maakt het mogelijk om deze extreme groeigedragingen te modelleren.
• Theoretische Vooruitgang: Het werk overbrugt een gat in de theorie van variatiële methoden voor niet-lokale operatoren in ruimten zonder de gebruikelijke reflexiviteitseigenschappen. Het biedt een robuust raamwerk voor het analyseren van eigenwaardeproblemen in zeer generieke Orlicz-Sobolev-ruimten.

Kortom, de auteurs hebben een krachtige methode ontwikkeld om de existentie van oneindig veel eigenwaarden te bewijzen voor een zeer brede klasse van niet-lokale, anisotrope operatoren, zelfs in de meest "pathologische" gevallen waar de standaard theorie faalt door het ontbreken van de $\Delta_2$-conditie.