Logarithmic Schrödinger operators

Titel: Logaritmische Schrödinger-operatoren

Auteurs: Jorge J. Betancor, Estefanía Dalmasso, Juan Carlos Fariña, Pablo Quijano.

---

1. Probleemstelling en Context

Het artikel richt zich op de studie van de logaritmische Schrödinger-operator $\log L_V$, waarbij $L_V = -\Delta + V$ de Schrödinger-operator is in $\mathbb{R}^d$ met een niet-negatief potentiaal $V$ ($V \not\equiv 0$).

• Achtergrond: Niet-lokale operatoren, zoals de fractionele Laplaciaan $(-\Delta)^s$, zijn breed onderzocht in de fysica en wiskunde. De logaritmische Laplaciaan $\log(-\Delta)$ is een specifiek geval dat ontstaat als de afgeleide van de fractionele Laplaciaan ten opzichte van de orde $s$ bij $s=0$.
• Het Uitdaging: Het definiëren en analyseren van $\log L_V$ is complexer dan het Euclidische geval ($V=0$). De aanwezigheid van de potentiaal $V$ maakt dat de bijbehorende warmtehalvegroep $\{T^V_t\}_{t>0}$ niet-Markoviaans is (d.w.z. $T^V_t 1 \neq 1$). Dit leidt tot fundamentele verschillen in de puntsgewijze representatie en de structuur van de operator vergeleken met de klassieke logaritmische Laplaciaan.
• Doel: De auteurs willen:
  1. $\log L_V$ formeel definiëren via functionele calculus en variaties van fractionele machten.
  2. Een puntsgewijze representatie afleiden onder specifieke voorwaarden voor $V$.
  3. Het beginwaardeprobleem $\partial_t u = -(\log L_V)u$ oplossen met behulp van Lipschitz-ruimten aangepast aan de Schrödinger-setting.

---

2. Methodologie

De auteurs hanteren een combinatie van spectrale theorie, semigroep-theorie en harmonische analyse in de Schrödinger-setting.

• Spectrale Definitie: De operator $L_V$ is zelfgeadjungeerd met spectrum $\sigma(L_V) \subseteq [0, \infty)$. De logaritmische operator wordt gedefinieerd via de spectrale maat $E_V$:
  $$(\log L_V)f = \int_0^\infty \log(\lambda) \, dE_V(\lambda)f$$
• Semigroep-variabele: Een alternatieve definitie wordt gegeven als de eerste variatie van de fractionele macht $L_V^s$ bij $s=0$:
  $$(\log L_V)f = \frac{d}{ds} L_V^s f \Big|_{s=0} = \lim_{s \to 0^+} \frac{L_V^s f - f}{s}$$
  Dit wordt gelinkt aan de Frullani-integraalrepresentatie van de logaritme.
• Potentiaalvoorwaarden: Voor de puntsgewijze representatie wordt aangenomen dat $V$ voldoet aan een omgekeerde Hölder-ongelijkheid van orde $q > d/2$ (genoteerd als $V \in RH_q$). Dit is een standaardvoorwaarde in de harmonische analyse voor Schrödinger-operatoren.
• Hulpfunctie $\rho(x)$: Een cruciaal element is de hulpfunctie $\rho(x)$, die de schaal van de potentiaal $V$ lokaal beschrijft:
  $$\rho(x) = \sup \left\{ r > 0 : \frac{1}{r^{d-2}} \int_{B(x,r)} V(y) dy \leq 1 \right\}$$
  Deze functie bepaalt de lokale variatie van de warmtekernel en is essentieel voor de schattingen.
• Ruimtes: De analyse maakt gebruik van aangepaste Lipschitz-ruimten $\text{Lip}_V^\theta$, waarbij de normen afhangen van $\rho(x)$.

---

3. Belangrijkste Resultaten

Theorema 1.1: Equivalentie van Definities

De auteurs bewijzen dat de spectrale definitie van $\log L_V$ equivalent is aan de definitie via de limiet van de fractionele macht (de "Log"-definitie). Voor functies $f$ in het domein van beide operatoren geldt:
$$(\log L_V)f = (\text{Log } L_V)f$$
Dit bevestigt dat de operator goed gedefinieerd is via zowel functionele calculus als via de semigroep-generatie.

