Perturbations and expressions for generalized inverses in Banach spaces and Moore-Penrose inverses in Hilbert spaces of closed linear operators

The problems of perturbation and expression for the generalized inverses of closed linear operators in Banach spaces and for the Moore-Penrose inverses of closed linear operators in Hilbert spaces are studied. We first provide some stability characterizations of generalized inverses of closed linear operators under T-bounded perturbation in Banach spaces, which are exactly equivalent to that the generalized inverse of the perturbed operator has the simplest expression T⁺(I+δTT⁺)^-1. Utilizing these results, we investigate the expression for the Moore-Penrose inverse of the perturbed operator in Hilbert spaces and provide a unified approach to deal with the range preserving or null space preserving perturbation. An explicit representation for the Moore-Penrose inverse of the perturbation is also given. Moreover, we give an equivalent condition for the Moore-Penrose inverse to have the simplest expression T^†(I+δTT^†)^-1. The results obtained in this paper extend and improve many recent results in this area.     

Approximators to generalized inverses as regularizers of ill-posed problems

Let H₁ and H₂ be Hilbert spaces and let B be a closed linear operator mapping a dense subset of H₁ into H₂. Several families of approximators which converge t o the orthogonal or Moore-Penrose generalized inverse B^? are constructed. Additionally, the approximators are shown t o provide regularization operators for the equation Bx=y. Some of the results are extended to dissipative operators on reflexive and general Banach spaces.     

Minimal distance upper bounds for the perturbation of least squares problems in Hilbert spaces

Let X and Y be Hilbert spaces, and let T : X → Y be a bounded linear operator with closed range. In this paper, we present an optimal perturbation result on the least squares solutions to the operator equation Tx = y under the most general condition.     

Least-squares solutions of multi-valued linear operator equations in Hilbert spaces

Let M be a linear manifold in H₁ H₂, where H₁, and H₂ are Hilbert spaces. Two notions of least-squares solutions for the multi-valued linear operator equation (inclusion) y ε M(x) are introduced and investigated. The main results include (i) equivalent conditions for least-squares solvability, (ii) properties of a least-squares solution, (iii) characterizations of the set of all least-squares solutions in terms of algebraic operator parts and generalized inverses of linear manifolds, and (iv) best approximation properties of generalized inverses and operator parts of multi-valued linear operators. The principal tools in this investigation are an abstract adjoint theory, orthogonal operator parts, and orthogonal generalized inverses of linear manifolds in Hilbert spaces.     

A Quantitative Version of the Bishop–Phelps Theorem for Operators in Hilbert Spaces

In this paper, with the help of spectral integral, we show a quantitative version of the Bishop-Phelps theorem for operators in complex Hilbert spaces. Precisely, let H be a complex Hilbert space and 0 ε 1/2. Then for every bounded linear operator T : H → H and x0 ∈ H with ||T|| = 1 = ||x0|| such that ||Tx0|| 1 ε, there exist xε∈ H and a bounded linear operator S : H → H with||S|| = 1 = ||xε|| such that ||Sxε|| = 1, ||xε-x0|| ≤ (2ε)1/2 + 4(2ε)1/2, ||S-T|| ≤(2ε)1/2.     

Frames and bases of subspaces in Hilbert spaces

In this paper we develop the frame theory of subspaces for separable Hilbert spaces. We will show that for every Parseval frame of subspaces {Wi}_i∈I for a Hilbert space H, there exists a Hilbert space K⊇H and an orthonormal basis of subspaces {Ni}_i∈I for K such that Wi=P(Ni), where P is the orthogonal projection of K onto H. We introduce a new definition of atomic resolution of the identity in Hilbert spaces. In particular, we define an atomic resolution operator for an atomic resolution of the identity, which even yield a reconstruction formula.     

Closed embeddings of Hilbert spaces

Motivated by questions related to embeddings of homogeneous Sobolev spaces and to comparison of function spaces and operator ranges, we introduce the notion of closely embedded Hilbert spaces as an extension of that of continuous embedding of Hilbert spaces. We show that this notion is a special case of that of Hilbert spaces induced by unbounded positive selfadjoint operators that corresponds to kernel operators in the sense of L. Schwartz. Certain canonical representations and characterizations of uniqueness of closed embeddings are obtained. We exemplify these constructions by closed, but not continuous, embeddings of Hilbert spaces of holomorphic functions. An application to the closed embedding of a homogeneous Sobolev space on Rn in L₂(Rn), based on the singular integral operator associated to the Riesz potential, and a comparison to the case of the singular integral operator associated to the Bessel potential are also presented. As a second application we show that a closed embedding of two operator ranges corresponds to absolute continuity, in the sense of T. Ando, of the corresponding kernel operators.     

