-
Wiener-Hopf indices of unimodular functions on the imaginary axis
Authors:
A. E. Frazho,
A. C. M. Ran,
F. van Schagen
Abstract:
This paper is concerned with the Wiener-Hopf indices of unimodular rational matrix functions on the imaginary axis. These indices play a role in the Fredholm theory for Wiener-Hopf integral operators. Our main result gives formulas for the Wiener-Hopf indices in terms of the matrices appearing in realizations of the factors in a Douglas-Shapiro-Shields factorization of the unimodular function. Two…
▽ More
This paper is concerned with the Wiener-Hopf indices of unimodular rational matrix functions on the imaginary axis. These indices play a role in the Fredholm theory for Wiener-Hopf integral operators. Our main result gives formulas for the Wiener-Hopf indices in terms of the matrices appearing in realizations of the factors in a Douglas-Shapiro-Shields factorization of the unimodular function. Two approaches to this problem are presented: one direct approach using operator theoretic methods, and a second approach using the Cayley transform which allows to use results for an analogous problem regarding unimodular functions on the unit circle and corresponding Toeplitz operators.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
A Toeplitz-like operator with rational matrix symbol having poles on the unit circle: Invertibility and Riccati equations
Authors:
G. J. Groenewald,
S. ter Horst,
J. Jaftha,
A. C. M. Ran
Abstract:
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…
▽ More
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}$.
△ Less
Submitted 26 September, 2023;
originally announced September 2023.
-
Wiener-Hopf indices of unimodular functions on the unit circle, revisited
Authors:
A. E. Frazho,
M. A. Kaashoek,
A. C. M. Ran,
F. van Schagen
Abstract:
Inspired by the paper of Groenewald, Kaashoek and 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), 649-710), we present an operator-theoretic approach to provide further insight and simpler computational formulas for the Wiener-Hopf indices of a rational matrix valued function taking…
▽ More
Inspired by the paper of Groenewald, Kaashoek and 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), 649-710), we present an operator-theoretic approach to provide further insight and simpler computational formulas for the Wiener-Hopf indices of a rational matrix valued function taking unimodular values on the unit circle.
△ Less
Submitted 10 August, 2023;
originally announced August 2023.
-
A Toeplitz-like operator with rational matrix symbol having poles on the unit circle: Fredholm characteristics
Authors:
G. J. Groenewald,
S. ter Horst,
J. J. Jaftha,
A. C. M. Ran
Abstract:
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_Ω$,…
▽ More
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.
△ Less
Submitted 13 July, 2023;
originally announced July 2023.
-
Galois groups and rational solutions of $p(X) = A$
Authors:
G. J. Groenewald,
G. Goosen,
D. B. Janse van Rensburg,
A. C. M. Ran,
M. van Straaten
Abstract:
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 equat…
▽ More
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}.$
△ Less
Submitted 11 July, 2023;
originally announced July 2023.
-
An interlacing result for Hermitian matrices in Minkowski space
Authors:
D. B. Janse van Rensburg,
A. C. M. Ran,
M. van Straaten
Abstract:
In this paper we will look at the well known interlacing problem, but here we consider the result for Hermitian matrices in the Minkowski space, an indefinite inner product space with one negative square. More specific, we consider the $n\times n$ matrix $A=\begin{bmatrix} J & u\\ -u^* & a\end{bmatrix}$ with $a\in\mathbb{R}$, $J=J^*$ and $u\in\mathbb{C}^{n-1}$. Then $A$ is $H$-selfadjoint with res…
▽ More
In this paper we will look at the well known interlacing problem, but here we consider the result for Hermitian matrices in the Minkowski space, an indefinite inner product space with one negative square. More specific, we consider the $n\times n$ matrix $A=\begin{bmatrix} J & u\\ -u^* & a\end{bmatrix}$ with $a\in\mathbb{R}$, $J=J^*$ and $u\in\mathbb{C}^{n-1}$. Then $A$ is $H$-selfadjoint with respect to the matrix $H=I_{n-1}\oplus(-1)$. The canonical form for the pair $(A,H)$ plays an important role and the sign characteristic coupled to the pair is also discussed.
△ Less
Submitted 1 December, 2022;
originally announced December 2022.
-
A note on the structure of expansive matrices in indefinite inner product spaces
Authors:
A. C. M. Ran
Abstract:
A result on the structure of expansive matrices in an indefinite inner product space is derived, which exhibits the largest unitary compression of the matrix.
A result on the structure of expansive matrices in an indefinite inner product space is derived, which exhibits the largest unitary compression of the matrix.
△ Less
Submitted 21 May, 2022;
originally announced May 2022.
-
Wiener-Hopf factorization indices of rational matrix functions with respect to the unit circle in terms of realization
Authors:
G. J. Groenewald,
M. A. Kaashoek,
A. C. M. Ran
Abstract:
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,…
▽ More
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.
△ Less
Submitted 27 November, 2022; v1 submitted 15 March, 2022;
originally announced March 2022.
-
Synchronization of Power Systems under Stochastic Disturbances
Authors:
Zhen Wang,
Kaihua Xi,
Aijie Cheng,
Hai Xiang Lin,
André C. M. Ran,
Jan H. van Schuppen,
Chenghui Zhang
Abstract:
The synchronization of power generators is an important condition for the proper functioning of a power system, in which the fluctuations in frequency and the phase angle differences between the generators are sufficiently small when subjected to stochastic disturbances. Serious fluctuations can prompt desynchronization, which may lead to widespread power outages. Here, we model the stochastic dis…
▽ More
The synchronization of power generators is an important condition for the proper functioning of a power system, in which the fluctuations in frequency and the phase angle differences between the generators are sufficiently small when subjected to stochastic disturbances. Serious fluctuations can prompt desynchronization, which may lead to widespread power outages. Here, we model the stochastic disturbance by a Brownian motion process in the linearized system of the non-linear power systems and characterize the fluctuations by the variances of the frequency and the phase angle differences in the invariant probability distribution. We propose a method to calculate the variances of the frequency and the phase angle differences. For the system with uniform disturbance-dam** ratio, we derive explicit formulas for the variance matrices of the frequency and the phase angle differences. It is shown that the fluctuation of the frequency at a node depends on the disturbance-dam** ratio and the inertia at this node only, and the fluctuations of the phase angle differences in the lines are independent of the inertia. In particular, the synchronization stability is related to the cycle space of the network. We reveal the influences of constructing new lines and increasing capacities of lines on the fluctuations in the phase angle differences in the existing lines. The results are illustrated for the transmission system of Shandong Province of China. For the system with non-uniform disturbance-dam** ratio, we further obtain bounds of the variance matrices.
△ Less
Submitted 17 August, 2023; v1 submitted 9 August, 2021;
originally announced August 2021.
-
Polar decompositions of quaternion matrices in indefinite inner product spaces
Authors:
G. J. Groenewald,
D. B. Janse van Rensburg,
A. C. M. Ran,
F. Theron,
M. van Straaten
Abstract:
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.
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.
△ Less
Submitted 19 June, 2021;
originally announced June 2021.
-
$m$th roots of $H$-selfadjoint matrices over the quaternions
Authors:
D. B. Janse van Rensburg,
A. C. M. Ran,
F. Theron,
M. van Straaten
Abstract:
The complex matrix representation for a quaternion matrix is used in this paper to find necessary and sufficient conditions for the existence of an $H$-selfadjoint $m$th root of a given $H$-selfadjoint quaternion matrix. In the process, when such an $H$-selfadjoint $m$th root exists, its construction is also given.
The complex matrix representation for a quaternion matrix is used in this paper to find necessary and sufficient conditions for the existence of an $H$-selfadjoint $m$th root of a given $H$-selfadjoint quaternion matrix. In the process, when such an $H$-selfadjoint $m$th root exists, its construction is also given.
△ Less
Submitted 9 June, 2021;
originally announced June 2021.
-
$m$th roots of $H$-selfadjoint matrices
Authors:
G. J. Groenewald,
D. B. Janse van Rensburg,
A. C. M. Ran,
F. Theron,
M. van Straaten
Abstract:
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.
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.
△ Less
Submitted 13 October, 2020; v1 submitted 27 July, 2020;
originally announced July 2020.
-
A note on a conjecture concerning rank one perturbations of singular M-matrices
Authors:
B. Anehila,
A. C. M. Ran
Abstract:
A conjecture from a paper by J. Bierkens and A.C.M. Ran concerning the location of eigenvalues of rank one perturbations of singular M-matrices is shown to be false in dimension four and higher, but true for dimension two, as well as for dimension three with an additional condition on the perturbation.
A conjecture from a paper by J. Bierkens and A.C.M. Ran concerning the location of eigenvalues of rank one perturbations of singular M-matrices is shown to be false in dimension four and higher, but true for dimension two, as well as for dimension three with an additional condition on the perturbation.
△ Less
Submitted 19 June, 2021; v1 submitted 22 July, 2020;
originally announced July 2020.
-
Global properties of eigenvalues of parametric rank one perturbations for unstructured and structured matrices
Authors:
A. C. M. Ran,
Michal Wojtylak
Abstract:
General properties of eigenvalues of $A+τuv^*$ as functions of $τ\in\Comp$ or $τ\in\Real$ or $τ=\e^{\iiθ}$ on the unit circle are considered. In particular, the problem of existence of global analytic formulas for eigenvalues is addressed. Furthermore, the limits of eigenvalues with $τ\to\infty$ are discussed in detail. The following classes of matrices are considered: complex (without additional…
▽ More
General properties of eigenvalues of $A+τuv^*$ as functions of $τ\in\Comp$ or $τ\in\Real$ or $τ=\e^{\iiθ}$ on the unit circle are considered. In particular, the problem of existence of global analytic formulas for eigenvalues is addressed. Furthermore, the limits of eigenvalues with $τ\to\infty$ are discussed in detail. The following classes of matrices are considered: complex (without additional structure), real (without additional structure), complex $H$-selfadjoint and real $J$-Hamiltonian.
△ Less
Submitted 2 July, 2020;
originally announced July 2020.
-
Equivalence after extension and Schur coupling for relatively regular operators
Authors:
S. ter Horst,
M. Messerschmidt,
A. C. M. Ran
Abstract:
It was recently shown in [24] that the Banach space operator relations Equivalence After Extension (EAE) and Schur Coupling (SC) do not coincide by characterizing these relations for operators acting on essentially incomparable Banach spaces. The examples that prove the non-coincidence are Fredholm operators, which is a subclass of relatively regular operators, the latter being operators with comp…
▽ More
It was recently shown in [24] that the Banach space operator relations Equivalence After Extension (EAE) and Schur Coupling (SC) do not coincide by characterizing these relations for operators acting on essentially incomparable Banach spaces. The examples that prove the non-coincidence are Fredholm operators, which is a subclass of relatively regular operators, the latter being operators with complementable kernels and ranges. In this paper we analyse the relations EAE and SC for the class of relatively regular operators, leading to an equivalent Banach space operator problem from which we derive new cases where EAE and SC coincide and provide a new example for which EAE and SC do not coincide and where the Banach space are not essentially incomparable.
△ Less
Submitted 29 May, 2020;
originally announced May 2020.
-
A Toeplitz-like operator with rational matrix symbol having poles on the unit circle: Fredholm properties
Authors:
G. J. Groenewald,
S. ter Horst,
J. Jaftha,
A. C. M. Ran
Abstract:
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 Fredhol…
▽ More
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.
△ Less
Submitted 29 May, 2020;
originally announced May 2020.
-
Equivalence after extension and Schur coupling do not coincide, on essentially incomparable Banach spaces
Authors:
Sanne ter Horst,
Miek Messerschmidt,
Andre C. M. Ran,
Mark Roelands
Abstract:
In 1994 H. Bart and V.É. Tsekanovskii posed the question whether the Banach space operator relations matricial coupling (MC), equivalence after extension (EAE) and Schur coupling (SC) coincide, leaving only the implication EAE/MC $\Rightarrow$ SC open. Despite several affirmative results, in this paper we show that the answer in general is no. This follows from a complete description of EAE and SC…
▽ More
In 1994 H. Bart and V.É. Tsekanovskii posed the question whether the Banach space operator relations matricial coupling (MC), equivalence after extension (EAE) and Schur coupling (SC) coincide, leaving only the implication EAE/MC $\Rightarrow$ SC open. Despite several affirmative results, in this paper we show that the answer in general is no. This follows from a complete description of EAE and SC for the case that the operators act on essentially incomparable Banach spaces, which also leads to a new characterization of the notion of essential incomparability. Concretely, the forward shift operators $U$ on $\ell^p$ and $V$ on $\ell^q$, for $1\leq p,q\leq \infty$, $p\neq q$, are EAE but not SC. As a corollary, SC is not transitive. Under mild assumptions, given $U$ and $V$ that are Atkinson or generalized invertible and EAE, we give a concrete operator $W$ that is SC to both $U$ and $V$, even if $U$ and $V$ are not SC themselves. Some further affirmative results for the case where the Banach spaces are isomorphic are also obtained.
△ Less
Submitted 26 January, 2019;
originally announced January 2019.
-
A Toeplitz-like operator with rational symbol having poles on the unit circle III: the adjoint
Authors:
G. J. Groenewald,
S. Ter Horst,
J. Jaftha,
A. C. M. Ran
Abstract:
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…
▽ More
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].
△ Less
Submitted 18 December, 2018;
originally announced December 2018.
-
A Toeplitz-like operator with rational symbol having poles on the unit circle II: the spectrum
Authors:
G. J. Groenewald,
S. ter Horst,
J. Jaftha,
A. C. M. Ran
Abstract:
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 illu…
▽ More
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.
△ Less
Submitted 24 April, 2018;
originally announced April 2018.
-
A Toeplitz-like operator with rational symbol having poles on the unit circle I: Fredholm properties
Authors:
G. J. Groenewald,
S. ter Horst,
J. Jaftha,
A. C. M. Ran
Abstract:
In this paper a definition is given for an unbounded Toeplitz-like operator with rational symbol which has poles on the unit circle. It is shown that the operator is Fredholm if and only if the symbol has no zeroes on the unit circle, and a formula for the index is given as well. Finally, a matrix representation of the operator is discussed.
In this paper a definition is given for an unbounded Toeplitz-like operator with rational symbol which has poles on the unit circle. It is shown that the operator is Fredholm if and only if the symbol has no zeroes on the unit circle, and a formula for the index is given as well. Finally, a matrix representation of the operator is discussed.
△ Less
Submitted 24 April, 2018;
originally announced April 2018.
-
Equivalence after extension and Schur coupling coincide for inessential operators
Authors:
S. ter Horst,
M. Messerschmidt,
A. C. M. Ran,
M. Roelands,
M. Wortel
Abstract:
In recent years the coincidence of the operator relations equivalence after extension (EAE) and Schur coupling (SC) was settled for the Hilbert space case. For Banach space operators, it is known that SC implies EAE, but the converse implication is only known for special classes of operators, such as Fredholm operators with index zero and operators that can in norm be approximated by invertible op…
▽ More
In recent years the coincidence of the operator relations equivalence after extension (EAE) and Schur coupling (SC) was settled for the Hilbert space case. For Banach space operators, it is known that SC implies EAE, but the converse implication is only known for special classes of operators, such as Fredholm operators with index zero and operators that can in norm be approximated by invertible operators. In this paper we prove that the implication EAE $\Rightarrow$ SC also holds for inessential Banach space operators. The inessential operators were introduced as a generalization of the compact operators, and include, besides the compact operators, also the strictly singular and strictly co-singular operators; in fact they form the largest ideal such that the invertible elements in the associated quotient algebra coincide with (the equivalence classes of) the Fredholm operators.
△ Less
Submitted 28 June, 2017;
originally announced June 2017.
-
Equivalence after extension for compact operators on Banach spaces
Authors:
Sanne ter Horst,
Miek Messerschmidt,
André C. M. Ran
Abstract:
In recent years the coincidence of the operator relations equivalence after extension and Schur coupling was settled for the Hilbert space case, by showing that equivalence after extension implies equivalence after one-sided extension. In this paper we investigate consequences of equivalence after extension for compact Banach space operators. We show that generating the same operator ideal is nece…
▽ More
In recent years the coincidence of the operator relations equivalence after extension and Schur coupling was settled for the Hilbert space case, by showing that equivalence after extension implies equivalence after one-sided extension. In this paper we investigate consequences of equivalence after extension for compact Banach space operators. We show that generating the same operator ideal is necessary but not sufficient for two compact operators to be equivalent after extension. In analogy with the necessary and sufficient conditions on the singular values for compact Hilbert space operators that are equivalent after extension, we prove the necessity of similar relationships between the $s$-numbers of two compact Banach space operators that are equivalent after extension, for arbitrary $s$-functions.
We investigate equivalence after extension for operators on $\ell^{p}$-spaces. We show that two operators that act on different $\ell^{p}$-spaces cannot be equivalent after one-sided extension. Such operators can still be equivalent after extension, for instance all invertible operators are equivalent after extension, however, if one of the two operators is compact, then they cannot be equivalent after extension. This contrasts the Hilbert space case where equivalence after one-sided extension and equivalence after extension are, in fact, identical relations.
Finally, for general Banach spaces $X$ and $Y$, we investigate consequences of an operator on $X$ being equivalent after extension to a compact operator on $Y$. We show that, in this case, a closed finite codimensional subspace of $Y$ must embed into $X$, and that certain general Banach space properties must transfer from $X$ to $Y$. We also show that no operator on $X$ can be equivalent after extension to an operator on $Y$, if $X$ and $Y$ are essentially incomparable Banach spaces.
△ Less
Submitted 5 June, 2015; v1 submitted 25 March, 2015;
originally announced March 2015.
-
Equivalence after extension and matricial coupling coincide with Schur coupling, on separable Hilbert spaces
Authors:
Sanne ter Horst,
Andre C. M. Ran
Abstract:
It is known that two Banach space operators that are Schur coupled are also equivalent after extension, or equivalently, matricially coupled. The converse implication, that operators which are equivalent after extension or matricially coupled are also Schur coupled, was only known for Fredholm Hilbert space operators and Fredholm Banach space operators with index 0. We prove that this implication…
▽ More
It is known that two Banach space operators that are Schur coupled are also equivalent after extension, or equivalently, matricially coupled. The converse implication, that operators which are equivalent after extension or matricially coupled are also Schur coupled, was only known for Fredholm Hilbert space operators and Fredholm Banach space operators with index 0. We prove that this implication also holds for Hilbert space operators with closed range, generalizing the result for Fredholm operators, and Banach space operators that can be approximated in operator norm by invertible operators. The combination of these two results enables us to prove that the implication holds for all operators on separable Hilbert spaces.
△ Less
Submitted 1 February, 2013;
originally announced February 2013.
-
Eigenvalues of rank one perturbations of unstructured matrices
Authors:
A. C. M. Ran,
M. Wojtylak
Abstract:
Let $A$ be a fixed complex matrix and let $u,v$ be two vectors. The eigenvalues of matrices $A+τuv^\top $ $(τ\in\mathbb{R})$ form a system of intersecting curves. The dependence of the intersections on the vectors $u,v$ is studied.
Let $A$ be a fixed complex matrix and let $u,v$ be two vectors. The eigenvalues of matrices $A+τuv^\top $ $(τ\in\mathbb{R})$ form a system of intersecting curves. The dependence of the intersections on the vectors $u,v$ is studied.
△ Less
Submitted 4 April, 2011;
originally announced April 2011.
-
Local Definitizability of $T^{[*]}T$ and $TT^{[*]}$
Authors:
Friedrich Philipp,
André C. M. Ran,
Michał Wojtylak
Abstract:
The spectral properties of two products $AB$ and $BA$ of possibly unbounded operators $A$ and $B$ in a Banach space are considered. The results are applied in the comparison of local spectral properties of the operators $T^{[*]} T$ and $TT^{[*]} $ in a Krein space. It is shown that under the assumption that both operators $T^{[*]} T$ and $T^{[*]} $ have non-empty resolvent sets, the operator…
▽ More
The spectral properties of two products $AB$ and $BA$ of possibly unbounded operators $A$ and $B$ in a Banach space are considered. The results are applied in the comparison of local spectral properties of the operators $T^{[*]} T$ and $TT^{[*]} $ in a Krein space. It is shown that under the assumption that both operators $T^{[*]} T$ and $T^{[*]} $ have non-empty resolvent sets, the operator $T^{[*]} T$ is locally definitizable if and only if $TT^{[*]} $ is. In this context the critical points of both operators are compared.
△ Less
Submitted 9 April, 2010;
originally announced April 2010.
