We are interested in the question when a Banach space $X$ with an unconditional basis is isomorphic (as a Banach space) to an order-continuous nonatomic Banach lattice. We show that this is the case if and only if $X$ is isomorphic as a Banach space with $X(\ell_2)$. This and results of J. Bourgain are used to show that spaces $H_1(\bold T^n)$ are not isomorphic to nonatomic Banach lattices. We also show that tent spaces introduced in \cite{4} are isomorphic to Rad $H_1$.
Nonatomic bounded sequences in $\ell_1$, that is, those giving rise to nonatomic submeasures on $\mathbb N$ are introduced and shown to form a closed subspace nonat$(\ell_1)$ of $\ell_\infty(\ell_1)$, and some spaces of relevant operators in $\ell_1$ are considered.
The main goal of this paper is to prove a two-weight criteria for multidimensio-nal Hardy type operator from weighted Lebesgue spaces into $p$-convex weighted Banach function spaces. Analogously problem for the dual operator is considered. As application we prove a two-weight criteria for boundedness of multidimensional geometric mean operator and sufficient condition on the weights for boundedness of certain sublinear operator from weighted Lebesgue spaces into weighted Musielak-Orlicz spaces.
In this paper, we define for the first time the local Morrey-type space associated with ball quasi-Banach function spaces and show the related series of properties. In addition, Hardy-Littlewood maximal operator's boundedness is proved. We investigate nonsmooth decomposition of the local Morrey-type space associated with ball quasi-Banach function spaces via the Hardy local Morrey-type spaces associated with ball quasi-Banach function spaces. And we consider Hardy operator's boundedness.
We use new methods, specific of non-locally convex quasi-Banach spaces, to investigate when the quasi-greedy bases of a $p$-Banach space for $0<p<1$ are democratic. The novel techniques we obtain permit to show in particular that all quasi-greedy bases of the Hardy space $H_p(\mathbb{D})$ for $0<p<1$ are democratic while, in contrast, no quasi-greedy basis of $H_p(\mathbb{D}^d)$ for $d\ge 2$ is, solving thus a problem that was raised in [F. Albiac, J. L. Ansorena, and P. Wojtaszczyk, \textit{Quasi-greedy bases in $\ell_p$ ($0<p<1$) are democratic}, J. Funct. Anal. \textbf{280} (2021), no. 7, 1…
This paper investigates the concept of harmonic functions of bounded mean oscillation, starting from John-Nirenberg's pioneering studies, under a renewed formalism, suitable for bringing out some fundamental properties inherent in it. In more detail: after a quick introduction, the second Section presents the main theorem, plus complete proof, relating to this function; in the third Section there is a suggestion on the exponential integrability (theorem and sketch of proof), while the fourth Section deals with the duality of Hardy Space $H^1$ and bounded mean oscillation, with some ideas for a…
Let $Γ$ be a rectifiable Jordan curve, let $X$ and $Y$ be two reflexive Banach function spaces over $Γ$ such that the Cauchy singular integral operator $S$ is bounded on each of them, and let $M(X,Y)$ denote the space of pointwise multipliers from $X$ to $Y$. Consider the Riesz projection $P=(I+S)/2$, the corresponding Hardy type subspaces $PX$ and $PY$, and the Toeplitz operator $T(a):PX\to PY$ defined by $T(a)f=P(af)$ for a symbol $a\in M(X,Y)$. We show that if $X\hookrightarrow Y$ and $a\in M(X,Y)\setminus\{0\}$, then $T(a)\in\mathcal{L}(PX,PY)$ has a trivial kernel in $PX$ or a dense image…
The Hardy-Littlewood-Pólya inequality of majorization is extended to the framework of ordered Banach spaces. Several applications illustrating our main results are also included.
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.
Local Hardy Spaces Associated with Ball Quasi-Banach Function Spaces and Non-negative Self-adjoint Operators on Spaces of Homogeneous Type and Their Applications
Let $(X, Y)$ be a suitable couple of quasi-Banach lattices of measurable functions on $\mathbb T \times Ω$, and let $(X_A, Y_A)$ be the couple of the corresponding Hardy-type spaces. It has long been suspected that the BMO-regularity property of $(X, Y)$ is not only sufficient for the $\mathrm K$-closedness of $(X_A, Y_A)$ in $(X, Y)$ but also necessary. We establish the equivalence of these two properties for a general couple of Banach lattices having the Fatou property when $Ω$ is a discrete measurable space, and also for couples $(X, Y)$ where $X$ is allowed to be quasi-Banach but $Y$ is as…
We introduce a Banach rearrangement invariant (tail) quasy-norm by means of Hardy's (Cesaro) average on the (measurable) functions defined on some measurable space which is a slight generalization of classical Lorentz-Marcinkiewicz norm and find for it an equivalent norm expression.
Let $\{F_n\}$ be the sequence of the Fejér kernels on the unit circle $\mathbb{T}$. The first author recently proved that if $X$ is a separable Banach function space on $\mathbb{T}$ such that the Hardy-Littlewood maximal operator $M$ is bounded on its associate space $X'$, then $\|f*F_n-f\|_X\to 0$ for every $f\in X$ as $n\to\infty$. This implies that the set of analytic polynomials $\mathcal{P}_A$ is dense in the abstract Hardy space $H[X]$ built upon a separable Banach function space $X$ such that $M$ is bounded on $X'$. In this note we show that there exists a separable weighted $L^1$ space…
We describe the spectrum of weighted $d$-isomorphisms of Banach lattices restricted on closed subspaces that are "rich" enough to preserve some "memory" of the order structure of the original lattice. The examples include (but are not limited to) weighted isometries of Hardy spaces on the polydisk and unit ball in $\mathds{C}^n$.
Let $L$ be a homogeneous divergence form higher order elliptic operator with complex bounded measurable coefficients on $\mathbb{R}^n$ and $X$ a ball quasi-Banach function space on $\mathbb{R}^n$ satisfying some mild assumptions. Denote by $H_{X,\, L}(\mathbb{R}^n)$ the Hardy space, associated with both $L$ and $X$, which is defined via the Lusin area function related to the semigroup generated by $L$. In this article, the authors establish both the maximal function and the Riesz transform characterizations of $H_{X,\, L}(\mathbb{R}^n)$. The results obtained in this article have a wide range o…
Let $X$ be a ball quasi-Banach function space satisfying some mild assumptions and $H_X(\mathbb{R}^n)$ the Hardy space associated with $X$. In this article, the authors introduce both the Hardy space $H_X(\mathbb{R}^{n+1}_+)$ of harmonic functions and the Hardy space $\mathbb{H}_X(\mathbb{R}^{n+1}_+)$ of harmonic vectors, associated with $X$, and then establish the isomorphisms among $H_X(\mathbb{R}^n)$, $H_{X,2}(\mathbb{R}^{n+1}_+)$, and $\mathbb{H}_{X,2}(\mathbb{R}^{n+1}_+)$, where $H_{X,2}(\mathbb{R}^{n+1}_+)$ and $\mathbb{H}_{X,2}(\mathbb{R}^{n+1}_+)$ are, respectively, certain subspaces o…
We obtain a pointwise description of functions belonging to function spaces with the lattice property. In particular, it is valid for Banach function spaces provided that the Hardy-Littlewood maximal operator is bounded. We also study weighted grand Sobolev spaces, defined on arbitrary open sets (of finite or infinite measure), and provide pointwise description of them.
The Bohr-Bohnenblust-Hille Theorem states that the width of the strip in the complex plane on which an ordinary Dirichlet series $\sum_n a_n n^{-s}$ converges uniformly but not absolutely is less than or equal to 1/2, and this estimate is optimal. Equivalently, the supremum of the absolute convergence abscissas of all Dirichlet series in the Hardy space $\mathcal{H}_\infty$ equals 1/2. By a surprising fact of Bayart the same result holds true if $\mathcal{H}_\infty$ is replaced by any Hardy space $\mathcal{H}_p$, $1 \le p < \infty$, of Dirichlet series. For Dirichlet series with coefficients i…
Sahni and Singh settled a problem posed by Yousefi & Hesameddini by generalizing their main result with a simple proof in the setting of sub-Hilbert spaces in $H^2(T)$. In this paper, we extend the main result of Sahni and Singh to the setting of the Banach spaces $H^p$, $1\le p\le\infty$ on the circle and the torus.
Let $X$ be a ball quasi-Banach function space satisfying some minor assumptions. In this article, the authors establish the characterizations of $H_X(\mathbb{R}^n)$, the Hardy space associated with $X$, via the Littlewood--Paley $g$-functions and $g_λ^\ast$-functions. Moreover, the authors obtain the boundedness of Calderón--Zygmund operators on $H_X(\mathbb{R}^n)$. For the local Hardy-type space $h_X(\mathbb{R}^n)$ associated with $X$, the authors also obtain the boundedness of $S^0_{1,0}(\mathbb{R}^n)$ pseudo-differential operators on $h_X(\mathbb{R}^n)$ via first establishing the atomic cha…
Under Jensen's diamond principle $\diamondsuit$, we construct a simple Efimov space $K$ whose space of nonatomic probability measures $P_{na}(K)$ is first-countable and sequentially compact. These two properties of $P_{na}(K)$ imply that the space of probability measures $P(K)$ on $K$ is selectively sequentially pseudocompact and the Banach space $C(K)$ of continuous functions on $K$ has the Gelfand-Phillips property. We show also that any sequence of probability measures on $K$ that converges to an atomic measure converges in norm, and any sequence of probability measures on $K$ converging to…
We give an alternative proof of recent results by the authors on uniform boundedness of dyadic averaging operators in (quasi-)Banach spaces of Hardy-Sobolev and Triebel-Lizorkin type. This result served as the main tool to establish Schauder basis properties of suitable enumerations of the univariate Haar system in the mentioned spaces. The rather elementary proof here is based on characterizations of the respective spaces in terms of orthogonal compactly supported Daubechies wavelets.
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…
We study Fourier convolution operators $W^0(a)$ with symbols equivalent to zero at infinity on a separable Banach function space $X(\mathbb{R})$ such that the Hardy-Littlewood maximal operator is bounded on $X(\mathbb{R})$ and on its associate space $X'(\mathbb{R})$. We show that the limit operators of $W^0(a)$ are all equal to zero.
Let $s_{n}(T)$ denote the $n$th approximation, isomorphism, Gelfand, Kolmogorov or Bernstein number of the Hardy-type integral operator $T$ given by $$ Tf(x)=v(x)\int_{a}^{x}u(t)f(t)dt,\,\,\,x\in(a,b)\,\,(-\infty<a<b<+\infty) $$ and mapping a Banach function space $E$ to itself. We investigate some geometrical properties of $E$ for which $$ C_{1}\int_{a}^{b}u(x)v(x)dx \leq\limsup\limits_{n\rightarrow\infty}ns_{n}(T) \leq \limsup\limits_{n\rightarrow\infty}ns_{n}(T)\leq C_{2}\int_{a}^{b}u(x)v(x)dx $$ under appropriate conditions on $u$ and $v.$ The constants $C_{1},C_{2}>0$ depend only on the s…
Analytic functions defined on a tube domain $T^{C}\subset \mathbb{C}^{n}$ and taking values in a Banach space $X$ which are known to have $X$-valued distributional boundary values are shown to be in the Hardy space $H^{p}(T^{C},X)$ if the boundary value is in the vector valued Lebesgue space $L^{p}(\mathbb{R}^{n},X)$, where $1\leq p \leq \infty$ and $C$ is a regular open convex cone. Poisson integral transform representations of elements of $H^{p}(T^{C}, X)$ are also obtained for certain classes of Banach spaces, including reflexive Banach spaces.
We introduce a decreasing one-parameter family $\mathfrak{X}^γ(M)$, $γ>0$, of Banach subspaces of the Hardy-Goldberg space $\mathfrak{h}^1(M)$ on certain nondoubling Riemannian manifolds with bounded geometry and we investigate their properties. In particular, we prove that $\mathfrak{X}^{1/2}(M)$ agrees with the space of all functions in $\mathfrak{h}^1(M)$ whose Riesz transform is in $L^1(M)$, and we obtain the surprising result that this space does not admit an atomic decomposition.
The object of this paper is to prove a version of the Beurling-Helson-Lowdenslager invariant subspace theorem for operators on certain Banach spaces of functions on a multiply connected domain in the complex plane. The norms for these spaces are either the usual Lebesgue and Hardy space norms or certain continuous gauge norms. In the Hardy space case the expected corollaries include the characterization of the cyclic vectors as the outer functions in this context, a demonstration that the set of analytic multiplication operators is maximal abelian and reflexive, and a determination of the clos…
Let $H(\mathbb{D})$ be the linear space of all analytic functions on the open unit disc $\mathbb{D}$ and $H^p(\mathbb{D})$ the Hardy space on $\mathbb{D}$. The characterization of complex linear isometries on $\mathcal{S}^p=\{f\in H(\mathbb{D}):f'\in H^p(\mathbb{D})\}$ was given for $1\leq p<\infty$ by Novinger and Oberlin in 1985. Here, we characterize surjective, not necessarily linear, isometries on $\mathcal{S}^\infty$.
In this work we study the vector-valued Hardy spaces H p (D; F) (1 \leq p \leq \infty) and their relationship with RNP, ARNP and the UMDP properties. By following the approach of Taylor in the scalar-valued case, we prove that, when F and F have the ARNP property, then H p (D; F) and H q (D; F) are canonically topologically isomorphic (for p, q \in (1, \infty) conjugate indices) if and only if F has the UMDP.
We describe the spaces $H^1(R)$ and BMO$(R)$ in terms of their closely related, simpler dyadic and two-sided counterparts. As a result of these characterizations we establish when a bounded linear operator defined on dyadic or two-sided $H^1(R)$ into a Banach space has a continuous extension to $H^1(R)$ and when a bounded linear operator that maps a Banach space into dyadic or two-sided BMO$(R)$ actually maps continuously into BMO$(R)$.
In this paper we study some basic properties of bicomplex linear operators on bicomplex Hilbert spaces. Further we discuss some applications of Hahn-Banach theorem on bicomplex Banach modules. We also introduce and discuss some bicomplex holomorphic function spaces and prove Littlewood's Subordination principle for bicomplex Hardy space.
Let $H[X]$ and $H[Y]$ be abstract Hardy spaces built upon Banach function spaces $X$ and $Y$ over the unit circle $\mathbb{T}$. We prove an analogue of the Brown-Halmos theorem for Toeplitz operators $T_a$ acting from $H[X]$ to $H[Y]$ under the only assumption that the space $X$ is separable and the Riesz projection $P$ is bounded on the space $Y$. We specify our results to the case of variable Lebesgue spaces $X=L^{p(\cdot)}$ and $Y=L^{q(\cdot)}$ and to the case of Lorentz spaces $X=Y=L^{p,q}(w)$, $1<p<\infty$, $1\le q<\infty$ with Muckenhoupt weights $w\in A_p(\mathbb{T})$.
Let $X(\mathbb{R})$ be a separable Banach function space such that the Hardy-Littlewood maximal operator $M$ is bounded on $X(\mathbb{R})$ and on its associate space $X'(\mathbb{R})$. Suppose $a$ is a Fourier multiplier on the space $X(\mathbb{R})$. We show that the Fourier convolution operator $W^0(a)$ with symbol $a$ is compact on the space $X(\mathbb{R})$ if and only if $a=0$. This result implies that nontrivial Fourier convolution operators on Lebesgue spaces with Muckenhoupt weights are never compact.
Let $L$ be a linear operator in $L^2({{\mathbb R}^n})$ and generate an analytic semigroup $\{e^{-tL}\}_{t\ge 0}$ with kernels satisfying an upper bound of Poisson type, whose decay is measured by $θ(L)\in (0,\infty].$ Let $ω$ on $(0,\infty)$ be of upper type 1 and of critical lower type $\widetilde p_0(ω)\in (n/(n+θ(L)), 1]$ and $ρ(t)={t^{-1}}/ω^{-1}(t^{-1})$ for $t\in (0,\infty)$. In this paper, the authors first introduce the VMO-type space $\mathrm{VMO}_{ρ,L}({\mathbb R}^n)$ and the tent space $T^{\infty}_{ω,\mathrm v}({\mathbb R}^{n+1}_+)$ and characterize the space $\mathrm{VMO}_{ρ,L}({\m…
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…
Let $X$ be a ball quasi-Banach function space on ${\mathbb R}^n$. In this article, assuming that the powered Hardy--Littlewood maximal operator satisfies some Fefferman--Stein vector-valued maximal inequality on $X$ and is bounded on the associated space, the authors establish various Littlewood--Paley function characterizations of the Hardy space $H_X({\mathbb R}^n)$ associated with $X$, under some weak assumptions on the Littlewood--Paley functions. To this end, the authors also establish a useful estimate on the change of angles in tent spaces associated with $X$. All these results have wid…
Let $X$ be a ball quasi-Banach function space on ${\mathbb R}^n$. In this article, 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 establish various Littlewood--Paley function characterizations of $WH_X({\mathbb R}^n)$ under some weak assumptions on the Littlewood--Paley functions. The authors also prove that the real interpolation intermediate space $(H_{X}({\mathbb R}^n),L^\infty({\mathbb R}^…
Let $(X, Y)$ be a couple of quasi-Banach lattices of measurable functions on $\mathbb T \times Ω$ satisfying some additional assumptions. The K-closedness of a couple of Hardy-type spaces $(X_A, Y_A)$ in $(X, Y)$ and the stability of the real interpolation $(X_A, Y_A)_{θ, p} = (X_A + Y_A) \cap (X, Y)_{θ, p}$ are shown to be equivalent to each other and to the BMO-regularity of the associated lattices $\left(L_1, \left(X^r\right)' Y^r\right)_{δ, q}$. The inclusion $\left(X^{1 - θ} Y^θ\right)_A \subset \left(X_A, Y_A \right)_{θ, \infty}$ is also characterized in these therms. New examples of cou…
Let $({\mathcal X},ρ,μ)$ be a space of homogeneous type in the sense of Coifman and Weiss, and $Y({\mathcal X})$ a ball quasi-Banach function space on ${\mathcal X}$, which supports a Fefferman--Stein vector-valued maximal inequality, and the boundedness of the powered Hardy--Littlewood maximal operator on its associate space. The authors first introduce the Hardy space $H_{Y}^*({\mathcal X})$, associated with $Y({\mathcal X})$, via the grand maximal function, and then establish its various real-variable characterizations, respectively, in terms of radial or non-tangential maximal functions, a…
