We consider the problem of complex interpolation of certain Hardy-type subspaces of Köthe function spaces. For example, suppose $X_0$ and $X_1$ are Köthe function spaces on the unit circle $\bold T,$ and let $H_{X_0}$ and $H_{X_1}$ be the corresponding Hardy spaces. Under mild conditions on $X_0,X_1$ we give a necessary and sufficient condition for the complex interpolation space $[H_{X_0},H_{X_1}]_θ$ to coincide with $H_{X_θ}$ where $X_θ=[X_0,X_1]_θ.$ We develop a very general framework for such results and our methods apply to many more general sitauations including the vector-valued case.
The real and complex interpolation spaces for the classical Hardy spaces $H^1$ and $H^\infty$ were determined in 1983 by P.W. Jones. Due to the analytic constraints the associated Marcinkiewicz decomposition gives rise to a delicate approximation problem for the $L^ 1$ metric. Specifically for $ f \in H^p$ the size of $$ {\rm{inf}} \{ \| f - f_1 \| _1 \,:\, f_1 \in H^\infty ,\, \|f_1\|_\infty \le λ\}$$ needs to be determined for any $ λ>0 $. In the present paper we develop a new set of truncation formulae for obtaining the Marcinkiewicz decomposition of $(H^1, H^\infty) $. We revisit the real …
We introduce connections between the Cuntz relations and the Hardy space H_2 of the open unit disk . We then use them to solve a new kind of multipoint interpolation problem in H_2, where for instance, only a linear combination of the values of a function at given points is preassigned, rather than the values at the points themselves. We also consider the case of de Branges-Rovnyak spaces.
In this article, we characterize nearly invariant subspaces of finite defect for the backward shift operator acting on the vector-valued Hardy space which is a vectorial generalization of a result of Chalendar-Gallardo-Partington (C-G-P). Using this characterization of nearly invariant subspace under the backward shift we completely describe the almost invariant subspaces for the shift and its adjoint acting on the vector valued Hardy space.
We studied complex interpolation noncommutative Hardy space associated with semi-finite von Neumann algebra and extend Pisier's interpolation theorem for this case.
We prove that atomic decomposition for the Hardy spaces h_1 and H_1 is valid for noncommutative martingales. We also establish that the conditioned Hardy spaces of noncommutative martingales h_p and bmo form interpolation scales with respect to both complex and real interpolations.
The purpose of this work is to describe an abstract theory of Hardy-Sobolev spaces on doubling Riemannian manifolds via an atomic decomposition. We study the real interpolation of these spaces with Sobolev spaces and finally give applications to Riesz inequalities.
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…
This paper can be considered as the sequel of [6], where the authors have proposed an abstract construction of Hardy spaces H^1. They shew an interpolation result for these Hardy spaces with the Lebesgue spaces. Here we describe a more precise result using the real interpolation theory and we clarify the use of Hardy spaces. Then with the help of the bilinear interpolation theory, we then give applications to study bilinear operators on Lebesgue spaces. These ideas permit us to study singular operators with singularities similar to those of bilinear Calderon-Zygmund operators in a far more abs…
Given a finite set $σ$ of the unit disc $\mathbb{D}$ and a holomorphic function $f$ in $\mathbb{D}$ which belongs to a class $X$ we are looking for a function $g$ in another class $Y$ which minimizes the norm $|g|_{Y}$ among all functions $g$ such that $g_{|σ}=f_{|σ}$. Generally speaking, the interpolation constant considered is $c(σ,\, X,\, Y)={sup}{}_{f\in X,\,\parallel f\parallel_{X}\leq1}{inf}\{|g|_{Y}:\, g_{|σ}=f_{|σ}\} \,.$ When $Y=H^{\infty}$, our interpolation problem includes those of Nevanlinna-Pick (1916), Caratheodory-Schur (1908). Moreover, Carleson's free interpolation (1958) has…
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…
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…
Let $\{T(t)\}_{t\geq0}$ be a $C_0$-semigroup on an infinite dimensional separable Hilbert space; a suitable definition of near $\{T(t)^*\}_{t\geq0}$ invariance of a subspace is presented in this paper. A series of prototypical examples for minimal nearly $\{S(t)^*\}_{t\geq0}$ invariant subspaces for the shift semigroup $\{S(t)\}_{t\geq0}$ on $L^2(0,\infty)$ are demonstrated, which have close links with nearly $T_θ^*$ invariance on Hardy spaces of the unit disk for Toeplitz operators associated with an inner function $θ$. Especially, the corresponding subspaces on Hardy spaces of the right half…
This paper has been withdrawn by the author becouse the conjecture presented in this paper is false. The correct study of metrics in interpolation spaces for and applcation to nonharmonic Fourier series will be published in S.Petersburg Math. J. jointly with N. Kalton.
We consider the invariant subspace of composition operators on Hardy space $H^p$ where the composition operators corresponding to a function $φ$ that is a holomorphic self-map of $\mathbb D$. Firstly, we discuss composition operators $C_φ$ on subspace $H_{α,β}^p$ of Hardy space $H^p$. We will explore the invariant subspaces for $C_φ$ in various special cases. Secondly, we consider Beurling type invariant subspace for $C_φ$. When $θ$ is a inner function, we prove that $θH^p$ is invariant for $C_φ$ if and only if $\displaystyle{\frac{θ\circφ}θ}$ belongs to $\mathcal S(\mathbb D)$. Thirdly, we ob…
Recently, Liang and Partington \cite{YP} show that kernels of finite-rank perturbations of Toeplitz operators are nearly invariant with finite defect under the backward shift operator acting on the scalar-valued Hardy space. In this article we provide a vectorial generalization of a result of Liang and Partington. As an immediate application we identify the kernel of perturbed Toeplitz operator in terms of backward shift-invariant subspaces in various important cases by applying the recent theorem (\cite{CDP, OR}) in connection with nearly invariant subspaces of finite defect for the backward …
We study multipliers of Hardy-Orlicz spaces $\mH_Φ$ which are strictly contained between $\bigcup_{p>0}H^p$ and so-called ``big'' Hardy-Orlicz spaces. Big Hardy-Orlicz spaces, carrying an algebraic structure, are equal to their multiplier algebra, whereas in classical Hardy spaces $H^p$, the multipliers reduce to $H^{\infty}$. For Hardy-Orlicz spaces $\mH_Φ$ between these two extremal situations and subject to some conditions, we exhibit multipliers that are in Hardy-Orlicz spaces the defining functions of which are related to $Φ$. Even if the results do not entirely characterize the multiplie…
We consider subspaces of Morrey spaces defined in terms of various vanishing properties of functions. Such subspaces were recently used to describe the closure of $C_0^\infty(\mathbb{R}^n)$ in Morrey norm. We show that these subspaces are invariant with respect to some classical operators of harmonic analysis, such as the Hardy-Littlewood maximal operator, singular type operators and Hardy operators. We also show that the vanishing properties defining those subspaces are preserved under the action of Riesz potential operators and fractional maximal operators.
We study embeddings of model (star-invariant) subspaces $K^p_Θ$ of the Hardy space $H^p$, associated with an inner function $Θ$. We obtain a criterion for the compactness of the embedding of $K^p_Θ$ into $L^p(μ)$ analogous to the Volberg--Treil theorem on bounded embeddings and answer a question posed by Cima and Matheson. The proof is based on Bernstein inequalities for functions in $K^p_Θ$. Also we study measures $μ$ such that the embedding operator belongs to a Schatten--von Neumann ideal.
If Z is a quotient of a subspace of a separable Banach space X, and V is any separable Banach space, then there is a Banach couple (A_0,A_1) such that A_0 and A_1 are isometric to $X\oplus V$, and any intermediate space obtained using the real or complex interpolation method contains a complemented subspace isomorphic to Z. Thus many properties of Banach spaces, including having non-trivial cotype, having the Radon-Nikodym property, and having the analytic unconditional martingale difference sequence property, do not pass to intermediate spaces.
The Invariant Subspace Problem (ISP) for Hilbert spaces asks if every bounded linear operator has a non-trivial closed invariant subspace. Due to the existence of universal operators (in the sense of Rota), the ISP may be solved by describing the invariant subspaces of these operators alone. We characterize all anaytic Toeplitz operators $T_ϕ$ on the Hardy space $H^2(\mathbb{D}^n)$ over the polydisk $\mathbb{D}^n$ for $n>1$ whose adjoints satisfy the Caradus criterion for universality, that is, when $T_ϕ^*$ is surjective and has infinite dimensional kernel. In particular if $ϕ$ in a non-consta…
We introduce abstract net spaces on directed sets and prove their embedding and interpolation properties. Typical examples of interest are lattices of irreducible unitary representations of compact Lie groups and of class I representations with respect to a subgroup. As an application, we prove Hardy-Littlewood type inequalities and their converses on compact Lie groups and on compact homogeneous manifolds.
We consider an infinite homogeneous tree V endowed with the usual metric d defined on graphs and a weighted measure μ. The metric measure space V,d,μ) is nondoubling and of exponential growth, hence the classical theory of Hardy spaces does not apply in this setting. We construct an atomic Hardy space H^1 on (V,d,μ) and investigate some of its properties, focusing in particular on real interpolation properties and on boundedness of singular integrals on H^1.
Let $\mathcal{M}$ be a semifinite von Nemann algebra equipped with an increasing filtration $(\mathcal{M}_n)_{n\geq 1}$ of (semifinite) von Neumann subalgebras of $\M$. For $0<p \leq\infty$, let $\h_p^c(\mathcal{M})$ denote the noncommutative column conditioned martingale Hardy space associated with the filtration $(\mathcal{M}_n)_{n\geq 1}$ and the index $p$. We prove that for $0<p<\infty$, the compatible couple $\big(\h_p^c(\mathcal{M}), \h_\infty^c(\mathcal{M})\big)$ is $K$-closed in the couple $\big(L_p(\mathcal{N}), L_\infty(\mathcal{N}) \big)$ for an appropriate amplified semifinite von …
Given a function in the Hardy space of inner harmonic gradients on the sphere, H+(S), we consider the problem of finding a corresponding function in the Hardy space of outer harmonic gradients on the sphere, H-(S), such that the sum of both functions differs from a locally supported vector field only by a tangential divergence-free contribution. We characterize the subspace of H+(S) that allows such a continuation and show that it is dense but not closed within H+(S). Furthermore, we derive the linear mapping that maps a vector field from this subspace of H+(S) to the corresponding unique vect…
Let $p(\cdot):\ \mathbb R^n\to(0,\infty)$ be a variable exponent function satisfying the globally log-Hölder continuous condition, $q\in(0,\infty]$ and $A$ be a general expansive matrix on $\mathbb{R}^n$. In this article, the authors first introduce the anisotropic variable Hardy-Lorentz space $H_A^{p(\cdot),q}(\mathbb R^n)$ associated with $A$, via the radial grand maximal function, and then establish its radial or non-tangential maximal function characterizations. Moreover, the authors also obtain characterizations of $H_A^{p(\cdot),q}(\mathbb R^n)$, respectively, in terms of the atom and th…
This paper is devoted to the interpolation principle between spaces of weak type. We characterise interpolation spaces between two Marcinkiewicz spaces in terms of Hardy type operators involving suprema. We study general properties of such operators and their behavior on Lorentz gamma spaces. A particular emphasis is placed on elementary and comprehensive proofs.
We prove a Bernstein-type inequality involving the Bergman and the Hardy norms, for rational functions in the unit disc \mathbb{D} having at most n poles all outside of \frac{1}{r}\mathbb{D}, 0
Let $G$ be a bounded open subset in the complex plane and let $H^{2}(G)$ denote the Hardy space on $G$. We call a bounded simply connected domain $W$ perfectly connected if the boundary value function of the inverse of the Riemann map from $W$ onto the unit disk $D$ is almost 1-1 rwith respect to the Lebesgure on $\partial D$ and if the Riemann map belongs to the weak-star closure of the polynomials in $H^{\infty}(W)$. Our main theorem states: In order that for each $M\in Lat(M_{z})$, there exist $u\in H^{\infty}(G)$ such that $ M = \vee\{u H^{2}(G)\}$, it is necessary and sufficient that the …
It is shown how any contractive multiplier from the Hardy space to a weighted Hardy space $H^{2}_{\bbeta}$ can be factored as a fixed factor composed with the classical Schur multiplier (contractive multiplier between Hardy spaces). The result is applied to get results on interpolation for a Hardy-to-weighted-Hardy contractive multiplier class.
Let $\mathcal{W}$ be the corresponding wandering subspace of an invariant subspace of the Bergman shift. By identifying the Bergman space with $H^2(\mathbb{D}^2)\ominus[z-w]$, a sufficient and necessary conditions of a closed subspace of $H^2(\mathbb{D}^2)\ominus[z-w]$ to be a wandering subspace of an invariant subspace is given also, and a functional charaterization and a coefficient characterization for a function in a wandering subspace are given. As a byproduct, we proved that for two invariant subspaces $\mathcal{M}$, $\mathcal{N}$ with $\mathcal{M}\supsetneq\mathcal{N}$ and $dim(\mathcal…
We obtain new variants of weighted Gagliardo-Nirenberg interpolation inequalities in Orlicz spaces, as a consequence of weighted Hardy-type inequalities. The weights we consider need not be doubling.
In this paper we study Hardy spaces associated with non-negative self-adjoint operators and develop their vector-valued theory. The complex interpolation scales of vector-valued tent spaces and Hardy spaces are extended to the endpoint p=1. The holomorphic functional calculus of L is also shown to be bounded on the associated Hardy space H^1_L(X). These results, along with the atomic decomposition for the aforementioned space, rely on boundedness of certain integral operators on the tent space T^1(X).
We give precise conditions under which the real interpolation space [Y_0,X_1]_{s,p} coincides with a closed subspace of the corresponding interpolation space [X_0,X_1]_{s,p} when Y_0 is a closed subspace of X_0 of codimension one. This result is applied to study the basis properties of nonharmonic Fourier series in Sobolev spaces H^s on an interval when 0<s<1. The main result: let E be a family of exponentials exp(i λ_n t) and E forms an unconditional basis in L^2 on an interval. Then there exist two number s_0, s_1 such that E forms an unconditional basis in H^s for s<s_0, E forms an uncondit…
Let $p(\cdot):\ \mathbb R^n\to(0,\infty)$ be a variable exponent function satisfying the globally log-Hölder continuous condition. In this article, the authors first obtain a decomposition for any distribution of the variable weak Hardy space into "good" and "bad" parts and then prove the following real interpolation theorem between the variable Hardy space $H^{p(\cdot)}(\mathbb R^n)$ and the space $L^{\infty}(\mathbb R^n)$: \begin{equation*} (H^{p(\cdot)}(\mathbb R^n),L^{\infty}(\mathbb R^n))_{θ,\infty} =W\!H^{p(\cdot)/(1-θ)}(\mathbb R^n),\quad θ\in(0,1), \end{equation*} where $W\!H^{p(\cdot)…
Let $\mathcal{M}$ be a semifinite von Nemann algebra equipped with an increasing filtration $(\mathcal{M}_n)_{n\geq 1}$ of (semifinite) von Neumann subalgebras of $\mathcal{M}$. For $0<p <\infty$, let $\mathsf{h}_p^c(\mathcal{M})$ denote the noncommutative column conditioned martingale Hardy space and $\bmo^c(\M)$ denote the column \lq\lq little\rq\rq \ martingale BMO space associated with the filtration $(\mathcal{M}_n)_{n\geq 1}$. We prove the following real interpolation identity: if $0<p <\infty$ and $0<θ<1$, then for $1/r=(1-θ)/p$, \[ \big(\mathsf{h}_p^c(\mathcal{M}), \bmo^c(\mathcal{M})\…
This paper deals with representing in concrete fashion those Hilbert spaces that are vector subspaces of the Hardy spaces $H^p(\bb D^n) \ (1\le p\le \infty)$ that remain invariant under the action of coordinate wise multiplication by an $n$-tuple $(T_{B_1},\dots, T_{B_n})$ of operators where each $B_i, \ 1\le i\le n,$ is a finite Blaschke factor on the open unit disc. The critical point to be noted is that these $T_{B_i}$ are assumed to be weaker than isometries as operators. Thus our main theorem extends the principal result of \cite{LS} in the following three directions: $(i)$ from one to se…
It is known that (i) a subspace ${\mathcal N}$ of the Hardy space $H^2$ which is invariant under the backward shift operator can be represented as the range of the observability operator of a conservative discrete-time linear system, (ii) the transfer-function of this conservative linear system in turn is the inner Beurling-Lax representer for the forward-shift invariant subspace ${\mathcal M} : = {\mathcal N}^\perp$, and (iii) this transfer function also serves as the Sz.-Nagy-Foias characteristic function of the pure contraction operator $T$ given by $T = P_{\mathcal N} M_z |_{\mathcal N}$. …
Recent results of A. Lerner concerning certain properties of the Fefferman-Stein maximal function are applied to show that $(\BMO, X)_θ= X^θ$, $0 < θ< 1$, for a Banach lattice $X$ of measurable functions on $\mathbb R^n$ satisfying the Fatou property such that $X$ has order continuous norm and the Hardy-Littlewood maximal operator $M$ is bounded in $(X^α)'$ for some $0 < α\leqslant 1$.
