On $m$-order logarithmic Schrödinger operator

Technische Zusammenfassung: Über den m-Ordnung-Logarithmus des Schrödinger-Operators

Problemstellung
Diese Arbeit untersucht den m-Ordnung-Logarithmus des Schrödinger-Operators $L_V = -\Delta + V$ in $\mathbb{R}^d$, wobei $V$ ein nichtnegatives messbares Potenzial ist. Während der logarithmische Laplace-Operator $\log(-\Delta)$ und seine höheren Gegenstücke in den letzten Jahren intensiv untersucht wurden (z. B. [5, 9]), stellt die Erweiterung dieser Konzepte auf das Schrödinger-Setting mit einem Potenzial $V$ spezifische analytische Herausforderungen dar. Das primäre Ziel besteht darin, die Operatoren $\log^m L_V$ für $m \in \mathbb{N}$ zu definen und diese zu nutzen, um asymptotische Entwicklungen (Taylor-Reihen) für die gebrochenen Potenzen $L_V^s$ und $L_V^{-s}$ für $s \to 0^+$ abzuleiten. Die Studie konzentriert sich auf die Etablierung dieser Entwicklungen in $L^p(\mathbb{R}^d)$-Räumen sowie punktweise für spezifische Funktionsklassen, wobei berücksichtigt wird, dass die zugehörige Semigruppe, wenn $V > 0$, nicht markovsch ist.

Methodik
Die Autoren verwenden einen spektraltheoretischen Ansatz kombiniert mit Wärmekern-Schätzungen.

1. Spektrale Definition: Der Operator $L_V$ wird als selbstadj adjointier Operator auf $L^2(\mathbb{R}^d)$ behandelt, der mit einer abgeschlossenen sesquizoliniären Form assoziiert ist. Unter Verwendung des Spektralmaßes $E_V$, das auf $[0, \infty)$ unterstützt ist, werden die gebrochenen Potenzen $L_V^s$ und die logarithmischen Operatoren $\log^m L_V$ über das Spektralintegral definiert:
   $$\Phi(L_V)f = \int_0^\infty \Phi(\lambda) dE_V(\lambda)f.$$
2. Semigruppen-Erweiterung: Die Definition der logarithmischen Operatoren wird von $L^2(\mathbb{R}^d)$ auf eine breitere Klasse von Lipschitz-Funktionen erweitert, indem die durch $L_V$ erzeugte Wärmesemigruppe $\{T_t^V\}_{t>0}$ verwendet wird. Die Autoren nutzen die Integraldarstellung:
   $$L_V^s f = \frac{1}{\Gamma(-s)} \int_0^\infty \frac{T_t^V f - f}{t^{s+1}} dt,$$
   gültig für $s \in (0, 1)$ und geeignete $f$.
3. Potenzialbedingungen: Die Analyse setzt voraus, dass $d \ge 3$ und dass das Potenzial $V$ eine Reverse-Hölder-Ungleichung erfüllt ($V \in RH_q$ mit $q > d/2$). Diese Bedingung ermöglicht die Verwendung der kritischen Radiusfunktion $\rho(x)$ und verbesserter Wärmekern-Schätzungen (speziell Schranken, die $\rho(x)$ und den euklidischen Wärmekern beinhalten).
4. Asymptotische Analyse: Die zentrale technische Arbeit umfasst die Analyse des Verhaltens der Differenzenquotienten $\frac{L_V^s f - f}{s}$ und ihrer höheren Ableitungen bezüglich $s$ für $s \to 0^+$. Die Autoren zerlegen die Integraldarstellungen in lokalisierte und nicht-lokalisierte Teile, um die Singularität bei $t=0$ und das Verhalten im Unendlichen zu handhaben, wobei sie die Eigenschaften der Gamma-Funktion und der kritischen Radiusfunktion nutzen.

Wesentliche Beiträge und Ergebnisse

