A $Tb$ type theorem for suppressed kernels

Resumen Técnico: Un Teorema de tipo $Tb$ para Núcleos Suprimidos

Planteamiento del Problema
El artículo aborda la acotación de operadores de integrales singulares (SIO) en un entorno no homogéneo. Específicamente, busca extender el teorema $Tb$ clásico a dimensiones arbitrarias ($\mathbb{R}^d$) y a operadores definidos por núcleos que no son necesariamente antisimétricos. El trabajo opera dentro del marco de la teoría de Calderón-Zygmund no homogénea, donde la medida de Radon subyacente $\mu$ no satisface la condición de duplicidad ($\mu(B(x, 2r)) \leq c\mu(B(x, r))$). En su lugar, se asume que la medida tiene un crecimiento polinomial de grado $n$ ($\mu(B(x, r)) \leq c_0 r^n$), aunque incluso esta condición puede fallar en una familia controlada de bolas.

La motivación principal surge de la caracterización geométrica de los conjuntos removibles para funciones analíticas acotadas (el problema de Painlevé). Mientras que la comparabilidad de la capacidad analítica $\gamma$ y la capacidad analítica positiva $\gamma_+$ fue establecida en el caso plano ($d=2$) por Tolsa mediante un teorema $Tb$ para la transformada de Cauchy, una generalización a dimensiones superiores y a funciones armónicas de Lipschitz requiere un teorema $Tb$ correspondiente para núcleos no antisimétricos en dimensiones arbitrarias.

Metodología
La demostración emplea una combinación sofisticada de técnicas adaptadas del trabajo de Nazarov, Treil y Volberg (NTV), específicamente ajustadas para el contexto no homogéneo y de mayor dimensión. La metodología se estructura de la siguiente manera:

1. Núcleos Suprimidos: Para manejar la falta de duplicidad y las potenciales singularidades de la medida, el autor introduce núcleos "suprimidos". Para una función 1-Lipschitz $\Theta: \mathbb{R}^d \to [0, \infty)$, se define un núcleo modificado $\tilde{k}_\Theta$ multiplicando el núcleo original $k$ por una función de corte suave $\tilde{\chi}$. Esta modificación efectivamente suprime el núcleo cerca de la diagonal donde la medida podría ser irregular, preservando al mismo tiempo las propiedades de Calderón-Zygmund. Se demuestra que el operador asociado $K_\Theta$ es acotado en $L^2(\mu)$ bajo condiciones específicas sobre $\Theta$.

2. Conjuntos Excepcionales y Control de Crecimiento: La demostración identifica un "conjunto excepcional" $S$ donde los operadores maximales asociados a las funciones de prueba $b_1$ y $b_2$ son grandes. Al elegir un límite $\alpha$ suficientemente grande, la medida de $S$ puede hacerse arbitrariamente pequeña en relación con el soporte de $\mu$. El análisis se restringe entonces a un subconjunto $G$ donde la medida $\mu$ exhibe el crecimiento polinomial deseado, y se muestra que el operador $T$ es acotado en $L^2(\mu|_G)$.

3. Láts de Dyádicos y Descomposición de Martingala: En lugar de fijar un único retículo dyádico, la demostración utiliza una familia de retículos dyádicos aleatorios $\mathcal{D}(w)$ obtenidos mediante la traslación del retículo estándar. Los cubos se clasifican como "de tránsito" o "terminales" basándose en su relación con los conjuntos excepcionales. Se establece una descomposición de martingala en $L^2(\mu)$, expresando cualquier función $f$ como una suma de proyecciones sobre estos cubos de tránsito y un término de promedio global.

4. Cubos Buenos y Malos: Se realiza una distinción crucial entre cubos "buenos" y "malos". Un cubo en un retículo es "malo" con respecto a otro retículo si está demasiado cerca del borde de un cubo en el segundo retículo o si interactúa con el borde de un cubo hijo de una manera que viola las condiciones de bordes pequeños. La definición de "malo" depende de los parámetros $m$ y $M$.

