Littlewood-Paley and multiplier theorems on weighted spaces over locally compact Vilenkin groups (Q1363606): Difference between revisions

In this paper the Littlewood-Paley theory is extended to weighted \(L^p\) spaces on locally compact Vilenkin groups. Let \(G\) denote a locally compact Vilenkin group with a strictly decreasing sequence of open compact subgroups \((G_n)^\infty_{-\infty}\) such that (i) \(\sup \{\text{order} (G_n/G_{n+1}): n\in\mathbb{Z}\} <\infty\); (ii) \(\cup^\infty_{-\infty} G_n=G\) and \(\cap^\infty_{-\infty} G_n= \{0\}\). Let \(\Gamma\) denote the dual group of \(G\), and for each \(n\in \mathbb{Z}\), let \(\Gamma_n\) denote the annihilator of \(G_n\). We choose Haar measures \(\mu\) on \(G\) and \(\lambda\) on \(\Gamma\) so that \(\mu(G_0)= \lambda (\Gamma_0) =1\). The spaces of test functions and distributions on \(G\) will be denoted by \({\mathcal S} (G)\) and \({\mathcal S}' (G)\), respectively. For an arbitrary set \(A\) we denote its characteristic function by \(\chi_A\). Let \(A_p\), \(1\leq p\leq \infty\), denote the Muckenhoupt class of weight functions on \(G\). We define \(L^p_w(G)\), \(0<p <\infty\), to be the class of all measurable functions \(f\) such that \[ |f|_{p,w} =\left(\int_G \bigl|f(x)\bigr |^p w(x)d \mu\right)^{1\over p} <\infty, \] where \(w\) is a weight function. We shall write \(L^p_\alpha (G)\) if \(w(x)= |x|^\alpha\). The symbols \({\mathcal F}\) and \({\mathcal F}^{-1}\) will be used to denote the Fourier and inverse Fourier transform, respectively. Theorem 1. Let \(1<p<\infty\) and \(w\in A_p\). Then there exist positive constants \(B_p\) and \(C_p\) such that \[ B_p|f|_{p,w} \leq|Sf |_{p, w} \leq C_p|f|_{p,w}, \quad f\in{\mathcal S} (G), \] where \[ Sf(x)= \left\{\sum_n \bigl|{\mathcal F}^{-1} ({\mathcal F} f\cdot \chi_{\Gamma_{n+1} \backslash \Gamma_n}) (x)\bigr |^2 \right\}^{1 \over 2}, \quad x\in G. \] Let \({\mathcal M}_{p,w} (G)\) denote the space of all multipliers on \(L_w^p(G)\). Let \(X\) be a Banach space. For \(1\leq p\leq\infty\) we define \(l^p(X)\) to be the set of all sequences \((f_n)^\infty_{-\infty}\) in \(X\) such that \(\sum_{n \in\mathbb{Z}} |f_n |^p_X <\infty\) with usual modification if \(p=\infty\). Theorem 1 is applied to obtain the following multiplier theorem of mixed norm type on \(L^p_w (G)\), \(w\in A_p\). Theorem 2. Let \(1<p <\infty\) and let \(s= |2p/(2-p) |\) (with \(s=\infty\) if \(p=2)\). Let \((\varphi_n)^\infty_{-\infty}\) be a sequence of functions in \(l^s({\mathcal M}_{p,w} (G))\), \(w\in A_p\). Then \(\varphi= \sum_{n\in\mathbb{Z}} \varphi_n \chi_{\Gamma_{n+1} \backslash\Gamma}\) is a multiplier on \(L^p_w(G)\). In the following theorem it is proved that Theorem 2 is sharp in a certain sense. Theorem 3. Let \(1<p <\infty\), \(p\neq 2\). Let \(w\in A_p\) and let \(q>|2 p/(2-p) |\). Then there exists a sequence of functions \((\varphi_n)^\infty_1\) in \({\mathcal M}_{p,w} (G)\) such that (i) \((\varphi_n)^\infty_1 \in l^q ({\mathcal M}_{p,w} (G))\); (ii) \(\varphi= \sum_{n\in\mathbb{N}} \varphi_n \chi_{\Gamma_{n+1} \backslash\Gamma_n} \notin {\mathcal M}_{p,w} (G)\). We say that a function \(\varphi\in L^p (\Gamma)\) is in the Lipschitz space \(\Lambda^\beta_{r,s} (\Gamma)\) for \(1\leq r\), \(s\leq \infty\), \(\beta>0\), if \(|\varphi |_{\wedge^\beta_{r,s}} = \{\sum_{i\in\mathbb{Z}} m_j^{-s\beta} \omega_r (\varphi,j)^s\}^{1\over s} <\infty\), with the usual modification if \(s= \infty\), where \(\omega_r (\varphi,j)=\sup \{|\varphi-\varphi_\gamma |_r\); \(\gamma \in\Gamma_{j+1} \backslash \Gamma_j\}\), \(\varphi_\gamma (\rho)= \varphi (\rho-\gamma)\) and \(m_j= \lambda (\Gamma_j)\). As an application of Theorem 2, a sufficient condition for a function in \(L^\infty (\Gamma)\) to be a multiplier, is given in the following theorem. Theorem 4. Let \(\beta>0\) and let \(\varphi\in L^\infty(\Gamma)\) such that \(\varphi^i \in\Lambda^\beta_{\infty,\infty} (\Gamma)\) for all \(i\in\mathbb{Z}\) and \(\sup_{i\in\mathbb{Z}} m_i^\beta |\varphi^i |_{\Lambda^\beta_{\infty,\infty}}< \infty\), where \(\varphi^i= \varphi \chi_{\Gamma_{i+1} \backslash \Gamma_i}\). (i) Let \(1<q<2\) and let \((2-q)/2q <\beta\leq {1\over 2}\). Then \(\varphi\) is a multiplier in \(L^r_\alpha (G)\) for all \(q<r\leq 2\) and \(|\alpha |<2 \beta (r-q)/(2-q)\). (ii) If \(1/2<\beta\), then \(\varphi\) is a multiplier on \(L^r_\alpha(G)\) for all \(1< r<2\) and \(|\alpha |<r-1\).