We prove sharp a priori estimates for the distribution function of the dyadic maximal function ℳ ϕ, when ϕ belongs to the Lorentz space $L^{p,q}$, 1 < p < ∞, 1 ≤ q < ∞. The approach rests on a precise evaluation of the Bellman function corresponding to the problem. As an application, we establish refined weak-type estimates for the dyadic maximal operator: for p,q as above and r ∈ [1,p], we determine the best constant $C_{p,q,r}$ such that for any $\varphi \in L^{p,q}$, ${\left|\right|ℳ\varphi \left|\right|}_{r,\infty }\le C_{p,q,r}{\left|\right|\varphi \left|\right|}_{p,q}$.

Let ω be a Békollé-Bonami weight. We give a complete characterization of the positive measures μ such that ${\int }_{}|M_{\omega }{f\left(z\right)|}^{q}d\mu \left(z\right)\le C({\int }_{}{\left|f\left(z\right)\right|}^p{\omega \left(z\right)dV\left(z\right))}^{q/p}$ and $\mu \left(z\in :Mf\left(z\right)>\lambda \right)\le C/\left({\lambda }^q\right)({\int }_{}|f\left(z\right){{|}^p\omega \left(z\right)dV\left(z\right))}^{q/p}$, where $M_{\omega }$ is the weighted Hardy-Littlewood maximal function on the upper half-plane and 1 ≤ p,q <; ∞.

This paper studies a new maximal operator introduced by Hytönen, McIntosh and Portal in 2008 for functions taking values in a Banach space. The $L^p$-boundedness of this operator depends on the range space; certain requirements on type and cotype are present for instance. The original Euclidean definition of the maximal function is generalized to σ-finite measure spaces with filtrations and the $L^p$-boundedness is shown not to depend on the underlying measure space or the filtration. Martingale...

Let μ be a nonnegative Radon measure on ${ℝ}^d$ which satisfies μ(B(x,r)) ≤ Crⁿ for any $x\in {ℝ}^d$ and r > 0 and some positive constants C and n ∈ (0,d]. In this paper, some weighted norm inequalities with $A_p^{\varrho }\left(\mu \right)$ weights of Muckenhoupt type are obtained for maximal singular integral operators with such a measure μ, via certain weighted estimates with $A_{\infty }^{\varrho }\left(\mu \right)$ weights of Muckenhoupt type involving the John-Strömberg maximal operator and the John-Strömberg sharp maximal operator, where ϱ,p ∈ [1,∞).

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...

Let ${\sigma }_i$, i = 1,2,3, denote positive Borel measures on ℝⁿ, let denote the usual collection of dyadic cubes in ℝⁿ and let K: → [0,∞) be a map. We give a characterization of a trilinear embedding theorem, that is, of the inequality ${\sum }_{Q\in }K\left(Q\right){\prod }_{i=1}^3|{\int }_Q{f}_{i}d{\sigma }_i|\le C{\prod }_{i=1}^3\left|\right|f_i{\left|\right|}_{L^{p_i}\left(d{\sigma }_i\right)}$ in terms of a discrete Wolff potential and Sawyer’s checking condition, when 1 < p₁,p₂,p₃ < ∞ and 1/p₁ + 1/p₂ + 1/p₃ ≥ 1.

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...

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 $𝒳$. ...

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]).

We prove three results concerning convolution operators and lacunary maximal functions associated to dilates of measures. First we obtain an H¹ to $L^{1,\infty }$ bound for lacunary maximal operators under a dimensional assumption on the underlying measure and an assumption on an $L^p$ regularity bound for some p > 1. Secondly, we obtain a necessary and sufficient condition for L² boundedness of lacunary maximal operator associated to averages over convex curves in the plane. Finally we prove an $L^p$...

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-...

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 $\mu$ be a nonnegative Borel measure on ${ℝ}^d$ satisfying that $\mu \left(Q\right)\le l{\left(Q\right)}^n$ for every cube $Q\subset {ℝ}^n$, where $l\left(Q\right)$ is the side length of the cube $Q$ and $0<n\le d$. We study the class of pairs of weights related to the boundedness of radial maximal operators of fractional type associated to a Young function $B$ in the context of non-homogeneous spaces related to the measure $\mu$. Our results include two-weighted norm and weak type inequalities and pointwise estimates. Particularly, we give an improvement of a two-weighted result...

We study the boundedness of the one-sided operator $g{⁺}_{\lambda ,\phi }$ between the weighted spaces $L^p\left(M¯w\right)$ and $L^p\left(w\right)$ for every weight w. If λ = 2/p whenever 1 < p < 2, and in the case p = 1 for λ > 2, we prove the weak type of $g{⁺}_{\lambda ,\phi }$. For every λ > 1 and p = 2, or λ > 2/p and 1 < p < 2, the boundedness of this operator is obtained. For p > 2 and λ > 1, we obtain the boundedness of $g{⁺}_{\lambda ,\phi }$ from $L^p\left({\left(M¯\right)}^{[p/2]+1}w\right)$ to $L^p\left(w\right)$, where ${\left(M¯\right)}^k$ denotes the operator M¯ iterated k times.

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...

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).

