Generic simplicity for self-adjoint operators under bounded potential perturbations

Technische Samenvatting: Generieke Eenvoud voor Zelfadjacente Operatoren onder Begrensde Potentiaalperturbaties

Probleemstelling
Het artikel behandelt de klassieke vraag of het spectrum van een zelfadjacente operator eenvoudig wordt (dat wil zeggen, alle eigenwaarden hebben multipliciteit één) na een generieke perturbatie van de nulde orde. Hoewel deze eigenschap goed gevestigd is voor elliptische operatoren op compacte manifolds (met name door het werk van Albert en Uhlenbeck), zoeken de auteurs naar het isoleren van het perturbatiemechanisme achter deze generieke eenvoud zonder te vertrouwen op specifieke elliptische regulariteit of eigenschappen van unieke voortzetting die inherent zijn aan die klassieke modellen. Het centrale probleem is om te bepalen of, gegeven een semi-gebonden zelfadjacente operator $L$ met een compact resolvent en een ruimte $Q$ van reële, begrensde perturbaties, de verzameling potentialen $q \in Q$ waarvoor alle eigenwaarden van $L + M_q$ eenvoudig zijn, residueel (dichte $G_\delta$) is in $Q$.

Methodologie en Abstract Kader
De auteurs ontwikkelen een abstract spectraal perturbatiekader dat het argument voor generieke eenvoud scheidt van de operatorspecifieke regulariteitsvragen.

