Fusion-Riesz frame in Hilbert space

Fusion-Riesz frame (Riesz frame of subspace) whose all subsets are fusion frame sequences with the same bounds is a special fusion frame. It is also considered a generalization of Riesz frame since it shares some important properties of Riesz frame. In this paper, we show a part of these properties of fusion-Riesz frame and the new results about the stabilities of fusion-Riesz frames under operator perturbation (simple named operator perturbation of fusion-Riesz frames). Moreover, we also compare the operator perturbation of fusion-Riesz frame with that of fusion frame, fusion-Riesz basis (also called Riesz decomposition or Riesz fusion basis) and exact fusion frame.     

Frames for vector spaces and affine spaces

A finite frame for a finite dimensional Hilbert space is simply a spanning sequence. We show that the linear functionals given by the dual frame vectors do not depend on the inner product, and thus it is possible to extend the frame expansion (and other elements of frame theory) to any finite spanning sequence for a vector space. The corresponding coordinate functionals generalise the dual basis (the case when the vectors are linearly independent), and are characterised by the fact that the associated Gramian matrix is an orthogonal projection. Existing generalisations of the frame expansion to Banach spaces involve an analogue of the frame bounds and frame operator.The potential applications of our results are considerable. Whenever there is a natural spanning set for a vector space, computations can be done directly with it, in an efficient and stable way. We illustrate this with a diverse range of examples, including multivariate spline spaces, generalised barycentric coordinates, and vector spaces over the rationals, such as the cyclotomic fields.     

Hilbert空间中对偶框架的扰动性

在Hilbert空间中框架扰动的基础上,运用算子论的方法,给出对偶框架扰动性的一些结果及证明.     

Restricted linear constrained minimization of quadratic functionals

In this work, a linearly constrained minimization of a positive semidefinite quadratic functional is examined. We propose two different approaches to this problem. Our results are concerning infinite dimensional real Hilbert spaces, with a singular positive semidefinite operator related to the functional, and considering as constraint a singular operator. The difference between the proposed approaches for the minimization and previous work on this problem is that it is considered for all vectors belonging to the least squares solutions set, or to the vectors perpendicular to the kernel of the related operator or matrix.     

Lipschitz-α算子的M-谱理论

本文运用一个选定的可逆Lip-α算子M作为尺度算子(称为谱尺度),引入两个Banach空间之间的非线性Lip-α算子的M-豫解集、M-谱集、M-谱半径、豫解集、谱集及谱半径,证明了它们的一列系重要性质,给出了M-谱的一个摄动定理,初步建立了Lip-α算子的M-谱理论,使得现有的谱理论成为其特例.     

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.     

On the singular set,the resolvent and Fermi's Golden Rule for finite volume hyperbolic surfaces

Consider a finite volume hyperbolic surface. Under perturbation the spectrum of the Laplace operator is unstable but the singular set is stable. We characterize the singular set in terms of the resolvent of the Laplace operator and extend Fermi's Golden Rule to the case of multiple eigenvalues. the date of receipt and acceptance should be inserted later     

Constructing all self-adjoint matrices with prescribed spectrum and diagonal

The Schur–Horn Theorem states that there exists a self-adjoint matrix with a given spectrum and diagonal if and only if the spectrum majorizes the diagonal. Though the original proof of this result was nonconstructive, several constructive proofs have subsequently been found. Most of these constructive proofs rely on Givens rotations, and none have been shown to be able to produce every example of such a matrix. We introduce a new construction method that is able to do so. This method is based on recent advances in finite frame theory which show how to construct frames whose frame operator has a given prescribed spectrum and whose vectors have given prescribed lengths. This frame construction requires one to find a sequence of eigensteps, that is, a sequence of interlacing spectra that satisfy certain trace considerations. In this paper, we show how to explicitly construct every such sequence of eigensteps. Here, the key idea is to visualize eigenstep construction as iteratively building a staircase. This visualization leads to an algorithm, dubbed Top Kill, which produces a valid sequence of eigensteps whenever it is possible to do so. We then build on Top Kill to explicitly parametrize the set of all valid eigensteps. This yields an explicit method for constructing all self-adjoint matrices with a given spectrum and diagonal, and moreover all frames whose frame operator has a given spectrum and whose elements have given lengths.     

