-
1-D Schrödinger operator on a star graph with nondefinite weight function
Authors:
Edison Leguizamón,
Carsten Trunk,
Mitsuru Wilson,
Monika Winklmeier
Abstract:
On a star graph $G$ with $n = n_+ + n_-$ edges of unit length, we study the operator $-\frac{\mathrm{d}^2}{\mathrm{d} x^2}$ on $n_+$ and $\frac{\mathrm{d}^2}{\mathrm{d} x^2}$ on $n_-$ edges equipped with Dirichlet boundary conditions at the outer vertices and a Kirchhoff condition at the central vertex. We study the spectral properties of the corresponding indefinite Kirchhoff Laplacian on $G$ and…
▽ More
On a star graph $G$ with $n = n_+ + n_-$ edges of unit length, we study the operator $-\frac{\mathrm{d}^2}{\mathrm{d} x^2}$ on $n_+$ and $\frac{\mathrm{d}^2}{\mathrm{d} x^2}$ on $n_-$ edges equipped with Dirichlet boundary conditions at the outer vertices and a Kirchhoff condition at the central vertex. We study the spectral properties of the corresponding indefinite Kirchhoff Laplacian on $G$ and we show that it is similar to a selfadjoint operator in the Hilbert space $L^2(G)$ and that its eigenfunctions form a Riesz basis. Furthermore, we give a complete description of the point spectrum.
△ Less
Submitted 28 May, 2025;
originally announced May 2025.
-
Limit point and limit circle trichotomy for Sturm-Liouville problems with complex potentials
Authors:
Florian Leben,
Edison Leguizamón,
Carsten Trunk,
Monika Winklmeier
Abstract:
The limit point and limit circle classification of real Sturm-Liouville problems by H. Weyl more than 100 years ago was extended by A.R. Sims around 60 years ago to the case when the coefficients are complex. Here, the main result is a collection of various criteria which allow us to decide to which class of Sims' scheme a given Sturm-Liouville problem with complex coefficients belongs. This is su…
▽ More
The limit point and limit circle classification of real Sturm-Liouville problems by H. Weyl more than 100 years ago was extended by A.R. Sims around 60 years ago to the case when the coefficients are complex. Here, the main result is a collection of various criteria which allow us to decide to which class of Sims' scheme a given Sturm-Liouville problem with complex coefficients belongs. This is subsequently applied to a second order differential equation defined on a ray in $\mathbb C$ which is motivated by the recent intensive research connected with $\mathcal P \mathcal T$-symmetric Hamiltonians.
△ Less
Submitted 24 June, 2024; v1 submitted 24 October, 2023;
originally announced October 2023.
-
Feedback rectifiable pairs and stabilization of switched linear systems
Authors:
Maria C. Honecker,
Hannes Gernandt,
Kai Wulff,
Carsten Trunk,
Johann Reger
Abstract:
We address the feedback design problem for switched linear systems. In particular we aim to design a switched state-feedback such that the resulting closed-loop subsystems share the same eigenstructure. To this effect we formulate and analyse the feedback rectification problem for pairs of matrices. We present necessary and sufficient conditions for the feedback rectifiability of pairs for two sub…
▽ More
We address the feedback design problem for switched linear systems. In particular we aim to design a switched state-feedback such that the resulting closed-loop subsystems share the same eigenstructure. To this effect we formulate and analyse the feedback rectification problem for pairs of matrices. We present necessary and sufficient conditions for the feedback rectifiability of pairs for two subsystems and give a constructive procedure to design stabilizing state-feedback for a class of switched systems. In particular the proposed algorithm provides sets of eigenvalues and corresponding eigenvectors for the closed-loop subsystems that guarantee stability for arbitrary switching. Several examples illustrate the characteristics of the problem considered and the application of the proposed design procedure.
△ Less
Submitted 9 February, 2024; v1 submitted 21 August, 2023;
originally announced August 2023.
-
Perturbation and spectral theory for singular indefinite Sturm-Liouville operators
Authors:
Jussi Behrndt,
Philipp Schmitz,
Gerald Teschl,
Carsten Trunk
Abstract:
We study singular Sturm-Liouville operators of the form \[ \frac{1}{r_j}\left(-\frac{\mathrm d}{\mathrm dx}p_j\frac{\mathrm d}{\mathrm dx}+q_j\right),\qquad j=0,1, \] in $L^2((a,b);r_j)$, where, in contrast to the usual assumptions, the weight functions $r_j$ have different signs near the singular endpoints $a$ and $b$. In this situation the associated maximal operators become self-adjoint with re…
▽ More
We study singular Sturm-Liouville operators of the form \[ \frac{1}{r_j}\left(-\frac{\mathrm d}{\mathrm dx}p_j\frac{\mathrm d}{\mathrm dx}+q_j\right),\qquad j=0,1, \] in $L^2((a,b);r_j)$, where, in contrast to the usual assumptions, the weight functions $r_j$ have different signs near the singular endpoints $a$ and $b$. In this situation the associated maximal operators become self-adjoint with respect to indefinite inner products and their spectral properties differ essentially from the Hilbert space situation. We investigate the essential spectra and accumulation properties of nonreal and real discrete eigenvalues; we emphasize that here also perturbations of the indefinite weights $r_j$ are allowed. Special attention is paid to Kneser type results in the indefinite setting and to $L^1$ perturbations of periodic operators.
△ Less
Submitted 1 August, 2023;
originally announced August 2023.
-
On the solvability of boundary value problems for linear differential-algebraic equations with constant coefficients
Authors:
Anar Assanova,
Carsten Trunk,
Roza Uteshova
Abstract:
We study a two-point boundary value problem for a linear differen\-tial-algebraic equation with constant coefficients by using the method of parameterization. The parameter is set as the value of the continuously differentiable component of the solution at the left endpoint of the interval. Applying the Weierstrass canonical form to the matrix pair associated with the differential-algebraic equati…
▽ More
We study a two-point boundary value problem for a linear differen\-tial-algebraic equation with constant coefficients by using the method of parameterization. The parameter is set as the value of the continuously differentiable component of the solution at the left endpoint of the interval. Applying the Weierstrass canonical form to the matrix pair associated with the differential-algebraic equation, we obtain a criterion for the unique solvability of the problem.
△ Less
Submitted 6 July, 2023;
originally announced July 2023.
-
Lower bounds for self-adjoint Sturm-Liouville operators
Authors:
Jussi Behrndt,
Fritz Gesztesy,
Philipp Schmitz,
Carsten Trunk
Abstract:
In this note we provide estimates for the lower bound of the self-adjoint operator associated with the three-coefficient Sturm-Liouville differential expression $$ \frac{1}{r} \left(-\frac{\mathrm d}{\mathrm dx} p \frac{\mathrm d}{\mathrm dx} + q\right) $$ in the weighted $L^2$-Hilbert space $L^2(\mathbb R; rdx)$.
In this note we provide estimates for the lower bound of the self-adjoint operator associated with the three-coefficient Sturm-Liouville differential expression $$ \frac{1}{r} \left(-\frac{\mathrm d}{\mathrm dx} p \frac{\mathrm d}{\mathrm dx} + q\right) $$ in the weighted $L^2$-Hilbert space $L^2(\mathbb R; rdx)$.
△ Less
Submitted 19 December, 2022;
originally announced December 2022.
-
A Jordan-like decomposition for linear relations in finite-dimensional spaces
Authors:
Thomas Berger,
Henk de Snoo,
Carsten Trunk,
Henrik Winkler
Abstract:
A square matrix $A$ has the usual Jordan canonical form that describes the structure of $A$ via eigenvalues and the corresponding Jordan blocks. If $A$ is a linear relation in a finite-dimensional linear space ${\mathfrak H}$ (i.e., $A$ is a linear subspace of ${\mathfrak H} \times {\mathfrak H}$ and can be considered as a multivalued linear operator), then there is a richer structure. In addition…
▽ More
A square matrix $A$ has the usual Jordan canonical form that describes the structure of $A$ via eigenvalues and the corresponding Jordan blocks. If $A$ is a linear relation in a finite-dimensional linear space ${\mathfrak H}$ (i.e., $A$ is a linear subspace of ${\mathfrak H} \times {\mathfrak H}$ and can be considered as a multivalued linear operator), then there is a richer structure. In addition to the classical Jordan chains (interpreted in the Cartesian product ${\mathfrak H} \times {\mathfrak H}$), there occur three more classes of chains: chains starting at zero (the chains for the eigenvalue infinity), chains starting at zero and also ending at zero (the singular chains), and chains with linearly independent entries (the shift chains). These four types of chains give rise to a direct sum decomposition (a Jordan-like decomposition) of the linear relation $A$. In this decomposition there is a completely singular part that has the extended complex plane as eigenvalues; a usual Jordan part that corresponds to the finite proper eigenvalues; a Jordan part that corresponds to the eigenvalue $\infty$; and a multishift, i.e., a part that has no eigenvalues at all. Furthermore, the Jordan-like decomposition exhibits a certain uniqueness, closing a gap in earlier results. The presentation is purely algebraic, only the structure of linear spaces is used. Moreover, the presentation has a uniform character: each of the above types is constructed via an appropriately chosen sequence of quotient spaces. The dimensions of the spaces are the Weyr characteristics, which uniquely determine the Jordan-like decomposition of the linear relation.
△ Less
Submitted 13 September, 2022;
originally announced September 2022.
-
Relative oscillation theory and essential spectra of Sturm--Liouville operators
Authors:
Jussi Behrndt,
Philipp Schmitz,
Gerald Teschl,
Carsten Trunk
Abstract:
We develop relative oscillation theory for general Sturm-Liouville differential expressions of the form \[
\frac{1}{r}\left(-\frac{\mathrm d}{\mathrm dx} p \frac{\mathrm d}{\mathrm dx} + q\right) \] and prove perturbation results and invariance of essential spectra in terms of the real coefficients $p$, $q$, $r$. The novelty here is that we also allow perturbations of the weight function $r$ in…
▽ More
We develop relative oscillation theory for general Sturm-Liouville differential expressions of the form \[
\frac{1}{r}\left(-\frac{\mathrm d}{\mathrm dx} p \frac{\mathrm d}{\mathrm dx} + q\right) \] and prove perturbation results and invariance of essential spectra in terms of the real coefficients $p$, $q$, $r$. The novelty here is that we also allow perturbations of the weight function $r$ in which case the unperturbed and the perturbed operator act in different Hilbert spaces.
△ Less
Submitted 19 September, 2022; v1 submitted 16 March, 2022;
originally announced March 2022.
-
On characteristic invariants of matrix pencils and linear relations
Authors:
Hannes Gernandt,
Francisco Martínez Pería,
Friedrich Philipp,
Carsten Trunk
Abstract:
The relationship between linear relations and matrix pencils is investigated. Given a linear relation, we introduce its Weyr characteristic. If the linear relation is the range (or the kernel) representation of a given matrix pencil, we show that there is a correspondence between this characteristic and the Kronecker canonical form of the pencil. This relationship is exploited to obtain estimation…
▽ More
The relationship between linear relations and matrix pencils is investigated. Given a linear relation, we introduce its Weyr characteristic. If the linear relation is the range (or the kernel) representation of a given matrix pencil, we show that there is a correspondence between this characteristic and the Kronecker canonical form of the pencil. This relationship is exploited to obtain estimations on the invariant characteristics of matrix pencils under rank one perturbations.
△ Less
Submitted 15 March, 2022;
originally announced March 2022.
-
The spectrum and the Weyr characteristics of operator pencils and linear relations
Authors:
Hannes Gernandt,
Carsten Trunk
Abstract:
The relation between the spectra of operator pencils with unbounded coefficients and of associated linear relations is investigated. It turns out that various types of spectrum coincide and the same is true for the Weyr characteristics. This characteristic describes how many independent Jordan chains up to a certain length exist. Furthermore, the change of this characteristic subject to one-dimens…
▽ More
The relation between the spectra of operator pencils with unbounded coefficients and of associated linear relations is investigated. It turns out that various types of spectrum coincide and the same is true for the Weyr characteristics. This characteristic describes how many independent Jordan chains up to a certain length exist. Furthermore, the change of this characteristic subject to one-dimensional perturbations is investigated.
△ Less
Submitted 16 June, 2021;
originally announced June 2021.
-
Perturbations of periodic Sturm--Liouville operators
Authors:
Jussi Behrndt,
Philipp Schmitz,
Gerald Teschl,
Carsten Trunk
Abstract:
We study perturbations of the self-adjoint periodic Sturm--Liouville operator \[
A_0 = \frac{1}{r_0}\left(-\frac{\mathrm d}{\mathrm dx} p_0 \frac{\mathrm d}{\mathrm dx} + q_0\right) \] and conclude under $L^1$-assumptions on the differences of the coefficients that the essential spectrum and absolutely continuous spectrum remain the same. If a finite first moment condition holds for the differen…
▽ More
We study perturbations of the self-adjoint periodic Sturm--Liouville operator \[
A_0 = \frac{1}{r_0}\left(-\frac{\mathrm d}{\mathrm dx} p_0 \frac{\mathrm d}{\mathrm dx} + q_0\right) \] and conclude under $L^1$-assumptions on the differences of the coefficients that the essential spectrum and absolutely continuous spectrum remain the same. If a finite first moment condition holds for the differences of the coefficients, then at most finitely many eigenvalues appear in the spectral gaps. This observation extends a seminal result by Rofe-Beketov from the 1960s. Finally, imposing a second moment condition we show that the band edges are no eigenvalues of the perturbed operator.
△ Less
Submitted 27 May, 2021;
originally announced May 2021.
-
Indefinite Sturm-Liouville operators in polar form
Authors:
Branko Ćurgus,
Volodymyr Derkach,
Carsten Trunk
Abstract:
We consider the indefinite Sturm-Liouville differential expression \[\mathfrak{a}(f) := - \frac{1}{w}\left( \frac{1}{r} f' \right)',\] where $\mathfrak{a}$ is defined on a finite or infinite open interval $I$ with $0\in I$ and the coefficients $r$ and $w$ are locally summable and such that $r(x)$ and $(\operatorname{sgn} x) w(x)$ are positive a.e. on $I$. With the differential expression…
▽ More
We consider the indefinite Sturm-Liouville differential expression \[\mathfrak{a}(f) := - \frac{1}{w}\left( \frac{1}{r} f' \right)',\] where $\mathfrak{a}$ is defined on a finite or infinite open interval $I$ with $0\in I$ and the coefficients $r$ and $w$ are locally summable and such that $r(x)$ and $(\operatorname{sgn} x) w(x)$ are positive a.e. on $I$. With the differential expression $\mathfrak{a}$ we associate a nonnegative self-adjoint operator $A$ in the Krein space $L^2_w(I)$, which is viewed as a coupling of symmetric operators in Hilbert spaces related to the intersections of $I$ with the positive and the negative semi-axis. For the operator $A$ we derive conditions in terms of the coefficients $w$ and $r$ for the existence of a Riesz basis consisting of generalized eigenfunctions of $A$ and for the similarity of $A$ to a self-adjoint operator in a Hilbert space $L^2_{|w|}(I)$. These results are obtained as consequences of abstract results about the regularity of critical points of nonnegative self-adjoint operators in Krein spaces, which are couplings of two symmetric operators acting in Hilbert spaces.
△ Less
Submitted 14 August, 2023; v1 submitted 31 December, 2020;
originally announced January 2021.
-
Linear relations and their singular chains
Authors:
Thomas Berger,
Henk de Snoo,
Carsten Trunk,
Henrik Winkler
Abstract:
Singular chain spaces for linear relations in linear spaces play a fundamental role in the decomposition of linear relations in finite-dimensional spaces. In this paper singular chains and singular chain spaces are discussed in detail for not necessarily finite-dimensional linear spaces. This leads to an identity characterizing a singular chain space in terms of root spaces. The so-called proper e…
▽ More
Singular chain spaces for linear relations in linear spaces play a fundamental role in the decomposition of linear relations in finite-dimensional spaces. In this paper singular chains and singular chain spaces are discussed in detail for not necessarily finite-dimensional linear spaces. This leads to an identity characterizing a singular chain space in terms of root spaces. The so-called proper eigenvalues of a linear relation play an important role in the finite-dimensional case.
△ Less
Submitted 23 December, 2020;
originally announced December 2020.
-
Square roots of H-nonnegative matrices
Authors:
Dawie B. Janse van Rensburg,
Madelein van Straaten,
Frieda Theron,
Carsten Trunk
Abstract:
Roots of matrices are well-studied. The conditions for their existence are understood: The block sizes of nilpotent Jordan blocks, arranged in pairs, have to satisfy some simple algebraic property.
More interesting are structured roots of structured matrices. Probably the best known example is the existence and uniqueness of positive definite square roots of a positive definite matrix. If one dr…
▽ More
Roots of matrices are well-studied. The conditions for their existence are understood: The block sizes of nilpotent Jordan blocks, arranged in pairs, have to satisfy some simple algebraic property.
More interesting are structured roots of structured matrices. Probably the best known example is the existence and uniqueness of positive definite square roots of a positive definite matrix. If one drops the requirement of positive definiteness of the square root, it turns out that there exists an abundance of square roots. Here a description of all canonical forms of all square roots is possible and is straight forward.
H-nonnegative matrices are H-selfadjoint and are nonnegative with respect to an indefinite inner product with Gramian H. An H-nonnegative matrix $B$ allows a decomposition in a negative definite, a nilpotent H-nonnegative, and a positive definite matrix, B=B_- \oplus B_0 \oplus B_+. The interesting part is B_0, as only Jordan blocks of size one and two occur. Determining a square root of B reduces to determining a square root of each of B_-, B_0, and B_+. Here we investigate for an H-nonnegative matrix: its square roots without additional structure, as well as its structured square roots that are H-nonnegative or H-selfadjoint.
For these three classes of square roots of H-nonnegative matrices we show a simple criterion for their existence and describe all possible canonical forms. This is based mainly on known results but an important new part is that in all three cases we describe all possible square roots of the nilpotent H-nonnegative matrix B_0 explicitly. Moreover, we show how our results can be applied to the conditional and unconditional stability of H-nonnegative square roots of H-nonnegative matrices, where the explicit description of the square roots of B_0 is used.
△ Less
Submitted 16 October, 2020;
originally announced October 2020.
-
Spectral enclosures for a class of block operator matrices
Authors:
Juan Giribet,
Matthias Langer,
Francisco Martínez Pería,
Friedrich Philipp,
Carsten Trunk
Abstract:
We prove new spectral enclosures for the non-real spectrum of a class of $2\times2$ block operator matrices with self-adjoint operators $A$ and $D$ on the diagonal and operators $B$ and $-B^*$ as off-diagonal entries. One of our main results resembles Gershgorin's circle theorem. The enclosures are applied to $J$-frame operators.
We prove new spectral enclosures for the non-real spectrum of a class of $2\times2$ block operator matrices with self-adjoint operators $A$ and $D$ on the diagonal and operators $B$ and $-B^*$ as off-diagonal entries. One of our main results resembles Gershgorin's circle theorem. The enclosures are applied to $J$-frame operators.
△ Less
Submitted 29 May, 2020; v1 submitted 4 March, 2019;
originally announced March 2019.
-
On a class of non-Hermitian matrices with positive definite Schur complements
Authors:
Thomas Berger,
Juan Ignacio Giribet,
Francisco Martínez Pería,
Carsten Trunk
Abstract:
Given a positive definite matrix $A\in \mathbb{C}^{n\times n}$ and a Hermitian matrix $D\in \mathbb{C}^{m\times m}$, we characterize under which conditions there exists a strictly contractive matrix $K\in \mathbb{C}^{n\times m}$ such that the non-Hermitian block-matrix \[ \left[ \begin{array}{cc} A & -AK \\ K^*A & D \end{array} \right] \] has a positive definite Schur complement with respect to it…
▽ More
Given a positive definite matrix $A\in \mathbb{C}^{n\times n}$ and a Hermitian matrix $D\in \mathbb{C}^{m\times m}$, we characterize under which conditions there exists a strictly contractive matrix $K\in \mathbb{C}^{n\times m}$ such that the non-Hermitian block-matrix \[ \left[ \begin{array}{cc} A & -AK \\ K^*A & D \end{array} \right] \] has a positive definite Schur complement with respect to its submatrix~$A$. Additionally, we show that~$K$ can be chosen such that diagonalizability of the block-matrix is guaranteed and we compute its spectrum. Moreover, we show a connection to the recently developed frame theory for Krein spaces.
△ Less
Submitted 3 October, 2018; v1 submitted 23 July, 2018;
originally announced July 2018.
-
Finite Rank Perturbations of Linear Relations and Matrix Pencils
Authors:
Leslie Leben,
Francisco Martínez-Pería,
Friedrich Philipp,
Carsten Trunk,
Henrik Winkler
Abstract:
We elaborate on the deviation of the Jordan structures of two linear relations that are finite-dimensional perturbations of each other. We compare their number of Jordan chains of length at least $n$. In the operator case, it was recently proved that the difference of these numbers is independent of $n$ and is at most the defect between the operators. One of the main results of this paper shows th…
▽ More
We elaborate on the deviation of the Jordan structures of two linear relations that are finite-dimensional perturbations of each other. We compare their number of Jordan chains of length at least $n$. In the operator case, it was recently proved that the difference of these numbers is independent of $n$ and is at most the defect between the operators. One of the main results of this paper shows that in the case of linear relations this number has to be multiplied by $n+1$ and that this bound is sharp. The reason for this behavior is the existence of singular chains. We apply our results to one-dimensional perturbations of singular and regular matrix pencils. This is done by representing matrix pencils via linear relations. This technique allows for both proving known results for regular pencils as well as new results for singular ones.
△ Less
Submitted 17 December, 2020; v1 submitted 19 June, 2018;
originally announced June 2018.
-
Locally finite extensions and Gesztesy-Šeba realizations for the Dirac operator on a metric graph
Authors:
Hannes Gernandt,
Carsten Trunk
Abstract:
We study extensions of direct sums of symmetric operators $S=\oplus_{n\in\mathbb{N}} S_n$. In general there is no natural boundary triplet for $S^*$ even if there is one for every $S_n^*$, $n\in\mathbb{N}$. We consider a subclass of extensions of $S$ which can be described in terms of the boundary triplets of $S_n^*$ and investigate the self-adjointness, the semi-boundedness from below and the dis…
▽ More
We study extensions of direct sums of symmetric operators $S=\oplus_{n\in\mathbb{N}} S_n$. In general there is no natural boundary triplet for $S^*$ even if there is one for every $S_n^*$, $n\in\mathbb{N}$. We consider a subclass of extensions of $S$ which can be described in terms of the boundary triplets of $S_n^*$ and investigate the self-adjointness, the semi-boundedness from below and the discreteness of the spectrum. Sufficient conditions for these properties are obtained from recent results on weighted discrete Laplacians. The results are applied to Dirac operators on metric graphs with point interactions at the vertices. In particular, we allow graphs with arbitrarily small edge length.
△ Less
Submitted 11 June, 2018;
originally announced June 2018.
-
Spectral bounds for singular indefinite Sturm-Liouville operators with $L^1$--potentials
Authors:
Jussi Behrndt,
Philipp Schmitz,
Carsten Trunk
Abstract:
The spectrum of the singular indefinite Sturm-Liouville operator $$A=\text{\rm sgn}(\cdot)\bigl(-\tfrac{d^2}{dx^2}+q\bigr)$$ with a real potential $q\in L^1(\mathbb R)$ covers the whole real line and, in addition, non-real eigenvalues may appear if the potential $q$ assumes negative values. A quantitative analysis of the non-real eigenvalues is a challenging problem, and so far only partial result…
▽ More
The spectrum of the singular indefinite Sturm-Liouville operator $$A=\text{\rm sgn}(\cdot)\bigl(-\tfrac{d^2}{dx^2}+q\bigr)$$ with a real potential $q\in L^1(\mathbb R)$ covers the whole real line and, in addition, non-real eigenvalues may appear if the potential $q$ assumes negative values. A quantitative analysis of the non-real eigenvalues is a challenging problem, and so far only partial results in this direction were obtained. In this paper the bound $$|λ|\leq |q|_{L^1}^2$$ on the absolute values of the non-real eigenvalues $λ$ of $A$ is obtained. Furthermore, separate bounds on the imaginary parts and absolute values of these eigenvalues are proved in terms of the $L^1$-norm of the negative part of $q$.
△ Less
Submitted 18 December, 2017; v1 submitted 14 September, 2017;
originally announced September 2017.
-
Numerical Range and Quadratic Numerical Range for Damped Systems
Authors:
Birgit Jacob,
Christiane Tretter,
Carsten Trunk,
Hendrik Vogt
Abstract:
We prove new enclosures for the spectrum of non-selfadjoint operator matrices associated with second order linear differential equations $\ddot{z}(t) + D \dot{z} (t) + A_0 z(t) = 0$ in a Hilbert space. Our main tool is the quadratic numerical range for which we establish the spectral inclusion property under weak assumptions on the operators involved; in particular, the damping operator only needs…
▽ More
We prove new enclosures for the spectrum of non-selfadjoint operator matrices associated with second order linear differential equations $\ddot{z}(t) + D \dot{z} (t) + A_0 z(t) = 0$ in a Hilbert space. Our main tool is the quadratic numerical range for which we establish the spectral inclusion property under weak assumptions on the operators involved; in particular, the damping operator only needs to be accretive and may have the same strength as $A_0$. By means of the quadratic numerical range, we establish tight spectral estimates in terms of the unbounded operator coefficients $A_0$ and $D$ which improve earlier results for sectorial and selfadjoint $D$; in contrast to numerical range bounds, our enclosures may even provide bounded imaginary part of the spectrum or a spectral free vertical strip. An application to small transverse oscillations of a horizontal pipe carrying a steady-state flow of an ideal incompressible fluid illustrates that our new bounds are explicit.
△ Less
Submitted 21 March, 2017;
originally announced March 2017.
-
Spectrum of $J$-frame operators
Authors:
Juan Ignacio Giribet,
Matthias Langer,
Leslie Leben,
Alejandra Maestripieri,
Francisco Martínez Pería,
Carsten Trunk
Abstract:
A $J$-frame is a frame $\mathcal{F}$ for a Krein space $(\mathcal{H}, [\, , \,])$ which is compatible with the indefinite inner product $[\, , \, ]$ in the sense that it induces an indefinite reconstruction formula that resembles those produced by orthonormal bases in $\mathcal{H}$. With every $J$-frame the so-called $J$-frame operator is associated, which is a self-adjoint operator in the Krein s…
▽ More
A $J$-frame is a frame $\mathcal{F}$ for a Krein space $(\mathcal{H}, [\, , \,])$ which is compatible with the indefinite inner product $[\, , \, ]$ in the sense that it induces an indefinite reconstruction formula that resembles those produced by orthonormal bases in $\mathcal{H}$. With every $J$-frame the so-called $J$-frame operator is associated, which is a self-adjoint operator in the Krein space $\mathcal{H}$. The $J$-frame operator plays an essential role in the indefinite reconstruction formula.
In this paper we characterize the class of $J$-frame operators in a Krein space by a $2\times 2$ block operator representation. The $J$-frame bounds of $\mathcal{F}$ are then recovered as the suprema and infima of the numerical ranges of some uniformly positive operators which are build from the entries of the $2\times 2$ block representation. Moreover, this $2\times 2$ block representation is utilized to obtain enclosures for the spectrum of $J$-frame operators, which finally leads to the construction of a square root. This square root allows a complete description of all $J$-frames associated with a given $J$-frame operator.
△ Less
Submitted 10 March, 2017;
originally announced March 2017.
-
Eigenvalue placement for regular matrix pencils with rank one perturbations
Authors:
Hannes Gernandt,
Carsten Trunk
Abstract:
A regular matrix pencil sE-A and its rank one perturbations are considered. We determine the sets in the extended complex plane which are the eigenvalues of the perturbed pencil. We show that the largest Jordan chains at each eigenvalue of sE-A may disappear and the sum of the length of all destroyed Jordan chains is the number of eigenvalues (counted with multiplicities) which can be placed arbit…
▽ More
A regular matrix pencil sE-A and its rank one perturbations are considered. We determine the sets in the extended complex plane which are the eigenvalues of the perturbed pencil. We show that the largest Jordan chains at each eigenvalue of sE-A may disappear and the sum of the length of all destroyed Jordan chains is the number of eigenvalues (counted with multiplicities) which can be placed arbitrarily in the extended complex plane. We prove sharp upper and lower bounds of the change of the algebraic and geometric multiplicity of an eigenvalue under rank one perturbations. Finally we apply our results to a pole placement problem for a single-input differential algebraic equation with feedback.
△ Less
Submitted 5 January, 2017; v1 submitted 12 April, 2016;
originally announced April 2016.
-
The invertibility of 2X2 operator matrices
Authors:
Junjie Huang,
Junfeng Sun,
Alatancang Chen,
Carsten Trunk
Abstract:
In this paper the properties of right invertible row operators, i.e., of 1X2 surjective operator matrices are studied. This investigation is based on a specific space decomposition. Using this decomposition, we characterize the invertibility of a 2X2 operator matrix. As an application, the invertibility of Hamiltonian operator matrices is investigated.
In this paper the properties of right invertible row operators, i.e., of 1X2 surjective operator matrices are studied. This investigation is based on a specific space decomposition. Using this decomposition, we characterize the invertibility of a 2X2 operator matrix. As an application, the invertibility of Hamiltonian operator matrices is investigated.
△ Less
Submitted 10 April, 2016;
originally announced April 2016.
-
Variational principles for self-adjoint operator functions arising from second-order systems
Authors:
Birgit Jacob,
Matthias Langer,
Carsten Trunk
Abstract:
Variational principles are proved for self-adjoint operator functions arising from variational evolution equations of the form \[
\langle\ddot{z}(t),y \rangle + \mathfrak{d}[\dot{z} (t), y] + \mathfrak{a}_0 [z(t),y] = 0. \] Here $\mathfrak{a}_0$ and $\mathfrak{d}$ are densely defined, symmetric and positive sesquilinear forms on a Hilbert space $H$. We associate with the variational evolution eq…
▽ More
Variational principles are proved for self-adjoint operator functions arising from variational evolution equations of the form \[
\langle\ddot{z}(t),y \rangle + \mathfrak{d}[\dot{z} (t), y] + \mathfrak{a}_0 [z(t),y] = 0. \] Here $\mathfrak{a}_0$ and $\mathfrak{d}$ are densely defined, symmetric and positive sesquilinear forms on a Hilbert space $H$. We associate with the variational evolution equation an equivalent Cauchy problem corresponding to a block operator matrix $\mathcal{A}$, the forms \[
\mathfrak{t}(λ)[x,y] := λ^2\langle x,y\rangle + λ\mathfrak{d}[x,y] + \mathfrak{a}_0[x,y], \] where $λ\in \mathbb C$ and $x,y$ are in the domain of the form $\mathfrak{a}_0$, and a corresponding operator family $T(λ)$. Using form methods we define a generalized Rayleigh functional and characterize the eigenvalues above the essential spectrum of $\mathcal{A}$ by a min-max and a max-min variational principle. The obtained results are illustrated with a damped beam equation.
△ Less
Submitted 24 August, 2016; v1 submitted 26 October, 2014;
originally announced October 2014.
-
Spectral Points of Type $π_+$ and Type $π_-$ of Closed Operators in Indefinite Inner Product Spaces
Authors:
Friedrich Philipp,
Carsten Trunk
Abstract:
We introduce the notion of spectral points of type $π_+$ and type $π_-$ of closed operators $A$ in a Hilbert space which is equipped with an indefinite inner product. It is shown that these points are stable under compact perturbations. In the second part of the paper we assume that $A$ is symmetric with respect to the indefinite inner product and prove that the growth of the resolvent of $A$ is o…
▽ More
We introduce the notion of spectral points of type $π_+$ and type $π_-$ of closed operators $A$ in a Hilbert space which is equipped with an indefinite inner product. It is shown that these points are stable under compact perturbations. In the second part of the paper we assume that $A$ is symmetric with respect to the indefinite inner product and prove that the growth of the resolvent of $A$ is of finite order in a neighborhood of a real spectral point of type $π_+$ or $π_-$ which is not in the interior of the spectrum of $A$. Finally, we prove that there exists a local spectral function on intervals of type $π_+$ or $π_-$.
△ Less
Submitted 9 May, 2014;
originally announced May 2014.
-
The effect of finite rank perturbations on Jordan chains of linear operators
Authors:
Jussi Behrndt,
Leslie Leben,
Francisco Martínez Pería,
Carsten Trunk
Abstract:
A general result on the structure and dimension of the root subspaces of a matrix or a linear operator under finite rank perturbations is proved: The increase of dimension from the $n$-th power of the kernel of the perturbed operator to the $(n+1)$-th power differs from the increase of dimension of the corresponding powers of the kernels of the unperturbed operator by at most the rank of the pertu…
▽ More
A general result on the structure and dimension of the root subspaces of a matrix or a linear operator under finite rank perturbations is proved: The increase of dimension from the $n$-th power of the kernel of the perturbed operator to the $(n+1)$-th power differs from the increase of dimension of the corresponding powers of the kernels of the unperturbed operator by at most the rank of the perturbation and this bound is sharp.
△ Less
Submitted 31 March, 2015; v1 submitted 30 March, 2014;
originally announced March 2014.
-
The numerical range of non-negative operators in Krein spaces
Authors:
Friedrich Philipp,
Carsten Trunk
Abstract:
We define and characterize the Krein space numerical range $W(A)$ and the Krein space co-numerical range $W_{\rm co}(A)$ of a non-negative operator $A$ in a Krein space. It is shown that the non-zero spectrum of $A$ is contained in the closure of $W(A)\cap W_{\rm co}(A)$.
We define and characterize the Krein space numerical range $W(A)$ and the Krein space co-numerical range $W_{\rm co}(A)$ of a non-negative operator $A$ in a Krein space. It is shown that the non-zero spectrum of $A$ is contained in the closure of $W(A)\cap W_{\rm co}(A)$.
△ Less
Submitted 15 August, 2012;
originally announced August 2012.
-
Local spectral theory for normal operators in Krein spaces
Authors:
Friedrich Philipp,
Vladimir Strauss,
Carsten Trunk
Abstract:
Sign type spectra are an important tool in the investigation of spectral properties of selfadjoint operators in Krein spaces. It is our aim to show that also sign type spectra for normal operators in Krein spaces provide insight in the spectral nature of the operator: If the real part and the imaginary part of a normal operator in a Krein space have real spectra only and if the growth of the resol…
▽ More
Sign type spectra are an important tool in the investigation of spectral properties of selfadjoint operators in Krein spaces. It is our aim to show that also sign type spectra for normal operators in Krein spaces provide insight in the spectral nature of the operator: If the real part and the imaginary part of a normal operator in a Krein space have real spectra only and if the growth of the resolvent of the imaginary part (close to the real axis) is of finite order, then the normal operator possesses a local spectral function defined for Borel subsets of the spectrum which belong to positive (negative) type spectrum. Moreover, the restriction of the normal operator to the spectral subspace corresponding to such a Borel subset is a normal operator in some Hilbert space. In particular, if the spectrum consists entirely out of positive and negative type spectrum, then the operator is similar to a normal operator in some Hilbert space. We use this result to show the existence of operator roots of a class of quadratic operator polynomials with normal coefficients.
△ Less
Submitted 6 April, 2012;
originally announced April 2012.
-
Bounds on the non-real spectrum of differential operators with indefinite weights
Authors:
Jussi Behrndt,
Friedrich Philipp,
Carsten Trunk
Abstract:
Ordinary and partial differential operators with an indefinite weight function can be viewed as bounded perturbations of non-negative operators in Krein spaces. Under the assumption that 0 and $\infty$ are not singular critical points of the unperturbed operator it is shown that a bounded additive perturbation leads to an operator whose non-real spectrum is contained in a compact set and with defi…
▽ More
Ordinary and partial differential operators with an indefinite weight function can be viewed as bounded perturbations of non-negative operators in Krein spaces. Under the assumption that 0 and $\infty$ are not singular critical points of the unperturbed operator it is shown that a bounded additive perturbation leads to an operator whose non-real spectrum is contained in a compact set and with definite type real spectrum outside this set. The main results are quantitative estimates for this set, which are applied to Sturm-Liouville and second order elliptic partial differential operators with indefinite weights on unbounded domains.
△ Less
Submitted 4 April, 2012;
originally announced April 2012.
-
Eigenvalue estimates for singular left-definite Sturm-Liouville operators
Authors:
Jussi Behrndt,
Roland Moews,
Carsten Trunk
Abstract:
The spectral properties of a singular left-definite Sturm-Liouville operator $JA$ are investigated and described via the properties of the corresponding right-definite selfadjoint counterpart $A$ which is obtained by substituting the indefinite weight function by its absolute value. The spectrum of the $J$-selfadjoint operator $JA$ is real and it follows that an interval $(a,b)\subset\mathbb R^+$…
▽ More
The spectral properties of a singular left-definite Sturm-Liouville operator $JA$ are investigated and described via the properties of the corresponding right-definite selfadjoint counterpart $A$ which is obtained by substituting the indefinite weight function by its absolute value. The spectrum of the $J$-selfadjoint operator $JA$ is real and it follows that an interval $(a,b)\subset\mathbb R^+$ is a gap in the essential spectrum of $A$ if and only if both intervals $(-b,-a)$ and $(a,b)$ are gaps in the essential spectrum of the $J$-selfadjoint operator $JA$. As one of the main results it is shown that the number of eigenvalues of $JA$ in $(-b,-a) \cup (a,b)$ differs at most by three of the number of eigenvalues of $A$ in the gap $(a,b)$; as a byproduct results on the accumulation of eigenvalues of singular left-definite Sturm-Liouville operators are obtained. Furthermore, left-definite problems with symmetric and periodic coefficients are treated, and several examples are included to illustrate the general results.
△ Less
Submitted 20 June, 2011; v1 submitted 19 December, 2010;
originally announced December 2010.
-
On a class of $J$-self-adjoint operators with empty resolvent set
Authors:
Sergii Kuzhel,
Carsten Trunk
Abstract:
In the present paper we investigate the set $Σ_J$ of all $J$-self-adjoint extensions of a symmetric operator $S$ with deficiency indices $<2,2>$ which commutes with a non-trivial fundamental symmetry $J$ of a Krein space $(\mathfrak{H}, [\cdot,\cdot])$, SJ=JS. Our aim is to describe different types of $J$-self-adjoint extensions of $S$. One of our main results is the equivalence between the presen…
▽ More
In the present paper we investigate the set $Σ_J$ of all $J$-self-adjoint extensions of a symmetric operator $S$ with deficiency indices $<2,2>$ which commutes with a non-trivial fundamental symmetry $J$ of a Krein space $(\mathfrak{H}, [\cdot,\cdot])$, SJ=JS. Our aim is to describe different types of $J$-self-adjoint extensions of $S$. One of our main results is the equivalence between the presence of $J$-self-adjoint extensions of $S$ with empty resolvent set and the commutation of $S$ with a Clifford algebra ${\mathcal C}l_2(J,R)$, where $R$ is an additional fundamental symmetry with $JR=-RJ$. This enables one to construct the collection of operators $C_{χ,ω}$ realizing the property of stable $C$-symmetry for extensions $A\inΣ_J$ directly in terms of ${\mathcal C}l_2(J,R)$ and to parameterize the corresponding subset of extensions with stable $C$-symmetry. Such a situation occurs naturally in many applications, here we discuss the case of an indefinite Sturm-Liouville operator on the real line and a one dimensional Dirac operator with point interaction.
△ Less
Submitted 4 September, 2010;
originally announced September 2010.
-
Spectral properties of singular Sturm-Liouville operators with indefinite weight sgn x
Authors:
I. Karabash,
C. Trunk
Abstract:
We consider a singular Sturm-Liouville expression with the indefinite weight sgn x. To this expression there is naturally a self-adjoint operator in some Krein space associated. We characterize the local definitizability of this operator in a neighbourhood of $\infty$. Moreover, in this situation, the point $\infty$ is a regular critical point. We construct an operator $A=(\sgn x)(-d^2/dx^2+q)$…
▽ More
We consider a singular Sturm-Liouville expression with the indefinite weight sgn x. To this expression there is naturally a self-adjoint operator in some Krein space associated. We characterize the local definitizability of this operator in a neighbourhood of $\infty$. Moreover, in this situation, the point $\infty$ is a regular critical point. We construct an operator $A=(\sgn x)(-d^2/dx^2+q)$ with non-real spectrum accumulating to a real point. The obtained results are applied to several classes of Sturm-Liouville operators.
△ Less
Submitted 5 July, 2007;
originally announced July 2007.
-
Analyticity and Riesz basis property of semigroups associated to damped vibrations
Authors:
Birgit Jacob,
Carsten Trunk,
Monika Winklmeier
Abstract:
Second order equations of the form $z'' + A_0 z + D z'=0$ in an abstract Hilbert space are considered. Such equations are often used as a model for transverse motions of thin beams in the presence of damping. We derive various properties of the operator matrix $A$ associated with the second order problem above. We develop sufficient conditions for analyticity of the associated semigroup and for…
▽ More
Second order equations of the form $z'' + A_0 z + D z'=0$ in an abstract Hilbert space are considered. Such equations are often used as a model for transverse motions of thin beams in the presence of damping. We derive various properties of the operator matrix $A$ associated with the second order problem above. We develop sufficient conditions for analyticity of the associated semigroup and for the existence of a Riesz basis consisting of eigenvectors and associated vectors of $A$ in the phase space.
△ Less
Submitted 8 March, 2007;
originally announced March 2007.