1. Abstracte Setting: De basisoperator $L$ wordt verondersteld zelfadjacent, semi-gebonden van onderaf, en bezittend een compact resolvent op een Hilbertruimte $H = L^2(X)$. De perturbaties $M_q$ zijn multiplicatieoperatoren door functies $q$ afkomstig uit een toegestane reële Fréchetruimte $Q$ die continu ingebed is in $L^\infty(X, \mathbb{R})$.
2. Het Splitsingscriterium (Hypothese H): De kern van de methodologie is een einddimensionaal splitsingscriterium. Voor een veelvoudige eigenwaarde $\lambda$ van $L_q$ met eigenspace $E_{q,\lambda}$, vereisen de auteurs de aanwezigheid van een perturbatie $\sigma \in Q$ zodanig dat de geprojecteerde operator $G_\sigma := (P_{E_{q,\lambda}} M_\sigma)|_{E_{q,\lambda}}$ geen scalaire veelvoud van de identiteit is.
3. Perturbatietheorie: Het bewijs maakt gebruik van Kato's analytische perturbatietheorie. Door de familie $T(t) = L_q + tM_\sigma$ te overwegen, tonen de auteurs aan dat de eigenwaarden nabij een veelvoudige eigenwaarde $\lambda$ splitsen volgens de eigenwaarden van $G_\sigma$. Als $G_\sigma$ geen scalaire is, kan de multipliciteit van de eigenwaarde worden verminderd.
4. Baire Categorie Argument: De verzameling potentialen die eenvoudige eigenwaarden opleveren, wordt uitgedrukt als een aftelbare intersectie van open en dichte verzamelingen ($A_n$).
   • Openheid: Volgt uit de Lipschitz-continuïteit van eigenwaarden met betrekking tot de $L^\infty$-norm van de potentiaal (Lemma 2.7).
   • Dichtheid: Wordt bewezen door aan te tonen dat voor elke operator met een veelvoudige eigenwaarde men een willekeurig kleine perturbatie kan vinden die de multipliciteit van die eigenwaarde strikt vermindert (Lemma's 2.10 en 2.11). Dit berust op de existentie van een $\sigma$ die aan het splitsingscriterium voldoet.
5. Voldoende Ondersteuning (Sufficiency of Support): Een belangrijk technisch resultaat (Proposition 2.3 en Corollary 2.4) demonstreert dat als de ruimte van perturbaties $Q$ de verzameling $C^\infty_c(X^\circ, \mathbb{R})$ bevat, het splitsingscriterium automatisch wordt voldaan. Cruciaal is dat dit bewijs geen argumenten voor unieke voortzetting vereist; het berust enkel op de lineaire onafhankelijkheid van producten van eigenfuncties in $L^1$.

Belangrijkste Bijdragen en Resultaten

• Theorem 2.13 (Hoofdtheorema): Als $L$ zelfadjacent is, semi-gebonden van onderaf, een compact resolvent heeft, en het paar $(L, Q)$ aan Hypothese (H) voldoet, dan is de verzameling potentialen $q \in Q$ waarvoor alle eigenwaarden van $L+M_q$ eenvoudig zijn, residueel in $Q$.
• Verwijdering van Afhankelijkheden van Gladheid/Unieke Voortzetting: In tegen tegenstelling tot eerdere benaderingen (zoals Uhlenbeck [48]), die vertrouwen op de gladheid van eigenfuncties en principes van unieke voortzetting, is dit abstracte theorem toepasbaar op operatoren waarbij eigenfuncties mogelijk niet glad zijn of waar unieke voortzetting niet gegarandeerd is.
• Toepassingen op Sub-Riemannse en Degeneratieve Operatoren:
  • Sub-Laplacians: De stelling is van toepassing op sub-Laplacians geassocieerd met Hörmander vectorvelden op compacte manifolds. Dit levert een residuele vorm van Courant's nodale domein theorem op voor deze operatoren (Proposition 3.1).
  • Maximaal Hypoelliptische Operatoren: Het kader dekt polynomialen van vectorvelden die maximaal hypoelliptisch zijn (voldoen aan de Helffer–Nourrigat conditie), wat de resultaten voor generieke eenvoud uitbreidt naar deze niet-elliptische settings (Proposition 3.4).
  • Sommen van Kwadraten met Continue Coëfficiënten: Het resultaat is van toepassing op operatoren van de vorm $\sum X_i^* a_{ij} X_j$ met continue uniform elliptische coëfficiënten, waarbij Courant's theorem geldt voor generieke potentialen (Proposition 3.5).
• Toepassingen op Niet-Gladde en Niet-Compacte Domeinen:
  • Begrensde Domeinen: De theorie is van toepassing op Dirichlet- en Neumann-Laplacians op Lipschitz-domeinen, Robin-Laplacians op willekeurige open verzamelingen van eindige maat, en magnetische Schrödinger-operatoren, zelfs wanneer de rand niet glad is (Voorbeelden 3.7–3.12).
  • Niet-Compacte Ruimten: De auteurs breiden de resultaten uit naar harmonische en anharmonische oscillatoren en magnetische Schrödinger-operatoren op $\mathbb{R}^n$ waar de ongestoorde operator een compact resolvent heeft (Voorbeelden 3.13–3.14).
• Coulomb Hamiltonian (Voorbeeld 4.4): Het artikel merkt op dat de aanname van een compact resolvent niet strikt noodzakelijk is voor het mechanisme zelf. Het demonstreert dat voor operatoren met essentieel spectrum (zoals de Coulomb Hamiltonian), generieke eenvoud geldt voor het discrete spectrum onder de drempel van het essentieel spectrum, mits de perturbaties in de oneindigheid vervallen.

Betekenis en Claims
Het artikel claimt de "perturbatie-mechanisme" achter generieke eenvoud te hebben geïsoleerd, en dit losgekoppeld van de specifieke geometrische of analytische eigenschappen van de operator (zoals elliptische of de gladheid van coëfficiënten).

• Generaliteit: De auteurs benadrukken dat hun benadering werkt voor sub-Laplacians en maximaal hypoelliptische operatoren waar klassieke elliptische technieken (zoals die van Uhlenbeck) niet direct toepasbaar zijn vanwege het gebrek aan gladde eigenfuncties of standaard unieke voortzettingseigenschappen.
• Robuustheid: Het resultaat is geldig voor begrensde perturbaties in $L^\infty$, wat toepassingen mogelijk maakt op domeinen met niet-gladde randen waar gladde perturbaties tot aan de rand mogelijk niet beschikbaar zijn.
• Nodale Gevolgen: Door de generieke eenvoud vast te stellen, maakt het artikel de toepassing van Courant's nodale domein theorem mogelijk voor een bredere klasse operatoren, inclusief sub-Riemannse Laplacians, waar de grens aan het aantal nodale domeinen scherp is voor generieke potentialen.

De auteurs verklaren expliciet dat zij geen gebruik maken van de gladheid van eigenfuncties in het bewijs van het abstracte theorem en dat hun einddimensionale splitsingsargument direct in de complexe Hilbertruimte $L^2(X, \mathbb{C})$ wordt uitgevoerd, waardoor de noodzaak voor een reële basis van eigenfuncties wordt vermeden. Ze verduidelijken ook dat hoewel hun werk de resultaten van Albert uitbreidt, het geen metriek-perturbaties behandelt (zoals beschouwd door Uhlenbeck), welke een onderwerp blijven voor toekomstige uitbreiding naar het sub-Riemannse geval.