The main aim of this paper is to prove that the maximal operator ${\sigma }^{}$ is bounded from the Hardy space $H_{1/2}$ to weak-$L_{1/2}$ and is not bounded from $H_{1/2}$ to $L_{1/2}$.

Let $M_S$ denote the strong maximal operator. Let $M_x$ and $M_y$ denote the one-dimensional Hardy-Littlewood maximal operators in the horizontal and vertical directions in ℝ². A function h supported on the unit square Q = [0,1]×[0,1] is exhibited such that ${\int }_Q{M}_y{M}_{x}h<\infty$ but ${\int }_Q{M}_x{M}_{y}h=\infty$. It is shown that if f is a function supported on Q such that ${\int }_Q{M}_y{M}_{x}f<\infty$ but ${\int }_Q{M}_x{M}_{y}f=\infty$, then there exists a set A of finite measure in ℝ² such that ${\int }_A{M}_{S}f=\infty$.

An RD-space $𝒳$ is a space of homogeneous type in the sense of Coifman and Weiss with the additional property that a reverse doubling property holds. The authors prove that for a space of homogeneous type $𝒳$ having “dimension” $n$, there exists a $p_0\in (n/(n+1),1)$ such that for certain classes of distributions, the $L^p\left(𝒳\right)$ quasi-norms of their radial maximal functions and grand maximal functions are equivalent when $p\in (p_0,\infty ]$. This result yields a radial maximal function characterization for Hardy spaces on $𝒳$. ...

We prove that the Hausdorff operator generated by a function ϕ is bounded on the real Hardy space $H^p\left(ℝ\right)$, 0 < p ≤ 1, if the Fourier transform ϕ̂ of ϕ satisfies certain smoothness conditions. As a special case, we obtain the boundedness of the Cesàro operator of order α on $H^p\left(ℝ\right)$, 2/(2α+1) < p ≤ 1. Our proof is based on the atomic decomposition and molecular characterization of $H^p\left(ℝ\right)$.

The aim of this paper is to establish transference and restriction theorems for maximal operators defined by multipliers on the Hardy spaces $H^p\left({ℝ}^n\right)$ and $H^p{(}^n)$, 0 < p ≤ 1, which generalize the results of Kenig-Tomas for the case p > 1. We prove that under a mild regulation condition, an $L^{\infty }\left({ℝ}^n\right)$ function m is a maximal multiplier on $H^p\left({ℝ}^n\right)$ if and only if it is a maximal multiplier on $H^p{(}^n)$. As an application, the restriction of maximal multipliers to lower dimensional Hardy spaces is considered. ...

We consider Littlewood-Paley functions associated with a non-isotropic dilation group on ${ℝ}^n$. We prove that certain Littlewood-Paley functions defined by kernels with no regularity concerning smoothness are bounded on weighted $L^p$ spaces, $1<p<\infty$, with weights of the Muckenhoupt class. This, in particular, generalizes a result of N. Rivière (1971).

We give a quantitative characterization of the pairs of weights $(w,v)$ for which the dyadic version of the one-sided Hardy-Littlewood maximal operator satisfies a restricted weak $(p,p)$ type inequality for $1\le p<\infty$. More precisely, given any measurable set $E_0$, the estimate $$w\left(\{x\in {ℝ}^n:M^{+,d}\left({𝒳}_{E_0}\right)\left(x\right)>t\}\right)\le \frac{C{\left[(w,v)\right]}_{A_p^{+,d}\left(ℛ\right)}^p}{t^p}v\left(E_0\right)$$ holds if and only if the pair $(w,v)$ belongs to $A_p^{+,d}\left(ℛ\right)$, that is, $$\frac{\left|E\right|}{\left|Q\right|}\le {\left[(w,v)\right]}_{A_p^{+,d}\left(ℛ\right)}{\left(\frac{v\left(E\right)}{w\left(Q\right)}\right)}^{1/p}$$ for every dyadic cube $Q$ and every measurable set $E\subset Q^{+}$. The proof follows some ideas appearing in S. Ombrosi (2005). We also obtain a similar quantitative characterization for the...

The classical Hardy-Littlewood maximal operator is bounded not only on the classical Lebesgue spaces $L_p\left({ℝ}^d\right)$ (in the case $p>1$), but (in the case when $1/p(·)$ is log-Hölder continuous and $p_{-}=inf\{p\left(x\right):x\in {ℝ}^d\}>1$) on the variable Lebesgue spaces $L_{p(·)}\left({ℝ}^d\right)$, too. Furthermore, the classical Hardy-Littlewood maximal operator is of weak-type $(1,1)$. In the present note we generalize Besicovitch’s covering theorem for the so-called $\gamma$-rectangles. We introduce a general maximal operator $M_s^{\gamma ,\delta }$ and with the help of generalized $\Phi$-functions, the strong-...

