On wave operators for Hardy operators with and without perturbations

Technische Samenvatting: Golfoperatoren voor Hardy-operatoren met en zonder perturbaties

Probleemstelling
Het artikel onderzoekt de tijd-afhankelijke verstrooiingstheorie voor de Hardy-operator $L_\kappa = (-\Delta)^{\alpha/2} - \kappa|x|^{-\alpha}$ werkend op $L^2(\mathbb{R}^d)$, waarbij $\alpha \in (0, 2] \cap (0, d)$ en $\kappa \le \kappa_c$. Hierbij is $\kappa_c$ de scherpe constante in de Hardy-ongelijkheid. Het primaire doel is het vaststellen van de asymptotische volledigheid van de golfoperatoren $W(H, H_0)$, die de vrije dynamica (fractionele Laplaciaan $L_0$ of algemene Fourier-veelvouden $C_0$) verbinden met de geperturbeerde dynamica (Hardy-operator $L_\kappa$ en verdere perturbaties daarvan door kort-bereik potentiaal $V^S$ of lang-bereik potentiaal $V^L$).

Een centrale uitdaging die wordt aangepakt, is het gedrag van deze operatoren in aanwezigheid van de schaal-kritische Hardy-potentiaal $|x|^{-\alpha}$, met name bij de kritische koppelingsconstante $\kappa = \kappa_c$ en in het niet-lokale regime $\alpha < 2$. Het artikel beoogt eveneens de scherpe drempels te bepalen voor de existentie en niet-existentie van deze golfoperatoren wanneer lang-bereik perturbaties aanwezig zijn.

Methodologie
De auteurs hanteren drie verschillende kaders om asymptotische volledigheid en niet-existentie resultaten te bewijzen, waarbij de instrumenten worden aangepast aan de specifieke parameterregimes van $\alpha$ en de aard van de potentialen:

1. Abstract Semigroep Kader (voor $\alpha > 1$):
   Voor $\alpha > 1$ maken de auteurs gebruik van een semigroep-benadering die is vastgesteld in eerdere werken (bijv. [DS99a], [DGS01], [Gie04]). Deze methode berust op het verifiëren dat het verschil tussen de hittekernen $e^{-tH} - e^{-tH_0}$ compact is en voldoet aan specifieke gewogen grenzen. Een belangrijke technische prestatie is het gebruik van scherpe hittekern-grenzen voor $L_\kappa$ (uit [BGJP19], [JW20], [CKSV20]) die factoriseren in de vrije hittekern en de grondtoestand $|x|^{-\sigma}$. Deze factorisatie maakt de behandeling van de kritische koppeling $\kappa = \kappa_c$ mogelijk, een regime waarin standaard perturbatieve Mourre-theorie vaak faalt vanwege nul-energie resonanties.

2. Kato Smoothness Theorie (voor $\alpha \le 1$):
   Voor het niet-lokale geval $\alpha \le 1$ passen de auteurs Kato's smooth methode toe, waarbij zij de resultaten van [MY21] uitbreiden. Dit houdt in dat zij bewijzen dat de kort-bereik potentiaal glad is ten opzichte van de Hamiltoniaan. Een significante technische hindernis is de singulariteit van de groepssnelheid $\alpha|D|^{\alpha-1}$ bij lage impulsen. Om dit te overwinnen, vervangen de auteurs machten van de vrije operator $L_0$ door machten van de Hardy-operator $L_\kappa$, waarbij zij gebruikmaken van de equivalentie van homogene Sobolev-normen gegenereerd door deze operatoren (Propositie 4.2). Deze aanpak vereist dat de koppeling subkritisch is ($\kappa < \kappa_c$) om effectieve positieve commutator-schattingen te kunnen gebruiken.

3. Propagatie-schattingen en Cook–Kuroda Methode:
   Het artikel ontwikkelt nieuwe propagatie-schattingen voor Hardy-operatoren, die cruciaal zijn voor zowel het bewijzen van asymptotische volledigheid (via de Cook–Kuroda methode) als het vaststellen van niet-existentie resultaten.

   • Minimale Ontsnappingssnelheid: Schattingen die aantonen dat toestanden met een lage "ontsnappingssnelheid" (gemeten door de dilatatiegenerator $A$) snel vervallen.
   • Uitgaande Fase-ruimte Propagatie: Schattingen die aantonen dat de overlap tussen de toestand en de potentiaal snel vervalt in de uitgaande fase-ruimte regio.
   • Gewogen Propagatie: Grenzen aan de groei van ruimtelijke momenten, die aantonen dat deze de ballistische schaal niet overschrijden.
     Deze schattingen steunen op commutator-expansies, Helffer–Sjöstrand calculus voor niet-verdwijnende functies, en de generator van dilaties $A$.

