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

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

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

Let $(X,d,\mu )$ be a metric measure space endowed with a distance $d$ and a nonnegative Borel doubling measure $\mu$. Let $L$ be a non-negative self-adjoint operator of order $m$ on $L^2\left(X\right)$. Assume that the semigroup ${\mathrm{e}}^{-tL}$ generated by $L$ satisfies the Davies-Gaffney estimate of order $m$ and $L$ satisfies the Plancherel type estimate. Let $H_L^p\left(X\right)$ be the Hardy space associated with $L.$ We show the boundedness of Stein’s square function ${𝒢}_{\delta }\left(L\right)$ arising from Bochner-Riesz means associated to $L$ from Hardy spaces $H_L^p\left(X\right)$ to $L^p\left(X\right)$, and also study...

We give a new proof using the classic Calderón-Zygmund decomposition that the Hardy-Littlewood maximal operator is bounded on the variable Lebesgue space $L^{p(\cdot )}$ whenever the exponent function $p(\cdot )$ satisfies log-Hölder continuity conditions. We include the case where $p(\cdot )$ assumes the value infinity. The same proof also shows that the fractional maximal operator $M_a$, , maps $L^{p(\cdot )}$ into $L^{q(\cdot )}$, where $1/p(\cdot )-1/q(\cdot )=a/n$.

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.

In this paper we study the regularity properties of the one-dimensional one-sided Hardy-Littlewood maximal operators ${ℳ}^{+}$ and ${ℳ}^{-}$. More precisely, we prove that ${ℳ}^{+}$ and ${ℳ}^{-}$ map $W^{1,p}\left(ℝ\right)\to W^{1,p}\left(ℝ\right)$ with $1<p<\infty$, boundedly and continuously. In addition, we show that the discrete versions $M^{+}$ and $M^{-}$ map $\mathrm{BV}\left(\mathbb{Z}\right)\to \mathrm{BV}\left(\mathbb{Z}\right)$ boundedly and map $l^1\left(\mathbb{Z}\right)\to \mathrm{BV}\left(\mathbb{Z}\right)$ continuously. Specially, we obtain the sharp variation inequalities of $M^{+}$ and $M^{-}$, that is, $$\mathrm{Var}\left(M^{+}\left(f\right)\right)\le \mathrm{Var}\left(f\right)\text{and}\mathrm{Var}\left(M^{-}\left(f\right)\right)\le \mathrm{Var}\left(f\right)$$ if $f\in \mathrm{BV}\left(\mathbb{Z}\right)$, where $\mathrm{Var}\left(f\right)$ is the total variation of $f$ on $\mathbb{Z}$ and $\mathrm{BV}\left(\mathbb{Z}\right)$ is the set of all functions $f:\mathbb{Z}\to ℝ$ satisfying $\mathrm{Var}\left(f\right)<\infty$.

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

For an injective map τ acting on the dyadic subintervals of the unit interval [0,1) we define the rearrangement operator $T_s$, 0 < s < 2, to be the linear extension of the map $\left(h_I\right)/{\left(\right|I|}^{1/s})\mapsto \left(h_{\tau \left(I\right)}\right)\left(\right|\tau \left(I\right){|}^{1/s})$, where $h_I$ denotes the $L^{\infty }$-normalized Haar function supported on the dyadic interval I. We prove the following extrapolation result: If there exists at least one 0 < s₀ < 2 such that $T_{s₀}$ is bounded on $H^{s₀}$, then for all 0 < s < 2 the operator $T_s$ is bounded on $H^s$.

We consider functions $u\in W_0^{m,1}\left(\Omega \right)$, where $\Omega \subset {ℝ}^N$ is a smooth bounded domain, and $m\ge 2$ is an integer. For all $j\ge 0,1\le k\le m-1$, such that $1\le j+k\le m$, we prove that $\frac{{\partial }^{i}u\left(x\right)}{d{\left(x\right)}^{m-j-k}}\in W_0^{k,1}\left(\Omega \right)$ with $∥{\partial }^k{\left(\frac{{\partial }^{i}u\left(x\right)}{d{\left(x\right)}^{m-j-k}}\right)}_{L^1\left(\Omega \right)}\le C∥u∥{}_{W^{m,1}\left(\Omega \right)}$, where $d$ is a smooth positive function which coincides with dist$(x,\partial \Omega )$ near $\partial \Omega$, and ${\partial }^l$ denotes any partial differential operator of order $l$.

