Dimension free estimates for discrete Riesz transforms on products of abelian groups (Q596609): Difference between revisions

Let \(\partial_j\), \(1\leq j\leq n\), be the discrete derivatives on \(\ell^2 (\mathbf Z^n)\) defined by \(\partial_j=I-\tau_j\), where \(\tau_j\) is the translation by~\(1\) in the \(j\)-th coordinate; and let \(\mathcal L= \sum_{j=1}^n \partial^*_j \partial_j\) be the discrete Laplacian and \(R_j=\partial_j \mathcal L^{-1/2}\) the discrete Riesz transforms. It has been shown by \textit{W. Hebisch} and \textit{L. Saloff-Coste} [Ann. Probab. (2) 21, 673--709 (1993; Zbl 0776.60086)] that for any \(p\), \(1<p<\infty\), one has the estimate \[ c_{p,n} \| F\| _{\ell^p(\mathbf Z^n)} \leq \Big\| \Big( \sum_{j=1}^n | R_j F| ^2+| R^*_j F| ^2 \Big)^{1/2} \Big\| _{\ell^p(\mathbf Z^n)} \leq C_{p,n} \| F\| _{\ell^p(\mathbf Z^n)} \quad\;\forall F\in\ell^p(\mathbf Z^n) \] (with \(c_{p,n},C_{p,n}\) independent of \(f\)). The author proves that for \(p\), \(2<p<\infty\), the constants \(c_{p,n}\) and \(C_{p,n}\) can actually be chosen to be independent of \(n\). (Further, their dependence on \(p\) can also be made fairly explicit.) For \(p\), \(1<p<2\), the corresponding statement is no longer true, but a substitute is obtained upon replacing the middle term~by \[ \inf\Big\{ \Big\| \Big(\sum_{j=1}^n | F'_j| ^2+| H'_j| ^2\Big)^{1/2}\Big\| + \Big\| \Big(\sum_{j=1}^n \tau_j| F''_j| ^2+\tau^*_j| H''_j| ^2\Big)^{1/2} \Big\| \Big\} , \] where the infimum is taken over all decompositions \(R^*_jF=F'_j+F''_j\), \(R_jF=H'_j+H''_j\) in \(\ell^p(\mathbf Z^n)\). The result remains valid also for \(\mathbf Z^n\) replaced by~\(G^n\), for any lca group~\(G\), and \(\tau_j\) replaced by the translation by \(g_0\) in the \(j\)-th coordinate, where \(g_0\in G\) is a fixed element such that the subgroup generated by \(g_0\) is isomorphic to~\(\mathbf Z\). Finally, an analogous result is established also for \(\mathbf Z^n\) replaced by the cyclic groups \((\mathbf Z/k\mathbf Z)^n\), \(k=3,4\); the case of \(k=2\) was already settled in an earlier paper by the same author [J.~Funct. Anal. 155, 263-285 (1998; Zbl 0908.47027)].