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

DOI10.1007/S10476-022-0129-7MaRDI QIDQ2166136zbMATH OpenOpenAlexFDO

Authors Kieu Huu Dung, Dao Van Duong, N. D. Duvet

Publication date 23 August 2022

Published in Analysis Mathematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10476-022-0129-7

\(p\)-adic analysis Hardy-Cesaro operator Hausdorff operator Herz space Hilbert operator Triebel-Lizorkin space

Function spaces arising in harmonic analysis (42B35) Spaces of measurable functions ((L^p)-spaces, Orlicz spaces, Köthe function spaces, Lorentz spaces, rearrangement invariant spaces, ideal spaces, etc.) (46E30) Linear operators on function spaces (general) (47B38)

Review text

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.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Weighted Triebel-Lizorkin and Herz spaces estimates for p-adic Hausdorff type operator and its applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2166136)