Variational estimate for the family of discrete averages associated to simplices

Résumé technique : Estimation variationnelle pour la famille de moyennes discrètes associées aux simplexes

Énoncé du problème
Cet article traite du problème de l'établissement de la bornitude en $\ell^2(\mathbb{Z}^{kn})$ pour la semi-norme variationnelle longue $r$ associée à une famille de moyennes discrètes sur des $k$-simplexes non dégénérés. Alors que la bornitude en $\ell^p$ de l'opérateur maximal associé aux moyennes sphériques discrètes a été largement étudiée (par exemple, Magyar-Stein-Wainger [MSW02], Ionescu [Ion04]), et que l'opérateur maximal pour les moyennes simpliciales discrètes a récemment été démontré borné sur $\ell^2$ par Lyall, Magyar, Newman et Woolfitt [LMNW25], les estimations variationnelles pour ce dernier restent largement inexplorées.

Plus précisément, l'article étudie l'opérateur $V_r(\mathcal{A}^S_L)$, où $\mathcal{A}^S_L = \{A_{\lambda}^S : \lambda \in L\}$ représente les moyennes linéaires simpliciales discrètes sur une suite lacunaire $L = \{2^l\}_{l=1}^\infty$. L'objectif est de prouver que pour $r > 2$, $k \ge 1$, et $n \ge 2k+3$, l'opérateur variationnel satisfait :
$$\|V_r(\mathcal{A}^S_L f)\|_{\ell^2(\mathbb{Z}^{kn})} \lesssim \|f\|_{\ell^2(\mathbb{Z}^{kn})}.$$
Ce résultat est significatif car, comme noté dans l'introduction, les bornes en $\ell^p$ pour les variations longues $r$ impliquent des bornes pour l'opérateur maximal lacunaire correspondant et assurent la convergence presque partout de la suite des moyennes lorsque $\lambda \to \infty$.

Méthodologie
La preuve du théorème principal (Théorème 1.1) repose sur une réduction aux inégalités de saut, suivant le cadre établi par Jones, Seeger et Wright [JSW08]. Les auteurs utilisent les composants clés suivants :

1. Inégalités de saut : Au lieu d'estimer directement la variation $r$, l'article établit la bornitude de l'opérateur de saut $\lambda$, noté $J_\lambda(\mathcal{A}^S_L)$. Par le Lemme 1.1 (un analogue discret de [JSW08, Lemme 2.1]), prouver que $\sup_{\lambda>0} \|\lambda (J_\lambda(\mathcal{A}^S_L f))^{1/2}\|_{\ell^2} \lesssim \|f\|_{\ell^2}$ suffit à déduire l'estimation variationnelle pour $r > 2$.

2. Décomposition de la fonction : La fonction $f \in \ell^2(\mathbb{Z}^{kn})$ est décomposée en trois parties, $f = f_1 + f_2 + f_3$, en utilisant une décomposition de type Littlewood-Paley discrète adaptée à la géométrie du simplexe. Cela implique :

   • Une fonction de troncature lisse $\psi$ et ses dilatations $\Psi^s_{l,j}$.
   • Des différences $\Delta \Psi^s_{l,j} = \Psi^s_{l,j+1} - \Psi^s_{l,j}$ qui agissent comme des opérateurs de localisation fréquentielle.
   • La décomposition sépare $f$ en une partie basse fréquence ($f_1$), une partie moyenne fréquence ($f_2$) et un reste haute fréquence ($f_3$).

3. Localisation fréquentielle et analyse du support : La preuve analyse soigneusement le support de Fourier des fonctions décomposées.

   • Pour $f_2$ et $f_3$, il est démontré que les supports de Fourier se situent dans le complémentaire d'ensembles spécifiques $\Omega^s_{l,j}$. Cela permet d'appliquer la Proposition 2.2 (dérivée de [LMNW25]), qui fournit des estimations de décroissance pour l'opérateur maximal des moyennes simpliciales discrètes lorsque la fonction d'entrée a un support fréquentiel restreint.
   • Pour $f_1$, la preuve utilise une décomposition du réseau $\mathbb{Z}^{kn}$ en cubes dyadiques $Q^l_t$. La moyenne est divisée en un terme impliquant une moyenne locale ($E_l f$) et un terme de fluctuation ($L f$).

4. Estimations de fonctions carrées :

   • Pour les termes $f_2$ et $f_3$, le saut $\lambda$ est dominé par une fonction carrée. Les auteurs invoquent l'inégalité de Minkowski et les estimations de décroissance de la Proposition 2.2 pour sommer sur les échelles $l$ et les fréquences $j$, produisant la borne $\ell^2$ souhaitée.
   • Pour le terme $f_1$, la preuve se réduit à montrer la bornitude en $\ell^2$ d'une fonction carrée associée au terme de fluctuation $L f$. Cela repose sur le Lemme 2.1, qui établit une estimation de décroissance de la forme $\|(\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}$, où $D_m f$ représente les différences de moyennes locales. La preuve de ce lemme se divise en cas ($l \ge m$ et $l < m$), utilisant le théorème des accroissements finis, les propriétés de l'opérateur maximal de Hardy-Littlewood et les formules de sommation de Poisson.

Contributions et résultats clés

• Théorème 1.1 : Le résultat principal établit la bornitude en $\ell^2(\mathbb{Z}^{kn})$ de la semi-norme variationnelle longue $r$ pour les moyennes simpliciales discrètes pour $r > 2$, à condition que $n \ge 2k+3$.
• Théorème 1.2 : L'article prouve l'inégalité de saut correspondante, $\sup_{\lambda>0} \|\lambda (J_\lambda(\mathcal{A}^S_L f))^{1/2}\|_{\ell^2} \lesssim \|f\|_{\ell^2}$, qui sert de moteur technique pour le Théorème 1.1.
• Lemme 2.1 : Un analogue discret de [JSW08, Lemme 3.2] est démontré, fournissant les estimations de décroissance nécessaires pour l'interaction entre l'opérateur de moyenne simpliciale et les moyennes locales sur les cubes dyadiques.

Signification et affirmations
L'article prétend initier l'étude des estimations variationnelles pour les moyennes discrètes sur des hyper-surfaces incluant la sphère, étendant spécifiquement l'analyse aux simplexes non dégénérés. Les auteurs positionnent ce travail comme une extension naturelle de la littérature abondante sur les moyennes sphériques discrètes (par exemple, [MSW02], [Ion04]) et des travaux récents sur les opérateurs maximaux simpliciaux [LMNW25].

La signification du résultat réside dans ses implications pour la convergence : la bornitude en $\ell^2$ de l'opérateur variationnel implique immédiatement que la suite des moyennes simpliciales discrètes $\{A_{\lambda}^S f\}$ converge presque partout lorsque $\lambda \to \infty$. De plus, l'article note que ces bornes variationnelles impliquent des bornes pour l'opérateur maximal lacunaire associé aux simplexes. L'ouvrage ne prétend pas résoudre la bornitude en $\ell^p$ pour $p \neq 2$ ni pour l'opérateur maximal complet (non lacunaire), notant que ces questions restent ouvertes dans le contexte plus large de l'analyse harmonique discrète.