Abstract
The Rayleigh Conjecture for the bilaplacian consists in showing that the clamped plate with least principal eigenvalue is the ball. The conjecture has been shown to hold in 1995 by Nadirashvili in dimension 2 and by Ashbaugh and Benguria in dimension 3. Since then, the conjecture remains open in dimension \(d\ge 4\). In this paper, we contribute to answer this question, and show that the conjecture is true in any dimension as long as some special condition holds on the principal eigenfunction of an optimal shape. This condition regards the mean value of the eigenfunction, asking it to be in some sense minimal. This main result is based on an order reduction principle allowing to convert the initial fourth order linear problem into a second order affine problem, for which the classic machinery of shape optimization and elliptic theory is available. The order reduction principle turns out to be a general tool. In particular, it is used to derive another sufficient condition for the conjecture to hold, which is a second main result. This condition requires the Laplacian of the optimal eigenfunction to have constant normal derivative on the boundary. Besides our main two results, we detail shape derivation tools allowing to prove simplicity for the principal eigenvalue of an optimal shape and to derive optimality conditions. Finally, because our first result involves the principal eigenfunction of a ball, we are led to compute it explicitly.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In 1877, at the same time he was formulating his famous conjecture regarding fixed membranes, Rayleigh stated that the principal frequency of a clamped plate should be minimal when the plate is circular. Let us explain more precisely the terms of this claim. The principal frequency of a clamped plate involves the eigenvalue problem related to the bilaplacian with Dirichlet boundary conditions (also refered to as Dirichlet bilaplacian), which is the following eigenvalue problem.
Here \(\Omega \subseteq \mathbb {R}^d\) (\(d\in \mathbb {N}^*\)) stands for an arbitrary bounded open set, \(u\in H_0^2(\Omega )\), \(\Gamma \) is a real number, and \(\partial _n=\textbf{n}\cdot \nabla \) is the partial derivative in the direction of the outward normal unit vector \(\textbf{n}\). It turns out that problem (1) admits countably many (nontrivial) eigencouples \((u,\Gamma )\), and that the sequence of eigenvalues is positive and grows up to infinity. This occurs since the resolvent of the Dirichlet bilaplacian is compact positive self-adjoint when seen as an operator acting on \(L^2(\Omega )\) (see [14] for a collection of general facts regarding the bilaplacian and, more generally, polyharmonic operators). The principal eigenvalue of the clamped plate is nothing else but the lowest of these eigenvalues, that we will denote \(\Gamma (\Omega )\) in the rest of the document in order to emphasize its dependance on the open set \(\Omega \). As for any eigenvalue of a self-adjoint operator, \(\Gamma (\Omega )\) admits a variational characterization, which is the following:
Initially stated in the context of subsets of \(\mathbb {R}^2\) only, the Rayleigh Conjecture deals with the problem of determining the open set with least principal eigenvalue among all open sets having same measure. As its counterpart for the Dirichlet Laplacian, the conjecture claims that such a set exists, is “almost” unique, and is given by the Euclidean ball fitting the volume constraint. Note that plain uniqueness does not hold since \(\Gamma (\Omega )\) is invariant under isometries of \(\Omega \) and under removing a set of zero \(H^2\)-capacity from \(\Omega \) (see sections 3.3 and 3.8.1 of [18] for the definition of capacity). In other words, if \(|\cdot |\) denotes the d-dimensional Lebesgue measure,
Conjecture
Let \(\Omega \) be a bounded open subset of \(\mathbb {R}^d\) and B a ball such that \(|B|=|\Omega |\). Then,
Moreover there is equality if and only if \(\Omega \) is a ball (up to a set of zero \(H^2\)-capacity).
After its publication in 1877, one of the first serious results on the conjecture is due to Szegö [32], and states, based on symmetrisation arguments, that, as soon as the eigenfunction associated with the first eigenvalue on a set \(\Omega \) is of fixed sign, the Faber–Krahn type inequality (3) holds. However, one of the main challenges when working with fourth and higher order elliptic operators is the vacuity of the maximum principle in general for arbitrary domains. This means that, unlike the Dirichlet Laplacian, the one-sign property of the principal eigenfunction is no longer guaranteed as a consequence of the non-applicability of Krein–Rutmann Theorem. Indeed, the first—and maybe the most famous—example of domains in which this one-sign property fails was found to be annuli with small inner radius in 1952 [10, 12]. On the contrary, balls do enjoy the one-sign property (see Proposition 15, in which the principal eigenvalue of a ball and the associated eigenfunction are computed). This situation is troublesome in the sense that, at first glance, it deprives us of our principal tool in shape optimization, which is symmetrisation.
Nevertheless, using perturbation techniques, Mohr [26] showed in 1975 that any planar optimal regular shape, if it exists, has to be the ball. Such strategies, based on optimality conditions, are common in shape optimization. They have proved to work also for the buckling problem [36]. In both clamped and buckling problems, for distinct reasons, the approach strongly relies on the planeness of the shapes involved. The result of Mohr was finally outshined by a series of papers beginning with [33] in 1976, in which Talenti proved its famous comparison principle. An astute adaptation of this principle allowed him to find in 1981 a lower bound on the optimal eigenvalue depending on the dimension (see [34]). Following this strategy, Nadirashvili solved the conjecture in \(\mathbb {R}^2\) in 1995 in [27]. Subsequently, still in the wake of Talenti’s approach, Ashbaugh and Benguria proved the conjecture in \(\mathbb {R}^2\) and \(\mathbb {R}^3\) in 1995 (see [3]). Furthermore, in 1996, Ashbaugh and Laugesen [4] completely solved Talenti’s “two-ball problem” (see [3, equation (26)] for details) in any dimension. As a result, they showed on the one hand that the plain approach of Talenti could not answer the Rayleigh Conjecture when \(d\ge 4\), but, on the other hand, gave a very precise lower bound on the optimal eigenvalue. Since then, up to our knowledge, no significant breakthrough has been performed regarding the actual optimal shape nor the actual optimal eigenvalue in high dimension. Let us however mention our work [25], in which we obtain a surprising sufficient condition for the Rayleigh Conjecture to hold, based on a refinement of Talenti’s approach. As a final word, we cite the interesting papers of Kristály [22, 23] dealing with the conjecture in non-Euclidean setting.
The goal of the present document is to contribute for a better understanding of the terms of validity of the Rayleigh Conjecture. More precisely, under existence and regularity of an optimal shape, we will show that the conjecture is true in any dimension whenever the principal eigenfunction satisfies some special condition. This will be explained in the next lines. First, we need to assume that there exists a solution with \(C^4\) regular connected boundary to the problem
where c is a fixed positive real number. Here, we recall that the question of the existence of an optimal shape is still open (see however the recent work [31] dealing with this issue for domains contained in a given large box). In the rest of the document, we will denote \(\Omega \) a \(C^4\) regular solution to (4). The regularity assumption on \(\Omega \) will be used for invoking shape derivation. Indeed, it guarantees that the eigenfunctions are \(H^4(\Omega )\) (see [14, Theorem 2.20]). However, besides \(H^4\) regularity, at some point we will need more regularity for the principal eigenfunction. The \(L^p\) regularity theory (see again [14, Theorem 2.20]) will answer this need by providing \(W^{4,p}(\Omega )\) regularity, and then (thanks to Sobolev emebddings) \(C^{3,\alpha }(\overline{\Omega })\) regularity for the eigenfunction. On the other hand, the assumption on the geometry of the boundary is technical as we shall see in the proof of our main theorem. We stress the properties of regularity and geometry enjoyed by \(\Omega \) by stating the assumption
Apart from (RG), we will need another special assumption to run our proof. This condition asks for the mean value \(|\int _\Omega u|\) of the first \(L^2\)-normalised eigenfunction u in \(\Omega \) to be minimal. Then, the main conclusion of the present document is the theorem stated below.
Theorem 1
Let \(\Omega \) be an optimal shape for problem (4) satisfying (RG) and B a ball such that \(|\Omega |=|B|\). Let u be a first \(L^2\)-normalised eigenfunction in \(\Omega \) and \(u_B\) a first \(L^2\)-normalised eigenfunction in B. Then,
Moreover, (M) holds with equality if and only if \(\Omega =B\) (up to a translation).
Remark
Roughly speaking, Theorem 1 tells that an optimal shape of which the mean of the principal eigenfunction is minimal is a ball. Therefore, one is led to wonder if the minimality of the \(H_0^2\) norm of an eigenfunction implies the minimality of its mean. Among others, this question will be addressed in Sect. 6.
The proof of Theorem 1 is based on a procedure that we shall call “order reduction principle”. Such a procedure appears to be new, at least in the present context, although ensuing from recurrent ideas (see for instance [14, section 1.1.3] and [2, equation (2.3)]). In essence, the order reduction principle allows to turn the fourth order eigenvalue problem (1) into a second order affine problem, for which a more sophisticated machinery is available. In particular, it becomes possible to use symmetrisation techniques, which are the other main ingredient for proving Theorem 1. However, we would like to emphasize that the order reduction principle paves the way for the utilization of many other tools coming from the field of second order elliptic operators. In order to illustrate this fact, we derive another main result, which is based on the theory of overdetermined problems stemming from the historical [30]. Before, let us simply recall that very little is known in general on overdetermined problems of fourth order, [6, 11, 29] being the almost exhaustive list of results.
Theorem 2
Let \(\Omega \) be an optimal shape for problem (4) satisfying (RG). Let u be a first eigenfunction on \(\Omega \) such that \(\partial _n\Delta u\) is constant on \(\partial \Omega \). Then, \(\Omega \) is a ball.
Actually, the proofs of Theorem 1 and Theorem 2 do not appeal to the order reduction principle as a standalone. Indeed, to reveal its potential, the order reduction principle needs to thrive on the optimality condition satisfied by an optimal shape \(\Omega \). Such an optimality condition shall be derived only when the eigenvalue \(\Gamma (\Omega )\) is simple. Even if the question of simplicity of the optimal eigenvalue had already been tackled in [26], one of the main results of the present work is to propose a thorough proof of this fact and to derive the subsequent optimality condition, which is precised in the next theorem.
Theorem 3
Let \(\Omega \) be a \(C^4\) open set solving (4). Then, \(\Gamma (\Omega )\) is simple. Moreover, if u denotes an \(L^2\)-normalised eigenfunction associated with \(\Gamma (\Omega )\), \(\Delta u\) is a.e. constant equal to \(\pm \alpha \) on any connected component of \(\partial \Omega \), where
In the remainder of this document we will detail the proofs of Theorem 1, Theorem 2 and Theorem 3. In Sect. 2, we present our main tool, which is the order reduction principle, roughly explained in the previous lines. Section 3 gathers some results about derivation of simple and multiple eigenvalues of the Dirichlet bilaplacian. Using these tools, in Sect. 4, we prove Theorem 3. Section 5 is devoted to the proofs of Theorems 1 and 2. Section 6 discusses two consequences of Theorem 1.
2 Order reduction principle
The order reduction principle, from which arise Theorems 1 and 2, is an algebraic trick leading to an “eigenvalue problem” involving a differential operator of order lower than the bilaplacian, that is, the Laplacian. The counterpart to the reduction of the order is that the “eigenvalue problem” is not linear anymore. The precise statement is encapsulated in the next proposition.
Proposition 4
Let \(\Omega \) be a \(C^4\) bounded open set, and \(u\in H_0^2(\Omega )\) an eigenfunction of the bilaplacian in \(\Omega \) associated with an eigenvalue \(\mu \), so that \(\Delta u\) has trace in \(H^{\frac{3}{2}}(\partial \Omega )\). Finally, let \(g_u\) satisfy
Then, the function \(z_u:=\frac{\Delta }{\sqrt{\mu }}u+u-g_u\) solves the equation
In particular, \(z_u\) solves the following problem, the value of which is \(\frac{1}{\sqrt{\mu }}\):
Moreover, if \(g_u\ge 0\), then \(z_u< 0\).
Proof
The eigenfunction u satisfies by definition
The idea now relies on observing that \((\Delta ^2-\mu )=(\Delta -\sqrt{\mu })(\Delta +\sqrt{\mu })\). Hence, setting \(y=\left( \frac{\Delta }{\sqrt{\mu }}+1\right) u\), y verifies \(\Delta y = \sqrt{\mu }y\) in \(\Omega \). Nevertheless, the boundary condition for y is \(y=\frac{\Delta }{\sqrt{\mu }} u\) on \(\partial \Omega \). Note that \(\frac{\Delta }{\sqrt{\mu }} u\in H^{\frac{3}{2}}(\partial \Omega )\) since \(\Delta u\in H^2(\Omega )\) thanks to the regularity assumption made on \(\partial \Omega \) (see [14, Theorem 2.20]). But if \(g_u\) is the solution to the Dirichlet problem \(\Delta g_u=0\) in \(\Omega \) and \(g_u=\frac{\Delta }{\sqrt{\mu }} u\) on the boundary, setting \(z_u:=y-g_u=\frac{\Delta }{\sqrt{\mu }} u + u-g_u\), one gets that \(z_u\) is an \(H_0^1(\Omega )\cap H^2(\Omega )\) function satisfying
In particular \(z_u\) is a critical point of the functional \(E_\mu \) defined on \(H_0^1(\Omega )\) and given by
Moreover, \(E_\mu \) being strictly convex, \(z_u\) is the unique minimiser. But, from the equation involving \(z_u\), we derive the identity \(E_\mu (z_u)=\sqrt{\mu }\int g_uz_u\). In this context, the relation
holding for all \(z\in H_0^1(\Omega )\), is an equality if and only if \(z=z_u\). Moreover, thanks to elementary manipulations, this inequality can be turned into the next one, which, as before, is attained if and only if \(z=z_u\).
This completes the proof of (6). Finally, if \(g_u\ge 0\), the strong maximum principle applied to the operator \(\Delta -\sqrt{\mu }\) in (5) shows that \(z_u<0\) unless \(z_u\) vanishes identically in \(\Omega \). But if \(z_u=0\), due to (5), \(g_u=0\), and in turn \(-\Delta u=\sqrt{\mu } u\) in \(\Omega \). As a result, the function \(v:\Omega \times \mathbb {R}\rightarrow \mathbb {R}\) defined by \(v(x,t):=u(x)e^{\root 4 \of {\mu }t}\) is harmonic in \(\Omega \times \mathbb {R}\) and satisfies \(v=\partial _n v=0\) on \(\partial (\Omega \times \mathbb {R})\). Thanks to [35], we conclude that v vanishes identically in each connected component of \(\Omega \times \mathbb {R}\). Hence u vanishes identically in \(\Omega \). \(\square \)
Remark
-
1.
Setting \(y=\left( \frac{\Delta }{\sqrt{\mu }}-1\right) u\) instead of \(y=\left( \frac{\Delta }{\sqrt{\mu }}+1\right) u\), we see that the function \(z_u':=\frac{\Delta }{\sqrt{\mu }} u-u-g_u\) is \(H_0^1(\Omega )\cap H^2(\Omega )\) and satisfies \(-\Delta z_u'=\sqrt{\mu }(z_u'+g_u)\). However, we cannot obtain a variational formulation similar to (6) involving \(z_u'\) since, unlike \(E_\mu \), the energy functional of which \(z_u'\) is a critical point is not convex.
-
2.
Note that the system (5) is linear with respect to \((z_u,g_u)\). As a consequence, the variational formula (6) remains true when replacing \(z_u\) and \(g_u\) respectively with \(\gamma z_u\) and \(\gamma g_u\) for any \(\gamma \in \mathbb {R}{\setminus }\{0\}\).
-
3.
The regularity on \(\Omega \) can be weakened in some cases. More precisely, one shall run the proof of (5) and (6) as long as \(\Delta u\in H^1(\Omega )\).
Surprisingly, Proposition 4 will not only serve proving Theorems 1 and 2. Indeed, it has the following consequence which will be very useful to prove the simplicity of the optimal first eigenvalue. First, let us recall that, in the case of fourth order equations, it is not known whether having \(u=\partial _n u=\partial _n^2 u=0\) on some arbitrary portion \(\gamma \) of \(\partial \Omega \) yields \(u=0\) in the neighbourhood of \(\gamma \). The lack of this property (called uniqueness continuation), is due to the fact that neither Hölmgren principle nor Hopf boundary Lemma apply in this framework (see however Theorem 1.1 of [28] and the discussion above and below its statement).
Corollary 5
Let \(\Omega \) be a \(C^4\) bounded open set, and \(u\in H_0^2(\Omega )\) satisfy \(\Delta ^2u=\mu u\) for some \(\mu >0\). Assume that \(\Delta u=0\) on \(\partial \Omega \). Then, \(u=0\) in \(\Omega \).
Proof
Assume that u does not vanish identically, so that it is an eigenfunction. The hypothesis \(\Delta u=0\) on \(\partial \Omega \) reads \(g_u=0\) on \(\partial \Omega \) and then in \(\Omega \), where \(g_u\) is defined as in Proposition 4. Then, the function \(z_u\) satisfies \(\Delta z_u=\sqrt{\mu }z_u\). This means that either \(z_u=0\), or \(-\sqrt{\mu }\) is an eigenvalue of the Dirichlet Laplacian. As the latter cannot hold, \(z_u=0\), and hence \(-\Delta u=\sqrt{\mu } u\), so that u is an eigenfunction of the Dirichlet Laplacian. Because \(\partial _n u=0\), we run into a contradiction applying [35] to the harmonic extension of u as in the end of the proof of Proposition 4. \(\square \)
Remark
Corollary 5 holds under weaker regularity assumptions on \(\Omega \). For instance, it is enough that \(\Omega \) is Lipschitz with small constant (see [35]), and satisfies a uniform outer ball condition. Indeed, under the outer ball condition and the Lipschitz regularity assumption, the system solution of the equation \(\Delta ^2 v=f\) on \(\Omega \), \(v=\Delta v=0\) on \(\partial \Omega \) (see [14, Example 2.33] for the definition of system and energy solutions) is \(H_0^1\cap H^2(\Omega )\) due to [1, Theorem 1.1]. Thus it coincides with the energy solution. In particular, in Corollary 5, u being an energy solution, we get that \(\Delta u\in H_0^1(\Omega )\). Therefore, Proposition 4 still applies (see the remark under its proof) and the proof of Corollary 5 works as long as the Lipschitz constant of \(\Omega \) is small enough for using [35].
3 Shape derivatives
In order to fully exploit Proposition 4, one needs to gain information on the function \(g_u\) (defined in the statement of the Proposition 4) when \(\Omega \) is an optimal shape. As \(g_u\) depends on the value of \(\Delta u\) on \(\partial \Omega \), one might use shape derivatives. Shape derivatives for eigenvalues of polyharmonic operators are less famous than their counterparts for the Laplacian, for which one might refer to the classic textbook [18]. Note moreover that this reference does not deal in detail with the derivative of multiple eigenvalues. For a framework on the derivation of simple and multiple eigenvalues of a general abstract operator see [16, 24]. For the concrete shape derivation of simple and multiple eigenvalues of the bilaplacian and polyharmonic operators, we found only few references [2, 7,8,9, 28]. In this section, we shall refer to [9], in which results on derivatives of multiple eigenvalues of several operators including the Dirichlet bilaplacian are obtained. For that purpose, assume \(\Omega \) to be arbitrary, and let \(\Gamma _k^\Omega \) be the functional defined on \(C^2(\mathbb {R}^d,\mathbb {R}^d)\) by
Here, \(\Gamma _k(\Omega )\) denotes the k-th eigenvalue of the bilaplacian on \(\Omega \), counted with multiplicity. Then, if \(\Gamma _k(\Omega )\) is of multiplicity \(p\in \mathbb {N}^*\), and if \(\Gamma _k(\Omega )=\cdots =\Gamma _{k+p-1}(\Omega )\), [9] explains that, in a neighbourhood \(\mathcal {W}\) of 0 in \(C^2(\mathbb {R}^d,\mathbb {R}^d)\), the set \(\{\Gamma _{k+i-1}^\Omega (V):1\le i\le p, V\in \mathcal {W}\}\) is made of the union of p analytic branches (see Fig. 1). Moreover, the derivatives of these branches at 0 correspond to the eigenvalues of an explicit matrix, as stated in the next theorem.
Theorem 6
Let \(\Omega \) be a \(C^4\) bounded open set and \(k,p\in \mathbb {N}^*\). Assume that \(\Gamma _k(\Omega )=\cdots =\Gamma _{k+p-1}(\Omega )=:\Gamma \) and that \(\Gamma \) is of multiplicity p. Then, the functionals \(\Gamma _k^\Omega ,\ldots ,\Gamma _{k+p-1}^\Omega \) defined in (7) are Gâteaux-differentiable at 0 both on the right and on the left, and their partial derivatives in the direction of a vector field \(V\in C^2(\mathbb {R}^d,\mathbb {R}^d)\) (both on the right and on the left) shall be mapped in a bijective way to the eigenvalues (counted with multiplicity) of the matrix
where \(u_k,\ldots ,u_{k+p-1}\) is any \(L^2\)-orthonormal basis of the eigenspace corresponding to \(\Gamma \).
Proof
Apply [9, Theorem 3.2] with \(k=2\) (see [9, equation (3.1)]), \(\phi =\text {id}\) and \(\phi _\epsilon =\phi +\epsilon V\), which is \(C^2\), bounded over \(\Omega \), as well as its derivatives, and satisfies \(\det D\phi _\epsilon \ne 0\) for \(\epsilon \) small enough. \(\square \)
Remark
-
1.
Since \(M_V\) is real symmetric, it is diagonalisable, hence has p eigenvalues counted with multiplicity. Moreover, the spectrum of \(M_V\) does not depend upon the choice of the eigenfunctions \(u_k\),...,\(u_{k+p-1}\).
-
2.
The crossing of eigenvalue branches (see Fig. 1) prevents \(\Gamma _k^\Omega ,...,\Gamma _{k+p-1}^\Omega \) from being differentiable at 0 in general, even if they are both on the left and on the right. Indeed, their derivative on the left and on the right might not coincide since the bijection with the spectrum of \(M_V\) changes when one derives on the left or on the right. In order to overcome this lack of differentiability, it is possible to consider combinations of eigenvalues, called elementary symmetric functions of the eigenvalues. For these, one obtains the stronger Fréchet-differentiability, see [8, Theorem 3.1].
-
3.
See Theorem 3.5, Lemma 4.1 and formula (4.4) of [28] for a similar result using slightly different vector fields of deformation than \(C^2(\mathbb {R}^d,\mathbb {R}^d)\). Note however that in [28, Lemma 4.1], the eigenfunctions involved in the formula for the derivative seem to depend implicitly on the vector field, which makes the formula less intrinsic than (8).
When the eigenvalue under consideration is simple, \(M_V\) is a scalar. Consequently, there is plain differentiability, as stated below.
Corollary 7
Let \(\Omega \) be a \(C^4\) bounded open set and \(k\in \mathbb {N}^*\). Assume that \(\Gamma _k(\Omega )\) is simple and let \(u_k\) be an associated \(L^2\)-normalised eigenfunction. Then, the functional \(\Gamma _k^\Omega \) defined in (7) is Gâteaux-differentiable at 0, and its partial derivative in the direction of a vector field \(V\in C^2(\mathbb {R}^d,\mathbb {R}^d)\) is
This result shows that the shape derivative of the first eigenvalue precisely involves the values of the Laplacian of the first eigenfunction (as long as it is unique) on the boundary. But two issues remain. The first is to deal with the volume constraint appearing in (4). To do so, we define, the volume functional \(\mathcal {V}^\Omega :W^{1,\infty }(\mathbb {R}^d,\mathbb {R}^d)\rightarrow \mathbb {R}\) by
Then, we build from \(\Gamma _k^\Omega \) the functional \(G_k^\Omega \) on \(C_b^2(\mathbb {R}^d,\mathbb {R}^d)\), the class of \(C^2\) vector fields being bounded as well as their derivatives, by setting
It is classic to introduce \(G_k^\Omega \) as it essentially behaves as \(\Gamma _k^\Omega \) but has the property that \(\omega \mapsto G_k^\omega (0)\) is scale-invariant, hence if \(\Omega \) is an optimal shape for (4), \(V=0\) minimizes \(G_k^\Omega \). Moreover, since the derivative of \(\mathcal {V}^\Omega \) is known to be (see [18, Theorem 5.2.2]), for any \(V\in W^{1,\infty }(\mathbb {R}^d,\mathbb {R}^d)\),
we end up with the next corollary.
Corollary 8
With the hypotheses of Corollary 7, the functional \(G_k^\Omega \) defined in (11) is Gâteaux-differentiable at 0, and its partial derivative in the direction of a vector field \(V\in C_b^2(\mathbb {R}^d,\mathbb {R}^d)\) is
The second issue regarding Corollary 7 is the assumption on the simplicity of \(\Gamma _k(\Omega )\). Indeed, as already mentionned, in the context of fourth order elliptic operators, the lack of positivity prevents from using Krein–Rutman Theorem. As a result, one is unable to prove the simplicity of the first eigenvalue, which actually fails in general (see [14, Theorem 3.9]). Fortunately, as roughly justified in [26], it can be proved that simplicity holds for the principal eigenvalue on a domain with minimal eigenvalue. The proof of this fact is obtained by contradiction, using the derivative of a multiple eigenvalue. It will be a consequence of the next proposition, which describes a phenomenon of generic “eigenvalue splitting”, as illustrated in Fig. 1.
Proposition 9
Let \(\Omega \) be a \(C^4\)bounded open set and \(k,p\in \mathbb {N}^*\), \(p>1\). Assume that \(\Gamma _k(\Omega )=\cdots =\Gamma _{k+p-1}(\Omega )=:\Gamma \) and that \(\Gamma \) is of multiplicity p. Then, there exists \(V\in C_b^{2}(\mathbb {R}^d,\mathbb {R}^d)\) such that
Here, \(\partial _V^+\) denotes the derivative in the direction V on the right.
Proof
We adapt [17, Lemma 2.5.9]. The idea is to use deformations which are localised around two arbitrary boundary points \(A_+\) and \(A_-\). For that purpose, set \(\epsilon >0\), and take a vector field \(V_\epsilon =V_\epsilon ^++V_\epsilon ^-\), where \(V_\epsilon ^+,V_\epsilon ^-\in C_b^2(\mathbb {R}^d,\mathbb {R}^d)\) satisfy:
The last condition immediately gives \(\partial _{V_\epsilon }\mathcal {V}^\Omega (0)=0\), in view of (12). The other conditions tell that \(\pm V_\epsilon ^\pm \cdot \textbf{n}\) is an approximate identity in \(A_\pm \) on \(\partial \Omega \). More precisely, if \(\psi \) is a continuous function over \(\partial \Omega \) with \(\omega \) as modulus of continuity,
and hence \(V_\epsilon ^\pm \cdot \textbf{n}\) converges to \(\pm \delta _{A_\pm }\) in the dual of \(C(\partial \Omega )\). Now, thanks to elliptic regularity (recall that \(\Omega \) is \(C^4\)) and classic bootstrap arguments we get \(u_{k+i-1}\in W^{4,q}(\Omega )\) for any \(1<q<\infty \), and hence \(u_{k+i-1}\in C^{3}(\overline{\Omega })\) by Sobolev injections. As a consequence, \(\Delta u_{k+i-1}\) is continuous over \(\partial \Omega \). Then, shrinking \(\epsilon \rightarrow 0\), we observe that the matrix \(M_{V_\epsilon }\) given in (8) converges to the matrix M with coefficients
for \(1\le i,j\le p\). In other words, setting \(X_+\) and \(X_-\) to be the column vectors with coordinates \(\Delta u_{k+i-1}(A_+)\) and \(\Delta u_{k+i-1}(A_-)\) respectively, \(i=1,...,p\), we obtain the relation
where \({}^{t}{X}\) stands for the transpose of a matrix X. In particular, the matrix M has signature (1, 1) as long as \(X_+\) and \(X_-\) are not colinear. At this point, recall that \(X_+\) and \(X_-\) depend on \(A_+\) and \(A_-\), which are arbitrary. We will show that we may tweak \(A_+\) and \(A_-\) for \(X_+\) and \(X_-\) not to be colinear. For that, assume by contradiction that \(X_+\) and \(X_-\) are colinear for any choice of \(A_+\) and \(A_-\) on the boundary, and let \(1\le i<j\le p\). Then, the matrix
has determinant 0. Choose \(A_-\) such that either \(c_i:=\Delta u_{k+i-1}(A_-)\) or \(c_j:=\Delta u_{k+j-1}(A_-)\) does not vanish (which is possible thanks to Corollary 5). The previous means that \(c_j\Delta u_{k+i-1}(A_+)-c_i\Delta u_{k+j-1}(A_+)=0\) for all \(A_+\in \partial \Omega \). In other words, the function \(v:=c_ju_{k+i-1}-c_iu_{k+j-1}\) is an eigenfunction of the bilaplacian in \(\Omega \) such that \(\Delta v=0\) on \(\partial \Omega \). Thanks to Corollary 5 again, we obtain that \(u_{k+i-1}\) and \(u_{k+j-1}\) are colinear, a contradiction.
The previous shows that there exists some points \(A_+,A_-\in \partial \Omega \) for which the matrix M has signature (1, 1). In other words, the spectrum of M admits a positive and a negative eigenvalue. As a result, for small enough \(\epsilon \), \(M_{V_\epsilon }\) also admits both positive and negative eigenvalues. Since, by Theorem 6, the lowest eigenvalue of \(M_{V_\epsilon }\) corresponds to \(\partial _{V_\epsilon }^+\Gamma _{k}^\Omega (0)\) and the greatest eigenvalue to \(\partial _{V_\epsilon }^+\Gamma _{k+p-1}^\Omega (0)\), we conclude that \( \partial _{V_\epsilon }^+\Gamma _{k}^\Omega (0)<0<\partial _{V_\epsilon }^+\Gamma _{k+p-1}^\Omega (0)\). \(\square \)
The conclusions of the present section might be combined in order to obtain an information on the function \(g_u\) defined in Proposition 4 in the case of an optimal domain \(\Omega \). This is the purpose of the next paragraph.
4 Simplicity of the eigenvalue and optimality conditions
In this section we prove Theorem 3, and discuss the corresponding optimality condition.
Proof of Theorem 3
Let \(\Omega \) be a \(C^4\) optimal shape for problem (4). The simplicity of \(\Gamma (\Omega )\) is a direct consequence of Proposition 9, as if one had \(\Gamma _1(\Omega )=\Gamma _2(\Omega )\), there would exist a vector field V such that \(\partial _V\mathcal {V}^\Omega (0)=0\) and \(\partial _V^+\Gamma _1^\Omega (0)<0\). Then, we would have \(\partial _V^+G_1^\Omega (0)<0\), hence \(\Omega \) would not minimise \(\omega \mapsto |\omega |^{\frac{4}{d}}\Gamma _1(\omega )\), so it would not solve (4).
Now that simplicity has been proved, we shall invoke Corollary 8. Indeed, as \(\Omega \) is an optimal shape, 0 is a critical point of \(G_1^\Omega \), hence we get the optimality condition
We conclude that \(\Delta u=\pm \alpha \) a.e. on \(\partial \Omega \). Moreover, since \(\Delta u\) is continuous over \(\overline{\Omega }\) (recall that, by bootstrap, \(u\in W^{4,p}(\Omega )\) for all \(1<p<\infty \)), it is a.e. constant on each connected component of \(\partial \Omega \). \(\square \)
Note that the optimality condition given in Theorem 3 is actually fulfilled by any \(C^4\) regular shape \(\Omega \) with simple principal eigenvalue and such that 0 is a critical point for \(G_1^\Omega \). This motivates the following definition.
Definition 10
An open set \(\Omega \) is a critical shape (for the principal eigenvalue) if any \(L^2\)-normalised first eigenfunction u on \(\Omega \) is such that \(\Delta u\) is a.e. constant equal to \(\pm \sqrt{\frac{4\Gamma (\Omega )}{d|\Omega |}}\) on each connected component of \(\partial \Omega \).
Remark
Any ball B is a critical shape since, according to Propostion 15, the first eigenfunction is radial (derive \(G_1^B\) in the direction of a radially symmetric vector field). See also [7] for more general results.
Considering the order reduction principle proved in Sect. 2 and the optimality condition derived in the present section, we are equipped for proving Theorem 1 and Theorem 2.
5 Proofs of Theorem 1 and Theorem 2
In this section, we combine the order reduction principle (Proposition 4) and the optimality condition (Theorem 3) to provide proofs for Theorem 1 and Theorem 2. Let us begin with the most straightforward, which is undoubtedly Theorem 2. With Theorem 3 in mind, we see that it is enough to prove Theorem 2 for critical shapes, which is performed below.
Theorem 11
Let \(\Omega \) be a critical shape satisfying (RG). Let u be a first eigenfunction on \(\Omega \) such that \(\partial _n\Delta u\) is constant on \(\partial \Omega \). Then, \(\Omega \) is a ball.
Proof
Without loss of generality, we assume u to be \(L^2\)-normalised. Since \(\Omega \) is a critical shape, we know that \(\Delta u\) is a.e. constant on each connected component of \(\partial \Omega \). But \(\partial \Omega \) is assumed connected, hence \(\Delta u\) is constant on \(\partial \Omega \) equal to \(\pm \alpha \), where \(\alpha =\sqrt{\frac{4\Gamma (\Omega )}{d|\Omega |}}\). Considering \(-u\) if needed, we shall assume that \(\Delta u=\alpha \) a.e. on \(\partial \Omega \), and, consequently, \(g_u=\sqrt{\frac{4}{d|\Omega |}}>0\) a.e. not only on \(\partial \Omega \) but in the whole \(\Omega \). Applying the order reduction principle (Proposition 4), we obtain that \(z_u=\frac{\Delta }{\sqrt{\mu }}u+u-g_u\) is negative and satisfies (5). Moreover, the fact that \(\partial _n\Delta u\) remains constant on the boundary (combined with the fact that \(g_u\) is constant) shows that \(\partial _n z_u\) is constant on \(\partial \Omega \). Thus \(z_u<0\) satisfies an overdetermined problem of order 2, and we conclude applying Serrin’s Theorem [30, Theorem 2]. \(\square \)
We now turn to the proof of Theorem 1. To do so, we use the variational formulation of the first eigenvalue involving \(z_u\) given by Proposition 4. This new expression is interesting in the sense that it allows using symmetrisation techniques available for one-sign \(H_0^1(\Omega )\) functions. That’s why we recall the Schwarz symmetrisation (see the classic [20] for a general discussion on level set rearrangements).
Definition 12
Let \(\Omega \) be an open set and u be a measurable function on \(\Omega \). Let B be a ball of same volume than \(\Omega \). The nonincreasing spherical symmetric rearrangment (also called Schwarz symmetrisation) of u is the measurable function \(u^*\) defined on B such that its radial part is the generalised inverse of the distribution function \(\mu _u\) of u, that is
where \(B_r\) denotes the ball of radius r and of same center as B. We recall that u and \(u^*\) are equimeasurable and that if \(u\in H_0^1(\Omega )\) is nonnegative, \(u^*\in H_0^1(B)\). Moreover, for any \(z\in H_0^1(\Omega )\), we define \(z^\#:=-(-z)^*\).
Then, Theorem 1 will be a consequence of the following result.
Theorem 13
Let \(\Omega \) be a critical shape satisfying (RG) and B a ball such that \(|\Omega |=|B|\). Let u be a first \(L^2\)-normalised eigenfunction on \(\Omega \) and \(u_B\) a first \(L^2\)-normalised eigenfunction on B. Assume that
Then, inequality (3) holds. Moreover, if (14) is strict, (3) is also strict. Finally, if \(\Gamma (\Omega )=\Gamma (B)\), \(\Omega \) has to be a translation of B.
Proof
Proceeding as in the beginning of the proof of Theorem 11, we might assume that \(g_u=\sqrt{\frac{4}{d|\Omega |}}>0\) a.e. in \(\Omega \). Since B is also a critical shape satisfying (RG) (recall the remark below the definition of critical shapes), the same applies to \(u_B\), and we conclude that we shall also take \(g_{u_B}=\sqrt{\frac{4}{d|\Omega |}}\) a.e. in B. As a result of \(g_{u_B}\ge 0\), observe that \(u_B\) (which is one-sign) is positive due to the maximum principle and to Hopf Boundary Lemma.
On the other hand, since \(g_u\ge 0\), we get \(z_u<0\), and \(z_u^\#\) is a negative \(H_0^1(B)\) function. Moreover, the properties of the Schwarz symmetrisation ensure that \(\int _\Omega |\nabla z_u|^2\ge \int _{B}|\nabla z_u^\#|^2\), \(\int _\Omega z_u^2=\int _{B} (z_u^\#)^2\), and \(\int _\Omega z_u=\int _{B} z_u^\#\). Therefore, thanks to Proposition 4,
Note that the numerator in the above quotients is always nonpositive (from the first equality), which justifies the first inequality. Now, we claim that \(\int _B z_u^\#\le \int _B z_{u_B}\). Indeed, if true, this result would lead to
the last equality coming once again from Proposition 4 applied to B. This would in turn give the Faber–Krahn inequality \(\Gamma (\Omega )\ge \Gamma (B)\). Note also that if \(\int _B z_u^\#\le \int _B z_{u_B}\) is strict, then \(\Gamma (\Omega )\ge \Gamma (B)\) is also strict.
Hence it remains only to prove that \(\int _B z_u^\#\le \int _B z_{u_B}\). But thanks to the properties of the Schwarz rearrangement, \(\int _B z_u^\#=\int _\Omega z_u\). Then, using the expression of \(z_u\) combined with the fact that \(\int _\Omega \Delta u=0\), we find \(\int _B z_u^\#=\int _\Omega u-|\Omega |g_u\). In the same way, \(\int _Bz_{u_B}=\int _B u_B-|B|g_{u_B}\). Thus, as \(|\Omega |=|B|\) and \(g_u=g_{u_B}\), we obtain that \(\int _B z_u^\#\le \int _B z_{u_B}\) if and only if \(\int _\Omega u\le \int _B u_B\), which holds by assumption (recall that \(u_B>0\)). Moreover, if one of these inequalities is strict, the other also holds strictly.
Lastly, if \(\Gamma (\Omega )=\Gamma (B)\), all our inequalities become equalities. In particular, \(\int _\Omega |\nabla z_u|^2=\int _B|\nabla z_u^\#|^2\), thus we apply [13, Theorem 2.2]. This is possible since, on the one hand, as u is analytic in \(\Omega \), \(z_u\) is also analytic, hence \(|\{z_u=t\}|=0\) for all \(\inf z_u<t<\sup z_u\). On the other hand, thanks to elliptic regularity [14, Theorem 2.20] and to classic bootstrap arguments, u is actually \(W^{4,p}(\Omega )\), and in particular \(C^{3,\gamma }(\overline{\Omega }),0<\gamma <1\) due to Sobolev embeddings. Finally, \(z_u\) is Lipschitz in \(\mathbb {R}^d\). Then, [13, Theorem 2.2] yields that, up to translation, \(z_u=z_u^\#\), and in particular that \(\Omega \) is a ball. \(\square \)
Proof of Theorem 1
If \(\Omega \) is an optimal shape satisfying (RG), Theorem 3 shows that \(\Gamma (\Omega )\) is simple and that \(\Omega \) is a critical shape. Assume that its \(L^2\)-normalized principal eigenfunction u does not verify (M). Theorem 13 then applies and shows that \(\Gamma (\Omega )> \Gamma (B)\), contradicting the optimality of \(\Omega \). Therefore, (M) holds. Moreover, in case of equality, Theorem 13 still applies and gives \(\Gamma (\Omega )\ge \Gamma (B)\). As \(\Omega \) is optimal, we conclude that \(\Gamma (\Omega )=\Gamma (B)\), hence Theorem 13 implies that \(\Omega =B\) up to a translation. \(\square \)
Theorem 1 relies on the central assumption that equality is attained in (M), or in other words that the converse of (M) holds. Unfortunately, the inequality \(\left| \int _\Omega u\right| \le \left| \int _B u_B\right| \) seems not easy to check in general. For instance, to estimate the mean value of u on the optimal domain \(\Omega \), one could try to use the inequality
coming from the fact that \(\int _\Omega z_u\le 0\) (recall Proposition 4). However, as B is a critical shape, \(u_B\) satisfies (15) as well, hence it is illusory to intend showing the reverse \(\sqrt{\frac{4|\Omega |}{d}}\le \int _B u_B\), since it would mean that \(z_{u_B}=0\), in contradiction with Proposition 4.
Nevertheless, even if having equality in (M) is a restrictive condition, Theorem 1 has two interesting consequences that we shall explain in Sect. 6.
6 Consequences of Theorem 1
The first immediate corollary of Theorem 1 regards the volume of one of the nodal domains of u.
Corollary 14
With the hypotheses of Theorem 1, if \(\int _\Omega u>0\), writing \(\Omega _+:=\{u>0\}\), then
Proof
Assume by contradiction that \(\sqrt{|\Omega _+|}\le \left| \int _B u_B\right| \). Then, \(\int _\Omega u\le \int _{\Omega _+} u\le \sqrt{|\Omega _+|}\sqrt{\int _{\Omega _+}u^2}\le \sqrt{|\Omega _+|}\le \left| \int _B u_B\right| \le \int _\Omega u\), the last inequality coming from Theorem 1. Therefore, all the previous inequalities, in particular Hölder’s, are equalities. This means that \(u=1\) in \(\Omega _+=B\), a contradiction. \(\square \)
This result confirms that it might be interesting to evaluate the mean value of \(u_B\). This is possible since \(u_B\) shall be computed explicitly as it is stated in the next result, the proof of which is detailed in “Appendix”.
Proposition 15
Let B be the ball B(0, R). The first \(L^2\)-normalised eigenfunction \(u_B\) is radially symmetric. Moreover, \(\Gamma (B)\) and (up to sign) \(u_B\) are given by the formulas
where \(\nu :=d/2-1\), \(J_\nu \) and \(I_\nu \) stand for the Bessel and modified Bessel functions of order \(\nu \), and \(\gamma _\nu \) is the first positive zero of \(f_\nu :=J_{\nu +1}I_\nu +I_{\nu +1}J_\nu \). Finally,
Note that it is easy to evaluate numerically (18). Indeed, in Python 3 for instance, the package special, from the module scipy, directly provides the functions jv and iv, corresponding respectively to the Bessel functions \(J_\nu \) and \(I_\nu \). Then it remains to compute \(\gamma _\nu \), but this can be done by dichotomy thanks to \(j_{\nu ,1}<\gamma _\nu <j_{\nu ,2}\) (see [5, equation (2.2)]) as long as one knows \(j_{\nu ,1}\) and \(j_{\nu ,2}\) (where, for \(n\in \mathbb {N}^*\), \(j_{\nu ,n}\) are the positive zeros of \(J_\nu \)). For that observe, as explained in Theorem 2.1 and Theorem 2.2 of [19], that the zeros of \(J_\nu \) can be approximated by computing the eigenvalues of some matrix.
In Table 1 is given the value of \(\left| \int _B u_B\right| \) in the case where B is the ball of volume 1. We also give the minimum volume allowed for \(\Omega _+\) to satisfy (16), that is \((\int _B u_B)^2\).
Let us now discuss another consequence of Theorem 1. In view of proving the Rayleigh Conjecture, Theorem 1 tells that the last step would be to show the converse of (M) for an optimal shape \(\Omega \). On the other hand, the optimality of \(\Omega \) means, by definition, that
where u (resp. \(u_B\)) is an \(L^2\)-normalised first eigenfunction on \(\Omega \) (resp. B). From this inequality, one shall wonder whether it is possible to deduce the converse of (M). This problem is actually not so far from a maximum principle type property, which classically asserts that if \(v_1,v_2\in H_0^1(\omega )\) satisfy \(-\Delta v_1\le -\Delta v_2\), then \(v_1\le v_2\) in \(\omega \). In our situation, it would be desirable to convert these pointwise inequalities into integral ones. Therefore, even if it does not immediately answer our initial concern, it would be interesting to study to which extent the following \(L^p\) norm and mean value formulations of the maximum principle hold: for \(v_1\in W_0^{1,p}(\omega _1)\cap W^{2,p}(\omega _1)\) and \(v_2\in W_0^{1,p}(\omega _2)\cap W^{2,p}(\omega _2)\),
At this time, we were not able to answer the above (quite vague) questions, and could only argue that (20) cannot hold in full generality for \(p=1\), since it would imply that any \(H_0^2\) function has zero mean value. Anyway, in the remaining, we will state an interesting consequence of Theorem 1 using the standard maximum principle combined with Talenti’s comparison principle, which we recall below (see [21, Theorem 3.1.1]).
Theorem 16
Let \(\omega \) be an open set and \(\omega ^*\) its Schwarz symmetrisation. Let \(f\in L^2(\omega )\) and \(u\in H^2(\omega )\) the solution of
Let \(f^*,u^*\in L^2(\omega ^*)\) be the Schwarz symmetrisations of f, u and let \(v\in H^2(\omega ^*)\) solve
Assume that \(u\ge 0\). Then,
Remark
-
1.
The hypothesis \(u\ge 0\) is not precised in [33], but it is mentionned in [21, Theorem 3.1.1]. This comes from the definition of Schwarz symmetrisation for signed functions, which differs in both references. Here, in view of Definition 12, we conform to the convention adopted in [21].
-
2.
We mention that, as long as u is assumed nonnegative, Schwarz symmetrisation might be replaced by Talenti symmetrisation (see [34]), which is defined in the following way: let \(f\in L^2(\omega )\), we set, for all \(s\in [0,|\omega |)\),
$$\begin{aligned} f^\dagger (s)=f_+^*(s)-f_-^*(|\omega |-s). \end{aligned}$$Then, the Talenti symmetrisation of f is the function \(f^\dagger \) defined on \(\omega ^*\) by \(\forall x\in \omega ^*\),
$$\begin{aligned} f^\dagger (x):=f^\dagger (|B_{|x|}|). \end{aligned}$$
Corollary 17
With the hypotheses of Theorem 1, assume without loss of generality that \(u_B>0\) and that \(\int _\Omega u>0\). Writing \(\Omega _+:=\{u>0\}\) and \(\Omega _+^*\) its Schwarz symmetrisation, if \((-\Delta u|_{\Omega _+})^*\le -\Delta u_B\) in \(\Omega _+^*\), then, up to a translation, \(\Omega =B\).
Remark
-
1.
We stress that if \(\Omega \) is an optimal shape, then
$$\begin{aligned} \int _{B}\left| (-\Delta u)^*\right| ^2=\int _{\Omega }(\Delta u)^2=\Gamma (\Omega )\le \Gamma (B)=\int _B(-\Delta u_B)^2. \end{aligned}$$The assumption of the corollary is a pointwise version of this integral inequality.
-
2.
As we shall see in the proof, the assumption \((-\Delta u|_{\Omega _+})^*\le -\Delta u_B\) is used for applying the maximum principle, which in turn yields a pointwise inequality between u and \(u_B\), although only an inequality in terms of mean value is actually needed to invoke Theorem 1. That’s why, if one could prove some “mean value maximum principle” as in (19) and (20), one could hope to drop the assumption.
-
3.
As in Theorem 16, Schwarz symmetrisation \(^*\) might be replaced by Talenti’s one \(^\dagger \).
Proof
We set \(f:=-\Delta u|_{\Omega _+}\). Let v be the \(H_0^1(\Omega _+^*)\) solution of the problem \(-\Delta v=f^*\) in \(\Omega _+^*\). According to Talenti’s comparison principle, since \(u\ge 0\) in \(\Omega _+\), \(v\ge u^*\) in \(\Omega _+^*\).
Then, as \(-\Delta v=(-\Delta u|_{\Omega _+})^*\le -\Delta u_B\) in \(\Omega _+^*\), we get \(-\Delta (u_B-v)\ge 0\) in \(\Omega _+^*\). Thus the maximum principle forces \(u_B-v\) to reach its minimum value on the boundary of \(\Omega _+^*\). Moreover, \(u_B\ge 0\) on B and hence on \(\partial \Omega _+^*\). Therefore \(u_B-v\ge 0\) on \(\partial \Omega _+^*\). To conclude, \(u_B\ge v\) not only on the boundary, but in the whole \(\Omega _+^*\).
We obtained that \(u^*\le u_B\) pointwise in \(\Omega _+^*\). In particular, since \(u_B\ge 0\),
and we conclude thanks to Theorem 1. \(\square \)
References
Adolfsson, V.: \(L^2\)-integrability of second-order derivatives for Poisson’s equation in nonsmooth domains. Math. Scand. 70(1), 146–160 (1992). https://doi.org/10.7146/math.scand.a-12391
Antunes, P.R.S., Buoso, D., Freitas, P.: On the behavior of clamped plates under large compression. SIAM J. Appl. Math. 79(5), 1872–1891 (2019). https://doi.org/10.1137/19M1249606
Ashbaugh, M.S., Benguria, R.D.: On Rayleigh’s conjecture for the clamped plate and its generalization to three dimensions. Duke Math. J. 78(1), 1–17 (1995). https://doi.org/10.1215/S0012-7094-95-07801-6
Ashbaugh, M.S., Laugesen, R.S.: Fundamental tones and buckling loads of clamped plates. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 23(2), 383–402 (1996)
Baricz, Á., Ponnusamy, S., Singh, S.: Cross-product of Bessel functions: monotonicity patterns and functional inequalities’. Proc. Indian Acad. Sci. Math. Sci. 128(3) (2018), Paper No. 36, 30. https://doi.org/10.1007/s12044-018-0398-z
Bennett, A.: Symmetry in an overdetermined fourth order elliptic boundary value problem. SIAM J. Math. Anal. 17(6), 1354–1358 (1986). https://doi.org/10.1137/0517095
Buoso, D.: Analyticity and criticality results for the eigenvalues of the biharmonic operator. Geometric properties for parabolic and elliptic PDE’s, Springer Proc. Math. Stat., vol. 176, pp. 65–85. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-41538-3_5
Buoso, D., Lamberti, P.D.: Eigenvalues of polyharmonic operators on variable domains. ESAIM Control Optim. Calc. Var. 19(4), 1225–1235 (2013). https://doi.org/10.1051/cocv/2013054
Buoso, D., Lamberti, P.D.: On a classical spectral optimization problem in linear elasticity. New trends in shape optimization, vol. 166. Internat. Ser. Numer. Math., pp. 43–55. Birkhäuser/Springer, Cham (2015) https://doi.org/10.1007/978-3-319-17563-8_3
Coffman, C.V., Duffin, R.J., Shaffer, D.H.: The fundamental mode of vibration of a clamped annular plate is not of one sign. In: Constructive Approaches to Mathematical Models (Proc. Conf. in honor of R. J. Duffin, Pittsburgh, Pa., 1978), pp. 267–277. Academic Press, New York-London-Toronto (1979)
Dalmasso, R.: Un problème de symétrie pour une équation biharmonique. Ann. Fac. Sci. Toulouse Math. (5) 11(3), 45–53 (1990)
Duffin, R.J., Shaffer, D.H.: On the modes of vibration of a ring-shaped plate. Bull. Am. Math. Soc. 58(6), 652 (1952). https://doi.org/10.1090/S0002-9904-1952-09650-6
Friedman, A., McLeod, B.: Strict inequalities for integrals of decreasingly rearranged functions. Proc. R. Soc. Edinb. Sect. A 102(3–4), 277–289 (1986). https://doi.org/10.1017/S0308210500026366
Gazzola, F., Grunau, H.-C., Sweers, G.: Polyharmonic boundary value problems, vol. 1991. Lecture Notes in Mathematics. Positivity preserving and nonlinear higher order elliptic equations in bounded domains, pp. xviii+423. Springer, Berlin (2010). https://doi.org/10.1007/978-3-642-12245-3
Gradshteyn, I.S., Ryzhik, I.M.: Table of integrals, series, and products. Eighth. Translated from the Russian, Translation edited and with a preface by Daniel Zwillinger and Victor Moll, Revised from the seventh edition, pp. xlvi+1133. Elsevier/Academic Press, Amsterdam (2015)
Haug, E.J., Rousselet, B.: Design sensitivity analysis in structural mechanics. II. Eigenvalue variations. J. Struct. Mech. 8(2), 161–186 (1980). https://doi.org/10.1080/03601218008907358
Henrot, A.: Extremum problems for eigenvalues of elliptic operators. Frontiers in Mathematics, p. x+202. Birkhäuser Verlag, Basel (2006). https://doi.org/10.1007/3-7643-7706-2
Henrot, A., Pierre, M.: Variation et optimisation de formes, vol. 48. Mathématiques & Applications (Berlin). Une analyse géométrique, pp. xii+334. Springer, Berlin (2005). https://doi.org/10.1007/3-540-37689-5
Ikebe, Y., Kikuchi, Y., Fujishiro, I.: Computing zeros and orders of Bessel functions. In: Proceedings of the International Symposium on Computational Mathematics (Matsuyama, 1990), vol. 38(1–3), pp. 169–184 (1991). https://doi.org/10.1016/0377-0427(91)90169-K
Kawohl, B.: Rearrangements and convexity of level sets in PDE. Vol. 1150. Lecture Notes in Mathematics, pp. iv+136 (1985). Springer, Berlin. https://doi.org/10.1007/BFb0075060
Kesavan, S.: Symmetrization & applications. Vol. 3. Series in Analysis, pp. xii+148. World Scientific Publishing Co. Pte. Ltd., Hackensack (2006). https://doi.org/10.1142/9789812773937
Kristály, A.: Fundamental tones of clamped plates in nonpositively curved spaces. Adv. Math. 367, 107113, 39 (2020). https://doi.org/10.1016/j.aim.2020.107113
Kristály, A.: Lord Rayleigh’s conjecture for vibrating clamped plates in positively curved spaces. Geom. Funct. Anal. 32(4), 881–937 (2022). https://doi.org/10.1007/s00039-022-00606-7
Lamberti, P.D., Lanza de Cristoforis, M.: A real analyticity result for symmetric functions of the eigenvalues of a domain dependent Dirichlet problem for the Laplace operator. J. Nonlinear Convex Anal. 5(1), 19–42 (2004)
Leylekian, R.: Towards the Optimality of the Ball for the Rayleigh Conjecture Concerning the Clamped Plate. Arch. Ration. Mech. Anal. 248(2), Paper No. 28 (2024). https://doi.org/10.1007/s00205-024-01972-2
Mohr, E.: Über die Rayleighsche Vermutung: unter allen Platten von gegebener Fläche und konstanter Dichte und Elastizität hat die kreisförmige den tiefsten Grundton. Ann. Mat. Pura Appl. (4) 104, 85–122 (1975). https://doi.org/10.1007/BF02417012
Nadirashvili, N.S.: Rayleigh’s conjecture on the principal frequency of the clamped plate. Arch. Ration. Mech. Anal. 129(1), 1–10 (1995). https://doi.org/10.1007/BF00375124
Ortega, J.H., Zuazua, E.: Generic simplicity of the spectrum and stabilization for a plate equation. SIAM J. Control Optim. 39(5), 1585–1614 (2000). https://doi.org/10.1137/S0363012900358483
Payne, L.E., Schaefer, P.W.: Duality theorems in some overdetermined boundary value problems. Math. Methods Appl. Sci. 11(6), 805–819 (1989). https://doi.org/10.1002/mma.1670110606
Serrin, J.: A symmetry problem in potential theory. Arch. Ration. Mech. Anal. 43, 304–318 (1971). https://doi.org/10.1007/BF00250468
Stollenwerk, K.: Existence of an optimal domain for minimizing the fundamental tone of a clamped plate of prescribed volume in arbitrary dimension. arXiv:2109.01455 (2021)
Szegö, G.: On membranes and plates. Proc. Nat. Acad. Sci. USA 36, 210–216 (1950). https://doi.org/10.1073/pnas.36.3.210
Talenti, G.: Elliptic equations and rearrangements. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 3(4), 697–718 (1976)
Talenti, G.: On the first eigenvalue of the clamped plate. Ann. Mat. Pura Appl. (4) 129, 265–280 (1981). https://doi.org/10.1007/BF01762146
Tolsa, X.: Unique continuation at the boundary for harmonic functions in \(C^1\) domains and Lipschitz domains with small constant. Commun. Pure Appl. Math. 76(2), 305–336 (2023). https://doi.org/10.1002/cpa.22025
Willms, N.B.: An isoperimetric inequality for the buckling of a clamped plate. Lecture at the Oberwolfach meeting on “Qualitative properties of PDE”(organized by H. Berestycki, B. Kawohl, and G. Talenti) (1995)
Acknowledgements
I would like to thank Enea Parini and François Hamel for their valued support and useful comments during the elaboration of this document. Let me thank Davide Buoso profusely for useful discussions and for having brought to my attention several interesting references on shape derivatives.
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.
Appendix
Appendix
Proof of Proposition 15
For readability, we ommit the subscript B in \(u_B\). According to [3], in B, the first eigenfunction is radially symmetric and of the form \(\forall r\in [0,R)\),
where \(k:=\Gamma (B)^{\frac{1}{4}}\). Then, using the identities \(J_\nu '(x)=\frac{\nu J_\nu (x)}{x}-J_{\nu +1}(x)\) and \(I_\nu '(x)=\frac{\nu I_\nu (x)}{x}+I_{\nu +1}(x)\) we find
Now, for u to fulfill the condition \(u(R)=\partial _r u(R)=0\) although being non trivial, one observes that the matrix
needs having a non trivial kernel. In other words, its determinant needs to vanish, hence
Conversely, as soon as k satisfies this equation, u will be solution of an eigenvalue problem in B with Dirichlet boundary conditions. Consequently, k is necessarily the lowest positive solution of this equation, meaning that \(kR=\gamma _\nu \). Hence \(\Gamma (B)=\gamma _\nu ^4/R^4\).
Furthermore, since \(I_\nu >0\) over \((0,\infty )\), \(M\ne 0\) and it has a one-dimensional kernel. By virtue of the identity \(u(R)=0\), the kernel is generated by the vector \((I_\nu (\gamma _\nu ),-J_\nu (\gamma _\nu ))\) or equivalently by the vector \(R^\nu (J_\nu (\gamma _\nu )^{-1},-I_\nu (\gamma _\nu )^{-1})\). In other words, there exists a real number \(\beta \) such that
Finding the values of a and b is thus equivalent to determining \(\beta \). For that purpose, we use the normalisation of u, i.e.
As \(d-2\nu -1=1\), it turns out that we need to compute the integral of product of Bessel functions against r. That’s why we use the Gradshteyn and Ryzhik collection [15, section 6.521, formula 1], that is, for all \(\alpha \ne \beta \in \mathbb {C}\) and \(\nu >-1\),
We apply this formula with \(\alpha =i\gamma _\nu \) and \(\beta =\gamma _\nu \), and find
For the other integrals, we first remark that when (\(\alpha ,\beta \in \mathbb {R}\) and) \(\alpha \rightarrow \beta \) in (22), one obtains
Hence, with \(\beta =\gamma _\nu \), we find
But because both extremal members in (23) depend holomorphicly on \(\beta \), this formula remains true even when \(\beta \in {\mathbb {C}}\) thanks to the isolation of zeros, hence, we can apply it to \(\beta =i\gamma _\nu \):
Finally, since \(f_\nu (\gamma _\nu )=0\), the term between brackets in (21) becomes
Using \(|\mathbb {S}^{d-1}|R^d=d|B|\), we have that \(\beta ^{-2}=|\mathbb {S}^{d-1}|R^{2\nu +2}=d|B|\), hence
In particular,
which corresponds to (17). After having obtained the expression of u, we would like to compute its integral. Observing that
it remains only to compute
for which we used the identities \(J_{\nu +1}'(x)=J_\nu (x)-\frac{\nu +1}{x}J_{\nu +1}(x)\) and \(I_{\nu +1}'(x)=I_\nu (x)-\frac{\nu +1}{x}I_{\nu +1}(x)\). As a result, we get
Note that the last equality in (18) comes from the fact that \(f_\nu (\gamma _\nu )=0\). \(\square \)
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Leylekian, R. Sufficient conditions yielding the Rayleigh Conjecture for the clamped plate. Annali di Matematica (2024). https://doi.org/10.1007/s10231-024-01454-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10231-024-01454-y