Let ${ℒ}_1=-\Delta +V$ be a Schrödinger operator and let ${ℒ}_2={(-\Delta )}^2+V^2$ be a Schrödinger type operator on ${ℝ}^n$ $(n\ge 5)$, where $V\ne 0$ is a nonnegative potential belonging to certain reverse Hölder class $B_s$ for $s\ge n/2$. The Hardy type space $H_{{ℒ}_2}^1$ is defined in terms of the maximal function with respect to the semigroup $\left\{{\mathrm{e}}^{-t{ℒ}_2}\right\}$ and it is identical to the Hardy space $H_{{ℒ}_1}^1$ established by Dziubański and Zienkiewicz. In this article, we prove the $L^p$-boundedness of the commutator ${ℛ}_b=bℛf-ℛ\left(bf\right)$ generated by the Riesz transform $ℛ={\nabla }^2{ℒ}_2^{-1/2}$, where $b\in {\mathrm{BMO}}_{\theta }\left(\rho \right)$, which is larger...

Let Φ be a concave function on (0,∞) of strictly critical lower type index $p_{\Phi }\in (0,1]$ and $\omega \in A_{\infty }^{loc}\left(ℝⁿ\right)$ (the class of local weights introduced by V. S. Rychkov). We introduce the weighted local Orlicz-Hardy space $h_{\omega }^{\Phi }\left(ℝⁿ\right)$ via the local grand maximal function. Let $\rho \left(t\right)\equiv t^{-1}/{\Phi }^{-1}\left(t^{-1}\right)$ for all t ∈ (0,∞). We also introduce the BMO-type space $bm{o}_{\rho ,\omega }\left(ℝⁿ\right)$ and establish the duality between $h_{\omega }^{\Phi }\left(ℝⁿ\right)$ and $bm{o}_{\rho ,\omega }\left(ℝⁿ\right)$. Characterizations of $h_{\omega }^{\Phi }\left(ℝⁿ\right)$, including the atomic characterization, the local vertical and the local nontangential maximal function characterizations, are...

Let $\Omega$ be a bounded domain of class $C^2$ in $ℝ$N and let $K$ be a compact subset of $\partial \Omega$. Assume that $q\ge (N+1)/\left(N-1\right)$ and denote by $U_K$ the maximal solution of $-\Delta u+u^q=0$ in $\Omega$ which vanishes on $\partial \Omega \setminus K$. We obtain sharp upper and lower estimates for $U_K$ in terms of the Bessel capacity $C_{2/q,q^{\text{'}}}$ and prove that $U_K$ is $\sigma$-moderate. In addition we describe the precise asymptotic behavior of $U_K$ at points $\sigma \in K$, which depends on the “density” of $K$ at $\sigma$, measured in terms of the capacity $C_{2/q,q^{\text{'}}}$.

Let $\Omega \in L^s\left({\mathrm{S}}^{n-1}\right)$ for $s\ge 1$ be a homogeneous function of degree zero and $b$ a BMO function. The commutator generated by the Marcinkiewicz integral ${\mu }_{\Omega }$ and $b$ is defined by $${\displaystyle [b,{\mu }_{\Omega }]\left(f\right)\left(x\right)=({\int }_0^{\infty }{\left|{\int }_{|x-y|\le t}\frac{\Omega (x-y)}{{|x-y|}^{n-1}}[b\left(x\right)-b\left(y\right)]f\left(y\right)\mathrm{d}y{|}^2\frac{\mathrm{d}t}{t^3}\right)}^{1/2}.}$$ In this paper, the author proves the $(L^{p(·)}\left({ℝ}^n\right),L^{p(·)}\left({ℝ}^n\right))$-boundedness of the Marcinkiewicz integral operator ${\mu }_{\Omega }$ and its commutator $[b,{\mu }_{\Omega }]$ when $p(·)$ satisfies some conditions. Moreover, the author obtains the corresponding result about ${\mu }_{\Omega }$ and $[b,{\mu }_{\Omega }]$ on Herz spaces with variable exponent.

For a finite Coxeter group $W$ and a Coxeter element $c$ of $W$; the $c$-Cambrian fan is a coarsening of the fan defined by the reflecting hyperplanes of $W$. Its maximal cones are naturally indexed by the $c$-sortable elements of $W$. The main result of this paper is that the known bijection cl${}_c$ between $c$-sortable elements and $c$-clusters induces a combinatorial isomorphism of fans. In particular, the $c$-Cambrian fan is combinatorially isomorphic to the normal fan of the generalized associahedron for...

Let ${}_s$ be the family of open rectangles in the plane ℝ² with a side of angle s to the x-axis. We say that a set S of directions is an R-set if there exists a function f ∈ L¹(ℝ²) such that the basis ${}_s$ differentiates the integral of f if s ∉ S, and $D{̅}_{s}f\left(x\right)=limsu{p}_{diam\left(R\right)\to 0,x\in R{\in }_s}{\left|R\right|}^{-1}{\int }_{R}f=\infty$ almost everywhere if s ∈ S. If the condition $D{̅}_{s}f\left(x\right)=\infty$ holds on a set of positive measure (instead of a.e.) we say that S is a WR-set. It is proved that S is an R-set (resp. a WR-set) if and only if it is a $G_{\delta }$ (resp. a $G_{\delta \sigma }$).