Showing papers in "arXiv: Spectral Theory in 2017"

7 Spectral inequalities in quantitative form

Abstract: We review some results about quantitative improvements of sharp inequalities for eigenvalues of the Laplacian.

The Perron-Frobenius theorem for multi-homogeneous mappings.

Abstract: We introduce the notion of order-preserving multi-homogeneous mapping which allows to study Perron-Frobenius type theorems and nonnegative tensors in unified fashion. We prove a weak and strong Perron-Frobenius theorem for these maps and provide a Collatz-Wielandt principle for the maximal eigenvalue. Additionally, we propose a generalization of the power method for the computation of the maximal eigenvector and analyse its convergence. We show that the general theory provides new results and strengthens existing results for various spectral problems for nonnegative tensors.

Edge connectivity and the spectral gap of combinatorial and quantum graphs

Abstract: We derive a number of upper and lower bounds for the first nontrivial eigenvalue of a finite quantum graph in terms of the edge connectivity of the graph, i.e., the minimal number of edges which need to be removed to make the graph disconnected. On combinatorial graphs, one of the bounds is the well-known inequality of Fiedler, of which we give a new variational proof. On quantum graphs, the corresponding bound generalizes a recent result of Band and L\'evy. All proofs are general enough to yield corresponding estimates for the $p$-Laplacian and allow us to identify the minimizers. Based on the Betti number of the graph, we also derive upper and lower bounds on all eigenvalues which are "asymptotically correct", i.e. agree with the Weyl asymptotics for the eigenvalues of the quantum graph. In particular, the lower bounds improve the bounds of Friedlander on any given graph for all but finitely many eigenvalues, while the upper bounds improve recent results of Ariturk. Our estimates are also used to derive bounds on the eigenvalues of the normalized Laplacian matrix that improve known bounds of spectral graph theory.

On the orbital instability of excited states for the NLS equation with the $\delta$-interaction on a star graph

Abstract: We study the nonlinear Schrodinger equation (NLS) on a star graph $\mathcal{G}$. At the vertex an interaction occurs described by a boundary condition of delta type with strength $\alpha\in \mathbb{R}$. We investigate an orbital instability of the standing waves $e^{i\omega t}\mathbf{\Phi}(x)$ of NLS-$\delta$ equation with attractive power nonlinearity on $\mathcal{G}$ when the profile $\Phi(x)$ has mixed structure (i.e. has bumps and tails). In our approach we essentially use the extension theory of symmetric operators by Krein - von Neumann, and the analytic perturbations theory, avoiding the variational techniques standard in the stability study. We also prove orbital stability of the unique standing wave solution of NLS-$\delta$ equation with repulsive nonlinearity.

Sloshing, Steklov and corners: Asymptotics of sloshing eigenvalues

Abstract: In the present paper we develop an approach to obtain sharp spectral asymptotics for Steklov type problems on planar domains with corners. Our main focus is on the two-dimensional sloshing problem, which is a mixed Steklov-Neumann boundary value problem describing small vertical oscillations of an ideal fluid in a container or in a canal with a uniform cross-section. We prove a two-term asymptotic formula for sloshing eigenvalues. In particular, this confirms a conjecture posed by Fox and Kuttler in 1983. We also obtain similar eigenvalue asymptotics for other related mixed Steklov type problems, and discuss applications to the study of Steklov spectral asymptotics on polygons.

The NIEP

Abstract: The nonnegative inverse eigenvalue problem (NIEP) asks which lists of $n$ complex numbers (counting multiplicity) occur as the eigenvalues of some $n$-by-$n$ entry-wise nonnegative matrix The NIEP has a long history and is a known hard (perhaps the hardest in matrix analysis?) and sought after problem Thus, there are many subproblems and relevant results in a variety of directions We survey most work on the problem and its several variants, with an emphasis on recent results, and include 130 references The survey is divided into: a) the single eigenvalue problems; b) necessary conditions; c) low dimensional results; d) sufficient conditions; e) appending 0's to achieve realizability; f) the graph NIEP's; g) Perron similarities; and h) the relevance of Jordan structure

A partial inverse problem for the Sturm-Liouville operator on a star-shaped graph

Abstract: The Sturm-Liouville operator on a star-shaped graph is considered. We assume that the potential is known a priori on all the edges except one, and study the partial inverse problem, which consists in recovering the potential on the remaining edge from the part of the spectrum. A constructive method is developed for the solution of this problem, based on the Riesz-basicity of some sequence of vector functions. The local solvability of the inverse problem and the stability of its solution are proved.

Resonances for 1d Stark operators

