$l^{p}-L^{q}$ boundedness of sequence-to-function Hardy-Littlewood-Pólya-type operators

Résumé Technique : Bornitude $l^p - L^q$ d'opérateurs de type Hardy-Littlewood-Pólya séquence-vers-fonction

Énoncé du Problème
Cet article étudie les propriétés de bornitude d'une classe d'opérateurs généralisés de type séquence-vers-fonction, notés $H_{\lambda, \alpha, \beta}$. Ces opérateurs associent une suite de nombres réels $a = \{a_m\}_{m=1}^\infty$ à une fonction sur la droite réelle positive $R_+ = (0, +\infty)$. L'opérateur est défini par le noyau impliquant des puissances de l'indice et de la variable divisées par le maximum des deux :
$$H_{\lambda, \alpha, \beta}a(x) := \sum_{m=1}^\infty \frac{m^\alpha x^\beta}{[\max\{m, x\}]^\lambda} a_m, \quad x \in R_+.$$
L'objectif principal est de caractériser complètement les conditions sous lesquelles cet opérateur est borné de l'espace de suites pondéré $l^p_\phi$ vers l'espace de Lebesgue pondéré $L^q_\psi$ pour tous les paramètres $(p, q) \in [1, \infty] \times [1, \infty]$. Les poids sont définis par les paramètres $\phi$ et $\psi$, tels que les normes sont données par $\|a\|_{p, \phi} = (\sum n^\phi |a_n|^p)^{1/p}$ et $\|f\|_{q, \psi} = (\int |f(x)|^q x^\psi dx)^{1/q}$.

La littérature antérieure s'est largement concentrée sur le cas où $p=q > 1$. Ce travail vise à combler la lacune en fournissant une caractérisation complète pour le cas général où $p \neq q$, couvrant toutes les combinaisons de $p$ et $q$ dans l'intervalle spécifié.

Méthodologie
L'auteur emploie une combinaison de techniques d'analyse classique et d'outils d'analyse fonctionnelle moderne :

1. Tests de Schur généralisés : Le cœur des preuves de suffisance repose sur des tests de Schur généralisés, spécifiquement les versions développées par Okikiolu, Sinnamon, Tao et Zhao. Ces tests impliquent la construction de fonctions de poids (ou de suites) spécifiques pour établir la bornitude via les inégalités de Hölder et de Minkowski.
2. Arguments de dualité : Pour les cas impliquant des cibles $L^1$ ou $L^\infty$, ou des applications spécifiques de $l^p$ vers $L^q$, l'auteur utilise les principes de dualité pour relier la bornitude de l'opérateur à la bornitude de son adjoint ou d'opérateurs intégraux apparentés.
3. Conditions nécessaires via des contre-exemples : Pour établir les parties « seulement si » des théorèmes, l'auteur construit des séquences de test spécifiques (souvent de la forme $a_m = m^{-\gamma - \epsilon}$) et analyse la convergence des intégrales résultantes. Les Lemmes 2.5 à 2.9 fournissent des estimations précises pour la convergence des sommes et des intégrales impliquant le noyau $K(m, x) = \frac{m^\alpha x^\beta}{[\max\{m, x\}]^\lambda}$.
4. Estimations de norme exacte : Dans la Section 7, l'auteur dérive des formules exactes pour la norme de l'opérateur dans les cas où les paramètres satisfont des égalités critiques, en utilisant le lemme de Fatou et des arguments de limite.

Contributions Clés et Résultats
L'article présente neuf théorèmes principaux (Théorèmes 1.3–1.9) qui fournissent des conditions nécessaires et suffisantes pour la bornitude de $H_{\lambda, \alpha, \beta}$ à travers différents régimes de $p$ et $q$ :

• Cas $1 \le p \le q < \infty$ (Théorème 1.3) : L'opérateur est borné de $l^p_\phi$ vers $L^q_\psi$ si et seulement si :
  $$\lambda \ge \alpha + \beta + 1 + \frac{\psi+1}{q} - \frac{\phi+1}{p} \quad \text{et} \quad -q\beta < \psi + 1 < q(\lambda - \beta).$$
  Notez que pour $p < q$, la première inégalité est stricte ($\lambda > \dots$).

• Cas $p=1, q=\infty$ (Théorème 1.4) : La bornitude de $l^1_\phi$ vers $L^\infty$ est vérifiée si et seulement si $\lambda \ge \beta \ge 0$ et $\lambda \ge \alpha + \beta - \phi$.

• Cas $1 < p < \infty, q=\infty$ (Théorème 1.5) : La bornitude de $l^p_\phi$ vers $L^\infty$ nécessite une disjonction de deux ensembles de conditions impliquant des inégalités strictes et non strictes concernant $\lambda, \beta, \alpha$ et $\phi$.

• Cas $p=\infty, q=\infty$ (Théorème 1.6) : La bornitude de $l^\infty$ vers $L^\infty$ est vérifiée si et seulement si $\lambda \ge \beta \ge 0$ et $\lambda > \alpha + \beta + 1$.

• Cas $1 \le q < p \le \infty$ (Théorèmes 1.7–1.9) :

  • Pour $l^p_\phi \to L^1_\psi$ ($1 < p < \infty$), la bornitude nécessite $\lambda > \alpha + \beta + 2 + \psi - \frac{\phi+1}{p}$ et $-\beta < \psi + 1 < \lambda - \beta$.
  • Pour $l^p_\phi \to L^q_\psi$ ($1 < q < p < \infty$), une condition supplémentaire $\phi + 1 < p(\alpha + 1)$ est requise aux côtés des inégalités standards.
  • Pour $l^\infty \to L^q_\psi$ ($1 \le q < \infty$), la bornitude nécessite $\alpha + 1 \ge 0$, $\lambda > \alpha + \beta + 1 + \frac{\psi+1}{q}$, et $-q\beta < \psi + 1$.

• Estimations de Norme Exacte (Théorème 7.1) : Dans le cas critique où $p=q$ et $\lambda = \alpha + \beta + 1 + \frac{\psi-\phi}{p}$, l'article fournit une formule explicite pour la norme de l'opérateur :
  $$\|H_{\lambda, \alpha, \beta}\| = \frac{1}{\alpha + 1 - \frac{1}{p}(\phi + 1)} + \frac{1}{\beta + 1 + \frac{1}{p}(\psi + 1)}.$$

Signification et Revendications
L'auteur affirme que ces résultats « caractérisent complètement » la bornitude $l^p - L^q$ pour la classe spécifiée d'opérateurs à travers toute la plage de $p$ et $q$. L'article se positionne comme un complément à la littérature existante, qui s'est principalement concentrée sur le cas diagonal ($p=q$). En utilisant des tests de Schur généralisés, l'auteur étend la portée des résultats connus aux cas hors-diagonaux ($p \neq q$) et fournit des conditions nécessaires qui n'avaient pas été traitées auparavant pour ces espaces pondérés spécifiques.

L'article souligne également la nécessité de certaines conditions par des contre-exemples (Remarque 8.1 et 8.2), démontrant que des conditions telles que $\alpha + 1 \ge 0$ dans le Théorème 1.9 et $\phi + 1 < p(\alpha + 1)$ dans le Théorème 1.8 ne peuvent être supprimées. La méthodologie est notée comme étant applicable à d'autres noyaux mesurables non négatifs définis sur $R_+ \times R_+$, suggérant une utilité plus large des techniques employées.