• Definition höherer logarithmischer Operatoren: Die Arbeit definiert den m-Ordnung-Logarithmus-Schrödinger-Operator $\log^m L_V$ rigoros über das Spektralmaß. Des Weiteren erweitert sie die Definition des Operators $\text{Log}^k L_V$ (der als punktweiser Grenzwert der Ableitungen gebrochener Potenzen fungiert) auf Funktionen in lokalen Lipschitz-Räumen, die mit gewichteten $L^1$-Räumen geschnitten werden.
• Asymptotische Entwicklungen in $L^2$: Theorem 1.1 etabliert Taylor-Entwicklungen für $L_V^s f$ und $L_V^{-s} f$ in $L^2(\mathbb{R}^d)$ für Funktionen im Definitionsbereich der logarithmischen Operatoren. Speziell für $f \in D(\log^{m+1} L_V) \cap D(L_V^{s_0})$ gilt:
  $$L_V^s f - \sum_{k=0}^m \frac{s^k}{k!} (\log^k L_V)f = o(s^m) \quad \text{für } s \to 0^+.$$
  Eine ähnliche Entwicklung wird für negative Potenzen mit alternierenden Vorzeichen bereitgestellt.
• Konvergenz in $L^p$ und $L^\infty$: Theorem 1.2 und Theorem 1.3 erweitern diese Ergebnisse auf $L^p(\mathbb{R}^d)$ ($1 < p < \infty$) und $L^\infty(K)$ für kompakte Mengen $K$. Diese Ergebnisse gelten für Funktionen in $C_c(\mathbb{R}^d) \cap \text{Lip}_{\text{loc,uni}}^\theta(\mathbb{R}^d)$ und $L^1 \cap L^\infty \cap \text{Lip}_{\text{loc,uni}}^\theta(\mathbb{R}^d)$. Die Entwicklungen sind gegeben durch:
  $$\lim_{s \to 0^+} \frac{L_V^s f - f - \sum_{k=1}^{n-1} \frac{s^k}{k!} (\text{Log}^k L_V)f}{s^n/n!} = (\text{Log}^n L_V)f.$$
• Punktweise Darstellung: Die Arbeit liefert explizite punktweise Integraldarstellungen für die Operatoren $\text{Log}^k L_V$ und verallgemeinert damit die bekannte Darstellung für $\log L_V$ aus [1]. Diese Darstellungen beinhalten Integrale des Wärmekerns $T_t^V(x, y)$ und der kritischen Radiusfunktion $\rho(x)$, was verdeutlicht, dass die Korrekturterme nicht konstant sind (im Gegensatz zum reinen Laplace-Fall) aufgrund der nicht-markovschen Natur der Semigruppe.
• Anwendung auf fraktionale Gleichungen: Korollar 1.4 zeigt, dass diese Entwicklungen genutzt werden können, um die Lösung $u_{f,s} = L_V^{-s} f$ der Gleichung $L_V^s u = f$ mit verschwindenden Randbedingungen im Unendlichen zu beschreiben, wobei eine asymptotische Reihe in Abhängigkeit von den logarithmischen Operatoren für $s \to 0$ bereitgestellt wird.

Bedeutung und Ansprüche
Die Autoren behaupten, dass diese Arbeit frühere Ergebnisse zum logarithmischen Laplace-Operator (insbesondere jene von Chen [5] und Chen-Weth [9]) auf das Schrödinger-Setting mit nicht-trivialen Potenzialen verallgemeinert. Ein wesentlicher Aspekt der Arbeit ist die Handhabung der nicht-konstanten Korrekturfaktoren, die durch das Potenzial $V$ entstehen, was den Einsatz der kritischen Radiusfunktion $\rho(x)$ und spezifischer Reverse-Hölder-Bedingungen erforderlich macht. Die Ergebnisse liefern einen rigorosen Rahmen für das Verständnis des Verhaltens gebrochener Potenzen von Schrödinger-Operatoren nahe der Identität (d. h. wenn die Ordnung gegen Null geht) durch ihre logarithmischen Ableitungen. Die Arbeit schlägt keine neuen experimentellen Anwendungen vor, sondern etabliert das theoretische Fundament für asymptotische Entwicklungen in diesem spezifischen operator-theoretischen Kontext.