Riesz transform and its related inequalities for degenerate elliptic operators of Grushin type

Technische Samenvatting: Riesz-transformatie en Gerelateerde Ongelijkheden voor Degeneratieve Elliptische Operatoren van Grushin-type

Probleemstelling
Dit artikel onderzoekt de $L^p$-begrensdheid van de Riesz-transformatie en de geldigheid van de omgekeerde Riesz-ongelijkheid voor een klasse van degeneratieve elliptische operatoren van Grushin-type. De operator $L$ is gedefinieerd op $\mathbb{R}^{n+m}$ door:
$$L = -\nabla_x \cdot (|x|^{2\alpha}\nabla_x) + |x|^{2\beta}\Delta_y,$$
waarbij $n, m \ge 1$, $0 < \alpha < 1$, en $\beta \ge 0$. De bijbehorende intrinsieke gradiënt is $\nabla_L = (|x|^\alpha \nabla_x, |x|^\beta \nabla_y)$. De degeneratie vindt plaats op de singuliere verzameling $\{x=0\}$.

De centrale vragen zijn:

1. Begrensdheid van de Riesz-transformatie: Voor welke $p \in (1, \infty)$ geldt de ongelijkheid $\|\nabla_L L^{-1/2} f\|_p \le C_p \|f\|_p$?
2. Omgekeerde Riesz-ongelijkheid: Voor welke $p$ geldt de omgekeerde ongelijkheid $\|L^{1/2} f\|_p \le C_p \|\nabla_L f\|_p$?

De analyse wordt bemoeilijkt door de anisotrope geometrie van de Grushin-ruimte en het gedrag van de Friedrichs-realisatie nabij de singuliere verzameling, die aanzienlijk varieert afhankelijk van de dimensie $n$ en de degeneratieparameter $\alpha$.

Methodologie
De bewijsstrategie berust op het vaststellen van omgekeerde Hölder-ongelijkheden voor gradiënten van $L$-harmonische functies, waarbij gebruik wordt gemaakt van de abstracte equivalentie tussen deze ongelijkheden en de begrensdheid van de Riesz-transformatie (Coulhon, Jiang, Koskela, Sikora). De methodologie is onderverdeeld in verschillende regimes gebaseerd op dimensie en degeneratie:

1. Kernconstructies en Expliciete Analyse:

   • Friedrichs-realisatie: De auteurs karakteriseren rigoureus de toegestane randvoorwaarden bij de singuliere verzameling $\{x=0\}$. Voor $0 < \alpha < 1/2$ bezit de vormdomein een gemeenschappelijke spoor (trace), wat leidt tot flux-matchende condities. Voor $1/2 \le \alpha < 1$ heeft de singuliere verzameling een capaciteit van nul, waardoor het domein wordt gescheiden in twee halflijnen met zero-flux condities op elk deel.
   • Poisson- en Groen-kernen: De auteurs construeren expliciete Poisson- en Groen-kernen aangepast aan de Friedrichs-extensie. Dit omvat Fourier-transformatie in de $y$-variabele en decompositie in sferische harmonischen (voor $n \ge 2$) of het scheiden van even/oneven delen (voor $n=1$).
   • Gemodificeerde Bessel-functies: Het radiale deel van de operator reduceert tot gemodificeerde Bessel-vergelijkingen. De analyse vereist precieze schattingen van ratio's van gemodificeerde Bessel-functies ($I_\nu$ en $K_\nu$).
     • In het geval $n \ge 2$ hangt de orde $\nu_\ell$ van de Bessel-functies af van de hoekfrequentie $\ell$ en neigt deze naar oneindig. De auteurs ontwikkelen uniform-in-orde schattingen voor deze Bessel-ratio's, die cruciaal zijn voor het controleren van de interactie met de singuliere verzameling.
     • In het geval $n=1$ reduceert het probleem zich tot fixed-order Bessel-analyse op halflijnen, maar met onderscheidende randvoorwaarden (zero-flux voor even componenten, zero-trace voor oneven componenten).

2. Omgekeerde Riesz-ongelijkheid via Harmonische Annihilatie:

   • Voor de omgekeerde ongelijkheid, met name in het sterk degeneratieve regime ($n=1, \alpha \ge 1/2$) waar globale Poincaré-ongelijkheden falen, gebruiken de auteurs een harmonische annihilatie methode.
   • Deze techniek isoleert de leidende harmonische term in de kern van de Riesz-transformatie (die de onbegrensdheid in bepaalde regimes veroorzaakt) en elimineert deze via integratie door delen in de bilineaire vorm. De resterende term wordt gecontroleerd met behulp van een Grushin-aangepaste Hardy-ongelijkheid.

