Loading…
Loading…
math.SP
AG-2025.09-991
math.SP
Anshul Adve
The conformal bootstrap in physics has recently been adapted to prove remarkably sharp estimates on Laplace eigenvalues and triple correlations of automorphic forms on compact hyperbolic surfaces. These estimates derive from an infinite family of algebraic equations satisfied by this spectral data. The equations encode $G$-equivariance and associativity of multiplication on $Γ\backslash G$, for $Γ$ a cocompact lattice in $G = \text{PSL}_2(\mathbf{R})$. The effectiveness of the conformal bootstrap suggests that the equations characterize hyperbolic surface spectra, i.e., that every solution to the equations comes from a compact hyperbolic surface. This paper proves this rigorously with no analytic assumptions on the solution except discreteness of the spectrum. The key intermediate result is an axiomatic characterization of representations of $G$ of the form $L^2(Γ\backslash G)$.
22 Sept 2025
AG-2025.07-1114
math.SP
G. Bruno De Luca, Nicolò De Ponti, Andrea Mondino, Alessandro Tomasiello
Using the localization technique, we prove a sharp upper bound on the first Dirichlet eigenvalue of metric balls in essentially non-branching $\mathsf{CD}^{\star}(K,N)$ spaces. This extends a celebrated result of Cheng to the non-smooth setting of metric measure spaces satisfying Ricci curvature lower bounds in a synthetic sense, via optimal transport. Rigidity and stability statements are provided for $\mathsf{RCD}^{\star}(K,N)$ spaces; the stability seems to be new even for smooth Riemannian manifolds. We then present some mathematical and physical applications: in the former, we obtain an upper bound on the $j^{th}$ Neumann eigenvalue in essentially non-branching $\mathsf{CD}^{\star}(K,N)$ spaces and a bound on the essential spectrum in non-compact $\mathsf{RCD}^{\star}(K,N)$ spaces; in the latter, the eigenvalue bounds correspond to general upper bounds on the masses of the spin-2 Kaluza-Klein excitations around general warped compactifications of higher-dimensional theories of gravity.
31 Jul 2025
AG-2024.12-584
math.SP
Robie A. Hennigar, Hari K. Kunduri, Kam To Billy Sievers, Yiqing Wang
We numerically construct the spectrum of the Laplacian on Page's inhomogeneous Einstein metric on $\mathbb{CP}^2 \# \overline{\mathbb{CP}}^2$ by reducing the problem to a (singular) Sturm-Liouville problem in one dimension. We perform a perturbative analysis based upon a closely related, exactly solvable problem that strongly supports our results. We also study the spectrum of the Lichnerowicz Laplacian on symmetric traceless transverse two-tensors. The method relies on both the isometries of the Page metric and pseudospectral methods to numerically solve the resulting ODEs.
27 Dec 2024
AG-2024.12-113
math.SP
Qiuye Jia, Mikhail Molodyk, Ethan Sussman
We prove the essential self-adjointness of the d'Alembertian $\square_g$, allowing a larger class of spacetimes than previously considered, including those that arise from perturbing Minkowski spacetime by gravitational radiation. We emphasize the fact, proven by Taira in closely related settings, that all tempered distributions $u$ satisfying $\square_g u = λu +f$ for $λ\in \mathbb{C}\backslash \mathbb{R}$ and $f$ Schwartz are Schwartz. The proof is fully microlocal and relatively quick given the ``de,sc-'' machinery recently developed by the third author.
5 Dec 2024
AG-2024.07-2109
math.SP
Lucrezia Cossetti, David Krejcirik
We provide a link between the virial theorem in functional analysis and the method of multipliers in theory of partial differential equations. After giving a physical insight into the techniques, we show how to use them to deduce the absence of eigenvalues and other spectral properties of electromagnetic quantum Hamiltonians. We focus on our recent developments in non-self-adjoint settings, namely on Schroedinger operators with matrix-valued potentials, relativistic operators of Pauli and Dirac types, and complex Robin boundary conditions.
17 Jul 2024
AG-2024.05-2117
math.SP
David Kramar, David Krejcirik
We consider Dirac operators on the half-line, subject to generalised infinite-mass boundary conditions. We derive sufficient conditions which guarantee the stability of the spectrum against possibly non-self-adjoint potential perturbations and study the optimality of the obtained results. Finally, we establish a non-relativistic limit which makes a relationship of the present model to the Robin Laplacian on the half-line.
16 May 2024
AG-2024.02-1764
math.SP
Christopher Cedzich, Jake Fillman
We give a criterion based on reflection symmetries in the spirit of Jitomirskaya--Simon to show absence of point spectrum for (split-step) quantum walks and Cantero--Moral--Velázquez (CMV) matrices. To accomplish this, we use some ideas from a recent paper by the authors and their collaborators to implement suitable reflection symmetries for such operators. We give several applications. For instance, we deduce arithmetic delocalization in the phase for the unitary almost-Mathieu operator and singular continuous spectrum for generic CMV matrices generated by the Thue--Morse subshift.
16 Feb 2024
AG-2022.12-001
math.SP
Maarten V. de Hoop, Alexei Iantchenko
We present a comprehensive analysis of wavenumber resonances or leaky modes associated with the Rayleigh operator in a half space containing a heterogeneous slab, being motivated by seismology. To this end, we introduce Jost solutions on an appropriate Riemann surface, a boundary matrix and a reflection matrix in analogy to the studies of scattering resonances associated with the Schrödinger operator. We analyze their analytic properties and characterize the distribution of these wavenumber resonances. Furthermore, we show that the resonances appear as poles of the meromorphic continuation of the resolvent to the nonphysical sheets of the mentioned Riemann surface as expected.
1 Dec 2022
AG-2015.06-1299
math.SP
Christopher K. R. T. Jones, Yuri Latushkin, Robert Marangell
For Hill's equations with matrix valued periodic potential, we discuss relations between the Morse index, counting the number of unstable eigenvalues, and the Maslov index, counting the number of signed intersections of a path in the space of Lagrangian planes with a fixed plane. We adapt to the one dimensional periodic setting the strategy of a recent paper by J. Deng and C. Jones relating the Morse and Maslov indices for multidimensional elliptic eigenvalue problems.
18 Jun 2015
AG-2015.06-1404
math.SP
Diomba Sambou
We study the spectral shift function (SSF) $ξ(λ)$ and the resonances of the operator $H_V := \big( σ\cdot (-i\nabla - \textbf{A}) \big)^{2} + V$ in $L^2(\mathbb{R}^3)$ near the origin. Here $σ:= (σ_1,σ_2,σ_3)$ are the $2 \times 2$ Pauli matrices and $V$ is a hermitian potential decaying exponentially in the direction of the magnetic field $\textbf{B} := \text{curl} \hspace{0.6mm} \textbf{A}$. We give a representation of the derivative of the SSF as a sum of the imaginary part of a holomorphic function and a harmonic measure related to the resonances of $H_V$. This representation warrant the Breit-Wigner approximation moreover we deduce information about the singularities of the SSF at the origin and a local trace formula.
18 Jun 2015
AG-2015.06-1302
math.SP
Stephen Clark, Fritz Gesztesy, Roger Nichols
The main objective of this paper is to identify principal solutions associated with Sturm-Liouville operators on arbitrary open intervals $(a,b) \subseteq \mathbb{R}$, as introduced by Leighton and Morse in the scalar context in 1936 and by Hartman in the matrix-valued situation in 1957, with Weyl-Titchmarsh solutions, as long as the underlying Sturm-Liouville differential expression is nonoscillatory (resp., disconjugate or bounded from below near an endpoint) and in the limit point case at the endpoint in question. In addition, we derive an explicit formula for Weyl-Titchmarsh functions in this case (the latter appears to be new in the matrix-valued context).
18 Jun 2015
AG-2015.06-1259
math.SP
Rupert L. Frank, Barry Simon
Laptev and Safronov conjectured that any non-positive eigenvalue of a Schrödinger operator $-Δ+V$ in $L^2(\mathbb R^ν)$ with complex potential has absolute value at most a constant times $\|V\|_{γ+ν/2}^{(γ+ν/2)/γ}$ for $0<γ\leqν/2$ in dimension $ν\geq 2$. We prove this conjecture for radial potentials if $0<γ<ν/2$ and we `almost disprove' it for general potentials if $1/2<γ<ν/2$. In addition, we prove various bounds that hold, in particular, for positive eigenvalues.
17 Jun 2015
AG-2015.06-1082
math.SP
Álvaro Pelayo, San Vũ Ngoc
Using an abstract notion of semiclassical quantization for self-adjoint operators, we prove that the joint spectrum of a collection of commuting semiclassical self-adjoint operators converges to the classical spectrum given by the joint image of the principal symbols, in the semiclassical limit. This includes Berezin-Toeplitz quantization and certain cases of $\hbar$-pseudodifferential quantization, for instance when the symbols are uniformly bounded, and extends a result by L. Polterovich and the authors. In the last part of the paper we review the recent solution to the inverse problem for quantum integrable systems with periodic Hamiltonians, and explain how it also follows from the main result in this paper.
15 Jun 2015
AG-2015.06-1063
math.SP
Giacomo Di Gesù, Dorian Le Peutrec
We study the $L^2$ spectral gap of a large system of strongly coupled diffusions on unbounded state space and subject to a double-well potential. This system can be seen as a spatially discrete approximation of the stochastic Allen-Cahn equation on the one-dimensional torus. We prove upper and lower bounds for the leading term of the spectral gap in the small temperature regime with uniform control in the system size. The upper bound is given by an Eyring-Kramers-type formula. The lower bound is proven to hold also for the logarithmic Sobolev constant. We establish a sufficient condition for the asymptotic optimality of the upper bound and show that this condition is fulfilled under suitable assumptions on the growth of the system size. Our results can be reformulated in terms of a semiclassical Witten Laplacian in large dimension.
14 Jun 2015
AG-2015.06-395
math.SP
Yves Colin de Verdière, Luc Hillairet, Emmanuel Trélat
This paper is a proceedings version of \cite{CHT-I}, in which we state a Quantum Ergodicity (QE) theorem on a 3D contact manifold, and in which we establish some properties of the Quantum Limits (QL). We consider a sub-Riemannian (sR) metric on a compact 3D manifold with an oriented contact distribution. There exists a privileged choice of the contact form, with an associated Reeb vector field and a canonical volume form that coincides with the Popp measure. We state a QE theorem for the eigenfunctions of any associated sR Laplacian, under the assumption that the Reeb flow is ergodic. The limit measure is given by the normalized canonical contact measure. To our knowledge, this is the first extension of the usual Schnirelman theorem to a hypoelliptic operator. We provide as well a decomposition result of QL's, which is valid without any ergodicity assumption. We explain the main steps of the proof, and we discuss possible extensions to other sR geometries.
5 Jun 2015
AG-2015.05-1978
math.SP
Svetlana Jitomirskaya, Ilya Kachkovskiy
We give a simple argument that if a quasiperiodic multi-frequency Schrödinger cocycle is reducible to a constant rotation for almost all energies with respect to the density of states measure, then the spectrum of the dual operator is purely point for Lebesgue almost all values of the ergodic parameter $θ$. The result holds in the $L^2$ setting provided, in addition, that the conjugation preserves the fibered rotation number. Corollaries include localization for (long-range) 1D analytic potentials with dual ac spectrum and Diophantine frequency as well as a new result on multidimensional localization.
26 May 2015
AG-2015.05-1434
math.SP
Ognjen Milatovic, Francoise Truc
We study $H=D^*D+V$, where $D$ is a first order elliptic differential operator acting on sections of a Hermitian vector bundle over a Riemannian manifold $M$, and $V$ is a Hermitian bundle endomorphism. In the case when $M$ is geodesically complete, we establish the essential self-adjointness of positive integer powers of $H$. In the case when $M$ is not necessarily geodesically complete, we give a sufficient condition for the essential self-adjointness of $H$, expressed in terms of the behavior of $V$ relative to the Cauchy boundary of $M$.
20 May 2015
AG-2015.05-1272
math.SP
Alan Carey, Fritz Gesztesy, Galina Levitina, Fedor Sukochev
We survey the notion of the spectral shift function of a pair of self-adjoint operators and recent progress on its connection with the Witten index. We also describe a proof of Krein's Trace Theorem that does not use complex analysis [53] and develop its extension to general $σ$-finite von Neumann algebras $\mathcal{M}$ of type II and unbounded perturbations from the predual of $\mathcal{M}$. We also discuss the connection between the theory of the spectral shift function and index theory for certain model operators. We start by introducing various definitions of the Witten index, (an extension of the notion of Fredholm index to non-Fredholm operators). Then we study the model operator $D_{A^{}} = (d/dt) + A$ in $L^2(\mathbb{R};\mathcal{H})$ associated with the operator path $\{A(t)\}_{t=-\infty}^{\infty}$, where $(A f)(t) = A(t) f(t)$ for a.e. $t\in\mathbb{R}$, and appropriate $f \in L^2(\mathbb{R};\mathcal{H})$. The setup permits the operator family $A(t)$ on $\mathcal{H}$ to be an unbounded relatively trace class perturbation of the unbounded self-adjoint operator $A_-$, and no discrete spectrum assumptions are made on the asymptotes $A_{\pm}$. When $A_{\pm}$ are boundedly invertible, it is shown that $D_{A^{}}$ is Fredholm and its index can be computed as $ξ(0; A_+, A_-)$. When $0\inσ(A_+)$ (or $0\inσ(A_-)$), the operator $D_{A^{}}$ ceases to be Fredholm. However, if $0$ is a right and a left Lebesgue point of $ξ(\,\cdot\,\, ; A_+, A_-)$, the resolvent regularized Witten index $W_r(D_{A^{}})$ is given by $W_r(D_{A^{}}) = ξ(0_+; |D_{A^{*}}|^2, |D_{A^{}}|^2) = [ξ(0_+; A_+,A_-) + ξ(0_-; A_+, A_-)]/2$. We also study a special example, when the perturbation of the unbounded self-adjoint operator $A_-$ is not assumed to be relatively trace class.
19 May 2015
AG-2015.05-935
math.SP
Saidakhmat N. Lakaev, Ender Ozdemir
We consider a quantum particle moving in the one dimensional lattice Z and interacting with a indefinite sign external field v. We prove that the associated discrete Schroedinger operator H can have one or two eigenvalues, situated as below the bottom of the essential spectrum, as well as above its top. Moreover, we show that the operator H can have two eigenvalues outside of the essential spectrum such that one of them is situated below the bottom of the essential spectrum, and other one above its top.
14 May 2015
AG-2015.05-253
math.SP
Peter Yuditskii
One of the first theorems in perturbation theory claims that for an arbitrary self-adjoint operator A there exists a perturbation B of Hilbert-Schmidt class, which destroys completely the absolutely continuous spectrum of A (von Neumann). However, if A is the discrete free 1-D Schrödinger operator and B is a Jacobi matrix the a.c. spectrum remains perfectly the same. Moreover, Killip and Simon described explicitly the spectral properties for such A+B. Jointly with Damanik they generalized this result to the case of perturbations of periodic Jacobi matrices. Recall that the spectrum of a periodic Jacobi matrix is a system of intervals of a very specific nature. Christiansen, Simon and Zinchenko posed the following question: "is there an extension of the Damanik-Killip-Simon theorem to the general finite system of intervals case?" Here we solve this problem completely. Our method deals with the Jacobi flow on GMP matrices. GMP (an abbreviation for Generalized Moment Problem) matrices are probably a new object in the spectral theory (a very close relative of Jacobi and CMV matrices). The Jacobi flow on them is also a probably new member of the rich family of integrable systems. An ideology of analytic vector bundles plays an essential role in our construction.
5 May 2015
AG-2015.04-1850
math.SP
Bernard Helffer, Ayman Kachmar
We determine accurate asymptotics for the low-lying eigenvalues of the Robin Laplacian when the Robin parameter goes to $-\infty$. The two first terms in the expansion have been obtained by K. Pankrashkin in the $2D$-case and by K. Pankrashkin and N. Popoff in higher dimensions. The asymptotics display the influence of the scalar curvature and the splitting between every two consecutive eigenvalues. The analysis is based on the approach developed by Fournais-Helffer for the semi-classical magnetic Laplacian. We also propose a WKB construction as a candidate for the ground state energy.
29 Apr 2015
AG-2015.04-1399
math.SP
Aleksey Kostenko, Gerald Teschl
We find the high energy asymptotics for the singular Weyl--Titchmarsh m-functions and the associated spectral measures of perturbed spherical Schrödinger operators (also known as Bessel operators). We apply this result to establish an improved local Borg-Marchenko theorem for Bessel operators as well as uniqueness theorems for the radial quantum scattering problem with nontrivial angular momentum.
23 Apr 2015
AG-2015.04-1222
math.SP
Nils Rautenberg, Brice Camus
In this article we extend B. Simon's construction and results for leading order eigenvalue asymptotics to $n$-dimensional Schrödinger operators with non-confining potentials given by: $H^α_n=-Δ+\prod\limits_{i=1}^n |x_i|^{α_i}$ on $\mathbb{R}^n$ ($n>2$), $α:=(α_1,\cdots,α_n)\in (\mathbb{R}_{+}^*)^n$. We apply the results to also derive the leading order spectral asymptotics in the case of the Dirchlet Laplacian $-Δ^D$ on domains $Ω^α_n=\{x\in\mathbb{R}^n: \prod\limits_{j=1}^n |x_j|^{\frac{α_j}{α_n}}<1 \}$. keywords : Trace formulae; Schrödinger operators; Singular asymptotics.
21 Apr 2015
AG-2015.04-953
math.SP
Tomás Lungenstrass, Georgi Raikov
We consider metric perturbations of the Landau Hamiltonian. We investigate the asymptotic behaviour of the discrete spectrum of the perturbed operator near the Landau levels, for perturbations with power-like decay, exponential decay or compact support.
15 Apr 2015
AG-2015.03-1612
math.SP
Semra Demirel-Frank
We prove that the optimal constant in the Lieb--Thirring inequality on a star graph with $N$ edges coincides with that on $\mathbb R$ if $N$ is even. For odd $N$ we show that this property holds when restricting to radial potentials and we prove an almost optimal bound for general potentials.
24 Mar 2015
AG-2015.03-1368
math.SP
Jonathan Eckhardt, Fritz Gesztesy, Roger Nichols, Alexander Sakhnovich, Gerald Teschl
The principal purpose of this note is to provide a reconstruction procedure for distributional matrix-valued potential coefficients of Schrödinger-type operators on a half-line from the underlying Weyl-Titchmarsh function.
19 Mar 2015
AG-2015.03-834
math.SP
Giorgio Mantica
We describe a numerical procedure to compute the so-called isospectral torus of finite gap sets, that is, the set of Jacobi matrices whose essential spectrum is composed of finitely many intervals. We also study numerically the convergence of specific Jacobi matrices to their isospectral limit. We then extend the analyis to the definition and computation of an "isospectral torus" for Cantor sets in the family of Iterated Function Systems. This analysis is developed with the ultimate goal of attacking numerically the conjecture that the Jacobi matrices of I.F.S. measures supported on Cantor sets are asymptotically almost-periodic.
12 Mar 2015
AG-2015.03-564
math.SP
Rupert L. Frank, Alexander Pushnitski
We consider the product of spectral projections $$ Π_ε(λ) = 1_{(-\infty,λ-ε)}(H_0) 1_{(λ+ε,\infty)}(H) 1_{(-\infty,λ-ε)}(H_0) $$ where $H_0$ and $H$ are the free and the perturbed Schrödinger operators with a short range potential, $λ>0$ is fixed and $ε\to0$. We compute the leading term of the asymptotics of $\mathrm{Tr}\ f(Π_ε(λ))$ as $ε\to0$ for continuous functions $f$ vanishing sufficiently fast near zero. Our construction elucidates calculations that appeared earlier in the theory of "Anderson's orthogonality catastrophe" and emphasizes the role of Hankel operators in this phenomenon.
10 Mar 2015
AG-2015.02-1460
math.SP
Luis O. Silva, Gerald Teschl, Julio H. Toloza
We investigate the connections between Weyl-Titchmarsh-Kodaira theory for one-dimensional Schrödinger operators and the theory of $n$-entire operators. As our main result we find a necessary and sufficient condition for a one-dimensional Schrödinger operator to be $n$-entire in terms of square integrability of derivatives (w.r.t. the spectral parameter) of the Weyl solution. We also show that this is equivalent to the Weyl function being in a generalized Herglotz-Nevanlinna class. As an application we show that perturbed Bessel operators are $n$-entire, improving the previously known conditions on the perturbation.
24 Feb 2015
AG-2015.02-1395
math.SP
Nawal Mecherout, Naima Boussekkine, Thierry Ramond, Johannes Sjoestrand
We study a class of PT-symmetric semiclassical Schrödinger operators, which are perturbations of a selfadjoint one. Here, we treat the case where the unperturbed operator has a double-well potential. In the simple well case, two of the authors have proved in \cite{BoMe14} that, when the potential is analytic, the eigenvalues stay real for a perturbation of size O(1). We show here, in the double-well case, that the eigenvalues stay real only for exponentially small perturbations, then bifurcate into the complex domain when the perturbation increases and we get precise asymptotic expansions. The proof uses complex WKB-analysis, leading to a fairly explicit quantization condition.
21 Feb 2015
AG-2015.02-1388
math.SP
L. Golinskii, S. Kupin
We study a complex perturbation of a self-adjoint infinite band Schrodinger operator (defined in the form sense), and obtain the Lieb--Thirring type inequalities for the rate of convergence of the discrete spectrum of the perturbed operator to the joint essential spectrum of both operators.
20 Feb 2015
AG-2015.02-984
math.SP
Roman Romanov
We establish a sharp upper estimate for the order of a canonical system in terms of the Hamiltonian. This upper estimate becomes an equality in the case of Krein strings. As an application we prove a conjecture of Valent about the order of a certain class of Jacobi matrices with polynomial coefficients.
16 Feb 2015
AG-2015.02-1013
math.SP
Diana Barseghyan, Andrii Khrabustovskyi
We consider a family of quantum graphs $\{(Γ,\mathcal{A}_\varepsilon)\}_{\varepsilon>0}$, where $Γ$ is a $\mathbb{Z}^n$-periodic metric graph and the periodic Hamiltonian $\mathcal{A}_\varepsilon$ is defined by the operation $-\varepsilon^{-1} {\mathrm{d} ^2\over \mathrm{d} x^2}$ on the edges of $Γ$ and either $δ'$-type conditions or the Kirchhoff conditions at its vertices. Here $\varepsilon>0$ is a small parameter. We show that the spectrum of $\mathcal{A}_\varepsilon$ has at least $m$ gaps as $\varepsilon\to 0$ ($m\in\mathbb{N}$ is a predefined number), moreover the location of these gaps can be nicely controlled via a suitable choice of the geometry of $Γ$ and of coupling constants involved in $δ'$-type conditions.
16 Feb 2015
AG-2015.02-428
math.SP
Shimon Brooks
We consider the question of Quantum Unique Ergodicity for quasimodes on surfaces of constant negative curvature, and conjecture the order of quasimodes that should satisfy QUE. We then show that this conjecture holds for Eisenstein series on the modular surface, extending results of Luo-Sarnak and Jakobson. Moreover, we observe that the equidistribution results of Luo-Sarnak and Jakobson extend to quasimodes of much weaker order--- for which QUE is known to fail on compact surfaces--- though in this scenario the total mass of the limit measures will decrease. We interpret this stronger equidistribution property in the context of arithmetic QUE, in light of recent joint work with E. Lindenstrauss on joint quasimodes.
8 Feb 2015
AG-2015.02-026
math.SP
Nurulla Azamov
The spectral flow is a classical notion of functional analysis and differential geometry which was given different interpretations as Fredholm index, Witten index, and Maslov index. The classical theory treats spectral flow outside the essential spectrum. Inside essential spectrum, the spectral shift function could be considered as a proper analogue of spectral flow, but unlike the spectral flow, the spectral shift function is not an integer-valued function. In this paper it is shown that the notion of spectral flow admits a natural integer-valued extension for a.e. value of the spectral parameter inside essential spectrum too and appropriate theory is developed. The definition of spectral flow inside essential spectrum given in this paper applies to the classical spectral flow and thus gives one more new alternative definition of it.
2 Feb 2015
AG-2015.01-2192
math.SP
Chuan-Fu Yang, Vjacheslav Yurko
In this paper inverse problems for Dirac operator with nonlocal conditions are considered. Uniqueness theorems of inverse problems from the Weyl-type function and spectra are provided, which are generalizations of the well-known Weyl function and Borg's inverse problem for the classical Dirac operator.
30 Jan 2015
AG-2015.01-2193
math.SP
Vjacheslav Yurko
We study inverse spectral problems for ordinary differential equations with regular singularities on compact star-type graphs when differential equations have different orders on diferent edges. As the main spectral characteristics we introduce and study the so-called Weyl-type matrices which are generalizations of the Weyl function for the classical Sturm-Liouville operator. We provide a procedure for constructing the solution of the inverse problem and prove its uniqueness.
30 Jan 2015
AG-2015.01-2198
math.SP
Chuan-Fu Yang, Vjacheslav Yurko
Inverse problems for differential pencils with nonlocal conditions are investigated. Several uniqueness theorems of inverse problems from the Weyl-type function and spectra are proved, which are generalizations of the well-known Weyl function and Borg's inverse problem for the classical Sturm-Liouville operator.
30 Jan 2015
AG-2015.01-1760
math.SP
Kai Tao, Mircea Voda
We show Hölder continuity for the integrated density of states of a quasi-periodic Jacobi operator with analytic coefficients, in the regime of positive Lyapunov exponent and with a strong Diophantine condition on the frequency. In particular, when the coefficients are trigonometric polynomials we express the Hölder exponent in terms of the degrees of the coefficients.
29 Jan 2015
AG-2015.01-1282
math.SP
Tomas Ekholm, Hynek Kovarik, Fabian Portmann
We prove various estimates for the first eigenvalue of the magnetic Dirichlet Laplacian on a bounded domain in two dimensions. When the magnetic field is constant, we give lower and upper bounds in terms of geometric quantities of the domain. We furthermore prove a lower bound for the first magnetic Neumann eigenvalue in the case of constant field.
22 Jan 2015
AG-2015.01-870
math.SP
Jonathan Eckhardt, Fritz Gesztesy, Roger Nichols, Gerald Teschl
Building on work on Miura's transformation by Kappeler, Perry, Shubin, and Topalov, we develop a detailed spectral theoretic treatment of Schrödinger operators with matrix-valued potentials, with special emphasis on distributional potential coefficients. Our principal method relies on a supersymmetric (factorization) formalism underlying Miura's transformation, which intimately connects the triple of operators $(D, H_1, H_2)$ of the form [D= (0 & A^*, A & 0) \text{in} L^2(\mathbb{R})^{2m} \text{and} H_1 = A^* A, H_2 = A A^* \text{in} L^2(\mathbb{R})^m.] Here $A= I_m (d/dx) + ϕ$ in $L^2(\mathbb{R})^m$, with a matrix-valued coefficient $ϕ= ϕ^* \in L^1_{\text{loc}}(\mathbb{R})^{m \times m}$, $m \in \mathbb{N}$, thus explicitly permitting distributional potential coefficients $V_j$ in $H_j$, $j=1,2$, where [H_j = - I_m \frac{d^2}{dx^2} + V_j(x), \quad V_j(x) = ϕ(x)^2 + (-1)^{j} ϕ'(x), j=1,2.] Upon developing Weyl--Titchmarsh theory for these generalized Schrödinger operators $H_j$, with (possibly, distributional) matrix-valued potentials $V_j$, we provide some spectral theoretic applications, including a derivation of the corresponding spectral representations for $H_j$, $j=1,2$. Finally, we derive a local Borg--Marchenko uniqueness theorem for $H_j$, $j=1,2$, by employing the underlying supersymmetric structure and reducing it to the known local Borg--Marchenko uniqueness theorem for $D$.
16 Jan 2015
AG-2015.01-791
math.SP
Oleg Szehr
We investigate the relation between the spectrum of a non-normal matrix and the norm of its resolvent. We provide spectral estimates for the resolvent of matrices whose largest singular value is bounded by $1$ (so-called Hilbert space contractions) and for power-bounded matrices. In the first case our estimate is optimal and we present explicit matrices that achieve equality in the bound. This result recovers and generalizes previous estimates obtained by E.B. Davies and B. Simon in the study of orthogonal polynomials on the unit circle. In case of power-bounded matrices we achieve the strongest estimate so far. Our result unifies previous approaches, where the resolvent was estimated in certain restricted regions of the complex plane. To achieve our estimates we relate the problem of bounding the norm of a function of a matrix to a Nevanlinna-Pick interpolation problem in a corresponding function space. In case of Hilbert space contractions this problem is connected to the theory of compressed shift operators to which we contribute by providing explicit matrix representations for such operators. Finally, we apply our results to study the sensitivity of the stationary states of a classical or quantum Markov chain with respect to perturbations of the transition matrix.
14 Jan 2015
AG-2015.01-691
math.SP
Jussi Behrndt, Fritz Gesztesy, Till Micheler, Marius Mitrea
In this paper we study the self-adjoint Krein-von Neumann realization $A_K$ of the perturbed Laplacian $-Δ+V$ in a bounded Lipschitz domain $Ω\subset\mathbb{R}^n$. We provide an explicit and self-contained description of the domain of $A_K$ in terms of Dirichlet and Neumann boundary traces, and we establish a Weyl asymptotic formula for the eigenvalues of $A_K$.
13 Jan 2015
AG-2015.01-457
math.SP
Alexander Beigl, Jonathan Eckhardt, Aleksey Kostenko, Gerald Teschl
We investigate the connection between singular Weyl-Titchmarsh-Kodaira theory and the double commutation method for one-dimensional Dirac operators. In particular, we compute the singular Weyl function of the commuted operator in terms of the data from the original operator. These results are then applied to radial Dirac operators in order to show that the singular Weyl function of such an operator belongs to a generalized Nevanlinna class $N_{κ_0}$ with $κ_0=\lfloor|κ| + \frac{1}{2}\rfloor$, where $κ\in \mathbb{R}$ is the corresponding angular momentum.
8 Jan 2015
AG-2015.01-078
math.SP
Georgi Raikov
We consider the twisted waveguide $Ω_θ$, i.e. the domain obtained by the rotation of the bounded cross section $ω\subset {\mathbb R}^{2}$ of the straight tube $Ω: = ω\times {\mathbb R}$ at angle $θ$ which depends on the variable along the axis of $Ω$. We study the spectral properties of the Dirichlet Laplacian in $Ω_θ$, unitarily equivalent under the diffeomorphism $Ω_θ\to Ω$ to the operator $H_{θ'}$, self-adjoint in ${\rm L}^2(Ω)$. We assume that $θ' = β- ε$ where $β$ is a $2π$-periodic function, and $ε$ decays at infinity. Then in the spectrum $σ(H_β)$ of the unperturbed operator $H_β$ there is a semi-bounded gap $(-\infty, {\mathcal E}_0^+)$, and, possibly, a number of bounded open gaps $({\mathcal E}_j^-, {\mathcal E}_j^+)$. Since $ε$ decays at infinity, the essential spectra of $H_β$ and $H_{β- ε}$ coincide. We investigate the asymptotic behaviour of the discrete spectrum of $H_{β- ε}$ near an arbitrary fixed spectral edge ${\mathcal E}_j^\pm$. We establish necessary and quite close sufficient conditions which guarantee the finiteness of $σ_{\rm disc}(H_{β-ε})$ in a neighbourhood of ${\mathcal E}_j^\pm$. In the case where the necessary conditions are violated, we obtain the main asymptotic term of the corresponding eigenvalue counting function. The effective Hamiltonian which governs the the asymptotics of $σ_{\rm disc}(H_{β-ε})$ near ${\mathcal E}_j^\pm$ could be represented as a finite orthogonal sum of operators of the form $-μ\frac{d^2}{dx^2} - ηε$, self-adjoint in ${\rm L}^2({\mathbb R})$; here, $μ> 0$ is a constant related to the so-called effective mass, while $η$ is $2π$-periodic function depending on $β$ and $ω$.
4 Jan 2015
AG-2014.12-2829
math.SP
Hynek Kovarik
We consider two-dimensional Schroedinger operators with magnetic field. Under certain regularity and decay assumptions on the magnetic and electric field we show that the behavior of the corresponding resolvent at threshold and the behavior of the unitary group for large times are determined by the total flux of the associated magnetic field.
28 Dec 2014
AG-2014.12-1668
math.SP
Patricia Alonso Ruiz, Uta Freiberg
The asymptotic behaviour of the eigenvalue counting function of Laplacians on Hanoi attractors is determined. To this end, Dirichlet and resistance forms are constructed. Due to the non self-similarity of these sets, the classical construction of the Laplacian for p.c.f. self-similar fractals has to be modified by combining discrete and quantum graphs methods.
23 Dec 2014
AG-2014.12-1591
math.SP
Konstantin A. Makarov, Anna Skripka, Maxim Zinchenko
For a purely imaginary sign-definite perturbation of a self-adjoint operator, we obtain exponential representations for the perturbation determinant in both upper and lower half-planes and derive respective trace formulas.
20 Dec 2014
AG-2014.12-1392
math.SP
Siegfried Beckus, Daniel Lenz, Marko Lindner, Christian Seifert
We consider equivariant continuous families of discrete one-dimensional operators over arbitrary dynamical systems. We introduce the concept of a pseudo-ergodic element of a dynamical system. We then show that all operators associated to pseudo-ergodic elements have the same spectrum and that this spectrum agrees with their essential spectrum. As a consequence we obtain that the spectrum is constant and agrees with the essential spectrum for all elements in the dynamical system if minimality holds.
18 Dec 2014
AG-2014.12-952
math.SP
Vesselin Petkov, Georgi Vodev
We prove a Weyl asymptotics $N(r) = c r^d + {\mathcal O}_ε(r^{d - κ+ ε})$, $\forall\, 0< ε\ll 1$, for the counting function $N(r) = \sharp\{λ_j \in {\mathbb C} \setminus \{0\}:\: |λ_j| \leq r^2\}$, $r>1$, of the interior transmission eigenvalues (ITE), $λ_j$. Here $0<κ\leq 1$ is such that there are no (ITE) in the region $\{λ\in {\mathbb C}:\: |{\rm Im}\:λ|\geq C(| {\rm Re}\:λ|+1)^{1-\fracκ{2}}\}$ for some $C>0$.
14 Dec 2014
AG-2014.12-2903
math.SP
David Damanik, Anton Gorodetski
We consider the spectrum of discrete Schrödinger operators with Sturmian potentials and show that for sufficiently large coupling, its Hausdorff dimension and its upper box counting dimension are the same for Lebesgue almost every value of the frequency.
14 Dec 2014
AG-2014.12-337
math.SP
B. Eichinger, P. Yuditskii
One of the first and therefore most important theorems in perturbation theory claims that for an arbitrary self-adjoint operator A there exists a perturbation B of Hilbert-Schmidt class with arbitrary small operator norm, which destroys completely the absolutely continuos (a.c.) spectrum of the initial operator A (von Neumann). However, if A is the discrete free 1-D Schrödinger operator and B is an arbitrary Jacobi matrix (of Hilbert-Schmidt class) the a.c. spectrum remains perfectly the same, that is, the interval [-2,2]. Moreover, Killip and Simon described explicitly the spectral properties for such A+B. Jointly with Damanik they generalized this result to the case of perturbations of periodic Jacobi matrices in the non-degenerated case. Recall that the spectrum of a periodic Jacobi matrix is a system of intervals of a very specific nature. Christiansen, Simon and Zinchenko posed in a review dedicated to F. Gesztesy (2013) the following question: "is there an extension of the Damanik-Killip-Simon theorem to the general finite system of intervals case?" In this paper we solve this problem completely. Our method deals with the Jacobi flow on GSMP matrices. GSMP matrices are probably a new object in the spectral theory. They form a certain Generalization of matrices related to the Strong Moment Problem, the latter ones are a very close relative of Jacobi and CMV matrices. The Jacobi flow on them is also a probably new member of the rich family of integrable systems. Finally, related to Jacobi matrices of Killip-Simon class, analytic vector bundles and their curvature play a certain role in our construction and, at least on the level of ideology, this role is quite essential.
4 Dec 2014
AG-2014.11-1958
math.SP
Julien Royer
We prove uniform resolvent estimates for an abstract operator given by a dissipative perturbation of a self-adjoint operator in the sense of forms. For this we adapt the commutators method of Mourre. We also obtain the limiting absorption principle and uniform estimates for the derivatives of the resolvent. This abstract work is motivated by the Schr{ö}dinger and wave equations on a wave guide with dissipation at the boundary.
27 Nov 2014
AG-2014.11-1020
math.SP
Jake Fillman
We prove that a dense subset of limit periodic operators have spectra which are homogeneous Cantor sets in the sense of Carleson. Moreover, by using work of Egorova, our examples have purely absolutely continuous spectrum. The construction is robust enough to extend the results to arbitrary p-adic hulls by using the dynamical formalism proposed by Avila. The approach uses Floquet theory to break up the spectra of periodic approximants in a carefully controlled manner to produce Cantor spectrum and to establish the lower bounds needed to prove homogeneity.
15 Nov 2014
AG-2014.11-255
math.SP
Yulia Ershova, Irina I. Karpenko, Alexander V. Kiselev
Laplacian operators on finite compact metric graphs are considered under the assumption that matching conditions at graph vertices are of $δ$ and $δ'$ types. An infinite series of trace formulae is obtained which link together two different quantum graphs under the assumption that their spectra coincide. The general case of graph Schrodinger operators is also considered, yielding the first trace formula. Tightness of results obtained under no additional restrictions on edge lengths is demonstrated by an example. Further examples are scrutinized when edge lengths are assumed to be rationally independent. In all but one of these impossibility of isospectral configurations is ascertained.
5 Nov 2014
AG-2014.11-008
math.SP
J. P. Montillet
This work introduces the families of generalized energy operators $([[.]^p]_k^+)_{k\in\mathbb{Z}}$ and $([[.]^p]_k^-)_{k\in\mathbb{Z}}$ ($p$ in $\mathbb{Z}^+$). One shows that with Lemma 1, the successive derivatives of $\big ([[$f$]^{p-1}]_1^+ \big)^n$ ($n$ in $\mathbb{Z}$, $n\neq 0$) can be decomposed with the generalized energy operators $\big ([[.]^p]_k^+\big)_{k\in\mathbb{Z}}$ when $f$ is in the subspace $\mathbf{S}_p^-(\mathbb{R})$. With Theorem 1 and $f$ in $\mathbf{s}_p^-(\mathbb{R})$, one can decompose uniquely the successive derivatives of $\big ([[$f$]^{p-1}]_1^+ \big)^n$ ($n$ in $\mathbb{Z}$, $n\neq 0$) with the generalized energy operators $\big ([[.]^p]_k^+\big)_{k\in\mathbb{Z}}$ and $\big ([[.]^p]_k^-\big)_{k\in\mathbb{Z}}$. $\mathbf{S}_p^-(\mathbb{R})$ and $\mathbf{s}_p^-(\mathbb{R})$ ($p$ in $\mathbb{Z}^+$) are subspaces of the Schwartz space $\mathbf{S}^-(\mathbb{R})$. These results generalize the work of [arxiv:1208.3385]. The second fold of this work is the application of the generalized energy operator families onto the solutions of linear partial differential equations. The solutions are functions of two variables and defined in subspaces of $\mathbf{S}^-(\mathbb{R}^2)$. The theory is then applied to the Helmholtz equation. In this specific case, the use of generalized energy operators in the general solution of this PDE extends the results of [montilletIMF45-48-2010]. This work ends with some numerical examples. We also underline that this theory could possibly open some applications in astrophysics and aeronautics.
2 Nov 2014
AG-2014.10-2021
math.SP
Peter Herbrich
We study periodic magnetic Schrödinger operators on covers of closed manifolds in relation to Mañé's critical energy values of the corresponding classical Hamiltonian systems. In particular, we show that if the covering transformation group is amenable, then the bottom of the spectrum is bounded from above by Mañé's critical energy value. We also determine the spectra for various homogeneous spaces with left-invariant magnetic fields.
30 Oct 2014
AG-2014.10-1706
math.SP
Igor Rivin
We describe extensive computational experiments on spectral properties of random objects - random cubic graphs, random planar triangulations, and Voronoi and Delaunay diagrams of random (uniformly distributed) point sets on the sphere). We look at bulk eigenvalue distribution, eigenvalue spacings, and locality properties of eigenvectors. We also look at the statistics of \emph{nodal domains} of eigenvectors on these graphs. In all cases we discover completely new (at least to this author) phenomena. The author has tried to refrain from making specific conjectures, inviting the reader, instead, to meditate on the data.
27 Oct 2014
AG-2014.10-634
math.SP
T. A. Bolokhov
We consider self-adjoint extensions of differential operators of the type $ (-\frac{d^2}{dr^2} + \frac{l(l+1)}{r^2})^3 $ on the real semi-axis for l=1,2 with two kinds of boundary conditions: first that nullify the value of a function and its first derivative and second that nullify the 4th (l=1) or the 3rd (l=2) derivative. We calculate the expressions for the correponding resolvents and derive spectral decompositions. These types of boundary conditions are interesting from the physical point of view, especially the second ones, which give an example of emergence of long-range action in exchange for a singularity at the origin.
6 Oct 2014
AG-2014.09-2904
math.SP
Artur Avila, David Damanik, Zhenghe Zhang
Simon's subshift conjecture states that for every aperiodic minimal subshift of Verblunsky coefficients, the common essential support of the associated measures has zero Lebesgue measure. We disprove this conjecture in this paper, both in the form stated and in the analogous formulation of it for discrete Schrödinger operators. In addition we prove a weak version of the conjecture in the Schrödinger setting. Namely, under some additional assumptions on the subshift, we show that the density of states measure, a natural measure associated with the operator family and whose topological support is equal to the spectrum, is singular. We also consider one-frequency quasi-periodic Schrödinger operators with continuous sampling functions and show that generically, the density of states measure is singular as well.
28 Sept 2014
AG-2014.09-1672
math.SP
David Damanik, Michael Goldstein
We study the quasi-periodic Schrödinger equation $$ -ψ"(x) + V(x) ψ(x) = E ψ(x), \qquad x \in \IR $$ in the regime of "small" $V$. Let $(E_m',E"_m)$, $m \in \zv$, be the standard labeled gaps in the spectrum. Our main result says that if $E"_m - E'_m \le \ve \exp(-κ_0 |m|)$ for all $m \in \zv$, with $\ve$ being small enough, depending on $κ_0 > 0$ and the frequency vector involved, then the Fourier coefficients of $V$ obey $|c(m)| \le \ve^{1/2} \exp(-\frac{κ_0}{2} |m|)$ for all $m \in \zv$. On the other hand we prove that if $|c(m)| \le \ve \exp(-κ_0 |m|)$ with $\ve$ being small enough, depending on $κ_0 > 0$ and the frequency vector involved, then $E"_m - E'_m \le 2 \ve \exp(-\frac{κ_0}{2} |m|)$.
28 Sept 2014
AG-2014.09-624
math.SP
Colette Anné, Nabila Torki-Hamza
We propose a general condition, to ensure essential self-adjointness for the Gauß-Bonnet operator, based on a notion of completeness as Chernoff. This gives essential self-adjointness of the Laplace operator both for functions or 1-forms on infinite graphs. This is used to extend Flanders result concerning solutions of Kirchhoff's laws.
11 Sept 2014
AG-2014.09-639
math.SP
Alan Carey, Fritz Gesztesy, Denis Potapov, Fedor Sukochev, Yuri Tomilov
We study the model operator $\mathbf{D}_{\mathbf{A}} = (d/dt) + \mathbf{A}$ in $L^2(\mathbb{R};\mathcal{H})$ associated with the operator path $\{A(t)\}_{t=-\infty}^{\infty}$, where $(\mathbf{A} f)(t) = A(t) f(t)$ for a.e.\ $t\in\mathbb{R}$, and appropriate $f \in L^2(\mathbb{R};\mathcal{H})$ (with $\mathcal{H}$ a separable, complex Hilbert space). Denoting by $A_{\pm}$ the norm resolvent limits of $A(t)$ as $t \to \pm \infty$, our setup permits $A(t)$ in $\mathcal{H}$ to be an unbounded, relatively trace class perturbation of the unbounded self-adjoint operator $A_-$, and no discrete spectrum assumptions are made on $A_{\pm}$. We introduce resolvent and semigroup regularized Witten indices of $\mathbf{D}_{\mathbf{A}}$, denoted by $W_r$ and $W_s$, and prove that these regularized indices coincide with the Fredholm index of $\mathbf{D}_{\mathbf{A}}$ whenever the latter is Fredholm. In situations where $\mathbf{D}_{\mathbf{A}}$ ceases to be a Fredholm operator in $L^2(\mathbb{R};\mathcal{H})$ we compute its resolvent (resp., semigroup) regularized Witten index in terms of the spectral shift function $ξ(\,\cdot\,;A_+,A_-)$ associated with the pair $(A_+, A_-)$ as follows: Assuming $0$ to be a right and a left Lebesgue point of $ξ(\,\cdot\,\, ; A_+, A_-)$, denoted by $ξ_L(0_+; A_+,A_-)$ and $ξ_L(0_-; A_+, A_-)$, we prove that $0$ is also a right Lebesgue point of $ξ(\,\cdot\,\, ; \mathbf{H_2}, \mathbf{H_1})$, denoted by $ξ_L(0_+; \mathbf{H_2}, \mathbf{H_1})$, and that \begin{align*} W_r(\mathbf{D}_{\mathbf{A}}) &= W_s(\mathbf{D}_{\mathbf{A}}) \\ & = ξ_L(0_+; \mathbf{H_2}, \mathbf{H_1}) \\ & = [ξ_L(0_+; A_+,A_-) + ξ_L(0_-; A_+, A_-)]/2, \end{align*} the principal result of this paper. In the special case where $\dim(\mathcal{H}) < \infty$, we prove that the Witten indices of $\mathbf{D}_{\mathbf{A}}$ are either integer, or half-integer-valued.
11 Sept 2014
AG-2014.09-444
math.SP
Pierre Bérard, Bernard Helffer
In the case of the sphere and the square, Antonie Stern (1925) claimed in her PhD thesis the existence of an infinite sequence of eigenvalues whose corresponding eigenspaces contain an eigenfunction with two nodal domains. These two statements were given complete proofs respectively by Hans Lewy in 1977, and the authors in 2014 (see also Gauthier-Shalom--Przybytkowski (2006)). The aim of this paper is to obtain a similar result in the case of the isotropic quantum harmonic oscillator in the two dimensional case.
8 Sept 2014
AG-2014.08-2093
math.SP
A. V. Sobolev
We prove a two-term quasi-classical trace asymptotic formula for the functions of multi-dimensional Wiener-Hopf operators with discontinuous symbols. The discontinuities occur on the surfaces which are assumed to be piece-wise smooth. Such a two-term formula was conjectured by H. Widom in 1982, and proved by A. V Sobolev for smooth surfaces in 2009.
12 Aug 2014
AG-2014.08-2633
math.SP
Laurent Bruneau, Vojkan Jaksic, Yoram Last, Claude-Alain Pillet
In the independent electron approximation, the average (energy/charge/entropy) current flowing through a finite sample S connected to two electronic reservoirs can be computed by scattering theoretic arguments which lead to the famous Landauer-Büttiker formula. Another well known formula has been proposed by Thouless on the basis of a scaling argument. The Thouless formula relates the conductance of the sample to the width of the spectral bands of the infinite crystal obtained by periodic juxtaposition of S. In this spirit, we define Landauer-Büttiker crystalline currents by extending the Landauer-Büttiker formula to a setup where the sample S is replaced by a periodic structure whose unit cell is S. We argue that these crystalline currents are closely related to the Thouless currents. For example, the crystalline heat current is bounded above by the Thouless heat current, and this bound saturates iff the coupling between the reservoirs and the sample is reflectionless. Our analysis leads to a rigorous derivation of the Thouless formula from the first principles of quantum statistical mechanics.
1 Aug 2014
AG-2014.08-121
math.SP
Ludwig D. Faddeev, Leon A. Takhtajan
In the paper we consider a functional-difference operator $H=U+U^{-1}+V$, where $U$ and $V$ are self-adjoint Weyl operators satisfying $UV=q^{2}VU$ with $q=e^{πiτ}$ and $τ>0$. The operator $H$ has applications in the conformal field theory and in the representation theory of quantum groups. Using modular quantum dilogarithm - a $q$-deformation of the Euler's dilogarithm - we define the scattering solution and the Jost solutions, derive an explicit formula for the resolvent of the self-adjoint operator $H$ in the Hilbert space $L^{2}(\mathbb{R})$, and prove the eigenfunction expansion theorem. The latter is a $q$-deformation of the well-known Kontorovich-Lebedev transform in the theory of special functions. We also present a formulation of the scattering theory for the operator $H$.
1 Aug 2014
AG-2014.07-1605
math.SP
Christian Seifert
We prove a quantitative version of Gordon's Theorem concerning absence of eigenvalues for Jacobi matrices and Sturm-Liouville operators with complex coefficients.
28 Jul 2014
AG-2014.07-1411
math.SP
F. Alberto Grünbaum
I revisit the so called "bispectral problem" introduced in a joint paper with Hans Duistermaat a long time ago, allowing now for the differential operators to have matrix coefficients and for the eigenfunctions, and one of the eigenvalues, to be matrix valued too. In the last example we go beyond this and allow both eigenvalues to be matrix valued.
24 Jul 2014
AG-2014.07-1188
math.SP
Rainer Brunnhuber, Jonathan Eckhardt, Aleksey Kostenko, Gerald Teschl
We develop singular Weyl-Titchmarsh-Kodaira theory for one-dimensional Dirac operators. In particular, we establish existence of a spectral transformation as well as local Borg-Marchenko and Hochstadt-Liebermann type uniqueness results. Finally, we give some applications to the case of radial Dirac operators.
22 Jul 2014
AG-2014.07-1170
math.SP
Vladimir Lotoreichik, Jonathan Rohleder
We consider self-adjoint Schrödinger operators in $L^2 (\mathbb{R}^d)$ with a $δ$-interaction of strength $α$ and a $δ'$-interaction of strength $β$, respectively, supported on a hypersurface, where $α$ and $β^{-1}$ are bounded, real-valued functions. It is known that the inequality $0 < β\leq 4/α$ implies inequality of the eigenvalues of these two operators below the bottoms of the essential spectra. We show that this eigenvalue inequality is strict whenever $β< 4 / α$ on a nonempty, open subset of the hypersurface. Moreover, we point out special geometries of the interaction support, such as broken lines or infinite cones, for which strict inequality of the eigenvalues even holds in the borderline case $β= 4 / α$.
21 Jul 2014
AG-2014.07-896
math.SP
Vladimir Georgescu, Victor Nistor
We overview some of our recent results on the essential spectrum of N-body Hamiltonians with potentials defined by functions that have radial limits at infinity. The results extend the HVZ theorem which describes the essential spectrum of usual N-body Hamiltonians. The proof is based on a careful study of algebras generated by potentials and their cross-products. We also describe the topology on the spectrum of these algebras, thus extending to our setting a result of A. Mageira. Our techniques apply to more general classes of potentials associated to translation invariant algebras of bounded uniformly continuous functions on a finite dimensional vector space.
16 Jul 2014
AG-2014.07-2862
math.SP
David Krejcirik
We provide a class of unbounded three-dimensional domains of infinite volume for which the spectrum of the associated Dirichlet Laplacian is purely discrete. The construction is based on considering tubes with asymptotically diverging twisting angle.
15 Jul 2014
AG-2014.07-3903
math.SP
Boris Mityagin
We consider the operator $ L = - (d/dx)^2 + x^2 y + w(x) y , y \in L^2(\mathbb{R}) $, where $ w(x) = s [ δ(x - b) - δ(x + b)], b \neq 0,$ real, $s \in \mathbb{C}$. This operator has a discrete spectrum: eventually the eigenvalues are simple and $λ_n = (2n + 1) + s^2 (κ(n) / n) + ρ(n)$, where $ κ(n) = \frac{1}{2π} [(-1)^{n + 1} \sin ( 2 b \sqrt{2n} ) - \frac{1}{2} \sin ( 4 b \sqrt{2n} ) ]$ and $ |ρ(n) | \leq C (\log n) / (n^{3/2})$ If $s = i γ$, $γ$ real, the number $T(γ)$ of non-real eigenvalues is finite, and $T(γ) \leq [ C (1 + | γ|) \log (e + | γ|)]^2.$ The analogue of the above equations is given in the case of any two-point interaction perturbation $w(x) = c_+ δ(x - b) + c_- δ(x + b), c_+, c_- \in \mathbb{C}. $
15 Jul 2014
AG-2014.07-007
math.SP
Layan El-Hajj, John A. Toth
Let $ Ω\subset R^2$ be a bounded piecewise smooth domain and $ϕ_λ$ be a Neumann (or Dirichlet) eigenfunction with eigenvalue $λ^2$ and nodal set ${ N}_{ϕ_λ} = {x \in Ω; ϕ_λ(x) = 0}.$ Let $H \subset Ω$ be an interior $C^ω$ curve. Consider the intersection number $$ n(λ,H):= \# (H \cap N_{ϕ_λ} ).$$ We first prove that for general piecewise-analytic domains, and under an appropriate "goodness" condition on $H$, $$ n(λ,H) = {\mathcal O}_H(λ) (*)$$ as $λ\rightarrow \infty.$ We then prove that the bound in $(*)$ is satisfied in the case of quantum ergodic (QE) sequences of interior eigenfunctions, provided $Ω$ is convex and $H$ has strictly positive geodesic curvature.
1 Jul 2014
AG-2014.06-1012
math.SP
Vladimir Lotoreichik, Sergey Simonov
The spectrum of the self-adjoint Schrödinger operator associated with the Kronig-Penney model on the half-line has a band-gap structure: its absolutely continuous spectrum consists of intervals (bands) separated by gaps. We show that if one changes strengths of interactions or locations of interaction centers by adding an oscillating and slowly decaying sequence which resembles the classical Wigner-von Neumann potential, then this structure of the absolutely continuous spectrum is preserved. At the same time in each spectral band precisely two critical points appear. At these points "instable" embedded eigenvalues may exist. We obtain locations of the critical points and discuss for each of them the possibility of an embedded eigenvalue to appear. We also show that the spectrum in gaps remains discrete.
20 Jun 2014
AG-2014.06-735
math.SP
Jonathan Eckhardt, Aleksey Kostenko
We introduce a generalized isospectral problem for global conservative multi-peakon solutions of the Camassa-Holm equation. Utilizing the solution of the indefinite moment problem given by M. G. Krein and H. Langer, we show that the conservative Camassa-Holm equation is integrable by the inverse spectral transform in the multi-peakon case.
14 Jun 2014
AG-2014.06-356
math.SP
Fritz Gesztesy, Ari Laptev, Marius Mitrea, Selim Sukhtaiev
For an arbitrary nonempty, open set $Ω\subset \mathbb{R}^n$, $n \in \mathbb{N}$, of finite (Euclidean) volume, we consider the minimally defined higher-order Laplacian $(- Δ)^m\big|_{C_0^{\infty}(Ω)}$, $m \in \mathbb{N}$, and its Krein--von Neumann extension $A_{K,Ω,m}$ in $L^2(Ω)$. With $N(λ,A_{K,Ω,m})$, $λ> 0$, denoting the eigenvalue counting function corresponding to the strictly positive eigenvalues of $A_{K,Ω,m}$, we derive the bound $$ N(λ,A_{K,Ω,m}) \leq (2 π)^{-n} v_n |Ω| \{1 + [2m/(2m+n)]\}^{n/(2m)} λ^{n/(2m)}, \quad λ> 0, $$ where $v_n := π^{n/2}/Γ((n+2)/2)$ denotes the (Euclidean) volume of the unit ball in $\mathbb{R}^n$. The proof relies on variational considerations and exploits the fundamental link between the Krein--von Neumann extension and an underlying (abstract) buckling problem.
9 Jun 2014
AG-2014.06-2456
math.SP
Christian Remling
I consider general reflection coefficients for arbitrary one-dimensional whole line differential or difference operators of order $2$. These reflection coefficients are semicontinuous functions of the operator: their absolute value can only go down when limits are taken. This implies a corresponding semicontinuity result for the absolutely continuous spectrum, which applies to a very large class of maps. In particular, we can consider shift maps (thus recovering and generalizing a result of Last-Simon) and flows of the Toda and KdV hierarchies (this is new). Finally, I evaluate an attempt at finding a similar general setup that gives the much stronger conclusion of reflectionless limit operators in more specialized situations.
9 Jun 2014
AG-2014.05-1714
math.SP
Nils Rautenberg
In this article we construct a family of domains $Ω\subset \mathbb{R}^2$ with infinite volume such that the Dirichlet Laplacian $Δ^D$ has purely discrete spectrum and give precise spectral asymptotics for the eigenvalue counting function in terms of the geometry of $Ω$. This generalizes the well-known asymptotic formula of Hermann Weyl to this class of infinite volume domains. The construction is elementary, uses only the bracketing technique invented by Weyl himself and it is extendable to arbitrary dimensions.
31 May 2014
AG-2014.05-273
math.SP
Jonathan Eckhardt, Aleksey Kostenko, Mark Malamud, Gerald Teschl
We introduce a novel approach for defining a $δ'$-interaction on a subset of the real line of Lebesgue measure zero which is based on Sturm-Liouville differential expression with measure coefficients. This enables us to establish basic spectral properties (e.g., self-adjointness, lower semiboundedness and spectral asymptotics) of Hamiltonians with $δ'$-interactions concentrated on sets of complicated structures.
7 May 2014
AG-2014.05-256
math.SP
Pavel Exner, Andrii Khrabustovskyi
We analyze a family of singular Schrödinger operators describing a Neumann waveguide with a periodic array of singular traps of a $δ'$ type. We show that in the limit when perpendicular size of the guide tends to zero and the $δ'$ interactions are appropriately scaled, the first spectral gap is determined exclusively by geometric properties of the traps.
6 May 2014
AG-2014.04-1206
math.SP
Maxim Derevyagin
We recast Stahl's counterexample from the point of view of the spectral theory of the underlying non-symmetric Jacobi matrices. In particular, it is shown that these matrices are self-adjoint and non-negative in a Krein space and have empty resolvent sets. In fact, the technique of Darboux transformations (aka commutation methods) on spectra which is used in the present paper allows us to treat the class of all G-non-negative tridiagonal matrices. We also establish a correspondence between this class of matrices and the class of signed measures with one sign change. Finally, it is proved that the absence of the spurious pole at infinity for Padé approximants is equivalent to the definitizability of the corresponding tridiagonal matrix.
23 Apr 2014
AG-2014.04-3223
math.SP
Jussi Behrndt, Pavel Exner, Vladimir Lotoreichik
We investigate the spectral properties of self-adjoint Schrödinger operators with attractive $δ$-interactions of constant strength $α> 0$ supported on conical surfaces in ${\mathbb R}^3$. It is shown that the essential spectrum is given by $[-α^2/4,+\infty)$ and that the discrete spectrum is infinite and accumulates to $-α^2/4$. Furthermore, an asymptotic estimate of these eigenvalues is obtained.
7 Apr 2014
AG-2014.04-057
math.SP
Kh. R. Mamedov, O. Akcay
In this paper, we consider a problem for the first order Dirac differential equations system with spectral parameter dependent in boundary condition. The asymptotic behaviors of eigenvalues, eigenfunctions and normalizing numbers of this system are investigated. The expansion formula with respect to eigenfunctions is obtained and Parseval equality is given. The main theorem on necessary and sufficient conditions for the solvabilty of inverse problem is proved and the algorithm of reconstruction of potential from spectral data (the sets of eigenvalues and normalizing numbers) is given.
1 Apr 2014
AG-2014.04-2554
math.SP
Vu Hoang, Maria Radosz
We study a Helmholtz-type spectral problem in a two-dimensional medium consisting of a fully periodic background structure and a perturbation in form of a line defect. The defect is aligned along one of the coordinate axes, periodic in that direction (with the same periodicity as the background), and bounded in the other direction. This setting models a so-called "soft-wall" waveguide problem. We show that there are no bound states, i.e., the spectrum of the operator under study contains no point spectrum.
1 Apr 2014
AG-2014.03-975
math.SP
Matthias Keller, Daniel Lenz, Simone Warzel
Trees of finite cone type have appeared in various contexts. In particular, they come up as simplified models of regular tessellations of the hyperbolic plane. The spectral theory of the associated Laplacians can thus be seen as induced by geometry. Here we give an introduction focusing on background and then turn to recent results for (random) perturbations of trees of finite cone type and their spectral theory.
18 Mar 2014
AG-2014.03-992
math.SP
Denis Borisov
In a thin multidimensional layer we consider a second order differential PT-symmetric operator. The operator is of rather general form and its coefficients are arbitrary functions depending both on slow and fast variables. The PT-symmetry of the operator is ensured by the boundary conditions of Robin type with pure imaginary coefficient. In the work we determine the limiting operator, prove the uniform resolvent convergence of the perturbed operator to the limiting one, and derive the estimates for the rates of convergence. We establish the convergence of the spectrum of perturbed operator to that of the limiting one. For the perturbed eigenvalues converging to the limiting discrete ones we prove that they are real and construct their complete asymptotic expansions. We also obtain the complete asymptotic expansions for the associated eigenfunctions.
18 Mar 2014
AG-2014.03-712
math.SP
Gabriele Grillo, Hynek Kovarik
We consider two-dimensional Schrödinger operators $H$ with Aharonov-Bohm magnetic field and an additional electric potential. We obtain an explicit leading term of the asymptotic expansion of the unitary group $e^{-i t H}$ for $t\to\infty$ in weighted $L^2$ spaces. In particular, we show that the magnetic field improves the decay of $e^{-i t H}$ with respect to the unitary group generated by non-magnetic Schrödinger operators, and that the decay rate in time is determined by the magnetic flux.
14 Mar 2014
AG-2014.03-3078
math.SP
Darren C. Ong
We prove uniform absence of point spectrum for CMV operators corresponding to the period doubling subshift. We also prove almost sure absence of point spectrum for CMV operators corresponding to a class of Sturmian subshifts. Lastly, we prove almost sure absence of point spectrum for CMV operators corresponding to some subshifts generated by a coding of a rotation.
7 Mar 2014
AG-2014.02-1000
math.SP
Sylwia Kondej, Vladimir Lotoreichik
We consider a self-adjoint two-dimensional Schrödinger operator $H_{αμ}$, which corresponds to the formal differential expression \[ -Δ- αμ, \] where $μ$ is a finite compactly supported positive Radon measure on ${\mathbb R}^2$ from the generalized Kato class and $α>0$ is the coupling constant. It was proven earlier that $σ_{\rm ess}(H_{αμ}) = [0,+\infty)$. We show that for sufficiently small $α$ the condition $\sharpσ_{\rm d}(H_{αμ}) = 1$ holds and that the corresponding unique eigenvalue has the asymptotic expansion $$ λ(α) = -(C_μ+ o(1))\exp\Big(-\tfrac{4π}{αμ({\mathbb R}^2)}\Big), \qquad α\rightarrow 0+, $$ with a certain constant $C_μ> 0$. We obtain also the formula for the computation of $C_μ$. The asymptotic expansion of the corresponding eigenfunction is provided. The statements of this paper extend Simon's results, see \cite{Si76}, to the case of potentials-measures. Also for regular potentials our results are partially new.
18 Feb 2014
AG-2014.02-507
math.SP
Franz Luef, Gerald Teschl
We present a new oscillation criterion to determine whether the number of eigenvalues below the essential spectrum of a given Jacobi operator is finite or not. As an application we show that Kenser's criterion for Jacobi operators follows as a special case.
9 Feb 2014
AG-2014.02-164
math.SP
Rupert L. Frank, Alexander Pushnitski
We consider the difference $f(-Δ+V)-f(-Δ)$ of functions of Schrödinger operators in $L^2(\mathbb R^d)$ and provide conditions under which this difference is trace class. We are particularly interested in non-smooth functions $f$ and in $V$ belonging only to some $L^p$ space. This is motivated by applications in mathematical physics related to Lieb--Thirring inequalities. We show that in the particular case of Schrödinger operators the well-known sufficient conditions on $f$, based on a general operator theoretic result due to V. Peller, can be considerably relaxed. We prove similar theorems for $f(-Δ+V)-f(-Δ)-\frac{d}{dα} f(-Δ+αV)|_{α=0}$. Our key idea is the use of the limiting absorption principle.
4 Feb 2014
AG-2014.01-1299
math.SP
D. Borisov
We consider a model of planar PT-symmetric waveguide and study the phenomenon of the eigenvalues collision under the perturbation of boundary conditions. This phenomenon was discovered numerically in previous works. The main result of this work is an analytic explanation of this phenomenon.
24 Jan 2014
AG-2014.01-1098
math.SP
Nils Rautenberg
We prove a Hardy inequality for uniformly elliptic operators subject to Dirichlet or mixed boundary conditions on domains $Ω$ with piecewiese smooth boundary in arbitrary Riemannian Manifolds (M, g). Employing an approach of E.B. Davies for the euclidean case, we show that it implies a sufficient geometric criterion under which the Laplace- Beltrami operator with Dirichlet boundary conditions $Δ^D$ has purely discrete spectrum on $Ω$. We proceed to classify all non-compact $Ω$ with discrete spectrum up to a boundary regularity condition and show that these include for example polygons with ideal vertices in manifolds of negative curvature. This a new result for non-constant curvature.
20 Jan 2014
AG-2013.12-1641
math.SP
Denis Borisov
We consider a periodic system of domains coupled by small windows. In such domain we study the band spectrum of a Schroedinger operator subject to Neumann condition. We show that near each isolated eigenvalue of the similar operator but in the periodicity cell, there are several non-intersecting bands of the spectrum for the perturbed operator. We also discuss the position of the points at which the band functions attain the edges of each band.
29 Dec 2013
AG-2013.12-1233
math.SP
Bernard Helffer, Yuri A. Kordyukov
We revisit the problem of semiclassical spectral asymptotics for a pure magnetic Schrödinger operator on a two-dimensional Riemannian manifold. We suppose that the minimal value $b_0$ of the intensity of the magnetic field is strictly positive, and the corresponding minimum is unique and non-degenerate. The purpose is to get the control on the spectrum in an interval $(hb_0, h(b_0 +γ_0)]$ for some $γ_0>0$ independent of the semiclassical parameter $h$. The previous papers by Helffer-Mohamed and by Helffer-Kordyukov were only treating the ground-state energy or a finite (independent of $h$) number of eigenvalues. Note also that N. Raymond and S. Vu Ngoc have recently developed a different approach of the same problem.
19 Dec 2013
AG-2013.12-1091
math.SP
Fedor Bakharev, Keijo Ruotsalainen, Jari Taskinen
We consider the linear water-wave problem in a periodic channel which consists of infinitely many identical containers connected with apertures of width $ε$. Motivated by applications to surface wave propagation phenomena, we study the band-gap structure of the continuous spectrum. We show that the for small apertures there exists a large number of gaps and also find asymptotic formulas for the position of the gaps as $ε\to 0$: the endpoints are determined within corrections of order $ε^{3/2}$. The width of the first bands is shown to be $O(ε)$. Finally, we give a sufficient condition which guarantees that the spectral bands do not degenerate into eigenvalues of infinite multiplicity.
18 Dec 2013
AG-2013.12-470
math.SP
Berkay Anahtarci, Plamen Djakov
The one-dimensional Dirac operator \begin{equation*} L = i \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} \frac{d}{dx} +\begin{pmatrix} 0 & P(x) \\ Q(x) & 0 \end{pmatrix}, \quad P,Q \in L^2 ([0,π]), \end{equation*} considered on $[0,π]$ with periodic and antiperiodic boundary conditions, has discrete spectra. For large enough $|n|,\, n \in \mathbb{Z}, $ there are two (counted with multiplicity) eigenvalues $λ_n^-,λ_n^+ $ (periodic if $n$ is even, or antiperiodic if $n$ is odd) such that $|λ_n^\pm - n |<1/2.$ We study the asymptotics of spectral gaps $γ_n =λ_n^+ - λ_n^-$ in the case $$P(x)=a e^{-2ix} + A e^{2ix}, \quad Q(x)=b e^{-2ix} + B e^{2ix},$$ where $a, A, b, B$ are nonzero complex numbers. We show, for large enough $m,$ that $γ_{\pm 2m}=0 $ and \begin{align*} γ_{2m+1} = \pm 2 \frac{\sqrt{(Ab)^m (aB)^{m+1}}}{4^{2m} (m!)^2 } \left[ 1 + O \left( \frac{\log^2 m}{m^2}\right) \right], \end{align*} \begin{align*} γ_{-(2m+1)} = \pm 2\frac{\sqrt{(Ab)^{m+1} (aB)^m}}{4^{2m} (m!)^2} \left[ 1 + O \left( \frac{\log^2 m}{m^2}\right) \right]. \end{align*}
8 Dec 2013
AG-2013.11-1715
math.SP
Jonathan Eckhardt, Fritz Gesztesy, Roger Nichols, Gerald Teschl
We discuss inverse spectral theory for singular differential operators on arbitrary intervals $(a,b) \subseteq \mathbb{R}$ associated with rather general differential expressions of the type \[τf = \frac{1}{r} \left(- \big(p[f' + s f]\big)' + s p[f' + s f] + qf\right), \] where the coefficients $p$, $q$, $r$, $s$ are Lebesgue measurable on $(a,b)$ with $p^{-1}$, $q$, $r$, $s \in L^1_{\text{loc}}((a,b); dx)$ and real-valued with $p\not=0$ and $r>0$ a.e.\ on $(a,b)$. In particular, we explicitly permit certain distributional potential coefficients. The inverse spectral theory results derived in this paper include those implied by the spectral measure, by two-spectra and three-spectra, as well as local Borg-Marchenko-type inverse spectral results. The special cases of Schrödinger operators with distributional potentials and Sturm--Liouville operators in impedance form are isolated, in particular.
27 Nov 2013