We investigate the behaviour of Fourier coefficients with respect to the system of ultraspherical polynomials. This leads us to the study of the “boundary” Lorentz space ${ℒ}_{\lambda }$ corresponding to the left endpoint of the mean convergence interval. The ultraspherical coefficients $c{ₙ}^{\left(\lambda \right)}\left(f\right)$ of ${ℒ}_{\lambda }$-functions turn out to behave like the Fourier coefficients of functions in the real Hardy space ReH¹. Namely, we prove that for any $f\in {ℒ}_{\lambda }$ the series ${\sum }_{n=1}^{\infty }c{ₙ}^{\left(\lambda \right)}\left(f\right)cosn\theta$ is the Fourier series of some function φ ∈ ReH¹ with ${\left|\right|\phi \left|\right|}_{ReH¹}{\le c\left|\right|f\left|\right|}_{{ℒ}_{\lambda }}$. ...

A necessary and sufficient condition is given on the basis of a rare maximal function $M_l$ such that $M_{l}f\in L¹\left([0,1]\right)$ implies f ∈ L log L([0,1]).

The aim of this paper is to introduce some new fixed point results of Hardy-Rogers-type for $\alpha$-$\eta$-$GF$-contraction in a complete metric space. We extend the concept of $F$-contraction into an $\alpha$-$\eta$-$GF$-contraction of Hardy-Rogers-type. An example has been constructed to demonstrate the novelty of our results.

Let f be a measurable function defined on ℝ. For each n ∈ ℤ we consider the average $Aₙf\left(x\right)=2^{-n}{\int }_x^{x+2ⁿ}f$. The square function is defined as $Sf\left(x\right)=({\sum }_{n=-\infty }^{\infty }|Aₙf\left(x\right)-A_{n-1}f\left(x\right){\left|²\right)}^{1/2}$. The local version of this operator, namely the operator $S₁f\left(x\right)=({\sum }_{n=-\infty }^0|Aₙf\left(x\right)-A_{n-1}f\left(x\right){\left|²\right)}^{1/2}$, is of interest in ergodic theory and it has been extensively studied. In particular it has been proved [3] that it is of weak type (1,1), maps $L^p$ into itself (p > 1) and $L^{\infty }$ into BMO. We prove that the operator S not only maps $L^{\infty }$ into BMO but it also maps BMO into BMO. We also prove that the $L^p$ boundedness...

We prove and discuss some new $(H_p,L_p)$-type inequalities of weighted maximal operators of Vilenkin-Nörlund means with non-increasing coefficients $\{q_k:k\ge 0\}$. These results are the best possible in a special sense. As applications, some well-known as well as new results are pointed out in the theory of strong convergence of such Vilenkin-Nörlund means. To fulfil our main aims we also prove some new estimates of independent interest for the kernels of these summability results. In the special cases of...

We consider the Vilenkin orthonormal system on a Vilenkin group $G$ and the Vilenkin-Fourier coefficients $\widehat{f}\left(n\right)$, $n\in \mathbb{N}$, of functions $f\in L^p\left(G\right)$ for some $1<p\le 2$. We obtain certain sufficient conditions for the finiteness of the series ${\sum }_{n=1}^{\infty }{a}_n{\left|\widehat{f}\left(n\right)\right|}^r$, where $\left\{a_n\right\}$ is a given sequence of positive real numbers satisfying a mild assumption and $0<r<2$. We also find analogous conditions for the double Vilenkin-Fourier series. These sufficient conditions are in terms of (either global or local) moduli of continuity of $f$ and give multiplicative...

Let $A_{\alpha }f\left(x\right)={\left|B\right(0,\left|x\right|\left)\right|}^{-\alpha /n}{\int }_{B(0,|x\left|\right)}f\left(t\right)dt$ be the n-dimensional fractional Hardy operator, where 0 < α ≤ n. It is well-known that $A_{\alpha }$ is bounded from $L^p$ to $L^{p_{\alpha }}$ with $p_{\alpha }=np/(\alpha p-np+n)$ when n(1-1/p) < α ≤ n. We improve this result within the framework of Banach function spaces, for instance, weighted Lebesgue spaces and Lorentz spaces. We in fact find a ’source’ space $S_{\alpha ,Y}$, which is strictly larger than X, and a ’target’ space $T_Y$, which is strictly smaller than Y, under the assumption that $A_{\alpha }$ is bounded from X into Y and the Hardy-Littlewood...

We study the Hardy inequality and derive the maximal theorem of Hardy and Littlewood in the context of grand Lebesgue spaces, considered when the underlying measure space is the interval (0,1) ⊂ ℝ, and the maximal function is localized in (0,1). Moreover, we prove that the inequality ${\left|\right|Mf\left|\right|}_{p),w}{\le c\left|\right|f\left|\right|}_{p),w}$ holds with some c independent of f iff w belongs to the well known Muckenhoupt class $A_p$, and therefore iff ${\left|\right|Mf\left|\right|}_{p,w}{\le c\left|\right|f\left|\right|}_{p,w}$ for some c independent of f. Some results of similar type are discussed for the case of small...