3. Hodge-projector Argument:

   • In het sterk degeneratieve eendimensionale geval ($n=1, 1/2 \le \alpha < 1$), verhindert het gebrek aan een globale Poincaré-ongelijkheid de directe toepassing van standaard reverse Hölder-karakterisaties. De auteurs combineren de omgekeerde Riesz-ongelijkheid met een Hodge-projector begrensdheidsresultaat (Shen's criterium) om de volledige range van de Riesz-transformatie-begrensdheid te herstellen.

Belangrijkste Bijdragen en Resultaten

• Full-Range Begrensdheid voor $n \ge 2$:
  Theorem 1.1 stelt vast dat voor $n \ge 2$ en $0 < \alpha < 1$, de Riesz-transformatie begrensd is op $L^p$ voor de volledige range $1 < p < \infty$. Dit wordt bereikt door het bewijzen van de endpoint reverse Hölder-schatting $(RH_\infty)$ nabij de singuliere verzameling met behulp van uniforme Bessel-schattingen.

• Scherpe Range en Endpoint Obstruction voor Zwak Degeneratieve $n=1$:
  Voor $n=1$ en $0 < \alpha < 1/2$ bewijst Theorem 1.2 dat de Riesz-transformatie begrensd is dan en slechts dan als $1 < p < \alpha^{-1}$.

  • Mechanisme: De oneven component van de oplossing voldoet aan een zero-trace conditie bij de oorsprong en gedraagt zich als $\text{sgn}(x)|x|^{1-2\alpha}$. De intrinsieke gradiënt schaalt als $|x|^{-\alpha}$, wat een singulariteit creëert die de begrensdheid blokkeert voor $p \ge \alpha^{-1}$.
  • Scherpte: De paper construeert een tegenvoorbeeld dat de falende werking van de reverse Hölder-ongelijkheid bij de endpoint aantoont.

• Omgekeerde Riesz-ongelijkheid voor Alle Regimes:
  Theorem 1.3 stelt de omgekeerde Riesz-ongelijkheid vast voor alle $n, m \ge 1$.

  • Voor $n \ge 2$ geldt dit voor alle $1 < p < \infty$.
  • Voor $n=1$ geldt dit voor $p \in (1, (1-\alpha)^{-1}) \cup ((1-\alpha)^{-1}, \infty)$. De uitgesloten exponent $p = (1-\alpha)^{-1}$ komt overeen met de Hardy-drempel.
  • Cruciaal is dat in het sterk degeneratieve geval ($n=1, \alpha \ge 1/2$), de omgekeerde ongelijkheid geldt voor alle $1 < p < \infty$, ondanks het falen van de globale Poincaré-ongelijkheid, dankzij de harmonische annihilatie techniek.

• Full-Range Begrensdheid voor Sterk Degeneratieve $n=1$:
  Theorem 1.4 bewijst dat voor $n=1$ en $1/2 \le \alpha < 1$, de Riesz-transformatie begrensd is voor de volledige range $1 < p < \infty$.

  • Mechanisme: De Friedrichs-realisatie scheidt de twee halflijnen, waarbij de zero-flux tak op elk deel wordt geselecteerd. Hoewel de globale Poincaré-ongelijkheid faalt, maakt de gescheiden structuur een versterkte lokale reverse Hölder-schatting mogelijk. Het combineren van dit resultaat met de omgekeerde Riesz-ongelijkheid en de Hodge-projector begrensdheid levert het full-range resultaat op.

Betekenis en Claims
De paper claimt een volledige beschrijving te bieden van de $L^p$-begrensdheid van de Riesz-transformatie voor Grushin-operatoren over alle parameterregimes.

• Transitie in Gedrag: Een belangrijke bevinding is de "opvallende transitie" in het gedrag van de singuliere verzameling. In het zwak degeneratieve eendimensionale geval fungeert de singuliere verzameling als een barrière die een specifieke obstructie creëert ($p < \alpha^{-1}$). In het sterk degeneratieve geval scheidt de singuliere verzameling effectief de ruimte, maar herstelt de zero-flux conditie op de gescheiden componenten de full-range begrensdheid.
• Technische Vernieuwing: Het werk introduceert uniform-in-orde schattingen voor gemodificeerde Bessel-functies in de context van Grushin-operatoren, die noodzakelijk zijn voor het hogere dimensionale geval. Daarnaast past het de harmonische annihilatie methode aan om om te gaan met degeneratieve operatoren waarbij de singuliere verzameling een capaciteit van nul heeft, waarmee de noodzaak voor globale Poincaré-ongelijkheden in de reverse Riesz-analyse wordt omzeild.
• Beperkingen: De paper merkt op dat de endpoint gevallen $p = \alpha^{-1}$ (voor $n=1, \alpha < 1/2$) en $p = (1-\alpha)^{-1}$ (voor de omgekeerde ongelijkheid) openstaan of bekend zijn als de exacte drempels van falen, maar de paper lost de begrensdheid bij deze exacte punten niet op.

De resultaten benadrukken dat de begrensdheid van de Riesz-transformatie niet alleen gevoelig is voor de heat kernel geometrie, maar specifiek voor het lokale endpoint gedrag van harmonische functies bij de singuliere verzameling en de interactie tussen de Friedrichs-realisatie en de intrinsieke gradiënt.