Equivalence of Sobolev norms in Lebesgue spaces for Hardy operators in a half-space

1. Probleemstelling en Context

Het paper onderzoekt de equivalentie van Sobolev-normen voor Hardy-operatoren in een half-ruimte ($\mathbb{R}^d_+$). De onderzochte operatoren zijn gegeneraliseerde Schrödinger-operatoren van de vorm:
$$L_\lambda^{(\alpha)} := (-\Delta)^{\alpha/2}_{\mathbb{R}^d_+} + \lambda x_d^{-\alpha}$$
waarbij:

• $(-\Delta)^{\alpha/2}_{\mathbb{R}^d_+}$ de regionale fractionele Laplaciaan is (die overgaat in de Dirichlet-Laplaciaan voor $\alpha=2$).
• $\lambda x_d^{-\alpha}$ een potentiaal is die afhangt van de afstand tot de rand van de half-ruimte ($x_d$), vermenigvuldigd met een koppelingsconstante $\lambda$.
• De parameter $\lambda$ moet voldoen aan een ondergrens $\lambda \geq \lambda_*$ om de operator begrensd van onder te houden (waarbij $\lambda_* = -1/4$ voor $\alpha=2$ en een specifieke waarde voor $\alpha \in (0,2)$).

Het centrale vraagstuk: In hoeverre zijn de homogene Sobolev-ruimten die gegenereerd worden door $L_\lambda$ (met potentiaal) equivalent aan die van $L_0$ (zonder potentiaal, d.w.z. de standaard fractionele Laplaciaan)? Specifiek wordt onderzocht of de normen $\|(L_\lambda)^{s/2}u\|_{L^p}$ en $\|(L_0)^{s/2}u\|_{L^p}$ equivalent zijn voor $u \in C^\infty_c(\mathbb{R}^d_+)$, waarbij $s > 0$ en $p \in (1, \infty)$.

Voor $p=2$ was dit resultaat reeds bewezen door Frank en Merz (2023). Dit paper breidt het uit naar alle $p \in (1, \infty)$ en behandelt zowel repulsieve ($\lambda > 0$) als aantrekkende ($\lambda < 0$, mits bepaalde warmtekernschattingen gelden) potentialen.

2. Methodologie en Technische Aanpak

De auteurs gebruiken een geavanceerde analyse gebaseerd op continu kwadratische functies (continuous square functions) en warmtekernschattingen. De aanpak verschilt fundamenteel van de klassieke Littlewood-Paley-theorie die vaak afhankelijk is van de Mikhlin-Hörmander stelling, omdat de aanwezigheid van de singuliere potentiaal $x_d^{-\alpha}$ leidt tot gedrag dat niet direct valt onder standaard theorieën.

De belangrijkste methodologische pijlers zijn:

1. Warmtekernschattingen:
   De auteurs maken gebruik van puntsgewijze schattingen voor de warmtekern $e^{-tL_\lambda}(x,y)$. Voor $\lambda \geq 0$ zijn deze bekend (uit eerdere werken van CKSV20, etc.). Voor $\lambda < 0$ (aantrekkend) nemen ze aan dat deze schattingen zich uitbreiden naar dit regime, een hypothese die recentelijk voor $d=1$ is bewezen. De schattingen hebben de vorm:
   $$p_t(x,y) \asymp \left(1 \wedge \frac{x_d}{t^{1/\alpha}}\right)^\sigma \left(1 \wedge \frac{y_d}{t^{1/\alpha}}\right)^\sigma t^{-d/\alpha} \left(\frac{t^{1/\alpha}}{t^{1/\alpha} + |x-y|}\right)^{d+\alpha}$$
   waarbij $\sigma$ een parameter is die gerelateerd is aan $\lambda$ via een specifieke functie $C(\sigma)$.

2. Continu Kwantische Functies (Square Functions):
   In plaats van discrete Littlewood-Paley-projecties, definiëren de auteurs een continue kwadratische functie:
   $$(S_{L_\lambda, \gamma}f)(x) := \left( \int_0^\infty |(tL_\lambda)^\gamma e^{-tL_\lambda}f|^2 \frac{dt}{t} \right)^{1/2}$$
   Ze bewijzen dat deze operator begrensd is op $L^p$-ruimten, wat essentieel is om de domeinen van de machtsoperatoren $(L_\lambda)^{s/2}$ te karakteriseren.

3. Omgekeerde en Generaliseerde Hardy-ongelijkheden:
   De bewijzen voor de norm-equivalentie rusten op twee cruciale ongelijkheden:

   • Omgekeerde Hardy-ongelijkheid: Biedt een ondergrens voor het verschil tussen de operatoren met en zonder potentiaal, uitgedrukt via de potentiaal $x_d^{-\alpha}$.
   • Generaliseerde Hardy-ongelijkheid: Biedt een bovengrens voor de potentiaal in termen van de operator $L_\lambda$.