Resolvent characterisation of generators of cosine functions and C 0-groups

The paper provides new characterisations of generators of cosine functions and C ₀-groups on UMD spaces and their applications to some classical problems in cosine function theory. In particular, we show that on UMD spaces, generators of cosine functions and C ₀-groups can be characterised by means of a complex inversion formula. This allows us to provide a strikingly elementary proof of Fattorini’s result on square root reduction for cosine function generators on UMD spaces. Moreover, we give a cosine function analogue of McIntosh’s characterisation of the boundedness of the H ^∞ functional calculus for sectorial operators in terms of square function estimates. Another result says that the class of cosine function generators on a Hilbert space is exactly the class of operators which possess a dilation to a multiplication operator on a vector-valued L ₂ space. Finally, we prove a cosine function analogue of the Gomilko-Feng-Shi characterisation of C ₀-semigroup generators and apply it to answer in the affirmative a question by Fattorini on the growth bounds of perturbed cosine functions on Hilbert spaces.     

Chaotic dynamics of the heat semigroup on the Damek-Ricci spaces

We consider the rank one Riemannian symmetric spaces of noncompact type and their non-symmetric generalization, namely the Damek-Ricci spaces. We show that the heat semigroup generated by a certain perturbation of the Laplace-Beltrami operator of these spaces is chaotic on their L _p -spaces when p > 2. The range of p and the corresponding perturbation are sharp. A precursor to this result is due to Ji and Weber [19] where it was shown that under identical conditions the heat operator is subspace-chaotic on the Riemannian symmetric spaces, which is weaker than it being chaotic. We also extend the results to the Lorentz spaces L _p,q , which are generalizations of the Lebesgue spaces. This enables us to point out that the chaoticity degenerates to subspace-chaoticity only when q = ∞.     

The core operator and congruent submodules

The Hardy spaces H²(D²) can be conveniently viewed as a module over the polynomial ring C[z₁,z₂]. Submodules of H²(D²) have connections with many areas of study in operator theory. A large amount of research has been carried out striving to understand the structure of submodules under certain equivalence relations. Unitary equivalence is a well-known equivalence relation in set of submodules. However, the rigidity phenomenon discovered in [Douglas et al., Algebraic reduction and rigidity for Hilbert modules, Amer. J. Math. 117 (1) (1995) 75-92] and some other related papers suggests that unitary equivalence, being extremely sensitive to perturbations of zero sets, lacks the flexibility one might need for a classification of submodules. In this paper, we suggest an alternative equivalence relation, namely congruence. The idea is motivated by a symmetry and stability property that the core operator possesses. The congruence relation effectively classifies the submodules with a finite rank core operator. Near the end of the paper, we point out an essential connection of the core operator with operator model theory.     

Analytic factorizations and completely bounded maps

We prove an analytic factorization theorem in the setting of the recently developed theory of operator spaces. We especially obtain the following result: LetA be aC ^*-algebra andH be a Hilbert space. Let π be an element ofH ^∞ (CB(A, B(H))), i.e. a bounded analytic function valued in the space of completely bounded maps fromA intoB(H). Then there exist a Hilbert spaceK, a representation π:A→B(K), ?₁ ∈₁ H ^∞ (B(H,K)) and ∈₂ H ^∞ (B(K,H)) such that ‖ε₁‖∞‖∈₂‖∞ ≤ ‖∈‖∞ and: $\forall z \in D, \forall a \in A, \varphi (z)(a) = \varphi _2 (z)\pi (a)\varphi _1 (z).$ We also prove an analogous result for completely bounded multilinear maps. The last part of the paper is devoted to a new proof of Pisier's theorem about gamma-norms.     

Spaces of Dirichlet series with the complete Pick property

