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-plane and the unit disk are related to model spaces. This work further includes a discussion on the structure of the closure of certain subspaces related to model spaces in Hardy spaces.
The main aim of this paper is to introduce and analyze the notions of subspace almost periodicity and subspace weak almost periodicity for $C$-distribution semigroups and $C$-distribution cosine functions in Banach spaces. We continue our previous research study of almost periodicity of abstract Volterra integro-differential equations \cite{aot}, focusing our attention on the abstract ill-posed Cauchy problems of first order.
We study a semigroup $ϕ$ of linear operators acting on a Banach space $X$ which satisfies the condition $\codim X_0<\infty$, where $X_0=\{x\in X \mid ϕ_t(x)\underset{t\to\infty}\longrightarrow 0\}.$ We show that $X_0$ is closed under these conditions. We establish some properties concerning the asymptotic behavior of subspaces which complement $X_0$ in $X$.
Let X be a complex Banach space of dimension at least 2, and let S be a multiplicative semigroup of operators on X such that the rank of AB - BA is at most 1 for all pairs {A,B} in S. We prove that S has a non-trivial invariant subspace provided it is not commutative. As a consequence we show that S is triangularizable if it consists of polynomially compact operators. This generalizes results from [H. Radjavi, P. Rosenthal, From local to global triangularization, J. Funct. Anal. 147 (1997), 443-456] and [G. Cigler, R. Drnovšek, D. Kokol-Bukovšek, T. Laffey, M. Omladič, H. Radjavi, P. Rosenthal…
We show that a bounded analytic semigroup on an $L_p$-space has a bounded $H^{\infty}(Σ_φ)$-calculus for some $φ< \fracπ{2}$ if and only if the semigroup can be obtained, after restricting to invariant subspaces, factorizing through invariant subspaces and similarity transforms, from a bounded analytic semigroup on some bigger $L_p$-space which is positive and contractive on the real line.
A closed subspace is invariant under the Cesàro operator $\mathcal{C}$ on the classical Hardy space $H^2(\mathbb D)$ if and only if its orthogonal complement is invariant under the $C_0$-semigroup of composition operators induced by the affine maps $φ_t(z)= e^{-t}z + 1 - e^{-t}$ for $t\geq 0$ and $z\in \mathbb D$. The corresponding result also holds in the Hardy spaces $H^p(\mathbb D)$ for $1<p<\infty$. Moreover, in the Hilbert space setting, by linking the invariant subspaces of $\mathcal{C}$ to the lattice of the closed invariant subspaces of the standard right-shift semigroup acting on a pa…
The Damek-Ricci spaces are solvable Lie groups and noncompact harmonic manifolds. The rank one Riemannian symmetric spaces of noncompact type sits inside it as a thin subclass. In this note we establish that for any Damek-Ricci space $S$, the heat semigroup generated by certain perturbation of the Laplace-Beltrami operator is {\em chaotic} on the Lorentz spaces $L^{p,q}(S)$, $2<p<\infty, 1\le q<\infty$ and subspace-chaotic on the weak $L^p$-spaces. We show that both the amount of perturbation and the range of $p$ are sharp. This generalizes a result in \cite{J-W} which proves that under identi…
Let $A$ be a bounded linear operator and $P$ a bounded linear projection on a Banach space $X$. We show that the operator semigroup $(e^{t(A-kP)})_{t \ge 0}$ converges to a semigroup on a subspace of $X$ as $k \to \infty$ and we compute the limit semigroup.
We prove that the nearly invariant subspaces of a de Branges space which have no common zeros are precisely of the form an exponential function times a de Branges space.
In this article, we briefly describe nearly $T^{-1}$ invariant subspaces with finite defect for a shift operator $T$ having finite multiplicity acting on a separable Hilbert space $\mathcal{H}$ as a generalization of nearly $T^{-1}$ invariant subspaces introduced by Liang and Partington in \cite{YP}. In other words we characterize nearly $T^{-1}$ invariant subspaces with finite defect in terms of backward shift invariant subspaces in vector-valued Hardy spaces by using Theorem 3.5 in \cite{CDP}. Furthermore, we also provide a concrete representation of the nearly $T_B^{-1}$ invariant subspaces…
Working over infinite dimensional separable Hilbert spaces, residual results have been achieved for the space of contractive $C_{0}$-semigroups under the topology of uniform weak operator convergence on compact subsets of $\mathbb{R}_{+}$. Eisner and Serény raised in 2009 the open problem: Does this space constitute a Baire space? Observing that the subspace of unitary semigroups is completely metrisable and appealing to known density results, we solve this problem positively by showing that certain topological properties can in general be transferred from dense subspaces to larger spaces. The…
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…
We relax assumptions for a dissipative operator in Krein space to possess a maximal non-negative invariant subspace. Our main result is a generalization of a well-known Pontrjagin-Krein-Langer-Azizov theorem. Then we investigate the semigroup properties of the restriction of the operator onto the invariant subspace.
We give a simple characterization of chaos for weighted composition $C_0$-semigroups on $L^p_ρ(Ω)$ for an open interval $Ω\subseteq\mathbb{R}$. Moreover, we characterize chaos for these classes of $C_0$-semigroups on the closed subspace $W^{1,p}_*(Ω)$ of the Sobolev space $W^{1,p}(Ω)$ for a bounded interval $Ω\subset\mathbb{R}$. These characterizations simplify previously obtained characterization of chaos for these classes of $C_0$-semigroups.
This paper demonstrates that random, independently chosen equi-dimensional subspaces with a unitarily invariant distribution in a real Hilbert space provide nearly tight, nearly equiangular fusion frames. The angle between a pair of subspaces is measured in terms of the Hilbert-Schmidt inner product of the corresponding orthogonal projections. If the subspaces are selected at random, then a measure concentration argument shows that these inner products concentrate near an average value. Overwhelming success probability for near tightness and equiangularity is guaranteed if the dimension of the…
We use a method similar to ultraproducts to study the common fixed point of a left reversible semitopological semigroup acting on a Banach space. As an application, we prove a Bruck-type theorem for nearly uniformly convex Banach spaces to the effect that such spaces have weak fixed point property for left reversible semigroups.
We describe necessary and sufficient conditions for a $J$-dissipative operator in a Krein space to have maximal semidefinite invariant subspaces. The semigroup properties of the restrictions of an operator to these subspaces are studied. Applications are given to the case when an operator admits matrix representation with respect to the canonical decomposition of the space. The main conditions are given in the terms of the interpolation theory of Banach spaces.
For a given bi-continuous semigroup T on a Banach space X we define its adjoint on an appropriate closed subspace X^o of the norm dual X'. Under some abstract conditions this adjoint semigroup is again bi-continuous with respect to the weak topology (X^o,X). An application is the following: For K a Polish space we consider operator semigroups on the space C(K) of bounded, continuous functions (endowed with the compact-open topology) and on the space M(K) of bounded Baire measures (endowed with the weak*-topology). We show that bi-continuous semigroups on M(K) are precisely those that are adjoi…
For a shift operator $T$ with finite multiplicity acting on a separable infinite dimensional Hilbert space we represent its nearly $T^{-1}$ invariant subspaces in terms of invariant subspaces under the backward shift. Going further, given any finite Blaschke product $B$, we give a description of the nearly $T_{B}^{-1}$ invariant subspaces for the operator $T_B$ of multiplication by $B$ in a scale of Dirichlet-type 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.
Let V be a standard subspace in the complex Hilbert space H and U : G \to U(H) be a unitary representation of a finite dimensional Lie group. We assume the existence of an element h in the Lie algebra of G such that U(exp th) is the modular group of V and that the modular involution J_V normalizes U(G). We want to determine the semigroup $S_V = \{ g\in G : U(g)V \subseteq V\}.$ In previous work we have seen that its infinitesimal generators span a Lie algebra on which ad h defines a 3-grading, and here we completely determine the semigroup S_V under the assumption that ad h defines a 3-grading…
The space of unitary $C_{0}$-semigroups on separable infinite dimensional Hilbert space, when viewed under the topology of uniform weak convergence on compact subsets of $\mathbb{R}_{+}$, is known to admit various interesting residual subspaces. Before treating the contractive case, the problem of the complete metrisability of this space was raised in [Eisner, 2010]. Utilising Borel complexity computations and automatic continuity results for semigroups, we obtain a general result, which in particular implies that the one-/multiparameter contractive $C_{0}$-semigroups constitute Polish spaces …
The paper deals with continuous homomorphisms $S \ni s \mapsto T_s \in L(E)$ of amenable semigroups $S$ into the algebra $L(E)$ of all bounded linear operators on a Banach space $E$. For a closed linear subspace $F$ of $E$, sufficient conditions are given under which there exists a projection $P \in L(E)$ onto $F$ that commutes with all $T_s$. And when $E$ is a Hilbert space, sufficient conditions are given for the existence of an invertible operator $R \in L(E)$ such that all $R T_s R^{-1}$ are isometries. Also certain results on extending intertwining operators, renorming as well as on opera…
We study the structure of the backward shift invariant and nearly invariant subspaces in weighted Fock-type spaces $\mathcal{F}_W^p$, whose weight $W$ is not necessarily radial. We show that in the spaces $\mathcal{F}_W^p$ which contain the polynomials as a dense subspace (in particular, in the radial case) all nontrivial backward shift invariant subspaces are of the form $\mathcal{P}_n$, i.e., finite dimensional subspaces consisting of polynomials of degree at most $n$. In general, the structure of the nearly invariant subspaces is more complicated. In the case of spaces of slow growth (up to…
We consider Banach spaces equipped with a set of strongly continuous bounded semigroups satisfying certain conditions. Using these semigroups we introduce an analog of a modulus of continuity and define analogs of Besov norms. A generalization of a classical interpolation theorem is proven in which the role of Sobolev spaces is played by subspaces defined in terms of infinitesimal operators of these semigroups. We show that our assumptions about a given set of semigroups are satisfied in the case of a strongly continuous bounded representation of a Lie group. In the case of a unitary represent…
In this paper we study (continuous) polynomials $p: J\to X$, where $J$ is an abelian topological semigroup and $X$ is a topological vector space. If $J$ is a subsemigroup with non-empty interior of a locally compact abelian group $G$ and $G=J-J$, then every polynomial $p$ on $J$ extends uniquely to a polynomial on $ G$. It is of particular interest to know when the spaces $P^n (J,X)$ of polynomials of order at most $n$ are finite dimensional. For example we show that for some semigroups the subspace $P^n_{R} (J,\mathbf{C})$ of Riss polynomials (those generated by a finite number of homomorphis…
We study the strong continuity of weighted composition semigroups of the form $T_tf=φ_t'\left(f\circφ_t\right)$ in several spaces of analytic functions. First we give a general result on separable spaces and use it to prove that these semigroups are always strongly continuous in the Hardy and Bergman spaces. Then we focus on two non-separable family of spaces, the mixed norm and the weighted Banach spaces. We characterize the maximal subspace in which a semigroup of analytic functions induces a strongly continuous semigroup of weighted composition operators depending on its Denjoy-Wolff point,…
A well-known result of W. Ray asserts that if $C$ is an unbounded convex subset of a Hilbert space, then there is a nonexpansive mapping $T$: $C\to C$ that has no fixed point. In this paper we establish some common fixed point properties for a semitopological semigroup $S$ of nonexpansive mappings acting on a closed convex subset $C$ of a Hilbert space, assuming that there is a point $c\in C$ with a bounded orbit and assuming that certain subspace of $C_b(S)$ has a left invariant mean. Left invariant mean (or amenability) is an important notion in harmonic analysis of semigroups and groups int…
We characterize amenability of subspaces of $C(S)$, where $S$ is a semitopological semigroup, in terms of fixed point properties of nonexpansive actions. In particular, we give a complete characterization of a semitopological semigroup with a left invariant mean on WAP(S) that answers a question of A.T.-M. Lau and Y. Zhang in the affirmative. We also propose a new approach to Lau's problem concerning a counterpart of Day-Mitchell's characterization of amenable semigroups and show some partial results, in the case of weak$^{\ast }$ compact convex sets with the Radon-Nikodým property, and in the…
Motivated by a result of Ky Fan in 1965, we establish a characterization of a left amenable F-algebra (which includes the group algebra and the Fourier algebra of a locally compact group and quantum group algebras, or more generally the predual algebra of a Hopf von Neumann algebra) in terms of a finite dimensional invariant subspace property. This is done by first revealing a fixed point property for the semigroup of norm one positive linear func- tionals in the algebra. Our result answers an open question posted in Tokyo in 1993 by the first author (see [25, Problem 5]). We also show that th…
We characterize the semigroups of composition operators that are strongly continuous on the mixed norm spaces $H(p,q,α)$. First, we study the separable spaces $H(p,q,α)$ with $q<\infty,$ that behave as the Hardy and Bergman spaces. In the second part we deal with the spaces $H(p,\infty,α),$ where polynomials are not dense. To undertake this study, we introduce the integral operators, characterize its boundedness and compactness, and use its properties to find the maximal closed linear subspace of $H(p,\infty,α)$ in which the semigroups are strongly continuous. In particular, we obtain that thi…
In the context of a theorem of Richter, we establish a similarity between $C_0$-semigroups of analytic 2-isometries $\{T(t)\}_{t\geq0}$ acting on a Hilbert space $\mathcal H$ and the multiplication operator semigroup $\{M_{ϕ_t}\}_{t\geq 0}$ induced by $ϕ_t(s)=\exp (-st)$ for $s$ in the right-half plane $\mathbb{C}_+$ acting boundedly on weighted Dirichlet spaces on $\mathbb{C}_+$. As a consequence, we derive a connection with the right shift semigroup $\{S_t\}_{t\geq 0}$ $$ S_tf(x)=\left \{ \begin{array}{ll} 0 & \mbox { if }0\leq t\leq x, \\ f(x-t)& \mbox { if } x>t, \end{array} \right . $$ ac…
It is well known that the kernel of a Toeplitz operator is nearly invariant under the backward shift $S^*$. This paper shows that kernels of finite-rank perturbations of Toeplitz operators are nearly $S^*$-invariant with finite defect. This enables us to apply a recent theorem by Chalendar--Gallardo--Partington to represent the kernel in terms of backward shift-invariant subspaces, which we identify in several important cases.
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 …
Let (P(t)) be the Ornstein-Uhlenbeck semigroup associated with the stochastic Cauchy problem dU(t) = AU(t)dt + dW_H(t), where A is the generator of a C_0-semigroup (S(t)) on a Banach space E, H is a Hilbert subspace of E, and (W_H(t)) is an H-cylindrical Brownian motion. Assuming that (S(t)) restricts to a C_0-semigroup on H, we obtain L^p-bounds for the gradient D_H P(t). We show that if (P(t)) is analytic, then the invariance assumption is fulfilled. As an application we determine the L^p-domain of the generator of (P(t)) explicitly in the case where (S(t)) restricts to a C_0-semigroup on H …
An operator space analysis of quantum stochastic cocycles is undertaken. These are cocycles with respect to an ampliated CCR flow, adapted to the associated filtration of subspaces, or subalgebras. They form a noncommutative analogue of stochastic semigroups in the sense of Skorohod. One-to-one correspondences are established between classes of cocycle of interest and corresponding classes of one-parameter semigroups on associated matrix spaces. Each of these 'global' semigroups may be viewed as the expectation semigroup of an associated quantum stochastic cocycle on the corresponding matrix s…
A complete characterization of nearly-invariant subspaces of finite defect for the backward shift operator acting on the Hardy space is provided in the spirit of Hitt and Sarason's theorem. As a corollary we describe the almost-invariant subspaces for the shift and its adjoint.
Let $X$ be a Banach space. Then $X$ is complemented in the bidual $X^{**}$ if and only if there exists an invariant mean $\ell_\infty(G, X)\to X$ with respect to a free Abelian group $G$ of rank equal to the cardinality of $X^{**}$, and this happens if and only if there exists an invariant mean with respect to the additive group of $X^{**}$. This improves upon previous results due to Bustos Domecq =and the second-named author, where certain idempotent semigroups of cardinality equal to the cardinality of $X^{**}$ were considered, and answers a question of J.M.F. Castillo (private communication…
We define the notion of isometric envelope of a subspace in a Banach space, and relate it to a) the mean ergodic projection on the space of fixed points of a semigroup of contractions, b) results on Korovkin sets from the 70's, and c) extension properties of linear isometric embeddings. We use this concept to address the recent conjecture that the Gurarij space and the spaces $L_p$, $p \notin 2\mathbb N+4$ are the only separable Approximately Ultrahomogeneous Banach spaces (a certain multidimensional transitivity of the action of the linear isometry group). The similar conjecture for Fraïssé B…
Let $S$ be the shift operator on the Hardy space $H^2$ and let $S^*$ be its adjoint. A closed subspace $\FF$ of $H^2$ is said to be nearly $S^*$-invariant if every element $f\in\FF$ with $f(0)=0$ satisfies $S^*f\in\FF$. In particular, the kernels of Toeplitz operators are nearly $S^*$-invariant subspaces. Hitt gave the description of these subspaces. They are of the form $\FF=g (H^2\ominus u H^2)$ with $g\in H^2$ and $u$ inner, $u(0)=0$. A very particular fact is that the operator of multiplication by $g$ acts as an isometry on $H^2\ominus uH^2$. Sarason obtained a characterization of the func…
A contraction semigroup T on a Hilbert space H and its cogenerator S define an algebra, the limit algebra - which determines the structure of the subspace of weakly Poisson recurrent vectors and gives a necessary and sufficient condition for T and S to be weakly stable equivalent.
It has been known since 1970's that the N-dimensional $\ell_1$-space contains nearly Euclidean subspaces whose dimension is $Ω(N)$. However, proofs of existence of such subspaces were probabilistic, hence non-constructive, which made the results not-quite-suitable for subsequently discovered applications to high-dimensional nearest neighbor search, error-correcting codes over the reals, compressive sensing and other computational problems. In this paper we present a "low-tech" scheme which, for any $a > 0$, allows to exhibit nearly Euclidean $Ω(N)$-dimensional subspaces of $\ell_1^N$ while usi…
