It is well known that the sum of negative (positive) eigenvalues of some finite Hermitian matrix $V$ is concave (convex) with respect to $V$. Using the theory of the spectral shift function we generalize this property to self-adjoint operators on a separable Hilbert space with an arbitrary spectrum. More precisely, we prove that the spectral shift function integrated with respect to the spectral parameter from $-\infty$ to $λ$ (from $λ$ to $+\infty$) is concave (convex) with respect to trace class perturbations. The case of relative trace class perturbations is also considered.
It is proved that if a bounded domain in three dimensions satisfies a certain concavity condition, then the Neumann-Poincaré operator on the boundary of the domain or its inversion in a sphere has at least one negative eigenvalue. The concavity condition is quite simple, and is satisfied if there is a point on the boundary at which the Gaussian curvature is negative.
In the first part of the paper we consider the Schrödinger operator $ -Δ-V(x),\quad V>0. $ We discuss the relation between the behavior of $V$ at the infinity and the properties of the negative spectrum of $H$. After that, we consider the case when $V$ changes its sign: $ V=V_+-V_-$, $2V_\pm=|V|\pm V. $ In this case, we treat $V$ and $-V$ symmetrically and study the relation between the behavior of $V$ at the infinity and the negative spectra of the operators $H_+=-Δ+V$ and $H_-=-Δ-V$.
In this paper, we establish some lower bounds for the sums of eigenvalues of the polyharmonic operator and higher order Stokes operator, which are sharper than the recent results in \cite{CSWZ13, I13}. At the same time, we obtain some certain bounds for the sums of positive and negative powers of eigenvalues of the polyharmonic operator.
Among all triangles of given diameter, the equilateral triangle is shown to minimize the sum of the first $n$ eigenvalues of the Dirichlet Laplacian, for each $n \geq 1$. In addition, the first, second and third eigenvalues are each proved to be minimal for the equilateral triangle. The disk is conjectured to be the minimizer among general domains.
We propose a technique for calculating and understanding the eigenvalue distribution of sums of random matrices from the known distribution of the summands. The exact problem is formidably hard. One extreme approximation to the true density amounts to classical probability, in which the matrices are assumed to commute; the other extreme is related to free probability, in which the eigenvectors are assumed to be in generic positions and sufficiently large. In practice, free probability theory can give a good approximation of the density. We develop a technique based on eigenvector localization/…
We use two variational techniques to prove upper bounds for sums of the lowest several eigenvalues of matrices associated with finite, simple, combinatorial graphs. These include estimates for the adjacency matrix of a graph and for both the standard combinatorial Laplacian and the renormalized Laplacian. We also provide upper bounds for sums of squares of eigenvalues of these three matrices. Among our results, we generalize an inequality of Fiedler for the extreme eigenvalues of the graph Laplacian to a bound on the sums of the smallest (or largest) k such eigenvalues, k < n. Furthermore, if …
The sum of the first $n \geq 1$ eigenvalues of the Laplacian is shown to be maximal among triangles for the equilateral triangle, maximal among parallelograms for the square, and maximal among ellipses for the disk, provided the ratio $\text{(area)}^3/\text{(moment of inertia)}$ for the domain is fixed. This result holds for both Dirichlet and Neumann eigenvalues, and similar conclusions are derived for Robin boundary conditions and Schrödinger eigenvalues of potentials that grow at infinity. A key ingredient in the method is the tight frame property of the roots of unity. For general convex p…
Inequalities are derived for sums and quotients of eigenvalues of magnetic Schroedinger operators with non-negative electric potentials in domains. The bounds reflect the correct order of growth in the semi-classical limit.
The sum of the first $n \geq 1$ eigenvalues of the Laplacian is shown to be maximal among simplexes for the regular simplex (the regular tetrahedron, in three dimensions), maximal among parallelepipeds for the hypercube, and maximal among ellipsoids for the ball, provided the volume and moment of inertia of an "inverse" body are suitably normalized. This result holds for Dirichlet, Robin and Neumann eigenvalues. Additionally, the cubical torus is shown to be maximal among flat tori. The method of proof involves tight frames for euclidean space generated by the orbits of the rotation group of t…
We give a construction of a class of magnetic Laplacian operators on finite directed graphs. We study some general combinatorial and algebraic properties of operators in this class before applying the Harrell-Stubbe Averaged Variational Principle to derive several sharp bounds on sums of eigenvalues of such operators. In particular, among other inequalities, we show that if $G$ is a directed graph on $n$ vertices arising from orienting a connected subgraph of $d$-regular loopless graph on $n$ vertices, then if $Δ_θ$ is any magnetic Laplacian on $G$, of which the standard combinatorial Laplacia…
In this paper, we derive "universal" inequalities for the sums of eigenvalues of the Hodge de Rham Laplacian on Euclidean closed Submanifolds and of eigenvalues of the Kohn Laplacian on the Heisenberg group. These inequalities generalize the Levitin-Parnovski inequality obtained for the sums of eigenvalues of the Dirichlet Laplacian of a bounded Euclidean domain. New Reilly and Asada inequalities are also obtained.
On a convex bounded Euclidean domain, the ground state for the Laplacian with Neumann boundary conditions is a constant, while the Dirichlet ground state is log-concave. The Robin eigenvalue problem can be considered as interpolating between the Dirichlet and Neumann cases, so it seems natural that the Robin ground state should have similar concavity properties. In this paper we show that this is false, by analysing the perturbation problem from the Neumann case. In particular we prove that on polyhedral convex domains, except in very special cases (which we completely classify) the variation …
We use the averaged variational principle introduced in a recent article on graph spectra [7] to obtain upper bounds for sums of eigenvalues of several partial differential operators of interest in geometric analysis, which are analogues of Kr{ö}ger 's bound for Neumann spectra of Laplacians on Euclidean domains [12]. Among the operators we consider are the Laplace-Beltrami operator on compact subdomains of manifolds. These estimates become more explicit and asymptotically sharp when the manifold is conformal to homogeneous spaces (here extending a result of Strichartz [21] with a simplified p…
We investigate isoperimetric upper bounds for sums of consecutive Steklov eigenvalues of planar domains. The normalization involves the perimeter and scale-invariant geometric factors which measure deviation of the domain from roundness. We prove sharp upper bounds for both starlike and simply connected domains, for a large collection of spectral functionals including partial sums of the zeta function and heat trace. The proofs rely on a special class of quasiconformal mappings.
We derive inequalities for sums of eigenvalues of Schrödinger operators on finite intervals and tori. In the first of these cases, the inequalities converge to the classical trace formulae in the limit as the number of eigenvalues considered approaches infinity.
We derive explicit inequalities for sums of eigenvalues of one-dimensional Schrödinger operators on the whole line. In the case of the perturbed harmonic oscillator, these bounds converge to the corresponding trace formula in the limit as the number of eigenvalues covers the whole spectrum.
For a closed Riemannian orbifold $O$, we compare the spectra of the Laplacian, acting on functions or differential forms, to the Neumann spectra of the orbifold with boundary given by a domain $U$ in $O$ whose boundary is a smooth manifold. Generalizing results of several authors, we prove that the metric of $O$ can be perturbed to ensure that the first $N$ eigenvalues of $U$ and $O$ are arbitrarily close to one another. This involves a generalization of the Hodge decomposition to the case of orbifolds with manifold boundary. Using these results, we study the behavior of the Laplace spectrum o…