Let Ω be a nonatomic probability space, let X be a Banach function space over Ω, and let ℳ be the collection of all martingales on Ω. For $f={\left(fₙ\right)}_{n\in \mathbb{Z}₊}\in ℳ$, let Mf and Sf denote the maximal function and the square function of f, respectively. We give some necessary and sufficient conditions for X to have the property that if f, g ∈ ℳ and ${\left|\right|Mg\left|\right|}_X{\le \left|\right|Mf\left|\right|}_X$, then ${\left|\right|Sg\left|\right|}_X{\le C\left|\right|Sf\left|\right|}_X$, where C is a constant independent of f and g.

Let $R$ be a commutative ring with unity. The notion of maximal non $\lambda$-subrings is introduced and studied. A ring $R$ is called a maximal non $\lambda$-subring of a ring $T$ if $R\subset T$ is not a $\lambda$-extension, and for any ring $S$ such that $R\subset S\subseteq T$, $S\subseteq T$ is a $\lambda$-extension. We show that a maximal non $\lambda$-subring $R$ of a field has at most two maximal ideals, and exactly two if $R$ is integrally closed in the given field. A determination of when the classical $D+M$ construction is a maximal non $\lambda$-domain is given. A necessary condition...

We investigate the construction of Carleson measures from families of multilinear integral operators applied to tuples of $L^{\infty }$ and BMO functions. We show that if the family $R_t$ of multilinear operators has cancellation in each variable, then for BMO functions b₁, ..., bₘ, the measure $|R_t(b₁,...,bₘ)\left(x\right)|²dxdt/t$ is Carleson. However, if the family of multilinear operators has cancellation in all variables combined, this result is still valid if $b_j$ are $L^{\infty }$ functions, but it may fail if $b_j$ are unbounded BMO functions, as...

Let $D$ be a division ring finite dimensional over its center $F$. The goal of this paper is to prove that for any positive integer $n$ there exists $a\in D^{\left(n\right)},$ the $n$th multiplicative derived subgroup such that $F\left(a\right)$ is a maximal subfield of $D$. We also show that a single depth-$n$ iterated additive commutator would generate a maximal subfield of $D.$

The following iterated commutators $T_{\ast ,\Pi b}$ of the maximal operator for multilinear singular integral operators and $I_{\alpha ,\Pi b}$ of the multilinear fractional integral operator are introduced and studied: $T_{\ast ,\Pi b}\left(f⃗\right)\left(x\right)=su{p}_{\delta >0}\left|[b₁,[b₂,\dots {[b_{m-1},[bₘ,T_{\delta }]ₘ]}_{m-1}\cdots ]₂]₁\left(f⃗\right)\left(x\right)\right|$, $I_{\alpha ,\Pi b}\left(f⃗\right)\left(x\right)=[b₁,[b₂,\dots {[b_{m-1},[bₘ,I_{\alpha }]ₘ]}_{m-1}\cdots ]₂]₁\left(f⃗\right)\left(x\right)$, where $T_{\delta }$ are the smooth truncations of the multilinear singular integral operators and $I_{\alpha }$ is the multilinear fractional integral operator, $b_i\in BMO$ for i = 1,…,m and f⃗ = (f1,…,fm). Weighted strong and L(logL) type end-point estimates for the above iterated commutators associated with two classes of multiple...

We define a new function space $B$, which contains in particular BMO, BV, and $W^{1/p,p}$, $1<p<\infty$. We investigate its embedding into Lebesgue and Marcinkiewicz spaces. We present several inequalities involving $L^p$ norms of integer-valued functions in $B$. We introduce a significant closed subspace, $B_0$, of $B$, containing in particular VMO and $W^{1/p,p}$, $1\le p<\infty$. The above mentioned estimates imply in particular that integer-valued functions belonging to $B_0$ are necessarily constant. This framework provides a “common roof”...

The notion of maximal non-pseudovaluation subring of an integral domain is introduced and studied. Let $R\subset S$ be an extension of domains. Then $R$ is called a maximal non-pseudovaluation subring of $S$ if $R$ is not a pseudovaluation subring of $S$, and for any ring $T$ such that $R\subset T\subset S$, $T$ is a pseudovaluation subring of $S$. We show that if $S$ is not local, then there no such $T$ exists between $R$ and $S$. We also characterize maximal non-pseudovaluation subrings of a local integral domain.

We introduce a maximal function (denoted by π̅ ) on the tent spaces $T^p\left(ℝ{₊}^{n+1}\right)$, 0 < p < ∞, of Coifman, Meyer and Stein [8]. We prove a good-λ estimate of subgaussian type for this maximal function and for the square function of tent spaces, leading to integrability results for π̅. We deduce convergence results for the singular integral defining π.

The main aim of this paper is to prove that the maximal operator $\sigma ₀*:=supₙ|{\sigma }_{n,n}|$ of the Fejér means of the double Vilenkin-Fourier series is not bounded from the Hardy space $H_{1/2}$ to the space weak-$L_{1/2}$.

Let $B_p$ be the Ariõ-Muckenhoupt weight class which controls the weighted $L^p$-norm inequalities for the Hardy operator on non-increasing functions. We replace the constant p by a function p(x) and examine the associated $L^{p\left(x\right)}$-norm inequalities of the Hardy operator.