Abstract
We examine a variational free boundary problem of Alt–Caffarelli type for the biharmonic operator with Navier boundary conditions in two dimensions. We show interior \(C^2\)regularity of minimizers and that the free boundary consists of finitely many \(C^2\)hypersurfaces. With the aid of these results, we can prove that minimizers are in general not unique. We investigate radial symmetry of minimizers and compute radial solutions explicitly.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 History and context
This article deals with a higher order version of the Alt–Caffarelli problem—an important free boundary problem originally posed in [2]. The classical firstorder formulation can be understood as a variational Dirichlet problem with ‘adhesion’ term. More precisely, the energy the authors consider is given by
where \(u \in W^{1,2}(\Omega )\) is such that \(u  u_0 \in W_0^{1,2}(\Omega )\) for some given sufficently regular positive function \(u_0\). Here, \(\cdot \) denotes the Lebesgue measure and \(\Omega \subset {\mathbb {R}}^n\) is some sufficiently regular domain. The two summands of \({\mathcal {E}}_{AC}\) impose competing conditions on minimizers: The Dirichlet term becomes small for functions that do not ‘vary too much’ and the measure term (that we call adhesion term) becomes small if the function is nonpositive in a large subregion of \(\Omega\). Minimizers have to find a balance between these two terms.
The measure penalization can be understood as an adhesion to the zero level: Indeed, the weak maximum principle implies that each minimizer of \({\mathcal {E}}_{AC}\) is nonnegative. Given this, a minimizer u divides \(\Omega\) into two regions, namely \(\{ u = 0 \}\), the socalled nodal set, and \(\{ u > 0 \}\). The interface between the two regions is then a free boundary. Because of this structure, the Alt–Caffarelli problem is also called ‘adhesive free boundary problem’.
More recently, the biharmonic Alt–Caffarelli problem, which is also our object of study, has raised a lot of interest, cf. [9] and [10]. There the energy reads
defined for \(u \in W^{2,2}(\Omega )\) that satisfies again \(u u_0 \in W_0^{1,2}(\Omega )\) for \(u_0,\Omega\) as above. From now on we shall also assume that \(\Omega \subset {\mathbb {R}}^2\) since twodimensionality is essential for our argument.
The minimization with no derivatives prescribed at the boundary is a weak formulation of Navier boundary conditions, cf. [13, Chapter 2]. If a minimizer u is sufficiently regular, one can obtain classical Navier boundary conditions, i.e. \(`\Delta u = 0\) on \(\partial \Omega\)’.
Just as in the firstorder case, \({\mathcal {E}}_{BAC}\) consists of two competing summands: The first one measures roughly how much a function bends. The second one measures the positivity set. Minimizers of \({\mathcal {E}}_{BAC}\) again have to find a balance between ‘not bending too much’ and being nonpositive in a large subregion of \(\Omega\).
As the authors of [9] point out, the structure of the problem is now fundamentally different. Due to the lack of a maximum principle, a minimizer u divides \(\Omega\) suddenly into three regions \(\{ u= 0 \}\), \(\{ u > 0 \}\) and \(\{u < 0 \}\). And indeed, as [9, Proposition B.1] highlights, the third region will actually be present. Having three regions means that one can get two interfaces, one between 9, Theorem 1.10] and the following discussion in the special case of two dimensions. Twodimensionality is needed for our argument since it relies on the fact that every minimizer is semiconvex, cf. \(\{ u > 0 \}\) and \(\{ u = 0 \}\) and one between \(\{ u= 0 \}\) and \(\{ u < 0 \}\), at least in case that \(\{ u = 0 \}\) is a ’fat’ set with nonempty interior.
A promising technique to examine the boundary is to look at the gradient of a minimizer u on the nodal set \(\{ u= 0 \}\).
The goal of this article is to show that \(\{ u= 0 \}\) is a \(C^2\)smooth manifold and \(\nabla u \ne 0\) on \(\{u = 0\}\).
This will settle the aforementioned question of how the interfaces look like. Indeed, there is only one interface of interest, namely the one between \(\{u > 0 \}\) and \(\{ u< 0 \}\), which is given by \(\{u = 0 \}\). Moreover, \(\{ u = 0 \}\) is nowhere ’fat’, i.e., its Hausdorff dimension is at most one. This structure of the nodal set differs from the classical Alt–Caffarelli problem (where \(\{ u = 0 \}\) can have interior points). It reveals also that in our higherorder setting minimizers may very well attain negative values.
Our result can therefore be understood as an improvement of [9, Theorem 1.10] and the following discussion in the special case of two dimensions. Twodimensionality is needed for our argument since it relies on the fact that every minimizer is semiconvex, cf. Lemma 3.14, which we can prove with methods that do not immediately generalize to higher dimension.
The fact that the gradient does not vanish on the free boundary makes the problem fundamentally different from the obstacle problem for the biharmonic operator, which has been studied in a celebrated article by Caffarelli and Friedman in 1979; see [6]. The article was trendsetting for the study of fourthorder free boundary problems and gave way to striking recent results in this field, cf. [1, 27, 28].
Higherorder adhesive free boundary problems have many applications in the context of mathematical physics, for example, for the study of elastic bodies adhering to solid substrates, see [24] and [25]. Moreover, the square integral of the Laplacian can be thought of as a linearization of the wellknown Willmore energy, see the introduction of [9] for more details.
1.2 Model and main results
For the entire article, the given framework is the following.
Definition 1.1
(Admissible set and energy) Let \(\Omega \subset {\mathbb {R}}^2\) be an open and bounded domain with \(C^2\)boundary. Further, let \(u_0 \in C^\infty ({\overline{\Omega }})\) be such that \((u_0)_{\mid \partial \Omega } \geqslant \delta > 0\) for some \(\delta > 0\). Define
and \({\mathcal {E}}: {\mathcal {A}}(u_0) \rightarrow {\mathbb {R}}\) by
We say that \(u \in {\mathcal {A}}(u_0)\) is a minimizer if
Remark 1.2
Existence of a minimizer \(u \in {\mathcal {A}}(u_0)\) is shown in [9, Lemma 2.1] with standard techniques in the calculus of variations.
Remark 1.3
As \(\Omega\) is sufficently regular to have a trace operator (see [32, Theorem 6.3.3]) and \(u \in W^{2,2}(\Omega ) \subset C^{0,\beta }({\overline{\Omega }})\) for each \(\beta \in (0,1)\), we get that \(u_{\mid \partial \Omega } = u_0\) pointwise.
As we mentioned, the main goal of the article is to show
Theorem 1.4
(Regularity and nodal set) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer. Then \(u \in C^2(\Omega )\cap W^{3,2\beta }_{loc}(\Omega )\) for each \(\beta > 0\) and there exists a finite number \(N \in {\mathbb {N}}\) such that
where \(G_i\) are disjoint domains with \(C^2\)smooth boundary. Moreover, \(\nabla u \ne 0\) on \(\partial \{ u< 0 \} = \{ u = 0 \}\) and \(\{u = 0 \}\) has finite 1Hausdorff measure. Additionally, u solves
Let us remark that for smooth \(\Omega\), one can remove "loc" in the \(W^{3,2\beta }\) regularity statement, see Sect. 9 for details where also Navier boundary conditions are discussed. Let us formally motivate the term \(\frac{1}{\nabla u} \mathrm{d}{\mathcal {H}}^1\) in (1.2). It can be seen as a ‘derivative’ of the \(\{ u > 0 \}\)term of the energy in the following way: by [12, Prop.3, Sect.3.3.4] one has that for each [\(f \in C^\infty ({\mathbb {R}}^n)\) with nonvanishing gradient,
Theorem 1.4 will finally be proved in Section 6. Section 3, 4 and 5 prepare the proof of the main theorem by showing some helpful properties of minimizers. Among those are semiconvexity, superharmonicity of the Laplacian and the blowup behavior close to the nodal set. In Section 7, we show some estimates for the negativity region which underlines the importance of (1.2) for applications and future research.
We will also show that minimizers are in general not unique, proved in Section 8.
Theorem 1.5
(Nonuniqueness of minimizers) There exist \(\Omega\) and \(u_0\) as in Definition 1.1such that \({\mathcal {E}}\) has more than one minimizer in \({\mathcal {A}}(u_0)\).
The construction in the proof of this theorem depicts exactly one domain and one admissible boundary value for which minimizers are not unique. We do not think that it is impossible to obtain positive uniqueness results within certain ranges of initial values. Analysis of such is however beyond the scope of this article.
The nonuniqueness relies on the following phenomenon: We choose \(\Omega = B_1(0)\) and \(u_0\equiv \iota\) to be a constant function. If the constant is small, we observe minimizers that are negative already really close to the boundary. We expect it to look roughly like a funnel, which grows steeply close to the boundary and has a roundoff tip in the negative region. If however the constant is large, the minimizer is a constant function (which is then always positive). Therefore, there has to be a limit case in which one can find minimizers with both shapes.
To do so, we compute radial minimizers explicitly. The fact that there exists radial minimizers follows from Talenti’s symmetrization principle, see [31] and Sect. 10 for details. The explicit computation also relies on the Navier boundary conditions, which will be discussed in Sect. 9.
2 Preliminaries
2.1 Notation
In the following, we will fix some notation which we will use throughout the article. For a set \(A \subset {\mathbb {R}}^n\) we denote its complement by \(A^c := {\mathbb {R}}^n \setminus A\) and the interior of the complement by \(A^C := \mathrm {int}(\Omega \setminus A)\). For a Lebesgue measurable set \(E \subset {\mathbb {R}}^n\), we define the upper density of E at \(x \in {\mathbb {R}}^n\) to be
We say that a point x lies in the measure theoretic boundary of E if both \({\overline{\theta }}(E,x)\) and \({\overline{\theta }}(E^c,x)\) are strictly positive. The measure theoretic boundary of E is denoted by \(\partial ^*E\). If \(\alpha\) is a measure on a measurable space \((X, {\mathcal {F}})\) and \(A \in {\mathcal {F}}\) then we define the restriction measure \(\alpha \llcorner _A : {\mathcal {F}} \rightarrow {\mathbb {R}}_+ \cup \{ \infty \}\) via \(\alpha \llcorner _A(B) := \alpha (A \cap B)\). If \((X, {\mathcal {F}}) = ({\mathbb {R}}^n, {\mathcal {B}}({\mathbb {R}}^n))\) is the Euclidean space endowed with the Borel\(\sigma\)Algebra and \(U \subset {\mathbb {R}}^n\) is a Borel set, then we denote by M(U) the set of Radon measures on U, see [12, Section 1.1]. Moreover, \({\mathcal {H}}^s\) denotes the sdimensional Hausdorff measure on \({\mathbb {R}}^2\).
Definition 2.1
(The Hilbert space \(W^{2,2}(\Omega ) \cap W_0^{1,2}(\Omega )\)) In this article, the Hilbert space \(W^{2,2}(\Omega ) \cap W_0^{1,2}(\Omega )\) is always endowed with the scalar product
Definition 2.2
(Lebesgue points) Let \(1 \leqslant p < \infty\)and \(f \in L^p_{loc}(\Omega )\). We say that \(x_0 \in \Omega\) is a pLebesgue point of f if
exists and
Definition 2.3
(Semiconvexity) Let \(\Omega \subset {\mathbb {R}}^n\) be open, \(f : \Omega \rightarrow {\mathbb {R}}\) be a function and \(A \in {\mathbb {R}}\). We call f Asemiconvex if for each \(x_0 \in {\mathbb {R}}^n\) the map \(x \mapsto f(x) + Axx_0^2\) is convex.
Definition 2.4
(Superharmonic functions) Let \(A \subset {\mathbb {R}}^n\) be open. A function \(u : A \rightarrow {\mathbb {R}} \cup \{ \infty \}, u \not \equiv \infty,\) is called superharmonic if u is lower semicontinuous in A and for each \(x \in A\) and \(r > 0\) such that \(\overline{B_r(x)} \subset A\) one has
A function u is called subharmonic if \(u\) is superharmonic.
We remark that this the definition is consistent with all other known definitions of superharmonic functions. We refer to [3] for details.
2.2 Energy bounds
Lemma 2.5
(Energy bound for minimizers) Let \(u_0\) be as in Definition 1.1. Then
Proof
Let \(w\in W^{1,2}(\Omega )\) be the unique weak solution of
By elliptic regularity, \(wu_0 \in W^{2,2}(\Omega )\cap W_0^{1,2}(\Omega )\) and hence \(w \in {\mathcal {A}}(u_0)\). By the maximum principle, \(\inf _\Omega w \geqslant \inf _{\partial \Omega } u_0 \geqslant \delta >0\). Hence \(\{w > 0 \}  = \Omega \). All in all
Example 2.6
In general, the bound in (2.2) is not sharp. We give an example of \(\Omega\) and \(u_0\) as in Definition 1.1 such that
Suppose that \(\Omega = B_1(0)\) and \(u_0 \equiv C\) for some \(C <\frac{1}{8\sqrt{2}}\). Further define \(w(x) := 2C x^2  C\) for \(x \in B_1(0)\). One easily checks that \(w \in {\mathcal {A}}(u_0)\). Now \(\{w > 0 \} = B_1(0) \setminus \overline{ B_{\frac{1}{\sqrt{2}}}(0)}\) and \(\Delta w \equiv 8C\). Hence
that is smaller that \(\pi = \Omega \) by the choice of C.
Remark 2.7
We claim that for large constant boundary values, (2.2) is sharp. Indeed, let \(\Omega\) be as in Definiton 1.1 and fix a constant function \(u_0 \equiv const\) such that \(u_0 > C_\Omega \mathrm {diam}(\Omega )^\frac{1}{2} \Omega ^\frac{1}{2}\), where \(C_\Omega\) denotes the operator norm of the embedding operator \(W^{2,2}(\Omega ) \cap W_0^{1,2}(\Omega ) \hookrightarrow C^{0, \frac{1}{2}}({\overline{\Omega }})\). If \(u \in {\mathcal {A}}(u_0)\) is a minimizer, then for each \(x \in \Omega\) and \(z \in \partial \Omega\) one has
since \(uu_0_{W^{2,2}\cap W_0^{1,2}} =  \Delta u \Delta u_0_{L^2} = \Delta u _{L^2} \leqslant\sqrt{{\mathcal {E}}(u)} \leqslant\sqrt{\Omega }\). Therefore, all minimizers are positive, which means in particular that (2.2) is sharp and the unique minimizer is given by the weak solution of
which is \(u \equiv u_0\).
Remark 2.8
If \(\inf _{w \in A(u_0)} {\mathcal {E}}(w) < \Omega \) and \(u \in {\mathcal {A}}(u_0)\) is a minimizer then \(\{ u= 0 \}\) cannot be empty. Indeed, if it were empty, then \(\{ u > 0 \} = \Omega\) by the embedding \(W^{2,2}(\Omega ) \subset C({\overline{\Omega }})\). A contradiction.
2.3 Variational inequality
In the rest of this section, we derive that each minimizer u is biharmonic on \(\{ u > 0\} \cup \{ u < 0 \}\) and \(\Delta u\) is weakly superharmonic on the whole of \(\Omega\). The techniques used are standard perturbation arguments. We also draw some first conclusions about regularity of u.
Lemma 2.9
(Biharmonicity away from free boundary) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer. Further, let \(\phi \in C_0^\infty (\{u > 0 \})\) or \(\phi \in C_0^\infty (\{ u < 0 \})\) or \(\phi \in W_0^{1,2}(\Omega ) \cap W^{2,2}(\Omega )\) with compact support in \(\{ u >0 \}\). Then
In particular, \(u \in C^\infty (\{ u >0 \}) \cup C^\infty ( \{ u < 0 \})\) and \(\Delta ^2 u = 0\) in \(\{ u > 0 \} \cup \{ u <0 \}\) .
Proof
We show (2.4) only for \(\phi \in W_0^{1,2}(\Omega ) \cap W^{2,2}(\Omega )\) with compact support in \(\{ u >0 \}\). The other cases are similar. Since \(u \in W^{2,2}(\Omega ) \subset C({\overline{\Omega }})\) and \(\mathrm {supp}(\phi )\) is compact in \(\{u > 0 \}\) there exists \(\theta > 0\) such that \(u \geqslant \theta\) on \(\mathrm {supp}(\phi )\). In particular, for t sufficiently small, we get \(\{u> 0 \} = \{ u + t\phi > 0 \}\). For such fixed t, one has
From the righthand side, we infer that \(t \mapsto {\mathcal {E}}(u+t\phi )\) is differentiable at \(t = 0\). Using this and the fact that u is a minimizer we obtain
By Weyl’s lemma \(\Delta u\) is harmonic in \(\{u> 0 \}\) and hence \(C^\infty (\{u> 0 \})\). The claim follows. \(\square\)
Corollary 2.10
(A neighborhood of the boundary) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer and \(\delta\) be as in Definition 1.1. Then there exists \(\epsilon _0 > 0\) such that \(\Omega _{\epsilon _0} := \{ x \in \Omega : \mathrm {dist}(x, \partial \Omega ) < \epsilon _0 \}\) has \(C^2\)boundary, \(u \in C^\infty (\Omega _{\epsilon _0})\) and \(\Delta ^2 u = 0\), as well as \(u \geqslant \frac{\delta }{2}\) in \(\Omega _{\epsilon _0}\).
Proof
Let \(\delta\) be as in Definition 1.1. Due to the uniform continuity of u, there exists \(\epsilon ^* >0\) such that \(u(x) > \frac{\delta }{2}\) whenever \(\mathrm {dist}(x, \partial \Omega ) < \epsilon ^*\). Because of [14, Lemma 14.16] there is \(\epsilon ' > 0\) such that \(\epsilon \leqslant\epsilon '\) implies that \(\Omega _{\epsilon } := \{ x \in \Omega : \mathrm {dist}(x, \partial \Omega ) < \epsilon \}\) has \(C^2\)boundary. The claim follows taking \(\epsilon _0 := \min \{ \epsilon ^* , \epsilon '\}\) and using Lemma 2.9. \(\square\)
Remark 2.11
Since it is needed very often, we will use the notation \(\Omega _{\epsilon _0}\) from now on without giving further reference to Corollary 2.10.
Lemma 2.12
(Euler–Lagrangetype properties) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer. Then for each \(\phi \in W^{2,2}(\Omega ) \cap W_0^{1,2}(\Omega )\) such that \(\phi \geqslant 0\) one has
and
Proof
Set \(\psi :=  \phi\). Then one has
Since \(\psi \leqslant 0\), we can first estimate the measure term from below by zero to obtain
that is (2.5). Going back to (2.7) and using the Cauchy–Schwarz inequality, we find
from which (2.6) follows again replacing \(\phi :=  \psi\). \(\square\)
Corollary 2.13
(Subharmonicity) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer. Then \((\Delta u)^* \geqslant 0\) at every 1 Lebesgue point of \(\Delta u\). In particular, u is subharmonic.
Proof
Fix \(x \in \Omega\) and let \(r \in (0, \mathrm {dist}(x, \partial \Omega ))\) be arbitrary. Denote by \(\phi _r\) the weak \(W_0^{1,2}\)solution of
By elliptic regularity, \(\phi _r \in W^{2,2}(\Omega ) \cap W_0^{1,2}(\Omega )\). By the maximum principle, \(\phi _r \leqslant 0\) a.e.. By (2.5)
If x is a Lebesgue point of \(\Delta u\), we can let \(r \rightarrow 0\) and find that \((\Delta u)^*(x) \geqslant 0\). Since \(u \in W^{2,2}(\Omega )\), almost every point is a Lebesgue point and hence \(\Delta u \geqslant 0\) a.e.. Since u is furthermore continuous, we get that u is subharmonic; see [30, Theorem 4.3]. \(\square\)
Corollary 2.14
(Growth near free boundary) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer. Then
Proof
Choose \(\phi ^* \in C_0^\infty (\Omega )\) such that \(0 \leqslant \phi ^* \leqslant 1\) and \(\phi ^* \equiv 1\) on \(\Omega _{\epsilon _0}^C\), which is defined as in Lemma 2.9. Then \(u(x) \geqslant \frac{\delta }{2}\) for all \(x \in \Omega _{\epsilon _0}\), where \(\delta\) is given by Definition 1.1. Therefore, note that
By (2.6)
Corollary 2.15
(The biharmonic measure) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer. Then there exists a finite Radon measure \(\mu \in M(\Omega )\) such that \(\mathrm {supp}(\mu ) \subset \{ u = 0 \}\) and
Proof
Define \(L: C_0^\infty (\Omega ) \rightarrow {\mathbb {R}}\) by
The map L is linear and satisfies \(L(f) \geqslant 0\) for each \(f \geqslant 0\) by (2.5). By the Riesz–Markov–Kakutani Theorem (see [12, Corollary 1, Section 1.8]), we infer that there exists a (not necessarily finite) Radon measure \(\mu \in M(\Omega )\) such that
Furthermore, by Lemma 2.9 we have that \(L(\phi ) = 0\) for each \(\phi \in C_0^\infty (\{ u > 0 \}) \cup C_0^\infty ( \{ u < 0 \} )\). Since \(\mu\) is Radon, this implies that \(\mu ( \{ u > 0 \} ) = \mu ( \{ u < 0 \} ) = 0\). Since \(\{u > 0 \}\) and \(\{ u < 0 \}\) are open by continuity of u, we have \({\mathrm {supp}}(\mu ) \subset \{ u = 0 \}\). However, since \(u_{\mid _{\partial \Omega }} \geqslant \delta > 0\) by Definition 1.1, \(\{u = 0 \}\) is compactly contained in \(\Omega\). Hence \(\mu (\Omega ) = \mu (\{ u= 0 \} ) < \infty\) since \(\mu\) is finite on compact subsets of \(\Omega\). It remains to show that (2.8) holds for \(\phi \in W_0^{2,2}(\Omega )\), but this holds because of density and the fact that \(W_0^{2,2}(\Omega ) \subset C({\overline{\Omega }})\). \(\square\)
Remark 2.16
Note that for \(\phi \in W_0^{2,2}(\Omega )\), (2.8) holds only for the continuous representative of \(\phi\). The precise representative is important since \(\mu\) may not be absolutely continuous with respect to the Lebesgue measure.
From now on, whenever we address a minimizer \(u \in {\mathcal {A}}(u_0)\), \(\mu _u\) or in case of nonambiguity \(\mu\) denotes the measure that satisfies (2.8).
Lemma 2.17
(Local BMOregularity) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer. Then \(\Delta u \in BMO_{loc}(\Omega ) \subset L^q_{loc}(\Omega ), q \in [1, \infty )\) and (2.8) holds true also for \(\phi \in W_0^{2,p}(\Omega _{\epsilon _0}^C)\) for each \(p \in (1,2)\).
Proof
For the assertion that \(\Delta u \in BMO_{loc}(\Omega )\subset L^q_{loc}(\Omega ), q \in [1, \infty )\) we refer to [9, Theorem 1.1]. Now fix \(\phi \in W_0^{2,p}(\Omega _{\epsilon _0}^C)\). Since \(\Omega _{\epsilon _0}^C\) has \(C^2\)boundary by Corollary 2.10 we obtain by Sobolev embedding that \(\phi \in C(\overline{\Omega _{\epsilon _0}^C})\) and that there exists a sequence \((\phi _n)_{n = 1}^\infty \subset C_0^\infty (\Omega _{\epsilon _0}^C)\) that is convergent to \(\phi\) in \(W^{2,p}(\Omega _{\epsilon _0}^C)\) and in \(C(\overline{\Omega _{\epsilon _0}^C})\). From this and the fact that (2.8) holds for all \(\phi _n\), one can infer that it also holds for \(\phi\). \(\square\)
Remark 2.18
In particular, the previous Lemma implies that each minimizer lies in \(C^1(\Omega )\).
3 Regularity and semiconvexity
In this section, we will study regularity and some properties of the minimizer, in particular the set of non1Lebesgue points of \(D^2u\). We will expose a singular behavior of the Laplacian at all those points. Moreover we prove that minimizers are semiconvex, which can also be seen as a regularity property, having Aleksandrov’s theorem in mind.
For our arguments, we need some remarkable facts about the fundamental solution in two dimensions that were already discovered and applied to the biharmonic obstacle problem by Caffarelli and Friedman in [6, e.g., Equation (6.3)].
Lemma 3.1
(Fundamental solution of the biharmonic operator, cf. [23, Section 7.3]) Define \(F : {\mathbb {R}}^2 \times {\mathbb {R}}^2 \setminus \{(x,x): x \in {\mathbb {R}}^2 \} \rightarrow {\mathbb {R}}\) via
Then F satisfies \(\Delta ^2 F(x,\cdot ) = \delta _x\) on \({\mathbb {R}}^2\), where \(\delta _x\) denotes the Dirac measure of \(\{x\}\). Then for each \(\beta \in (0,1]\) one has that \(F(\cdot ,y) \in W^{3,2\beta }_{loc} ({\mathbb {R}}^2)\) for each \(y \in {\mathbb {R}}^2\). Moreover, for all \((x,y) \in {\mathbb {R}}^2\) such that \(x \ne y\) one has
In particular,
and \(\partial _{x_1x_1}^2F(x,\cdot )  \partial _{x_2x_2}^2F(x,\cdot ), \partial _{x_1x_2}F(x, \cdot )\leqslant \frac{3}{8\pi }\) on \({\mathbb {R}}^2 \setminus \{x\}\) for each \(x \in {\mathbb {R}}^2\). Moreover, there is \(C > 0\) such that
Lemma 3.2
Let \(x_0,y \in {\mathbb {R}}^2\) and
Then H is decreasing on \((0,\infty )\) and its pointwise limit as \(r \rightarrow 0\) is given by \( \frac{1}{8\pi }\log x_0  y\) with the convention that \( \log 0 := \infty\)
Proof
The claim follows directly from [5, Proposition 4.4.11(6)] and [5, Proposition 4.4.15]. \(\square\)
The following result is very similar to crucial observations in [6].
Lemma 3.3
(Biharmonic measure representation, proof in Appendix 1) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer and \(\mu\) be as in (2.8). Further let \(\Omega _{\epsilon _0}\) be as in Corollary 2.10. Then there exists \(h \in C^\infty (\overline{\Omega _{\epsilon _0}^C})\) such that
where F is the same as in Lemma 3.1.
The explicit representation of the minimizer will help to prove a first regularity result. The method used here is explained in the following lemma, whose proof is very straightforward by the definition of a weak derivative and Fubini’s theorem.
Lemma 3.4
(Kernel operators with measures) Let \(\Omega \subset {\mathbb {R}}^n\) be open and bounded and \(1 \leqslant p < \infty\). Let \(\alpha\) be a finite Borel measure on \(\Omega\) and let \(\lambda\) denote the ndimensional Lebesgue measure on \(\Omega\). Let \(H :\Omega \times \Omega \rightarrow \overline{{\mathbb {R}}}\) be a Borel measurable function on \(\Omega \times \Omega\) such that

(1)
\((x,y) \mapsto H(x,y) \in L^p(\lambda \times \alpha )\)

(2)
For each \(y \in \Omega\), \(x \mapsto H(x,y)\) is weakly differentiable with \(\Omega \times \Omega\)Borel measurable weak derivative \(\nabla _x H(x,y)\).

(3)
\((x,y) \mapsto \nabla _x H(x,y) \in L^p(\lambda \times \alpha )\).
Then \(A(x) := \int _\Omega H(x,y) \; \mathrm {d}\alpha (y)\) lies in \(W^{1,p}(\Omega )\) and its weak derivative satisfies
Using induction and the previous lemma, one easily obtains the following higherorder version.
Corollary 3.5
(Higher order derivatives) Let \(\Omega \subset {\mathbb {R}}^n\) be open and \(1 \leqslant p < \infty\). Let \(H : \Omega \times \Omega \rightarrow {\mathbb {R}}\) be Borel measurable on \(\Omega \times \Omega\) such that for each \(y \in \Omega\) the map \(x \mapsto H(x,y)\) lies in \(W^{k,p}(\Omega )\) and \(H, D_x H ,D_x^2 H ,\ldots D_x^k H \in L^p(\lambda \times \alpha )\) and all derivatives are all Borel measurable in \(\Omega \times \Omega\). Then \(A(x) := \int _\Omega H(x,y) d\alpha (y)\) lies in \(W^{k,p}(\Omega )\). Moreover one has
Corollary 3.6
(Sobolev regularity of minimizers) Let \(u\in {\mathcal {A}}(u_0)\) be a minimizer and \(\beta \in (0,1]\). Then \(u \in W^{3,2\beta }(\Omega _{\epsilon _0}^C)\) for each \(\beta > 0\) and the set of non1Lebesgue points of \(D^2u\) in \(\Omega _{\epsilon _0}^C\) has Hausdorff dimension 0. Moreover, at every 1Lebesgue point of \(D^2u\) which is not an atom of \(\mu\), one has
where F, \(\mu\) and h are given in Lemma 3.3.
Proof
For the \(W^{3,2\beta }\)regularity, we use the representation in Lemma 3.3 and Corollary 3.5. The requirements of Corollary 3.5 are satisfied if we can show that \(F,D_x F,D_x^2F\) and \(D_x^3F\) lie in \(L^{2\beta }(\lambda \times \mu )\) (since the remaining requirements follow immediately from Lemma 3.1). We show this only for \(D_x^3F\), the other computations are very similar. Using (3.5), Tonelli’s Theorem and radial integration, we find
The \(W^{3,2\beta }\)regularity claim is shown. We conclude that \(D^2u \in W^{1,2\beta }(\Omega _{\epsilon _0}^C)\) for each \(\beta > 0\). Since \(\Omega _{\epsilon _0}^C\) has Lipschitz boundary, \(D^2u\) extends to a function in \(W^{1,2\beta }({\mathbb {R}}^n)\) (cf. [11, Thm.1, Sect.5.4]). From [12, Thm.1(i),(ii), Sect.4.8] follows that there is a Borel set \(E_\beta \subset \Omega\) of \(\beta\)Capacity zero, such that the non1Lebesgue points are contained in \(E_\beta\). Now [12, Thm.4, Sect.4.7] implies that \({\mathcal {H}}^{2\beta }(E_\beta )= 0\) and hence the set of non1Lebesgue points is a \({\mathcal {H}}^{2\beta }\) null set. Equation (3.8) does not follow directly, since (3.7) only gives one representative of \(D^2u\). Let \(x_0\) be a 1Lebesgue point of \(D^2u\). Then, according to Lemma 3.1
Since h is smooth, the last summand tends to \(\partial _{x_1x_1}^2h(x_0)\). We have already shown above that \(\partial _{x_1x_1}^2F = \frac{1}{8\pi } \left( 1 + 2 \frac{(x_1  y_1)^2}{xy^2} + 2 \log xy \right)\) lies in \(L^{2\beta }(\lambda \times \mu )\). Therefore, we can interchange the order of the two integrations by Fubini’s Theorem. Hence
Now observe that
is decreasing in r because of Lemma 3.2 and hence the monotone convergence theorem yields
(Actually, the monotone convergence theorem is not exactly applicable since the integrand is not necessarily positive. This can however be fixed since \(\mu\) is finite and for each r the integrand is bounded from below by \(\frac{1}{8\pi }\log \mathrm {diam}(\Omega )\). Adding and subtracting this quantity one obtains the claimed convergence). Therefore,
Observe that for \(y \ne x_0\) one has
Since \(\mu (\{x_0\})= 0\) the integrand converges \(\mu\)almost everywhere to the righthand side. This and fact that the expression is uniformly bounded in r by \(\frac{3}{8\pi }\) imply together with the dominated convergence theorem that
Plugging this into (3.10) we find
The same techniques apply for \((\partial _{x_1x_2}^2u)^*\) and \((\partial _{x_2x_2}^2u)^*\). This proves (3.8). \(\square\)
Corollary 3.7
(Bounded mixed derivatives) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer. Then \(\partial ^2_{x_1x_2}u\) and \(\partial ^2_{x_1x_1} u  \partial ^2_{x_2x_2}u\) lie in \(L^\infty (\Omega _{\epsilon _0}^C)\). Moreover, each \(x_0 \in \Omega\) that is not an atom of \(\mu\) is a Lebesgue point of \(\partial ^2_{x_1x_2}u\) and \(\partial ^2_{x_1x_1} u \partial ^2_{x_2x_2}u\).
Proof
For the fact that \(\partial ^2_{x_1x_1} u  \partial ^2_{x_2x_2} u \in L^\infty (\Omega _{\epsilon _0}^c)\) observe with the notation of (3.8) that almost everywhere one has
where we used Lemma 3.1 in the last step. Similarly, one shows that \(\partial ^2_{x_1x_2} u \in L^\infty (\Omega _{\epsilon _0}^C)\). Now we show that each nonatom x of \(\mu\) is a 1Lebesgue point of \(\partial ^2_{x_1x_2 }u\). By (3.8), it is sufficient to show that each nonatom of \(\mu\) is a 1Lebesgue point of \(\int _\Omega \partial ^2_{x_1x_2}F(\cdot ,y) d\mu (y)\) as each point in \(\Omega _{\epsilon _0}^C\) is a Lebesgue point of \(D^2h\). We have already discussed in Corollary 3.6 that \(\partial ^2_{x_1x_2}F\) is \((\lambda \times \mu )\)measurable. Moreover, it is product integrable as it is uniformly bounded.
By Fubini’s theorem
For each \(y \in \Omega \setminus \{x\}\) the expression in parentheses converges to \(\partial ^2_{x_1x_2} F(x,y)\) as \(r \rightarrow 0\) and since x is not an atom of \(\mu\) the expression converges to \(\partial ^2_{x_1x_2} F(x,y)\) \(\mu\)almost everywhere. Moreover, Lemma 3.1 yields that the expression is uniformly bounded by \(\frac{3}{8\pi }\), and hence the dominated convergence theorem yields
To show the Lebesgue point property, it remains to show that
This is immediate once one observes with the triangle inequality and Fubini’s theorem that
The term on the righthand side can be shown to tend to zero as \(r \rightarrow 0\) with the dominated convergence theorem using arguments similar to the discussion before (3.11). For \(\partial ^2_{x_1x_1} u  \partial ^2_{x_2x_2}u\) the analogous statement can be shown similarly. \(\square\)
Corollary 3.8
(The Laplacian of a minimizer) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer. Then for each \(x \in \Omega\) the quantity exists in \([0, \infty ]\). Moreover, the map \(x \mapsto (\Delta u)^*(x)\) is superharmonic.
Proof
Recall that by \(\Delta u\) is weakly superharmonic by (2.5). By [30, Theorem 4.1] follows immediately that \((\Delta u)^*(x)\) exists in \({\mathbb {R}} \cup \{ \infty \}\) for all \(x \in \Omega\). By Corollary 2.13 it has to lie in \([0, \infty ]\), which shows the first part of the claim. From (3.8) and Lemma 3.1, we infer that
Similar to the discussion in (3.9) we can derive, using the special properties of the logarithm that
Note that \((\Delta u)^*\) is the socalled canonical representative of a weakly subharmonic function in the sense of [30, p.360]. To show that \((\Delta u)^*\) is subharmonic it suffices according to [30, Theorem 4.3] to show that \((\Delta u)^*\) is lower semicontinuous. For this let \((x_n)_{n = 1}^\infty \subset \Omega _{\epsilon _0}^C\) be such that \(x_n \rightarrow x \in \Omega _{\epsilon _0}^C\). Note that \( \log x_n  \cdot \) is bounded from below independently of n by \(\log \mathrm {diam}(\Omega )\). Thus Fatou’s lemma yields
Since \((\Delta u)^*(x_n)\) consists only of continuous terms and a positive multiple of the lefthand side in (3.13), one has \(\liminf _{n \rightarrow \infty } (\Delta u)^*(x_n) \geqslant (\Delta u)^*(x)\), that is \((\Delta u)^*\) is lower semicontinuous. As we already explained, this implies superharmonicity of \((\Delta u)^*\). \(\square\)
Remark 3.9
Note that the notation \((\Delta u)^*\) creates a slight ambiguity with (2.1), namely whenever the limit in the definition is infinite. It will always be clear from the context what convention is used, especially in view of the following consistency result.
Proposition 3.10
(Lebesgue points of superharmonic functions) Let \(f : \Omega \rightarrow {\mathbb {R}}\) be a nonnegative superharmonic function. Then each point where \(f< \infty\) is a 1Lebesgue point of f.
Proof
By [3, Theorem 3.1.3] one has \(f(x) = \liminf _{y \rightarrow x} f(y)\) for each \(x \in \Omega\). In particular
Now suppose that \(f(x)< \infty\). Then by the triangle inequality
As f is superharmonic we have as \(r \rightarrow 0+\). Using this, \(f(x)< \infty\) and (3.14), we obtain that
Putting the previous results together, we obtain the following
Corollary 3.11
(Characterization of nonLebesgue points) Each non1Lebesgue point x of \(D^2u\) is an atom of \(\mu\) or satisfies \((\Delta u)^*(x) = \infty\).
Proof
Suppose that x is neither an atom of \(\mu\) nor \((\Delta u)^*(x) = \infty\). By Corollary 3.8 and Proposition 3.10, we get that x is a 1Lebesgue point of \(\Delta u\). By Corollary 3.7, we also know that x is a 1Lebesgue point of \(\partial ^2_{x_1x_1} u  \partial ^2_{x_2x_2} u\) and \(\partial ^2_{x_1x_2} u\). Since all second derivatives of u are linear combinations of the mentioned quantities, x is a 1Lebesgue point of \(D^2u\). The claim follows by contraposition. \(\square\)
We can refine the statement with the following observation that shows also singular behavior of \((\Delta u)^*\) at each atom of \(\mu\).
Lemma 3.12
Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer. If \(x_0 \in \Omega\) is an atom of \(\mu\), then \((\Delta u)^*(x_0) = \infty\).
Proof
Suppose that \(x_0\) is an atom of \(\mu\) and set \({\widetilde{\mu }} := \mu  \mu (\{x_0\}) \delta _{x_0}\) which is also a finite measure. Using (3.12) we find with the notation from there that for each \(x \in \Omega _{\epsilon _0}^C\)
Plugging in \(x= x_0\) we obtain finally that \((\Delta u)^*(x_0) = \infty\) as claimed. \(\square\)
Remark 3.13
The previous observations show that each non1Lebesgue point of \(D^2u\) satisfies \((\Delta u)^* = \infty\) and each atom of \(\mu\) is a non1Lebesgue point of \(D^2u\).
Lemma 3.14
(Semiconvexity) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer and set
Then at each \(x \in \Omega _{\epsilon _0}^C\) which is 1Lebesgue point of \(D^2u\) the matrix \((D^2 u)^* + AI\) is positive semidefinite, where \(I = \mathrm {diag}(1,1)\) denotes the identity matrix. In particular, for each \(x_0 \in {\mathbb {R}}^2\), one has that \(x \mapsto u(x) + \frac{1}{2} A xx_0^2\) is convex on \(\Omega _{\epsilon _0}^C\).
Proof
Let x be a Lebesgue point of \(D^2u\). By Remark 3.13, x is not an atom of \(\mu\). Note that if \(M = \begin{pmatrix} m_{11} &{} m_{12} \\ m_{12} &{} m_{22} \end{pmatrix} \in {\mathbb {R}}^{2\times 2}\) is a symmetric matrix then the eigenvalues of M are given by
If \(M = (D^2u)^*(x) + AI\) then Corollary 2.13 implies that
Using (3.8), the fact that x is not an atom of \(\mu\), and Lemma 3.1, we obtain
Analogously one can show that
Hence
Plugging this and (3.16) into (3.15) we find
Thus we obtain that M is indeed positive semidefinite. For \(\epsilon >0\) let \(\rho _\epsilon\) be the standard mollifier. Set \(f_\epsilon (x) := \left( u(\cdot ) + \frac{1}{2}A \cdot  x_0^2\right) * \rho _\epsilon\). Observe that for \(\epsilon < \epsilon _0\), \(f_\epsilon \in C^2(\Omega _{\epsilon _0}^C)\) and \(D^2 f_\epsilon = (D^2 u + AI) * \rho _\epsilon\) on \(\Omega _{\epsilon _0}^C\). This matrix is positive semidefinite since for each \(z \in {\mathbb {R}}^2\)
as \(\rho _\epsilon\) is nonnegative and \(D^2 u + AI\) is positive semidefinite almost everywhere. Hence \(f_\epsilon\) is convex. However \(f_\epsilon\) also converges to \(u + \frac{1}{2} A \cdot  x_0^2\) uniformly on \(\Omega _{\epsilon _0}^C\) as the latter function is continuous. It is easy to verify with the definition of convexity that uniform limits of convex functions are convex again. \(\square\)
4 Emptyness of the singular nodal set
In this section we study the gradient \(\nabla u\) at points where u vanishes. Whenever we refer to the gradient, we always mean its continuous representative, cf. Remark 2.18. We show that the set \(\{ u = \nabla u = 0 \}\), which we refer to as singular nodal set, is empty. It is vital for the argument to look at the behavior of the Hessian at points that lie in the singular nodal set. We have to distinguish between 1Lebesgue points of the Hessian and non1Lebesgue points of the Hessian. The 1Lebegue points can be discussed using blowup arguments. For non 1Lebesgue points, one will profit from the characterization in Remark 3.13.
The blowup arguments in this section are based on the following version of Aleksandrov’s theorem, which allows for a secondorder Taylortype expansion.
Lemma 4.1
(A version of Aleksandrovs theorem in \({\mathbb {R}}^n\)) Let \(\Omega \subset {\mathbb {R}}^n\) be bounded and \(f \in W^{2,2}(\Omega )\cap C^1(\Omega )\) be Asemiconvex for some \(A \in {\mathbb {R}}\). If \(x_0\in \Omega\) is a 1Lebesgue point of \(D^2f\), then
Proof
By considering \({\widetilde{f}} := f + \frac{1}{2}A\cdot x_0^2\), we can assume without loss of generality that f is convex. Note that for convex functions [12, Thm.2,Sect.6.3] yields that \(D^2f = (\mu _{i,j})_{i,j=1,\ldots ,n}\) for signed Radon measures \(\mu _{i,j}\) in the sense of distributions. Hence one can also decompose the measures in their absolutely continuous and singular parts, i.e., \(D^2f = [D^2f]_{ac} + [D^2f]_s\). In our case \([D^2f]_s = 0\) because of the additional regularity assumption that \(f \in W^{2,2}(\Omega )\). Moreover, \([D^2f]_{ac} = D^2 f \cdot \lambda\), where \(\lambda\) denotes the ndimensional Lebesgue measure. In [12, Thm.1,Sect.6.4], a proof of the classical Aleksandrov theorem is given, and examining Part 1 of the given proof, it is shown that (4.1) holds for each convex f and each point \(x_0\) such that

(1)
\(\nabla f(x_0)\) exists and \(x_0\) is a 1Lebesgue point of \(\nabla f\).

(2)
\(x_0\) is a 1Lebesgue point of the RadonNikodym density of \([D^2f]_{ac}\).

(3)
\(x_0\) satisfies \(\lim _{r\rightarrow 0 } \frac{1}{r^n} [D^2f]_s(B_r(x_0)) = 0\).
Since f was assumed to be \(C^1\), each point \(x_0\) trivially satisfies (1). As we mentioned above \([D^2f]_s = 0\), so each point \(x_0\) automatically satisfies (3). Hence, the proof works for each point \(x_0\) satisfying (2), i.e., each 1Lebesgue point of \(D^2f\). \(\square\)
Remark 4.2
For f as in the statement of Lemma 4.1, Equation (4.1) can be seen as a Taylor expansion around each 1Lebesgue point of \(D^2f\). In particular, note that each 1Lebesgue point \(x_0\) of \(D^2f\) such that \(\nabla f (x_0) = 0\) and \((D^2f)^*(x_0)\) is positive definite is a strict local minimum of f.
Lemma 4.3
(Hessian on singular nodal SetI) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer and \(x_0 \in \Omega _{\epsilon _0}^C\) be a Lebesgue point of \(D^2u\) such that \(u(x_0) = \nabla u(x_0) = 0\). Then either \((D^2u)^*(x_0)= 0\) or \((D^2 u)^*(x_0)\) is positive definite.
Proof
First define
which is finite because of Corollary 2.14. By Lemma 3.14 and Lemma 4.1, we get the following blowup profile at \(x_0\):
locally uniformly as \(\epsilon \rightarrow 0\). Now fix \(\tau > 0\) and observe that
Using scaling properties of the Lebesgue measure and (4.2) we get
where the last step can be carried out because the convergence in (4.2) is uniform in \(B_\tau (0)\). Now let \(\lambda _1 , \lambda _2\) be the eigenvalues of \(\frac{1}{2}(D^2u)^*(x_0)\). Since \((D^2u)^*\) is symmetric, we can use an orthogonal transformation to obtain
since \(\tau > 0\) was arbitrary we can let \(\tau \rightarrow \infty\) to find
Recall moreover from Corollary 2.13 that
Now we distinguish cases to show that \(\lambda _1 = \lambda _2 = 0\) or \(\lambda _1,\lambda _2 > 0\). Assume that none of the two cases apply. One out of the two eigenvalues has to be positive because of (4.4) and the other one has to be zero or negative. Without loss of generality \(\lambda _1 > 0\).
If \(\lambda _2\) is negative one can observe that if \(w_1 > 0\)
Therefore, (4.3) yields, using that for positive a, b one has \(ab = \frac{a^2b^2}{a+b}\) we find
a contradiction. If \(\lambda _1 > 0\) and \(\lambda _2 = 0\), then it is easy to see that the righthand side of (4.3) equals infinity again. Therefore, we obtain a contradiction and hence \(\lambda _1 = \lambda _2 = 0\) or \(\lambda _1,\lambda _2 >0\). Since \((D^2u)^*(x_0)\) is symmetric, and therefore diagonalizable, we obtain that \((D^2u)^*(x_0) = 0\) or \((D^2u)^*(x_0)\) is positive definite. \(\square\)
Next we exclude that \((D^2u)^*(x_0)\) is positive definite using a variational argument.
Lemma 4.4
(Hessian on singular nodal set  II) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer and \(x_0 \in \Omega _{\epsilon _0}^C\) be a Lebesgue point of \(D^2u\) such that \(u(x_0) = \nabla u(x_0) = 0\). Then \((D^2u)^*(x_0)= 0\).
Proof
By the previous lemma, it remains to show that \((D^2u)^*(x_0)\) is not positive definite. To do so, we suppose the opposite, i.e. \((D^2u)^*(x_0)\) is positive definite. By Lemma 4.1 and Remark 4.2\(x_0\) is a strict local minimum of u and u grows quadratically away from \(x_0\), i.e. there exist \(r_0> 0\) and \(\beta > 0\) such that \(0< u(x) < \beta xx_0^2\) for each \(x \in B_{r_0}(x_0) \setminus \{x_0 \}\). Let \(r \in (0, r_0)\) be arbitrary. Now choose \(\phi \in C_0^\infty (B_r(x_0))\) such that \(0 \geqslant \psi \geqslant  1\) and \(\psi \equiv  1\) in \(B_\frac{r}{2}(x_0)\). As for each \(\epsilon > 0\) the function \(u + \epsilon \psi\) is admissible, one has
where we used (2.8) and the strict local minimum property of \(x_0\) in the last step. Note that
We can compute for each \(\epsilon < \frac{\beta r}{2\pi }\)
Rearranging and dividing by \(\epsilon\) we obtain
Letting first \(\epsilon \rightarrow 0\) and then \(r \rightarrow 0\) we find
where we used in the last step that by Remark 3.13\(x_0\) is not an atom of \(\mu\). Finally, we obtain a contradiction. \(\square\)
Lemma 4.5
(Hessian on singular nodal set  III) Let \(u\in {\mathcal {A}}(u_0)\) be a minimizer. Then \(\{ u = \nabla u = 0 \}\) does not contain any 1Lebesgue points of \(D^2u\). In particular \(\{u = \nabla u = 0 \}\) is of zero Hausdorff dimension and each \(x_0 \in \{ u = \nabla u = 0 \}\) satisfies \((\Delta u)^*(x_0) = \infty\).
Proof
Assume that \(\{ u = \nabla u = 0 \}\) contains a Lebesgue point \(x_0\) of \(D^2 u\). Then, according to the previous Lemma, \((D^2u)^*(x_0) = 0\). This implies in particular that \((\Delta u)^*(x_0) = 0\). Now note that by Corollary 3.8\((\Delta u)^*\) is a nonnegative superharmonic function. Nonnegativity of \((\Delta u)^*\) implies that \(x_0\) is a point where \((\Delta u)^*\) attains its global minimum in \(\Omega\), namely zero. By the strong maximum principle it follows that \((\Delta u)^* \equiv 0\), which would however imply that u is harmonic and hence positive since its boundary data \((u_0)_{\mid _{\partial \Omega }}\) are strictly positive. Thus \(\{ u = \nabla u = 0 \}= \emptyset\), contradicting the existence of \(x_0\). The first sentence of the statement follows. The second sentence of the statement follows immediately from Corollary 3.6 and Remark 3.13. \(\square\)
Lemma 4.6
(Singular nodal points are isolated) Suppose that \(x_0 \in \{ u = \nabla u = 0 \}\). Then there exists \(r > 0\) such that u is convex and nonnegative on \(B_r(x_0)\). Moreover, \(B_r(x_0) \cap \{ u = 0 \} = \{ x_0 \}\).
Proof
First we show convexity. As an intermediate step we show that there exists \(r >0\) such that for each 1Lebesgue point x of \(D^2u\) in \(B_r(x_0)\) the matrix \((D^2u)^*(x)\) is positive definite. Note that by Corollary 3.7 there exists \(M > 0\) such that for each 1Lebesgue point x of \(D^2 u\) in \(\Omega _{\epsilon _0}^C\) one has
and
As \((\Delta u )^*\) is subharmonic by Corollary 3.8, [3, Theorem 3.1.3] yields that \((\Delta u)^*(x_0) = \liminf _{x \rightarrow x_0} (\Delta u)^*(x)\), which equals infinity by the previous lemma. Hence one can find \({\overline{r}} > 0\) such that \((\Delta u)^* > 5 M\) on \(B_{{\overline{r}}}(x_0)\). If \(x \in B_{{\overline{r}}}(x_0)\) is now a 1Lebesgue point of \(D^2 u\) this implies that \((\partial ^2_{x_1x_1}u )^*(x) + ( \partial ^2_{x_2x_2} u )^*(x) \geqslant 5M\). Together with (4.5), we obtain that \((\partial ^2_{x_ix_i} u)^*(x) \geqslant 2M\) for all \(i = 1,2\). Now we can show using the principal minor criterion that \((D^2u)^*(x)\) is positive definite. Indeed \((\partial ^2_{x_1x_1} u)^*(x) \geqslant 2M > 0\) and \(\det (D^2u)^*(x) = (\partial ^2_{x_1x_1} u)^*(x)(\partial ^2_{x_2x_2} u)^*(x) (\partial ^2_{x_1x_2} u)^*(x)^2 \geqslant 4M^2  M^2 > 0\). All in all, \((D^2u)^*\) is positive definite on \(B_{{\overline{r}}}(x_0)\). We will show next that this implies convexity of u on a smaller ball. For \(\epsilon \in (0, \frac{{\overline{r}}}{2})\) let \(\phi _\epsilon\) be the standard mollifier with support in \(B_\epsilon (0)\). Note that \(D^2(u * \phi _\epsilon ) = D^2u * \phi _\epsilon\) on \(B_\frac{{\overline{r}}}{2}(x_0)\). As an easy computation shows, \((D^2u * \phi _\epsilon )(x)\) is positive definite for each \(x \in B_\frac{{\overline{r}}}{2}(x_0)\). Therefore, \(u* \phi _\epsilon\) is convex on \(B_\frac{{\overline{r}}}{2}(x_0)\). Eventually, u is convex on \(B_\frac{{\overline{r}}}{2}(x_0)\) as uniform limit of convex functions. Choosing \(r := \frac{{\overline{r}}}{2}\) implies the desired convexity. Convexity also implies that for each \(x,y \in B_r(x_0)\) one has
Plugging in \(y = x_0\), we obtain \(u(x) \geqslant 0\) which shows the desired nonnegativity on \(B_r(x_0)\). It remains to show that \(B_r(x_0) \cap \{ u = 0 \} = \{ x_0 \}\). Assume that there is a point \(x_1 \in B_r(x_0)\) such that \(u(x_1)=0\). By convexity and nonnegativity, we obtain for each \(\lambda \in (0,1)\) that
Hence \(u_{\mid _{\overline{x_0x_1}}} \equiv 0\), where \(\overline{x_0x_1}\) denotes the line segment connecting \(x_0\) and \(x_1\). Now this line segment lies completely in \(B_r(x_0)\) and because of the nonnegativity, each point in \(\overline{x_0x_1}\) is a local minimum of u. This yields that \(\nabla u\) vanishes on this line segment and hence \(\overline{x_0x_1} \subset \{ u = \nabla u = 0 \}\). This contradicts Lemma 4.5, as \(\{u = \nabla u = 0 \}\) must have zero Hausdorff dimension. The claim follows. \(\square\)
Corollary 4.7
(Emptyness of singular nodal set) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer. Then \(\{ u = \nabla u = 0 \} = \emptyset\).
Proof
Suppose that there exists some \(x_0 \in \{ u = \nabla u = 0 \}\). Recall that then \((\Delta u)^*(x_0) = \infty\) by Lemma 4.5. Also, by the previous Lemma, there exists \(r > 0\) such that \(\{u = 0 \} \cap B_r(x_0)= \{ x_0 \}\) and \(u(x) > 0\) for each \(x \in B_r(x_0)\setminus \{ x_0 \}\). By possibly choosing a smaller radius r we can achieve that \(B_r(x_0) \subset \Omega _{\epsilon _0}^C\). Now define \(g_1 := u_{\mid _{ \partial B_\frac{r}{2}(x_0)}}\) and \(g_2 := \nabla u_{\mid _{ \partial B_\frac{r}{2}(x_0)}}\). Note that \(g_1,g_2 \in C^\infty ( \partial B_\frac{r}{2}(x_0))\) by Lemma 2.9. By [13, Theorem 2.19], one obtains that there exists a unique solution \(h \in C^\infty (\overline{B_\frac{r}{2}(x_0)})\) such that
Moreover, as a standard variational argument shows, h is uniquely determined by
where ’\(\equiv\)’ here means equality in the trace sense. In particular, one has
and equality holds if and only if \(h \equiv u\), by strict convexity of the energy. Now define
Since \({\widetilde{u}}\) has the right regularity and the same boundary data as u, one obtains that \({\widetilde{u}} \in {\mathcal {A}}(u_0)\). Therefore, one can compute with (4.6)
Now note that \(B_\frac{r}{2}(x_0)  = B_\frac{r}{2}(x_0) \setminus \{ x_0 \}  = \{u >0 \} \cap B_\frac{r}{2}(x_0) \), as we explained in the beginning of the proof. Therefore, we obtain
This means in particular that all estimates used on the way have to hold with equality. Since we used estimate (4.6), equality holds in (4.6) and from this we can infer (see discussion below (4.6)) that \(h = u\). In particular, \(u \in C^\infty (\overline{B_\frac{r}{2}(x_0)})\). This, however, is a contradiction to \((\Delta u)^*(x_0) = \infty\) and the claim follows. \(\square\)
Remark 4.8
The previous corollary implies that \(\nabla u \ne 0\) on \(\{ u = 0\}\). Since \(u \in C^1(\Omega )\) by Remark 2.18 this makes \(\{ u = 0\}\) already a compact \(C^1\)manifold. In the next section, we study further properties of \(\{u = 0\}\).
5 Nodal set and biharmonic measure
In this section we are finally able to understand the regularity of the free boundary \(\{ u = 0 \}\) and—as a byproduct—the measure \(\mu\) of (2.8). Once this is achieved we can derive (1.2) and provide a rigorous version of the formal statement (1.3). Afterward, we use this equation to obtain \(C^2\)regularity for u and as a result the same additional regularity for \(\{ u = 0 \}\).
Lemma 5.1
(The measuretheoretic boundary) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer. Then
Proof
For the ’\(\supset\)’ inclusion in (5.1) note that \(x_0 \in \{ u = 0 \}\) implies by Corollary 4.7 that \(\nabla u(x_0) \ne 0\). Moreover, one has
Since the expression in the measure term converges uniformly in r to \(\nabla u(x_0) \cdot x\), we get by Fatou’s lemma
as \(\{ x : \nabla u(x_0) \cdot x > 0 \}\) defines a half plane through the origin. Similarly one shows \({\overline{\theta }}(\{ u \leqslant 0 \},x_0) \geqslant \frac{1}{2} > 0\) and hence the inclusion is shown. For the remaining inclusion, take \(x_0 \in \partial ^* \{ u > 0 \}\). If \(u(x_0) > 0\), then there exists \(r_0 > 0\) such that \(u > 0\) on \(B_{r_0} (x_0)\) and this implies by definition of \({\overline{\theta }}\) that \({\overline{\theta }} (\{u \leqslant 0 \} ,x_0 ) = 0\). Similarly one shows that \(u(x_0)< 0\) implies that \(\theta ( \{ u > 0 \} , x_0 ) = 0\). Hence \(u(x_0) = 0\) and the claim follows. \(\square\)
We will now characterize the measure found in (2.8) using an inner variation technique that has led to rich insights in [9].
Lemma 5.2
(Noether equation) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer. Then
where \(\mu\) is the biharmonic measure from (2.8).
Proof
To compactify notation, we will leave out the ‘\(\cdot\)’ to indicate the dot product for this proof. From [9, Lemma 4.3] follows that for each \(\phi \in C_0^\infty (\Omega ; {\mathbb {R}}^2)\), one has
Fix \(\phi \in C_0^\infty (\Omega _{\epsilon _0}^C; {\mathbb {R}}^2)\). Then there is \(\beta \in (0,1)\) such that \(\nabla u\cdot \phi \in W_0^{2,2\beta }(\Omega _{\epsilon _0}),\) by Corollary 3.6. Observe that \(\nabla u \cdot \phi\) is a valid test function for (2.8) (cf. Lemma 2.17). Starting from (5.3) Corollary 3.6, we can use (2.8) to find
The second integral vanishes by the Gauss divergence theorem and the claim follows. \(\square\)
Corollary 5.3
(Finite perimeter of positivity set) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer. Then \(\{ u > 0 \}\) has finite perimeter in \(\Omega\) and \({\mathcal {H}}^1(\{ u = 0 \} ) < \infty .\)
Proof
We first show that \(\{u >0 \}\) has finite perimeter in \(\Omega _{\epsilon _0}^C\). Observe that by (5.2) one has for each \(\phi \in C_0^\infty ( \Omega _{\epsilon _0}^C ; {\mathbb {R}}^2)\) such that \(\sup _{\Omega _{\epsilon _0}^C} \phi  \leqslant 1\),
The quantity on the righthand side is finite since by Corollary 3.6 there is \(\beta \in (0,1)\) such that \(\nabla u \in W^{2,2\beta }(\Omega _{\epsilon _0}^C) \subset C(\overline{\Omega _{\epsilon _0}^C})\). By [12, Thm.1(i), Sect.5.9] we conclude that \({\mathcal {H}}^1(\partial ^* \{ u > 0 \} \cap \Omega _{\epsilon _0}^C) < \infty\). By Lemma 5.1 we have \(\partial ^*\{ u > 0 \} = \{u = 0 \} \subset \Omega _{\epsilon _0}^C\). Therefore, \({\mathcal {H}}^1( \Omega \cap \partial ^*\{ u >0 \} ) < \infty\) and by [12, Thm.1, Sect.5.11] we obtain that \(\{u > 0 \}\) has finite perimeter in \(\Omega\). By Lemma 5.1 we conclude \(\infty> {\mathcal {H}}^1( \partial ^* \{ u > 0 \} ) = {\mathcal {H}}^1 ( \{ u = 0 \} )\). \(\square\)
Lemma 5.4
(Biharmonic measure and Hausdorff measure) Let \(A \subset \Omega\) be a Borel set and \(u \in {\mathcal {A}}(u_0)\) be a minimizer. Then
Proof
We first prove the formula
By density, it suffices to prove the claim for \(\phi \in C_0^\infty (\Omega _{\epsilon _0}^C).\) For \(\epsilon >0\), let \(\rho _\epsilon\) be the standard mollifier and define \(f_\epsilon := (\phi \nabla u )* \rho _\epsilon\). Now note that \(f_\epsilon\) lies in \(C_0^\infty (\Omega _{\epsilon _0}^C)\) for appropriately small \(\epsilon > 0\) and \(f_\epsilon\) converges uniformly to \(\phi \nabla u\). By (5.2) and the fact that \(\{ u >0 \}\) has finite perimeter in \(\Omega _{\epsilon _0}^C\) by Corollary 5.3, we obtain with [12, Thm.1,Sect.5.9] that
where \(\nu _{\{ u > 0\}}\) denotes the measure theoretic unit outer normal to \(\{ u >0 \}\), cf. [12, Thm.1,Sect.5.9]. Since by Remark 4.8, \(\{ u = 0 \}\) is locally a \(C^1\)regular level set one obtains immediately that \(\nu _{\{ u > 0\}}(x) = \frac{\nabla u(x)}{\nabla u (x) }\). Together with the fact that \({\mathcal {H}}^1(\{u = 0 \})< \infty\) by Corollary 5.3 we obtain (5.5). Since \(\nabla u\) is a continuous function that does not vanish on \(\{u = 0 \} \subset \Omega _{\epsilon _0}^C\) there also exists some \(\epsilon >0\) such that \(\overline{ B_\epsilon (\{ u = 0 \} )} \subset \Omega _{\epsilon _0}^C\) and \(\nabla u\) does not vanish on \(B_\epsilon ( \{ u = 0 \} )\). Fix \(\eta \in C_0^\infty ( B_\epsilon ( \{ u = 0 \}))\) arbitrarily such that \(\eta \equiv 1\) on \(\{u = 0 \}\). Now suppose that \(\psi \in C_0(\Omega )\). Note that \(\eta \equiv 1\) on \(\mathrm {supp}(\mu )\) and \(\frac{\psi }{\nabla u^2} \eta \in C_0(\Omega _{\epsilon _0}^C)\). Therefore, one has by (5.5)
From there the claim is easy to deduce by standard arguments in measure theory. \(\square\)
Having now characterized the measure \(\mu\) explicitly, one can obtain classical regularity with the representation (3.8). The details will be discussed in Appendix 2.
Lemma 5.5
(\(C^2\)regularity, proof in Appendix 2) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer. Then \(u \in C^2( \Omega )\).
6 Proof of Theorem 1.4
Proof of Theorem 1.4
We first recall parts of the statement that have already been proved on the way: The \(C^2\)regularity of u and the property that \(\nabla u \ne 0\) whenever \(u =0\) follow from Remark 4.8 and Lemma 5.5. The \(W^{3,2\beta }_{loc}\)regularity follows from Lemma 2.9 and Corollary 3.6. By Corollary 2.13 we can infer that \(\Delta u \geqslant 0\). We show now that \(\{ u = 0 \}\) is a closed connected \(C^2\)hypersurface. First \(\{ u = 0 \}\) is a \(C^2\)manifold as zero level set of a \(C^2\)function with nonvanishing gradient on \(\{u = 0\}\). Note that \(\{ u = 0 \}\) is orientable as \(\nu = \frac{\nabla u}{\nabla u }\) defines a continuous normal vector field. Furthermore, each connected component of \(\{ u = 0 \}\) is a connected, orientable \(C^2\)manifold. Note that \(\{ u= 0 \}\) has only finitely many connected components \((S_i)_{i = 1}^N\) since it is compact. We also claim that each connected component of \(\{u = 0\}\) is compact. Indeed, connected components of topological spaces are closed in the same space, cf. [17, Exercise 1.6.1], and closed subsets of compact sets are compact. All in all, each connected component of \(\{u = 0 \}\) is a compact, orientable, connected \(C^2\)manifold. By the JordanBrower seperation theorem (see [19]), we infer that for each \(i \in \{ 1, \ldots , N \}\) the set \({\mathbb {R}}^2 \setminus S_i\) has two disjoint connected components, say \(G_i\) and \({\mathbb {R}}^2 \setminus ( G_i \cup S_i)\) the boundary of both of which is \(S_i\). We claim that one of these two components is a subset of \(\Omega\). For if not, one can find an \(x_1 \in G_i \setminus \Omega\) as well as \(x_2 \in ({\mathbb {R}}^2 \setminus ( G_i \cup S_i)) \setminus \Omega\). One can then connect \(x_1\) and \(x_2\) with a continuous path lying in \({\mathbb {R}}^2 \setminus \Omega \subset {\mathbb {R}}^2 \setminus S_i\). This is a contradiction since \(G_i\) and \({\mathbb {R}}^2 \setminus (G_i \cup S_i)\) are two different path components of \({\mathbb {R}}^2 \setminus S_i\). Without loss of generaliy \(G_i\) is contained in \(\Omega\). Note that \(G_i\) has positive distance of \(\partial \Omega\) since \(\overline{G_i}\) is compact \(\inf _{G_i} \mathrm {dist}(\cdot , \partial \Omega )\) is attained in \(\partial G_i = S_i\).
Since u is subharmonic in \(\Omega\) by Corollary 2.13 we get that either \(u \equiv 0\) in \(G_i\) or \(u< 0\) in \(G_i\) by the strong maximum principle for subharmonic functions. The first possibility is excluded since \(\nabla u\) does not vanish on \(\{ u = 0\}\) as we already showed.
We show now that \(G_i\cap G_j = \emptyset\) for all \(i \ne j\). Since \(u< 0\) in \(G_i\) for all i, we get \(S_j \cap G_i = \emptyset\) for all \(j \ne i\). Therefore,
for all \(i \ne j\) . This means that \({\mathbb {R}}^2\) is the disjoint union of \(G_i \cap G_j\) and the interior of \((G_i \cap G_j)^c\). Since \({\mathbb {R}}^2\) is connected we obtain that \(G_i \cap G_j = \emptyset\) for \(i \ne j\). We show next that \(\{ u< 0 \} = \bigcup _{i = 1}^N G_i\). Suppose that there is a point \({\widetilde{x}} \in \Omega \setminus \bigcup _{i = 1}^N G_i\) such that \(u( {\widetilde{x}} ) < 0\). Let \({\widetilde{r}}:= \sup \{ r > 0 : B_r( {\widetilde{x}} ) \subset \{ u < 0 \} \}\). Observe that \({\widetilde{r}}> 0\) because of continuity of u. Note that \(\overline{B_{{\widetilde{r}}}({\widetilde{x}})} \subset \Omega\) because \(u > 0\) on \(\partial \Omega\). Hence, \(\overline{B_{{\widetilde{r}}}( {\widetilde{x}} )}\) touches some \(S_j\) tangentially. Note also that \(\{u < 0 \}\) in \(B_{{\widetilde{r}}} ( {\widetilde{x}} )\) and \(B_{{\widetilde{r}}} ( {\widetilde{x}} ) \cap G_j = \emptyset\) since \({\widetilde{x}} \in {\mathbb {R}}^2 \setminus ( G_j \cup S_j)\) and \(B_{{\widetilde{r}}} ( {\widetilde{x}} )\) can only intersect one connected component of \({\mathbb {R}}^2 \setminus S_j\). Let \(p \in S_j\) be a point where \(\overline{B_{{\widetilde{r}}}( {\widetilde{x}} )}\) touches \(S_j\). Now observe that \(t \mapsto u(p + t \nabla u(p))\) is continuously differentiable in a neighborhood of p as \(u \in C^1(\Omega )\). Therefore,
and hence there is \(t_0 > 0\) such that \(\frac{d}{dt} u(p +t \nabla u(p) ) \geqslant \frac{1}{2}  \nabla u(p)^2\) for each \(t \in (t_0,t_0)\). In particular the fundamental theorem of calculus yields that
Since \(B_{{\widetilde{r}}}({\widetilde{x}})\) touches \(S_j\) tangentially at p the exterior normal of \(B_{{\widetilde{r}}}({\widetilde{x}})\) at p is given by \(\nu = \pm \frac{\nabla u}{\nabla u}\). In case that \(\nu = + \frac{\nabla u}{\nabla u}\) the exterior unit normal coincides with the exterior unit normal of \(G_j\). Since \(G_j\) and \(B_{{\widetilde{r}}}({\widetilde{x}})\) both satisfy the interior ball condition (see [16, Remark 4.3.8]), we can now force a small ball into \(G_j \cap B_{{\widetilde{r}}}({\widetilde{x}})\) which is a contradiction to the fact that \(G_j \cap B_{{\widetilde{r}}}({\widetilde{x}}) = \emptyset\). Therefore, \(\nu =  \frac{\nabla u}{\nabla u}\) and hence there is \(t_1 > 0\) such that \(p + t \nabla u (p)\) lies in \(B_{{\widetilde{r}}} ( {\widetilde{x}})\) for each \(t \in (0,t_1)\). Choosing \(t := \frac{1}{2} \min \{ t_0, t_1 \}\) we obtain a contradiction since \(p +t \nabla u(p) \in B_{{\widetilde{r}}}({\widetilde{x}})\) and \(u( p + t \nabla u(p) ) > 0\) according to (6.1), which is a contradiction to the choice of \(B_{{\widetilde{r}}}({\widetilde{x}})\). We have shown (1.1). Given this, we get the following chain of set inclusions:
where we used the continuity of u in the last step. We obtain that \(\partial \{ u< 0 \} = \{ u = 0 \}\), which was also part of the statement. The property that \(\{ u = 0\}\) has finite 1Hausdorff measure follows from Corollary 5.3. The only statement that remains to show is (1.2). We first show (1.2) for \(\phi \in C_0^\infty (\Omega )\). By (2.8) one has
for a measure \(\mu\) with \(\mathrm {supp}(\mu )= \{ u= 0 \}\) which was examined more closely in Lemma 5.4. From this lemma we can conclude that
Using this representation of \(\mu\) we obtain (1.2) for \(\phi \in C_0^\infty (\Omega )\) and by density also for \(\phi \in W_0^{2,2}(\Omega )\). Now suppose that \(\phi \in W^{2,2}(\Omega ) \cap W_0^{1,2}(\Omega )\). Choose \(\eta \in C_0^\infty (\Omega _{\epsilon _0}^C)\) such that \(0 \leqslant \eta \leqslant 1\) and \(\eta \equiv 1\) in a neighborhood of \(\{u \leqslant 0 \}\) that is compactly contained in \(\Omega _{\epsilon _0}^C\) and rewrite \(\phi = \phi \eta + \phi ( 1 \eta )\). Observe that \(\phi (1 \eta )\) lies in \(W^{2,2}(\Omega ) \cap W_0^{1,2}(\Omega )\) and is compactly supported in \(\{u > 0 \}\). By Lemma 2.9, we infer that
Note that \(\phi \eta \in W_0^{2,2}(\Omega )\) as \(\eta\) is compactly supported in \(\Omega\). Using (6.2) and that we have already shown (1.2) for \(W_0^{2,2}\)test functions we find
Since \(\eta \equiv 1\) on a neighborhood of \(\{ u= 0 \}\) we obtain the claim. \(\square\)
Corollary 6.1
Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer. Then \(\partial \{ u > 0 \} = \{u = 0 \} \cup \partial \Omega\). In particular \(\{u > 0 \}\) has \(C^2\)boundary.
Proof
Recalling (5.1) we find that
The other inclusion \(\partial \{ u >0 \} \subset \partial \Omega \cup \{ u = 0 \}\) is immediate by continuity of u. The rest of the claim follows from Theorem 1.4. \(\square\)
7 Measure of the negativity region
We have aleady discovered in (2.2), Example 2.6, and Remark 2.8 that for ‘small’ boudary values \(u_0\) the energy of minimizers falls below \(\Omega \) and the nodal set is nontrivial. On the contrary, for ‘large’ boundary values \(u_0\), one gets minimizers with trivial nodal set, see Remark 2.7. In this section, we want to derive some estimates that ensure one of the two cases.
Lemma 7.1
(Universal bound for biharmonic measure) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer. Then
Proof
Let \(h \in W^{2,2}(\Omega )\) be a solution of
Note that by elliptic regularity and the trace theorem, see [14, Theorem 8.12], h lies actually in \(W^{2,2}(\Omega )\) and \(h  u_0 \in W_0^{1,2}(\Omega )\). Observe that \(u  h = (u u_0) + (u_0  h) \in W^{2,2}(\Omega ) \cap W_0^{1,2}(\Omega )\). We obtain with (1.2)
For the lefthand side, we can estimate using harmonicity of h and (2.2)
where we used that \(\{u = 0 \} = 0\) by Theorem 1.4. Therefore, (7.2) implies that
By the maximum priciple and the construction of h we obtain that \(h \geqslant \inf _{\partial \Omega } u_0\) and hence
Corollary 7.2
(Onephase solutions for large boundary values) Let \(\Omega\), \(u_0\) be as in Definition 1.1and \(u \in {\mathcal {A}}(u_0)\) be a minimizer. Then, either \(\{ u = 0\}= \emptyset\) or
Proof
Using that \( \{ u = 0 \} =0\) by Theorem 1.4 and (2.2) as well as the Cauchy–Schwarz inequality and Gauss divergence theorem we get
Note that the exterior outer normal of \(\{ u< 0 \}\) is given by \(\nu = \frac{\nabla u }{\nabla u }\), and therefore, we obtain with Theorem 1.4
Now observe that by the Cauchy–Schwarz inequality and (7.1) we get
Rearranging and plugging into (7.3) we find
Using the isoperimetric inequality, see [22, Theorem 14.1] we get that
Remark 7.3
This proves in particular that \(\inf _{\partial \Omega } u_0 > \frac{\Omega }{2\pi }\) implies \(\{u = 0 \}= \emptyset\), which is a lot better than the bound in Remark 2.7, at least for domains \(\Omega\) with big Lebesgue measure.
8 A nonuniqueness result
Definition 8.1
(The candidate for nonuniqueness) Let \(\Omega = B_1(0)\). For \(C > 0\) let \({\mathcal {A}}(C)\) denote the admissible set associated to the boundary function \(u_0 \equiv C\), see Definition 1.1.
Remark 8.2
Note that \(\frac{1}{8\sqrt{2}} \leqslant \iota < \infty\) by Example 2.6 and Remark 2.7.
Lemma 8.3
(Energy in the limit case) Let \(\iota\) be as in Definition 8.1. Then
Proof
One inequality is immediate by (2.2). Now suppose that
Then by Theorem 1.4 and Remark 1.2 there exists a minimizer \(u_\iota\) such that \(\{u_{\iota } =0 \}\) has finite 1Hausdorff measure and \({\mathcal {E}}(u_\iota ) < B_1(0)\). Note that for each \(\epsilon > 0\), \(u_\iota + \epsilon \chi _{B_1(0)}\) is admissible for \(u_0 \equiv \iota + \epsilon\). By the choice of \(\iota\) we get
Hence
Letting \(\epsilon >0\) monotonically from above, we obtain with [12, Theorem 1 in Section 1.1] that
As we already pointed out, \(\{ u_\iota = 0 \}\) is a set of finite 1Hausdorff measure and hence a Lebesgue null set, see [12, Section 2.1, Lemma 2]. Therefore, (8.3) can be reformulated to
but the lefthand side coincides with \({\mathcal {E}}(u_\iota )\), which is a contradiction to (8.2). \(\square\)
Remark 8.4
Equation (8.1) already yields one immediate minimizer, namely \(u \equiv \iota\). We have to show that there exists yet another minimizer.
Proof
Let \(\iota\) be as in Definition 8.1, \(\Omega = B_1(0)\) and \(u_0 \equiv \iota\). Let \((\iota _n)_{n \in {\mathbb {N}}}\) be a sequence such that \(\iota _n \leqslant \iota _{n+1}< \iota\) for each n, \(\inf _{w \in {\mathcal {A}}(\iota _n)} {\mathcal {E}}(w) < \Omega \) and \(\iota _n \rightarrow \iota\) as \(n \rightarrow \infty\). Such a sequence exists by the choice of \(\iota\), see Definition 8.1. For each \(n \in {\mathbb {N}}\) let \(u_n \in {\mathcal {A}}(\iota _n )\) be a minimizer with boundary values \(\iota _n\). By Remark 2.8 we obtain that
We claim that \(u_n_{W^{2,2}}\) is bounded. Indeed, by [13, Theorem 2.31], we get for some \(C> 0\) independent of n
where we used (2.2) in the last step. Therefore, \((u_n)_{n = 1}^\infty\) has a weakly convergent subsequence in \(W^{2,2}(\Omega )\), which we call \(u_n\) again without relabeling. Let \(u \in W^{2,2}(\Omega )\) be its weak limit. Since \(u_n  \iota _n \in W_0^{1,2}(\Omega )\) and \(W_0^{1,2}(\Omega )\) is weakly closed, we find that \(u \in {\mathcal {A}}( \iota )\). Since \(W^{2,2}(\Omega )\) embeds compactly into \(C({\overline{\Omega }})\), \(u_n\) converges also uniformly to u. Using (8.4) we obtain that
In particular, u differs from the function identical to \(\iota\) which was already identified in Remark 8.4 as a minimizer in \({\mathcal {A}}(\iota )\). We show now that u is another minimizer in \({\mathcal {A}}(\iota )\). By Lemma 8.3, the weak lower semicontinuity of the \(L^2\) norm with respect to \(L^2\)convergence and Fatou’s Lemma we get
Therefore, \({\mathcal {E}}(u) = \Omega  = \inf _{ w \in {\mathcal {A}}(\iota ) }{\mathcal {E}}(w)\) by (8.1), which proves the claim. \(\square\)
9 On Navier boundary conditions
As we have only shown interior regularity of minimizers in Theorem 1.4 we cannot conclude anything about the behavior of the Laplacian at the boundary. However, the weak formulation of Navier boundary conditions in Definition 1.1 is equivalent to the strong formulation only provided that u is regular enough to have trace at \(\partial \Omega\), see the discussion in [13, Section 2.7] for details. Provided that the domain \(\Omega\) has actually smooth boundary (which we assume now), we can examine the measurevalued Poisson equation (1.2) more closely, using the following result about equivalence between conceptions of solutions to a measurevalued Poisson problem with Dirichlet boundary conditions. For a comprehensive study of measurevalued Poisson equations we refer to [29].
Lemma 9.1
(Measurevalued Poisson equation, cf. [29, Proposition 6.3] and [29, Proposition 5.1]) Suppose that \(\Omega \subset {\mathbb {R}}^n\) is a bounded domain with smooth boundary and suppose that \(\mu\) is a finite Radon measure on \(\Omega\). Further, let \(w : \Omega \rightarrow \overline{{\mathbb {R}}}\) be Lebesgue measurable. Then the following are equivalent

(1)
(Weak solutions with vanishing trace)
$$\begin{aligned} w \in W_0^{1,1}(\Omega ) \quad \; \text {and} \quad \; \int _\Omega \nabla w \nabla \phi \; \mathrm {d}x = \int _\Omega \phi \; \mathrm {d}\mu \quad \quad \forall \phi \in C_0^\infty (\Omega ) . \end{aligned}$$ 
(2)
(Test functions that can feel the boundary)
$$\begin{aligned} w \in L^1(\Omega ) \quad \; \text {and} \quad \;  \int _\Omega w \Delta \phi \; \mathrm {d}x = \int _\Omega \phi \; \mathrm {d}\mu \quad \forall \phi \in C^\infty ({\overline{\Omega }}) : \phi _{\mid _{\partial \Omega }} \equiv 0 . \end{aligned}$$
If one of the two statements hold true, then \(w \in W_0^{1,q}(\Omega )\) for each \(q \in \left[ 1, \frac{n}{n1}\right)\).
This gives immediately the following
Corollary 9.2
(Navier boundary conditions in the trace sense) Suppose that \(\Omega \subset {\mathbb {R}}^2\) has smooth boundary and let \(u \in {\mathcal {A}}(u_0)\) be a minimizer. Then for each \(\beta \in (0,1)\) one has that \(u \in C^2(\Omega )\cap W^{3,2\beta }(\Omega )\) and \(\Delta u \in W_0^{1,2\beta }(\Omega )\).
Proof
Let \(\beta \in ( 0 ,1)\). In view of (1.2) one has that \(w := \Delta u\) satisfies point (2) of Lemma 9.1 with \(\mu = \frac{1}{2\nabla u} {\mathcal {H}}^1 \llcorner _{ \{u = 0 \} }\), which is a finite Radon measure because of Theorem 1.4. We infer from Lemma 9.1 that \(\Delta u \in W_0^{1,2\beta } (\Omega )\). Since \(2 \beta > 1\) we have maximal regularity for \(\Delta u\) and can infer that \(u \in W^{3, 2\beta }(\Omega )\), cf. [14, Theorem 9.19]. \(\square\)
Remark 9.3
Note, in particular, that the previous corollary improves the regularity asserted in Theorem 1.4 for smooth domains \(\Omega\).
We have shown that \(\Delta u\) vanishes for a minimizer in the sense of traces. If \(\Omega = B_1(0)\) there is another possible—and equally useful—conception of vanishing at the boundary, namely that \(\Delta u\) has vanishing radial limits on \(\partial B_1(0)\), i.e. \(\lim _{r \rightarrow 1} \Delta u(r,\theta ) = 0\) for a.e. \(\theta \in (0,2\pi )\).
These two conceptions of vanishing have a nontrivial relation. A result that relates the concepts uses the fine topology, cf. [21, Theorem 2.147]. We believe that consistency results can be shown with the cited theorem but the details would go beyond the scope of this article. Instead we give a selfcontained proof that the Laplacian of a minimizer u has vanishing radial limits in Appendix 3.
10 Radial symmetry and explicit solutions
In this section we show that for \(\Omega = B_1(0)\) and \(u_0 \equiv C\), there exists a radial minimizer. We will then be able to compute radial minimizers explicitly and determine the nonuniqueness level \(\iota\) from Definition 8.1.
Definition 10.1
(Symmetric nonincreasing rearrangement) Let \(u : B_1(0) \rightarrow \overline{{\mathbb {R}}}\) be measurable. The function \(u^* : B_1(0) \rightarrow \overline{{\mathbb {R}}}\) is the unique radial and radially nonincreasing function such that
Remark 10.2
The fact that such a function exists follows from the construction in [18, Chapter 3.3]. Moreover, one can show that for each \(p \in [1,\infty ]\), \(u \in L^p(B_1(0))\) implies that \(u^* \in L^p(B_1(0))\) and \(u_{L^p} = u^*_{L^p}\), see [18, Chapter 3.3].
We recall the famous Talenti rearrangement inequality, which we will use.
Theorem 10.3
(Talenti’s inequality, cf. [31, Theorem 1]) Let \(f \in L^2(B_1(0))\) and \(w \in W_0^{1,2}(B_1(0))\) be the weak solution of
Further, let \(u\in W_0^{1,2}(B_1(0))\) be the weak solution of
Then \(w \geqslant u^*\) pointwise almost everywhere.
We obtain the radiality of the solution as an immediate consequence.
Corollary 10.4
(Radiality) Suppose that \(\Omega = B_1(0)\) and \(u_0 \equiv C\). Then there exists a minimizer \(v \in {\mathcal {A}}(C)\) that is radial.
Proof
First, fix a minimizer \(u \in {\mathcal {A}}(C)\). Then by Remark 10.2
Now define \(w\in W^{2,2}(B_1(0)) \cap W_0^{1,2}(B_1(0))\) to be the weak solution of
Note that w is radial since the righthand side is radial. Observe now that \(C u\) is the unique weak solution of
By Talenti’s inequality (see previous theorem) \(w \geqslant (Cu)^*\). In particular \(\{w< C\} \leqslant \{ (Cu)^* < C \} \). Therefore, we can estimate (10.1) in the following way
Now define \(v := Cw\). Then \(v \in {\mathcal {A}}(C)\) since \(v C = w \in W_0^{1,2}(\Omega )\). By the estimate above we see that v is yet another minimizer. \(\square\)
Now we characterize the radial solutions explicitly using the following two propositions
Proposition 10.5
(Radial solutions on annuli) Let \(A_{R_1,R_2} := \{ x \in {\mathbb {R}}^2 : R_1< x < R_2 \}\) be an annulus with inner radius \(R_1 \geqslant 0\) and outer radius \(R_2 > R_1\). If \(w \in W^{2,2}(A_{R_1,R_2})\) is weakly biharmonic and radial then there exist constants \(A,B,C, D \in {\mathbb {R}}\) such that
Proof
The claim reduces to a straightforward ODE argument when expressing \(\Delta ^2\) in polar coordinates. \(\square\)
Proposition 10.6
(Radial zero level set) Let \(u \in {\mathcal {A}}(u_0)\) be a radial minimizer. Then there exists \(R_0 > 0\) such that
and \(\{ u > 0 \} = B_1(0) \setminus \overline{B_{R_0}(0)}\).
Proof
According to Theorem 1.4, one has \(\{u = 0 \} = \bigcup _{i = 1}^N S_i\) for closed disjoint \(C^2\)manifolds \(S_i\) all of which form a connected component of \(\{ u = 0 \}\). Since u is radial one has \(S_i = \partial B_{r_i}(0)\) for some radii \(r_i > 0\). Without loss of generality \(r_1< \cdots < r_N\). It remains to show that \(N = 1\). If \(N >1\) then \(u \equiv 0\) on \(\partial B_{r_N}(0)\). By subharmonicity one has \(u <0\) on \(B_{r_N}(0)\). However now \(r_1< r_N\), and therefore, one obtains a contradiction to \(u = 0\) on \(\partial B_{r_1}(0)\). \(\square\)
Lemma 10.7
(Explicit radial solutions) Suppose \(\Omega = B_1(0)\). Let \(u_0\) be a positive constant. Define
In case that \(h(u_0) < \pi\), the infimum in (10.4) is attained and for each \(R \in (0,1)\) that realizes the infimum in (10.4) the function
is a minimizer with energy \({\mathcal {E}}(u) = h(u_0)\). In case that \(h(u_0) = \pi\) a minimizer is given by a constant.
Proof
Recall there exists a radial minimizer u by Corollary 10.4. By Theorem 1.4, Corollary 2.13 and Proposition 10.6 we deduce that \(\{ u = 0 \}\) is either empty or there exists \(R_0 \in (0,1)\) such that \(\{ u = 0 \} = \partial B_{R_0}(0)\). If \(\{u = 0\}\) is empty then the minimizer is a contant. In the other case, Lemma 2.9 implies that u is weakly biharmonic on the annuli \(\{ 0< x < R_0 \}\) and \(\{R_0< x<1\}\). Hence there exist real numbers \(C_1,D_1, E_1,F_1,C_2,D_2,E_2,F_2\) such that
Since u has to be continuous at zero we deduce that \(E_1 = 0\). Since second derivatives of u have to be continuous at zero it is an easy computation to show that \(F_1 = 0\). By the Navier boundary conditions (cf. Appendix 3) we get that \(4C_2 + 2F_2 = 0\) and thus
As \(\Delta u\) has to be continuous we obtain that \(4C_1 = 2 F_2 \log R_0\), i.e. \(C_1 = \frac{1}{2}F_2 \log R_0\). The fact that \(u = 0\) on \(\partial B_{R_0} (0 )\) implies that \(0 = C_1 R_0^2 + D_1\) and hence \(D_1 =  C_1 R_0^2 =  \frac{F_2}{2}R_0^2 \log R_0\). From all these computations we obtain
If we take the radial derivative \(\partial _r u\) in both cases and set them equal we obtain
which results in \(E_2 = \frac{1}{2}F_2 R_0^2\) and thus
Note another time that \(0 = \lim _{ x \rightarrow R_0 + } u\), and therefore,
Hence \(D_2 = \frac{1}{2}F_2 R_0^2  F_2 R_0^2 \log R_0\) and this yields that
Using that \(u \equiv u_0\) on \(\partial B_1(0)\) we find
which finally determines \(R_0\). Hence we know that there must exist some \(R_0 \in (0,1)\) such that
Now define for \(R_0 \in (0,1)\) the function \(w_{R_0} \in {\mathcal {A}}(u_0)\) to be the righthand side of (10.7). We have shown either \(\{u = 0 \}\) is empty or that the minimizer is given by some \(w_{R_0^*}\) for some \(R_0^* \in (0,1)\). Going back to (10.5) and using that according to Proposition 10.6\(\{ u > 0 \} = \pi (1R_0^2)\) we obtain that
where we use the derived parameter identity for \(C_1\) and radial integration in the last step. Using that
we obtain using (10.6)
We have shown that for each \(R_0 \in (0,1)\) we can find an admissible function \(w_{R_0} \in {\mathcal {A}}(u_0)\) such that \({\mathcal {E}}(w_{R_0})\) is given by the righthand side of (10.8). Moreover we know that a minimizer u is among such \(w_{R_0}\) in case that \(\{ u = 0 \} \ne \emptyset\). In case that \(\{u = 0 \} = \emptyset\) however, we know from Remark 2.8 that \({\mathcal {E}}(u) = \pi\). We obtain that
and in case that the infimum is smaller than \(\pi\), it is attained by some \(R_0^* \in (0,1)\) such that a minimizer is given by \(w_{R_0^*}\). \(\square\)
Remark 10.8
Let \(h(u_0)\) be the quantity defined in the previous lemma. If \(h(u_0)< \pi\) then one has to find
To do so, we set the first derivative of the expression equal zero, which becomes
Solving for \(u_0\) and plugging this into (10.4) we find that
Lemma 10.9
(The nonuniqueness level) Let \(\Omega = B_1(0)\). Then the quantity \(\iota\) in Definition 8.1is given by
where \(R_* \simeq 0.533543\) is the unique solution of
Proof
First we show that (10.12) has a unique solution \(R_* \in (0,1)\). For this we first rewrite the equation multiplying by \(2\log R\).
Using that \(2 \log R = \log R^2\) and substituting \(R^2 = e^t\) for some \(t \in ( \infty , 0)\) we find
By [7, Eq. (2.23)], this equation has the solution
where W denotes the Lambert Wfunction, i.e. the multivalued inverse of \(f(x) = x e^x\). Note that for each negative number in \(a \in ( e^{1},0)\), W(a) is exactly twovalued with one value smaller than \(1\) and one value larger than \(1\). This can be seen using that f is negative on \(( \infty , 0)\) and has a global minimum at \(1\) with value \(e^{1}\). Moreover f is decreasing on \((\infty , 1)\) and increasing \((1, 0)\). All of these assertions can be proved with standard techniques. Now note that \(f(\frac{1}{2}) =  \frac{1}{2\sqrt{e}}\), and therefore, \(\frac{1}{2}\) is one value of w, i.e., the first possible solution for t is \(t= 0\). This however does not lie in ths interval \((\infty , 0 )\) and hence resubstitution does not generate a values \(R \in (0,1)\). The only remaining possibility is the other value of \(W \left(  \frac{1}{2\sqrt{e}} \right)\) that falls strictly below \(1\) and hence the corresponding solution for t lies in \(( \infty , 0 )\), cf. (10.13). Therefore, this unique solution \(t_* \in (\infty , 0 )\) generates a unique solution \(R_* = e^{\frac{1}{2} t_*} \in (0,1)\). Now we show (10.11).
By Lemma 8.3 one can find a minimizer with energy \(\pi = B_1(0)\). Recall from the proof of Theorem 1.5 that a minimizer \(u \in {\mathcal {A}}(\iota )\) can be constructed by taking a weak \(W^{2,2}\)limit of minimizers \(u_n \in {\mathcal {A}}(\iota _n)\) for some sequence of constants \((\iota _n)_{n \in {\mathbb {N}}}\) that converges from below to \(\iota\). Without loss of generality we can assume that there exists \(\delta > 0\) such that \(\iota _n \geqslant \delta > 0\) for each \(n \in {\mathbb {N}}\). By definition of \(\iota\) one can achieve that \({\mathcal {E}}(u_n) < \pi\) for all \(n \in {\mathbb {N}}\). Repeating the computation in (8.5) one can also has
Now note also that \((u_n)_{n \in {\mathbb {N}}}\) can be chosen to be a sequence of radial minimizers. In particular, we can choose \(u_n\) to be of the form
for some \(R_n \in (0,1)\). By (10.10) we infer that \(R_n\) satisfies
and hence
By (7.4), we obtain that \(\pi R_n^2 \geqslant 4\pi \iota _n^2 \geqslant 4\pi ^2 \delta\). Therefore, \(R_n \geqslant 2\sqrt{\pi }\sqrt{\delta }\) is bounded from below by a strictly positive constant. Define \(a : [0,1] \rightarrow {\mathbb {R}}^2\) to be the continuous extension of \(z \mapsto \frac{z^21}{2\log z}  2 z^2\). By compactness of [0, 1], \((R_n)_{n \in {\mathbb {N}}}\) has a convergent subsequence (again denoted by \((R_n)_{n \in {\mathbb {N}}}\))to some limit \(R \in [0,1]\) that satisfies \(a(R) = 0\). Since \(a(1) = 3 \ne 0\) this equation is only solved by zero and by \(R_*\) determined above. However, \(R \ne 0\) since \((R_n)_{n \in {\mathbb {N}}}\) is bounded away from zero. This implies that \(R = R_*\) and in particular that \((R_n)_{n \in {\mathbb {N}}}\) converges to \(R_*\). By Lemma 10.7 we infer  since \({\mathcal {E}}(u_n) < \pi\)  that
Using that \(\iota _n \rightarrow \iota\), \(R_n \rightarrow R_*\) and \({\mathcal {E}}(u_n) \rightarrow \pi\) as \(n \rightarrow \infty\) we obtain in the limit that
Solving for \(\iota\) we obtain the claim. \(\square\)
Next we list some selected numerical values for radial minimizers in Table 1 and give some plots in the Fig. 1. For this, let R be the set of all points \(R_0 \in (0,1)\) where \(h(u_0)\) in (10.4) is attained (which conicides with the radius of the nodal sphere of a minimizer)
11 Optimality discussion and closing remarks
In this section, we present some open problems which we think would be interesting to consider in the context of the biharmonic Alt–Caffarelli problem. As we outlined in the introduction, the biharmonic Alt–Caffarelli problem is fundamentally different from some more established higher order variational problems with free boundary, and therefore, we believe that new techniques have to be developed.
Remark 11.1
(Optimal interior regularity) It is an interesting question whether one can expect minimizers to be more regular than \(C^2(\Omega )\). Recall that by Theorem 1.4, regularity of minimizers and regularity of the free boundary are connected by the fact that minimizers have nonvanishing gradient on their nodal set. There is however one obstruction to higher regularity: The explicit minimizers found in Lemma 10.7 do not lie in \(C^3(\Omega )\). however, they have a Lipschitzcontinuous second derivative, so it is likely that better regularity statements can be derived. A partial result in [26] shows that \(\Delta u\) is Lipschitzcontinuous. This implies (by regularity of the Laplacian) that \(D^2 u \in C^{0,\gamma }\) for all \(\gamma \in (0,1)\). It is still open whether \(\gamma = 1\) is generally possible.
Another interesting and not immediately related question is the regularity up to the free boundary.
Remark 11.2
(Regularity up to the free boundary) We have found in Lemma 2.9 that \(u \in C^\infty ( \{ u> 0 \})\), as \(\Delta u\) is harmonic in \(\{ u > 0 \}\). Moreover, Theorem 1.4 implies that \(\Delta u\) is continuous on \(\overline{\{ u < 0 \} }\), which makes it a classical solution to a Dirichlet problem. Higher Regularity of \(\Delta u_{\mid _{ u > 0 }}\) up to the free boundary turns out to be an interesting problem. The free boundary is regular enough for elliptic regularity theory, cf. [14, Theorem 9.15]. However, it is unclear whether \(\Delta u_{\mid _{ \{ u = 0 \}}}\) is a trace of a \(W^{2,p}\) function for any \(p \in (1,2)\), which is also a requirement in [14, Theorem 9.15]. This is actually delicate, see [15] and [4, Page 3] for relevant counterexamples. Further regularity up to the free boundary would improve the regularity of the free boundary itself, which we do not consider impossible. Hence such a discussion is useful and could potentially give way to future research.
Remark 11.3
(Dirichlet boundary conditions) The argumentation in the present article relied heavily on a weak version of the ‘maximum principle for systems’, see [13, Section 2.7] for the exact connection between elliptic systems and higher order PDE’s with Navier boundary conditions. In the case of Dirichlet boundary conditions where these priciples are not available, statements like Corollary 2.13 are not expected to hold true in the way they do in our case. We nevertheless believe that a discussion of the Dirichlet problem is also doable. It would be an interesting question whether the results are similar at all. The question has also been asked for other higher order free boundary problems, see [6] for the biharmonic obstacle problem, where rich similarities can be found.
Remark 11.4
(Connectedness of the free boundary) It would also be interesting to understand some global properties of the minimizer. For example it is worth asking whether conditions on \(\Omega\) and \(u_0\) can be found under which the free boundary is connected, i.e. \(N = 1\) in Theorem 1.4. One would expect that \(N=1\) is not always the case, for example for dumbbellshaped domains. Such global properties of the solution are difficult to understand—again due to the lack of a maximum principle for fourth order equations.
References
Aleksanyan, G.: Regularity of the free boundary in the biharmonic obstacle problem, Preprint, (2019)
Alt, H.W., Caffarelli, L.A.: Existence and regularity for a minimum problem with free boundary. J. Reine Angew. Math. 325, 105–144 (1981)
Armitage, D.H., Gardiner, S.J.: Classical Potential Theory. Springer Monographs in Mathematics. SpringerVerlag London, Ltd., London (2001). https://doi.org/10.1007/9781447102335
Arendt, W., Daners, D.: The Dirichlet problem by variational methods. Bull. Lond. Math. Soc. 40(1), 51–56 (2008). https://doi.org/10.1112/blms/bdm091
Berenstein, C.A., Gay, R.: Complex Analysis and Special Topics in Harmonic Analysis. Springer, New York (1995). https://doi.org/10.1007/9781461384458
Caffarelli, L.A., Friedman, A.: The obstacle problem for the biharmonic operator. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 6(1), 151–184 (1979)
Corless, R.M., Gonnet, G.H., Hare, D.E.G., Jeffrey, D.J., Knuth, D.E.: On the Lambert \(W\) function. Adv. Comput. Math. 5(4), 329–359 (1996). https://doi.org/10.1007/BF02124750
Dahlberg, B.E.J.: Estimates of harmonic measure. Arch. Rational Mech. Anal. 65(3), 275–288 (1977). https://doi.org/10.1007/BF00280445
Dipierro, S., Karakhanyan, A., Valdinoci, E.: A Free Boundary Problem Driven by the Biharmonic Operator, Preprint, Enrico (2018)
Dipierro, S., Karakhanyan, A., Valdinoci, E.: Limit Behaviour of a Singular Perturbation Problem for the Biharmonic Operator, Preprint, (2019)
Evans, L.C.: Partial differential equations, 2nd ed., Graduate Studies in Mathematics, vol. 19, American Mathematical Society, Providence, RI, (2010) https://doi.org/10.1090/gsm/019,
Evans, L.C., Gariepy, R.F.: Measure Theory and Fine Properties of Functions. Textbooks in Mathematics, Revised edition, CRC Press, Boca Raton, FL (2015)
Gazzola, F., Grunau, H.C., Sweers, G.: Polyharmonic boundary value problems. Lecture Notes in Mathematics, vol. 1991. Positivity preserving and nonlinear higher order elliptic equations in bounded domains, SpringerVerlag, Berlin (2010)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order, Classics in Mathematics, Springer, Berlin (2001). Reprint of the 1998 edition
Hadamard, Sur le principe de Dirichlet, French, Bull. Soc. Math. 34, (1906), 135–138, (France)
Han, Q.: A basic course in partial differential equations, Graduate Studies in Mathematics, vol. 120, American Mathematical Society, Providence, RI, (2011). https://doi.org/10.1090/gsm/120
Lawson, T.: Topology: A Geometric Approach, Oxford Graduate Texts in Mathematics, vol. 9. Oxford University Press, Oxford (2003)
Lieb, E.H., Loss, M.: Analysis, 2nd ed Graduate Studies in Mathematics, vol. 14, American Mathematical Society, Providence, RI, (2001). https://doi.org/10.1090/gsm/014
Lima, E.L.: The JordanBrouwer separation theorem for smooth hypersurfaces. Am. Math. Monthly 95(1), 39–42 (1988). https://doi.org/10.2307/2323445
Littlewood, J. E.: Mathematical Notes (8); On Functions Subharmonic in a Circle (II). Proc. London Math. Soc. (2) 28(5), 383–394 (1928). https://doi.org/10.1112/plms/s228.1.383
Malý, J., Ziemer, W.P.: Fine regularity of solutions of elliptic partial differential equations, Mathematical Surveys and Monographs, vol. 51, American Mathematical Society, Providence, RI (1997) https://doi.org/10.1090/surv/051,
Maggi, F.: Sets of finite perimeter and geometric variational problems, Cambridge Studies in Advanced Mathematics, vol. 135, An introduction to geometric measure theory, Cambridge University Press, Cambridge (2012) https://doi.org/10.1017/CBO9781139108133
Mitrea, D.: Distributions, partial differential equations, and harmonic analysis, Universitext, Second edition [ MR3114783], Springer, Cham (2018) https://doi.org/10.1007/9783030032968
Miura, T.: Overhanging of membranes and filaments adhering to periodic graph substrates. Phys. D 355, 34–44 (2017). https://doi.org/10.1016/j.physd.2017.06.002
Miura, T.: Singular perturbation by bending for an adhesive obstacle problem. Calc. Var. Partial Differ. Equ. (2016). https://doi.org/10.1007/s005260150941z
Müller, M.: The Poisson Equation Involving Surface Measures, Preprint, (2021)
Novaga, M., Okabe, S.: Regularity of the obstacle problem for the parabolic biharmonic equation. Math. Ann. 363(3–4), 1147–1186 (2015). https://doi.org/10.1007/s0020801512005
Novaga, M., Okabe, S.: The twoobstacle problem for the parabolic biharmonic equation. Nonlinear Anal. 136, 215–233 (2016). https://doi.org/10.1016/j.na.2016.02.004
Ponce, A.C.: Elliptic PDEs, measures and capacities, EMS Tracts in Mathematics, vol. 23, European Mathematical Society (EMS), Zürich, (2016) From the Poisson equations to nonlinear ThomasFermi problems https://doi.org/10.4171/140
Serrin, J.: Weakly subharmonic function. Boll. Unione Mat. Ital. (9) 4(3), 347–361 (2011)
Talenti, G.: Nonlinear elliptic equations, rearrangements of functions and Orlicz spaces. Ann. Mat. Pura Appl. 4(120), 160–184 (1979). https://doi.org/10.1007/BF02411942
Willem, M.: Functional Analysis, Cornerstones, Birkhäuser/Springer, New York, (2013) Fundamentals and applications https://doi.org/10.1007/9781461470045
Acknowledgements
Marius Müller was supported by the LGFG Grant (Grant No. 1705 LGFGE) and would like to thank Anna Dall’Acqua and Fabian Rupp for helpful discussions.
Funding
Open Access funding enabled and organized by Projekt DEAL.
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
Appendix 1: Proof of Lemma 3.3
Proof of Lemma 3.3
What one formally does in this proof is plug the fundamental solution F into (2.8). Since F is however not admissible for this equation one has to localize and regularize before, producing error terms that we study in the following.
Choose \(\xi \in C_0^\infty (\Omega )\) such that \(0 \leqslant \xi \leqslant 1\) and \(\xi \equiv 1\) on an open neighborhood U of \(\Omega _{\epsilon _0}^C\). Now choose \((\zeta _n)_{n = 1}^\infty \subset C_0^\infty (\Omega )\) such that \(\zeta _n \rightarrow \Delta (uu_0)\) in \(L^2(\Omega )\). For each \(n \in {\mathbb {N}}\) let \(\phi _n\) be the solution of
By elliptic regularity, \(\phi _n \in W_0^{1,2}(\Omega )\cap W^{2,2}(\Omega )\cap C^\infty (\Omega )\). Moreover, by Definition 2.1
Since \(W^{2,2}(\Omega )\) embeds into \(C({\overline{\Omega }})\), we obtain that \(\phi _n\) converges uniformly to \(u  u_0\). Since \(\phi _n \xi \in C_0^\infty ({\mathbb {R}}^2)\) we can compute
where
Since F is smooth as long as \(x \ne y\) and by choice of \(\xi\) we obtain that \(R_1 \in C^\infty ( \overline{\Omega _{\epsilon _0}^C})\). We further examine (A.1) noting that
where
which lies in \(C^\infty (\overline{\Omega _{\epsilon _0}^C})\) with the same arguments used above. Now since \(u_0 \xi \in C_0^\infty (\Omega )\subset C_0^\infty ({\mathbb {R}}^2)\), (A.3) simplifies by definition of the fundamental solution to
and the righthand side of this equation lies in \(C^\infty ( \overline{\Omega _{\epsilon _0}^C})\). Using this and (A.1) we obtain
for some \({\widetilde{h}} \in C^\infty (\overline{\Omega _{\epsilon _0}^C})\). Now observe that
where
Note that \(R_3 \in C^\infty ( \overline{\Omega _{\epsilon _0}^C} )\) for the very same reason as \(R_1,R_2\) are \(C^\infty\). For the first summand on the righthand side of (A.5), we can use (2.8) since \(F(x, \cdot ) \xi \in W_0^{2,2}(\Omega )\) to obtain
for some \(h \in C^\infty (\overline{\Omega _{\epsilon _0}^C} )\). Note that by construction of \(\Omega _{\epsilon _0}\) in Corollary 2.10, \(\xi \equiv 1\) on \(U \supset \Omega _{\epsilon _0}^C \supset \{ u = 0\} \supset \mathrm {supp}(\mu )\). Therefore, we can leave out the \(\xi\) in the \(\mu\)integration. Now we plug in \(x \in \overline{\Omega _{\epsilon _0}^C}\). Then \(\xi (x) = 1\) and hence by (A.6)
Appendix 2: Proof of Lemma 5.5
Proof of Lemma 5.5
We only show, for the sake of simplicity that \(\Delta u \in C(\Omega )\). Other second derivatives work similarly. For \(x \in \{ u> 0 \} \cup \{ u< 0 \}\) one can infer continuity of the Laplacian from Lemma 2.9. Now fix \(x \in \{ u = 0 \}\). We show that \(\Delta u\) is continuous at x. Choose \(r \in ( 0, \tfrac{1}{2})\) such that \(\nabla u \ne 0\) on \(\overline{B_{2r}(x)}\) and \(B_r(x) \cap \{ u = 0 \}\) possesses a graph representation, i.e., there exists a bounded interval \(U \supset \{ x_1\}\) open and \(h \in C^1({\overline{U}})\) such that
Now let \(\xi \in C_0^\infty (B_r(x))\) be such that \(0 \leqslant \xi \leqslant 1\) and \(\xi \equiv 1\) on \(B_{\frac{r}{2}}(x)\). Then we can infer just like in the derivation of (A.6) that for each \(z \in B_{\frac{r}{4}}(x)\) we have
where \(h \in C^\infty (\overline{B_\frac{r}{4}(x)})\) and F is given in Lemma 3.1. Recall that by (5.4) \(\mu\) can be characterized further. Given this (B.2) simplifies to
Using the graph reparametrization (B.1) we get
By choice of r we have \( (y', h(y'))  x< r < \frac{1}{2}\) for each \(y' \in U\) and \(zx< \frac{r}{4}< \frac{1}{8}\). Hence \( z (y', h(y')) < \frac{5}{8} <1\) which implies that the expression in the integral is negative, see the properties of F in Lemma 3.1. Taking the derivative using similar techniques as in the proof of Corollary 3.5 we get
Later we will use the dominated convergence theorem to show continuity. To do so, we substitute \(y'' = z_1  y'\) to get for each \(z \in B_{\frac{r}{4}}(x)\)
Now suppose that \(\left( z^{(n)} \right) _{n = 1}^\infty = \left( (z_1^{(n)}, z_2^{(n)}) \right) _{n = 1}^\infty \subset B_{\frac{r}{4}}(x)\) is a sequence such that \(z^{(n)} \rightarrow x\). By monotonicity of the logarithm and an argument similar to the discussion after (B.3) we have
Hence,
Moreover,
can be bounded independently of \(z \in B_\frac{r}{4}(x)\) by \(C \chi _{B_A(0)}(y'')\) for some appropriate \(C,A > 0\). Given this and (B.5) the integrand in (B.4) can be bounded by \(C(1 +  \log y'' ) \chi _{B_A(0)}(y'')\), which is an integrable dominating function. By the dominated convergence theorem, we can interchange pointwise a.e. limits and integration. Since \(g(z^{(n)}, y'') \rightarrow g(z,y'')\) for Lebesgue almost every \(y'' \in {\mathbb {R}}\) we obtain that \(\Delta u (z^{(n)}) \rightarrow \Delta u (x)\) which shows the desired continuity. \(\square\)
Appendix 3: Vanishing radial limits
We assume for this appendix section that \(\Omega = B_1(0)\). We will first show existence of the radial limits and then improve upon this result by showing that they vanish.
Lemma C.1
(Existence of Radial Limits) Let \(\Omega = B_1(0)\) and \(u \in {\mathcal {A}}(u_0)\) be a minimizer. Let \((r, \theta ) \in [0,1) \times [0,2\pi )\) be the polar coordinate representation of \(\Omega\). Then for almost every \(\theta \in [0,2\pi ]\) there exists
Moreover \(B \in L^1(0,2\pi )\).
Proof
We apply [20, Main Theorem], which says that any subharmonic function v in \(B_1(0)\) such that
has radial limits in \({\mathbb {R}}\) for almost every \(\theta \in [0,2\pi )\) as \(r \rightarrow 1\), i.e. there is a measurable map \(L = L(\theta ) : [0, 2\pi ) \rightarrow {\mathbb {R}}\) such that
To show existence of radial limits of \(\Delta u\), we check (C.1) for \(v = \Delta u\), which is subharmonic by [30, Theorem 4.3], as it is continuous by Theorem 1.4 and weakly subharmonic by Lemma 2.12. Note that \(\Delta u (0)\) is a finite number as 0 lies in the interior if \(B_1(0)\). By superharmonicity of \(\Delta u\) and \(\Delta u \geqslant 0\) by Corollary 2.13 we get
which implies that \(v =  \Delta u\) fulfills (C.1) and hence the existence of radial limits of \(\Delta u\). Define for almost every \(\theta \in [0, 2\pi )\).
Notice that \(B (\theta ) \geqslant 0\). By Fatou’s Lemma we have
where \(\mathrm {d}S_r\) denotes the surface measure on \(\partial B_r(0)\). Since \(\Delta u\) is superharmonic, the integral average is bounded from above by \(\Delta u (0)\) which is a finite number. Therefore, \(B \in L^1(0,2\pi )\) and the claim is shown. \(\square\)
Remark C.2
One can infer from (C.2) that
where the last equality holds because of superharmonicity of \(\Delta u\) (cf. proof of Lemma C.1) and [5, Proposition 4.4.15].
Lemma C.3
(Strong Navier Boundary Conditions) Let \(u \in {\mathcal {A}}(u_0)\) be a minimizer in \(\Omega = B_1(0)\). Let \(B(\theta )\) be defined as in Lemma C.1. Then \(B(\theta ) = 0\) for almost every \(\theta \in [0,2\pi )\). In particular the radial limits of \(\Delta u\) exist \({\mathcal {H}}^1\) almost everywhere and equal zero.
Proof
We show that
The claim follows from this since B is nonnegative (recall Lemma C.1 and Corollary 2.13). Now suppose the opposite, i.e.
Let \(f \in C([0,1])\) and consider the Poisson problem
By elliptic regularity, see [14, Theorem 8.12], the problem has a solution \(\phi \in W^{2,2}(\Omega ) \cap W_0^{1,2}(\Omega )\). Now observe using (7.1), (C.3), spherical integration and Fubini’s Theorem:
This implies that for each \(\phi \in C^2(\overline{B_1(0)}) \cap W_0^{1,2}(B_1(0))\) that is radial one has
Now consider for arbitrary \(p \in [2,\infty )\), \(\phi _p(x) := x^p 1\). Observe that \(\phi _p\) is radial, lies in \(C^2 (\overline{B_1(0)}) \cap W_0^{1,2}(B_1(0))\), that \(\phi _p_{L^\infty (B_1(0))} = 1\) and \(\Delta \phi _p = p^2 x^{p2}\). Therefore,
Plugging this into (C.5) we obtain
We can obtain a contradiction choosing \(p : = \frac{1}{\pi }\left( \frac{1}{2\pi }\int _0^{2\pi } B(\theta ) d\theta \right) ^{1} \frac{\Omega }{\inf _{\partial B_1(0)} u_0}\), which is an admissible choice. Hence we have shown (C.4) by contradiction. \(\square\)
Remark C.4
Note also that by Corollary 2.10 and Lemma 2.9, \(\Delta u\) is harmonic in the Annulus \(B_1(0) \setminus {\overline{B}}_{r_0}(0)\) for some \(r_0\) sufficiently close to 1. By [8, Theorem 2], \(\Delta u\) has also nontangential limits as \(x \rightarrow e^{i \theta } \in \partial B_1(0)\) for almost every \(\theta \in [0, 2\pi )\). Of course the nontangential limit has to coincide with the radial limit, which is zero as we just proved. Hence we obtain ‘\(\Delta u = 0\) \({\mathcal {H}}^1\)almost everywhere on \(\partial B_1(0)\)’ in the sense of nontangential limits, see [8] for more details on these.
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
Müller, M. The biharmonic Alt–Caffarelli problem in 2D. Annali di Matematica 201, 1753–1799 (2022). https://doi.org/10.1007/s10231021011783
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231021011783
Keywords
 Alt–Caffarelli problem
 Higher order PDE
 Free boundary problem
 Subharmonic functions
 Geometric measure theory