We consider reproducing kernel Hilbert spaces of Dirichlet series with kernels of the form \(k\left( {s,u} \right) = \sum {{a_n}} {n^{ - s - \overline u }}\), and characterize when such a space is a complete Pick space. We then discuss what it means for two reproducing kernel Hilbert spaces to be “the same”, and introduce a notion of weak isomorphism. Many of the spaces we consider turn out to be weakly isomorphic as reproducing kernel Hilbert spaces to the Drury–Arveson space H _d ² in d variables, where d can be any number in {1, 2,...,∞}, and in particular their multiplier algebras are unitarily equivalent to the multiplier algebra of H _d ² . Thus, a family of multiplier algebras of Dirichlet series is exhibited with the property that every complete Pick algebra is a quotient of each member of this family. Finally, we determine precisely when such a space of Dirichlet series is weakly isomorphic as a reproducing kernel Hilbert space to H _d ² and when its multiplier algebra is isometrically isomorphic to Mult(H _d ² ).     

Measure preserving composition operators

We consider composition operators T induced on functional Hilbert spaces H = L₂(S, ∑, μ) byTf(·) = f(h(·)) where h: S → S is a nonsingular transformation. For these mappings T: H → H we give conditions under which they accept invariant Borel probability measures, and we relate the two structures of T, i.e., that of a bounded linear operator to that of a measure preserving transformation.     

Singular perturbations of abstract wave equations

Given, on the Hilbert space H₀, the self-adjoint operator B and the skew-adjoint operators C₁ and C₂, we consider, on the Hilbert space H?D(B)⊕H₀, the skew-adjoint operator

     

Some Properties of K-Frames in Hilbert Spaces

K-frames were recently introduced by G?vru?a in Hilbert spaces to study atomic systems with respect to a bounded linear operator. From her discussions there are many differences between K-frames and ordinary frames, so in this paper we further discuss the interchangeability of two Bessel sequences with respect to a K-frame, where K is a bounded linear operator with closed range. We also give several methods to construct K-frames. In the end we discuss the stability of a more general perturbation for K-frame.     

On the Spectra of Left-Definite Operators

If A is a self-adjoint operator that is bounded below in a Hilbert space H, Littlejohn and Wellman (J Diff Equ 181(2):280–339, 2002) showed that, for each r > 0, there exists a unique Hilbert space H _r and a unique self-adjoint operator A _r in H _r satisfying certain conditions dependent on H and A. The space H _r and the operator A _r are called, respectively, the rth left-definite space and rth left-definite operator associated with (H, A). In this paper, we show that the operators A, A _r , and A _s (r, s > 0) are isometrically isomorphically equivalent and that the spaces H, H _r , and H _s (r, s > 0) are isometrically isomorphic. These results are then used to reproduce the left-definite spaces and left-definite operators. Furthermore, we will see that our new results imply that the spectra of A and A _r are equal, giving us another proof of this phenomenon that was first established in Littlejohn and Wellman (J Diff Equ 181(2):280–339, 2002).     

On Iterations of Non–Negative Operators and Their Applications to Elliptic Systems

Let H₀, H₁ be Hilbert spaces and L : H₀ → H₁ be a linear bounded operator with ∥L∥ ≤ 1. Then L*L is a bounded linear self–adjoint non–negative operator in the Hilbert space H₀ and one can use the Neumann series Σ^∞_v=0(I — L*L)^v L*f in order to stud solvabilit of the operator equation Lu = f. In particular, applying this method to the ill–posed Cauch problem for solutions to an elliptic system Pu = 0 of linear PDE's of order p with smoothcoefficients we obtain solvabilit conditions and representation formulae for solutions of the problem in Hardy spaces whenever these solutions exist. For the Cauch–Riemann system in ℂ the summands of the Neumann series are iterations of the Cauch type integral.     

A characterization of group generators on Hilbert Spaces and the H ∞-calculus

We give necessary and sufficient conditions for an operator A on a Hilbert space to have a bounded H ^∞-calculus on a vertical strip symmetric to the imaginary axis. From this, a characterization of group generators on Hilbert spaces is obtained yielding recent results of Liu and Zwart as corollaries.     

Quasi-hyperbolic semigroups

We introduce the notion of quasi-hyperbolic operators and C₀-semigroups. Examples include the push-forward operator associated with a quasi-Anosov diffeomorphism or flow. A quasi-hyperbolic operator can be characterised by a simple spectral property or as the restriction of a hyperbolic operator to an invariant subspace. There is a corresponding spectral property for the generator of a C₀-semigroup, and it characterises quasi-hyperbolicity on Hilbert spaces but not on other Banach spaces. We exhibit some weaker properties which are implied by the spectral property.