Displaying similar documents to “On the special trace decomposition problem on quaternion structure.”

Componentwise and Cartesian decompositions of linear relations

S. Hassi, H. S. V. de Snoo, F. H. Szafraniec

Similarity:

Let A be a, not necessarily closed, linear relation in a Hilbert space ℌ with a multivalued part mul A. An operator B in ℌ with ran B ⊥ mul A** is said to be an operator part of A when A = B +̂ ({0} × mul A), where the sum is componentwise (i.e. span of the graphs). This decomposition provides a counterpart and an extension for the notion of closability of (unbounded) operators to the setting of linear relations. Existence and uniqueness criteria for an operator part are established...

The generalized equations of Riccati and their applications to the theory of linear differential equations

T. Iwiński

Similarity:

CONTENTSIntroduction.............................................................................................................................. 31. Definition of the Riccati equation of the n-th order....................................................... 62. Theorems on the existence of solutions of R equations. Relations between the solutions of linear differential equations and the solutions of the corresponding R equations..................................................................................................

A Simple Proof of the Polar Decomposition Theorem

Paweł Wójcik (2017)

Annales Mathematicae Silesianae

Similarity:

In this expository paper, we present a new and easier proof of the Polar Decomposition Theorem. Unlike in classical proofs, we do not use the square root of a positive matrix. The presented proof is accessible to a broad audience.

Conservation Rules of Direct Sum Decomposition of Groups

Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama (2016)

Formalized Mathematics

Similarity:

In this article, conservation rules of the direct sum decomposition of groups are mainly discussed. In the first section, we prepare miscellaneous definitions and theorems for further formalization in Mizar [5]. In the next three sections, we formalized the fact that the property of direct sum decomposition is preserved against the substitutions of the subscript set, flattening of direct sum, and layering of direct sum, respectively. We referred to [14], [13] [6] and [11] in the formalization. ...

A variant of the reciprocal super Catalan matrix

Emrah Kılıç, Ilker Akkus, Gonca Kızılaslan (2015)

Special Matrices

Similarity:

Recently Prodinger [8] considered the reciprocal super Catalan matrix and gave explicit formulæ for its LU-decomposition, the LU-decomposition of its inverse, and obtained some related matrices. For all results, q-analogues were also presented. In this paper, we define and study a variant of the reciprocal super Catalan matrix with two additional parameters. Explicit formulæ for its LU-decomposition, LUdecomposition of its inverse and the Cholesky decomposition are obtained. For all...

On selection of interface weights in domain decomposition methods

Čertíková, Marta, Šístek, Jakub, Burda, Pavel

Similarity:

Different choices of the averaging operator within the BDDC method are compared on a series of 2D experiments. Subdomains with irregular interface and with jumps in material coefficients are included into the study. Two new approaches are studied along three standard choices. No approach is shown to be universally superior to others, and the resulting recommendation is that an actual method should be chosen based on properties of the problem.