Eine Faktorisierung der bei der rationalen Interpolation auftretenden Matrizen.
We describe a simple linear algebra idea which has been used in different branches of mathematics such as bifurcation theory, partial differential equations and numerical analysis. Under the name of the Schur complement method it is one of the standard tools of applied linear algebra. In PDE and spectral analysis it is sometimes called the Grushin problem method, and here we concentrate on its uses in the study of infinite dimensional problems, coming from partial differential operators of mathematical...
We use elementary triangular matrices to obtain some factorization, multiplication, and inversion properties of triangular matrices. We also obtain explicit expressions for the inverses of strict k-Hessenberg matrices and banded matrices. Our results can be extended to the cases of block triangular and block Hessenberg matrices. An n × n lower triangular matrix is called elementary if it is of the form I + C, where I is the identity matrix and C is lower triangular and has all of its nonzero entries...
In this article, we formalize in Mizar [14] the definition of embedding of lattice and its properties. We formally define an inner product on an embedded module. We also formalize properties of Gram matrix. We formally prove that an inverse of Gram matrix for a rational lattice exists. Lattice of Z-module is necessary for lattice problems, LLL (Lenstra, Lenstra and Lov´asz) base reduction algorithm [16] and cryptographic systems with lattice [17].
Denote by PSelf Ω (resp., Self Ω) the partial (resp., full) transformation monoid over a set Ω, and by Sub V (resp., End V) the collection of all subspaces (resp., endomorphisms) of a vector space V. We prove various results that imply the following: (1) If card Ω ≥ 2, then Self Ω has a semigroup embedding into the dual of Self Γ iff . In particular, if Ω has at least two elements, then there exists no semigroup embedding from Self Ω into the dual of PSelf Ω. (2) If V is infinite-dimensional, then...
Analytic continuation and domains of holomorphy for solution to the complex Laplace and Dirac equations in are studied. First, geometric description of envelopes of holomorphy over domains in is given. In more general case, solutions can be continued by integral formulas using values on a real dimensional cycle in . Sufficient conditions for this being possible are formulated.
A complex square matrix A is called an orthogonal projector if A 2 = A = A*, where A* denotes the conjugate transpose of A. In this paper, we give a comprehensive investigation to matrix expressions consisting of orthogonal projectors and their properties through ranks of matrices. We first collect some well-known rank formulas for orthogonal projectors and their operations, and then establish various new rank formulas for matrix expressions composed by orthogonal projectors. As applications, we...
In this paper we give necessary and sufficient conditions for the equality case in Wielandt’s eigenvalue inequality.