A functional model, eigenvalues, and finite singular critical points for indefinite Sturm-Liouville operators

Eigenvalues in the essential spectrum of a weighted Sturm-Liouville operator are studied under the assumption that the weight function has one turning point. An abstract approach to the problem is given via a functional model for indefinite Sturm-Liouville operators. Algebraic multiplicities of eigenvalues are obtained. Also, operators with finite singular critical points are considered.Comment: 38 pages, Proposition 2.2 and its proof corrected, Remarks 2.5, 3.4, and 3.12 extended, details added in subsections 2.3 and 4.2, section 6 rearranged, typos corrected, references adde

The similarity problem for JJ-nonnegative Sturm-Liouville operators

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 $q\in L^1(R, (1+|x|)dx)$, we prove that $A$ is similar to a self-adjoint operator if and only if $A$ is $J$-nonnegative. The latter condition on $q$ is sharp, i.e., we construct $q\in \cap_{\gamma <1} L^1(R, (1+|x|)^\gamma dx)$ such that $A$ is $J$-nonnegative with the singular critical point 0. Hence $A$ is not similar to a self-adjoint operator. For periodic and infinite-zone potentials, we show that $J$-positivity is sufficient for the similarity of $A$ to a self-adjoint operator. In the case $q\equiv 0$, we prove the regularity of the critical point 0 for a wide class of weights $r$. This yields new results for "forward-backward" diffusion equations.Comment: 36 pages, LaTeX2e, version 2; addresses of the authors added, the reference [38] update

Direct and inverse spectral theorems for a class of canonical systems with two singular endpoints

Part I of this paper deals with two-dimensional canonical systems $y'(x)=yJH(x)y(x)$, $x\in(a,b)$, whose Hamiltonian $H$ is non-negative and locally integrable, and where Weyl's limit point case takes place at both endpoints $a$ and $b$. We investigate a class of such systems defined by growth restrictions on H towards a. For example, Hamiltonians on $(0,\infty)$ of the form $H(x):=\begin{pmatrix}x^{-\alpha}&0\\ 0&1\end{pmatrix}$ where $\alpha<2$ are included in this class. We develop a direct and inverse spectral theory parallel to the theory of Weyl and de Branges for systems in the limit circle case at $a$. Our approach proceeds via - and is bound to - Pontryagin space theory. It relies on spectral theory and operator models in such spaces, and on the theory of de Branges Pontryagin spaces. The main results concerning the direct problem are: (1) showing existence of regularized boundary values at $a$; (2) construction of a singular Weyl coefficient and a scalar spectral measure; (3) construction of a Fourier transform and computation of its action and the action of its inverse as integral transforms. The main results for the inverse problem are: (4) characterization of the class of measures occurring above (positive Borel measures with power growth at $\pm\infty$); (5) a global uniqueness theorem (if Weyl functions or spectral measures coincide, Hamiltonians essentially coincide); (6) a local uniqueness theorem. In Part II of the paper the results of Part I are applied to Sturm--Liouville equations with singular coefficients. We investigate classes of equations without potential (in particular, equations in impedance form) and Schr\"odinger equations, where coefficients are assumed to be singular but subject to growth restrictions. We obtain corresponding direct and inverse spectral theorems