The inverse problem for the differential operator pencil with complex periodic potential and discontinuous coefficients on the axis is studied. Main characteristics of the fundamental solutions are investigated, the spectrum of the operator is studied. We give formulation of the inverse problem, prove a uniqueness theorem and provide a constructive procedure for the solution of the inverse problem
We consider a pencil of non-self-adjoint matrix Sturm-Liouville operators on the half line and study the inverse problem of constructing this pencil by its Weyl matrix. A uniqueness theorem is proved, and a constructive algorithm for the solution is obtained.
We confirm rigorously the conjecture, based on numerical and asymptotic evidence, that all the eigenvalues of a certain non-self-adjoint operator are real.
We give a mathematically rigorous analysis which confirms the surprising results in a recent paper of Benilov, O'Brien and Sazonov about the spectrum of a highly singular non-self-adjoint operator that arises in a problem in fluid mechanics.
The question of self-adjoint realizations of sign-indefinite second order differential operators is discussed in terms of a model problem. Operators of the type $-\frac{d}{dx} \sgn (x) \frac{d}{dx}$ are generalized to finite, not necessarily compact, metric graphs. All self-adjoint realizations are parametrized using methods from extension theory. The spectral and scattering theory of the self-adjoint realizations are studied in detail.
Non-self-adjoint second-order differential pencils on a finite interval with non-separated quasi-periodic boundary conditions and jump conditions are studied. We establish properties of spectral characteristics and investigate the inverse spectral problem of recovering the operator from its spectral data. For this inverse problem we prove the corresponding uniqueness theorem and provide an algorithm for constructing its solution.
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.
The study of the possibility of existence of the non-propagating, trapped continental shelf waves (CSWs)along curved coasts reduces mathematically to a spectral problem for a self-adjoint operator pencil in a curved strip. Using the methods developed in the setting of the waveguide trapped mode problem, we show that such CSWs exist for a wide class of coast curvature and depth profiles.
We investigate the problem of similarity to a self-adjoint operator for $J$-positive Sturm-Liouville operators $L=\frac{1}ω(-\frac{d^2}{dx^2}+q)$ with $2π$-periodic coefficients $q$ and $ω$. It is shown that if 0 is a critical point of the operator $L$, then it is a singular critical point. This gives us a new class of $J$-positive differential operators with the singular critical point 0. Also, we extend the Beals and Parfenov regularity conditions for the critical point $\infty$ to the case of operators with periodic coefficients.
Let $Ω_-$ and $Ω_+$ be two bounded smooth domains in $\mathbb{R}^n$, $n\ge 2$, separated by a hypersurface $Σ$. For $μ>0$, consider the function $h_μ=1_{Ω_-}-μ1_{Ω_+}$. We discuss self-adjoint realizations of the operator $L_μ=-\nabla\cdot h_μ\nabla$ in $L^2(Ω_-\cupΩ_+)$ with the Dirichlet condition at the exterior boundary. We show that $L_μ$ is always essentially self-adjoint on the natural domain (corresponding to transmission-type boundary conditions at the interface $Σ$) and study some properties of its unique self-adjoint extension $\mathcal{L}_μ:=\overline{L_μ}$. If $μ\ne 1$, then $\mat…
For a particular family of long-range potentials $V$, we prove that the eigenvalues of the indefinite Sturm--Liouville operator $A = \mathrm{sign}(x)(-Δ+ V(x))$ accumulate to zero asymptotically along specific curves in the complex plane. Additionally, we relate the asymptotics of complex eigenvalues to the two-term asymptotics of the eigenvalues of associated self-adjoint operators.
We classify all sets of the form $\bigcup_{t\in\mathbb{R}}\mathrm{spec}(A+tB)$ where $A$ and $B$ are self-adjoint operators and $B$ is bounded, non-negative, and non-zero. We show that these sets are exactly the complements of discrete subsets of $\mathbb{R}$, that is, of at most countable subsets of $\mathbb{R}$ that contain none of their accumulation points.
Developed in 1999 by Akemann, Anderson, and Weaver, the spectral scale of an $n\times n$ matrix $A$, is a convex, compact subset of $\mathbb{R}^3$ that reveals important spectral information about $A$ \cite{AAW}. In this paper we present new information found in the spectral scale of a matrix. Given a matrix $A=A_1 + iA_2$ with $A_1$ and $A_2$ self-adjoint and $A_2\neq 0,$ we show that faces in the boundary of the spectral scale of $A$ that are parallel to the x-axis describe elements of $σ(A_1,A_2)\bigcap\mathbb{R},$ the real elements of the spectrum of the linear pencil $P(λ)=A_1 + λA_2.$
We present a new necessary condition for similarity of indefinite Sturm-Liouville operators to self-adjoint operators. This condition is formulated in terms of Weyl-Titchmarsh $m$-functions. Also we obtain necessary conditions for regularity of the critical points 0 and $\infty$ of $J$-nonnegative Sturm-Liouville operators. Using this result, we construct several examples of operators with the singular critical point zero. In particular, it is shown that 0 is a singular critical point of the operator $-\frac{(\sgn x)}{(3|x|+1)^{-4/3}} \frac{d^2}{dx^2}$ acting in the Hilbert space $L^2(\R, (3|x…
We investigate the behaviour of the eigenvalues of two-dimensional Pauli operators with nonconstant magnetic fields perturbed by a sign-indefinite decaying electric potential V. We prove new eigenvalues asymptotics.
We consider a regular indefinite Sturm-Liouville eigenvalue problem \{$-f" + q f = λr f$} on $[a,b]$ subject to general self-adjoint boundary conditions and with a weight function $r$ which changes its sign at finitely many, so-called turning points. We give sufficient and in some cases necessary and sufficient conditions for the Riesz basis property of this eigenvalue problem. In the case of separated boundary conditions we extend the class of weight functions $r$ for which the Riesz basis property can be completely characterized in terms of the local behavior of $r$ in a neighborhood of the …
The first and second representation theorems for sign-indefinite, not necessarily semi-bounded quadratic forms are revisited. New straightforward proofs of these theorems are given. A number of necessary and sufficient conditions ensuring the second representation theorem to hold is proved. A new simple and explicit example of a self-adjoint operator for which the second representation theorem does not hold is also provided.
This article can be considered as the first version of a book which the author plans to write about half-range problems in operator theory. It consists of two parts. The first part is based on lectures which the author delivered at University of Calgary and Lomonosov Moscow State University. The main attention in this part is paid to the selection of waves which are involved in the formulation of the Mandelstamm radiation principle (the eigen-pairs, corresponding to the real eigenvalues) and to the factorization problems of self-adjoint and dissipative, quadratic and polynomial operator pencil…
We study two problems. The first one is the similarity problem for the indefinite Sturm-Liouville operator \[ A=-(\sgn\, x)\frac{d}{wdx}\frac{d}{rdx} \] acting in $L^2_{w}(-b,b)$. It is assumed that $w,r\in L^1_{\loc}(-b,b)$ are even and positive a.e. on $(-b,b)$. The second object is the so-called HELP inequality \[(\int_{0}^b\frac{1}{\tilde{r}}|f'|\, dx)^2 \le K^2 \int_{0}^b|f|^2\tilde{w}\,dx\int_{0}^b\Big|\frac{1}{\tilde{w}}\big(\frac{1}{\tilde{r}}f'\big)'\Big|^2\tilde{w}\, dx, \] where the coefficients $\tilde{w},\tilde{r}\in L^1_{\loc}[0,b)$ are positive a.e. on $(0,b)$. Both problems are…
The variation of spectral subspaces for linear self-adjoint operators under an additive bounded perturbation is considered. The objective is to estimate the norm of the difference of two spectral projections associated with isolated parts of the spectrum of the perturbed and unperturbed operators. Recent results for semidefinite and general, not necessarily semidefinite, perturbations are unified to statements that cover both types of perturbations and, at the same time, also allow for certain perturbations that were not covered before.
We improve known perturbation results for self-adjoint operators in Hilbert spaces and prove spectral enclosures for diagonally dominant $J$-self-adjoint operator matrices. These are used in the proof of the central result, a perturbation theorem for $J$-non-negative operators. The results are applied to singular indefinite Sturm-Liouville operators with $L^p$-potentials. Known bounds on the non-real eigenvalues of such operators are improved.
The Evans function is a well known tool for locating spectra of differential operators in one spatial dimension. In this paper we construct a multidimensional analogue as the modified Fredholm determinant of a ratio of Dirichlet-to-Robin operators on the boundary. This gives a tool for studying the eigenvalue counting functions of second-order elliptic operators that need not be self-adjoint. To do this we use local representation theory for meromorphic operator-valued pencils, and relate the algebraic multiplicities of eigenvalues of elliptic operators to those of the Robin-to-Robin and Robin…
We address the count of isolated and embedded eigenvalues in a generalized eigenvalue problem defined by two self-adjoint operators with a positive essential spectrum and a finite number of isolated eigenvalues. The generalized eigenvalue problem determines spectral stability of nonlinear waves in a Hamiltonian dynamical system. The theory is based on the Pontryagin's Invariant Subspace theorem in an indefinite inner product space but it extends beyond the scope of earlier papers of Pontryagin, Krein, Grillakis, and others. Our main results are (i) the number of unstable and potentially unstab…
The class of three-diagonal Jacobi matrix with exponentially increasing elements is considered. Under some assumptions the matrix corresponds to unbounded self-adjoint operator in the weighted space. The weight depends on elements of the matrix and in some cases can arise indefinite metric. We proved that eigenvalue problem for this operator is equivalent to the eigenvalue problem of Sturm--Liouville operator with discrete self-similar weight. The asymptotic formulas for eigenvalues are obtained. These formulas differ for cases of definite and indefinite metrics.
In this paper the realization problems for the Krein-Langer class $N_κ$ of matrix-valued functions are being considered. We found the criterion when a given matrix-valued function from the class $N_κ$ can be realized as linear-fractional transformation of the transfer function of canonical conservative system of the M. Livsic type (Brodskii-Livsic rigged operator colligation) with the main operator acting on a rigged Pontryagin space $\Pk$ with indefinite metric. We specify three subclasses of the class $N_κ(R)$ of all realizable matrix-valued functions that correspond to different properties …
A modification of the well-known step-by-step process for solving Nevanlinna-Pick problems in the class of $\bR_0$-functions gives rise to a linear pencil $H-λJ$, where $H$ and $J$ are Hermitian tridiagonal matrices. First, we show that $J$ is a positive operator. Then it is proved that the corresponding Nevanlinna-Pick problem has a unique solution iff the densely defined symmetric operator $J^{-1/2}HJ^{-1/2}$ is self-adjoint and some criteria for this operator to be self-adjoint are presented. Finally, by means of the operator technique, we obtain that multipoint diagonal Padé approximants t…
Sufficient conditions for the similarity of the operator $A := 1/r(x) (-d^2/dx^2 +q(x))$ with an indefinite weight $r(x)=(\sgn x)|r(x)|$ are obtained. These conditions are formulated in terms of Titchmarsh-Weyl $m$-coefficients. Sufficient conditions for the regularity of the critical points 0 and $\infty$ of $J$-nonnegative Sturm-Liouville operators are also obtained. This result is exploited to prove the regularity of 0 for various classes of Sturm-Liouville operators. This implies the similarity of the considered operators to self-adjoint ones. In particular, in the case $r(x)=\sgn x$ and $…
We analyse how the spectrum of the anisotropic Maxwell system with bounded conductivity on a Lipschitz domain is approximated by domain truncation. First we prove a new non-convex enclosure for the spectrum of the Maxwell system, with weak assumptions on the geometry of the domain and none on the behaviour of the coefficients at infinity. We also establish a simple criterion for non-accumulation of eigenvalues on the imaginary axis as well as resolvent estimates. For asymptotically constant coefficients, we describe the essential spectrum and show that spectral pollution may occur only in the …
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=-R…
We develop direct and inverse spectral analysis for finite and semi-infinite non-self-adjoint Jacobi matrices with a rank one imaginary part. It is shown that given a set of $n$ not necessarily distinct non-real numbers in the open upper (lower) half-plane uniquely determines a n x n Jacobi matrix with a rank one imaginary part having those numbers as its eigenvalues counting multiplicity. An algorithm for reconstruction for such finite Jacobi matrices is presented. A new model complementing the well known Livsic triangular model for bounded linear operators with rank one imaginary part is obt…
Self-adjoint operators on infinite-dimensional spaces with continuous spectra are abundant but do not possess a basis of eigenfunctions. Rather, diagonalization is achieved through spectral measures. The SpecSolve package [SIAM Rev., 63(3) (2021), pp. 489--524] computes spectral measures of general (self-adjoint) differential and integral operators by combining state-of-the-art adaptive spectral methods with an efficient resolvent-based strategy. The algorithm achieves arbitrarily high orders of convergence in terms of a smoothing parameter, allowing computation of both discrete and continuous…
