Variational estimate for the family of discrete averages associated to simplices

Resumen Técnico: Estimación Variacional para la Familia de Promedios Discretos Asociados a Simplicios

Planteamiento del Problema
Este artículo aborda el problema de establecer la acotación en $\ell^2(\mathbb{Z}^{kn})$ para la seminorma variacional $r$-larga asociada a una familia de promedios discretos sobre $k$-simplicios no degenerados. Si bien la acotación en $\ell^p$ de la función maximal asociada a promedios esféricos discretos ha sido estudiada extensamente (por ejemplo, Magyar-Stein-Wainger [MSW02], Ionescu [Ion04]), y se ha demostrado recientemente que la función maximal para promedios simpliciales discretos es acotada en $\ell^2$ por Lyall, Magyar, Newman y Woolfitt [LMNW25], las estimaciones variacionales para estas últimas permanecen en gran medida inexploradas.

Específicamente, el artículo investiga el operador $V_r(\mathcal{A}^S_L)$, donde $\mathcal{A}^S_L = \{A_{\lambda}^S : \lambda \in L\}$ representa promedios simpliciales lineales discretos sobre una sucesión lacunaria $L = \{2^l\}_{l=1}^\infty$. El objetivo es demostrar que para $r > 2$, $k \ge 1$ y $n \ge 2k+3$, el operador variacional satisface:
$$\|V_r(\mathcal{A}^S_L f)\|_{\ell^2(\mathbb{Z}^{kn})} \lesssim \|f\|_{\ell^2(\mathbb{Z}^{kn})}.$$
Este resultado es significativo porque, como se señala en la introducción, las cotas en $\ell^p$ para las variaciones $r$-largas implican cotas para el operador maximal lacunario correspondiente y aseguran la convergencia casi en todas partes de la sucesión de promedios cuando $\lambda \to \infty$.

Metodología
La demostración del teorema principal (Teorema 1.1) se basa en una reducción a desigualdades de salto, siguiendo el marco establecido por Jones, Seeger y Wright [JSW08]. Los autores utilizan los siguientes componentes clave:

1. Desigualdades de Salto: En lugar de estimar directamente la variación $r$, el artículo establece la acotación del operador de salto $\lambda$, $J_\lambda(\mathcal{A}^S_L)$. Mediante el Lema 1.1 (un análogo discreto de [JSW08, Lema 2.1]), demostrar que $\sup_{\lambda>0} \|\lambda (J_\lambda(\mathcal{A}^S_L f))^{1/2}\|_{\ell^2} \lesssim \|f\|_{\ell^2}$ es suficiente para deducir la estimación variacional para $r > 2$.

2. Descomposición de Funciones: La función $f \in \ell^2(\mathbb{Z}^{kn})$ se descompone en tres partes, $f = f_1 + f_2 + f_3$, utilizando una descomposición de tipo Littlewood-Paley discreta adaptada a la geometría del simplicio. Esto implica:

   • Una función de corte suave $\psi$ y sus dilataciones $\Psi^s_{l,j}$.
   • Diferencias $\Delta \Psi^s_{l,j} = \Psi^s_{l,j+1} - \Psi^s_{l,j}$ que actúan como operadores de localización en frecuencia.
   • La descomposición separa $f$ en una parte de baja frecuencia ($f_1$), una parte de frecuencia media ($f_2$) y un resto de alta frecuencia ($f_3$).

3. Localización en Frecuencia y Análisis de Soporte: La demostración analiza cuidadosamente el soporte de Fourier de las funciones descompuestas.

   • Para $f_2$ y $f_3$, se muestra que los soportes de Fourier yacen en el complemento de conjuntos específicos $\Omega^s_{l,j}$. Esto permite la aplicación de la Proposición 2.2 (derivada de [LMNW25]), que proporciona estimaciones de decaimiento para la función maximal de promedios simpliciales discretos cuando la función de entrada tiene soporte de frecuencia restringido.
   • Para $f_1$, la demostración utiliza una descomposición de la red $\mathbb{Z}^{kn}$ en cubos dyádicos $Q^l_t$. El promedio se divide en un término que involucra un promedio local ($E_l f$) y un término de fluctuación ($L f$).

4. Estimaciones de Funciones Cuadráticas:

   • Para los términos $f_2$ y $f_3$, el salto $\lambda$ está dominado por una función cuadrática. Los autores invocan la desigualdad de Minkowski y las estimaciones de decaimiento de la Proposición 2.2 para sumar sobre escalas $l$ y frecuencias $j$, obteniendo la cota deseada en $\ell^2$.
   • Para el término $f_1$, la demostración se reduce a mostrar la acotación en $\ell^2$ de una función cuadrática asociada al término de fluctuación $L f$. Esto depende del Lema 2.1, que establece una estimación de decaimiento de la forma $\|(\Psi^s_{l,0} * w_{2^l S}) * D_m f - E_l(D_m f)\|_{\ell^2} \lesssim 2^{-\delta|l-m|} \|D_m f\|_{\ell^2}$, donde $D_m f$ representa diferencias de promedios locales. La demostración de este lema se divide en casos ($l \ge m$ y $l < m$), utilizando el teorema del valor medio, propiedades de la función maximal de Hardy-Littlewood y fórmulas de suma de Poisson.

Contribuciones y Resultados Clave

• Teorema 1.1: El resultado principal establece la acotación en $\ell^2(\mathbb{Z}^{kn})$ de la seminorma variacional $r$-larga para promedios simpliciales discretos para $r > 2$, siempre que $n \ge 2k+3$.
• Teorema 1.2: El artículo demuestra la desigualdad de salto correspondiente, $\sup_{\lambda>0} \|\lambda (J_\lambda(\mathcal{A}^S_L f))^{1/2}\|_{\ell^2} \lesssim \|f\|_{\ell^2}$, que sirve como motor técnico para el Teorema 1.1.
• Lema 2.1: Se demuestra un análogo discreto de [JSW08, Lema 3.2], proporcionando las estimaciones de decaimiento necesarias para la interacción entre el operador de promediado simplicial y los promedios locales en cubos dyádicos.

Significado y Afirmaciones
El artículo afirma iniciar el estudio de las estimaciones variacionales para promedios discretos sobre hiper-superficies que incluyen la esfera, extendiendo específicamente el análisis a simplicios no degenerados. Los autores sitúan este trabajo como una extensión natural de la extensa literatura sobre promedios esféricos discretos (por ejemplo, [MSW02], [Ion04]) y el trabajo reciente sobre funciones maximales simpliciales [LMNW25].

El significado del resultado radica en sus implicaciones para la convergencia: la acotación en $\ell^2$ del operador variacional implica inmediatamente que la sucesión de promedios simpliciales discretos $\{A_{\lambda}^S f\}$ converge casi en todas partes cuando $\lambda \to \infty$. Además, el artículo señala que estas cotas variacionales implican cotas para el operador maximal lacunario asociado a simplicios. El trabajo no afirma resolver la acotación en $\ell^p$ para $p \neq 2$ ni para la función maximal completa (no lacunaria), señalando que estas preguntas permanecen abiertas en el contexto más amplio del análisis armónico discreto.