Abstract
We prove the existence of an optimal domain for minimizing the buckling load among all, possibly unbounded, open subsets of \({\mathbb {R}}^n\) (\(n\ge 2\)) with given measure. Our approach is based on the extension of a two-dimensional existence result of Ashbaugh and Bucur and on the idea of Alt and Caffarelli to focus on the eigenfunction.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We consider the following variational problem. Let \(\Omega \subset {\mathbb {R}}^n\) be an open set and define
for \(v \in W^{2,2}_0(\Omega )\) (see (2)). If the denominator vanishes, we set \({\mathcal {R}}(v,\Omega ) = \infty \). The buckling load of the clamped plate \(\Omega \) is defined as
In 1951, Polya and Szegö conjectured that the ball minimizes the buckling load among all open sets of given measure (see [12]). It is still an open question to confirm their conjecture. Up to now, there are only partial results known.
If there exists a smooth, bounded, connected and simply connected open set \(\Omega \) which minimizes the buckling load among all open sets of given measure in \({\mathbb {R}}^n\), it is known that \(\Omega \) is a ball (see [14, 15]).
In [13], the existence of an optimal domain for minimizing the buckling load among all opens sets of a given measure which are contained in a sufficiently large ball \(B \subset {\mathbb {R}}^{n}\), \(n=2,3\), is proven. However, [13] does not provide any information about the regularity of the achieved optimal domain.
Ashbaugh and Bucur proved the existence of a plane optimal domain for minimizing \(\Lambda \) in two different settings [3]. On the one hand, they prove the existence of a minimizer in the family of connected and simply connected open sets of given measure in \({\mathbb {R}}^2\). On the other hand, they find an optimal set \({\tilde{\Omega }}\) for minimizing a relaxed version of the buckling load among all open sets of given measure in \({\mathbb {R}}^2\).
In the present paper, we will adapt a part of the approach by Ashbaugh and Bucur. Therefore, let us briefly summarize their idea. For \(\omega _0>0\) let us denote
where \(|\Omega |\) denotes the n-dimensional Lebesgue measure of \(\Omega \subset {\mathbb {R}}^n\). Ashbaugh and Bucur start from a minimizing sequence \((\Omega _k)_k \subset {\mathcal {O}}_{\omega _0}\) and the sequence \((u_k)_k\) of corresponding normalized buckling eigenfunctions \(u_k \in W^{2,2}_0(\Omega _k)\). Applying a concentration-compactness lemma, they deduce the existence of a limit function \(u \in W^{2,2}({\mathbb {R}}^2)\) such that
Since \(u\in W^{2,2}({\mathbb {R}}^2)\), Sobolev’s embedding theory implies that u is continuous and the set
is an open set. Moreover, the strong \(L^2\)-convergence of \(u_k\) to u implies that \(|{\tilde{\Omega }}|\le \omega _0\). Hence, \({\tilde{\Omega }}\in {\mathcal {O}}_{\omega _0}\). At this point the authors face the difficulty that their ansatz does not provide any further information about \({\tilde{\Omega }}\) and u except that \({\tilde{\Omega }}\in {\mathcal {O}}_{\omega _0}\) and u is continuous. In particular, they cannot conclude that \(u \in W^{2,2}_0({\tilde{\Omega }})\). They circumvent that problem by introducing the relaxed Sobolev space \({\tilde{W}}^{2,2}_0({\tilde{\Omega }})\) by
and the relaxed buckling load by
By construction, \(u \in {\tilde{W}}^{2,2}_0({\tilde{\Omega }})\) and, consequently, \({\tilde{\Omega }}\) minimizes \({\tilde{\Lambda }}\) in \({\mathcal {O}}_{\omega _0}\), i.e.,
where [3, Theorem 3.1] provides the last equation.
In this paper, we will adapt the idea of Ashbaugh and Bucur in [3] and extend it to arbitrary dimension. Contrary to their construction via \({\tilde{W}}^{2,2}\) we prove higher regularity of the limit function u. Thereby we follow the idea of Alt and Caffarelli in [2]. We will find that the first-order derivatives of u are \(\alpha \)-Hölder continuous in \({\mathbb {R}}^n\) for every \(\alpha \in (0,1)\).
Recall (c.f. [1, Th. 9.1.3] or [8, Sec. 3.3.5]) that for an open set \(\Omega \subset {\mathbb {R}}^n\) and \(v \in W^{2,2}({\mathbb {R}}^n)\) there holds
Thereby, a property p(x) is said to hold ’quasi-everywhere’ if the set of points in which p(x) does not hold true has got zero capacity. Since the concept of capacity of a set will not play any further role in the sequel of the present paper, we refer to [8] for more details on the concept of capacity. However, if a property holds pointwise, it holds quasi-everywhere, as well.
Consequently, the Hölder continuity of the first-order derivatives of u implies that \(u \in W^{2,2}_0(\Omega ^*)\) for
In addition, \(\Omega ^*\) satisfies \(|\Omega ^*| =\omega _0\) and we deduce that \(\Omega ^*\) minimizes the buckling load among all open sets of given measure in \({\mathbb {R}}^n\).
Moreover, we will show that the minimizer \(\Omega ^*\) is connected.
2 Existence of a minimizer
For \(\omega _0>0\) we denote the class of admissible sets by
where \(|\Omega |\) denotes the n-dimensional Lebesgue measure of \(\Omega \subset {\mathbb {R}}^n\), \(n\ge 2\).
Our aim is to prove the existence of a set \(\Omega ^*\in {\mathcal {O}}_{\omega _0}\) which minimizes \(\Lambda \) in \({\mathcal {O}}_{\omega _0}\). In the beginning, we follow the idea of [3].
Let \(\left( \Omega _k\right) _k \in {\mathcal {O}}_{\omega _0}\) be a minimizing sequence for the buckling load, i.e.,
By \(u_k \in W^{2,2}_0(\Omega _k)\) we denote the normalized buckling eigenfunction on \(\Omega _k\). Hence, \(u_k\) satisfies
We now apply the approach by Ashbaugh and Bucur from [3] to show that \((u_k)_k\) converges weakly to a limit function u in \(W^{2,2}({\mathbb {R}}^n)\).
We will use the following concentration-compactness lemma (see [3, 10]) adapted to our setting.
Lemma 1
Let \((\Omega _k)_k \subset {\mathcal {O}}_{\omega _0}\) be a minimizing sequence for the buckling load in \({\mathcal {O}}_{\omega _0}\) and \((u_k)_k\) be the sequence of corresponding eigenfunctions. Then there exists a subsequence \((u_k)_k\) such that one of the three following situations occurs.
-
1.
Compactness \(\exists (y_k)_k\subset {\mathbb {R}}^n\) such that \(\forall \varepsilon >0\), \(\exists R <\infty \) and
$$\begin{aligned} \forall k \in {\mathbb {N}} \quad \int \limits _{B_R(y_k)}|\nabla \! u_k|^2\textrm{d}x \ge 1-\varepsilon . \end{aligned}$$ -
2.
Vanishing \(\forall R \in (0,\infty )\)
$$\begin{aligned} \lim _{k\rightarrow \infty }\sup _{y \in {\mathbb {R}}^n}\int _{B_R(y)}|\nabla \! u_k|^2dx =0. \end{aligned}$$ -
3.
Dichotomy There exists an \(\beta \in (0,1)\) such that \(\forall \varepsilon >0 \) there exist two bounded sequences \((u_k^1)_k\), \((u_k^2)_k \subset H^{2,2}({\mathbb {R}}^n)\) such that:
$$\begin{aligned} \Vert \nabla \! u_k - \nabla \! u_k^1 - \nabla \! u_k^2\Vert _{L^2({\mathbb {R}}^2,{\mathbb {R}}^2)} \le \delta (\varepsilon ) {\mathop {\longrightarrow }\limits ^{k\rightarrow \infty }} 0^+, \end{aligned}$$(a)$$\begin{aligned} |\,\int \limits _{{\mathbb {R}}^n}|\nabla \! u_k^1|^2\textrm{d}x - \beta | \rightarrow 0 \quad \text {and } \quad |\,\int \limits _{{\mathbb {R}}^n}|\nabla \! u_k^2|^2\textrm{d}x - (1-\beta )| \rightarrow 0, \end{aligned}$$(b)$$\begin{aligned} {\text {dist}}({\text {supp}}(u_k^1),{\text {supp}}(u_k^2)) {\mathop {\longrightarrow }\limits ^{k\rightarrow \infty }} \rightarrow \infty , \end{aligned}$$(c)$$\begin{aligned} \liminf _{k\rightarrow \infty }\left[ \int \limits _{{\mathbb {R}}^n} |\Delta u _k|^2 - |\Delta u_k^1 |^2-|\Delta u _k^2|^2\textrm{d}x \right] \ge 0. \end{aligned}$$(d)
Proof
As mentioned in the proof of [3, Lemma 3.5], the proof is done by considering the concentration function
for \(R \in [0,\infty )\) and following the same steps as in [10]. \(\square \)
We will see that for the sequence of eigenfunctions \((u_k)_k\) the case of vanishing and dichotomy cannot occur. Hence, \((u_k)_k\) contains a subsequence, which we again denote by \((u_k)_k\), for which the case of compactness holds true. This compactness will imply the weak convergence of \(u_k\) to a limit function u in \(W^{2,2}({\mathbb {R}}^2)\). Moreover, the compactness yields that \(u_k\) converges to u strongly in \(W^{1,2}({\mathbb {R}}^n)\).
The case of dichotomy can be disproved in exactly the same way as in [3]. For the sake of brevity, we forgo the repetition of this argument.
In order to disprove the case of vanishing, we slightly differ from [3]. Nevertheless, we adopt the following lemma [4, Lemma 3.3] (or [9, Lemma 6]) which is used in [3] and which we will apply to disprove the vanishing, as well.
Lemma 2
Let \((w_k)_k\) be a bounded sequence in \(W^{1,2}({\mathbb {R}}^n)\) such that \(\Vert w_k\Vert _{L^2({\mathbb {R}}^n)} = 1\) and \(w_k\in W^{1,2}_0(D_k)\) for a \(D_k \in {\mathcal {O}}_{\omega _0}\). There exists a sequence of vectors \((y_k)_k \subset {\mathbb {R}}^n\) such that the sequence \((w_k(\cdot +y_k))_k\) does not possess a subsequence converging weakly to zero in \(W^{1,2}_0({\mathbb {R}}^n)\).
Now let us assume that for a subsequence of \((u_k)_k\), again denoted by \((u_k)_k\), the case of vanishing occurs. Hence, for every \(R>0\) there holds
Since there holds \(\Vert \nabla \! u\Vert _{L^2({\mathbb {R}}^n)}=1\) for every \(k \in {\mathbb {N}}\), we obtain for at least one \(1\le l_k \le n\)
We now consider the sequence \((\partial _{l_k} u_k)_k\). Then \(\partial _{l_k} u_k \in W^{1,2}_0(\Omega _k)\) and
The sequence \((v_k)_k\) given by \(v_k := c_k^{-1}\partial _{l_k}u_k\) then satisfies the assumptions of Lemma 2. Consequently, there exists a sequence \((y_k)_k \subset {\mathbb {R}}^n\) such that the sequence \((v_k(\cdot +y_k))_k \subset W^{1,2}({\mathbb {R}}^n)\) does not possess a subsequence which converges weakly to zero in \(W^{1,2}({\mathbb {R}}^n)\). However, the sequence \((v_k(\cdot +y_k))_k\) is uniformly bounded in \(W^{1,2}({\mathbb {R}}^n)\) because of the normalization. Hence, there exists a \(v \in W^{1,2}({\mathbb {R}}^n)\) such that a subsequence of \((v_k(\cdot +y_k))_k\) converges weakly in \(W^{1,2}({\mathbb {R}}^n)\) to v. In particular, there holds
and
Thus, we obtain
Hence, \(v =0\) in \(L^2(B_R(0))\) and since v is the weak limit of \(v_k(\cdot +y_k)\) this is a contradiction to Lemma 2. Therefore, the case of vanishing cannot occur.
Consequently, the case of compactness must occur. Following the lines of [3], we find that there exists a sequence \((y_k)_k \subset {\mathbb {R}}^n\) and an \(u \in W^{2,2}({\mathbb {R}}^n)\) such that
and, since we are in the compactness case of Lemma 1,
From now on, we set
where \((y_k)_k\) is given above. This is possible without loss of generality because of the translational invariance of the buckling load.
We now show that \(u_k\) converges strongly to u in \(W^{1,2}({\mathbb {R}}^n)\). Since this observation will be crucial for constructing an optimal domain in Sect. 2.2, we give a detailed proof although we follow the lines of [3].
Lemma 3
There holds
Proof
We use the notation above. Recall, that \(u_k = u_k(\cdot +y_k)\) and \(\Omega _k = \Omega _k + y_k \). Then we get from (5)
and the weak convergence of \((u_k)_k\) to u in \(W^{2,2}({\mathbb {R}}^n)\) yields
Thus, \((\nabla \! u_k)_k\) converges to \(\nabla \! u\) in \(L^2({\mathbb {R}}^n)\) and, in particular, \((\nabla \! u_k)_k\) is a Cauchy sequence in \(L^2({\mathbb {R}}^n,{\mathbb {R}}^n)\). Now let \(l,k \in {\mathbb {N}}\). Then \(u_l-u_k \in W^{2,2}_0(\Omega _l\cup \Omega _k)\) and applying Poincaré’s inequality we obtain
Thus, \((u_k)_k\) is a Cauchy sequence in \(L^2({\mathbb {R}}^n)\), which converges weakly in \(L^2({\mathbb {R}}^n)\) to u. Consequently, \(u_k {\mathop {\longrightarrow }\limits ^{k\rightarrow \infty }} u\) in \(L^2({\mathbb {R}}^n)\). This proves the claim. \(\square \)
As a consequence of (4) and Lemma 3, we obtain that
The following proposition summarizes what we have achieved so far.
Proposition 1
Let \((\Omega _k)_k \subset {\mathcal {O}}_{\omega _0}\) be a minimizing sequence for the buckling load in \({\mathcal {O}}_{\omega _0}\) and \((u_k)_k\) be the sequence of corresponding normalized eigenfunctions. Then there exists a sequence \((y_k)_k \subset {\mathbb {R}}^n\) such that \(u_k(\cdot + y_k)\) is a normalized eigenfunction on \(\Omega _k+y_k\) and, denoting \(u_k = u_k(\cdot +y_k)\) and \(\Omega _k = \Omega _k+y_k\), there exists a subsequence, again denoted by \((u_k)_k\), and an \(u \in W^{2,2}({\mathbb {R}}^n)\) with
-
1.
u is normalized by
$$\begin{aligned} \int \limits _{{\mathbb {R}}^n}|\nabla \! u|^2\textrm{d}x =1. \end{aligned}$$ -
2.
\( u_k \rightharpoonup u\) in \(W^{2,2}({\mathbb {R}}^n)\) as k tends to \(\infty \).
-
3.
\(u_k \longrightarrow u\) in \(W^{1,2}({\mathbb {R}}^n)\) as k tends to \(\infty \).
-
4.
There holds \( {\mathcal {R}}(u,{\mathbb {R}}^n) \le \inf _{\Omega \in {\mathcal {O}}_{\omega _0}}\Lambda (\Omega )\).
Recall that in [3] only the two-dimensional case is considered. Consequently, the limit function u is continuous due to Sobolev’s embedding theory. Hence, the set
is an open set and the strong \(L^2\)-convergence of \(u_k\) to u implies that \({\tilde{\Omega }}\in {\mathcal {O}}_{\omega _0}\).
Here, we consider arbitrary dimension. Hence, we need another method to prove regularity of the function u. Inspired by [2], our approach is based on a careful analysis of the function u. This will be done in the next section.
2.1 Regularity of the limit function
Our first aim is to show that u has got Hölder continuous first-order derivatives. This will be done by using Morrey’s Dirichlet Growth Theorem (see Theorem 1) and a bootstrapping argument based on ideas of Q. Han and F. Lin in [7].
From now on, we consider a minimizing sequence \((\Omega _k)_k \subset {\mathcal {O}}_{\omega _0}\) such that there holds
We want to apply the following version of Morrey’s Dirichlet Growth Theorem to the first-order derivatives of u.
Theorem 1
Let \(v \in W^{1,2}({\mathbb {R}}^n)\) and \(0<\alpha \le 1\) such that for every \(x_0 \in {\mathbb {R}}^n\) and every \(0<r\le r_0\) there holds
Then v is \(\alpha \)-Hölder continuous almost everywhere in \({\mathbb {R}}^n\) and for almost every \(x_1,x_2 \in {\mathbb {R}}^n\) there holds
For a proof of this theorem we refer to [11, Theorem 3.5.2], for example. Hence, we need a \(L^2\)-estimate for the second-order derivatives of u in every ball \(B_r(x_0) \subset {\mathbb {R}}^n\).
The following lemmata are preparatory for the proof of Theorem 2, which is the main theorem of this section. Before we start, note that by scaling there holds
where \(B_1\) denotes the unit ball in \({\mathbb {R}}^n\).
Lemma 4
Let \(u \in W^{2,2}({\mathbb {R}}^n)\) be the limit function according to Proposition 1 and \(0<R\le 1\). There exists a constant \(C=C(n,\omega _0)>0\) such that for every \(x_0 \in {\mathbb {R}}^n\) there holds
where \(v_0 \in W^{2,2}(B_R(x_0))\) with \(v_0-u\in W^{2,2}_0(B_R(x_0))\) and \(\Delta ^{\!2}v _0=0\) in \(B_R(x_0)\).
Proof
The proof is done in three steps.
Step 1 We choose \(x_0 \in {\mathbb {R}}^n\) arbitrary, but fixed. Let \(v_k \in W^{2,2}(B_R(x_0))\) with \(v_k-u_k \in W^{2,2}_0(B_R(x_0))\) and \(\Delta ^{\!2}v _k =0\) in \(B_R(x_0)\). If \(B_R(x_0)\cap \Omega _k =\emptyset \), \(u_k\) and \(v_k\) vanish in \(B_R(x_0)\). Consequently, we obtain
If \(B_R(x_0)\cap \Omega _k \ne \emptyset \), we set
Note that \(\Omega _k\cup B_R(x_0)\) is an open set and that \({\hat{u}}_k \in W^{2,2}_0(\Omega _k\cup B_R(x_0))\). Let us first consider the case \(|\Omega _k \cup B_R(x_0)| \le \omega _0\). Hence, \(\Omega _k\cup B_R(x_0) \in {\mathcal {O}}_{\omega _0}\) and there holds
since \({\hat{u}}_k \in W^{2,2}_0(\Omega _k\cup B_R(x_0))\). Rearranging terms and applying the definition of \({\hat{u}}_k\) yields
Since \(v_k - u_k \in W^{2,2}_0(B_R(x_0))\) and \(v_k\) is biharmonic in \(B_R(x_0)\), there holds
where \(D^2v\) denotes the Hessian matrix of a function v. Moreover, we denote by
the Euclidian norm of the matrix \(D^2v\) as a vector in \({\mathbb {R}}^{n^2}\). We rearrange terms in (10) and obtain
Let us now assume that \(|\Omega _k\cup B_R(x_0)|> \omega _0\). Then we set
and find that \(\mu _k^{-1}\cdot (\Omega _k\cup B_R(x_0)) \in {\mathcal {O}}_{\omega _0}\). Recall that for every \(M \subset {\mathbb {R}}^n\) and \(t>0\) the buckling load satisfies
Hence, we obtain
and, subsequently,
Since \(\mu _k>1\), we proceed to
Consequently, we can collect the estimates (9), (11) and (14) in just one estimate: for every \(x_0 \in {\mathbb {R}}^n\) and every \(k \in {\mathbb {N}}\) there holds
Step 2 We want to understand the limit as k tends to \(\infty \) on both sides of (15). This needs some preparation. First, recall that we choose a minimizing sequence \((\Omega _k)_k\) such that (7) holds. Then applying (13) yields
Rearranging terms yields
Thus, there holds \(|\Omega _k|\rightarrow \omega _0\) as k tends to \(\infty \). This immediately implies that
where \(\mu _k\) is given in (12). In addition, recall that \(u_k \rightharpoonup u\) in \(W^{2,2}({\mathbb {R}}^n)\) and, therefore, \(u_k \rightharpoonup u\) in \(W^{2,2}(B_R(x_0))\). In order to prove the weak convergence of the sequence \((v_k)_k\) in \(W^{2,2}(B_R(x_0))\), we estimate the \(W^{2,2}(B_R(x_0))\)-norm of \(v_k\) independently of k for every \(k\in {\mathbb {N}}\). We start with the \(W^{2,2}(B_R(x_0))\)-norm of \(u_k - v_k\) and apply Poincaré’s inequality (as stated in [6, Formula (7.44)]) on the first summand in the integral on the right-hand side. This yields
Applying Poincaré’s inequality on the integrals containing the first-order derivatives of \(u_k-v_k\), we obtain
where we additionally used that \(R<1\). Now Young’s inequality applied in the last integral yields
Recall that \(u_k-v_k \in W^{2,2}_0(B_R(x_0))\) and \(\Delta ^{\!2}v _k =0\) in \(B_R(x_0)\). Hence, there holds
and, consequently,
Since \(u_k \rightharpoonup u\) in \(W^{2,2}(B_R(x_0))\), there exists a constant C(n), which is only depended on the dimension n, such that
Consequently, for all \(k\in {\mathbb {N}}\) there holds
and there exists a \(v_0 \in W^{2,2}(B_R(x_0))\) such that
Moreover, for every \(\phi \in C^\infty _c(B_R(x_0))\) there holds
because \(v_k\) is biharmonic in \(B_R(x_0)\) for every \(k\in {\mathbb {N}}\) and the weak convergence of \(v_k\) to \(v_0\) in \(W^{2,2}(B_R(x_0))\). Hence, \(v_0\) is biharmonic in \(B_R(x_0)\).
Step 3 We take the \(\liminf \) on both sides of (15). Since \(u_k \rightharpoonup u\) in \(W^{2,2}_0(B_r(x_0))\), this leads to
This proves the claim. \(\square \)
Now let \(v_0 \in W^{2,2}(B_R(x_0))\) be the function from Lemma 4 and \(0<r\le R\). Then there obviously holds
and applying Lemma 4 yields
In order to estimate the first summand on the right-hand side of the above inequality, we cite Lemma 2.1 from [13].
Lemma 5
Using the notation above, there exists a constant \(C=C(n)>0\) such that for \(0< r\le R\) there holds
The constant C does not depend on r, R or \(x_0\), but on the dimension n.
Thus, (17) becomes
This estimate will be the starting point for the bootstrapping argument which will lead to the Hölder-continuity of the first-order derivatives of u.
From [5, Chapter III, Lemma 2.1] we cite the next lemma.
Lemma 6
Let \(\Phi \) be a nonnegative and non-decreasing function on [0, R]. Suppose that there exist positive constants \(\gamma , \alpha , \kappa , \beta \), \(\beta <\alpha \), such that for all \(0\le r\le R \le R_0\)
Then there exist positive constants \(\delta _0 =\delta _0(\gamma ,\alpha ,\beta )\) and \(C=C(\gamma , \alpha ,\beta )\) such that if \(\delta < \delta _0\), for all \(0\le r\le R\le R_0\) we have
The following lemma is based on ideas of [7, Chapter 3]. It will be the crucial observation for the bootstrapping.
Lemma 7
Suppose that for each \(0\le r\le 1\) there holds
where \(M>0\) and \(\mu \in [0,n)\). Then there exists a constant \(C(n)>0\) such that for each \(0\le r\le 1\)
where \(\lambda = \mu +2\) if \(\mu < n-2\) and \(\lambda \) is arbitrary in (0, n) if \(n-2\le \mu < n\).
Proof
Let \(0\le r\le s \le 1\). For a function \(w \in W^{1,2}({\mathbb {R}}^n)\) we set
![](http://media.springernature.com/lw321/springer-static/image/art%3A10.1007%2Fs00033-022-01898-3/MediaObjects/33_2022_1898_Equ112_HTML.png)
Using this notation, we write
Then Young’s inequality implies
![](http://media.springernature.com/lw560/springer-static/image/art%3A10.1007%2Fs00033-022-01898-3/MediaObjects/33_2022_1898_Equ113_HTML.png)
Applying Hölder’s and a local version of Poincaré’s inequality, we find that
where the constant C only depends on n. By assumption, we can proceed to
Now Lemma 6 implies that for each \(0\le r\le s\le 1\) there holds
where \(\lambda = \mu +2\) if \(\mu < n-2\) and \(\lambda \) is arbitrary in (0, n) if \(n-2 \le \mu < n\). Choosing \(s=1\), we deduce
\(\square \)
Now we are able to prove the Hölder continuity of the first-order derivatives of u.
Theorem 2
Let u be the limit function according to Proposition 1. The first-order derivatives of u are \(\alpha \)-Hölder continuous almost everywhere on \({\mathbb {R}}^n\) for every \(\alpha \in (0,1)\).
Proof
Our aim is to show that for every \(x_0 \in {\mathbb {R}}^n\) and every \(0<r\le 1\) there holds
Then Theorem 1 finishes the proof. Let us choose \(x_0 \in {\mathbb {R}}^n\), \(0<r\le R\le 1\) and recall estimate (18):
We will improve this estimate using a bootstrap argument based on Lemma 7. Note that for every \(0<r\le 1\) there holds
Then Lemma 7 implies that for every \(0<r\le 1\) there holds
where \(\lambda _0 \in (0,n)\) if \(n=2\) and \(\lambda _0 = 2\) if \(n\ge 3\). We insert this estimate (18). Since \(R\le 1\) we obtain
for every \(0< r\le R\). Applying Lemma 6, we obtain
for every \(0<r\le R\). Choosing \(R=1\) leads to
for every \(0<r\le 1\). If \(n=2\), this is (19).
If \(n \ge 3\), (22) is an improvement of estimate (20). Recall that here holds \(\lambda _0=2\). We again apply Lemma 7 and obtain for every \(0<r\le 1\)
where \(\lambda _1 \in (0,n)\) if \(n\in \{3,4\}\) and \(\lambda _1 = 4\) if \(n\ge 5\). Together with estimate (18) we find that
for every \(0<r\le R\le 1\). Then Lemma 6 implies
and choosing \(R=1\) there holds
for every \(0<r\le 1\). For \(n \in \{3,4\}\), estimate (23) and Theorem 1 proves the claim.
If \(n\ge 6\), we repeat the argumentation since (23) is an improvement of (22). Repeating this process proves the claim after finite many steps for every \(n\ge 2\). \(\square \)
Due to Theorem 2 the limit function u has a unique representative in \(W^{2,2}({\mathbb {R}}^n)\) which is continuous in \({\mathbb {R}}^n\) and which has \(\alpha \)-Hölder continuous first-order derivatives in \({\mathbb {R}}^n\) for every \(\alpha \in (0,1)\). From now on, we rename this representative as u and focus on this function.
2.2 The minimizing domain
The regularity of u, which we achieved in the previous section, enables us to construct an optimal domain for minimizing the buckling load in \({\mathcal {O}}_{\omega _0}\). Recall that there holds (see (6))
If \(u \in W^{2,2}_0(\Omega ^*)\) for a suitable set \(\Omega ^*\in {\mathcal {O}}_{\omega _0}\), this set \(\Omega ^*\) is the desired minimizer. Thus, the challenge is to construct a suitable \(\Omega ^*\).
Let us define
and let \((\Omega _k)_k\subset {\mathcal {O}}_{\omega _0}\) be a minimizing sequence and \((u_k)_k \subset W^{2,2}({\mathbb {R}}^n)\) the corresponding sequence of eigenfunctions according to Proposition 1. Since \(u_k\) converges strongly to u in \(L^2({\mathbb {R}}^n)\), \(u_k\) converges locally in measure to u, i.e., for every compact set \(C \subset {\mathbb {R}}^n\) and every \(\varepsilon >0\) there holds
Now let C be any compact subset of \({\tilde{\Omega }}\). Since u is a continuous function and cannot vanish in \({\tilde{\Omega }}\), there exists a constant \(m_C>0\) such that
Recall that \(u_k\) vanishes pointwise in \(\Omega _k^c\). Thus, there holds
Hence, we obtain
Consequently, for every compact \(C \subset {\tilde{\Omega }}\) and every \(k\in {\mathbb {N}}\) there holds
and letting k tend to infinity we find that \(|C| \le \omega _0\) for every compact subset C of \({\tilde{\Omega }}\). Hence,
We now denote
Note that \({\hat{\Omega }}\) is part of a nodal line of u. Since the first-order derivatives of u are continuous, the Implicit Function Theorem implies that the n-dimensional Lebesgue measure of \({\hat{\Omega }}\) is zero. Consequently, the set
is an open set and there holds
Thus, \(\Omega ^*\in {\mathcal {O}}_{\omega _0}\) and by construction, u and \(\nabla \! u\) vanish in every point in \({\mathbb {R}}^n\setminus \Omega ^*\).
The following corollary guarantees that \(u \in W^{2,2}_0(\Omega ^*)\). For the proof of this corollary, we refer to [1, Th. 9.1.3] or [8, Sec. 3.3.5].
Corollary 1
Let \(\Omega \subset {\mathbb {R}}^n\) be an arbitrary open set and \(v \in W^{2,2}({\mathbb {R}}^n)\). If v and its first-order derivatives vanish pointwise in \({\mathbb {R}}^n\setminus \Omega \), then \(u \in W^{2,2}_0(\Omega )\).
Now we can prove our main theorem.
Theorem 3
The set \(\Omega ^*\) given by (24) minimizes the buckling load \(\Lambda \) in \({\mathcal {O}}_{\omega _0}\).
Proof
Recall that there holds
Since \(\Omega ^*\in {\mathcal {O}}_{\omega _0}\) and \(u \in W^{2,2}_0(\Omega ^*)\), there holds
Obviously, this means that
\(\square \)
Due to the scaling property of the buckling load, the following corollary holds true.
Corollary 2
Let \(\Omega ^*\in {\mathcal {O}}_{\omega _0}\) minimize the buckling load \(\Lambda \) in \({\mathcal {O}}_{\omega _0}\). Then \(\Omega ^*\) satisfies \(|{\tilde{\Omega }}|=\omega _0\).
As a consequence of Corollary 2, the set \(\Omega ^*\) is connected.
Corollary 3
The set \(\Omega ^*\) given by (24) is connected.
Proof
Let us assume that \(\Omega ^*\) consists of the two connected components \(\Omega _1\) and \(\Omega _2\) with \(|\Omega _k|>0\) for \(k=1,2\). By \(u_k\) we denote the eigenfunction u restricted to \(\Omega _k\), i.e.,
Since \(\Omega _k \in {\mathcal {O}}_{\omega _0}\), the minimality of \(\Omega ^*\) for \(\Lambda \) implies
Rearranging terms and using that \(\Vert \nabla \! u\Vert _{L^2(\Omega ^*)}=1\) we obtain
Hence,
Then there holds
and \(\Omega _2\) is a minimizer of \(\Lambda \) in \({\mathcal {O}}_{\omega _0}\). However, since \(|\Omega _2| < \omega _0\), this is a contradiction to Corollary 2. \(\square \)
Summing up, we found an optimal domain \(\Omega ^*\in {\mathcal {O}}_{\omega _0}\) for minimizing the buckling load in \({\mathcal {O}}_{\omega _0}\). The set \(\Omega ^*\) is open, connected and satisfies \(|\Omega ^*|=\omega _0\). Classical variational arguments show that u solves
Availability of data and material
Not applicable
References
Adams, D.R., Hedberg, L.I.: Function spaces and potential theory. In: Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 314. Springer-Verlag, Berlin (1996)
Alt, H.W., Caffarelli, L.A.: Existence and regularity for a minimum problem with free boundary. J. Reine Angew. Math. 325, 105–144 (1981)
Ashbaugh, M. S., and Bucur, D.: On the isoperimetric inequality for the buckling of a clamped plate. Z. Angew. Math. Phys. 54, 5 (2003), 756–770. Special issue dedicated to Lawrence E. Payne
Bucur, D., and Varchon, N.: Global minimizing domains for the first eigenvalue of an elliptic operator with non-constant coefficients. Electron. J. Differential Equations (2000), No. 36, 10
Giaquinta, M.: Multiple integrals in the calculus of variations and nonlinear elliptic systems. Annals of Mathematics Studies, vol. 105. Princeton University Press, Princeton, NJ (1983)
Gilbarg, D., and Trudinger, N. S.: Elliptic partial differential equations of second order. Classics in Mathematics. Springer-Verlag, Berlin, 2001. Reprint of the 1998 edition
Han, Q., and Lin, F.: Elliptic Partial Differential Equations, vol. 1 of Courant Lecture Notes in Mathematics. American Mathematical Society, 1997
Henrot, A., and Pierre, M.: Shape variation and optimization, vol. 28 of EMS Tracts in Mathematics. European Mathematical Society (EMS), Zürich, 2018
Lieb, E.H.: On the lowest eigenvalue of the Laplacian for the intersection of two domains. Invent. Math. 74(3), 441–448 (1983)
Lions, P.-L.: The concentration-compactness principle in the calculus of variations. The locally compact case. I. Ann. Inst. H. Poincaré Anal. Non Linéaire 1, 2 (1984), 109–145
Morrey, C.B.: Multiple integrals in the calculus of variations. Springer, Berlin (1966)
Polya, G., and Szegö, G.: Isoperimetric Inequalities in Mathematical Physics. Annals of Mathematics Studies, no. 27. Princeton University Press, Princeton, N. J., 1951
Stollenwerk, K.: Optimal shape of a domain which minimizes the first buckling eigenvalue. Calc. Var. Partial Differential Equations 55, 1 (2016), Art. 5, 29
Stollenwerk, K., Wagner, A.: Optimality conditions for the buckling of a clamped plate. J. Math. Anal. Appl. 432(1), 254–273 (2015)
Willms, 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) (Feb. 1995)
Acknowledgements
While preparing this work, the author was funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - Project Number 396521072.
Funding
Open Access funding enabled and organized by Projekt DEAL. The author was funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - Project Number 396521072.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
Not applicable
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Stollenwerk, K. On the optimal domain for minimizing the buckling load of a clamped plate. Z. Angew. Math. Phys. 74, 12 (2023). https://doi.org/10.1007/s00033-022-01898-3
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00033-022-01898-3