A $Tb$ type theorem for suppressed kernels

Technische Samenvatting: Een Tb-type Stelling voor Onderdrukte Kernen

Probleemstelling
Het artikel behandelt de begrensdheid van singuliere integraaloperatoren (SIO's) in een niet-homogene setting. Specifiek streeft het naar een uitbreiding van de klassieke $Tb$-stelling naar willekeurige dimensies ($\mathbb{R}^d$) en naar operatoren gedefinieerd door kernen die niet noodzakelijkerwijs antisymmetrisch zijn. Het werk opereert binnen het kader van de niet-homogene Calderón-Zygmund-theorie, waarbij het onderliggende Radon-maat $\mu$ niet voldoet aan de verdubbelingsvoorwaarde ($\mu(B(x, 2r)) \leq c\mu(B(x, r))$). In plaats daarvan wordt aangenomen dat het maat een polynomiale groei heeft van graad $n$ ($\mu(B(x, r)) \leq c_0 r^n$), hoewel deze voorwaarde ook mag falen op een gecontroleerde familie van bollen.

De primaire motivatie komt voort uit de geometrische karakterisering van verwijderbare verzamelingen voor begrensde analytische functies (Painlevé's probleem). Terwijl de vergelijkbaarheid van analytische capaciteit $\gamma$ en de positieve analytische capaciteit $\gamma_+$ in het planaire geval ($d=2$) werd vastgesteld door Tolsa middels een $Tb$-stelling voor de Cauchy-transformatie, vereist een generalisatie naar hogere dimensies en naar Lipschitz harmonische functies een dergelijke $Tb$-stelling voor niet-antisymmetrische kernen in willekeurige dimensies.

Methodologie
Het bewijs maakt gebruik van een verfijnde combinatie van technieken aangepast aan het werk van Nazarov, Treil en Volberg (NTV), specifiek afgestemd op de niet-homogene en hogere-dimensionale context. De methodologie is als volgt gestructureerd:

1. Onderdrukte Kernen: Om het gebrek aan verdubbeling en de potentiële singulariteiten van het maat te hanteren, introduceert de auteur "onderdrukte" kernen. Voor een 1-Lipschitz functie $\Theta: \mathbb{R}^d \to [0, \infty)$ wordt een gemodificeerde kern $\tilde{k}_\Theta$ gedefinieerd door de oorspronkelijke kern $k$ te vermenigvuldigen met een gladde afkapfunctie $\tilde{\chi}$. Deze modificatie onderdrukt de kern effectief nabij de diagonaal waar het maat irregulier kan zijn, terwijl de Calderón-Zygmund-eigenschappen behouden blijven. De bijbehorende operator $K_\Theta$ wordt getoond als begrensd in $L^2(\mu)$ onder specifieke voorwaarden op $\Theta$.

2. Exceptionele Verzamelingen en Groeicontrole: Het bewijs identificeert een "exceptionele verzameling" $S$ waar de maximaloperator geassocieerd met de testfuncties $b_1$ en $b_2$ groot is. Door een voldoende grote bovengrens $\alpha$ te kiezen, kan de maat van $S$ willekeurig klein worden gemaakt ten opzichte van de ondersteuning van $\mu$. De analyse wordt vervolgens beperkt tot een deelverzameling $G$ waar het maat $\mu$ de gewenste polynomiale groei vertoont, en de operator $T$ wordt getoond als begrensd in $L^2(\mu|_G)$.

3. Dyadische Lattices en Martingaaldecompositie: In plaats van één enkele dyadische lattice te fixeren, maakt het bewijs gebruik van een familie van willekeurige dyadische lattices $\mathcal{D}(w)$ verkregen door de standaard lattice te transleren. Kubussen worden geclassificeerd als "transit" of "terminaal" op basis van hun relatie met de exceptionele verzamelingen. Een martingaaldecompositie wordt vastgesteld in $L^2(\mu)$, waarbij elke functie $f$ wordt uitgedrukt als een som van projecties op deze transit-kubussen en een globale gemiddelde term.

4. Goede en Slechte Kubussen: Er wordt een cruciaal onderscheid gemaakt tussen "goede" en "slechte" kubussen. Een kubus in één lattice is "slecht" ten opzichte van een andere lattice als deze te dicht bij de rand van een kubus in de tweede lattice ligt of als deze interacteert met de rand van een kind-kubus op een manier die de kleine randvoorwaarden schendt. De definitie van "slecht" hangt af van de parameters $m$ en $M$.

5. Probabilistisch Argument: De kern van het bewijs rust op een probabilistisch argument. De auteur toont aan dat voor een vaste "goede" functie (één waarvan de martingaaldecompositie alleen goede kubussen bevat), de waarschijnlijkheid dat een transit-kubus "slecht" is ten opzichte van een willekeurig gekozen tweede lattice willekeurig klein kan worden gemaakt door $m$ en $M$ voldoende groot te kiezen. Dit maakt het mogelijk om de werking van de operator op het "slechte" deel van de functie te controleren via de verwachting.

6. Schattingen voor Goede Functies: Het grootste deel van het technische werk betreft het schatten van het inwendig product $\langle K_\Theta f, g \rangle$ waarbij $f$ en $g$ goede functies zijn. De som van termen wordt gedecomposeerd op basis van de relatieve posities en grootte van de kubussen (ver weg, snijdend, vergelijkbare grootte, etc.).

   • Ver weg gelegen Kubussen: Schattingen vertrouwen op de gladheid van de kern en de scheiding van de ondersteuningen.
   • Snijdende/Vergelijkbare Kubussen: Deze vereisen zorgvuldige behandeling van de "slechte" termen. De auteur gebruikt een paraproductdecompositie en maakt gebruik van het feit dat als de operator antisymmetrisch zou zijn, bepaalde termen zouden verdwijnen. Omdat de kern niet antisymmetrisch is, worden deze termen begrensd via de probabilistische kleinheid van slechte kubussen en specifieke geometrische eigenschappen van de onderdrukte kern.

Belangrijkste Bijdragen en Resultaten
Het hoofdbestanddeel is Stelling 2.1, een niet-homogene $Tb$-stelling voor willekeurige dimensionale Calderón-Zygmund-operatoren.

• Hypothesen: De stelling gaat uit van de existentie van twee begrensde functies $b_1, b_2$ (accretief op transit-kubussen) en een eindig Radon-maat $\mu$. Het vereist dat de geadjungeerde operatoren $T^*$ toegepast op $b_1\mu$ en $T^*_*$ toegepast op $b_2\mu$ in een specifieke zin begrensd zijn buiten een exceptionele verzameling.
• Conclusie: Er bestaat een deelverzameling $G \subset \text{supp}(\mu)$ zodanig dat:
  1. $\mu(G)$ vergelijkbaar is met $\mu(\text{supp}(\mu))$.
  2. Het beperkte maat $\mu|_G$ lineaire groei heeft (polynomiale groei van graad $n$).
  3. De singuliere integraaloperator $T$ begrensd is in $L^2(\mu|_G)$.

De betrokken constanten zijn afhankelijk van enkel de Calderón-Zygmund-constanten van de kern, de groeidegree $c_0$, de accretiviteitsconstanten en de grenzen van de testfuncties.

Betekenis en Claims
Het artikel claimt een rigoureuze uitbreiding van de $Tb$-stelling naar een bredere klasse van operatoren en omgevingen te bieden:

• Dimensie: Het generaliseert de planaire resultaten (specifiek die van Nazarov, Treil en Volberg voor de Cauchy-transformatie) naar een willekeurige dimensie $d$.
• Symmetrie: Het heft de vereiste op dat de kern antisymmetrisch moet zijn, wat een significante afwijking is van eerdere toepassingen op analytische capaciteit.
• Toepassing op Verwijderbaarheid: De auteur merkt op dat dit resultaat een noodzakelijk instrument is voor het bestuderen van de Lipschitz harmonische capaciteit in $\mathbb{R}^d$ ($d \geq 2$). Door over te schakelen van analytische functies naar Lipschitz harmonische functies, kan het probleem van verwijderbaarheid in hogere dimensies worden geherformuleerd, en deze $Tb$-stelling biedt de analytische mechanica om dergelijke verwijderbare verzamelingen te karakteriseren.

Het artikel erkent dat het bewijs zeer technisch is, waarbij het argument wordt opgesplitst in secties die de voorbereidingen, de constructie van onderdrukte operatoren, martingaaldecomposities, schattingen voor goede functies, een Cotlar-type ongelijkheid en het uiteindelijke probabilistische argument behandelen. Er wordt ook opgemerkt dat een zeer algemene lokale $Tb$-stelling onafhankelijk en gelijktijdig is bewezen door Merlo, Mourgoglou en Puliatti, waaruit het resultaat in deze thesis kan worden afgeleid.