Continuity of eigenvalues and shape optimisation for Laplace and Steklov problems
Alexandre Girouard, Mikhail Karpukhin, Jean Lagacé
备注：
40 pages. Significant changes from previous version: many new results are included, including new continuity results. The results apply more generally and the proofs are simplified
We associate a sequence of variational eigenvalues to any Radon measure on a compact Riemannian manifold. For particular choices of measures, we recover the Laplace, Steklov and other classical eigenvalue problems. In the first part of the paper we study the properties variational eigenvalues and establish a general continuity result, which shows for a sequence of measures converging in the dual of an appropriate Sobolev space, that the associated eigenvalues converge as well. The second part of the paper is devoted to various applications to shape optimization. The main theme is studying sharp isoperimetric inequalities for Steklov eigenvalues without any assumption on the number of connected components of the boundary. In particular, we solve the isoperimetric problem for each Steklov eigenvalue of planar domains: the best upper bound for the $k$-th perimeter-normalised Steklov eigenvalue is $8πk$, which is the best upper bound for the $k$-th area-normalised eigenvalue of the Laplacian on the sphere. The proof involves realising a weighted Neumann problem as a limit of Steklov problems on perforated domains. For $k = 1$, the number of connected boundary components of a maximizing sequence must tend to infinity, and we provide a quantitative lower bound on the number of connected components. A surprising consequence of our analysis is that any maximizing sequence of planar domains with fixed perimeter must collapse to a point.
Consider a compact Riemannian manifold with boundary. In this short note we prove that under certain positive curvature assumptions on the manifold and its boundary the Steklov eigenvalues of the manifold are controlled by the Laplace eigenvalues of the boundary. Additionally, in two dimensions we obtain an upper bound for these Steklov eigenvalues in terms of topology of the surface without any curvature restrictions.
We present a unified description of extremal metrics for the Laplace and Steklov eigenvalues on manifolds of arbitrary dimension using the notion of $n$-harmonic maps. Our approach extends the well-known results linking extremal metrics for eigenvalues on surfaces with minimal immersions and harmonic maps. In the process, we uncover two previously unknown features of the Steklov eigenvalues. First, we show that in higher dimensions there is a unique normalization involving both the volume of the boundary and of the manifold itself, which leads to meaningful extremal eigenvalue problems. Second…
We consider the Steklov eigenvalues of the Laplace operator as limiting Neumann eigenvalues in a problem of boundary mass concentration. We discuss the asymptotic behavior of the Neumann eigenvalues in a ball and we deduce that the Steklov eigenvalues minimize the Neumann eigenvalues. Moreover, we study the dependence of the eigenvalues of the Steklov problem upon perturbation of the mass density and show that the Steklov eigenvalues violates a maximum principle in spectral optimization problems.
In the present paper, we study sharp isoperimetric inequalities for the first Steklov eigenvalue $σ_1$ on surfaces with fixed genus and large number $k$ of boundary components. We show that as $k\to \infty$ the free boundary minimal surfaces in the unit ball arising from the maximization of $σ_1$ converge to a closed minimal surface in the boundary sphere arising from the maximization of the first Laplace eigenvalue on the corresponding closed surface. For some genera, we prove that the corresponding areas converge at the optimal rate $\frac{\log k}{k}$. This result appears to provide the firs…
Using methods in the spirit of deterministic homogenisation theory we obtain convergence of the Steklov eigenvalues of a sequence of domains in a Riemannian manifold to weighted Laplace eigenvalues of that manifold. The domains are obtained by removing small geodesic balls that are asymptotically densely uniformly distributed as their radius tends to zero. We use this relationship to construct manifolds that have large Steklov eigenvalues. In dimension two, and with constant weight equal to 1, we prove that Kokarev's upper bound of $8π$ for the first nonzero normalised Steklov eigenvalue on or…
Recently, D. Bucur and M. Nahon used boundary homogenisation to show the remarkable flexibility of Steklov eigenvalues of planar domains. In the present paper we extend their result to higher dimensions and to arbitrary manifolds with boundary, even though in those cases the boundary does not generally exhibit any periodic structure. Our arguments use framework of variational eigenvalues and provides a different proof of the original results. Furthermore, we present an application of this flexibility to the optimisation of Steklov eigenvalues under perimeter constraint. It is proved that the b…
Let N be a complete Riemannian manifold of dimension n+1 whose Riemannian metric g is conformally equivalent to a metric with non-negative Ricci curvature. The normalized Steklov eigenvalues of a bounded domain in N are bounded above in terms of the isoperimetric ratio of the domain. Consequently, the normalized Steklov eigenvalues of a bounded domain in Euclidean space, hyperbolic space or a standard hemisphere are uniformly bounded above. On a compact surface with boundary, the normalized Steklov eigenvalues are uniformly bounded above in terms of the genus. We also obtain a relationship bet…
The known upper bounds for the multiplicities of the Laplace-Beltrami operator eigenvalues on the real projective plane are improved for the eigenvalues with even indexes. Upper bounds for Dirichlet, Neumann and Steklov eigenvalues on the real projective plane with holes are also provided.
We discuss a Steklov-type problem for Maxwell's equations which is related to an interior Calderón operator and an appropriate Dirichlet-to-Neumann type map. The corresponding Neumann-to-Dirichlet map turns out to be compact and this provides a Fourier basis of Steklov eigenfunctions for the associated energy spaces. With an approach similar to that developed by Auchmuty for the Laplace operator, we provide natural spectral representations for the appropriate trace spaces, for the Calderón operator itself and for the solutions of the corresponding boundary value problems subject to electric or…
In this paper, we study the amount of information contained in the Steklov spectrum of some compact manifolds with connected boundary equipped with a warped product metric. Examples of such manifolds can be thought of as deformed balls in R^d. We first prove that the Steklov spectrum determines uniquely the warping function of the metric. We show in fact that the approximate knowledge (in a given precise sense) of the Steklov spectrum is enough to determine uniquely the warping function in a neighbourhood of the boundary. Second, we provide stability estimates of log-type on the warping functi…
In this paper we revisit an approach pioneered by Auchmuty to approximate solutions of the Laplace- Robin boundary value problem. We demonstrate the efficacy of this approach on a large class of non-tensorial domains, in contrast with other spectral approaches for such problems. We establish a spectral approximation theorem showing an exponential fast numerical evaluation with regards to the number of Steklov eigenfunctions used, for smooth domains and smooth boundary data. A polynomial fast numerical evaluation is observed for either non-smooth domains or non-smooth boundary data. We addition…
We prove a lower bound for the $k$-th Steklov eigenvalues in terms of an isoperimetric constant called the $k$-th Cheeger-Steklov constant in three different situations: finite spaces, measurable spaces, and Riemannian manifolds. These lower bounds can be considered as higher order Cheeger type inequalities for the Steklov eigenvalues. In particular it extends the Cheeger type inequality for the first nonzero Steklov eigenvalue previously studied by Escobar in 1997 and by Jammes in 2015 to higher order Steklov eigenvalues. The technique we develop to get this lower bound is based on considerin…
Let M be a compact Riemannian manifold with boundary. Let b>0 be the number of connected components of its boundary. For manifolds of dimension at least 3, we prove that it is possible to obtain an arbitrarily large (b+1)-th Steklov eigenvalue using a smooth conformal perturbation which is supported in a thin neighbourhood of the boundary, identically equal to 1 on the boundary. For j<b+1, it is also possible to obtain arbitrarily large j-th eigenvalue, but this require the conformal factor to spread throughout the interior of the manifold M. This is in stark contrast with the situation for th…
We consider the Steklov eigenvalues of the Laplace operator as limiting Neumann eigenvalues in a problem of mass concentration at the boundary of a ball. We discuss the asymptotic behavior of the Neumann eigenvalues and find explicit formulas for their derivatives at the limiting problem. We deduce that the Neumann eigenvalues have a monotone behavior in the limit and that Steklov eigenvalues locally minimize the Neumann eigenvalues.