5. Argumento Probabilístico: El núcleo de la demostración reside en un argumento probabilístico. El autor demuestra que para una función "buena" fija (aquella cuya descomposición de martingala solo involucra cubos buenos), la probabilidad de que un cubo de tránsito sea "malo" con respecto a un segundo retículo elegido aleatoriamente puede hacerse arbitrariamente pequeña eligiendo $m$ y $M$ suficientemente grandes. Esto permite que la estimación de la acción del operador sobre la parte "mala" de la función se controle vía la esperanza matemática.

6. Estimaciones para Funciones Buenas: La mayor parte del trabajo técnico consiste en estimar el producto interno $\langle K_\Theta f, g \rangle$ donde $f$ y $g$ son funciones buenas. La suma de términos se descompone basándose en las posiciones relativas y tamaños de los cubos involucrados (distantes, intersectantes, de tamaño comparable, etc.).

   • Cubos Distantes: Las estimaciones dependen de la suavidad del núcleo y la separación de los soportes.
   • Cubos Intersectantes/Comparables: Estos requieren un manejo cuidadoso de los términos "malos". El autor utiliza una descomposición de paraproducto y explota el hecho de que, si el operador fuera antisimétrico, ciertos términos se anularían. Dado que el núcleo no es antisimétrico, estos términos se acotan utilizando la pequeñez probabilística de los cubos malos y propiedades geométricas específicas del núcleo suprimido.

Contribuciones Clave y Resultados
El resultado principal es el Teorema 2.1, un teorema $Tb$ no homogéneo para operadores de Calderón-Zygmund de dimensión arbitraria.

• Hipótesis: El teorema asume la existencia de dos funciones acotadas $b_1, b_2$ (acretivas en cubos de tránsito) y una medida de Radon finita $\mu$. Requiere que los operadores adjuntos $T^*$ aplicados a $b_1\mu$ y $T^*_*$ aplicados a $b_2\mu$ sean acotados en un sentido específico fuera de un conjunto excepcional.
• Conclusión: Existe un subconjunto $G \subset \text{supp}(\mu)$ tal que:
  1. $\mu(G)$ es comparable a $\mu(\text{supp}(\mu))$.
  2. La medida restringida $\mu|_G$ tiene crecimiento lineal (crecimiento polinomial de grado $n$).
  3. El operador de integral singular $T$ es acotado en $L^2(\mu|_G)$.

Las constantes involucradas dependen únicamente de las constantes de Calderón-Zygmund del núcleo, la constante de crecimiento $c_0$, las constantes de acreción y las cotas de las funciones de prueba.

Significancia y Pretensiones
El artículo afirma proporcionar una extensión rigurosa del teorema $Tb$ a una clase más amplia de operadores y entornos:

• Dimensión: Generaliza los resultados planos (específicamente los de Nazarov, Treil y Volberg para la transformada de Cauchy) a una dimensión arbitraria $d$.
• Simetría: Elimina el requisito de que el núcleo sea antisimétrico, lo cual es una desviación significativa de aplicaciones previas a la capacidad analítica.
• Aplicación a la Removibilidad: El autor señala que este resultado es una herramienta necesaria para estudiar la capacidad armónica de Lipschitz en $\mathbb{R}^d$ ($d \geq 2$). Al cambiar de funciones analíticas a funciones armónicas de Lipschitz, el problema de la removibilidad puede reformularse en dimensiones superiores, y este teorema $Tb$ proporciona la maquinaria analítica para caracterizar tales conjuntos removibles.

El artículo reconoce que la demostración es altamente técnica, dividiendo el argumento en secciones que cubren preliminares, la construcción de los operadores suprimidos, las descomposiciones de martingala, las estimaciones para funciones buenas, una desigualdad de tipo Cotlar y el argumento probabilístico final. También observa que un teorema $Tb$ local muy general fue probado de forma independiente y simultánea por Merlo, Mourgoglou y Puliatti, del cual se puede derivar el resultado de esta tesis.