Abstract: We consider the Stark operator perturbed by a compactly supported potential (of a certain class) on the real line. We prove the following results: (a) upper and lower bounds on the number of resonances in complex discs with large radii, (b) the trace formula in terms of resonances only, (c) all resonances determine the potential uniquely.

A Digraph Fourier Transform With Spread Frequency Components

Abstract: We study the problem of constructing a graph Fourier transform (GFT) for directed graphs (digraphs), which decomposes graph signals into different modes of variation with respect to the underlying network Accordingly, to capture low, medium and high frequencies we seek a digraph (D)GFT such that the orthonormal frequency components are as spread as possible in the graph spectral domain This specification gives rise to a challenging nonconvex optimization problem, so we resort to a simple yet efficient heuristic to construct the DGFT basis from Laplacian eigenvectors of an undirected version of the digraph To select frequency components which are as spread as possible, we define a spectral dispersion function and show that it is supermodular Moreover, we show that orthonormality can be enforced via a matroid basis constraint, which motivates adopting a scalable greedy algorithm to obtain an approximate solution with provable performance guarantee The effectiveness of the novel DGFT is illustrated through numerical tests on synthetic and real-world graphs

Sch'nol's theorem and the spectrum of long range operators

Abstract: We extend some basic results known for finite range operators to long range operators with off-diagonal decay. Namely, we prove an analogy of Sch'nol's theorem. We also establish the connection between the almost sure spectrum of long range random operators and the spectra of deterministic periodic operators.

Eigenvalues of one-dimensional non-self-adjoint Dirac operators and applications

Abstract: We analyze eigenvalues emerging from thresholds of the essential spectrum of one-dimensional Dirac operators perturbed by complex and non-symmetric potentials. In the general non-self-adjoint setting we establish the existence and asymptotics of weakly coupled eigenvalues and Lieb-Thirring inequalities. As physical applications we investigate the damped wave equation and armchair graphene nanoribbons.

A point interaction for the discrete Schr\"odinger operator and generalized Chebyshev polynomials

Abstract: We consider semi-infinite Jacobi matrices corresponding to a point interaction for the discrete Schrodinger operator. Our goal is to find explicit expressions for the spectral measure, the resolvent and other spectral characteristics of such Jacobi matrices. It turns out that their spectral analysis leads to a new class of orthogonal polynomials generalizing the classical Chebyshev polynomials.

A 2-edge partial inverse problem for the Sturm-Liouville operators with singular potentials on a star-shaped graph

Abstract: Boundary value problems for Sturm-Liouville operators with potentials from the class $W_2^{-1}$ on a star-shaped graph are considered. We assume that the potentials are known on all the edges of the graph except two, and show that the potentials on the remaining edges can be constructed by fractional parts of two spectra. A uniqueness theorem is proved, and an algorithm for the constructive solution of the partial inverse problem is provided. The main ingredient of the proofs is the Riesz-basis property of specially constructed systems of functions.

Spectral Limitations of Quadrature Rules and Generalized Spherical Designs.

Abstract: We study manifolds $M$ equipped with a quadrature rule $$ \int_{M}{\phi(x) dx} \simeq \sum_{i=1}^{n}{a_i \phi(x_i)}.$$ We show that $n-$point quadrature rules with nonnegative weights on a compact $d-$dimensional manifold cannot integrate more than at most the first $c_{d}n + o(n)$ Laplacian eigenfunctions exactly. The constants $c_d$ are explicitly computed and $c_2 = 4$. The result is new even on $\mathbb{S}^2$ where it generalizes results on spherical designs.

Spectral estimates for Schr\"odinger operators on periodic discrete graphs

Abstract: We consider normalized Laplacians and their perturbations by periodic potentials (Schrodinger operators) on periodic discrete graphs The spectrum of the operators consists of an absolutely continuous part (a union of a finite number of non-degenerate bands) and a finite number of flat bands, ie, eigenvalues of infinite multiplicity We obtain estimates of the Lebesgue measure of the spectrum in terms of geometric parameters of the graphs and show that they become identities for some class of graphs We determine two-sided estimates on the length of the first spectral band and on the effective mass at the bottom of the spectrum of the Laplace and Schrodinger operators In particular, these estimates yield that the first spectral band of Schrodinger operators is non-degenerate

Elastic Neumann-Poincar\'e operators on three dimensional smooth domains: Polynomial compactness and spectral structure

Abstract: We prove that the elastic Neumann--Poincare operator defined on the smooth boundary of a bounded domain in three dimensions, which is known to be non-compact, is in fact polynomially compact. As a consequence, we prove that the spectrum of the elastic Neumann-Poincare operator consists of three non-empty sequences of eigenvalues accumulating to certain numbers determined by Lame parameters. These results are proved using the surface Riesz transform, calculus of pseudo-differential operators and the spectral mapping theorem.

