Searcharxiv⌕ Search

arXiv subjects

G. J. Groenewald

Publications and source records attributed to G. J. Groenewald.

17 recordsLinked to original sources
arXiv2024

A Toeplitz-like operator with rational matrix symbol having poles on the unit circle:\ Matrix representation and spectral analysis

In this paper we consider a class of unbounded Toeplitz operators with rational matrix symbols that have poles on the unit circle and employ state space realization techniques from linear systems theory, as used in our earlier analysis in [11] of this class of operators, to study the connection with semi-infinite Toeplitz matrices and to determine the essential spectrum and resolvent set.

math.FA↗
arXiv2023

A Toeplitz-like operator with rational matrix symbol having poles on the unit circle: Invertibility and Riccati equations

This paper is a continuation of the work on unbounded Toeplitz-like operators $T_\Om$ with rational matrix symbol $\Om$ initiated in Groenewald et. al (Complex Anal. Oper. Theory 15, 1(2021)), where a Wiener-Hopf type factorization of $\Om$ is obtained and used to determine when $T_\Om$ is Fredholm and compute the Fredholm index in case $T_\Om$ is Fredholm. Due to the high level of non-uniqueness and complicated form of the Wiener-Hopf type factorization, it does not appear useful in determining when $T_\Om$ is invertible. In the present paper we use state space methods to characterize invertibility of $T_\Om$ in terms of the existence of a stabilizing solution of an associated nonsymmetric discrete algebraic Riccati equation, which in turn leads to a pseudo-canonical factorization of $\Om$ and concrete formulas of $T_\Om^{-1}$.

math.FA↗
arXiv2023

A Toeplitz-like operator with rational matrix symbol having poles on the unit circle: Fredholm characteristics

In a recent paper (Groenewald et al.\ {\em Complex Anal.\ Oper.\ Theory} \textbf{15:1} (2021)) we considered an unbounded Toeplitz-like operator $T_Ω$ generated by a rational matrix function $Ω$ that has poles on the unit circle $\mathbb{T}$ of the complex plane. A Wiener-Hopf type factorization was proved and this factorization was used to determine some Fredholm properties of the operator $T_Ω$, including the Fredholm index. Due to the lower triangular structure (rather than diagonal) of the middle term in the Wiener-Hopf type factorization and the lack of uniqueness, it is not straightforward to determine the dimension of the kernel of $T_Ω$ from this factorization, and hence of the co-kernel, even when $T_Ω$ is Fredholm. In the current paper we provide a formula for the dimension of the kernel of $T_Ω$ under an additional assumption on the Wiener-Hopf type factorization. In the case that $Ω$ is a $2 \times 2$ matrix function, a characterization of the kernel of the middle factor of the Wiener-Hopf type factorization is given and in many cases a formula for the dimension of the kernel is obtained. The characterization of the kernel of the middle factor for the $2 \times 2$ case is partially extended to the case of matrix functions of arbitrary size.

math.FA↗
arXiv2023

Galois groups and rational solutions of $p(X) = A$

We extend Theorem 1 of R. Reams, A Galois approach to m-th roots of matrices with rational entries, LAA 258 (1997), 187-194. Let $p(λ)$ be any polynomial over $\mathbb{Q}$ and let $A\in M_n(\mathbb{Q})$ have irreducible characteristic polynomial $f(λ)$ with degree n. We provide necessary and sufficient conditions for the existence of a solution $X\in M_n(\mathbb{Q})$ of the polynomial matrix equation $p(X) = A.$ Specifically, we find necessary and sufficient conditions for $f(p(λ))$ to have a factor of degree $n$ over $\mathbb{Q}.$

math.NT↗
arXiv2022

Wiener-Hopf factorization indices of rational matrix functions with respect to the unit circle in terms of realization

As in the paper [G. Groenewald, M.A. Kaashoek, A.C.M. Ran, Wiener-Hopf indices of unitary functions on the unit circle in terms of realizations and related results on Toeplitz operators. \emph{Indag. Math.} 28 (2017) 694--710] our aim is to obtain explicitly the Wiener-Hopf indices of a rational $m\times m$ matrix function $R(z)$ that has no poles and no zeros on the unit circle $\mathbb{T}$ but, in contrast with that paper, the function $R(z)$ is not required to be unitary on the unit circle. On the other hand, using a Douglas-Shapiro-Shields type of factorization, we show that $R(z)$ factors as $R(z)=Ξ(z)Ψ(z)$, where $Ξ(z)$ and $Ψ(z)$ are rational $m\times m$ matrix functions, $Ξ(z)$ is unitary on the unit circle and $Ψ(z)$ is an invertible outer function. Furthermore, the fact that $Ξ(z)$ is unitary on the unit circle allows us to factor as $Ξ(z) =V(z)W^*(z)$ where $V(z)$ and $W(z)$ are rational bi-inner $m\times m$ matrix functions. The latter allows us to solve the Wiener-Hopf indices problem. To derive explicit formulas for the functions $V(z)$ and $W(z)$ requires additional realization properties of the function $Ξ(z)$ which are given in the last two sections.

