Equality of some classical Lorentz spaces (Q850551)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Equality of some classical Lorentz spaces
scientific article

    Statements

    Equality of some classical Lorentz spaces (English)
    0 references
    0 references
    0 references
    0 references
    3 November 2006
    0 references
    If \(w\) is a nonnegative `weight function' on \(\mathbb R^+= (0,\infty)\) and \(1\leq p<\infty\), then \(L^p(w)\) denotes \(\{[f]:\| [f]\|_{p,w}=\| f\|_{p,w}< \infty\}\) where \([f]\) is the equivalence class of functions which differ from \(f\) on sets of measure \(0\) and \(\| f\|_{p,w}= (\int^\infty_0|f(t)|^p w(t)\,dt)^{1/p}\), and \(L^p(w)^{\text{dec}}\) denotes \(\{f\in L^p(w)\): \(f\) is nonincreasing on \(\mathbb R^+\}\). The Hardy operator \(P\) and its weighted form \(P_\lambda\), and the adjoint \(Q\) of the Hardy operator and its weighted form \(Q_\mu\) are defined by \(P= P_1\), \(P_\lambda(f)(x)= x^{\lambda- 1}\int^x_0 t^{-\lambda} f(t)\,dt\); \(Q= Q_1\), \(Q_\mu(f)(x)= x^{\mu-1}\int^\infty_x t^{-\mu}f(t)\,dt\). The product formula and composition identities satisfied by the operators have the form \(\int^\infty_0 g(t) P_\lambda(f)(t)\,dt= \int^\infty_0 f(x) Q_{1-\lambda}(g)(x)\,dx\); \((\mu- \lambda)Q_\mu P_\lambda(f)= Q_\mu(f)+ P_\lambda(f)\) \((\lambda< \mu)\). If \(M\) denotes the Hardy-Littlewood maximal function, defined by \(M(f)(x)= \sup\{(x- t)^{-1}|\int^x_t f(\xi)\,d\xi|\), \(0\leq t< x\}\), and if \(f^*\) denotes the nonincreasing rearrangement of the function \(f\), so that \(P(|f|)(x)\leq M(|f|)(x)\) and for some constant \(C\), \((1/C)P(f^*)(s)\leq M(f^*(s)\leq CP(f^*)(s)\), \(s> 0\), let \(\Lambda^p(w)\), \(M_p\), \(B_p\) denote, respectively, \(\{f: f^*\in L^p(w)\}\), \(\{w:P\) is bounded in \(L^p(w)\}\), \(\{w: M\) is bounded in \(\Lambda^p(w)\}\). In the main results of this paper, the authors show that (i) if \(w\in B_p\), then there is a weight \(\widehat w\in M_p\) such that \(L^p(w)= L^p(\widehat w)\); (ii) if \(Q: L^p(w)^{\text{dec}}\to L^p(w)^{\text{dec}}\) is bounded, then there is a weight function \(\widehat w\) such that \(\Lambda^p(w)= \Lambda^p(\widehat w)\); (iii) if \(M: \Lambda^p(w)\to \Lambda^p(w)\) and \(Q: L^p(w)^{\text{dec}}\to L^p(w)^{\text{dec}}\) are bounded operators, then there is a weight function \(\overline\omega\) in \(B_p\) such that \(Q: L^p(\overline\omega)^{\text{dec}}\to L^p(\overline\omega)^{\text{dec}}\), and \(\Lambda^p(w)= \Lambda^p(\overline\omega)\).
    0 references
    Lorentz spaces
    0 references
    Hardy operators
    0 references
    Hardy-Littlewood normal functions
    0 references
    weight functions
    0 references

    Identifiers