Weighted Triebel-Lizorkin and Herz spaces estimates for p-adic Hausdorff type operator and its applications (Q2166136)

The \(p\)-adic field \(\mathbb{Q}_p\) has non-Archimedean norm \(\vert x\vert_p=p^\alpha\) where \(x=p^\alpha\frac{m}{n}\) when \(p\) does not divide \(m\) or \(n\). The space \(\mathbb{Q}_p^n\) consists of vectors \((x_1,\dots, x_n)\) with coordinates in \(\mathbb{Q}_p\) whose elements have canonical series \(x=p^\alpha(\sum x_\nu p^\nu)\), \(\alpha=\alpha(x)\in\mathbb{Z}\), \(x_\nu\in\{0,\dots, p-1\}\). One extends \(\vert \cdot\vert_p\) to \(\mathbb{Q}_p^n\) by \(\vert (x_1,\dots, x_n)\vert_p=\max_{1\leq j\leq n} \vert x_j\vert_p\). The \(k\)-ball centered at \(a\in \mathbb{Q}_p^n\) is \(B_k(a)=\{x\in \mathbb{Q}_p^n: \vert x-a\vert_p\leq p^k\}\).\par The Triebel-Lizorkin space \(F_{\ell,q}^{\alpha,\beta}(\omega, \mathbb{Q}_p^n)\) on \(\mathbb{Q}_p^n\) with weight \(\omega\) consists of those \(f\) such that \[\Vert f\Vert_{F_{\ell,q}^{\alpha,\beta}(\omega)}^\ell=\sup_{B\subset \mathbb{Q}_p^n}\frac{1}{(\omega(B)^{\ell\beta}}\int_B\left(\int_B \frac{\vert f(x)-f(y)\vert ^q}{\vert x-y\vert_p^{n+q\alpha}}\omega(y)\, dy\right)^{\ell/q} \omega(x)\, dx<\infty\] where the supremum is taken over balls \(B\) in \( \mathbb{Q}_p^n\). The \(p\)-adic Herz space \(\dot{K}_{q,\omega}^{\beta,\ell}( \mathbb{Q}_p^n)\) consists of those measureable \(f\) in \(L^q_{\text{ loc}}( \mathbb{Q}_p^n\setminus\{0\})\) such that \[\Vert f\Vert_{\dot{K}_{q,\omega}^{\beta,\ell}}=\left(\sum_{k=-\infty}^\infty\omega(B_k)^{\beta\frac{\ell}{n}} \vert f\chi_k\Vert_{L^q(\omega)}^\ell\right)^{1/\ell}<\infty\, .\] The \(p\)-adic Hausdorff operator \(\mathcal{H}_{\varphi,s}^p\) is defined by \[\mathcal{H}_{\varphi,s}^p(f)(x)=\int_{\mathbb{Q}_p^n} f(s(t)x)\varphi(t)\, dt,\quad x\in \mathbb{Q}_p^n\, . \] The weight class \(\mathcal{W}_\epsilon\) consists of those weight \(\omega\) that are homogeneous of degree \(\epsilon \) (\(\omega(tx)=\vert t\vert_p^\epsilon\omega(x)\) and integrable over the unit sphere in \(\mathbb{Q}_p^n\). Muckenhoupt \(A_p\) weights and reverse Hölder conditions are completely analogous to the Euclidean setting. The first main result, Theorem. 3.2 states that for \(1\leq \ell\), \(q<\infty\), \(\alpha,\beta>0\) and \(\omega\in\mathcal{W}_\epsilon\) (\(\epsilon>-n\)), if \[A_1=\int_{ \mathbb{Q}_p^n}\vert s(t)\vert_p^{\alpha-(n+\epsilon)(\frac{1}{\ell}-\beta)-\frac{\epsilon}{q}}\vert \varphi(t)\vert \, dt<\infty \] then \(\mathcal{H}_{\varphi,s}^p\) is bounded from \(F_{\ell,q}^{\alpha,\beta}(\omega,\mathbb{Q}_p^n)\) to itself. On the other hand, if \(\varphi\geq 0\), and if \(\omega(x+y)\leq C\omega(y)\) for all \(\vert x\vert_p\leq \vert y\vert_p\) and either (i) \(q\leq \ell\) and \(\beta>(n-\alpha q)/((n+\epsilon)q)\) or (ii) \(\ell<q\) and \(\beta>\max\{\frac{1}{\ell}-\frac{n+\alpha q}{(n+\epsilon)q},\frac{1}{\ell}-\frac{1}{q}\}\) then boundedness of \(\mathcal{H}_{\varphi,s}^p\) on \(F_{\ell,q}^{\alpha,\beta}(\omega,\mathbb{Q}_p^n)\) implies that \[A_2=\int_{ \mathbb{Q}_p^n}\vert s(t)\vert_p^{\alpha-(n+\epsilon)(\frac{1}{\ell}-\beta)-\frac{\epsilon}{q}}\varphi(t)\, dt<\infty\, . \] Note that \(A_1=A_2\) when \(\varphi\geq 0\). In this case, \(A_2\) is equal to the operator norm.\par The second main result, Theorem. 3.7, provides bounds on Herz spaces. Let \(\omega\) be an \(A_1\)-weight with critical reverse Hölder index \(r>1\). Let \(q^\ast> qr'\) where \(q\geq 1\) and \(r'=r/(r-1)\). Let \(\beta,\beta^\ast>0\) such that \(\frac{1}{q^\ast}+\frac{\beta^\ast}{n}=\frac{1}{q}+\frac{\beta}{n}\). Choose \(\delta\in (1,r)\) and set \(\gamma=\frac{1}{q^\ast}-\bigl(\frac{\beta}{n}+\frac{1}{q}\bigr)\) and \(\gamma_\delta=\frac{1}{q^\ast}-\frac{1}{\delta'}(\bigl(\frac{\beta}{n}+\frac{1}{q}\bigr)\). Suppose that \[C_1=\int_{ \mathbb{Q}_p^n} \vert \varphi(t)\vert \vert s(t)\vert_p^{-n/q^\ast} (\vert s(t)\vert_p^{n\gamma_\delta}\chi_{\vert s(t)\vert_p>1}+\vert s(t)\vert_p^{n\gamma}\chi_{\vert s(t)\vert_p\leq 1})\, dt<\infty\, .\] Then the operator \(\mathcal{H}_{\varphi,s}^p\) is bounded from \(\dot{K}_{q^\ast,\omega}^{\beta^\ast,1}( \mathbb{Q}_p^n)\) to \(\dot{K}_{q,\omega}^{\beta,1}( \mathbb{Q}_p^n)\) with operator norm comparable to \(C_1\).\par On the other hand, if \(0<\ell<1\), \(\sigma>(1-\ell)/\ell\) and \[C_2=\int_{ \mathbb{Q}_p^n} \vert \varphi(t)\vert \vert s(t)\vert_p^{-n/q^\ast}\Bigl(\vert s(t)\vert_p^{n\gamma_\delta}\vert \log_p\vert s(t)\vert_p\vert ^\sigma \chi_{\vert s(t)\vert_p>p}\Bigr. \] \[+\Bigl. \vert s(t)\vert_p^{n\gamma_\delta}\chi_{\vert s(t)\vert_p=p}\,+\vert s(t)\vert_p^{n\gamma}(1-\vert \log_p \vert s(t)\vert_p)^\sigma \chi_{\vert s(t)\vert_p\leq 1}\,\Bigr) dt<\infty\] then \(\mathcal{H}_{\varphi,s}^p\) is bounded from \(\dot{K}_{q^\ast,\omega}^{\beta^\ast,\ell}( \mathbb{Q}_p^n)\) to \(\dot{K}_{q,\omega}^{\beta,\ell}( \mathbb{Q}_p^n)\) with operator norm comparable to \(C_2\). \par Several corollaries are provided that refine the bounds for particular choices of \(\varphi\) that appear in the literature.