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.
We consider the self-adjoint Schrodinger operator in $L^2(mathbb{R}^d)$, $dgeq 2$, with a $delta$-potential supported on a hyperplane $Sigmasubseteqmathbb{R}^d$ of strength $alpha=alpha_0+alpha_1$, where $alpha_0inmathbb{R}$ is a constant and $alpha_1in L^p(Sigma)$ is a nonnegative function. As the main result, we prove that the lowest spectral point of this operator is not smaller than that of the same operator with potential strength $alpha_0+alpha_1^*$, where $alpha_1^*$ is the symmetric decreasing rearrangement of $alpha_1$. The proof relies on the Birman-Schwinger principle and the reduction to an analogue of the P{o}lya-SzegH{o} inequality for the relativistic kinetic energy in $mathbb{R}^{d-1}$.
Let $Omega_-$ and $Omega_+$ be two bounded smooth domains in $mathbb{R}^n$, $nge 2$, separated by a hypersurface $Sigma$. For $mu>0$, consider the function $h_mu=1_{Omega_-}-mu 1_{Omega_+}$. We discuss self-adjoint realizations of the operator $L_{mu}=- ablacdot h_mu abla$ in $L^2(Omega_-cupOmega_+)$ with the Dirichlet condition at the exterior boundary. We show that $L_mu$ is always essentially self-adjoint on the natural domain (corresponding to transmission-type boundary conditions at the interface $Sigma$) and study some properties of its unique self-adjoint extension $mathcal{L}_mu:=overline{L_mu}$. If $mu e 1$, then $mathcal{L}_mu$ simply coincides with $L_mu$ and has compact resolvent. If $n=2$, then $mathcal{L}_1$ has a non-empty essential spectrum, $sigma_mathrm{ess}(mathcal{L}_{1})={0}$. If $nge 3$, the spectral properties of $mathcal{L}_1$ depend on the geometry of $Sigma$. In particular, it has compact resolvent if $Sigma$ is the union of disjoint strictly convex hypersurfaces, but can have a non-empty essential spectrum if a part of $Sigma$ is flat. Our construction features the method of boundary triplets, and the problem is reduced to finding the self-adjoint extensions of a pseudodifferential operator on $Sigma$. We discuss some links between the resulting self-adjoint operator $mathcal{L}_mu$ and some effects observed in negative-index materials.
We study directed, weighted graphs $G=(V,E)$ and consider the (not necessarily symmetric) averaging operator $$ (mathcal{L}u)(i) = -sum_{j sim_{} i}{p_{ij} (u(j) - u(i))},$$ where $p_{ij}$ are normalized edge weights. Given a vertex $i in V$, we define the diffusion distance to a set $B subset V$ as the smallest number of steps $d_{B}(i) in mathbb{N}$ required for half of all random walks started in $i$ and moving randomly with respect to the weights $p_{ij}$ to visit $B$ within $d_{B}(i)$ steps. Our main result is that the eigenfunctions interact nicely with this notion of distance. In particular, if $u$ satisfies $mathcal{L}u = lambda u$ on $V$ and $$ B = left{ i in V: - varepsilon leq u(i) leq varepsilon right} eq emptyset,$$ then, for all $i in V$, $$ d_{B}(i) log{left( frac{1}{|1-lambda|} right) } geq log{left( frac{ |u(i)| }{|u|_{L^{infty}}} right)} - log{left(frac{1}{2} + varepsilonright)}.$$ $d_B(i)$ is a remarkably good approximation of $|u|$ in the sense of having very high correlation. The result implies that the classical one-dimensional spectral embedding preserves particular aspects of geometry in the presence of clustered data. We also give a continuous variant of the result which has a connection to the hot spots conjecture.
We discuss several geometric conditions guaranteeing the finiteness or the infiniteness of the discrete spectrum for Robin Laplacians on conical domains.
We consider Schroedinger operators on regular metric trees and prove Lieb-Thirring and Cwikel-Lieb-Rozenblum inequalities for their negative eigenvalues. The validity of these inequalities depends on the volume growth of the tree. We show that the bounds are valid in the endpoint case and reflect the correct order in the weak or strong coupling limit.