A $Tb$ type theorem for suppressed kernels

Sintesi Tecnica: Un Teorema di tipo $Tb$ per Kernel Soppressi

Enunciato del Problema
Il saggio affronta la limitatezza degli operatori integrali singolari (SIO) in un contesto non omogeneo. Nello specifico, mira a estendere il classico teorema $Tb$ ad arbitrarie dimensioni ($\mathbb{R}^d$) e ad operatori definiti da kernel che non sono necessariamente antisimmetrici. Il lavoro opera all'interno del quadro della teoria di Calderón-Zygmund non omogenea, dove la misura di Radon sottostante $\mu$ non soddisfa la condizione di doubling ($\mu(B(x, 2r)) \leq c\mu(B(x, r))$). Invece, la misura è assunta avere una crescita polinomiale di grado $n$ ($\mu(B(x, r)) \leq c_0 r^n$), sebbene tale condizione sia ammessa di fallire su una famiglia controllata di sfere.

La motivazione primaria deriva dalla caratterizzazione geometrica degli insiemi rimovibili per funzioni analitiche limitate (il problema di Painlevé). Poiché la comparabilità tra la capacità analitica $\gamma$ e la capacità analitica positiva $\gamma_+$ è stata stabilita nel caso planare ($d=2$) da Tolsa tramite un teorema $Tb$ per la trasformata di Cauchy, una generalizzazione a dimensioni superiori e a funzioni armoniche Lipschitz richiede un corrispondente teorema $Tb$ per kernel non antisimmetrici in dimensioni arbitrarie.

Metodologia
La dimostrazione impiega una combinazione sofisticata di tecniche adattate dal lavoro di Nazarov, Treil e Volberg (NTV), specificamente calibrate per il contesto non omogeneo e di dimensione superiore. La metodologia è strutturata come segue:

1. Kernel Soppressi: Per gestire la mancanza di doubling e le potenziali singolarità della misura, l'autore introduce i kernel "soppressi". Per una funzione 1-Lipschitz $\Theta: \mathbb{R}^d \to [0, \infty)$, un kernel modificato $\tilde{k}_\Theta$ viene definito moltiplicando il kernel originale $k$ per una funzione di cutoff regolare $\tilde{\chi}$. Questa modifica sopprime efficacementamente il kernel vicino alla diagonale dove la misura potrebbe essere irregolare, preservando al contempo le proprietà di Calderón-Zygmund. Si dimostra che l'operatore associato $K_\Theta$ è limitato in $L^2(\mu)$ sotto specifiche condizioni su $\Theta$.

2. Insiemi Eccezionali e Controllo della Crescita: La dimostrazione identifica un "insieme eccezionale" $S$ dove gli operatori massimali associati alle funzioni di test $b_1$ e $b_2$ sono grandi. Scegliendo un valore $\alpha$ sufficientemente grande, la misura di $S$ può essere resa arbitrariamente piccola rispetto al supporto di $\mu$. L'analisi è quindi ristretta a un sottoinsieme $G$ dove la misura $\mu$ esibisce la desiderata crescita polinomiale, e l'operatore $T$ si dimostra limitato in $L^2(\mu|_G)$.

3. Lattice Diadici e Decomposizione di Martingala: Invece di fissare un singolo lattice diadico, la dimostrazione utilizza una famiglia di lattice diadici casuali $\mathcal{D}(w)$ ottenuti traslando il lattice standard. I cubi vengono classificati come "transit" o "terminal" in base alla loro relazione con gli insiemi eccezionali. Una decomposizione di martingala viene stabilita in $L^2(\mu)$, esprimendo ogni funzione $f$ come una somma di proiezioni su questi cubi transit e un termine di media globale.

4. Cubi Buoni e Cattivi: Viene fatta una distinzione cruciale tra cubi "buoni" e "cattivi". Un cubo in un lattice è "cattivo" rispetto a un altro lattice se è troppo vicino al bordo di un cubo nel secondo lattice o se interagisce con il bordo di un cubo figlio in modo da violare le condizioni di piccolo bordo. La definizione di "cattivo" dipende dai parametri $m$ e $M$.

