We prove the self-improvement property of the Hardy--Littlewood maximal operator on quasi-Banach lattices with the Fatou property in the setting of spaces of homogeneous type. Our result is a generalization of the boundedness criterion obtained in 2010 by Lerner and Ombrosi for maximal operators on quasi-Banach function spaces over Euclidean spaces. The specialty of the proof for spaces of homogeneous type lies in using adjacent grids of Hytönen--Kairema dyadic cubes and studying the maximal operator alongside its dyadic version. Then we apply the obtained result to variable Lebesgue spaces over spaces of homogeneous type.
We prove the $\ell^s$-boundedness of a family of integral operators with an operator-valued kernel on UMD Banach function spaces. This generalizes and simplifies earlier work by Gallarati, Veraar and the author, where the $\ell^s$-boundedness of this family of integral operators was shown on Lebesgue spaces. The proof is based on a characterization of $\ell^s$-boundedness as weighted boundedness by Rubio de Francia.
Some New Sharp Boundedness Result Concerning Linear functionals on Banach spaces
UiT – The Arctic University of Norway（挪威北极大学）；Karlstad University（卡尔斯特德大学）；Uppsala University（乌普萨拉大学）；Ivane Javakhishvili Tbilisi State University（伊万·贾瓦希什维利第比利斯国立大学）；The University of Georgia, Viktor Kupradze Institute of Mathematics（格鲁吉亚大学维克托·库普拉泽数学研究所）
We prove various extensions of the Coifman-Rubio de Francia-Semmes multiplier theorem to operator-valued multipliers on Banach function spaces. Our results involve a new boundedness condition on sets of operators which we call $\ell^{r}(\ell^{s})$-boundedness, which implies $\mathcal{R}$-boundedness in many cases. The proofs are based on new Littlewood-Paley-Rubio de Francia-type estimates in Banach function spaces which were recently obtained by the authors.
We study the action of operators on tent spaces such as maximal operators, Calder{ó}n-Zygmund operators, Riesz potentials. We also consider singular non-integral operators. We obtain boundedness as an application of extrapolation methods in the Banach range. In the non Banach range, boundedness results for Calder{ó}n-Zygmund operators follows by using an appropriate atomic theory. We end with some consequences on amalgalm spaces.
In this article we extend recent results by the first author on the necessity of $BMO$ for the boundedness of commutators on the classical Lebesgue spaces. We generalize these results to a large class of Banach function spaces. We show that with modest assumptions on the underlying spaces and on the operator $T$, if the commutator $[b,T]$ is bounded, then the function $b$ is in $BMO$.
In this paper, we give the definability of bilinear singular and fractional integral operators on Morrey-Banach space, as well as their commutators and we prove the boundedness of such operators on Morrey-Banach spaces. Moreover, the necessary condition for BMO via the bounedness of bilinear commutators on Morrey-Banach space is also given. As a application of our main results, we get the necessary conditions for BMO via the bounedness of bilinear integral operators on weighted Morrey space and Morrey space with variable exponents. Finally, we obtain the boundedness of bilinear C-Z operator on…
In this paper we prove that the Hardy-Littlewood maximal operator is bounded on Morrey spaces $\mathcal{M}_{1,λ}(\rn)$, $0 \le \la < n$ for radial, decreasing functions on $\rn$
Let $X$ be a ball quasi-Banach function space on ${\mathbb R}^n$. In this article, the authors introduce the weak Hardy-type space $WH_X({\mathbb R}^n)$, associated with $X$, via the radial maximal function. Assuming that the powered Hardy--Littlewood maximal operator satisfies some Fefferman--Stein vector-valued maximal inequality on $X$ as well as it is bounded on both the weak ball quasi-Banach function space $WX$ and the associated space, the authors then establish several real-variable characterizations of $WH_X({\mathbb R}^n)$, respectively, in terms of various maximal functions, atoms a…
In this paper we derive the maximal subspace of positive numbers, for which the restricted maximal operator of Fejér means in this subspace is bounded from the Hardy space $H_{p}$ to the space $L_{p}$ for all $0<p\leq 1/2.$ Moreover, we prove that the result is in a sense sharp.
Extending the methods developed in the author's previous paper and using adapted coordinate systems in two variables, an L^p boundedness theorem is proven for maximal operators over hypersurfaces in R^3 when p > 2. When the best possible p is greater than 2, the theorem typically provides sharp estimates. This gives another approach to the subject of recent work of Ikromov, Kempe, and Muller on this subject
We show that the bilinear Hilbert transform $H_Γ$ along curves $Γ=(t,-γ(t))$ with $γ\in\mathcal{N}\mathcal{F}^{C}$ is bounded from $L^{p}(\mathbb{R})\times L^{q}(\mathbb{R})\,\rightarrow\,L^{r}(\mathbb{R})$ where $p,\,q,\,r$ are Hölder indices, i.e. $\frac{1}{p}+\frac{1}{q}=\frac{1}{r}$, with $1<p<\infty$, $1<q\leq\infty$ and $1\leq r<\infty$. Here $\mathcal{N}\mathcal{F}^{C}$ stands for a wide class of smooth "non-flat" curves near zero and infinity whose precise definition is given in Section 2. This continues author's earlier work on this topic, extending the boundedness range of $H_Γ$ to a…
We obtain (essentially sharp) boundedness results for certain generalized local maximal operators between fractional weighted Sobolev spaces and their modifications. Concrete boundedness results between well known fractional Sobolev spaces are derived as consequences of our main result. We also apply our boundedness results by studying both generalized neighbourhood capacities and the Lebesgue differentiation of fractional weighted Sobolev functions.
Let $(\cx,\,d,\,μ)$ be a metric measure space and satisfy the so-called upper doubling condition and the geometrically doubling condition. In this paper, the authors show that for the maximal Calderón-Zygmund operator associated with a singular integral whose kernel satisfies the standard size condition and the Hörmander condition, its $L^p(μ)$ boundedness with $p\in(1,\infty)$ is equivalent to its boundedness from $L^1(μ)$ into $L^{1,\infty}(μ)$. Moreover, applying this, together with a new Cotlar type inequality, the authors show that if the Calderón-Zygmund operator $T$ is bounded on $L^2(μ…
We prove that if the Hardy-Littlewood maximal operator is bounded on a separable Banach function space $X(\mathbb{R}^n)$ and on its associate space $X'(\mathbb{R}^n)$ and a maximally modulated Calderón-Zygmund singular integral operator $T^Φ$ is of weak type $(r,r)$ for all $r\in(1,\infty)$, then $T^Φ$ extends to a bounded operator on $X(\mathbb{R}^n)$. This theorem implies the boundedness of the maximally modulated Hilbert transform on variable Lebesgue spaces $L^{p(\cdot)}(\mathbb{R})$ under natural assumptions on the variable exponent $p:\mathbb{R}\to(1,\infty)$. Applications of the above r…
In this paper we establish $L^p$-boundedness properties for Laplace type transform spectral multipliers associated with the Schrödinger operator $\mathcal{L}=-Δ+V$. We obtain for this type of multipliers pointwise representation as principal value integral operators. We also characterize the UMD Banach spaces in terms of the $L^p$-boundedness of the imaginary powers $\mathcal{L}^{iγ}$, $γ\in \mathbb{R}$, of $\mathcal{L}$.
Let $\mathcal{E}(X,d,μ)$ be a Banach function space over a space of homogeneous type $(X,d,μ)$. We show that if the Hardy-Littlewood maximal operator $M$ is bounded on the space $\mathcal{E}(X,d,μ)$, then its boundedness on the associate space $\mathcal{E}'(X,d,μ)$ is equivalent to a certain condition $\mathcal{A}_\infty$. This result extends a theorem by Andrei Lerner from the Euclidean setting of $\mathbb{R}^n$ to the setting of spaces of homogeneous type.
Let $X$ be a ball quasi-Banach function space on ${\mathbb R}^n$ and $H_X({\mathbb R}^n)$ the Hardy space associated with $X$, and let $α\in(0,n)$ and $β\in(1,\infty)$. In this article, assuming that the (powered) Hardy--Littlewood maximal operator satisfies the Fefferman--Stein vector-valued maximal inequality on $X$ and is bounded on the associate space of $X$, the authors prove that the fractional integral $I_α$ can be extended to a bounded linear operator from $H_X({\mathbb R}^n)$ to $H_{X^β}({\mathbb R}^n)$ if and only if there exists a positive constant $C$ such that, for any ball $B\sub…
In this paper we study higher order Riesz transforms associated with the inverse Gaussian measure given by $π^{n/2}e^{|x|^2}dx$ on $\mathbb{R}^n$. We establish $L^p(\mathbb{R}^n,e^{|x|^2}dx)$-boundedness properties and obtain representations as principal values singular integrals for the higher order Riesz transforms. New characterizations of the Banach spaces having the UMD property by means of the Riesz transforms and imaginary powers of the operator involved in the inverse Gaussian setting are given.
We study the boundedness problem for maximal operators in 3-dimensional Euclidean space associated to hypersurfaces given as the graph of $c+f$, where $f$ is a mixed homogeneous function which is smooth away from the origin and $c$ is a constant. Our result generalizes a corresponding theorem on mixed homogeneous polynomial functions by A. Iosevich and E. Sawyer.
In this paper, the author studies the boundedness for a large class of sublinear operator $T_α, α\in[0,n)$ generated by Calder{ó}n-Zygmund operators ($α=0$) and generated by fractional integral operator ($α>0$) on generalized mixed Morrey spaces $M^φ_{\vec{q}}(\Bbb R^n)$. Moreover, the boundeness for the commutators of $T_α, α\in[0,n)$ on generalized mixed Morrey spaces $M^φ_{\vec{q}}(\Bbb R^n)$ is also studied. As applications, we obtain the boundedness for Hardy-Littlewood maximal operator, Calderón-Zygmund singular integral operators, fractional integral operator, fractional maximal operato…
Characterizations for multilinear fractional maximal and integral operators and their commutators on generalized weighted Morrey spaces and applications
The restricted maximal operators of partial sums with respect to bounded Vilenkin systems are investigated. We derive the maximal subspace of positive numbers, for which this operator is bounded from the Hardy space $%H_{p}$ to the Lebesgue space $L_{p}$ for all $0<p\leq 1.$ We also prove that the result is sharp in a particular sense.
We provide a new direct proof of the $\ell^2$-boundedness of the Discrete Spherical Maximal Function that neither relies on abstract transference theorems (and hence Stein's Spherical Maximal Function Theorem) nor on delicate asymptotics for the Fourier transform of discrete spheres.
Let $(S, d, ρ)$ be the affine group $\mathrm{R}^n \ltimes \mathrm{R}^+$ endowed with the left-invariant Riemannian metric $d$ and the right Haar measure $ρ$, which is of exponential growth at infinity. In this paper, for any linear operator $T$ on $(S, d, ρ)$ associated with a kernel $K$ satisfying certain integral size condition and Hörmander's condition, the authors prove that the following four statements regarding the corresponding maximal singular integral $T^\ast$ are equivalent: $T^\ast$ is bounded from $L_c^\infty$ to $\mathrm{BMO}$, $T^\ast$ is bounded on $L^p$ for all $p\in(1, \infty…
In this paper, for general plane curves $γ$ satisfying some suitable smoothness and curvature conditions, we obtain the single annulus $L^p(\mathbb{R}^2)$-boundedness of the Hilbert transforms $H^\infty_{U,γ}$ along the variable plane curves $(t,U(x_1, x_2)γ(t))$ and the $L^p(\mathbb{R}^2)$-boundedness of the corresponding maximal functions $M^\infty_{U,γ}$, where $p>2$ and $U$ is a measurable function. The range on $p$ is sharp. Furthermore, for $1<p\leq 2$, under the additional conditions that $U$ is Lipschitz and making a $\varepsilon_0$-truncation with $γ(2 \varepsilon_0)\leq 1/4\|U\|_{\te…
We characterize the space $BV(I)$ of functions of bounded variation on an arbitrary interval $I\subset \mathbb{R}$, in terms of a uniform boundedness condition satisfied by the local uncentered maximal operator $M_R$ from $BV(I)$ into the Sobolev space $W^{1,1}(I)$. By restriction, the corresponding characterization holds for $W^{1,1}(I)$. We also show that if $U$ is open in $\mathbb{R}^d, d >1$, then boundedness from $BV(U)$ into $W^{1,1}(U)$ fails for the local directional maximal operator $M_T^{v}$, the local strong maximal operator $M_T^S$, and the iterated local directional maximal operat…
Let $α\in{\Bbb R}$, $0<p<\infty$ and $X$ be a ball quasi-Banach function space on ${\Bbb R}^n$. In this article, we introduce the Herz-type space $\dot{K}^{α,p}_X({\Bbb R}^n)$ associated with $X$. We identify the dual space of $\dot{K}^{α,p}_X({\Bbb R}^n)$, by which the boundedness of Hardy-Littlewood maximal operator on $\dot{K}^{α,p}_X({\Bbb R}^n)$ is proved. By using the extrapolation theorem on ball quasi-Banach function spaces, we establish the extrapolation theorem on Herz-type spaces associated with ball quasi-Banach function spaces. Applying our extrapolation theorem, the boundedness o…
We obtain a necessary and sufficient condition on an exponent $p(\cdot)$ for which the Hardy--Littlewood maximal operator is bounded on the variable $L^{p(\cdot)}$ space. It is formulated in terms of the Muckenhoupt-type condition $A_{p(\cdot)}$, responsible for a local control of $p(\cdot)$, and a certain integral condition on $p(\cdot)$, responsible for the behaviour of $p(\cdot)$ at infinity. Our approach is based on an earlier characterization established by L. Diening and on non-increasing rearrangements.
A long standing conjecture for the linear Schroedinger equation states that 1/4 of derivative in $L^2$, in the sense of Sobolev spaces, suffices in any dimension for the solution to that equation to converge almost everywhere to the initial datum as the time goes to 0. This is only known to be true in dimension 1 by work of Carleson. In this paper we show that the conjecture is true on spherical averages. To be more precise, we prove the $L^2$ boundedness of the associated maximal square function on the Sobolev class $H^{1/4}(R^n)$ in any dimension n.
We introduce the notion of \textit{Perron capacity} of a set of slopes $Ω\subset \mathbb{R}$. Precisely, we prove that if the Perron capacity of $Ω$ is finite then the directional maximal operator associated $M_Ω$ is not bounded on $L^p(\mathbb{R}^2)$ for any $1 < p < \infty$. This allows us to prove that the set $$Ω_{ \boldsymbol{e}} =\left\{ \frac{\cos n}{n}: n\in \mathbb{N}^* \right\}$$ is not finitely lacunary which answers a question raised by A. Stokolos.
We establish the first pointwise ergodic theorems along thin sets of prime numbers; a set with zero density with respect to the primes. For instance we will be able to achieve this with the Piatetski-Shapiro primes. Our methods will be robust enough to solve the ternary Goldbach problem for some thin sets of primes.
We present new results on the two-weighted boundedness of singular integral operators and $L^p$ boundedness of the Orlicz maximal function. Namely, we extend a theorem of Pérez regarding the necessary and sufficient conditions for the boundedness of the Orlicz maximal function as well as give a new sufficient two-weighted boundedness assumption for Calderón-Zygmund singular integrals.
The aim of this paper is to study two-weight norm inequalities for fractional maximal functions and fractional Bergman operator defined on the upper-half space. Namely, we characterize those pairs of weights for which these maximal operators satisfy strong and weak type inequalities. Our characterizations are in terms of Sawyer and Békollé-Bonami type conditions. We also obtain a $Φ$-bump characterization for these maximal functions, where $Φ$ is a Orlicz function. As a consequence, we obtain two-weight norm inequalities for fractional Bergman operators. Finally, we provide some sharp weighted…
We introduce and study the median maximal function \mathcal{M} f, defined in the same manner as the classical Hardy-Littlewood maximal function, only replacing integral averages of f by medians throughout the definition. This change has a qualitative impact on the mapping properties of the maximal operator: in contrast with the Hardy-Littlewood operator, which is not bounded on L^1, we prove that \mathcal{M} is bounded on L^p(w) for all 0 < p < \infty, if and only if w \in A_{\infty}. The characterization is purely qualitative and does not give the dependence on [w]_{A_{\infty}}. However, the …
Results of P. Sjölin and F. Soria on the Schrödinger maximal operator with complex-valued time are improved by determining up to the endpoint the sharp $s \geq 0$ for which boundedness from the Sobolev space $H^s(\mathbb{R})$ into $L^2(\mathbb{R})$ occurs. Bounds are established for not only the Schrödinger maximal operator, but further for a general class of maximal operators corresponding to solution operators for certain dispersive PDEs. As a consequence of additional bounds on these maximal operators from $H^s(\mathbb{R})$ into $L^2([-1, 1])$, sharp results on the pointwise almost everywhe…
We improve the range of $\ell^p(\mathbb Z^d)$-boundedness of the integral $k$-spherical maximal functions introduced by Magyar. The previously best known bounds for the full $k$-spherical maximal function require the dimension $d$ to grow at least cubicly with the degree $k$. Combining ideas from our prior work with recent advances in the theory of Weyl sums by Bourgain, Demeter, and Guth and by Wooley, we reduce this cubic bound to a quadratic one. As an application, we deduce improved bounds in the ergodic Waring--Goldbach problem.
Given a space of homogeneous type we give sufficient conditions on a variable exponent {p(.)} so that the fractional maximal operator {M_η} maps {L^{p(.)}(X)} to {L^{q(.)}(X)}, where {1/p(.) - 1/q(.) = η}. In the endpoint case we also prove the corresponding weak type inequality. As an application we prove norm inequalities for the fractional integral operator {I_η}. Our proof for the fractional maximal operator uses the theory of dyadic cubes on spaces of homogeneous type, and even in the Euclidean setting it is simpler than existing proofs. For the fractional integral operator we extend a po…
Let $\mathcal{N}\mathcal{F}$ be the class of smooth non-flat curves near the origin and near infinity previously introduced by the second author and let $γ\in\mathcal{N}\mathcal{F}$. We show - via a unifying approach relative to the correspondent bilinear Hilbert transform $H_Γ$ - that the (sub)bilinear maximal function along curves $Γ=(t,-γ(t))$ defined as $$M_Γ(f,g)(x):=\sup\limits_{ε>0} \frac{1}{2ε} \int_{-ε}^ε |f(x-t)\,g(x+γ(t))|\,dt$$ is bounded from $L^p(\mathbb{R})\times L^{q}(\mathbb{R})\to L^r(\mathbb{R})$ for all $p, q$ and $r$ Hölder indices, that is $\frac{1}{p}+\frac{1}{q}=\frac{1…
We study weighted boundedness of Hardy-Littlewood-type maximal function involving Orlicz functions. We also obtain some sufficient conditions for the weighted boundedness of the Hardy-Littlewood maximal function of the upper-half plane.
We study $L^{p}\times L^{q}\rightarrow L^{r}$-boundedness of (sub)bilinear maximal functions associated with degenerate hypersurfaces. First, we obtain the maximal bound on the sharp range of exponents $p,q,r$ (except some border line cases) for the bilinear maximal functions given by the model surface $\big\{(y,z)\in\mathbb{R}^{n}\times \mathbb{R}^{n}:|y|^{l_{1}}+|z|^{l_{2}}=1\big\}$, $(l_{1},l_{2})\in [1,\infty)^2$, $n\ge 2$. Our result manifests that nonvanishing Gaussian curvature is not good enough, in contrast with $L^p$-boundedness of the (sub)linear maximal operator associated to hyper…
