Equivalence of norms in one-sided \(H^ p\) spaces.
type: Item
instance of: scholarly article
title: Equivalence of norms in one-sided \(H^ p\) spaces.
zbMATH Open document ID: 1034.46027
author: Liliana de Rosa
author: Carlos Segovia
published in: Collectanea Mathematica
publication date: 2002-08-14T00:00:00Z
full work available at URL: https://eudml.org/doc/42813
review text: Let \(f\) be a locally integrable function on \(\mathbb{R}\). The one-sided Hardy-Littlewood maximal functions are defined as \[ M^+f(x)=\sup_{h>0}\frac1h\int_x^{x+h}| f(y)| \,dy \quad\text{and}\quad M^-f(x)=\sup_{y>0}\frac1h\int_{x-h}^{x}| f(y)| \,dy. \] It is well-known that if \(1<q<\infty\) and \(w(x)\geq0\), a necessary and sufficient condition for \[ \int_{-\infty}^\infty M^+f(x)^qw(x)\,dx\leq C(w,q)\int_{-\infty}^\infty| f(x)| ^qw(x)\,dx \] to hold is that there exists a constant \(C<\infty\) such that if \(-\infty<a<b<c<\infty\), then \[ \bigg(\int_a^b w(x)\,dx\bigg)^{1/q}\bigg(\int_b^c w(x)^{-q'/q}\,dx\bigg)^{1/q'}\leq C(c-a).\tag{1} \] A non-negative and measurable function is a weight in the class \(A_q^+\) if (1) holds. Similar results are valid for \(M^-f\). Let \(\mathcal D\) be the space of the \(C^\infty\) functions with compact support defined on \(\mathbb{R}\). The dual space of \(\mathcal D\) is denoted by \(\mathcal D'\). Let \(S\) be the space of \(C^\infty\) functions on \(\mathbb{R}\) with rapidly decreasing derivatives of all orders. For any \(c\in\mathbb{R}\) let \(S_c\) be the closed subspace of \(S\) of all rapidly decreasing functions with support contained in \([c,+\infty)\). The dual space of \(S_c\) is denoted by \(S_c'\). If \(-\infty\leq d<\infty\) then \(S_d^+\) is defined as the union \(S_d^+=\bigcup_{d<c}S_c\). The set of linear functionals of \(S_d^+\) that restricted to \(S_c\) belong to \(S_c'\), for any number \(c\) greater than \(d\), is denoted by \((S_d^+)'\). Let \(\gamma\) be a non-negative integer. Then \(\varphi\) belongs to the class \(\Phi_\gamma^+\) if \(\varphi\in\mathcal D\), \(\text{supp}(\varphi)\subseteq I\), where \(I\) is a bounded interval of the form \([-a,0)\), \(a>0\), and \(| I| ^{\gamma+1}\| {\mathcal D}^\gamma\varphi\| _\infty\leq1\). If \(f\) belongs to \((S_d^+)'\) then the maximal function \(f_{+,\gamma}^*\) of \(f\) is defined as \(f_{+,\gamma}^*(x)=\sup_{\varphi\in\Phi_\gamma^+}| \langle f,\varphi(…
reviewed by: Rauno Aulaskari
Mathematics Subject Classification ID: 46E15
Mathematics Subject Classification ID: 42B30
zbMATH DE Number: 1780849
zbMATH Keywords: Hardy-Littlewood maximal functions
zbMATH Keywords: equivalent norms
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1780849