Testing linear operators—An average case study

Given a specification linear operatorS, we want to test an implementation linear operatorA and determine whether it conforms to the specification operator according to an error criterion. In an earlier paper [3], we studied a worst case error in which we test whether the error is no more than a given bound ε>0 for all elements in a given setF, i.e., sup _{fεf∥Sf—Af∥≤ε}. In this work, we study the average error instead, i. e., ∫ _F ∥Sf-Af∥²μ(df)ɛ≤², where μ is a probability measure onF. We assume that an upper boundK on the norm of the difference ofS andA is given a priori. It turns out that any finite number of tests is in general inconclusive with the average error. Therefore, as in the worst case, we allow a relaxation parameter α>0 and test for weak conformance with an error bound (1+α)ε. Then a finite number of tests from an arbitrary orthogonal complete sequence is conclusive. Furthermore, the eigenvectors of the covariance operatorC _μ of the probability measure μ provide an almost optimal test sequence. This implies that the test set isuniversal; it only depends on the set of valid inputsF and the measure μ, and is independent ofS, A, and the other parameters of the problem. However, the minimal number of tests does depend on all the parameters of the testing problem, i.e., ε, α,K, and the eigenvalues ofC _μ. In contrast to the worst case setting, it also depends on the dimensiond of the range space ofS andA. This work was done while consulting at Bell Laboratories, and is partially supported by the National Science Foundation and the Air Force Office of Scientific Research.     

Integral Equations and Operator Theory

A complex number λ is an extended eigenvalue of an operator A if there is a nonzero operator X such that AX = λ XA. We characterize the set of extended eigenvalues, which we call extended point spectrum, for operators acting on finite dimensional spaces, finite rank operators, Jordan blocks, and C₀ contractions. We also describe the relationship between the extended eigenvalues of an operator A and its powers. As an application, we show that the commutant of an operator A coincides with that of Aⁿ, n ≥ 2, n ∈ N if the extended point spectrum of A does not contain any n–th root of unity other than 1. The converse is also true if either A or A^* has trivial kernel.     

Vector-valued Modulation Spaces and Localization Operators with Operator-valued Symbols

We study the short-time Fourier transformation, modulation spaces, Gabor representations and time-frequency localization operators, for functions and tempered distributions that have as range space a Banach or a Hilbert space. In the Banach space case the theory of modulation spaces contains some modifications of the scalar-valued theory, depending on the Banach space. In the Hilbert space case the modulation spaces have properties similar to the scalar-valued case and the Gabor frame theory essentially works. For localization operators in this context symbols are operator-valued. We generalize two results from the scalar-valued theory on continuity on certain modulation spaces when the symbol belongs to an L^p,q space and M^∞, respectively. The first result is true for any Banach space as range space, and the second result is true for any Hilbert space as range space.     

An Operator-valued Berezin Transform and the Class of <Emphasis Type="Italic">n</Emphasis>-Hypercontractions

We study an operator-valued Berezin transform corresponding to certain standard weighted Bergman spaces of square integrable analytic functions in the unit disc. The study of this operator-valued Berezin transform relates in a natural way to the study of the class of n-hypercontractions on Hilbert space introduced by Agler. To an n-hypercontraction we associate a positive -valued operator measure dω _{n, T} supported on the closed unit disc in a way that generalizes the above notion of operator-valued Berezin transform. This construction of positive operator measures dω _{n, T} gives a natural functional calculus for the class of n-hypercontractions. We revisit also the operator model theory for the class of n-hypercontractions. The new results here concern certain canonical features of the theory. The operator model theory for the class of n-hypercontractions gives information about the structure of the positive operator measures dω _{n, T} .     

Natural Representations of the Multiplicity of an Analytic Operator-valued Function at an Isolated Point of the Spectrum

Representations are given for the multiplicity of an analytic operator-valued function A at an isolated point z₀ of the spectrum in the form of kernels and ranges of Hankel and Toeplitz matrices whose entries are derived from the Taylor coefficients of A and the Laurent coefficients of A⁻¹ about z₀. In two special cases the results can be expressed in terms of finite matrices: when A is a polynomial and when A⁻¹ has a pole at z₀. The latter case leads to the theory of Jordan chains.     

