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

Sintesi Tecnica: Trasformata di Riesz e Disuguaglianze Correlate per Operatori Ellittici Degeneri di Tipo Grushin

Enunciato del Problema
Questo articolo investiga la limitatezza in $L^p$ della trasformata di Riesz e la validità della disuguaglianza inversa di Riesz per una classe di operatori ellittici degeneri di tipo Grushin. L'operatore $L$ è definito su $\mathbb{R}^{n+m}$ da:
$$L = -\nabla_x \cdot (|x|^{2\alpha}\nabla_x) + |x|^{2\beta}\Delta_y,$$
dove $n, m \ge 1$, $0 < \alpha < 1$, e $\beta \ge 0$. Il gradiente intrinseco associato è $\nabla_L = (|x|^\alpha \nabla_x, |x|^\beta \nabla_y)$. La degenerazione avviene sull'insieme singolare $\{x=0\}$.

Le questioni centrali sono:

1. Limitatezza della Trasformata di Riesz: Per quali $p \in (1, \infty)$ vale la disuguaglianza $\|\nabla_L L^{-1/2} f\|_p \le C_p \|f\|_p$?
2. Disuguaglianza Inversa di Riesz: Per quali $p$ vale la disuguaglianza inversa $\|L^{1/2} f\|_p \le C_p \|\nabla_L f\|_p$?

L'analisi è complicata dalla geometria anisotropa dello spazio di Grushin e dal comportamento della realizzazione di Friedrichs vicino all'insieme singolare, che varia significativamente a seconda della dimensione $n$ e del parametro di degenerazione $\alpha$.

Metodologia
La strategia di prova si basa sull'instaurare disuguaglianze di Hölder invertite per i gradienti di funzioni $L$-armoniche, sfruttando l'equivalenza astratta tra queste disuguaglianze e la limitatezza della trasformata di Riesz (Coulhon, Jiang, Koskela, Sikora). La metodologia è suddivisa in distinti regimi basati sulla dimensione e sulla degenerazione:

1. Costruzioni di Kernel e Analisi Esplicita:

   • Realizzazione di Friedrichs: Gli autori caratterizzano rigorosamente le condizioni al contorno ammissibili nell'insieme singolare $\{x=0\}$. Per $0 < \alpha < 1/2$, il dominio della forma ammette una traccia comune, portando a condizioni di accoppiamento del flusso. Per $1/2 \le \alpha < 1$, l'insieme singolare ha capacità nulla, separando il dominio in due semirette con condizioni di flusso nullo su ciascuna.
   • Kernel di Poisson e di Green: Gli autori costruiscono esplicitamente i kernel di Poisson e di Green adattati alla estensione di Friedrichs. Ciò comporta la trasformata di Fourier nella variabile $y$ e la decomposizione in armoniche sferiche (per $n \ge 2$) o la separazione delle parti pari/dispari (per $n=1$).
   • Funzioni di Bessel Modificate: La parte radiale dell'operatore si riduce alle equazioni di Bessel modificate. L'analisi richiede stime precise dei rapporti di funzioni di Bessel modificate ($I_\nu$ e $K_\nu$).
     • Nel caso $n \ge 2$, l'ordine $\nu_\ell$ delle funzioni di Bessel dipende dalla frequenza angolare $\ell$ e tende all'infinito. Gli autori sviluppano stime uniformi rispetto all'ordine per questi rapporti di Bessel, che sono critiche per controllare l'interazione con l'insieme singolare.
     • Nel caso $n=1$, il problema si riduce all'analisi di Bessel a ordine fisso su semirette, ma con condizioni al contorno distinte (flusso nullo per le componenti pari, traccia nulla per le componenti dispari).

