Abstract
We discuss isoperimetric inequalities for the magnetic Laplacian on bounded domains of \({\mathbb {R}}^2\) endowed with an Aharonov–Bohm potential. When the flux of the potential around the pole is not an integer, the lowest eigenvalue for the Neumann and the Steklov problems is positive. We establish isoperimetric inequalities for the lowest eigenvalue in the spirit of the classical inequalities of Szegö–Weinberger, Brock and Weinstock, the model domain being a disk with the pole at its center. We consider more generally domains in the plane endowed with a rotationally invariant metric, which include the spherical and the hyperbolic case.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The question of the isoperimetric inequalities for the eigenvalues of the Laplacian (in particular for the first nonzero eigenvalue) is a long standing problem. Let us give a short and partial summary in the case of bounded domains of the Euclidean space which will be the main topic of the present paper. It began with the celebrated Faber–Krahn inequality [17]: for Dirichlet boundary conditions, among all bounded domains of given volume, the first eigenvalue is minimized by the ball. For spaces of constant curvature the result can be found in [7]. For Neumann boundary conditions, among all bounded domains of given volume with Lipschitz boundary, the second eigenvalue (i.e., the first nonzero) is maximized by the ball. This is the Szegö–Weinberger inequality [23, 24]. This inequality has been extended to bounded domains in spaces of constant curvature by Ashbaugh and Benguria [3] (see also [4]). For Robin boundary conditions with positive parameter, the ball also realizes the minimum [8]. For other operators, similar results exist. For the Steklov problem, the second eigenvalue (the first nonzero) is maximized by the ball among the bounded open domains of given volume with Lipschitz boundary: this is the inequality of Brock [5]. However, if we consider the domains of \({\mathbb {R}}^2\) with boundary of given length, the second eigenvalue is maximized by the disk only among all simply connected domains. This is the inequality of Weinstock [25]. There exist annuli with larger second eigenvalue. Again, we refer to [4, 7] for more discussion and generalizations. Note that, even if we will not go in this direction, the maximization or minimization of higher eigenvalues is intensively studied, see for example [6] for the second nonzero eigenvalue of the Neumann problem and [14] for the third eigenvalue of the Robin problem.
In this paper we will be mainly concerned with the Neumann problem for the Aharonov–Bohm magnetic Laplacian on domains of \({\mathbb {R}}^2\) (see (1)–(3)) and with the corresponding Steklov problem (see (1)–(4)).
The problems under consideration are instances of how the Aharonov–Bohm effect has an influence on the bound states of a quantum particle. Roughly speaking, the Aharonov–Bohm effect can be described as follows: consider an impenetrable region (typically, an ideal solenoid) where a magnetic field is confined, while a charged quantum particle is placed outside the impenetrable region (i.e., the wave function describing the particle vanishes near the boundary of the solenoid). It turns out that the Hamiltonian of the particle is influenced by a vector potential A which generates the magnetic field, even if the magnetic field vanishes outside the solenoid. This effect has been predicted by Ehrenberg and Siday [10], and discussed analytically ten years later by Aharonov and Bohm [1], and has been validated then by a series of experiments, especially in the framework of the scattering of the electrons from a magnetic solenoid. The Aharonov–Bohm effects illustrates the physicality of magnetic potentials (energies) in quantum mechanics, which were classically considered just mathematical artifices for computational purposes, contrarily to fields (forces), the core of Newtonian physics. Other theoretical consequences concerning local/global nature of electromagnetic effects can be deduced. Nevertheless, there have been many disputes on the effective existence of the Aharonov–Bohm effect, and it has been argued that experiments (mainly involving scattering situations) do not really confirm the theory. On the other hand, if we consider the Aharonov–Bohm effect on bound states, which is the main topic of our paper from a mathematical point of view, there are no more ambiguities, as discussed in [15, 22]. The mathematical problems which we study, namely problem (3)–(4) with potential (1), describe the motion of a quantum particle in a region \(\varOmega \) of a plane perpendicular to a magnetic solenoid of arbitrarily small radius R (in experiments, smaller that de Broglie wavelength of the electron). It turns out that the eigenvalues of the corresponding Hamiltonian feel in some sense a shift which is related to the flux of the vector potential along closed paths (modulo integers), as described in [22]. In particular, for Neumann boundary conditions on the boundary of \(\varOmega \), the ground state needs not to be zero, and this poses fundamental mathematical questions concerning isoperimetric inequalities and eigenvalue bounds.
In the case of the Neumann problem (3), we will also consider the Aharonov–Bohm magnetic Laplacian on domains of surfaces of revolution (in particular, the standard sphere \({\mathbb {S}}^2\) and the standard hyperbolic space \({\mathbb {H}}^2\)). Most of the time, the first eigenvalue of this kind of problem is strictly positive and its study difficult. For example, for the magnetic Laplacian with constant non zero magnetic field and Dirichlet boundary condition in \({\mathbb {R}}^2\), it is known that the first eigenvalue is minimized by the disk among all domains of given area: this was shown in [11] and the proof is quite involved. To our knowledge, a similar result is not known in \({\mathbb {S}}^2\) or \({\mathbb {H}}^2\). However, for the magnetic Laplacian with constant magnetic field and magnetic Neumann boundary condition, it is no longer true that the disk maximizes the first eigenvalue: even for simply connected domains, the question is open, see [12, Question 1, Remark 2.4 and Proposition 3.3]. More information can be found also in [13, §4 and §5]. Still for the case of constant magnetic field, we mention [19, 20] for bounds on Dirichlet and Neumann eigenvalues of certain families of domains, and [16] for an isoperimetric inequality for the Robin problem.
In the case of \({\mathbb {R}}^2\), we show that, among all domains of given area, the disk with the singularity of the magnetic field at the center is the unique maximizer of the first eigenvalue, which is positive provided that the flux is not an integer. This is a reverse Faber–Krahn inequality, that we obtain in the spirit of Szegö–Weinberger [23, 24]. For the Steklov problem we prove two isoperimetric inequalities for the first eigenvalue, which, again, is positive if the flux is not an integer. These correspond to the inequalities of Weinstock and of Brock [5, 25].
For the Neumann problem, we obtain similar results for domain of \({\mathbb {S}}^2\) and \({\mathbb {H}}^2\). The result will be a consequence of a general isoperimetric inequality for the Schrödinger operator on a manifold of revolution with radial, non-negative, and radially decreasing potential, that we will prove here (see Theorem 6).
We finally remark that the Faber–Krahn inequality for the magnetic Dirichlet problem with Aharonov–Bohm potential is trivial: the first eigenvalue is minimized by that of the usual Laplacian on the disk, among all bounded domains of given area. A simple argument to see this comes from the diamagnetic inequality [21, Theorem 7.21], namely \(|\nabla |u||\le |\nabla ^A u|\), where u is any smooth complex-valued function in the magnetic Sobolev space associated with the magnetic Dirichlet problem with Aharonov–Bohm potential A, and \(\nabla ^A u\) is the magnetic gradient of u (see“Appendix A” for precise definitions). This pointwise identity implies that the first Dirichlet magnetic eigenvalue on any domain is lower bounded by the first eigenvalue of the Dirichlet Laplacian on that domain. Therefore, by the standard Faber–Krahn inequality, it is lower bounded by the first eigenvalue of the Dirichlet Laplacian on a disk with the same area.
2 Notation and Statement of Results
Let \(\varOmega \) be a smooth bounded domain of \({\mathbb {R}}^2\) with a distinguished point \(x_0=(a,b)\) and consider the one-form
The one-form \(A_{x_0,\nu }=\nu A_0\) will be called Aharonov–Bohm potential with pole \(x_0\) and flux \(\nu \). Note that \(A_0\) is smooth, closed, co-closed (hence harmonic) on \({{\mathbb {R}}}^{2}\setminus \{x_0\}\), and is singular at \(x_0\); it gives rise to a zero magnetic field (\(B=\mathrm{d}{A_{x_0,\nu }}=0\)). Recall that the flux of A around a loop \(c: [0,L]\rightarrow \mathbb R^2\) is
where we assume that c is travelled once in the counterclockwise direction (even though the direction or the number of turns have no effect on our results). We also say that a closed form A has flux \(\nu \) around \(x_0\) if the flux of A around any loop enclosing \(x_0\) is \(\nu \): since A closed, this definition does not depend on the loop c. In particular, let \(\Gamma \) be the outer boundary of \(\Omega \); if \(x_0\) is inside \(\Gamma \), then \(\nu \) is the flux of \(A_{x_0,\nu }\) around \(\Gamma \). Let \(\varDelta _{A_{x_0,\nu }}\) be the magnetic Laplacian with potential \(A_{x_0,\nu }\): it is the operator
acting on complex valued functions u (the sign convention is that \(\varDelta u=-\sum _j \partial ^2_{x_jx_j}u\)). Of course, we can always assume that \(x_0\) is the origin.
We will also consider the case when the ambient space is a two-dimensional manifold of revolution (M, g) with pole \(x_0\) and polar coordinates (r, t), where r is the distance to \(x_0\). In this case, we consider the form \(A_0=\mathrm{d}t\), which is harmonic (closed and co-closed), and with flux 1 around \(x_0\).
In this paper, we consider the eigenvalue problem for \(\varDelta _{A_{x_0,\nu }}\) with magnetic Neumann conditions:
and also the magnetic Steklov eigenvalue problem:
Here N is the outer unit normal to \(\partial \varOmega \). With abuse of notation we still denote by \({A_{x_0,\nu }}\) the potential dual to the 1-form \(A_{x_0,\nu }\). We also denote by \(\nabla ^{A_{x_0,\nu }}u\) the vector field
which is called magnetic gradient. Therefore, the magnetic Neumann condition reads \(\langle {\nabla ^{A_{x_0,\nu }}u},{N}\rangle =0\), while the magnetic Steklov condition is \(\langle {\nabla ^{A_{x_0,\nu }}u},{N}\rangle =\sigma u\).
We will prove in “Appendix A” that each of these two problems admits an infinite discrete sequence of eigenvalues of finite multiplicity. We will denote by \(\lambda _1(\varOmega ,A_{x_0,\nu })\) the first eigenvalue of Problem (3) and by \(\sigma _1(\varOmega ,A_{x_0,\nu })\) the first eigenvalue of Problem (4). These two eigenvalues are non-negative for all \(\nu \in {\mathbb {R}}\) and are strictly positive if and only if \(\nu \not \in {\mathbb {Z}}\) (in particular, when \(x_0\in \varOmega ^c\) and the flux of \(A_{x_0,\nu }\) is 0 in \(\varOmega \), we set \(\nu =0\)); in particular, when \(\nu \in {\mathbb {Z}}\), the two spectra of problems (3) and (4) reduce to the corresponding spectra of the Laplacian \(\varDelta \) (i.e., when \(A_{x_0,\nu }=0\), see “Appendix A”).
In the sequel, we will often suppose that \(\nu \not \in {\mathbb {Z}}\), so \(\lambda _1(\varOmega ,A_{x_0,\nu })\) and \(\sigma _1(\varOmega ,A_{x_0,\nu })\) are both positive.
The first result is a reverse Faber–Krahn inequality for the first eigenvalue of the Neumann problem whose proof is based on the well-known Szegö–Weinberger approach [23, 24].
Through all the paper, by \(|\varOmega |\) we denote the Lebesgue measure of a smooth bounded domain \(\varOmega \), and by \(|\partial \varOmega |\) the length of its boundary.
Theorem 1
Let \(\varOmega \) be a smooth bounded domain in \({\mathbb {R}}^2\) or \({\mathbb {H}}^2,\) and let \(A_{x_0,\nu }\) be the Aharonov–Bohm potential with pole at \(x_0\) and flux \(\nu \). Let \(B(x_0,R)\) be the disk with center \(x_0\) and radius R such that \(\vert B(x_0,R)\vert =\vert \varOmega \vert \). Then
if \(\nu \notin {\mathbb {Z}},\) equality holds if and only if \(\varOmega =B(x_0,R)\).
We will observe that Theorem 1 extends to domains in the manifold \(({\mathbb {R}}^2,g)\) where g is a complete, non-positively curved, rotationally invariant metric around \(x_0\), the pole of the magnetic potential (see Sect. 4.1).
This theorem will be a consequence of a more general result about an isoperimetric inequality for Schrödinger operators on revolution manifolds with pole \(x_0\) and radial potential V that we will present in Sect. 3. In fact, Theorem 1 holds also in this setting, under suitable hypothesis on the function describing the density of the Riemannian metric in standard polar coordinates.
The case of the sphere \({\mathbb {S}}^2\) is more involved. We are able to show a similar result to Theorem 1 only if the domain is contained in a hemisphere centered at the pole \(x_0\).
Theorem 2
Let \(\varOmega \) be a smooth domain contained in a hemisphere centered at \(x_0,\) and let \(A_{x_0,\nu }\) be the Aharonov–Bohm potential with pole at \(x_0\) and flux \(\nu \). Let \(B(x_0,R)\) be the disk in \({\mathbb {S}}^2\) with center \(x_0\) and radius R such that \(\vert B(x_0,R)\vert =\vert \varOmega \vert \). Then
if \(\nu \notin {\mathbb {Z}},\) equality holds if and only if \(\varOmega =B(x_0,R)\).
Note that the analogous result for the second eigenvalue of the Neumann Laplacian is proved in [3]. However, for simply connected domains we can do better.
Theorem 3
Let \(\varOmega \) be a smooth simply connected domain in \({\mathbb {S}}^2\) with \(|\varOmega |\le 2\pi \) and \(-x_0\notin \varOmega ,\) and let \(A_{x_0,\nu }\) be the Aharonov–Bohm potential with pole at \(x_0\) and flux \(\nu \). Let \(B(x_0,R)\) be the disk in \({\mathbb {S}}^2\) with center \(x_0\) and radius R such that \(\vert B(x_0,R)\vert =\vert \varOmega \vert \). Then
if \(\nu \notin {\mathbb {Z}},\) equality holds if and only if \(\varOmega =B(x_0,R)\).
The next result is the analogous of Brock’s inequality [5] for the first Steklov eigenvalue on planar domains:
Theorem 4
Let \(\varOmega \) be a smooth bounded domain in \({\mathbb {R}}^2\) and let \(A_{x_0,\nu }\) be the Aharonov–Bohm potential with pole at \(x_0\) and flux \(\nu \). Let \(B(x_0,R)\) be the disk with center \(x_0\) and radius R such that \(\vert B(x_0,R)\vert =\vert \varOmega \vert \). Then
If \(\nu \notin {\mathbb {Z}},\) equality holds if and only if \(\varOmega =B(x_0,R)\).
Finally, we prove the analogue of Weinstock’s inequality [25]:
Theorem 5
Let \(\varOmega \) be a smooth bounded and simply connected domain in \({\mathbb {R}}^2\) and let \(A_{x_0,\nu }\) be the Aharonov–Bohm potential with pole at \(x_0\) and flux \(\nu \). Let \(B(x_0,R)\) be the disk with center \(x_0\) and radius R such that \(\vert \partial B(x_0,R)\vert =\vert \partial \varOmega \vert \). Then
If \(\nu \notin {\mathbb {Z}},\) equality holds if and only if \(\varOmega =B(x_0,R)\).
Note that the upper bounds of Theorems 4 and 5 correctly reduce to zero whenever the flux is an integer.
We stated Theorem 5 for planar, simply connected domains, however it extends to any Riemannian surface with boundary.
We conclude this section with a few remarks. It is natural to ask what happens for the second eigenvalue of (3) and (4), at least on planar domains. One immediately observes that Theorems 1 and 4 no longer hold, in the sense that the ball punctured at the origin is not a maximiser. In fact, \(\lambda _2(B(x_0,R),A_{x_0,\nu })=\frac{(z_{1-\inf _{k\in {\mathbb {Z}}} |{\nu -k}|,1}')^2}{R^2}<\frac{(z_{1,1}')^2}{R^2}\) when \(\nu \notin {\mathbb {Z}}\). Here \(z_{\mu ,1}'\) denotes the first positive zero of the derivative of the Bessel function \(J_{\mu }\) (see “Appendix B.3”). We recall that \(\frac{(z_{1,1}')^2}{R^2}\) is exactly the second Neumann eigenvalue of the Laplacian on a ball of radius R. Analogously, we have \(\sigma _2(B(x_0,R),A_{x_0,\nu })=\dfrac{1-\inf _{k\in {\mathbb {Z}}}|{\nu -k}|}{R}<\frac{1}{R}\) (see “Appendix B.4”), and \(\frac{1}{R}\) is the second Steklov eigenvalue of the Laplacian on \(B(x_0,R)\). However, for problem (3) (4), it can be shown that the disjoint union of two balls with suitable radii, and one of them centered at the pole, and total area \(\pi \), has second eigenvalue strictly greater than that of the standard Neumann (Steklov) eigenvalue on B(0, 1). Therefore we are left with the following
Open problem 1. Find (if it exists) a maximiser for the second Neumann (Steklov) Aharonov–Bohm eigenvalue among all smooth bounded domains in \({\mathbb {R}}^2\).
As for inequality (9), preliminary calculations show that it holds for all circular annuli in \({\mathbb {R}}^2\), but it fails in the case of long cylinders. In fact, when \(\varOmega ={\mathbb {S}}^1\times (-L,L)\), the first Steklov eigenvalue is given by \(\inf _{k\in {\mathbb {Z}}}|{\nu -k}|\tanh \left( \inf _{k\in {\mathbb {Z}}}|{\nu -k}|L\right) \), hence (9) does not hold for \(L>L_0\), with \(L_0\) sufficiently large. We are left with the following
Open problem 2. Does inequality (9) hold for all doubly connected domains of the plane?
The present paper is organized as follows. In Sect. 3 we prove an isoperimetric inequality for the first (positive) Neumann eigenvalue of the Schrödinger operator \(\varDelta +V\) on domains in manifolds of revolution, under suitable hypothesis on the potential V and on the density of the Riemannian metric (Theorem 6). In Sect. 4, Theorem 6 is applied to the magnetic Neumann spectrum. In particular, in Sect. 4.1 the reverse Faber–Krahn inequality is proved for manifolds of revolution (Theorem 9). As a consequence, we prove that it holds for domains in \({\mathbb {R}}^2\) and \({\mathbb {H}}^2\), (Corollary 10). In Sect. 4.2 it is proved for spherical domains contained in a hemisphere centered at the pole (Theorem 12). In Sect. 4.3 we prove the isoperimetric inequality for spherical simply connected domains with area less than \(2\pi \) (Theorem 14). In Sect. 5 we prove Brock’s inequality for planar domains (Theorem 15), and Weinstock’s inequality for planar domains (Theorem 16).
We have included in this article a quite complete set of appendices, where we discuss the functional and geometrical setting for the magnetic problems that we consider. In particular, we will compute explicitly the Neumann and Steklov spectrum for the unit disk.
In “Appendix A” we provide the basic spectral theory for problems (3) and (4). “Appendix B” contains a more explicit description of the eigenvalues and the eigenfunctions of the magnetic Neumann and Steklov problems on disks in manifolds of revolution (see “Appendices B.1” and B.2). These facts, which have an interest on their own, are crucial for the proofs of the main Theorems. In “Appendices B.3” and B.4 we describe the eigenfunctions and eigenvalues on disks in \({\mathbb {R}}^2\). Finally, in “Appendix C” we prove the conformal invariance of the Aharonov–Bohm energy which is crucial in the proof of Weinstock’s inequality.
3 Isoperimetric inequality for Schrödinger operators
In this section, \(\varOmega \) will be a bounded smooth domain in a n-dimensional manifold of revolution (M, g) with pole \(x_0\). With D we denote the diameter of M (which can be infinite) and with \(D_{\varOmega }\) we denote the diameter of \(\varOmega \).
We recall that a smooth n-dimensional Riemannian manifold (M, g) with a distinguished point \(x_0\) is called a revolution manifold with pole \(x_0\) if \(M\setminus \{x_0\}\) is isometric to \((0,D]\times {\mathbb {S}}^{n-1}\) whose metric is, in normal coordinates based at the pole, \(g=dr^2+\Theta (r)^2 g_{{\mathbb {S}}^{n-1}}\), for \(r\in (0,D)\). Here \(\Theta (0)=\Theta ''(0)=0\), \(\Theta '(0)=1\), and \(g_{{\mathbb {S}}^{n-1}}\) is the standard metric on the \(n-1\)-dimensional sphere. The density of the Riemannian metric on M in normal coordinates is given by \(\sqrt{\mathrm{det}\,g}=\Theta ^{n-1}(r)=\theta (r)\).
It is known that, for space forms of constant curvature \(K=0,-1,1\) we have:
In general, we have \(\theta >0\) on (0, D). We refer to “Appendix B” for more information on manifolds of revolution.
We discuss here an isoperimetric inequality for the first eigenvalue of the Schrödinger operator:
Note that the results of this section can be applied to manifolds of revolution of any dimension \(n\ge 2\).
Assumptions on the potential V.
-
1.
the potential V is smooth on \(M\setminus \{x_0\}\), non-negative and radial with respect to \(x_0\), that is, \(V=V(r)\);
-
2.
V is non-increasing on \((0,D_{\varOmega })\) : \(V'(r)\le 0\) on \((0,D_{\varOmega })\);
-
3.
\(\theta ' V'+2V^2\theta \le 0\) on (0, R), where \(R>0\) is such that \(|B(x_0,R)|=|\varOmega |\);
-
4.
there exists a first eigenfunction u of (10) on \(B(x_0,R)\) which is non-negative, radial and non-decreasing in the radial direction: \(u'\ge 0\).
We consider the following number:
where \(H^1_V(\varOmega )=\{u\in H^1(\varOmega ):V^{1/2}u\in L^2(\varOmega )\}\), and \(H^1(\varOmega )\) is the standard Sobolev space of square integrable functions with square integrable weak first derivatives. Since V is non-negative, the infimum in (11) exists and is non-negative. We are ready to state the main result of this section.
Theorem 6
Let \(\varOmega \) be a smooth bounded domain in a manifold of revolution M with pole at \(x_0\). Let \(B=B(x_0,R)\) be the ball centered at \(x_0\) with the same volume of \(\varOmega \). Let Assumptions 1–4 hold. Then
Equality holds if and only if \(\varOmega =B(x_0,R)\).
If the spectrum of (10) is discrete in its lower portion, the number \(\lambda _1(\varOmega ,\varDelta +V)\) is the first eigenvalue. This is the case of regular potentials (e.g., \(V\in L^{n/2}\) for \(n\ge 3\) or \(V\in L^{1+\delta }\), \(\delta >0\) for \(n=2\)), but also of singular potentials of the form \(\frac{\nu ^2}{r^2}\) (inverse-square potentials). In both these cases, the whole spectrum is purely discrete and made of non-negative eigenvalues of finite multiplicity diverging to \(+\infty \).
Let now \(B(x_0,R)\) be the ball of radius R centered at the pole \(x_0\) and assume that there exists a first eigenfunction of (10) on \(B(x_0,R)\) which is non-negative (and therefore radial, as V is radial) and non-decreasing with respect to r. Let us denote this function by \(u=u(r)\). It satisfies
where \(\lambda =\lambda _1(B(x_0,R),\varDelta +V)\) is the first eigenvalue.
In order to prove Theorem 6 we need the following lemma:
Lemma 7
Let \(u=u(r)\) be a solution of (12) such that \(u\ge 0\) and \(u'\ge 0\) on (0, R). Let
If \(V'\le 0\) on (0, R) and \( \theta ' V'+ 2V^2\theta \le 0 \) on (0, R), then one has:
on (0, R).
Proof
One has:
because \(u\ge 0\) and \(u'\ge 0\). Now:
and we have:
As \(V'\le 0\) we conclude:
If \(\theta ' V'+2V^2\theta \le 0\) then, dividing by \(\theta V'\) (which is non-positive) we indeed have
which guarantees that \(F'\le 0\).
\(\square \)
Proof
(Proof of Theorem 6) Define the radial function \(f:M\rightarrow {{\mathbb {R}}}\) as follows:
We note that, by construction, \(f_{|_{\varOmega }}\in H^1_V(\varOmega )\), therefore it is possible to use it as test function in (11).
We start by observing that, by assumption \(|{\varOmega \cap B^c}|=|{\varOmega ^c\cap B}|\), so that, since u is increasing, we have \(u(r)\le u(R)\) and
In fact:
We have to control the energy. Since \(F(r)=u'^2(r)+V(r)u^2(r)\) is decreasing, f is constant, equal to u(R) on \(\varOmega \cap B^c\), \(V'\le 0\) on \((0,D_{\varOmega })\), and \(u(R)\le u(r)\) on \(B^c\):
where we have used the monotonicity of V in the first inequality and the monotonicity of F in the last inequality. Therefore, from (13), (14) and from the fact that \(F=|{\nabla f}|^2+Vf^2=|{\nabla u}|^2+Vu^2\) on B, we deduce:
and the assertion follows. \(\square \)
Remark 8
Note that Assumption 3 may look quite involved. However, when we will apply Theorem 6 to the particular case of the Aharonov–Bohm operator we will choose \(V=\frac{\nu ^2}{\theta ^2}\) and condition 3 will take a simpler and more natural form (see Theorem 9).
4 Application to the Aharonov–Bohm Spectrum of the Neumann Problem
We apply now the results of Sect. 3 to the lowest eigenvalue of problem (3). We consider first the general case of manifolds of revolution, then we concentrate on \({\mathbb {R}}^2\), \({\mathbb {H}}^2\) and \({\mathbb {S}}^2\).
4.1 Aharonov–Bohm Spectrum on Domains of Manifolds of Revolution
We take a 2-dimensional manifold of revolution \(M^2\) with pole \(x_0\), and \(\theta (r)\) the density of the Riemannian metric in polar coordinates (r, t) around the pole. The 1-form \(A_{x_0,\nu }=\nu \,\mathrm{d}t\) is closed, harmonic, and has flux \(\nu \) around \(x_0\). It will be called Aharonov–Bohm potential with flux \(\nu \).
On a smooth bounded domain \(\varOmega \) of \(M^2\) we have that the spectrum of \(\varDelta _{A_{x_0,\nu }}\) with Neumann condition, namely problem (3), is made of an increasing sequence of non-negative eigenvalues of finite multiplicity diverging to \(+\infty \) (see “Appendix A”).
For all radial functions \(u=u(r)\) we have
therefore \(\varDelta _{A_{x_0,\nu }}\) applied to a real, radial function \(u=u(r)\), can be written as:
where \(V=\dfrac{\nu ^2}{\theta ^2}\).
In “Appendix B.1” we will prove that for a disk centered at the pole \(B(x_0,R)\) the spectrum is the union of spectra of a countable family of Sturm–Liouville problems indexed by an integer k (see Lemma 24). In particular, the first eigenvalue, denoted by \(\lambda _1(\varOmega ,A_{x_0,\nu })\), is non-negative, and is positive if and only if \(\nu \notin {\mathbb {Z}}\).
As explained in “Appendix B.1”, thanks to gauge invariance we can take \(\nu \in \left( 0,\frac{1}{2}\right] \) and in that case the first eigenfunction is real and radial.
We denote it by \(u=u(r)\). Moreover, we prove in “Appendix B.1” that \(u>0\) and \(u'>0\) for all \(R\in (0,{\bar{R}})\), where \({\bar{R}}\) is the first zero of \(\theta '\) (see Theorem 28).
We can apply Theorem 6, taking \(V=\dfrac{\nu ^2}{\theta ^2}\). The conditions
reduce to the conditions
Assumption. Through all this subsection, we shall always assume \(\nu \in \left( 0,\frac{1}{2}\right] \).
We therefore have the following:
Theorem 9
Let \(\varOmega \) be a smooth bounded domain with diameter \(D_{\varOmega }\) in a revolution manifold \(M^2\) with pole \(x_0,\) and with density \(\theta ,\) and let \(B(x_0,R)\) be the disk centered in \(x_0\) with the same volume as \(\varOmega \). Assume \(\nu \in \left( 0,\frac{1}{2}\right] \). If
-
(i)
\(\theta '\ge 0\) on \((0,D_{\varOmega }),\)
-
(ii)
\(\theta '^2\ge \nu ^2\) on (0, R),
then
Equality holds if and only if \(\varOmega =B(x_0,R)\).
When the flux is 0, inequality (15) reduces to the identity \(0=0\) for all domains \(\varOmega \).
Note that Theorem 9 provides sufficient conditions to have a reverse Faber–Krahn inequality on a manifold of revolution, which are quite simple to understand. Theorem 9 works well, as we shall see, in the case of \({\mathbb {R}}^2\) and \({\mathbb {H}}^2\). However, in some cases (e.g., spherical domains), condition (ii) is somehow restrictive. In “Appendix B.1” we prove Theorem 29, where we show that (ii) can be replaced by some other (more involved) condition, which, in the case of the sphere, turns out to be less restrictive than (ii). Nevertheless, we decide to keep Theorem 9 here for two reasons: it is simpler and has immediate application in many contexts; it is a consequence of a more general result valid for Schrödinger operators, namely Theorem 6, which we believe has an interest per se.
We now assume that \(M^2\) has infinite diameter, so that we can identify it with the manifold \(({\mathbb {R}}^2,g)\), where g is a complete, rotationally invariant metric around \(x_0\), and consider the 1-form \(A_{x_0,\nu }\). If \(\theta (r)\) is the density of the Riemannian measure, then it is well-known that the Gaussian curvature of \(({\mathbb {R}}^2,g)\) is given by \(K=-\frac{\theta ''}{\theta }\). Assuming \(K\le 0\), we will get \(\theta ''\ge 0\), and since \(\theta '(0)=1\), we immediately obtain \(\theta '(r)\ge 1\) for all \(r>0\). The assumptions (i) and (ii) of Theorem 9 are met, thus we have the following:
Corollary 10
Let \(\varOmega \) be a smooth bounded domain in the manifold of revolution \(({\mathbb {R}}^2,g)\) with pole at \(x_0\) and non-positive Gaussian curvature. Let \(B(x_0,R)\) be the disk of radius R centered at \(x_0\) such that \(|B(x_0,R)|=|\varOmega |\). Then
with equality if and only if \(\varOmega =B(x_0,R)\).
In particular, Corollary 10 applies to \({\mathbb {R}}^2\) with its Euclidean Riemannian metric, and to \({\mathbb {H}}^2\). Since all points in \({\mathbb {R}}^2\) and \({\mathbb {H}}^2\) can be chosen as poles of the manifold, this gives a proof of Theorem 1.
Another consequence of Theorem 9 is the following
Corollary 11
Let B(p, R) be a disk in \({\mathbb {R}}^2\) or \({\mathbb {H}}^2,\) punctured at \(x_0\in B(p,R)\). Then
that is, among all disks of the same measure, the first eigenvalue is maximized by the disk punctured at its center.
4.2 Aharonov–Bohm Spectrum on Domains of \({\mathbb {S}}^2\)
For the standard sphere \({\mathbb {S}}^2\) of curvature 1 we have
hence a direct application of Theorem 9 is possible only for domains \(\varOmega \) such that \(|\varOmega |\le |B(x_0,\pi /3)|\) and contained in a hemisphere centered at \(x_0\).
Assumption. Through all this subsection, we shall always assume \(\nu \in \left( 0,\frac{1}{2}\right] \).
The condition \(|\varOmega |\le |B(x_0,\pi /3)|\) ensures \(\theta '^2\ge \nu ^2\) on \(B(x_0,R)\), in fact \(R\le \frac{\pi }{3}\) and then \(\cos (r)^2\ge \frac{1}{4}\).
The condition that \(\varOmega \) is contained in a hemisphere centered at \(x_0\) ensures that \(\theta '\ge 0\) on \(\varOmega \cup B(x_0,R)\).
Note that, restrictions to the class of spherical domains for which one usually proves isoperimetric inequalities are natural and common. For example, the Szegö–Weinberger inequality for the second eigenvalue of the Neumann Laplacian on spherical domains is proved under the assumption that the domain is contained in a hemisphere [3] or that it is simply connected with total area less than \(2\pi \) [4]. In the first case, the approach is that of Weinberger for planar domains [24] (which is the one that we have used up to now), while in the second case the approach is that of Szegö by conformal transplantation [23].
The hypothesis of Theorem 9 are not sufficient to cover the case of spherical domains contained in a hemisphere centered at the pole of the magnetic field, which is the natural counterpart of the results in [3]. However, we prove in Theorem 29 that the function \(F(r)=u'(r)^2+\frac{\nu ^2}{\theta (r)^2}u(r)^2\) is decreasing in (0, R) for all \(R\in (0,{\bar{R}})\) under suitable assumptions, even if \(\theta '<\nu \). Recall that \({\bar{R}}\) is the first zero of \(\theta '\) and R is such that \(|B(x_0,R)|=|\varOmega |\). The fact that \(F'\le 0\), together with \(\theta '> 0\), implies the hypotheses of Theorem 6 for \(V=\frac{\nu ^2}{\theta ^2} \) and henceforth that of of Theorem 10. In particular, the assumptions of Theorem 29 for \({\mathbb {S}}^2\) reduce to
-
(i)
\(\theta '>0,\)
-
(ii)
\( \nu (\nu +1)\theta ^2-\nu ^2+\nu ^2(\theta ')^2+\nu \theta \theta ''\ge 0\),
which are clearly satisfied as long as \(R\le \frac{\pi }{2}\). In view of this, we only need to assume that \(\varOmega \) is contained in a hemisphere centered at the pole \(x_0\). Then we have the expected result
Theorem 12
Let \(\varOmega \) be a smooth bounded domain contained in a hemisphere centered at \(x_0\). Let \(B(x_0,R)\) be the disk centered in \(x_0\) with the same volume as \(\varOmega \). Then
with equality if and only if \(\varOmega =B(x_0,R)\).
Note that this result coincides with that of Ashbaugh–Benguria [3].
We also deduce the following
Corollary 13
Let \(B(p,R)\subset {\mathbb {S}}^2\) be a spherical disk punctured at \(x_0\in B(p,R)\). If \(R\le \frac{\pi }{4},\) then
that is, among all disks of the same measure and radius smaller than \(\frac{\pi }{4},\) the first eigenvalue is maximized by the disk punctured at its center.
4.3 Szegö’s Isoperimetric Inequality on Spheres
Theorem 12 is valid for all bounded domains which are contained in a hemisphere centered at the pole \(x_0\) of \(A_{x_0,\nu }\). We have used the Weinberger’s argument for its proof. If we take the Szegö’s point of view, we are able to extend the result to the class of simply connected domains on the sphere with area less than \(2\pi \). Namely, we have:
Theorem 14
Let \(\varOmega \) be a bounded and simply connected domain in \({\mathbb {S}}^2\) with \(|\varOmega |\le 2\pi \) and \(-x_0\notin \varOmega ,\) and let \(B(x_0,R)\) be the disk in \({\mathbb {S}}^2\) centered at \(x_0\) with \(|B(x_0,R)|=|\varOmega |\). Then
If \(\nu \notin {\mathbb {Z}},\) equality holds if and only if \(\varOmega =B(x_0,R)\).
Proof
Through the stereographic projection f we identify a point \(r\mathrm{e}^{i t}\in {\mathbb {S}}^2\) (r is the distance to \(x_0\), and t is the angular coordinate) with \(z=f(r\mathrm{e}^{it})=\tan (r/2)\mathrm{e}^{it}\in {\mathbb {C}}\). Then, for any function v defined on \(\varOmega \) we have
Moreover,
Let u be an eigenfunction associated to \(\lambda _1(B(x_0,R),A_{x_0,\nu })\). As proved in Theorem 28, we know that \(u=u(r)\) is real, radial, and can be chosen such that \(u,u'>0\) on (0, R). In fact, from the our assumptions we have \(R\le \frac{\pi }{2}\), thus Theorem 28 applies. Then, \(u\circ f^{-1}\) is positive and increasing as well.
Let now \(g:f(B(x_0,R))\rightarrow f(\varOmega )\) be a conformal map with \(f(0)=0\). To simplify our notation, we will set and . Note that \({\tilde{B}}\) is a ball centered at 0 of radius \(T:=\tan (R/2)\).
We set
Then \({\hat{u}}\) is a function defined in \(\varOmega \), the conformal transplantation of u through the map \(f^{-1}\circ g^{-1}\circ f\). The conformal invariance of the Aharonov–Bohm energy, proved in “Appendix C” tells that
then \({\hat{u}}\in H^1_{A_{x_0,\nu }}(\varOmega )\) and it is a suitable test function for the min–max principle (30) for \(\lambda _1(\varOmega ,A_{x_0,\nu })\). In particular
If
then we conclude from (16)
which is what we want. Note that (17) is equivalent to
where
and \(\sigma (z)=\frac{4}{(1+|z|^2)^2}\). We note that \(U'>0\) on \((0,T)=(0,\tan (R/2))\). Let us set \(B_r=B(0,r)\) the disk in \({\mathbb {C}}\) centered at 0 of radius r. In particular \({\tilde{B}}=B_T=B_{\tan (R/2)}\). We define
Then, since \(|\varOmega |=|B(x_0,R)|\), we have \(a(T)=v(T)\).
We write a differential inequality for a(r):
If \(\varOmega _r=(g\circ \sigma )^{-1}(B_r)\in {\mathbb {S}}^2\), then
The isoperimetric inequality \(|\partial \varOmega _r|^2\ge |\varOmega _r|(4\pi -|\varOmega _r|)\) holds for spherical domains, hence from (19)
Then, the function
is not decreasing as long as \(a(r)\le 4\pi \), just take the derivative and use (20). We see now that
for all r, and in particular, since \(v(T)=a(T)\),
and then
This gives the desired result. In fact, since U is radial with \(U'>0\),
This proves (18) and then the isoperimetric inequality for \(\lambda _1(\varOmega ,A_{x_0,\nu })\). Finally, if equality holds in the isoperimetric inequality for \(\lambda _1(\varOmega ,A_{x_0,\nu })\), then equality holds in the isoperimetric inequality \(|\partial \varOmega _r|^2\ge |\varOmega _r|(4\pi -|\varOmega _r|)\) used in (19) for all r, hence all \(\varOmega _r\) are spherical disks, and \(\varOmega =\varOmega _T\) as well.
\(\square \)
5 The Magnetic Steklov Problem: Brock’s and Weinstock’s Inequalities
We now focus on the magnetic Steklov problem on a bounded smooth domain \(\varOmega \subset {\mathbb {R}}^2\), namely problem (4). The min-max principle for the first eigenvalue reads
where \(H^1_{A_{x_0,\nu }}(\varOmega ,{\mathbb {C}})\) denotes the standard magnetic Sobolev space (see “Appendix A” for the precise definition).
If we consider the maximisation problem for the lowest eigenvalue under volume constraint, we have Brock’s Theorem for \(\sigma _1(\varOmega ,A_{x_0,\nu })\):
Theorem 15
Let \(\varOmega \) be a smooth bounded domain in \({\mathbb {R}}^2,\) \(x_0\in {\mathbb {R}}^2\) a fixed pole, and let \(B(x_0,r)\) be the disk with the same measure as \(\varOmega \). Let \(\nu \in \left( 0,\frac{1}{2}\right] \). Then:
Equality holds if and only if \(\varOmega =B(x_0,r)\).
Proof
From (22) we have:
for all \(u\in H^1_A(\varOmega ,{\mathbb {C}})\). Then we choose \(u=r^{\nu }\) which is the first eigenfunction for any disk centered at \(x_0\) (see “Appendix B.4”). One has
In particular, since \(\nu \in \left( 0,\frac{1}{2}\right] \),
In fact,
Here \(R=\frac{|\varOmega |^{1/2}}{\pi ^{1/2}}\) because \(B(x_0,R)\) has the same volume of \(\varOmega \).
We recall a well-known fact: for all \(p\ge 0\),
When \(p=0\) this is just the classical isoperimetric inequality. For \(p>0\) this inequality says that the infimum of \(\int _{\partial \varOmega }r^p\) among all domains with fixed measure is attained by the ball centered at \(x_0\), which is the unique minimizer. This result is proved in [2]. Using u as test function for \(\sigma _1(\varOmega ,A_{x_0,\nu })\) and the isoperimetric inequality above with \(p=2\nu \) we obtain
that is
\(\square \)
By gauge invariance (see “Appendix A.4”), if \(\nu \notin \left( 0,\frac{1}{2}\right] \), we can replace \(\nu \) in (23) and (24) by \(\inf _{k\in {\mathbb {Z}}}|\nu -k|\).
If we consider instead the problem of maximising the lowest eigenvalue under perimeter constraint, we have Weinstock’s Theorem for \(\sigma _1(\varOmega ,A_{x_0,\nu })\):
Theorem 16
Let \(\varOmega \) be bounded simply connected domain in \({\mathbb {R}}^2,\) \(x_0\in {\mathbb {R}}^2\) be a fixed pole, and let \(B(x_0,r)\) the disk with the same perimeter of \(\varOmega \). Let \(\nu \in \left( 0,\frac{1}{2}\right] \). Then:
Equality holds if and only if \(\varOmega =B(x_0,R)\).
Proof
Assume for simplicity that \(x_0=0\). Take the unique conformal map \(\varPhi :\varOmega \rightarrow B\), where B is the unit disk centered at the origin, and with \(\varPhi (0)=0\), and fix the eigenfunction \(u=r^{\nu }\) of the unit disk, associated to \(\sigma _1(B,A_{x_0,\nu })=\nu \). We refer to “Appendix B.4” for more details. We take as test-function
Then:
where on the first line, we used gauge invariance (Lemma 36) and in the third we used the conformal invariance of the magnetic energy (Lemma 35). Here \({\hat{A}}=\varPhi ^{\star }A\). On the other hand, \({\hat{u}}=1\) on \(\partial \varOmega \) so that
The conclusion is
as asserted. \(\square \)
References
Aharonov, Y., Bohm, D.: Significance of electromagnetic potentials in the quantum theory. Phys. Rev. 115, 485–491 (1959)
Alvino, A., Brock, F., Chiacchio, F., Mercaldo, A., Posteraro, M.R.: Some isoperimetric inequalities on \(\mathbb{R} ^N\) with respect to weights \(|x|^\alpha \). J. Math. Anal. Appl. 451(1), 280–318 (2017)
Ashbaugh, M.S., Benguria, R.D.: Sharp upper bound to the first nonzero Neumann eigenvalue for bounded domains in spaces of constant curvature. J. Lond. Math. Soc. (2) 52(2), 402–416 (1995)
Bandle, C.: Isoperimetric Inequalities and Applications. Monographs and Studies in Mathematics, vol. 7. Pitman (Advanced Publishing Program), Boston (1980)
Brock, F.: An isoperimetric inequality for eigenvalues of the Stekloff problem. Z. Angew. Math. Mech. 81(1), 69–71 (2001)
Bucur, D., Henrot, A.: Maximization of the second non-trivial Neumann eigenvalue. Acta Math. 222(2), 337–361 (2019)
Chavel, I.: Eigenvalues in Riemannian Geometry. Pure and Applied Mathematics, vol. 115. Academic, Orlando (1984).. (Including a Chapter by Burton Randol, with an Appendix by Jozef Dodziuk)
Daners, D.: A Faber–Krahn inequality for Robin problems in any space dimension. Math. Ann. 335(4), 767–785 (2006)
Dauge, M., Helffer, B.: Eigenvalues variation. I. Neumann problem for Sturm–Liouville operators. J. Differ. Equ. 104(2), 243–262 (1993)
Ehrenberg, W., Siday, R.E.: The refractive index in electron optics and the principles of dynamics. Proc. Phys. Soc. B 62(1), 8–21 (1949)
Erdös, L.: Rayleigh-type isoperimetric inequality with a homogeneous magnetic field. Calc. Var. Partial Differ. Equ. 4, 283–292 (1996)
Fournais, S., Helffer, B.: Inequalities for the lowest magnetic Neumann eigenvalue. Lett. Math. Phys. 109(7), 1683–1700 (2019)
Fournais, S., Helffer, B.: Spectral Methods in Surface Superconductivity. Progress in Nonlinear Differential Equations and Their Applications, vol. 77. Birkhäuser Boston, Inc., Boston (2010)
Girouard, A., Laugesen, R.S.: Robin spectrum: two disks maximize the third eigenvalue. Indiana Univ. Math. J. 70(6), 2711–2742 (2021)
Helffer, B.: Effet d’Aharonov–Bohm sur un état borné de l’équation de Schrödinger. Commun. Math. Phys. 119(2), 315–329 (1988)
Kachmar, A., Lotoreichik, V.: On the isoperimetric inequality for the magnetic Robin Laplacian with negative boundary parameter. J. Geom. Anal. 32(6), 20 (2022). (Paper No. 182)
Krahn, E.: Über eine von Rayleigh formulierte Minimaleigenschaft des Kreises. Math. Ann. 94(1), 97–100 (1925)
Laptev, A, Weidl, T.: Hardy inequalities for magnetic Dirichlet forms. In: Mathematical Results in Quantum Mechanics (Prague, 1998). Operator Theory Advances and Applications, vol. 108, pp. 299–305. Birkhäuser, Basel (1999)
Laugesen, R.S., Siudeja, B.A.: Magnetic spectral bounds on starlike plane domains. ESAIM Control Optim. Calc. Var. 21(3), 670–689 (2015)
Laugesen, R.S., Liang, J., Roy, A.: Sums of magnetic eigenvalues are maximal on rotationally symmetric domains. Ann. Henri Poincaré 13(4), 731–750 (2012)
Lieb, E.H., Loss, M.: Analysis. Graduate Studies in Mathematics, 2nd edn, vol. 14. American Mathematical Society, Providence (2001)
Peshkin, M.: Aharonov–Bohm effect in bound states: theoretical and experimental status. Phys. Rev. A 23, 360–361 (1981)
Szegö, G.: Inequalities for certain eigenvalues of a membrane of given area. J. Rational Mech. Anal. 3, 343–356 (1954)
Weinberger, H.F.: An isoperimetric inequality for the \(N\)-dimensional free membrane problem. J. Rational Mech. Anal. 5, 633–636 (1956)
Weinstock, R.: Inequalities for a classical eigenvalue problem. J. Rational Mech. Anal. 3, 745–753 (1954)
Acknowledgements
The first author acknowledges support of the SNSF Project ‘Geometric Spectral Theory’, Grant Number 200021-19689. The second and the third author are members of the Gruppo Nazionale per le Strutture Algebriche, Geometriche e le loro Applicazioni (GNSAGA) of the Istituto Nazionale di Alta Matematica (INdAM).
Funding
Open access funding provided by Universitá degli Studi di Roma La Sapienza within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
A Setting
In this section we prove that problems (3) and (4) admit purely discrete spectrum made of non-negative eigenvalues of finite multiplicity diverging to \(+\infty \). Through all this section \(\varOmega \) will denote a bounded domain in \({\mathbb {R}}^2\). We will also prove the gauge invariance property of the two problems.
1.1 A.1 Functional Setting
Let \(H^1(\varOmega ,{\mathbb {C}})\) be the standard Sobolev space of complex-valued functions. As for problem (3), we shall assume that \(\varOmega \) is such that the embedding \(H^1(\varOmega ,{\mathbb {C}})\subset L^2(\varOmega ,{\mathbb {C}})\) is compact. As for problem (4) we shall assume that the trace operator \(\gamma _0:H^1(\varOmega ,{\mathbb {C}})\rightarrow L^2(\partial \varOmega ,{\mathbb {C}})\) is compact. In both cases the compactness is guaranteed if \(\varOmega \) is smooth (Lipschitz is enough).
Let \(x_0\in {\mathbb {R}}^2\) and let \(C^{\infty }_{x_0}(\varOmega ,{\mathbb {C}})\) be the space of smooth functions on \(\varOmega \) vanishing in a neighborhood of \(x_0\). We introduce the magnetic Sobolev space \(H^1_A(\varOmega ,{\mathbb {C}})\) defined as the closure of \(\{u\in C^{\infty }_{x_0}(\varOmega ,{\mathbb {C}}):\nabla ^Au,u\in L^2(\varOmega ,{\mathbb {C}})\}\) with respect to the norm
To simplify the notation, through all this section we shall denote by A the Aharonov–Bohm potential \(\nu A_0\) with pole at \(x_0\). We will make use of equivalent norms, suitable to our problems. One fundamental equivalent norm is given in the following proposition.
Proposition 17
If \(\nu \notin {\mathbb {Z}},\) the norm \(\Vert u\Vert _A\) is equivalent to the following norm:
If \(\varOmega \) does not contain the pole \(x_0\), then the equivalence is immediate to check. In any case, the proof of Proposition 17 is standard, and follows from the well-known Hardy-type inequality proved in [18]:
Lemma 18
For any \(R>0\) and any \(u\in H^1(B(x_0,R),{\mathbb {C}})\) we have
where \(C=\inf \{|\nu -k|:k\in {\mathbb {Z}}\}\). In particular, if \(\nu \in \left( 0,\frac{1}{2}\right] ,\) then \(C=\nu \).
Proof
Inequality (25) is proved in [18]. We recall briefly here the proof. We use polar coordinates \((r,\theta )\) in \({\mathbb {R}}^2\) centered at \(x_0\), and express \(\int _{B(x_0,R)}|\nabla ^Au|^2\mathrm{d}x\) in this new coordinate system. We have
We focus on \(\int _0^{2\pi }|\partial _{\theta }u-i\nu u|^2\mathrm{d}\theta \). We estimate
This infimum corresponds to the first eigenvalue, which we denote by \(\mu _1\), of
on \({\mathbb {S}}^1\). A set of \(L^2({\mathbb {S}}^1,{\mathbb {C}})\)-normalized eigenfunctions is given by \((2\pi )^{-1/2}\mathrm{e}^{i\theta k}\), \(k\in {\mathbb {Z}}\), with corresponding eigenvalue \(\mu =(k-\nu )^2\). If \(\nu \notin {\mathbb {Z}}\), then \(\mu _1=\inf \{(k-\nu )^2:k\in {\mathbb {Z}}\}\).
This concludes the proof. \(\square \)
We recall the following well-known result
Lemma 19
Let \(\varOmega \) be a bounded domain in \({\mathbb {R}}^n\) with Lipschitz boundary. Then the norm \(\Vert u\Vert _{H^1(\varOmega ,{\mathbb {C}})}^2\) is equivalent to the following norm:
for all \(u\in H^1(\varOmega ,{\mathbb {C}})\). With abuse of notation, we write \(\int _{\partial \varOmega }|u|^2\) in place of \(\int _{\partial \varOmega }|\gamma _0(u)|^2\).
A consequence of Lemmas 17 and 19 is the following
Lemma 20
For \(\nu \notin {\mathbb {Z}},\) the norm \(\Vert u\Vert _A\) is equivalent to the following norms:
and
Remark 21
Lemma 17 essentially says that, if \(\nu \notin {\mathbb {Z}}\)
In particular, \(H^1_A(\varOmega ,{\mathbb {C}})\subset H^1(\varOmega ,{\mathbb {C}})\).
1.2 A.2 The Neumann Eigenvalue Problem
Problem (3) is understood in the weak sense, namely, find a function \(u\in H^1_A(\varOmega ,{\mathbb {C}})\) and number \(\lambda \in {\mathbb {C}}\) such that
We rewrite it as
Since the quadratic form on the left-hand side of (29) is bounded and coercive on \(H^1_A(\varOmega ,{\mathbb {C}})\) and the embedding \(H^1_A(\varOmega ,{\mathbb {C}})\subset L^2(\varOmega ,{\mathbb {C}})\) is compact, problem (29) is recast to an eigenvalue problem for a compact self-adjoint operator on the Hilbert space \(H^1_A(\varOmega ,{\mathbb {C}})\). Standard Spectral Theory implies that problem (29) admits a sequence of eigenvalues
Moreover, there exists a Hilbert basis of \(H^1_A(\varOmega ,{\mathbb {C}})\) of eigenfunctions of (29). The eigenfunctions can be chosen to form a orthonormal basis of \(L^2(\varOmega ,{\mathbb {C}})\) as well.
We finally recall the variational characterization of the eigenvalues:
In particular, \(\lambda _1\ge 0\). If \(\nu \notin {\mathbb {Z}}\) and \(x_0\in \varOmega \), we deduce from Lemma 18 that \(\lambda _1>0\). On the other hand, if \(\nu \in {\mathbb {Z}}\), then \(\mathrm{e}^{i\nu \theta }\in H^1_A(\varOmega ,{\mathbb {C}})\) is an eigenfunction corresponding to the eigenvalue \(\lambda =0\). We deduce by gauge invariance (see “Appendix A.4”) that in this case the eigenvalues of (3) coincide with those of the Neumann Laplacian (i.e., \(\nu =0\)). If \(x_0\) belongs to the unbounded component of \(\varOmega ^c\), then the flux of \(A_{x_0,\nu }\) is zero, hence \(A_{x_0,\nu }=\nabla \phi \) with \(\varDelta \phi =0\) on \(\varOmega \), and the eigenvalues of (3) coincide with those of the Neumann Laplacian. If \(x_0\) belongs to some bounded component of \(\varOmega ^c\), the flux is \(\nu \), and if it is not an integer, inequality (25) with \(C>0\) holds with \(B(x_0,R)\) replaced by an annular region \(A\subset \varOmega \) such that \(x_0\) belongs to the bounded component of \(A^c\) (one immediately realizes that (25) holds if we replace \(B(x_0,R)\) by \(B(x_0,R)\setminus B(x_0,r)\) for any \(0<r<R\)). Then \(\lambda _1>0\).
1.3 A.3 The Steklov Eigenvalue Problem
Problem (4) is understood in the weak sense, namely, find a function \(u\in H^1_A(\varOmega ,{\mathbb {C}})\) and number \(\sigma \in {\mathbb {C}}\) such that
We rewrite it as
For the study of problem (31) we consider the space \(H^1_A(\varOmega ,{\mathbb {C}})\) endowed with the equivalent norm \(\Vert u\Vert _{A,\partial }\).
Since the quadratic form on the left-hand side of (31) is bounded and coercive on \(H^1_A(\varOmega ,{\mathbb {C}})\) (with the equivalent norm \(\Vert u\Vert _{A,\partial }\), see Lemma 20) and the trace operator \(\gamma _0:H^1_A(\varOmega ,{\mathbb {C}})\rightarrow L^2(\partial \varOmega ,{\mathbb {C}})\) is compact, problem (31) is recast to an eigenvalue problem for a compact self-adjoint operator on the Hilbert space \(H^1_A(\varOmega ,{\mathbb {C}})\). Standard Spectral Theory implies that problem (31) admits a sequence of eigenvalues
Moreover, there exists a Hilbert basis of \(H^1_{A,h}(\varOmega ,{\mathbb {C}})\) of eigenfunctions of (31), where
The eigenfunctions can be chosen to form a orthonormal basis of \(L^2(\partial \varOmega ,{\mathbb {C}})\) as well.
We finally recall the variational characterization of the eigenvalues:
In particular, \(\sigma _1\ge 0\). As in the Neumann case, when \(x_0\in \varOmega \), \(\sigma _1>0\) if and only if \(\nu \notin {\mathbb {Z}}\). If \(\nu \in {\mathbb {Z}}\) or \(x_0\) belongs to the unbounded connected component of \(\varOmega ^c\), the eigenvalues coincide with those of the usual Steklov problem (i.e., \(\nu =0\)). If \(\nu \notin {\mathbb {Z}}\) and \(x_0\) belongs to some bounded connected component of \(\varOmega ^c\), then \(\sigma _1>0\).
We finally remark that the discussion contained in this section applies with no essential modifications to the case of bounded domains in two-dimensional Riemannian manifolds \(M^2\), and also to the case in which multiple singularities (of Aharonov–Bohm type) occur, i.e., the domain is punctured in many points.
1.4 A.4 Gauge Invariance
It is well-known that, if \(A_{x_0,\nu }\) and \(A_{\nu '}\) have fluxes \(\nu ,\nu '\) which differ by an integer, i.e., \(\nu -\nu '\in {\mathbb {Z}}\), then \(\varDelta _{A_{x_0,\nu }}\) and \(\varDelta _{A_{\nu '}}\) are unitarily equivalent. In fact, one can define a multivalued function
where \(y_0\) is any reference point (but not the pole). By the given condition, \(\psi \) is multi valued but \(e^{i\psi }\) is well-defined. Gauge invariance identity is:
One also observes that, if
then one has the identity:
From this one gets easily that, if u is an eigenfunction of the magnetic Neumann problem (3) associated to \(\lambda \), then \(\mathrm{e}^{-i\psi }u\) is an eigenfunction of the corresponding problem with potential \(A_{x_0,\nu }-\nabla \psi \), associated to the same eigenvalue. The same assertion holds for the magnetic Steklov problem (4).
Since we are interested in the case \(\nu \notin {\mathbb {Z}}\), we can always assume, without loss of generality, that
B Aharonov–Bohm Eigenvalues in Two-Dimensional Manifolds of Revolution
Let \((M^2,g)\) be a 2-dimensional compact manifold of revolution with pole \(x_0\) and diameter D. We assume that the metric, in polar coordinates (r, t) around the pole, is given by:
with \(\theta (r)\) smooth and positive. Here r is the distance to \(x_0\) (i.e., the radial coordinate). We shall always assume that
We also define
If such minimum does not exists, then we set \({\bar{R}}=D\).
If \(f=f(r,t)\) the Laplacian writes:
where by \(f'\) we denote the derivative of f with respect to the radial variable r.
We consider the harmonic 1-form \(A_{x_0,\nu }\) which is written in polar coordinates as
where \(\nu \) is the flux around \(x_0\).
Lemma 22
For any \(f=f(r,t)\):
If \(f(r,t)=u(r)\mathrm{e}^{ikt}\) then
and therefore:
Proof
The magnetic Laplacian writes, for co-closed potentials \(A_{x_0,\nu }\):
Normalizing the basis \(\left( \dfrac{\partial }{\partial r}, \dfrac{\partial }{\partial t}\right) \) we obtain the orthonormal basis:
hence we get:
and
The claim immediately follows. \(\square \)
Corollary 23
If \(f(r,t)=u(r)\mathrm{e}^{ikt},\) then \(\varDelta _{A_{x_0,\nu }}f=\lambda f\) reads:
1.1 B.1 Eigenfunctions of the Neumann Problem
We consider now problem (3) on disks \(B(x_0,R)\) of radius R centered at the pole of a manifold of revolution \(M^2\).
Looking for eigenfunctions of the form \(f(r,t)=u(r)\mathrm{e}^{ikt}\), \(k\in {\mathbb {Z}}\), we find, thanks to (34), that u is a bounded solution of the following singular Sturm–Liouville problem.
If \(\nu \notin {\mathbb {Z}}\), we see from (35) that necessarily \(u(0)=0\) (and in fact, any function in \(H^1_A(\varOmega ,{\mathbb {C}})\) vanishes at \(x_0\)). If \(\nu \in {\mathbb {Z}}\), we see that any bounded solution of (35) with \(\nu =k\) satisfies \(u'(0)=0\), while for \(\nu \ne k\), \(u(0)=0\). This is exactly the case of the standard Laplacian. The condition \(u'(R)=0\) is the Neumann condition; in fact, \(\langle \nabla ^{A_{x_0,\nu }}u,N\rangle =\langle \nabla u,N\rangle =u'(R)\mathrm{e}^{ikt}\) in the case of a disk centered at \(x_0\).
The associated quadratic form is
where \(V_k(r)=\frac{(k-\nu )^2}{\theta ^2(r)}\). Note that, if \(\nu \in \left( 0,\frac{1}{2}\right] \), then \(V_k\) is increasing in \(|{k}|\), hence:
for all k.
Lemma 24
Let \(\nu \in \left( 0,\frac{1}{2}\right] \). Then:
-
(i)
For each \(k\in {\mathbb {Z}},\) problem (35) admits an infinite sequence of eigenvalues:
$$\begin{aligned} 0<\lambda _{k1}<\lambda _{k2}<\cdots \le \lambda _{kj}<\cdots \nearrow +\infty \end{aligned}$$with associated bounded eigenfunctions \(u_{kj}\). All eigenvalues are simple and \(u_{kj}\) has j zeros in (0, R).
-
(ii)
If \(|{k}|\le |{h}|\) then:
$$\begin{aligned} \lambda _{k1}\le \lambda _{h1}. \end{aligned}$$In particular, \(\min _{k,j}\{\lambda _{kj}\}=\lambda _{01}\).
Proof
Point (i) follows from standard theory for singular Sturm–Liouville problems, since \(\theta (r)\) is smooth and positive in (0, R], and \(\theta (r)\sim \theta '(0) r\) as \(r\rightarrow 0^+\).
To prove (ii) it is sufficient to consider \(k=0\). The claim is a consequence of the fact that \(V_h\) is increasing in h. Let us take \(u=u_{h1}\), an eigenfunction associated to \(\lambda _{h1}\), as test function for \(\lambda _{01}\) in its variational characterization (which is the analogue of (11) weighted with \(\theta \)). We get
\(\square \)
Corollary 25
We have
A first eigenfunction is given by \(u_{01}(r),\) and it is real and radial.
Note that \(\lambda _1(B(x_0,R),A_{x_0,\nu })\) is not necessarily simple (this is the case of \(\nu =\frac{1}{2}\) and the unit disk, see “Appendix B.3”). At any rate, Corollary 25 states that we can always find a first eigenfunction which is real and radial. When \(\nu \in {\mathbb {Z}}\), Lemma 24 gives exactly the eigenvalues of the Neumann Laplacian, and in particular \(\lambda _{01}=0\).
We have the following result on completeness of the family of eigenfunctions \(\{u_{kj}(r)\mathrm{e}^{ikt}\}\).
Theorem 26
Let
for all \(k\in {\mathbb {Z}},\) \(j=1,2,\ldots ,\) where \(u_{kj}\) are the eigenfunctions of (35). Then \(\{\psi _{kj}(r,t)\}_{k,j}\) is a complete system in \(L^2(B(x_0,R))\).
Proof
If \(\nu \in {\mathbb {Z}}\) the result is well-known: in fact the eigenfunctions \(\{\psi _{kj}\}\) are the eigenfunctions of the Neumann Laplacian. Assume then \(\nu \notin {\mathbb {Z}}\). Let us assume that the system of eigenfunctions \(\{\psi _{kj}(r,t)\}_{k,j}\) is not complete. Then, there exists an eigenfunction f of (3) which is orthogonal to the span of all \(\psi _{kj}\), that is:
for all \(h\in {{\mathbb {Z}}}, i=1,2\dots \) Expand f(r, t) in a Fourier series, for every fixed r, and get:
As by assumption \(f\ne 0\), there exists \(h\in {{\mathbb {Z}}}\) such that \(a_h\ne 0\).
We prove in Lemma 27 here below that, for all \(k\in {\mathbb {Z}}\),
for some \(j_k=1,2,\ldots \) and \(c_k\in {\mathbb {C}}\), \(c_k\ne 0\). The conclusion follows from (37). In fact, we can write
and then, by the orthogonality of \(\psi _{kj}\)’s:
which contradicts (36). \(\square \)
Lemma 27
Let \(\{u_{kj}\}\) denote the eigenfunctions of (35) and assume that \(f(r,t)=\sum _{k\in {\mathbb {Z}}}a_k(r)\mathrm{e}^{ikt}\) is a nonzero eigenfunction of (3). Then, for all \(k\in {\mathbb {Z}}\)
for some \(j_k=1,2,\ldots \)
Proof
We show that for each \(k\in {\mathbb {Z}}\) the function \(a_k:[0,R]\rightarrow {{\mathbb {R}}}\) is a bounded solution of
In particular, since \(\nu \notin {\mathbb {Z}}\), \(a_k(0)=0\). Hence, since the eigenvalues are simple, for every k, there exists \(j=j_k\) and \(c_k\in {{\mathbb {C}}}\) such that
If we assume \(a_k\ne 0\), then \(c_k\ne 0\).
First observe that \(f(x_0)=0\) because otherwise f is not in \(H^1_A(\varOmega ,{\mathbb {C}})\) when \(\nu \notin {\mathbb {Z}}\). Then:
for all t. Hence, by multiplying by \(\mathrm{e}^{-iht}\) and integrating on \([0,2\pi ]\) we see that \(a_h(0)=0\). Then \(a_k(0)=0\) for all k. Similarly, the Neumann condition \(\dfrac{\partial f}{\partial r}(R,t)=0\) implies \(a'_k(R)=0\) for all k.
It remains to show that \(a_k\) is an eigenfunction of the problem (35). First observe that
Hence:
therefore
Now we know that \(\varDelta _{A_{x_0,\nu }}f=\lambda f\); hence
so that
Integrating by parts:
Then:
which substituted in (39), gives:
which is the final assertion.
\(\square \)
In the following theorems we collect a few useful properties of the eigenfunction \(u=u_{01}\) associated with the first eigenvalue \(\lambda =\lambda _{01}\).
Theorem 28
Let \(\nu \in \left( 0,\frac{1}{2}\right] \). Let \(\lambda >0\) denote the first eigenvalue of problem (35) with \(k=0\) and \(R\in (0,{\bar{R}}],\) and let u denote a corresponding first eigenfunction. Then the following statements hold:
-
(i)
\(u(0)=0\) and \(u\ne 0\) on (0, R). In particular, we can choose \(u>0\) on (0, R).
-
(ii)
\(u'>0\) on (0, R) and \(\lambda >\frac{\nu ^2}{\theta (R)^2}\).
-
(iii)
The first eigenvalue \(\lambda \) is strictly decreasing in R for \(R\in (0,{\bar{R}})\). In particular \(\lambda >{{\bar{\lambda }}},\) where \({{\bar{\lambda }}}\) is the first eigenvalue of (35) with \(R={\bar{R}}\).
Proof
Point (i) has been already discussed in Lemma 24 and follows from standard Sturm–Liouville theory and the fact that \(\theta ,\theta '>0\) on (0, R), \(\theta (r)\sim \theta '(0)r\) as \(r\rightarrow 0^+\).
Consider now (ii). Set \(N(r):=\theta (r)u'(r)\). Then \(N(0)=N(R)=0\) and
Since \(N'(r)>0\) on \((0,\delta )\) for some \(\delta >0\), we deduce that the function N increases from zero and decreases to zero. It has only one maximum point in (0, R). In fact, since \(\theta \) and u are strictly positive in (0, R), \(N'(r)=0\) if and only if \(\lambda =\frac{\nu ^2}{\theta ^2(r)}\). Since \(\frac{1}{\theta ^2}\) is strictly decreasing in (0, R), it vanishes exactly once in (0, R). This implies that \(N>0\) on (0, R) and therefore \(u'>0\) on (0, R). Moreover \(N'(R)< 0\).
As for (iii), let us write \(\lambda =\lambda (R)\) to highlight the dependence on R. Then, as \(\lambda (R)\) is simple, we derive the identity
and obtain
which is strictly negative by point (ii) as long as \(\theta '< 0\), that is, \(R\in (0,{\bar{R}})\). More details can be found e.g., in [9]. \(\square \)
Theorem 29
Let \(\nu \in \left( 0,\frac{1}{2}\right] \). Let \(\lambda >0\) denote the first eigenvalue of problem (35) with \(k=0\) and \(R\in (0,{\bar{R}}),\) and let u denote a corresponding eigenfunction. Let \(F(r)=u'(r)^2+\frac{\nu ^2u(r)^2}{\theta (r)^2}\). If either
-
(a)
\(\theta '(r)\ge \nu \) on (0, R), or
-
(b)
\({{\bar{\lambda }}}\theta ^2-\nu ^2+\nu ^2(\theta ')^2+\nu \theta \theta ''\ge 0\) on (0, R),
then \(F'(r)\le 0\) on (0, R). If moreover \(\theta ^{\nu }\) is a solution to (35) for \(R={\bar{R}},\) then \(F'(r)\le 0\) on \((0,{\bar{R}})\)
Proof
Define
Then \(F=u'^2+\frac{\nu ^2 u}{\theta ^2}=\frac{u^2}{\theta ^2}(q^2+\nu ^2)\), and with standard computations we see that
Since \(u,\theta ,\theta '>0\) on (0, R), the claim follows provided \(q'\le 0\) and \(q\le \theta '\) on (0, R).
We start by proving \(q'\le 0\) on (0, R). We see that
The local behavior of u near \(r=0^+\) depends only on the differential equation (35), and in particular, using the Frobenius–Taylor expansion, we deduce that \(u\sim c r^{\nu }\) as \(r\rightarrow 0^+\) for some \(c>0\). Therefore \(q(0)=\nu \), \(q'(0)=0\). Clearly there exists \(a>0\) such that \(q\not \equiv \nu \) on (0, a), otherwise \(q'=-\theta \lambda \ne 0\) on (0, a). Choose then (a possibly smaller) \(a>0\) such that \(q,q'\) have constant sign on (0, a) (in particular, \(q>0\) on (0, R)). We have \(q'<0\) in (0, a). Otherwise, \(q>q(0)=\nu \), but then the differential equation tells then \(q'<0\). Then q starts decreasing. The same argument shows that \(0<q<\nu \) on (0, R). If \(q'\) changes sign in (0, R), let then \(b,c,d\in (0,R)\), \(b<c<d\), be such that \(q'(b)<0\), \(q'(c)>0\), \(q'(d)<0\) and \(q(b)=q(c)=q(d)={\bar{q}}<\nu \). Such points exist if \(q'\) changes sign since \(q(R)=0\). We note now that, since \(\theta '>0\) in (0, R), \(\theta (c)=t\theta (b)+(1-t)\theta (d)\) for some \(t\in (0,1)\). Then, from the differential equation for \(q'\), we see that
a contradiction. Then \(q'<0\) on (0, R). Note that \(q'<0\) also in the case \(R={\bar{R}}\).
It remains to prove that \(q\le \theta '\). Note that, if \(\theta '\ge \nu \) on (0, R), since q is decreasing and \(q(0)=\nu \), we have \(q\le \theta '\). We have used condition (a). Note that this condition has already been found in Theorem 10.
Assume now (b) holds. Let \(R\in (0,{\bar{R}})\). In order to conclude, it is sufficient to prove
on (0, R), for some \(\delta \in (0,1-\nu )\). For any \(\delta >0\) we have \(q(0)<(\nu +\delta )\theta '(0)\) and
where G(r, q) is defined as
Note also that, since \(R\in (0,{\bar{R}})\), we have from (iii) of Theorem 28 that \(\lambda ={{\bar{\lambda }}}+\epsilon \) for some \(\epsilon >0\).
Let us compute
The second summand is less or equal than zero by hypothesis, therefore we can choose \(\delta \in (0,1-\nu )\) arbitrarily small so that
on (0, R). From Lemma 30 here below with \(v=q\) and \(w=(\nu +\delta )\theta '\), \(a=0\), \(b=R\), we deduce that
as claimed.
In the case \(R={\bar{R}}\), if \(u=\theta ^{\nu }\), then \(q=\nu \theta '\le \theta '\) on \((0,{\bar{R}})\). \(\square \)
Lemma 30
Suppose v, w continuous on an interval [a, b] and differentiable on (a, b], and let \(G:(a,b]\times {\mathbb {R}}\rightarrow {\mathbb {R}}\) continuous. Suppose that
and
on (a, b]. Then \(v<w\) on [a, b].
Proof
Assume that there exists \(c\in (a,b]\) such that \(v(c)=w(c)\) and \(v-w<0\) on [a, c). Then clearly \(v'(c)\ge w'(c)\). On the other hand, inserting \(v(c)=w(c)\) in (41), we see that \(v'(c)<w'(c)\). A contradiction. \(\square \)
1.2 B. 2 Eigenfunctions of the Steklov Problem
The same results of the previous subsection hold also for the Steklov problem (4). For the reader’s convenience, we briefly resume them, even if in this note we almost only consider the Steklov problem for domains in \({\mathbb {R}}^2\).
When looking for solutions on \(B(x_0,R)\) of the form \(f(r,t)=u(r)\mathrm{e}^{ikt}\) we get the following singular Sturm–Liouville problem, for \(k\in {\mathbb {Z}}\):
with the requirement that a solution is bounded near 0 (and therefore, that it vanishes at 0 when \(\nu \notin {\mathbb {Z}}\)).
We have the following
Lemma 31
Let \(\nu \in \left( 0,\frac{1}{2}\right] \). Then problem (42) admits a unique solution \(u_k(r)\) with \(u_k(0)=0\) for all \(k\in {\mathbb {Z}}\). Let us set
If \(|{k}|\le |{h}|\) then:
Then the set \(\{\sigma _k(B(x_0,R),A_{x_0,\nu })\}_{k=1}^{\infty }\) of the Steklov eigenvalues on \(B(x_0,R)\) coincides with \(\{\eta _k\}_{k\in {\mathbb {Z}}}\). In particular, \(\min _{k}\{\eta _k\}=\eta _0,\) therefore
The eigenfunctions corresponding to an eigenvalues \(\sigma =\eta _k\) of (4) are given by
In particular, an eigenfunction associated to \(\sigma _1(B(x_0,R),A_{x_0,\nu })\) is given by \(\psi _0(r,t)\) which is real and radial. The restrictions of \(\{\psi _k(r,t)\}_k\) to \(\partial B(x_0,R)\) form a orthonormal system in \(L^2(\partial B(x_0,R)).\)
Proof
The proof is analogous of that of Lemma 24. It is sufficient to note that a bounded solution of (42) is of the form.
The last statement is straightforward. \(\square \)
1.3 B.3 The Magnetic Neumann Spectrum of the Unit Disk
We consider the particular case \(M=B(x_0,1)\), where \(B(x_0,1)\) is the unit disk in \({\mathbb {R}}^2\) centered at \(x_0\). We recall that \(A=\nu dt\) and we assume \(\nu \in \left( 0,\frac{1}{2}\right] \). Here (r, t) are the standard polar coordinates in \({\mathbb {R}}^2\) centered at \(x_0\). In this case \(\theta (r)=r\).
We can describe the spectrum of (3) on \(B(x_0,1)\) more explicitly:
Theorem 32
Let \(\nu \in \left( 0,\frac{1}{2}\right] \). Then:
-
(i)
The spectrum of (3) on \(B(x_0,1)\) consists of the numbers \(\lambda _{kj},\) \(k\in {\mathbb {Z}},\) \(j=1,2,\ldots ,\) where \(\sqrt{\lambda _{kj}}=z'_{|k-\nu |,j}\) and \(z'_{\mu ,j}\) denotes the jth positive zero of \(J_{\mu }'(\sqrt{\lambda })\). Here \(J_{\mu }(z)\) denotes the Bessel function of the first kind and order \(\mu \).
-
(ii)
The eigenspace associated to \(\lambda _{kj}\) is spanned by \(\psi _{kj}(r,t)=J_{|k-\nu |}(\sqrt{\lambda _{kj}}r)\mathrm{e}^{ikt}\).
-
(iii)
The lowest eigenvalue is \(\lambda _1(B(x_0,1),A_{x_0,\nu })=\lambda _{01}\) and a first eigenfunction is \(\psi _{01}(r,t)=J_{\nu }(\sqrt{\lambda _{01}}\,r)\). It is real and radial.
-
(iv)
The set of eigenfunctions \(\{\psi _{kj}\}_{k,j}\) is complete in \(L^2(B(x_0,1))\).
Proof
We consider (35) with \(\theta (r)=r\) and \(R=1\). As in Sect. 1, when looking for solutions of the form \(f(r,t)=u(r)\mathrm{e}^{ikt}\) in polar coordinates (r, t), we obtain the following differential equation for u:
With the substitution \(\sqrt{\lambda }r=z\), this equation can be recast to a standard Bessel equation. Therefore, a couple of linearly independent solutions of (43) is given by \(J_{|k-\nu |}(\sqrt{\lambda }r)\), \(J_{-|k-\nu |}(\sqrt{\lambda }r)\), since by hypothesis \(\nu \notin {\mathbb {Z}}\). Therefore
Note that, while \(J_{|k-\nu |}\) vanishes at the origin whenever \(\nu \notin {\mathbb {Z}}\), the function \(J_{-|k-\nu |}\) is unbounded near \(r=0\). Any bounded solution of (43) is given by setting \(b_{k2}=0\). Therefore, any solution of (35) with \(\theta (r)=r\) has the form
We impose now the Neumann boundary condition \(u_k'(1)=0\). We recall that for any \(\mu >0\), the function \(J_{\mu }\) has an infinite set of positive zeroes, denoted by \(z_{\mu j}\), \(j=1,2,\ldots \) Moreover, the function \(J'_{\mu }\) an infinite number of positive zeroes as well, namely \(z'_{\mu j}\), \(j=1,2,\ldots \)
Then, points (i)–(iv) follow from Lemma 24 and Theorem 26 with \(\sqrt{\lambda _{kj}}=z'_{|k-\nu |,j}\) and \(\psi _{kj}(r,t)=J_{|k-\nu |}(\sqrt{\lambda _{kj}}r)\mathrm{e}^{ikt}\). \(\square \)
If \(\nu \in \left( 0,\frac{1}{2}\right) \) then the set \(\{|k-\nu |\}_{k\in {\mathbb {Z}}}\) is given by \(\nu ,1-\nu ,1+\nu ,2-\nu ,2+\nu ,\ldots \) For example, when \(\nu =\frac{1}{4}\) we have \(\frac{1}{4}, \frac{3}{4}, \frac{5}{4}, \frac{7}{4},\ldots \) If \(\nu \in \left( 0,\frac{1}{2}\right) \), we immediately see that \(\lambda _1(B(x_0,1),A_{x_0,\nu })\) is simple, and a first eigenfunction is real and radial:
Such function is is positive and increasing on (0, 1).
When \(\nu =\frac{1}{2}\), we have that the set of \(\{|k-\nu |\}_{k\in {\mathbb {Z}}}\) is given by \(\frac{1}{2}, \frac{1}{2}, \frac{3}{2},\frac{3}{2}, \dots \), and the first eigenvalue has multiplicity 2 with eigenspace spanned by the eigenfunctions with \(k=0\) and \(k=1\):
and \(\lambda _{01}=\lambda _{11}=z'_{\frac{1}{2},1}\) is the first zero of \(J'_{\frac{1}{2}}\).
1.4 B.4 The Magnetic Steklov Spectrum of the Unit Disk
In this section we investigate the spectrum of problem (4) on \(B(x_0,1)\subset {\mathbb {R}}^2\). Also in this section we assume that \(\nu \in \left( 0,\frac{1}{2}\right] \).
We apply the results of Sect. 1 with \(\theta (r)=r\) and \(R=1\).
Theorem 33
Let \(\nu \in \left( 0,\frac{1}{2}\right] \). Then:
-
(i)
The spectrum of (4) on \(B(x_0,1)\) consists of the numbers \(\eta _k=|k-\nu |, \, k\in {\mathbb {Z}}\).
-
(ii)
The eigenspace associated to \(\eta _k\) is spanned by \(\psi _{k}(r,t)= r^{|k-\nu |}\mathrm{e}^{ikt}\).
-
(iii)
The lowest eigenvalue is \(\sigma _1(B(x_0,1),A_{x_0,\nu })=\eta _{0}=\nu \). A first eigenfunction is \(\psi _1(r,t)=r^{\nu }\). It is real and radial.
-
(iv)
The restrictions of \(\{\psi _{kj}\}_{k,j}\) to \(\partial B(x_0,1)\) is complete in \(L^2(\partial B(x_0,1))\).
Proof
It is sufficient to note that any solution to the differential equation (42) is of the form
and in order to have a solution of (42) we need to impose \(b_{k2}=0\). The theorem now easily follows from Lemma 31. \(\square \)
When \(\nu \in \left( 0,\frac{1}{2}\right) \), the first eigenvalue is \(\nu >0\). It is positive and simple and a corresponding eigenfunction is given by \(r^{\nu }\) and it is radial, positive and increasing on (0, 1).
We can list the Steklov eigenvalues \(\{\sigma _k(B(x_0,1),A_{x_0,\nu })\}_{k=1}^{\infty }\) as follows:
If \(\nu =\frac{1}{2}\) all eigenvalues are double and are given by \(\frac{1}{2},\frac{1}{2},\frac{3}{2},\frac{3}{2},\ldots \)
In particular, \(\sigma _1(B(x_0,1),A_{x_0,1/2})=\sigma _2(B(x_0,1),A_{x_0,1/2})=\frac{1}{2}\) and two linearly independent eigenfunctions are \(u_1(x)=\sqrt{|x|}, u_2(x)=\sqrt{|x|}\left( \frac{x_1}{|x|}+i\frac{x_2}{|x|}\right) \). However, also in this case there exist a radial, real eigenfunction associated with \(\sigma _1(B(x_0,1),A_{x_0,\nu })\), positive and increasing on (0, 1).
C Conformal Invariance of Magnetic Energy
Let \((\varOmega _1,g)\), \((\varOmega _2,g)\) bet two 2-dimensional manifolds, and let
be a conformal map between them. We can assume then that \(\varPhi ^{\star }g_2=\mathrm{e}^{2f}g_1\), where f is the conformal factor. Let \(\omega \) be a 1-form on \(\varOmega _2\). We start from:
Lemma 34
We have
-
(i)
In the above notation
$$\begin{aligned} \delta _{g_1}\varPhi ^{\star }\omega =\mathrm{e}^{2f}\varPhi ^{\star }(\delta _{g_2}\omega ). \end{aligned}$$In particular, \(\omega \) is co-closed if and only if \(\varPhi ^{\star }\omega \) is co-closed.
-
(ii)
For any complex 1-form \(\varOmega \) on \(\varOmega _2,\) one has:
$$\begin{aligned} \int _{\varOmega _1}|{\varPhi ^{\star }\omega }|_{g_1}^2\mathrm{d}\mu _{g_1}=\int _{\varOmega _2}|{\omega }|^2_{g_2}\mathrm{d}\mu _{g_2}. \end{aligned}$$
Proof
The first fact is standard; for the second, fix a \(g_1\)-orthonormal basis \((e_1,e_2)\) and let
Using these orthonormal frames to compute the norms we end-up with the identity:
Integrating the identity on \(\varOmega _1\) and using the change of variables formula, we obtain the assertion. \(\square \)
Now fix a potential one-form A on \(\varOmega _2\). We get a potential one-form \({\hat{A}}=\varPhi ^{\star }A\) on \(\varOmega _1\) by pull-back. Recall the magnetic gradient on \(\varOmega _2\):
for a complex valued function u on \(\varOmega _2\). Consider the function
on \(\varOmega _1\). Then, since \(d\varPhi ^{\star }=\varPhi ^{\star }d\):
Applying the \(L^2\) invariance property to \(\omega =d^Au\) we conclude with the following fact, expressing the conformal invariance of the magnetic energy.
Proposition 35
Let \(\varPhi :\varOmega _1\rightarrow \varOmega _2\) be a conformal map between 2-manifolds, let A be a potential one-form on \(\varOmega _2\) and let \({\hat{A}}=\varPhi ^{\star }A\). For any complex function u on \(\varOmega _2,\) let \({\hat{u}}=u\circ \varPhi \). Then we have:
1.1 C.1 Aharonov–Bohm Potentials
Let now \((\varOmega ,x_0)\) be a simply connected plane domain punctured at \(x_0\), with Aharonov–Bohm potential having pole at \(x_0\) and flux \(\nu \). We can assume without loss of generality that \(x_0\) is the origin. Then:
Take the unit disk D centered at the origin. By the standard theory, there is a conformal map \( \varPhi :\varOmega \rightarrow D \) fixing the origin. Note that the form \(\varPhi ^{\star }A\) on \(\varOmega \) is closed (clear) and co-closed (from previous section, because \(\varPhi \) is conformal). Then, \(\varPhi ^{\star }A\) is harmonic. It is also clear that \(\varPhi ^{\star }A\) has flux \(\nu \) around the pole, the origin of \({{\mathbb {R}}}^{2}\) (by elementary change of variable in dimension one). It follows that \(\varPhi ^{\star }A\) differs from A by an exact 1-form, and gauge invariance applies. Precisely:
Lemma 36
Let \(\varOmega \) be a plane domain and let D be the unit disk, both punctured at \(O\in \varOmega \). Let \(\varPhi :\varOmega \rightarrow \ D\) be the unique conformal map fixing O. If A is the canonical Aharonov–Bohm potential with pole O and flux \(\nu ,\) as in (44), then
for all k.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Colbois, B., Provenzano, L. & Savo, A. Isoperimetric Inequalities for the Magnetic Neumann and Steklov Problems with Aharonov–Bohm Magnetic Potential. J Geom Anal 32, 285 (2022). https://doi.org/10.1007/s12220-022-01001-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-022-01001-2
Keywords
- Magnetic Laplacian
- Aharonov–Bohm magnetic potential
- Ground state
- Neumann problem
- Steklov problem
- Reverse Faber–Krahn inequality