Hypercyclic Pairs of Coanalytic Toeplitz Operators

A pair of commuting operators, (A,B), on a Hilbert space is said to be hypercyclic if there exists a vector such that {A ⁿ B ^k x : n, k ≥ 0} is dense in . If f, g ∈H ^∞(G) where G is an open set with finitely many components in the complex plane, then we show that the pair (M ^* _f , M ^* _g ) of adjoints of multiplcation operators on a Hilbert space of analytic functions on G is hypercyclic if and only if the semigroup they generate contains a hypercyclic operator. However, if G has infinitely many components, then we show that there exists f, g ∈H ^∞(G) such that the pair (M ^* _f , M ^* _g ) is hypercyclic but the semigroup they generate does not contain a hypercyclic operator. We also consider hypercyclic n-tuples.     

Periodic solutions of second order differential equations in Banach spaces

We use operator-valued Fourier multiplier theorems to study second order differential equations in Banach spaces. We establish maximal regularity results in L^p and C^s for strong solutions of a complete second order equation. In the second part, we study mild solutions for the second order problem. Two types of mild solutions are considered. When the operator A involved is the generator of a strongly continuous cosine function, we give characterizations in terms of Fourier multipliers and spectral properties of the cosine function. The results obtained are applied to elliptic partial differential operators. The first author is supported in part by Convenio de Cooperación Internacional (CONICYT) Grant # 7010675 and the second author is partially financed by FONDECYT Grant # 1010675     

Suites de longueur minimale associees a un ensemble normal donne

For a given subsetA of the set of real numbers, we search a sequence Λ=(λ _n) of real numbers such that bothA is the normal setB(Λ) associated to Λ, and Λ takes its values in a bounded interval, with a minimal lengthM. A lower bound ofM is obtained, which gives some necessary conditions of existency of such a bounded sequence Λ. More details are given whenA is a subset of the set of integers. In this case, the problem is to find a polynomialQ of lowest degree such that the productP.Q has non-negative coefficients, for some special given polynomialP.      

Resolvent Estimates for Operators Belonging to Exponential Classes

For a, α > 0 let E(a, α) be the set of all compact operators A on a separable Hilbert space such that s _n (A) = O(exp(-an^α)), where s _n (A) denotes the n-th singular number of A. We provide upper bounds for the norm of the resolvent (zI − A)⁻¹ of A in terms of a quantity describing the departure from normality of A and the distance of z to the spectrum of A. As a consequence we obtain upper bounds for the Hausdorff distance of the spectra of two operators in E(a, α).      

A minimax theorem for irreducible compact operators inL p-spaces

Let (X, Σ, μ) be a σ-finite measure space,T a compact irreducible (positive, linear) operator onL ^p (μ) (1≦p<+∞). It is shown that the spectral radiusr ofT is characterized by the minimax property {fx196-1} where ∑₀ denotes the ring of sets of finite measure and whereQ denotes the set of all, almost everywhere positive functions inL ^p. Moreover, ifr>0 then equality on either side is assumed ifff is the (essentially unique) positive eigenfunction ofT. Various refinements are given in terms of corresponding relations for irreducible finite rank operators approximatingT. Dedicated to H. G. Tillmann on his 60th birthday     

Operator Matrices: SVEP and Weyl’s Theorem

It is known that if and are Banach space operators with the single-valued extension property, SVEP, then the matrix operator has SVEP for every operator and hence obeys Browder’s theorem. This paper considers conditions on operators A, B, and M₀ ensuring Weyls theorem for operators M_C.     

One-Dimensional Diffusions and Approximation

Consider the Voronovskaja operator A of a sequence of positive linear operators and let u(t, x) be the solution of the Cauchy problem for A. In the spirit of Altomare’s theory this solution can be studied by using the semigroup (T(t))_{t ≥ 0} generated by A and represented in terms of the operators L_n.One associates to A a stochastic equation; its solution can be also used in order to represent u(t, x).The relations between all these objects are described in the case of the operator A associated with some Meyer-König and Zeller type operators.     