Belangrijkste Bijdragen en Resultaten

• Asymptotische Volledheid voor $\alpha > 1$:
  Het artikel bewijst dat de golfoperatoren $W(L_\kappa, L_0)$, $W(L_\kappa - V^S, L_0)$, en $W(L_\kappa - V^S, L_\kappa)$ asymptotisch volledig zijn voor alle $\kappa \le \kappa_c$, inclusief het kritische geval. Dit breidt eerdere resultaten uit die beperkt waren tot $\kappa < \kappa_c$ of die perturbatieve aannames vereisten. De resultaten gelden voor algemene Fourier-veelvouden $C_0$ met vergelijkbaar gedrag bij grote impulsen (Corollary 1.7).

• Asymptotische Volledheid voor $\alpha \le 1$:
  Onder specifieke voorwaarden op de verval-snelheid $\rho_S$ van de kort-bereik potentiaal en de koppeling $\kappa$ (specifiek $\kappa < \kappa_c$), wordt aangetoond dat de golfoperator $W(L_\kappa - V^S, L_\kappa)$ asymptotisch volledig is. De resultaten dekken het bereik $1/2 < \alpha \le 1$ (en strekken zich uit naar $\alpha = 1/2$ voor $d \ge 2$) mits de potentiaal voldoet aan de smoothness en verval-aannames die compatibel zijn met Kato smoothness theorie.

• Niet-existentie van Golfoperatoren:
  Het artikel stelt scherpe niet-existentie resultaten vast voor lang-bereik perturbaties:

  • Als $\alpha \le 1$ en $\kappa \neq 0$, bestaat de golfoperator $W(L_\kappa, L_0)$ niet.
  • Als de perturbatie $V^L$ een lang-bereik karakter heeft (vervallend als $|x|^{-\rho_L}$ met $0 < \rho_L \le 1$), bestaan de golfoperatoren die de geperturbeerde en ongeperturbeerde systemen verbinden over het algemeen niet.
  • Specifiek bestaat $W(L_\kappa - V^L, L_\kappa)$ niet voor $0 < \rho_L \le \alpha \le 1$ (en $\alpha = 1/2$ voor $d \ge 2$).
    Deze resultaten zijn afgeleid van abstracte niet-existentie criteria geïnspireerd door [IW20] en directe schattingen met betrekking tot de minimale ontsnappingssnelheid en gewogen propagatie-grenzen.

• Generalisatie naar Andere Operatoren:
  De resultaten worden uitgebreid naar een klasse van Fourier-veelvouden $C_0 \in \mathcal{K}_\alpha$ (inclusief pseudo-relativistische kinetische energieën zoals $(1-\Delta)^{\alpha/2}-1$), mits zij bepaalde spectrale condities voldoen met betrekking tot hun kritische punten.

Betekenis en Claims
De auteurs stellen dat hun werk de verstrooiingstheorie van fractionele Schrödinger-operatoren met schaal-kritische potentialen vooruit helpt. De primaire betekenis ligt in:

1. Behandeling van de Kritische Koppeling: Het succesvol behandelen van het geval $\kappa = \kappa_c$ voor $\alpha > 1$ zonder te vertrouwen op commutator-schattingen die falen bij nul-energie, maar in plaats daarvan gebruik te maken van de structuur van de hittekern.
2. Nieuwe Propagatie-schattingen: Het ontwikkelen van propagatie-schattingen voor Hardy-operatoren die schaal-kritische potentialen incorporeren, welke voorheen niet in de literatuur voor fractionele operatoren waren opgenomen. Deze schattingen worden gepresenteerd als instrumenten van onafhankelijke interesse, potentieel toepasbaar op $N$-deeltjes verstrooiingsproblemen.
3. Scherpe Drempels: Het bieden van een compleet beeld van de existentie en niet-existentie van golfoperatoren, waarbij de rol van de verval-snelheid van perturbaties ten opzichte van de homogeniteit van de Hardy-potentiaal wordt verduidelijkt.

Het artikel merkt expliciet op dat de technische restricties gevonden in het $\alpha \le 1$ regime (zoals $\alpha > 1/2$ of specifieke grenzen op $\sigma$) waarschijnlijk artefacten zijn van de huidige bewijstechnieken (met name de vergelijking van Sobolev-normen en het gebruik van Kato smoothness) en geen fundamentele fysieke obstructies. De auteurs uiten hun optimisme dat deze drempels in toekomstig werk verlaagd kunnen worden.