math.FA↗
arXiv2021

Polar decompositions of quaternion matrices in indefinite inner product spaces

Polar decompositions of quaternion matrices with respect to a given indefinite inner product are studied. Necessary and sufficient conditions for the existence of an $H$-polar decomposition are found. In the process an equivalent to Witt's theorem on extending $H$-isometries to $H$-unitary matrices is given for quaternion matrices.

math.FA↗
arXiv2020

$m$th roots of $H$-selfadjoint matrices

In this paper necessary and sufficient conditions are given for the existence of an $H$-selfadjoint $m$th root of a given $H$-selfadjoint matrix. A construction is given of such an $H$-selfadjoint $m$th root when it does exist.

math.FA↗
arXiv2020

A Toeplitz-like operator with rational matrix symbol having poles on the unit circle: Fredholm properties

This paper concerns the analysis of an unbounded Toeplitz-like operator generated by a rational matrix function having poles on the unit circle T. It extends the analysis of such operators generated by scalar rational functions with poles on T found in [11,12,13]. A Wiener-Hopf type factorization of rational matrix functions with poles and zeroes on T is proved and then used to analyze the Fredholm properties of such Toeplitz-like operators. A formula for the index, based on the factorization, is given. Furthermore, it is shown that the determinant of the matrix function having no zeroes on T is not sufficient for the Toeplitz-like operator to be Fredholm, in contrast to the classical case.

math.FA↗
arXiv2018

A Toeplitz-like operator with rational symbol having poles on the unit circle III: the adjoint

This paper contains a further analysis of the Toeplitz-like operators $T_ω$ on $H^p$ with rational symbol $ω$ having poles on the unit circle that were previously studied in [5.6]. Here the adjoint operator $T_ω^*$ is described. In the case where $p=2$ and $ω$ has poles only on the unit circle $\mathbb{T}$, a description is given for when $T_ω^*$ is symmetric and when $T_ω^*$ admits a selfadjoint extension. Also in the case where $p=2$, $ω$ has only poles on $\mathbb{T}$ and in addition $ω$ is proper, it is shown that $T_ω^*$ coincides with the unbounded Toeplitz operator defined by Sarason in [10].

math.FA↗
arXiv2018

A Toeplitz-like operator with rational symbol having poles on the unit circle II: the spectrum

This paper is a continuation of our study of a class of Toeplitz-like operators with a rational symbol which has a pole on the unit circle. A description of the spectrum and its various parts, i.e., point, residual and continuous spectrum, is given, as well as a description of the essential spectrum. In this case, the essential spectrum need not be connected in ${\mathbb C}$. Various examples illustrate the results.

math.FA↗
arXiv2018

Standard versus Bounded Real Lemma with infinite-dimensional state space II: The storage function approach

For discrete-time causal linear input/state/output systems, the Bounded Real Lemma explains (under suitable hypotheses) the contractivity of the values of the transfer function over the unit disk for such a system in terms of the existence of a positive-definite solution of a certain Linear Matrix Inequality (the Kalman-Yakubovich-Popov (KYP) inequality). Recent work has extended this result to the setting of infinite-dimensional state space and associated non-rationality of the transfer function, where at least in some cases unbounded solutions of the generalized KYP-inequality are required. This paper is the second installment in a series of papers on the Bounded Real Lemma and the KYP inequality. We adapt Willems' storage-function approach to the infinite-dimensional linear setting, and in this way reprove various results presented in the first installment, where they were obtained as applications of infinite-dimensional State-Space-Similarity theorems, rather than via explicit computation of storage functions.

math.FA↗
arXiv2018

Standard versus Strict Bounded Real Lemma with infinite-dimensional state space I: The State-Space-Similarity Approach

The Bounded Real Lemma, i.e., the state-space linear matrix inequality characterization (referred to as Kalman-Yakubovich-Popov or KYP inequality) of when an input/state/output linear system satisfies a dissipation inequality, has recently been studied for infinite-dimensional discrete-time systems in a number of different settings: with or without stability assumptions, with or without controllability/observability assumptions, with or without strict inequalities. In these various settings, sometimes unbounded solutions of the KYP inequality are required while in other instances bounded solutions suffice. In a series of reports we show how these diverse results can be reconciled and unified. This first instalment focusses on the state-space-similarity approach to the bounded real lemma. We shall show how these results can be seen as corollaries of a new State-Space-Similarity theorem for infinite-dimensional linear systems.

