Fredholm alternative for a general class of nonlocal operators

1. Het Probleem en de Context

Het artikel adresseert een fundamenteel probleem in de analyse van partiële differentiaalvergelijkingen (PDE's): het bestaan en de uniciteit van oplossingen voor lineaire vergelijkingen, en de structuur van de oplossingsruimte wanneer resonanties (eigenwaarden) optreden. Dit staat bekend als het Fredholm Alternatief.

Traditioneel is dit alternatief goed begrepen voor lokale, tweede-orde elliptische operatoren met meetbare coëfficiënten, zoals beschreven door Neil Trudinger in 1973. Echter, moderne toepassingen in de biologie (bijv. verspreiding van soorten met verschillende Lévy-exponenten) en fysica vereisen modellen die niet-lokale operatoren van gemengde orde omvatten.

De auteurs willen het Fredholm Alternatief uitbreiden naar een zeer algemene klasse van niet-lokale operatoren $L$ die zijn gebaseerd op het concept van de fractionele gradiënt ($D^s$). Deze operatoren hebben de volgende complexe kenmerken:

• Gemengde orde: Ze zijn een superpositie (integraal of som) van operatoren met verschillende fractionele orden $s \in (0, 1]$.
• Variabele exponenten: De coëfficiënten kunnen afhangen van zowel de ruimte $x$ als de orde $s$.
• Onbegrensde en discontinuïteiten: De coëfficiënten hoeven niet begrensd of continu te zijn; ze kunnen onbegrensd zijn of sprongdiscontinuïteiten vertonen.
• Structuur: De operator heeft een "divergentievorm" die voortkomt uit ruimtelijke inhomogeniteit, wat de theorie fundamenteel onderscheidt van eerdere werken over algemene Lévy-maten.

2. Methodologie

De auteurs ontwikkelen een nieuw functioneel-analytisch raamwerk om met deze complexiteit om te gaan. De kern van hun aanpak bestaat uit de volgende stappen:

A. Definitie van de Operator en Ruimten
De operator $L$ wordt formeel gedefinieerd als:
$$Lu := \int_{(0,1]} \left( -D^s_i (a_{ij}(s, x)D^s_j u + a_i(s, x)u) + b_i(s, x)D^s_i u \right) d\mu(s) + a(x)u$$
waarbij $\mu$ een maat is op $(0, 1]$ (die continu, discreet of gemengd kan zijn).

Om de variatiestelling te kunnen toepassen, introduceren de auteurs de Hilbertruimte $H_0(A, g, \Omega)$. Deze ruimte is de voltooiing van $C^\infty_0(\Omega)$ onder de norm geïnduceerd door het inproduct:
$$\langle u, v \rangle_{H_0(A,g,\Omega)} := \int_{\mathbb{R}^n} \int_{(0,1]} a_{ij}^S(s, x) D^s_i u(x) D^s_j v(x) \, d\mu(s) \, dx + \int_{\Omega} g(x)u(x)v(x) \, dx$$
Hierbij is $A^S$ het symmetrische deel van de coëfficiëntenmatrix $A$.

B. Functionele Analyse en Inbeddingen
Een cruciaal obstakel is het bewijzen van compacte inbeddingen, die noodzakelijk zijn voor het Fredholm Alternatief. De auteurs:

• Bestuderen de Bessel-achtige ruimten $H^{s,p}_0(\Omega)$ en hun inbeddingen in $L^q$-ruimten.
• Bewijzen nieuwe ongelijkheden die de afhankelijkheid van de fractionele parameter $s$ expliciet controleren (Propositie 3.11), zelfs voor $p=1$.
• Introduceert het concept van compakte begrensdheid (Definition 1.2): Een functie $f$ is compakt begrensd op $H_0(A, g, \Omega)$ als voor elke $\epsilon > 0$ er een $K_\epsilon$ bestaat zodat:
  $$\| \phi \|_{L^2(f, \Omega)}^2 \leq \epsilon \| \phi \|_{H_0(A, g, \Omega)}^2 + K_\epsilon \| \phi \|_{L^1(\Omega)}^2$$
  Deze eigenschap is essentieel om de compacte inbedding van $H_0(A, g, \Omega)$ in $L^2(f, \Omega)$ te garanderen.

C. Coerciviteit en Continuïteit
De auteurs tonen aan dat de bijbehorende bilineaire vorm continu is en zwak coercief (onder bepaalde voorwaarden op de parameter $\sigma$). Ze gebruiken de Lax-Milgram stelling voor het geval $\sigma$ groot genoeg is, en de Riesz-Schauder-theorie voor compacte operatoren om het spectrum te analyseren.

3. Belangrijkste Bijdragen en Resultaten

De belangrijkste resultaten van het artikel zijn:

1. Generalisatie van Trudinger's Werk: Het artikel generaliseert het klassieke resultaat van Trudinger (voor lokale operatoren) naar een brede klasse van niet-lokale operatoren met gemengde orde en onbegrensde coëfficiënten.
2. Het Fredholm Alternatief (Stelling 1.4 en 1.5):
   • Er bestaat een aftelbare, geïsoleerde verzameling $\Sigma$ van eigenwaarden van de operator $L$.
   • Als $\sigma \notin \Sigma$, heeft het probleem $L_\sigma(f)u = T$ een unieke oplossing.
   • Als $\sigma \in \Sigma$, heeft het probleem óf geen oplossing, óf oneindig veel oplossingen. Een oplossing bestaat dan en slechts dan als de rechterkant $T$ orthogonaal is op de kern van de geadjungeerde operator $L^*_\sigma(f)$.
3. Technische Voorwaarde voor Compakte Begrensdheid: De auteurs geven voldoende voorwaarden (Stelling A.1 en A.2) waaronder een functie $f$ compakt begrensd is, afhankelijk van de integrabiliteit van de coëfficiënten en de dimensie van de ruimte.
4. Unificatie van Theorie: Het raamwerk behandelt zowel klassieke gevallen (waar $\mu$ een Dirac-maat is bij $s=1$) als zuiver niet-lokale gevallen en mengvormen in één uniforme theorie.
5. Analyse van de Fractionele Gradiënt: Het artikel bevat een zelfstandige introductie en technische uitbreidingen van eigenschappen van de fractionele gradiënt $D^s$, inclusief de relatie met de Riesz-potentiaal en de convergentie naar de klassieke gradiënt als $s \to 1$.

4. Significatie en Toepassingen

De betekenis van dit werk is tweeledig:

• Theoretische Impact: Het vult een gat in de theorie van niet-lokale PDE's door het Fredholm Alternatief te vestigen voor operatoren met zeer lage regulariteitseisen (onbegrensde, discontinu coëfficiënten) en variabele orden. Het biedt een robuust functioneel-analytisch raamwerk dat verder gaat dan de standaard Hilbertruimte-instellingen.
• Praktische Toepassingen: De resultaten zijn direct toepasbaar op modellen in de biologie en ecologie. Bijvoorbeeld, bij het modelleren van de verspreiding van biologische soorten waarbij individuen verschillende dispersiestrategieën volgen (gekenmerkt door verschillende Lévy-exponenten). De maat $\mu$ beschrijft dan de verdeling van deze strategieën binnen de populatie. Het artikel biedt de wiskundige basis om te garanderen dat dergelijke complexe, niet-lokale modellen wel degelijk goed gestelde oplossingen hebben, behalve in specifieke resonantietoestanden.

Samenvattend biedt dit artikel een grondige uitbreiding van de klassieke theorie van elliptische operatoren naar de wereld van niet-lokale, gemengde-orde operatoren, met een sterke focus op de functioneel-analytische subtiliteiten die nodig zijn om de Fredholm-theorie in deze generieke setting te laten werken.