Numerical analysis of a non‐singular boundary integral method: Part I. The circular case

In order to numerically solve the interior and the exterior Dirichlet problems for the Laplacian operator, we present here a method which consists in inverting, on a finite element space, a non‐singular integral operator. This operator is a geometrical perturbation of the Steklov operator, and we precisely define the relation between the geometrical perturbation and the dimension of the finite element space, in order to obtain a stable and convergent scheme. Furthermore, this numerical scheme does not give rise to any singular integral. The scheme can also be considered as a special quadrature formula method for the standard piecewise linear Galerkin approximation of the weakly singular single layer potential, the special quadrature formula being defined by the introduction of a neighbouring curve. In the present paper, we prove stability and we give error estimates of our numerical scheme when the Laplace problem is set on a disk. We will extend our results to any domains by using compact perturbation arguments, in a second paper. Copyright © 2001 John Wiley & Sons, Ltd.     

Numerical analysis of a non‐singular boundary integral method: Part II: The general case

In order to numerically solve the interior and the exterior Dirichlet problems for the Laplacian operator, we have presented in a previous paper a method which consists in inverting, on a finite element space, a non‐singular integral operator for circular domains. This operator was described as a geometrical perturbation of the Steklov operator, and we have precisely defined the relation between the geometrical perturbation and the dimension of the finite element space, in order to obtain a stable and convergent scheme in which there are non‐singular integrals. We have also presented another point of view under which the method can be considered as a special quadrature formula method for the standard piecewise linear Galerkin approximation of the weakly singular single‐layer potential. In the present paper, we extend the results given in the previous paper to more general cases for which the Laplace problem is set on any ??^∞ domains. We prove that the properties of stability and convergence remain valid. Copyright © 2002 John Wiley & Sons, Ltd.     

Properties of Attainable Sets of Evolution Inclusions and Control Systems of Subdifferential Type

In a separable Hilbert space we consider an evolution inclusion with a multivalued perturbation and the evolution operators that are the compositions of a linear operator and the subdifferentials of a time-dependent proper convex lower semicontinuous function. Alongside the initial inclusion, we consider a sequence of approximating evolution inclusions with the same perturbation and the evolution operators that are the compositions of the same linear operator and the subdifferentials of the Moreau–Yosida regularizations of the initial function. We demonstrate that the attainable set of the initial inclusion as a multivalued function of time is the time uniform limit of a sequence of the attainable sets of the approximating inclusions in the Hausdorff metric. We obtain similar results for evolution control systems of subdifferential type with mixed constraints on control. As application we consider an example of a control system with discontinuous nonlinearities containing some linear functions of the state variables of the system.     

Common hypercyclic vectors for the conjugate class of a hypercyclic operator

Given a separable, infinite dimensional Hilbert space, it was recently shown by the authors that there is a path of chaotic operators, which is dense in the operator algebra with the strong operator topology, and along which every operator has the exact same dense Gδ set of hypercyclic vectors. In the present work, we show that the conjugate set of any hypercyclic operator on a separable, infinite dimensional Banach space always contains a path of operators which is dense with the strong operator topology, and yet the set of common hypercyclic vectors for the entire path is a dense Gδ set. As a corollary, the hypercyclic operators on such a Banach space form a connected subset of the operator algebra with the strong operator topology.     

On strictly separating vectors and reflexivity

It is shown that the set of strongly disjoint pairs of strictly separating vectors for an operator space is open, and an operator subspace having a strongly disjoint pair of strictly separating vectors is reflexive. Some applications are discussed.     

Convergence of Newton-like methods for singular operator equations using outer inverses