5. Argomento Probabilistico: Il cuore della dimostrazione risiede in un argomento probabilistico. L'autore dimostra che per una funzione "buona" fissata (una la cui decomposizione di martingala coinvolge solo cubi buoni), la probabilità che un cubo transit sia "cattivo" rispetto a un secondo lattice scelto casualmente può essere resa arbitrariamente piccola scegliendo $m$ e $M$ sufficientemente grandi. Ciò permette di controllare l'azione dell'operatore sulla parte "cattiva" della funzione tramite il valore atteso.

6. Stime per Funzioni Buone: Il grosso del lavoro tecnico consiste nel stimare il prodotto scalare $\langle K_\Theta f, g \rangle$ dove $f$ e $g$ sono funzioni buone. La somma dei termini è decomposta in base alle posizioni relative e alle dimensioni dei cubi coinvolti (distanti, intersecanti, di dimensione comparabile, ecc.).

   • Cubi Distanti: Le stime si basano sulla regolarità del kernel e sulla separazione dei supporti.
   • Cubi Intersecanti/Comparabili: Questi richiedono una gestione attenta dei termini "cattivi". L'autore utilizza una decomposizione di paraproduct e sfrutta il fatto che, se l'operatore fosse antisimmetrico, certi termini verrebbero annullati. Poiché il kernel non è antisimmetrico, questi termini sono limitati usando la piccolezza probabilistica dei cubi cattivi e le specifiche proprietà geometriche del kernel soppresso.

Contributi Principali e Risultati
Il risultato principale è il Teorema 2.1, un teorema $Tb$ non omogeneo per operatori di Calderón-Zygmund di dimensione arbitraria.

• Ipotesi: Il teorema assume l'esistenza di due funzioni limitate $b_1, b_2$ (accretive sui cubi transit) e una misura di Radon finita $\mu$. Richiede che gli operatori aggiunti $T^*$ applicati a $b_1\mu$ e $T^*_*$ applicati a $b_2\mu$ siano limitati in un senso specifico al di fuori di un insieme eccezionale.
• Conclusione: Esiste un sottoinsieme $G \subset \text{supp}(\mu)$ tale che:
  1. $\mu(G)$ è comparabile a $\mu(\text{supp}(\mu))$.
  2. La misura ristretta $\mu|_G$ ha crescita lineare (crescita polinomiale di grado $n$).
  3. L'operatore integrale singolare $T$ è limitato in $L^2(\mu|_G)$.

Le costanti coinvolte dipendono solo dalle costanti di Calderón-Zygmund del kernel, dalla costante di crescita $c_0$, dalle costanti di accrescitività e dai limiti sulle funzioni di test.

Significato e Rivendicazioni
Il saggio sostiene di fornire una rigorosa estensione del teorema $Tb$ a una classe più ampia di operatori e contesti:

• Dimensione: Generalizza i risultati planari (specificamente quelli di Nazarov, Treil e Volberg per la trasformata di Cauchy) ad arbitrarie dimensioni $d$.
• Simmetria: Rimuove il requisito che il kernel sia antisimmetrico, il che rappresenta un significativo distacco dalle applicazioni precedenti alla capacità analitica.
• Applicazione alla Rimovibilità: L'autore nota che questo risultato è uno strumento necessario per studiare la capacità armonica Lipschitz in $\mathbb{R}^d$ ($d \geq 2$). Passando dalle funzioni analitiche alle funzioni armoniche Lipschitz, il problema della rimovibilità può essere riformulato in dimensioni superiori, e questo teorema $Tb$ fornisce il apparato analitico per caratterizzare tali insiemi rimovibili.

Il saggio riconosce che la dimostrazione è altamente tecnica, suddividendo l'argomento in sezioni che coprono i preliminari, la costruzione degli operatori soppressi, le decomposizioni di martingala, le stime per le funzioni buone, una disuguaglianza di tipo Cotlar e l'argomento probabilistico finale. Nota inoltre che un teorema $Tb$ locale molto generale è stato provato indipendentemente e simultaneamente da Merlo, Mourgoglou e Puliatti, dal quale il risultato di questa tesi può essere derivato.