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.
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).
The note shows that the operator-valued Hardy space $\sH^1$ introduced via Littlewood-Paley $g$-function coincides with the space of $H^1_R(\T, \sL^1)$ of all Bochner integrable operator-valued functions with integrable analytic part. The proof is based on the noncommutative maximal inequality for Poisson group.
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 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.
This paper gives a systematic study of operator-valued local Hardy spaces. These spaces are localizations of the Hardy spaces defined by Tao Mei, and share many properties with Mei's Hardy spaces. We prove the ${\rm h}_1$-$\rm bmo$ duality, as well as the ${\rm h}_p$-${\rm h}_q$ duality for any conjugate pair $(p,q)$ when $1<p< \infty$. We show that ${\rm h}_1(\mathbb{R}^d, \mathcal M)$ and ${\rm bmo}(\mathbb{R}^d, \mathcal M)$ are also good endpoints of $L_p(L_\infty(\mathbb{R}^d) \overline{\otimes} \mathcal M)$ for interpolation. We obtain the local version of Calderón-Zygmund theory, and th…
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…
We are concerned with Hardy and BMO spaces of operator-valued functions analytic in the unit disk of $\mathbb{C}.$ In the case of the Hardy space, we involve the atomic decomposition since the usual argument in the scalar setting is not suitable. Several properties (the Garsia-norm equivalent theorem, Carleson measure, and so on) of BMOA spaces are extended to the operator-valued setting. Then, the operator-valued $\mathrm{H}^1$-BMOA duality theorem is proved. Finally, by the $\mathrm{H}^1$-BMOA duality we present the Lusin area integral and Littlewood-Paley $g$-function characterizations of t…
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 is devoted to the study of operator-valued Hardy spaces via wavelet method. This approach is parallel to that in noncommutative martingale case. We show that our Hardy spaces defined by wavelet coincide with those introduced by Tao Mei via the usual Lusin and Littlewood-Paley square functions. As a consequence, we give an explicit complete unconditional basis of the Hardy space H1(R) when H1(R) is equipped with an appropriate operator space structure.
We prove Davis decompositions for vector valued Hardy martingales and illustrate their use. This paper continues our previous work on Davis and Garsia inequalities for scalar Hardy martingales.
This paper deals with the operator-valued Hardy spaces introduced and studied by Tao Mei. Our principal result shows that the Poisson kernel in Mei's definition of these spaces can be replaced by any reasonable test function. As an application, we get a general characterization of Hardy spaces on quantum tori. The latter characterization plays a key role in our recent study of Triebel-Lizorkin spaces on quantum tori.
In this article, we introduce a new class of conjugations in the scalar valued Hardy space $H^2_{\mathbb{C}}(\mathbb{D})$ and provide a characterization of a complex symmetric Toeplitz operator $T_ϕ$ with respect to these newly introduced conjugations in various cases. Moreover, we obtain a characterization of a complex symmetric block Toeplitz operator $T_Φ$ on the vector valued Hardy space $\hdct$ with respect to certain conjugations introduced in \cite{CamaGP,KangKoLee,LeeKo2019}.
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…
In this paper, a new two-dimensional Hardy type inequality is given in terms of pseudo-analysis dealing with set-valued functions. The first one is given for a pseudo-integral of set-valued function where pseudo-addition and pseudo-multiplication are constructed by a monotone continuous function $g:[0, \infty ]\to[0, \infty]$. Another is given by the semiring $([0, 1], \max, \odot)$ where pseudo-multiplication is generated by an increasing continuous function.
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.
In this article, Fefferman-Stein inequalities in $L^p(\mathbb R^d;\ell^q)$ withbounds independent of the dimension $d$ are proved, for all $1 \textless{} p, q \textless{} + \infty.$This result generalizes in a vector-valued setting the famous one by Steinfor the standard Hardy-Littlewood maximal operator. We then extendour result by replacing $\ell^q$ with an arbitrary UMD Banach lattice. Finally,we prove similar dimensionless inequalities in the setting of the Grushinoperators.
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.
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…
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.
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…
Given a Banach space $X$ and $1 \leq p \leq \infty$, it is well known that the two Hardy spaces $H_p(\mathbb{T},X)$ ($\mathbb{T}$ the torus) and $H_p(\mathbb{D},X)$ ($\mathbb{D}$ the disk) have to be distinguished carefully. This motivates us to define and study two different types of Hardy spaces $\mathcal{H}_p(X)$ and $\mathcal{H}^+_p(X)$ of Dirichlet series $\sum_n a_n n^{-s}$ with coefficients in $X$. We characterize them in terms of summing operators as well as holomorphic functions in infinitely many variables, and prove that they coincide whenever $X$ has the analytic Radon-Nikodým Prop…
In this paper we study the kernels of Toeplitz operators on both the scalar and the vector-valued Hardy space for $ 1 < p < \infty $. We show existence of a minimal kernel of any element of the vector-valued Hardy space and we determine a symbol for the corresponding Toeplitz operator. In the scalar case we give an explicit description of a maximal function for a given Toeplitz kernel. In the vectorial case we show not all Toeplitz kernels have a maximal function and in the case of $p=2$ we find the exact conditions for when a Toeplitz kernel has a maximal function. For both the scalar and vec…
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 …
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…
Suppose $α$ is a rotationally symmetric norm on $L^{\infty}\left(\mathbb{T}\right) $ and $β$ is a "nice" norm on $L^{\infty}\left(Ω,μ\right) $ where $μ$ is a $σ$-finite measure on $Ω$. We prove a version of Beurling's invariant subspace theorem for the space $L^β\left(μ,H^α\right) .$ Our proof uses the recent version of Beurling's theorem on $H^α\left(\mathbb{T}\right) $ proved by the first author and measurable cross-section techniques. Our result significantly extends a result of H. Rezaei, S. Talebzadeh, and D. Y. Shin.
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}$. …
We remark that a dyadic version of the Carleson embedding theorem for the Bergman space extends to vector-valued functions and operator-valued measures. This is in contrast to a result by Nazarov, Treil, Volberg in the context of the Hardy space. We also discuss some embeddings for analytic vector-valued functions.
By applying methods of Duhamel algebra and reproducing kernels, we prove that every linear bounded operator on the Hardy-Hilbert space H^{2}(D) has a nontrivial invariant subspace. This solves affirmatively the Invariant Subspace Problem in the Hilbert space.
In this paper we first study the structure of the scalar and vector-valued nearly invariant subspaces with a finite defect. We then subsequently produce some fruitful applications of our new results. We produce a decomposition theorem for the vector-valued nearly invariant subspaces with a finite defect. More specifically, we show every vector-valued nearly invariant subspace with a finite defect can be written as the isometric image of a backwards shift invariant subspace. We also show that there is a link between the vector-valued nearly invariant subspaces and the scalar-valued nearly invar…
Operators of multiplication by independent variables on the space of square summable functions over the torus and its Hardy subspace are considered. Invariant subspaces where the operators are compatible are described.
Pick spaces are a class of reproducing kernel Hilbert spaces that generalize the classical Hardy space and the Drury--Arveson reproducing kernel spaces. We give characterizations of certain contractively included subspaces of Pick spaces. These generalize the characterization of closed invariant subspaces of Trent and McCullough, as well as results for the Drury--Arveson space obtained by Ball, Bolotnikov and Fang.