Summary We present a (semilocal) Kantorovich-type analysis for Newton-like methods for singular operator equations using outer inverses. We establish sharp generalizations of the Kantorovich theory and the Mysovskii theory for operator equations when the derivative is not necessarily invertible. The results reduce in the case of an invertible derivative to well-known theorems of Kantorovich and Mysovskii with no additional assumptions, unlike earlier theorems which impose strong conditions. The strategy of the analysis is based on Banach-type lemmas and perturbation bounds for outer inverses which show that the set of outer inverses (to a given bounded linear operator) admits selections that behave like bounded linear inverses, in contrast to inner inverses or generalized inverses which do not depend continuously on perturbations of the operator. We give two examples to illustrate our results and compare them with earlier results, and another numerical example to relate our results to computational issues.The research of the first author was partially supported by the National Science Foundation under grant DMS-901526. The research of the second author was supported by an Australian Research Council grant     

扭的Heisenberg-Virasoro顶点算子代数的一个特征化（英文）

The twisted Heisenberg-Virasoro algebra is the universal central extension of the Lie algebra of differential operators on a circle of order at most one. In this paper, we first study the variety of semi-conformal vectors of the twisted Heisenberg-Virasoro vertex operator algebra, which is a finite set consisting of two nontrivial elements. Based on this property,we also show that the twisted Heisenberg-Virasoro vertex operator algebra is a tensor product of two vertex operator algebras. Moreover, associating to properties of semi-conformal vectors of the twisted Heisenberg-Virasoro vertex operator algebra, we charaterized twisted Heisenberg-Virasoro vertex operator algebras. This will be used to understand the classification problems of vertex operator algebras whose varieties of semi-conformal vectors are finite sets.     

Spectral analysis for linear semi‐infinite mass‐spring systems

We study how the spectrum of a Jacobi operator changes when this operator is modified by a certain finite rank perturbation. The operator corresponds to an infinite mass‐spring system and the perturbation is obtained by modifying one interior mass and one spring of this system. In particular, there are detailed results of what happens in the spectral gaps and which eigenvalues do not move under the modifications considered. These results were obtained by a new tecnique of comparative spectral analysis and they generalize and include previous results for finite and infinite Jacobi matrices.     

The stability of Banach frames in Banach spaces

In this paper, we give some equivalent conditions on a Banach frame for a Banach space by using the pseudoinverse operator. We also consider the stability of a Banach frame for a Banach space X with respect to Xd or an Xd-frame for a Banach space X under perturbation. These results generalize and improve the related works of Balan, Casazza, Christensen, Stoeva and Jian et al.     

Stability Analysis of Controlled, Partially-Connected, Distributed-Parameter Systems Through Perturbation Methods

A stability result for locally-controlled, interconnected, distributed-parameter systems (DPS) is developed. Using a special perturbation operator, exponential stability is shown to be a function of both the value of the perturbation operator and the characteristics of the interconnected DPS. Proof of the bound is shown using the expansion of the matrix operator and the solution vector through a set of gauge functions. Each expansion term is power matched and individually bound using stationary phase methods. Special consideration is given to interconnected systems of a structural dynamic nature.     

Invariant measures for frequently hypercyclic operators

We investigate frequently hypercyclic and chaotic linear operators from a measure-theoretic point of view. Among other things, we show that any frequently hypercyclic operator T acting on a reflexive Banach space admits an invariant probability measure with full support, which may be required to vanish on the set of all periodic vectors for T  ; that there exist frequently hypercyclic operators on the sequence space _c0$c_0$ admitting no ergodic measure with full support; and that if an operator admits an ergodic measure with full support, then it has a comeager set of distributionally irregular vectors. We also give some necessary and sufficient conditions (which are satisfied by all the known chaotic operators) for an operator T to admit an invariant measure supported on the set of its hypercyclic vectors and belonging to the closed convex hull of its periodic measures. Finally, we give a Baire category proof of the fact that any operator with a perfectly spanning set of unimodular eigenvectors admits an ergodic measure with full support.     

S.G理论在研究Semi-Fredholm算子时的应用

本文研究了具有有限升标（降标）的半Fredholm算子，证明了具有有限 升标（降标）的上半Fredholm算子在其摄动类中交换元的摄动下仍具有同样性质，对于下半Fredholm算子有同样结论。从而改进了[1,2]中的主要结果。同时，我们证明了被摄动算子集合扩大（相对于[1]而言）而摄动仍为紧摄动时较[1]中更强的结果。