Theorema 1.2: Puntsgewijze Representatie

Dit is het kernresultaat van het artikel. Voor $d \geq 3$, $V \in RH_q$ met $q > d/2$, en $f \in C_c^\infty(\mathbb{R}^d)$, geldt voor bijna elke $x \in \mathbb{R}^d$:

$$(\log L_V)f(x) = -\int_{B(x,1)} (f(y) - f(x)) \int_0^\infty \frac{T^V_t(x,y)}{t} dt dy - \int_{\mathbb{R}^d \setminus B(x,1)} f(y) \int_0^\infty \frac{T^V_t(x,y)}{t} dt dy - K(x)f(x)$$

Belangrijke nuances:

• De term $K(x)$ is geen constante, maar een functie die afhangt van $x$ en de potentiaal $V$ (via $\rho(x)$).
• $K(x)$ bevat termen zoals $2\log \rho(x)$ en integralen die het verschil tussen de Schrödinger-warmtekernel $T^V_t$ en de klassieke warmtekernel $T_t$ kwantificeren.
• Dit onderscheidt het resultaat fundamenteel van het geval $V=0$ (waar $K$ constant is), wat direct voortvloeit uit het feit dat de semigroep niet-Markoviaans is.
• De convergentie $\lim_{s \to 0^+} \frac{L_V^s f - f}{s} = (\log L_V)f$ geldt ook in $L^p(\mathbb{R}^d)$.

Theorema 1.3: Oplossing van het Beginwaardeprobleem

De auteurs bestuderen de Cauchy-probleem:
$$\begin{cases} \frac{\partial u}{\partial t} + (\log L_V)u = 0 & \text{in } \mathbb{R}^d \times (0, \infty) \\ u(x, 0) = f(x) & \text{in } \mathbb{R}^d \end{cases}$$
Ze bewijzen dat voor geschikte beginwaarden $f$ (in $L^1 \cap \text{Lip}_V^\theta \cap C^1$), de oplossing gegeven wordt door de negatieve fractionele macht:
$$u(x, t) = L_V^{-t} f(x) = \frac{1}{\Gamma(t)} \int_0^\infty T^V_z(f)(x) z^{t-1} dz$$
Deze functie $u$ is continu in $\mathbb{R}^d \times (0, 1-\theta)$, voldoet aan de differentiaalvergelijking, en convergeert naar $f$ als $t \to 0^+$.

---

4. Bijdragen en Significance

1. Generalisatie van Bestaande Resultaten: Het artikel generaliseert bekende resultaten over de logaritmische Laplaciaan ($\log(-\Delta)$) naar de context van Schrödinger-operatoren met een potentiaal.
2. Behandeling van Niet-Markoviaanse Systemen: Het is een van de eerste werken dat expliciet de gevolgen van een niet-Markoviaanse warmtehalvegroep (door de potentiaal $V$) behandelt in de context van logaritmische operatoren. De afgeleide term $K(x)$ in de puntsgewijze formule is een direct gevolg hiervan.
3. Verbinding tussen Spectrale en Puntsgewijze Theorie: Het artikel sluit de kloof tussen de abstracte spectrale definitie en de concrete puntsgewijze integraalrepresentatie, wat essentieel is voor numerieke toepassingen en verdere analyse.
4. Oplossing van Evolutievergelijkingen: Het biedt een rigoureuze oplossing voor de evolutievergelijking met de logaritmische Schrödinger-operator, wat relevant is voor modellen in kwantummechanica en statistische fysica waar logaritmische interacties voorkomen.
5. Technische Schattingen: De auteurs gebruiken geavanceerde schattingen voor de warmtekernel $T^V_t$ (gebaseerd op de $RH_q$-voorwaarde) om de convergentie en regulariteit van de oplossingen te bewijzen.

Conclusie

Dit artikel levert een grondige wiskundige onderbouwing voor logaritmische Schrödinger-operatoren. Het definieert de operator op meerdere equivalentie-manieren, levert een expliciete puntsgewijze formule die de invloed van de potentiaal $V$ via de functie $\rho(x)$ kwantificeert, en lost het bijbehorende tijd-afhankelijke probleem op. De resultaten zijn van belang voor de theorie van niet-lokale operatoren en hun toepassingen in de fysica.