2. Disuguaglianza Inversa di Riesz tramite Annichilimento Armonico:

   • Per la disuguaglianza inversa, particolarmente nel regime fortemente degenero ($n=1, \alpha \ge 1/2$) dove le disuguaglianze di Poincaré globali falliscono, gli autori impiegano un metodo di annichilimento armonico.
   • Questa tecnica isola il termine armonico principale nel nucleo della trasformata di Riesz (che causa l'indeterminatezza in certi regimi) e lo annichilisce tramite integrazione per parti nella forma bilineare. Il termine rimanente è controllato utilizzando una disuguaglianza di Hardy adattata a Grushin.

3. Argomento del Proiettore di Hodge:

   • Nel caso unidimensionale fortemente degenero ($n=1, 1/2 \le \alpha < 1$), la mancanza di una disuguaglianza di Poincaré globale impedisce l'applicazione diretta delle standard caratterizzazioni di Hölder invertite. Gli autori combinano la disuguaglianza inversa di Riesz con un risultato di limitatezza del proiettore di Hodge (criterio di Shen) per recuperare l'intero intervallo della limitatezza della trasformata di Riesz.

Contributi Chiave e Risultati

• Limitatezza su Tutto l'Intervallo per $n \ge 2$:
  Il Teorema 1.1 stabilisce che per $n \ge 2$ e $0 < \alpha < 1$, la trasformata di Riesz è limitata su tutto l'intervallo $1 < p < \infty$. Ciò è ottenuto dimostrando la stima di Hölder invertita all'endpoint $(RH_\infty)$ vicino all'insieme singolare usando stime di Bessel uniformi.

• Intervallo Netto e Ostacolo all'Endpoint per $n=1$ Debolmente Degenero:
  Per $n=1$ e $0 < \alpha < 1/2$, il Teorema 1.2 dimostra che la trasformata di Riesz è limitata se e solo se $1 < p < \alpha^{-1}$.

  • Meccanismo: La componente dispari della soluzione soddisfa una condizione di traccia nulla all'origine, comportandosi come $\text{sgn}(x)|x|^{1-2\alpha}$. Il suo gradiente intrinseco scala come $|x|^{-\alpha}$, creando una singolarità che ostacola la limitatezza per $p \ge \alpha^{-1}$.
  • Nitidezza: L'articolo costruisce un controesempio che dimostra il fallimento della disuguaglianza di Hölder invertita all'endpoint.

• Disuguaglianza Inversa di Riesz per Tutti i Regimi:
  Il Teorema 1.3 stabilisce la disuguaglianza inversa di Riesz per tutti $n, m \ge 1$.

  • Per $n \ge 2$, essa vale per tutti $1 < p < \infty$.
  • Per $n=1$, vale per $p \in (1, (1-\alpha)^{-1}) \cup ((1-\alpha)^{-1}, \infty)$. L'esponente escluso $p = (1-\alpha)^{-1}$ corrisponde alla soglia di Hardy.
  • Crucialmente, nel caso fortemente degenero ($n=1, \alpha \ge 1/2$), la disuguaglianza inversa vale per tutti $1 < p < \infty$ nonostante il fallimento della disuguaglianza di Poincaré globale, grazie alla tecnica di annichilimento armonico.

• Limitatezza su Tutto l'Intervallo per $n=1$ Fortemente Degenero:
  Il Teorema 1.4 dimostra che per $n=1$ e $1/2 \le \alpha < 1$, la trasformata di Riesz è limitata per l'intero intervallo $1 < p < \infty$.

  • Meccanismo: La realizzazione di Friedrichs separa le due semirette, selezionando il ramo a flusso nullo su ciascuna. Sebbene la disuguaglianza di Poincaré globale fallisca, la struttura separata permette una stima di Hölder invertita locale potenziata. Combinando questo con la disuguaglianza inversa di Riesz e la limitatezza del proiettore di Hodge, si ottiene il risultato di intero intervallo.

Significato e Rivendicazioni
L'articolo sostiene di fornire una descrizione completa della limitatezza in $L^p$ della trasformata di Riesz per gli operatori di Grushin attraverso tutti i regimi di parametri.

• Transizione nel Comportamento: Una scoperta chiave è la "transizione sorprendente" nel comportamento dell'insieme singolare. Nel caso unidimensionale debolmente degenero, l'insieme singolare agisce come una barriera che crea un ostacolo specifico ($p < \alpha^{-1}$). Nel caso fortemente degenero, l'insieme singolare effettivamente separa lo spazio, ma la condizione di flusso nullo sulle componenti separate ripristina la limitatezza su tutto l'intervallo.
• Novità Tecnica: Il lavoro introduce stime uniformi rispetto all'ordine per le funzioni di Bessel modificate nel contesto degli operatori di Grushin, necessarie per il caso ad alta dimensione. Inoltre, adatta il metodo di annichilimento armonico per gestire operatori degeneri dove l'insieme singolare ha capacità nulla, bypassando la necessità di disuguaglianze di Poincaré globali nell'analisi di Riesz inversa.
• Limitazioni: L'articolo nota che i casi endpoint $p = \alpha^{-1}$ (per $n=1, \alpha < 1/2$) e $p = (1-\alpha)^{-1}$ (per la disuguaglianza inversa) rimangono aperti o sono noti come le esatte soglie di fallimento, ma l'articolo non risolve la limitatezza in questi punti esatti.

I risultati evidenziano che la limitatezza della trasformata di Riesz è sensibile non solo alla geometria del kernel del calore, ma specificamente al comportamento locale all'endpoint delle funzioni armoniche all'insieme singolare e all'interazione tra la realizzazione di Friedrichs e il gradiente intrinseco.