Estimates of complex eigenvalues and an inverse spectral problem for the transmission eigenvalue problem

Abstract: This work deals with the interior transmission eigenvalue problem: $y'' + {k^2}\eta \left( r \right)y = 0$ with boundary conditions ${y\left( 0 \right) = 0 = y'\left( 1 \right)\frac{\sin k}{k} - y\left( 1 \right)\cos k},$ where the function $\eta(r)$ is positive. We obtain the asymptotic distribution of non-real transmission eigenvalues under the suitable assumption for the square of the index of refraction $\eta(r)$. Moreover, we provide a uniqueness theorem for the case $\int_0^1\sqrt{\eta(r)}dr>1$, by using all transmission eigenvalues (including their multiplicities) along with a partial information of $\eta(r)$ on the subinterval. The relationship between the proportion of the needed transmission eigenvalues and the length of the subinterval on the given $\eta(r)$ is also obtained.

Ruelle-Pollicott Resonances for Manifolds with Hyperbolic Cusps

Abstract: We present new methods to construct a Ruelle-Pollicott spectrum for the geodesic flow on manifolds with strictly negative curvature and a finite number of hyperbolic cusps.

On the Spectrum of Multi-Frequency Quasiperiodic Schr\"odinger Operators with Large Coupling

Abstract: We study multi-frequency quasiperiodic Schrodinger operators on $\mathbb{Z} $. We prove that for a large real analytic potential satisfying certain restrictions the spectrum consists of a single interval. The result is a consequence of a criterion for the spectrum to contain an interval at a given location that we establish non-perturbatively in the regime of positive Lyapunov exponent.

Large covers and sharp resonances of hyperbolic surfaces

Abstract: Let $\Gamma$ be a convex co-compact discrete group of isometries of the hyperbolic plane $\mathbb{H}^2$, and $X=\Gamma\backslash \mathbb{H}^2$ the associated surface. In this paper we investigate the behaviour of resonances of the Laplacian for large degree covers of $X$ given by a finite index normal subgroup of $\Gamma$. Using various techniques of thermodynamical formalism and representation theory, we prove two new existence results of "sharp non-trivial resonances" close to $\Re(s)=\delta_\Gamma$, both in the large degree limit, for abelian covers and also infinite index congruence subgroups of $SL2(\mathbb{Z})$.

Criticality theory for Schr\"odinger operators on graphs

Abstract: We study Schrodinger operators given by positive quadratic forms on infinite graphs. From there, we develop a criticality theory for Schrodinger operators on general weighted graphs.

Dirichlet eigenfunctions in the cube, sharpening the Courant nodal inequality

Abstract: This paper is devoted to the refined analysis of Courant's theorem for the Dirichlet Laplacian in a bounded open set. Starting from the work byAbyA. Pleijel in 1956, many papers have investigated in which cases the inequality in Courant's theorem is an equality. All these results were established for open sets in R 2 or for surfaces like S 2 or T 2. The aim of the current paper is to look for the case of the cube in R 3. We will prove that the only eigenvalues of the Dirichlet Laplacian which are Courant sharp are the two first eigenvalues.

Spectral bounds for the torsion function

Abstract: Let $\Omega$ be an open set in Euclidean space $\R^m,\, m=2,3,...$, and let $v_{\Omega}$ denote the torsion function for $\Omega$. It is known that $v_{\Omega}$ is bounded if and only if the bottom of the spectrum of the Dirichlet Laplacian acting in $\Leb^2(\Omega)$, denoted by $\lambda(\Omega)$, is bounded away from $0$. It is shown that the previously obtained bound $\|v_{\Omega}\|_{\Leb^{\infty}(\Omega)}\lambda(\Omega)\ge 1$ is sharp: for $m\in\{2,3,...\}$, and any $\epsilon>0$ we construct an open, bounded and connected set $\Omega_{\epsilon}\subset \R^m$ such that $\|v_{\Omega_{\epsilon}}\|_{\Leb^{\infty}(\Omega_{\epsilon})} \lambda(\Omega_{\epsilon})<1+\epsilon$. An upper bound for $v_{\Omega}$ is obtained for planar, convex sets in Euclidean space $M=\R^2$, which is sharp in the limit of elongation. For a complete, non-compact, $m$-dimensional Riemannian manifold $M$ with non-negative Ricci curvature, and without boundary it is shown that $v_{\Omega}$ is bounded if and only if the bottom of the spectrum of the Dirichlet-Laplace-Beltrami operator acting in $\Leb^2(\Omega)$ is bounded away from $0$.

Spectral Estimates for Infinite Quantum Graphs

Abstract: We investigate the bottom of the spectra of infinite quantum graphs, i.e., Laplace operators on metric graphs having infinitely many edges and vertices. We introduce a new definition of the isoperimetric constant for quantum graphs and then prove the Cheeger-type estimate. Our definition of the isoperimetric constant is purely combinatorial and thus it establishes connections with the combinatorial isoperimetric constant, one of the central objects in spectral graph theory and in the theory of simple random walks on graphs. The latter enables us to prove a number of criteria for quantum graphs to be uniformly positive or to have purely discrete spectrum. We demonstrate our findings by considering trees, antitrees and Cayley graphs of finitely generated groups.

Universal Constraints on the Location of Extrema of Eigenfunctions of Non-Local Schr\"odinger Operators

Abstract: We derive a lower bound on the location of global extrema of eigenfunctions for a large class of non-local Schrodinger operators in convex domains under Dirichlet exterior conditions, featuring the symbol of the kinetic term, the strength of the potential, and the corresponding eigenvalue, and involving a new universal constant. We show a number of probabilistic and spectral geometric implications, and derive a Faber-Krahn type inequality for non-local operators. Our study also extends to potentials with compact support, and we establish bounds on the location of extrema relative to the boundary edge of the support or level sets around minima of the potential.

Radial positive definite functions and spectral theory of the Schr\"odinger operators with point interactions

Abstract: We complete the classical Schoenberg representation theorem for radial positive definite functions. We apply this result to study spectral properties of self-adjoint realizations of two- and three-dimensional Schrodinger operators with point interactions on a finite set. In particular, we prove that any realization has purely absolutely continuous non-negative spectrum.

Spectra of Jacobi operators via connection coefficient matrices

Abstract: We address the computational spectral theory of Jacobi operators that are compact perturbations of the free Jacobi operator via the asymptotic properties of a connection coefficient matrix. In particular, for finite-rank perturbation we show that the computation of the spectrum can be reduced to a polynomial root finding problem, from a polynomial that is derived explicitly from the entries of a connection coefficient matrix. A formula for the spectral measure of the operator is also derived explicitly from these entries. The analysis is extended to trace-class perturbations. We address issues of computability in the framework of the Solvability Complexity Index, proving that the spectrum of compact perturbations of the free Jacobi operator is computable in finite time with guaranteed error control in the Hausdorff metric on sets.

Meromorphic continuation of Selberg zeta functions with twists having non-expanding cusp monodromy

Abstract: We initiate the study of Selberg zeta functions $Z_{\Gamma,\chi}$ for geometrically finite Fuchsian groups $\Gamma$ and finite-dimensional representations $\chi$ with non-expanding cusp monodromy. We show that for all choices of $(\Gamma,\chi)$, the Selberg zeta function $Z_{\Gamma,\chi}$ converges on some half-plane in $\mathbb{C}$. In addition, under the assumption that $\Gamma$ admits a strict transfer operator approach, we show that $Z_{\Gamma,\chi}$ extends meromorphically to all of $\mathbb{C}$.

Sturm's theorem on zeros of linear combinations of eigenfunctions

Abstract: Motivated by recent questions about the extension of Courant's nodal domain theorem, we revisit a theorem published by C. Sturm in 1836, which deals with zeros of linear combination of eigenfunctions of Sturm-Liouville problems. Although well known in the nineteenth century, this theorem seems to have been ignored or forgotten by some of the specialists in spectral theory since the second half of the twentieth-century. Although not specialists in History of Sciences, we have tried to put these theorems into the context of nineteenth century mathematics.

Characterization of the essential spectrum of the Neumann-Poincar\'e operator in 2D domains with corner via Weyl sequences

Abstract: The Neumann-Poincare (NP) operator naturally appears in the context of metamaterials as it may be used to represent the solutions of elliptic transmission problems via potentiel theory. In particular, its spectral properties are closely related to the well-posedness of these PDE's, in the typical case where one considers a bounded inclusion of homogeneous plasmonic metamaterial embedded in a homogeneous background dielectric medium. In a recent work, M. Perfekt and M. Putinar have shown that the NP operator of a 2D curvilinear polygon has an essential spectrum, which depends only on the angles of the corners. Their proof is based on quasi-conformal mappings and techniques from complex-analysis. In this work, we characterize the spectrum of the NP operator for a 2D domain with corners in terms of elliptic corner singularity functions, which gives insight on the behavior of generalized eigenmodes.