4. Schur-tests en Kernelschatten:
   Voor de bewijzen van de bovengenoemde ongelijkheden worden gedetailleerde schattingen gemaakt voor de kernels van het verschil $tL_0 e^{-tL_0} - tL_\lambda e^{-tL_\lambda}$. Hierbij worden Schur-tests toegepast met specifieke gewichten om de $L^p$-begrensdheid te garanderen.

3. Belangrijkste Resultaten

Het hoofdstuk van het paper is Stelling 1.1, die de equivalentie van Sobolev-normen vaststelt onder specifieke voorwaarden voor $p$, $s$, en $\lambda$.

• Stelling 1.1 (Norm-equivalentie):
  Laat $p \in (1, \infty)$, $\alpha \in (0, 2]$, en $\lambda$ binnen de toegestane grenzen. Laat $\sigma$ de parameter zijn die correspondeert met $\lambda$. Voor $s \in (0, 2] \cap (0, 2d/\alpha)$ geldt:

  • Als $1/p > \frac{\alpha s}{2} - \sigma$, dan: $\|(L_0)^{s/2}u\|_p \lesssim \|(L_\lambda)^{s/2}u\|_p$.
  • Als $1/p > \frac{\alpha s}{2} - (\alpha-1)_+$, dan: $\|(L_\lambda)^{s/2}u\|_p \lesssim \|(L_0)^{s/2}u\|_p$.
  • Conclusie: Als beide voorwaarden gelden, zijn de normen equivalent:
    $$\|(L_\lambda)^{s/2}u\|_{L^p} \simeq \|(L_0)^{s/2}u\|_{L^p}$$

• Corollary 1.2 (Riesz-transformaten):
  Als gevolg van de norm-equivalentie en dichtheidsargumenten, zijn de Riesz-transformaten geassocieerd met $L_0$ en $L_\lambda$ begrensd op $L^p$. Dit betekent dat de operatoren $(L_0)^{s/2}(L_\lambda)^{-s/2}$ begrensd zijn.

• Uitbreiding naar $\lambda < 0$:
  De resultaten gelden voor repulsieve potentialen ($\lambda > 0$). Voor aantrekkende potentialen ($\lambda < 0$) gelden de resultaten onder de voorwaarde dat de bekende warmtekernschattings voor $\lambda \geq 0$ ook gelden voor $\lambda \in [\lambda_*, 0)$. De auteurs merken op dat dit recentelijk voor $d=1$ is bewezen.

4. Significatie en Toepassingen

De resultaten van dit paper hebben aanzienlijke theoretische en praktische implicaties:

1. Vervanging van Operatoren:
   De equivalentie stelt onderzoekers in staat om complexe Hardy-operatoren (met singuliere potentialen) te vervangen door de veel beter begrepen en handzamere fractionele Laplaciaan ($L_0$) bij het analyseren van Sobolev-ruimten. Dit vereenvoudigt analyse in complexe modellen aanzienlijk.

2. Toepassing in de Kwantummechanica:
   Hardy-operatoren verschijnen vaak als schaal-limieten of model-operatoren in de kwantummechanica, specifiek bij systemen met kritisch sterke interacties.

   • Relativistische Atomen: De equivalentie is cruciaal voor het bewijs van de sterke Scott-conjectuur voor relativistische atomen (werk van Frank, Siedentop, Simon en Merz). Hierdoor kunnen schattingen voor de operator $C_\lambda = \sqrt{1-\Delta} - 1 + \lambda/|x|$ worden afgeleid uit schattingen voor de standaard Laplaciaan.
   • Furry-model: De technieken zijn essentieel voor het bewijzen van de Scott-conjectuur in het Furry-model, waar elektronen worden beschreven door de Coulomb-Dirac-operator.

3. Niet-lineaire Schrödinger-vergelijkingen (NLS):
   Gezien het succes van eerdere equivalentie-resultaten in het bestuderen van globale welgesteldheid en scattering voor NLS met Dirichlet-randvoorwaarden of Hardy-potentialen, wordt verwacht dat deze nieuwe resultaten ($p \neq 2$) een belangrijke rol spelen in de analyse van niet-lineaire Schrödinger-vergelijkingen die $L_\lambda$ bevatten.

4. Verrijking van de Analyse:
   Het paper introduceert nieuwe technieken voor het hanteren van warmtekernen met singuliere gewichten en langzame verval, wat bijdraagt aan het bredere veld van de harmonische analyse op niet-compacte domeinen met singuliere potentialen.

Samenvatting

Dit paper levert een fundamentele bijdrage aan de analyse van Schrödinger-operatoren met Hardy-potentialen in half-ruimten. Door de equivalentie van Sobolev-normen voor alle $L^p$-ruimten ($1 < p < \infty$) te bewijzen, bieden de auteurs een krachtig gereedschap om complexe interacties in kwantumsystemen te modelleren en te analyseren via de eenvoudigere framework van de fractionele Laplaciaan. De resultaten bouwen voort op eerdere $L^2$-resultaten en openen de deur voor verdere toepassingen in de niet-lineaire partiële differentiaalvergelijkingen en de wiskundige fysica.