Bands of invariantly extensible measures

Given two σ-algebrasU ⊂A, invariant under a fixed semigroupG of transformations, the following subsetC of the lattice coneM (U) _G ofG-invariant finite measures onU is shown to be (the positive part of) a band inM (U) _G : AG-invariant measure μ belongs toC iff the setexM Bμ) _G of extremalG-invariant extensions of μ toB is non-empty and eachG-invariant extensionv of μ admits a barycentric decompositionv=→v′ρ(dv′) with some representing probability ρ onexM U μ) _G .—Any band of extensible measures allows to study the corresponding extension problem locally.     

Invariant Subspaces of Collectively Compact Sets of Linear Operators

In this paper, we first give some invariant subspace results for collectively compact sets of operators in connection with the joint spectral radius of these sets. We then prove that any collectively compact set M in algΓ satisfies Berger-Wang formula, where Γ is a complete chain of subspaces of X.      

Weyl’s Theorems for Some Classes of Operators

We introduce the class of operators on Banach spaces having property (H) and study Weyl’s theorems, and related results for operators which satisfy this property. We show that a- Weyl’s theorem holds for every decomposable operator having property (H). We also show that a-Weyl’s theorem holds for every multiplier T of a commutative semi-simple regular Tauberian Banach algebra. In particular every convolution operator T_μ of a group algebra L¹(G), G a locally compact abelian group, satisfies a-Weyl’s theorem. Similar results are given for multipliers of other important commutative Banach algebras.     

Admissibility of Unbounded Operators and Wellposedness of Linear Systems in Banach Spaces

We study linear systems, described by operators A, B, C for which the state space X is a Banach space.We suppose that − A generates a bounded analytic semigroup and give conditions for admissibility of B and C corresponding to those in G. Weiss’ conjecture. The crucial assumptions on A are boundedness of an H^∞-calculus or suitable square function estimates, allowing to use techniques recently developed by N. Kalton and L. Weis. For observation spaces Y or control spaces U that are not Hilbert spaces we are led to a notion of admissibility extending previous considerations by C. Le Merdy. We also obtain a characterisation of wellposedness for the full system. We give several examples for admissible operators including point observation and point control. At the end we study a heat equation in X = L^p(Ω), 1 < p < ∞, with boundary observation and control and prove its wellposedness for several function spaces Y and U on the boundary ∂Ω.     

Operator Valued Functions with Pick Operators Having Negative Subspaces of Bounded Dimensions

Functions whose values are bounded linear Hilbert space operators (each operator may be defined on its own subspace of the ambient Hilbert space), the domain of definition is contained in the open unit disc, and having the following property κ, are studied. (κ): All Pick operators associated with the function have the dimensions of their spectral subspace corresponding to the negative part of the spectrum bounded above by a fixed nonnegative integer κ, and the bound κ is attained. No a priori hypotheses concerning regularity of the functions are assumed. A particular class of functions, called standard functions, is introduced, and the corresponding nonnegative integer κ is identified for standard functions. It is proved that every function with property (κ) can be extended to a standard function with property (κ), for the same κ. This result is interpreted as a result on interpolation. As an application, maximal (with respect to the extension relation) functions with the property κ, for a fixed κ, are studied in terms of standard functions. Received: August 5, 2007., Accepted: October 24, 2007.     

Browder’s Theorems through Localized SVEP

A bounded linear operator T ∈ L(X) on aBanach space X is said to satisfy “Browder’s theorem” if the Browder spectrum coincides with the Weyl spectrum. T ∈ L(X) is said to satisfy “a-Browder’s theorem” if the upper semi-Browder spectrum coincides with the approximate point Weyl spectrum. In this note we give several characterizations of operators satisfying these theorems. Most of these characterizations are obtained by using a localized version of the single-valued extension property of T. In the last part we shall give some characterizations of operators for which “Weyl’s theorem” holds.