$\mathrm{L}^p$ bounds for parabolic Riesz transforms with rough coefficients: The case $1<p \leq 2$

Sintesi Tecnica: Limiti $L^p$ per le Trasformate di Riesz Paraboliche con Coefficienti Grossolani

Enunciato del Problema
Il saggio affronta la limitatezza delle trasformate di Riesz associate a operatori differenziali parabolici del secondo ordine non autonomi in forma divergente su $\mathbb{R}^{n+1}$. L'operatore è definito come $H = \partial_t - \text{div}_x(A(x,t)\nabla_x)$, dove la matrice dei coefficienti $A$ è limitata, misurabile ed ellittica, dipendente da tutte le variabili spazio-temporali. La trasformata di Riesz associata è definita come $R_H = D H^{-1/2}$, dove $D = (\nabla_x, D_t^{1/2})$ è il gradiente parabolico che coinvolge una derivata temporale frazionaria di ordine $1/2$.

Sebbene la limitatezza in $L^2$ per tali operatori sia stata stabilita tramite la soluzione del problema di Kato parabolico, l'estensione agli spazi $L^p$ per $p \neq 2$ rimane una sfida significativa. Nel contesto ellittico con coefficienti grossolani, i limiti $L^p$ sono tipicamente ristretti a un sotto-intervallo di esponenti $1 < p < 2$ a causa della mancanza di regolarità, e gli argomenti di dualità falliscono per $p > 2$. Per gli operatori parabolici, la situazione è ulteriormente complicata dalla natura non locale della derivata temporale di ordine frazionario $D_t^{1/2}$ e dall'accoppiamento delle variabili spazio e tempo operato dai coefficienti misurabili, il che impedisce l'uso delle classiche tecniche di moltiplicatore di Fourier che separano le variabili.

Metodologia e Idee Chiave
Gli autori sviluppano un nuovo framework di estrapolazione che si basa su due geometrie complementari per gestire la limitata decadenza spazio-temporale dei nuclei dell'operatore:

1. Piccole Scale: Cubi parabolici $\Delta_r(x,t) = Q_r(x) \times I_r(t)$, che riflettono la geometria locale dell'operatore.
2. Grandi Scale: Regioni modellate dopo i livelli di densità della derivata temporale di ordine frazionario di un potenziale di Bessel parabolico. Si tratta di anelli "allungati nel tempo" in cui la dimensione temporale è allungata di un fattore $N^2$ rispetto alla dimensione spaziale.

La strategia tecnica centrale consiste nello stabilire stime off-diagonal spazio-temporali per la famiglia di operatori $(\lambda D E_\lambda)_{\lambda > 0}$, dove $E_\lambda = (1 + \lambda^2 H)^{-1}$ è il risolvente. A differenza degli approcci precedenti che si basavano sull'interpolazione di stime di energia in $L^2$ con limiti $L^p$, gli autori derivano genuine stime off-diagonal in $L^p$. Ciò è cruciale perché la derivata frazionaria non locale $D_t^{1/2}$ implica che anche le stime sottostanti in $L^2$ non forniscono una decadenza sufficiente per $p$ al di sotto del coniugato di Sobolev parabolico inferiore di 2 ($2^\star$) utilizzando l'interpolazione standard.

La dimostrazione procede tramite un argomento di bootstrapping lungo i coniugati di Sobolev parabolici. Applicando iterativamente criteri di estrapolazione (specificamente una versione a due scale del criterio di Blunck–Kunstmann e un nuovo criterio per operatori con decadenza limitata), gli autori estendono l'intervallo di limitatezza da $p=2$ fino a un esponente critico.

Contributi Chiave e Risultati

1. Identificazione del Range Massimale: Il saggio stabilisce i primi limiti $L^p$ per le trasformate di Riesz paraboliche con coefficienti che dipendono misurabilmente da tutte le variabili. Identifica il range massimale di esponenti aperti $1 < p \leq 2$ per i quali $R_H$ è limitata. Questo intervallo è determinato dall'esponente critico $p_-(H)$, definito come l'infimo di $p$ per cui la famiglia di risolventi $(E_\lambda)$ è limitata in $L^p$.

   • Teorema 1.3: Per coefficienti complessi, $R_H$ è limitata in $L^p$ per tutto $p \in (p_-(H), 2]$. Gli autori dimostrano che $p_-(H) = q_-(H)$ (dove $q_-(H)$ è l'infimo per la famiglia del gradiente) e che questo valore risiede nell'intervallo $[1, 2^\star)$, dove $2^\star = \frac{2(n+2)}{n+4}$ è il coniugato di Sobolev parabolico inferiore di 2.

2. Coefficienti Reali: Nel caso in cui i coefficienti $A$ siano a valori reali, gli autori dimostrano che $p_-(H) = 1$. Di conseguenza, la trasformata di Riesz è limitata nell'intero intervallo $L^p$ per tutto $1 < p \leq 2$. Inoltre, si mostra che la componente del gradiente spaziale $\nabla_x H^{-1/2}$ è di tipo debole $(1,1)$.

3. Nitidezza (Sharpness): I risultati sono mostrati essere nitidi all'interno della classe di operatori parabolici per dimensioni spaziali $n \geq 2$. Utilizzando soluzioni deboli irregolari costruite da Mooney, gli autori dimostrano che per ogni $\epsilon > 0$, esistono coefficienti tali che $p_-(H) \geq 2^\star - \epsilon$. Ciò conferma che il limite inferiore del range di estrapolazione non può essere migliorato a 1 nel caso generale complesso senza ulteriori assunzioni.

4. Nuovo Framework di Estrapolazione: Il saggio introduce un criterio di limitatezza (Teorema 5.1) su misura per operatori con "decadenza spazio-temporale limitata" che non rientrano negli standard spazi di tipo omogeneo. Questo framework permette l'estensione iterativa della limitatezza da $L^2$ verso il basso fino all'esponente critico, riavviando l'argomento di estrapolazione da qualsiasi esponente $q$ noto come limitato.

Significato e Rivendicazioni
Il saggio rivendica di fornire i primi risultati sui limiti $L^p$ per le trasformate di Riesz associate a operatori parabolici non autonomi con coefficienti meramente misurabili che dipendono da tutte le variabili. La significatività risiede nel superamento dell'accoppiamento tra variabili spazio e tempo e nella natura non locale della derivata temporale, che precedentemente ostacolava l'applicazione della teoria classica di Calderón–Zygmund.

Gli autori sottolineano che la loro intuizione geometrica — combinare i cubi parabolici con le regioni allungate nel tempo — permette di recuperare una decadenza off-diagonal sufficiente per sostituire gli argomenti classici per coordinate. Il risultato è nitido nelle dimensioni $n \geq 2$, identificando il limite preciso imposto dalla grossolanità dei coefficienti. Per i coefficienti reali, il risultato recupera l'intero intervallo $1 < p \leq 2$, estendendo i risultati precedenti che erano limitati agli operatori autonomi o richiedevano maggiore regolarità.

Il saggio conclude osservando che le tecniche sviluppate dovrebbero essere applicabili ad altri operatori non locali, come gli operatori di Stokes generalizzati, e elenca diversi problemi aperti, tra cui la limitatezza di tipo debole $(1,1)$ per la trasformata di Riesz completa con coefficienti reali e il comportamento nella dimensione $n=1$.