No Arabic abstract
Our main result is that if a generic convex domain in $R^n$ collapses to a domain in $R^{n-1}$, then the difference between the first two Dirichlet eigenvalues of the Euclidean Laplacian, known as the fundamental gap, diverges. The boundary of the domain need not be smooth, merely Lipschitz continuous. To motivate the general case, we first prove the analogous result for triangular and polygonal domains. In so doing, we prove that the first two eigenvalues of triangular domains cannot be polyhomogeneous on the moduli space of triangles without blowing up a certain point. Our results show that the gap generically diverges under one dimensional collapse and is bounded only if the domain is sufficiently close to a rectangle in two dimensions or a cylinder in higher dimensions.
We study the spectrum of a one-dimensional Dirac operator pencil, with a coupling constant in front of the potential considered as the spectral parameter. Motivated by recent investigations of graphene waveguides, we focus on the values of the coupling constant for which the kernel of the Dirac operator contains a square integrable function. In physics literature such a function is called a confined zero mode. Several results on the asymptotic distribution of coupling constants giving rise to zero modes are obtained. In particular, we show that this distribution depends in a subtle way on the sign variation and the presence of gaps in the potential. Surprisingly, it also depends on the arithmetic properties of certain quantities determined by the potential. We further observe that variable sign potentials may produce complex eigenvalues of the operator pencil. Some examples and numerical calculations illustrating these phenomena are presented.
By introducing a weight function to the Laplace operator, Bakry and Emery defined the drift Laplacian to study diffusion processes. Our first main result is that, given a Bakry-Emery manifold, there is a naturally associated family of graphs whose eigenvalues converge to the eigenvalues of the drift Laplacian as the graphs collapse to the manifold. Applications of this result include a new relationship between Dirichlet eigenvalues of domains in $R^n$ and Neumann eigenvalues of domains in $R^{n+1}$ and a new maximum principle. Using our main result and maximum principle, we are able to generalize emph{all the results in Riemannian geometry based on gradient estimates to Bakry-Emery manifolds}.
We revisit an archive submission by P. B. Denton, S. J. Parke, T. Tao, and X. Zhang, arXiv:1908.03795, on $n times n$ self-adjoint matrices from the point of view of self-adjoint Dirichlet Schrodinger operators on a compact interval.
We prove that the isoperimetric inequality due to Hersch-Payne-Schiffer for the n-th nonzero Steklov eigenvalue of a bounded simply-connected planar domain is sharp for all n=1,2,... The equality is attained in the limit by a sequence of simply-connected domains degenerating to the disjoint union of n identical disks. We give a new proof of this inequality for n=2 and show that it is strict in this case. Related results are also obtained for the product of two consecutive Steklov eigenvalues.
In this article, we consider the semiclassical Schrodinger operator $P = - h^{2} Delta + V$ in $mathbb{R}^{d}$ with confining non-negative potential $V$ which vanishes, and study its low-lying eigenvalues $lambda_{k} ( P )$ as $h to 0$. First, we give a necessary and sufficient criterion upon $V^{-1} ( 0 )$ for $lambda_{1} ( P ) h^{- 2}$ to be bounded. When $d = 1$ and $V^{-1} ( 0 ) = { 0 }$, we are able to control the eigenvalues $lambda_{k} ( P )$ for monotonous potentials by a quantity linked to an interval $I_{h}$, determined by an implicit relation involving $V$ and $h$. Next, we consider the case where $V$ has a flat minimum, in the sense that it vanishes to infinite order. We give the asymptotic of the eigenvalues: they behave as the eigenvalues of the Dirichlet Laplacian on $I_{h}$. Our analysis includes an asymptotic of the associated eigenvectors and extends in particular cases to higher dimensions.