No Arabic abstract
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.
In the first (and abstract) part of this survey we prove the unitary equivalence of the inverse of the Krein--von Neumann extension (on the orthogonal complement of its kernel) of a densely defined, closed, strictly positive operator, $Sgeq varepsilon I_{mathcal{H}}$ for some $varepsilon >0$ in a Hilbert space $mathcal{H}$ to an abstract buckling problem operator. This establishes the Krein extension as a natural object in elasticity theory (in analogy to the Friedrichs extension, which found natural applications in quantum mechanics, elasticity, etc.). In the second, and principal part of this survey, we study spectral properties for $H_{K,Omega}$, the Krein--von Neumann extension of the perturbed Laplacian $-Delta+V$ (in short, the perturbed Krein Laplacian) 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$.
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.
We consider harmonic Toeplitz operators $T_V = PV:{mathcal H}(Omega) to {mathcal H}(Omega)$ where $P: L^2(Omega) to {mathcal H}(Omega)$ is the orthogonal projection onto ${mathcal H}(Omega) = left{u in L^2(Omega),|,Delta u = 0 ; mbox{in};Omegaright}$, $Omega subset {mathbb R}^d$, $d geq 2$, is a bounded domain with $partial Omega in C^infty$, and $V: Omega to {mathbb C}$ is a suitable multiplier. First, we complement the known criteria which guarantee that $T_V$ is in the $p$th Schatten-von Neumann class $S_p$, by sufficient conditions which imply $T_V in S_{p, {rm w}}$, the weak counterpart of $S_p$. Next, we assume that $Omega$ is the unit ball in ${mathbb R}^d$, and $V = overline{V}$ is radially symmetric, and investigate the eigenvalue asymptotics of $T_V$ if $V$ has a power-like decay at $partial Omega$ or $V$ is compactly supported in $Omega$. Further, we consider general $Omega$ and $V geq 0$ which is regular in $Omega$, and admits a power-like decay of rate $gamma > 0$ at $partial Omega$, and we show that in this case $T_V$ is unitarily equivalent to a pseudo-differential operator of order $-gamma$, self-adjoint in $L^2(partial Omega)$. Using this unitary equivalence, we obtain the main asymptotic term of the eigenvalue counting function for the operator $T_V$. Finally, we introduce the Krein Laplacian $K geq 0$, self-adjoint in $L^2(Omega)$; it is known that ${rm Ker},K = {mathcal H}(Omega)$, and the zero eigenvalue of $K$ is isolated. We perturb $K$ by $V in C(overline{Omega};{mathbb R})$, and show that $sigma_{rm ess}(K+V) = V(partial Omega)$. Assuming that $V geq 0$ and $V{|partial Omega} = 0$, we study the asymptotic distribution of the eigenvalues of $K pm V$ near the origin, and find that the effective Hamiltonian which governs this distribution is the Toeplitz operator $T_V$.
We study the discrete spectrum of the Robin Laplacian $Q^{Omega}_alpha$ in $L^2(Omega)$, [ umapsto -Delta u, quad dfrac{partial u}{partial n}=alpha u text{ on }partialOmega, ] where $Omegasubset mathbb{R}^{3}$ is a conical domain with a regular cross-section $Thetasubset mathbb{S}^2$, $n$ is the outer unit normal, and $alpha>0$ is a fixed constant. It is known from previous papers that the bottom of the essential spectrum of $Q^{Omega}_alpha$ is $-alpha^2$ and that the finiteness of the discrete spectrum depends on the geometry of the cross-section. We show that the accumulation of the discrete spectrum of $Q^Omega_alpha$ is determined by the discrete spectrum of an effective Hamiltonian defined on the boundary and far from the origin. By studying this model operator, we prove that the number of eigenvalues of $Q^{Omega}_alpha$ in $(-infty,-alpha^2-lambda)$, with $lambda>0$, behaves for $lambdato0$ as [ dfrac{alpha^2}{8pi lambda} int_{partialTheta} kappa_+(s)^2d s +oleft(frac{1}{lambda}right), ] where $kappa_+$ is the positive part of the geodesic curvature of the cross-section boundary.
Two concepts, very different in nature, have proved to be useful in analytical and numerical studies of spectral stability: (i) the Krein signature of an eigenvalue, a quantity usually defined in terms of the relative orientation of certain subspaces that is capable of detecting the structural instability of imaginary eigenvalues and hence their potential for moving into the right half-plane leading to dynamical instability under perturbation of the system, and (ii) the Evans function, an analytic function detecting the location of eigenvalues. One might expect these two concepts to be related, but unfortunately examples demonstrate that there is no way in general to deduce the Krein signature of an eigenvalue from the Evans function. The purpose of this paper is to recall and popularize a simple graphical interpretation of the Krein signature well-known in the spectral theory of polynomial operator pencils. This interpretation avoids altogether the need to view the Krein signature in terms of root subspaces and their relation to indefinite quadratic forms. To demonstrate the utility of this graphical interpretation of the Krein signature, we use it to define a simple generalization of the Evans function -- the Evans-Krein function -- that allows the calculation of Krein signatures in a way that is easy to incorporate into existing Evans function evaluation codes at virtually no additional computational cost. The graphical Krein signature also enables us to give elegant proofs of index theorems for linearized Hamiltonians in the finite dimensional setting: a general result implying as a corollary the generalized Vakhitov-Kolokolov criterion (or Grillakis-Shatah-Strauss criterion) and a count of real eigenvalues for linearized Hamiltonian systems in canonical form. These applications demonstrate how the simple graphical nature of the Krein signature may be easily exploited.