No label defined (Q4828852)

Let \(y\in S_ {n-1}\), the unit sphere in \({\mathbb R}^ n\), \(\alpha \in (0,\pi )\) and \(0\leq r \leq R\leq +\infty \). The set \(S=S(y,\alpha ,r,R)=\{x\in {\mathbb R}^ n:\arg (x,y)<\alpha\) and \(r<| x| <R\}\), where \(\arg (x,y)\) is the angle between \(x\) and \(y\), is called a circular sector in \({\mathbb R}^ n\). Let \(\mu \) be a non-negative rotation invariant Radon measure on \({\mathbb R}^ n\). Define the maximal operator \(M_ \mu ^ s\) over circular sectors for every \(f\in L_ {\mu , \text{loc}}({\mathbb R}^ n\)) and \(x\not = 0\) by \[ M_ \mu ^ s f(x)=\sup _ {x \in S}\frac 1{\mu (S)}\int _ {S}| f(y)| \, \text{d}\mu (y), \] where the supremum is taken over all bounded sectors \(S\) in \({\mathbb R}^ n\) with non-zero measure containing \(x\). Set \(M_ \mu ^ s f(0)=0\). The basic result in the paper concerning \(M_ \mu ^ s \) is the following Corollary. Given a non-negative rotation invariant Radon measure \(\mu \), we have (a) \(M_ \mu ^ s \) is of strong type \((p,p)\) for \(1<p\leq \infty \); (b) \(M_ \mu ^ s \) is of weak type \((1,1)\) if and only if \(\mu \) is a finite linear combination of surface measures; i.e., \(\mu =\sum _ {i=1}^ N a_ i\sigma _ {r_ i}\), with \(a_ i, r_ i >0\), \(N\in {\mathbb N}\). The authors work in the more general setting of spaces of homogeneous type that includes the above situations.