No Arabic abstract
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}.
For $alphain(0,pi)$, let $U_alpha$ denote the infinite planar sector of opening $2alpha$, [ U_alpha=big{ (x_1,x_2)inmathbb R^2: big|arg(x_1+ix_2) big|<alpha big}, ] and $T^gamma_alpha$ be the Laplacian in $L^2(U_alpha)$, $T^gamma_alpha u= -Delta u$, with the Robin boundary condition $partial_ u u=gamma u$, where $partial_ u$ stands for the outer normal derivative and $gamma>0$. The essential spectrum of $T^gamma_alpha$ does not depend on the angle $alpha$ and equals $[-gamma^2,+infty)$, and the discrete spectrum is non-empty iff $alpha<fracpi 2$. In this case we show that the discrete spectrum is always finite and that each individual eigenvalue is a continous strictly increasing function of the angle $alpha$. In particular, there is just one discrete eigenvalue for $alpha ge frac{pi}{6}$. As $alpha$ approaches $0$, the number of discrete eigenvalues becomes arbitrary large and is minorated by $kappa/alpha$ with a suitable $kappa>0$, and the $n$th eigenvalue $E_n(T^gamma_alpha)$ of $T^gamma_alpha$ behaves as [ E_n(T^gamma_alpha)=-dfrac{gamma^2}{(2n-1)^2 alpha^2}+O(1) ] and admits a full asymptotic expansion in powers of $alpha^2$. The eigenfunctions are exponentially localized near the origin. The results are also applied to $delta$-interactions on star graphs.
Let $Omega$ be a curvilinear polygon and $Q^gamma_{Omega}$ be the Laplacian in $L^2(Omega)$, $Q^gamma_{Omega}psi=-Delta psi$, with the Robin boundary condition $partial_ u psi=gamma psi$, where $partial_ u$ is the outer normal derivative and $gamma>0$. We are interested in the behavior of the eigenvalues of $Q^gamma_Omega$ as $gamma$ becomes large. We prove that the asymptotics of the first eigenvalues of $Q^gamma_Omega$ is determined at the leading order by those of model operators associated with the vertices: the Robin Laplacians acting on the tangent sectors associated with $partial Omega$. In the particular case of a polygon with straight edges the first eigenpairs are exponentially close to those of the model operators. Finally, we prove a Weyl asymptotics for the eigenvalue counting function of $Q^gamma_Omega$ for a threshold depending on $gamma$, and show that the leading term is the same as for smooth domains.
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 discuss several geometric conditions guaranteeing the finiteness or the infiniteness of the discrete spectrum for Robin Laplacians on conical domains.
We study spectral properties for $H_{K,Omega}$, the Krein--von Neumann extension of the perturbed Laplacian $-Delta+V$ defined on $C^infty_0(Omega)$, where $V$ is measurable, bounded and nonnegative, in a bounded open set $Omegasubsetmathbb{R}^n$ belonging to a class of nonsmooth domains which contains all convex domains, along with all domains of class $C^{1,r}$, $r>1/2$. In particular, in the aforementioned context we establish the Weyl asymptotic formula [ #{jinmathbb{N} | lambda_{K,Omega,j}leqlambda} = (2pi)^{-n} v_n |Omega| lambda^{n/2}+Obig(lambda^{(n-(1/2))/2}big) {as} lambdatoinfty, ] where $v_n=pi^{n/2}/ Gamma((n/2)+1)$ denotes the volume of the unit ball in $mathbb{R}^n$, and $lambda_{K,Omega,j}$, $jinmathbb{N}$, are the non-zero eigenvalues of $H_{K,Omega}$, listed in increasing order according to their multiplicities. We prove this formula by showing that the perturbed Krein Laplacian (i.e., the Krein--von Neumann extension of $-Delta+V$ defined on $C^infty_0(Omega)$) is spectrally equivalent to the buckling of a clamped plate problem, and using an abstract result of Kozlov from the mid 1980s. Our work builds on that of Grubb in the early 1980s, who has considered similar issues for elliptic operators in smooth domains, and shows that the question posed by Alonso and Simon in 1980 pertaining to the validity of the above Weyl asymptotic formula continues to have an affirmative answer in this nonsmooth setting.