Boundedness of the maximal, potential and singular operators in the generalized Morrey spaces (Q962439)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Boundedness of the maximal, potential and singular operators in the generalized Morrey spaces
scientific article

    Statements

    Boundedness of the maximal, potential and singular operators in the generalized Morrey spaces (English)
    0 references
    0 references
    7 April 2010
    0 references
    Let \(f\in L^{\text{loc}}_{1}({\mathbb R}^n)\). The maximal operator \(M\), fractional maximal operator \(M_\alpha\), and the Riesz potential \(I_\alpha\) are respectively defined by setting, for all \(x\in{\mathbb R}^n\), \[ Mf(x)=\sup_{t>0}|B(x,t)|^{-1}\int_{B(x,t)}|f(y)|\,dy, \] \[ M_\alpha f(x)=\sup_{t>0}|B(x,t)|^{-1+(\alpha/n)}\int_{B(x,t)}|f(y)|\,dy, \quad 0\leq\alpha<n, \] \[ I_\alpha f(x)=\int_{{\mathbb R}^n}\frac{f(y)} {|x-y|^{n-\alpha}}\,dy,\quad0<\alpha<n, \] where \(|B(x,t)|\) denotes the Lebesgue measure of the ball \(B(x,t)\). Assume that \(1\leq p<\infty\). The generalized Morrey space \(\mathcal M_{p,\omega}({\mathbb R}^n)\) with a general nonnegative measurable function \(\omega(x,r)\) on \({\mathbb R}^n\times (0,\infty)\) is defined to be the set of all functions \(f\in L^{\text{loc}}_{1}({\mathbb R}^n)\) with the finite norm \[ \|f\|_{\mathcal M_{p,\omega}}=\sup_{x\in{\mathbb R}^n,r>0} \frac{r^{-n/p}}{\omega(x,r)}\|f\|_{L_p(B(x,r))}<\infty. \] The weak Morrey space is defined to be the set of all functions \(f\in WL^{\text{loc}}_{p}({\mathbb R}^n)\) with the finite norm \[ \|f\|_{W\mathcal M_{p,\omega}}=\sup_{x\in{\mathbb R}^n,r>0} \frac{r^{-n/p}}{\omega(x,r)}\|f\|_{WL_p(B(x,r))}<\infty. \] In this paper, the author finds the conditions on the pair \((\omega_1, \omega_2)\) which ensure the boundedness of the maximal operator and the Calderón-Zygmund singular integral operators from one generalized Morrey space \({\mathcal M_{p,\omega_1}}({\mathbb R}^n)\) to another \({\mathcal M_{p,\omega_2}}({\mathbb R}^n)\), \(1<p<\infty\), and from the space \({\mathcal M_{1,\omega_1}}({\mathbb R}^n)\) to the weak space \(W{\mathcal M_{1,\omega_2}}({\mathbb R}^n)\). The author also shows that for all \(1\leq p<\infty\), \(0<\alpha<n/p\), \(f\in L^{\text{loc}}_p({\mathbb R}^n)\) and \(x\in {\mathbb R}^n\), \[ |I_\alpha f(x)|\leq C t^\alpha Mf(x)+C\int^\infty_t r^{\alpha-n/p-1}\|f\|_{L_p(B(x,r))}dr, \] where \(C\) is independent of \(f\), \(x\) and \(t\). Moreover, the author proves that if \(1\leq p<\infty\), \(0<\alpha<n/p\), \(\omega(x,t)\) satisfy the conditions \[ \int^\infty_t\omega(x,r)\frac{dr}r\leq C\omega(x,t), \] \[ t^\alpha\omega(x,t)+\int^\infty_tr^\alpha\omega(x,r) \frac{dr}r\leq C\omega(x,t)^{p/q}, \] where \(q\geq p\) and \(C\) is independent of \(x\in{\mathbb R}^n\) and \(t>0\), and for almost every \(x\in{\mathbb R}^n\), the function \(\omega(x,r)\) fulfills the condition that there exists an \(a=a(x)>0\) such that \(\omega(x,\cdot):\,[0,\infty]\to[0,\infty)\) is surjective, then for \(p\in (1,\infty)\), the operators \(M_\alpha\) and \(I_\alpha\) are bounded from \(\mathcal{M}_{p,\omega}({\mathbb R}^n)\) to \(\mathcal{M}_{q,\omega^{p/q}}({\mathbb R}^n)\) and, for \(p=1\), the operators \(M_\alpha\) and \(I_\alpha\) are bounded from \(\mathcal{M}_{1,\omega}({\mathbb R}^n)\) to \(\mathcal{M}_{q,\omega^{1/q}}({\mathbb R}^n)\). In all the cases, the conditions for the boundedness are given in terms of Zygmund-type integral inequalities on \((\omega_1, \omega_2)\), which do not assume any assumption on monotonicity of \(\omega_1\), \(\omega_2\) in \(r\). As applications, the author establishes the boundedness of some Schrödinger type operators on generalized Morrey spaces related to certain nonnegative potential belonging to the reverse Hölder class and the boundedness of various operators on generalized Morrey spaces which are controlled by Riesz potentials.
    0 references
    Morrey space
    0 references
    maximal operator
    0 references
    Riesz potential
    0 references
    Calderón-Zygmund operator
    0 references
    Schrödinger type operator
    0 references
    reverse Hölder class
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references