math.FA↗
arXiv2018

Standard versus strict Bounded Real Lemma with infinite-dimensional state space III: The dichotomous and bicausal cases

This is the third installment in a series of papers concerning the Bounded Real Lemma for infinite-dimensional discrete-time linear input/state/output systems. In this setting, under appropriate conditions, the lemma characterizes when the transfer function associated with the system has contractive values on the unit circle, expressed in terms of a Linear Matrix Inequality, often referred to as the Kalman-Yakubovich-Popov (KYP) inequality. Whereas the first two installments focussed on causal systems with the transfer functions extending to an analytic function on the disk, in the present paper the system is still causal but the state operator is allowed to have nontrivial dichotomy (the unit circle is not contained in its spectrum), implying that the transfer function is analytic in a neighborhood of zero and on a neighborhood of the unit circle rather than on the unit disk. More generally, we consider bicausal systems, for which the transfer function need not be analytic in a neighborhood of zero. For both types of systems, by a variation on Willems' storage-function approach, we prove variations on the standard and strict Bounded Real Lemma. We also specialize the results to nonstationary discrete-time systems with a dichotomy, thereby recovering a Bounded Real Lemma due to Ben-Artzi--Gohberg-Kaashoek for such systems.

math.FA↗
arXiv2018

The Bezout equation on the right half plane in a Wiener space setting

This paper deals with the Bezout equation $G(s)X(s)=I_m$, $\Re s \geq 0$, in the Wiener space of analytic matrix-valued functions on the right half plane. In particular, $G$ is an $m\times p$ matrix-valued analytic Wiener function, where $p\geq m$, and the solution $X$ is required to be an analytic Wiener function of size $p\times m$. The set of all solutions is described explicitly in terms of a $p\times p$ matrix-valued analytic Wiener function $Y$, which has an inverse in the analytic Wiener space, and an associated inner function $Θ$ defined by $Y$ and the value of $G$ at infinity. Among the solutions, one is identified that minimizes the $H^2$-norm. A Wiener space version of Tolokonnikov's lemma plays an important role in the proofs. The results presented are natural analogs of those obtained for the discrete case in [11].

math.FA↗
arXiv2018

The Bezout-corona problem revisited: Wiener space setting

The matrix-valued {Bezout-corona} problem $G(z)X(z)=I_m$, $|z|<1$, is studied in a Wiener space setting, that is, the given function $G$ is an analytic matrix function on the unit {disc} whose Taylor coefficients are absolutely summable and the same is required for the solutions $X$. It turns out that all Wiener solutions can be described explicitly in terms of two matrices and a square analytic Wiener function $Y$ satisfying $\det Y(z)\not =0$ for all $|z|\leq 1$. It is also shown that some of the results hold in the $H^\infty$ {setting, but} not all. In fact, if $G$ is an $H^\infty$ function, then $Y$ is just an $H^2$ function. Nevertheless, in this case, using the two matrices and the function $Y$, all $H^2$ solutions to the Bezout-corona problem can be described explicitly in a form analogous to the one appearing in the Wiener setting.

math.FA↗
arXiv2008

Equivalence of robust stabilization and robust performance via feedback

One approach to robust control for linear plants with structured uncertainty as well as for linear parameter-varying (LPV) plants (where the controller has on-line access to the varying plant parameters) is through linear-fractional-transformation (LFT) models. Control issues to be addressed by controller design in this formalism include robust stability and robust performance. Here robust performance is defined as the achievement of a uniform specified $L^{2}$-gain tolerance for a disturbance-to-error map combined with robust stability. By setting the disturbance and error channels equal to zero, it is clear that any criterion for robust performance also produces a criterion for robust stability. Counter-intuitively, as a consequence of the so-called Main Loop Theorem, application of a result on robust stability to a feedback configuration with an artificial full-block uncertainty operator added in feedback connection between the error and disturbance signals produces a result on robust performance. The main result here is that this performance-to-stabilization reduction principle must be handled with care for the case of dynamic feedback compensation: casual application of this principle leads to the solution of a physically uninteresting problem, where the controller is assumed to have access to the states in the artificially-added feedback loop. Application of the principle using a known more refined dynamic-control robust stability criterion, where the user is allowed to specify controller partial-state dimensions, leads to correct robust-performance results. These latter results involve rank conditions in addition to Linear Matrix Inequality (LMI) conditions.

math.OC↗