A canonical decomposition for linear operators and linear relations

An arbitrary linear relation (multivalued operator) acting from one Hilbert space to another Hilbert space is shown to be the sum of a closable operator and a singular relation whose closure is the Cartesian product of closed subspaces. This decomposition can be seen as an analog of the Lebesgue decomposition of a measure into a regular part and a singular part. The two parts of a relation are characterized metrically and in terms of Stone’s characteristic projection onto the closure of the linear relation.     

On projections and monotony in Lp -spaces

In this paper we investigate the connection between the range of nearest point projections in L_p -spaces and monotony properties of the projection operator. We show e.g. that a nearest point projection onto a closed convex subset of an L_p -space (1相似文献   

Convergence of minimum norm elements of projections and intersections of nested affine spaces in Hilbert space

We consider a Hilbert space, an orthogonal projection onto a closed subspace and a sequence of downwardly directed affine spaces. We give sufficient conditions for the projection of the intersection of the affine spaces into the closed subspace to be equal to the intersection of their projections. Under a closure assumption, one such (necessary and) sufficient condition is that summation and intersection commute between the orthogonal complement of the closed subspace, and the subspaces corresponding to the affine spaces. Another sufficient condition is that the cosines of the angles between the orthogonal complement of the closed subspace, and the subspaces corresponding to the affine spaces, be bounded away from one. Our results are then applied to a general infinite horizon, positive semi-definite, linear quadratic mathematical programming problem. Specifically, under suitable conditions, we show that optimal solutions exist and, modulo those feasible solutions with zero objective value, they are limits of optimal solutions to finite-dimensional truncations of the original problem.     

Strongly continuous spectral families

Summary We define a strongly continuous family & of bounded projections E(t), t real, on a Banach space X and show that & generates a densely defined closed linear transformation in X given by . T(&) has a real spectrum without eigenvalues and its resolvent operator satisfies a first order growth (G_i). If T₀ is a given closed linear trasformation defined a dense subset of X which has a purely continuous real spectrum and a resolvent operator satisfying the first order growth condition (G_i) then T₀ has a ? resolution of the identity ? &₀ consisting of closed projections E(t) in X. We show that if &₀ is also strongly continuous then T₀=T (&₀). Dedicated to the sixtieth birthday of Professor Edgar. R. Lorch     

Sparse fusion frames: existence and construction

Fusion frame theory is an emerging mathematical theory that provides a natural framework for performing hierarchical data processing. A fusion frame can be regarded as a frame-like collection of subspaces in a Hilbert space, and thereby generalizes the concept of a frame for signal representation. However, when the signal and/or subspace dimensions are large, the decomposition of the signal into its fusion frame measurements through subspace projections typically requires a large number of additions and multiplications, and this makes the decomposition intractable in applications with limited computing budget. To address this problem, in this paper, we introduce the notion of a sparse fusion frame, that is, a fusion frame whose subspaces are generated by orthonormal basis vectors that are sparse in a ‘uniform basis’ over all subspaces, thereby enabling low-complexity fusion frame decompositions. We study the existence and construction of sparse fusion frames, but our focus is on developing simple algorithmic constructions that can easily be adopted in practice to produce sparse fusion frames with desired (given) operators. By a desired (or given) operator we simply mean one that has a desired (or given) set of eigenvalues for the fusion frame operator. We start by presenting a complete characterization of Parseval fusion frames in terms of the existence of special isometries defined on an encompassing Hilbert space. We then introduce two general methodologies to generate new fusion frames from existing ones, namely the Spatial Complement Method and the Naimark Complement Method, and analyze the relationship between the parameters of the original and the new fusion frame. We proceed by establishing existence conditions for 2-sparse fusion frames for any given fusion frame operator, for which the eigenvalues are greater than or equal to two. We then provide an easily implementable algorithm for computing such 2-sparse fusion frames.     

Closed Projections and Peak Interpolation for Operator Algebras

The closed one-sided ideals of a C ^*-algebra are exactly the closed subspaces supported by the orthogonal complement of a closed projection. Let A be a (not necessarily selfadjoint) subalgebra of a unital C ^*-algebra B which contains the unit of B. Here we characterize the right ideals of A with left contractive approximate identity as those subspaces of A supported by the orthogonal complement of a closed projection in B ^** which also lies in . Although this seems quite natural, the proof requires a set of new techniques which may be viewed as a noncommutative version of the subject of peak interpolation from the theory of function spaces. Thus, the right ideals with left approximate identity are closely related to a type of peaking phenomena in the algebra. In this direction, we introduce a class of closed projections which generalizes the notion of a peak set in the theory of uniform algebras to the world of operator algebras and operator spaces.     

On the Borelness of the intersection operation

We study the intersection operation of closed linear subspaces in a separable Banach space. We show that if the ambient space is quasi-reflexive, then the intersection operation is Borel. On the other hand, if the space contains a closed subspace with a Schauder decomposition into infinitely many non-reflexive spaces, then the intersection operation is not Borel. As a corollary, for a closed subspace of a Banach space with an unconditional basis, the intersection operation of the closed linear subspaces is Borel if and only if the space is reflexive. We also consider the intersection operation of additive subgroups in an infinite-dimensional separable Banach space, and show that if this intersection operation is Borel then the space is hereditarily indecomposable.     

A magic decomposition

A lively example to use in a first course in linear algebra to clarify vector space notions is the space of square matrices of fixed order with its subspaces of affine, coaffine, doubly affine, and magic squares. In this note, the projection theorem is illustrated by explicitly constructing the orthogonal projections (in closed forms) of any matrix U onto these subspaces. The results follow directly from a canonical decomposition of U.     

Projection Method for Cauchy Problem for an Operator-Differential Equation

In the current paper, we study a projection method for a Cauchy problem for an operator-differential equation with a leading self-adjoint operator A(t) and a subordinate linear operator K(t) in a Hilbert space. The projection subspaces are linear spans of eigenvectors of an operator similar to A(t). It is assumed that the operators A(t) and K(t) are sufficiently smooth. Error estimates for the approximate solutions and their derivatives are obtained. The application of the developed method for solving the initial boundary value problems is given.     

Ranges of bimodule projections and reflexivity

We develop a general framework for reflexivity in dual Banach spaces, motivated by the question of when the weak^? closed linear span of two reflexive masa-bimodules is automatically reflexive. We establish an affirmative answer to this question in a number of cases by examining two new classes of masa-bimodules, defined in terms of ranges of masa-bimodule projections. We give a number of corollaries of our results concerning operator and spectral synthesis, and show that the classes of masa-bimodules we study are operator synthetic if and only if they are strong operator Ditkin.     

On impulsive functional differential inclusions with Hille-Yosida operators in Banach spaces

We consider a semilinear functional differential inclusion with infinite delay and impulse characteristics in a Banach space assuming that its linear part is a non-densely defined Hille-Yosida operator. We assume that the multivalued nonlinearity of upper Carathèodory or almost lower semicontinuous type satisfies a regularity condition expressed in terms of the measures of noncompactness. We apply the theory of integrated semigroups and the theory of condensing multivalued maps to obtain local and global existence results. The application to an optimization problem for an impulsive feedback control system is given.     

Extremal maximal sectorial extensions of sectorial relations

The extremal maximal sectorial extensions of a not necessarily densely defined sectorial relation (multivalued linear operator) in a Hilbert space are characterized in terms of a construction which goes back to Sebestyén and Stochel. In particular the two extreme maximal sectorial extensions, namely the Friedrichs extension and the Kreĭn extension, are characterized. For this purpose a survey is given of the connection between closed sectorial forms and maximal sectorial relations.     

On semilinear differential inclusions in Banach spaces with nondensely defined operators

We consider a semilinear differential inclusion in a Banach space assuming that its linear part is a nondensely defined Hille–Yosida operator whereas Carathèodory-type multivalued nonlinearity satisfies a regularity condition expressed in terms of the Hausdorff measure of noncompactness. We apply the theory of integrated semigroups and the fixed point theory of condensing multivalued maps to obtain local and global existence results and to prove the continuous dependence of the solutions set on initial data. An application to an optimization problem for a feedback control system is given.     

A Random Multivalued Uniform Boundedness Principle

We present a generalization of the Uniform Boundedness Principle valid for random multivalued linear operators, i.e., multivalued linear operators taking values in the space L₀(,Y) of random variables defined on a probability space with values in the Banach space Y. Namely, for a family of such operators that are continuous with positive probability, if the family is pointwise bounded with probability at least >0, then the operators are uniformly bounded with a probability that in each case can be estimated in terms of and the index of continuity of the operator. To achieve this result, we develop the fundamental theory of multivalued linear operators on general topological vector spaces. In particular, we exhibit versions of the Closed Graph Theorem, the Open Mapping Theorem, and the Uniform Boundedness Principle for multivalued operators between F-spaces.Mathematics Subject Classifications (2000) 46A16, 46A30, 47A06, 47B80, 60H25.     

Special bases for solutions of a generalized Maxwell system in 3‐dimensional space

The aim of this paper is to study complete polynomial systems in the kernel space of conformally invariant differential operators in higher spin theory. We investigate the kernel space of a generalized Maxwell operator in 3‐dimensional space. With the already known decomposition of its homogeneous kernel space into 2 subspaces, we investigate first projections from the homogeneous kernel space to each subspace. Then, we provide complete polynomial systems depending on the given inner product for each subspace in the decomposition. More specifically, the complete polynomial system for the homogenous kernel space is an orthogonal system wrt a given Fischer inner product. In the case of the standard inner product in L² on the unit ball, the provided complete polynomial system for the homogeneous kernel space is a partially orthogonal system. Further, if the degree of homogeneity for the respective subspaces in the decomposed kernel spaces approaches infinity, then the angle between the 2 subspaces approaches π/2.     

Generalized linear complementarity problems

It has been shown by Lemke that if a matrix is copositive plus on ⁿ , then feasibility of the corresponding linear complementarity problem implies solvability. In this article we show, under suitable conditions, that feasibility of ageneralized linear complementarity problem (i.e., defined over a more general closed convex cone in a real Hilbert space) implies solvability whenever the operator is copositive plus on that cone. We show that among all closed convex cones in a finite dimensional real Hilbert Space, polyhedral cones are theonly ones with the property that every copositive plus, feasible GLCP is solvable. We also prove a perturbation result for generalized linear complementarity problems.This research has been partially supported by the Air Force Office of Scientific Research under grants #AFOSR-82-0271 and #AFOSR-87-0350.     

Projection theorems in hyperbolic space

We establish Marstrand-type projection theorems for orthogonal projections along geodesics onto m-dimensional subspaces of the hyperbolic n-space by a geometric argument. Moreover, we obtain a Besicovitch–Federer type characterization of purely unrectifiable sets in terms of these hyperbolic orthogonal projections.

     

Functions with prescribed best linear approximations

A common problem in applied mathematics is that of finding a function in a Hilbert space with prescribed best approximations from a finite number of closed vector subspaces. In the present paper we study the question of the existence of solutions to such problems. A finite family of subspaces is said to satisfy the Inverse Best Approximation Property (IBAP) if there exists a point that admits any selection of points from these subspaces as best approximations. We provide various characterizations of the IBAP in terms of the geometry of the subspaces. Connections between the IBAP and the linear convergence rate of the periodic projection algorithm for solving the underlying affine feasibility problem are also established. The results are applied to investigate problems in harmonic analysis, integral equations, signal theory, and wavelet frames.     

Differential Algebras with Banach-Algebra Coefficients II: The Operator Cross-Ratio Tau-Function and the Schwarzian Derivative

Several features of an analytic (infinite-dimensional) Grassmannian of (commensurable) subspaces of a Hilbert space were developed in the context of integrable PDEs (KP hierarchy). We extended some of those features when polarized separable Hilbert spaces are generalized to a class of polarized Hilbert modules and then consider the classical Baker and τ-functions as operator-valued. Following from Part I we produce a pre-determinant structure for a class of τ-functions defined in the setting of the similarity class of projections of a certain Banach *-algebra. This structure is explicitly derived from the transition map of a corresponding principal bundle. The determinant of this map leads to an operator τ-function. We extend to this setting the operator cross-ratio which had previously been used to produce the scalar-valued τ-function, as well as the associated notion of a Schwarzian derivative along curves inside the space of similarity classes of a given projection. We link directly this cross-ratio with Fay’s trisecant identity for the τ-function. By restriction to the image of the Krichever map, we use the Schwarzian to introduce the notion of an operator-valued projective structure on a compact Riemann surface: this allows a deformation inside the Grassmannian (as it varies its complex structure). Lastly, we use our identification of the Jacobian of the Riemann surface in terms of extensions of the Burchnall–Chaundy C*-algebra (Part I) provides a link to the study of the KP hierarchy.     

Operators with smooth functional calculi

We introduce a class of (tuples of commuting) unbounded operators on a Banach space, admitting smooth functional calculi, which contains all operators of Helffer-Sjöstrand type and is closed under the action of smooth proper mappings. Moreover, the class is closed under tensor product of commuting operators. In general, and operator in this class has no resolvent in the usual sense, so the spectrum must be defined in terms of the functional calculus. We also consider invariant subspaces and spectral decompositions.