spec_core: Parameterise Jordan chains of multi-companion matrices

In mcompanion: Objects and Methods for Multi-Companion Matrices

Parameterise Jordan chains of multi-companion matrices

Description

Parameterise the Jordan chains corresponding to a given eigenvalue of a multi-companion matrix.

Usage

spec_core(mo, evalue, heights, ubasis = NULL, uorth = NULL, evspace = NULL)

Arguments

mo	multi-companion order, a positive integer.
evalue	eigenvalue, a real or complex number.
heights	dimensions of Jordan blocks of evalue, a vector of positive integers.
ubasis	basis of the universe, a matrix.
uorth	orthogonal complement of ubasis w.r.t. the full core basis, see Details.
evspace	The space spanned by the eigenvectors, see Details.

Details

spec_core prepares a canonical representation of the parameters of a multi-companion matrix coresponding to an eigenvalue. Roughly speaking, free parameters are represented by NA's in the returned object. For no-repeated eigenvalues the parameterisation consists of the eigenvalue and the seed parameters of the eigenvector. Even then, for uniqueness some convention needs to be adopted.

So, in general the parameterisation is effectively in terms of subspaces.

TODO: Currently this is not documented and is work in progress, there are only some working notes (rakopis: "Some technical details about the parameterisation of mc-matrices").

Value

a list representing the parameterised chains corresponding to the eigenvalue. Currently it contains the following elements:

evalue
heights
co
core.vectors
param.tall
param.hang
generators

Author(s)

Georgi N. Boshnakov

Examples

spec_core(4, 1, c(1,1,1,1))

spec_core(4, 1, c(2,1,1,1))
spec_seeds1(c(2,2,2,2), 4)
spec_seeds1(c(2,1,1,1), 4)
spec_core(4, 1, c(2,1,1,1))$co
spec_core(4, 1, c(2,1,1,1))$generators

mcompanion documentation built on Sept. 22, 2023, 5:12 p.m.