Abstract
We investigate regularity estimates of quasi-minima of the Alt–Caffarelli energy functional. We prove universal Hölder continuity of quasi-minima and optimal Lipchitz regularity along their free boundaries.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The celebrated Alt–Caffarelli functional
has been a focal point of scholarly exploration ever since its introduction in the seminal paper [3], given rise to a substantial body of literature and sparked substantial research endeavors. In its one-phase version, i.e. nonnegative minimizers of the Alt–Caffarelli functional are intricately connected to the Bernoulli problem and have significant implications in the realm of optimal design problems with volume constraints, see for instance [1, 2, 15, 16]. For a comprehensive and in-depth exposition of the regularity theory related to the Alt–Caffarelli functional, we recommend consulting the excellent, recent book [17].
In response to challenges originating in the field of material sciences, this paper starts the analysis of quasi-minimizers within the framework of the Alt–Caffarelli functional. Our investigation takes inspiration from the pioneering work of Giaquinta and Giusti, who introduced the concept of quasi-minimizers in their influential papers [12, 13].
A fundamental aspect of quasi-minimizer theory lies in its capacity to offer a unified framework for examining solutions of elliptic equations and systems, as well as for exploring minima of general functionals within the realm of the Calculus of Variations. This unified approach provides a versatile and powerful analytical tool for understanding a wide range of mathematical phenomena, including problems ruled by elliptic operators with no continuity assumptions on their coefficients.
Given a functional \(\mathcal {F}\), defined on an appropriate functional space \(X(\Omega )\), and a real number \(Q\ge 1\), we say \(u \in X\) is a quasi-minimizer (or Q-minimum for short) of \(\mathcal {F}\) if
for all \(v \in X(\Omega )\) such that \(K:= \text {Supp} (u-v)\) is a compact subset of \(\Omega \). Typically \(X(\Omega )\) is a Sobolev space of functions possessing weak derivatives in a Lebesgue space.
Our primary objective in this study is to derive universal regularity estimates for Q-minimizers governed by the functional (1.1). It’s worth noting that the Q-minima class encompasses all minimizers associated with cavitation problems ruled by bounded measurable coefficients, which have direct relevance to issues in material sciences. However, this problem presents a significantly greater level of complexity, primarily due to the absence of a partial differential equation (PDE) governing the problem within the non-coincidence set, \(\{u > 0 \}\). This lack of a suitable PDE within this set introduces substantial challenges to the analysis.
It is worth mentioning that the concept of almost minimizers for the Alt–Caffarelli functional,
has been recently developed by David and Toro in [9], David, Engelstein, and Toro in [10], and De Silva and Savin in [6], with related analysis covered in [7]. This emerging field of almost minimizers presents a fruitful complement to the estimates established in this paper. Our work contributes by providing universal estimates that remain independent of the modulus of continuity involved in the parameters of the problem, i.e. as \(\alpha \searrow 0\) in (1.2).
In this paper, we have achieved two significant results. Firstly, we establish a universal Hölder continuity estimate that applies to sign-changing Q-minima of the Alt–Caffarelli functional, as in [4]. More remarkably, we obtain the optimal Lipschitz regularity for non-negative Q-minima along their free boundaries.
Similar results, with nearly verbatim proofs, can be established for Q-minima of the p-Alt–Caffarelli functional, acting on the space \(W^{1,p}\), as introduced in [8]. We have decided to present the theorems for the original Alt–Caffarelli functional, i.e. for \(p=2\), to ease the presentation of the main ideas.
Finally, as a continuation of this research, we intend to explore additional geometric measure properties of the free boundary in forthcoming works.
2 Preliminary results
Hereafter in this paper, \(\Omega \) denotes a fixed open set of \(\mathbb {R}^n\) and \(u\in H^1(\Omega )\) a generic Q-minimizer of the functional J defined in (1.1). That is,
for all \(v\in H^1(\Omega )\) such that \(K:= \text {Supp} (u-v) \Subset \Omega \).
Lemma 1
(Scaling) Let \(u\in H^1(B_1)\) be a Q-minimizer of J, \(x_0 \in B_1\), \(0<r<\text {dist}(x_0, \partial B_1)\), and \(\mu \in \mathbb {R}\). The scaled function,
defined over \(B_1\) is a Q-minimizer of the functional \(J_{r,s; \mu }\) given as:
Proof
Let \(v \in H^1(B_1)\) be such that \(K:= \text {Supp} \left( u_{r,s; \mu }-v \right) \Subset B_1\). Define \(\tilde{v} :B_r(x_0) \rightarrow \mathbb {R}\) by
Easily one checks that \(\tilde{K}:= \text {Supp} \left( u -\tilde{v} \right) \Subset B_r(x_0)\). Thus, by the Q-minimality of u, we can write
The change of variables, \(x_0+rz = x\), yields:
Similarly, making the change of variables, \( \frac{y-x_0}{r} = z\), one finds
Combining (2.1) with (2.2) and (2.3), and cancelling the common term \(s^2r^{n-2} > 0\), we finally reach:
and thus the lemma is proven. \(\square \)
We proceed to establish a version of the Cacciopoli inequality tailored to Q-minima, which can be readily adapted to our specific case. The proof closely follows the approach presented in [14, Theorem 6.5], and for brevity, we omit it here.
Lemma 2
Let \(u\in H^1(B_1)\) be a Q-minimizer of J. There exists a constant \(C_1>0\), depending only on dimension and Q, such that:
The following lemma plays a pivotal role in deriving the regularity estimates of this paper, in particular in obtaining the optimal Lipchitz regularity of Q-minima along their free boundaries.
Lemma 3
(Weak closeness) Let \(\{u_n\}_{n=1}^\infty \subset H^1(\Omega )\) be a sequence of Q-minima of energy functionals
Assume \(u_n \rightarrow u\) weakly in \(H_\text {loc}^1(B_1)\) and \(a_n(x) \rightarrow a_\infty (x)\) strongly in \(L^1\). Then u is a \(\left( Q+2 \right) \)–minimizer of the energy functional
Proof
Let \(O \subset B_1\) be a regular set and v a function satisfying \(v = u\) outside O. Define \(\varphi _n\) to be the harmonic function in O whose boundary data equals \(u_n-u\). Extend it to agree with \(u_n-u\) outside of O too. Define
and note that \(v_n\) agrees with \(u_n\) outside O. Using the Q-minimality of \(u_n\), we obtain
By weak convergence of \(u_n\) to u, there readily holds:
We can further estimate
Combining (2.5) and (2.6), and taking the \(\liminf \) as \(n\rightarrow \infty \), we reach:
Next, keeping in mind that, by the trace theorem, \(\varphi _n \rightarrow 0\) strongly in \(H^1\), we compute:
Combining (2.4), (2.7), and (2.8) we obtain
Next, adding \(2 \int _O |a_\infty (x)| dx\) both sides of the inequality above finally yields
and the lemma is proven.\(\square \)
Remark 1
A quick inspection of the proof of Lemma 3 reveals that if \(a_\infty = 0\), then the \(H^1\) weak limit is actually a Q-minimum of the Dirichlet integral,
That is, we do not need to increase the parameter Q. This applies to the compactness argument used in the key Lemma 4. However, while this remark is interesting, it will not play a role in the proofs presented in this paper, as no quantitative estimates on the Hölder exponent of Q-minima of the Dirichlet integral are, after all, available.
We conclude this section with some known facts about Q-minima. The proofs can be found in [14]; see for instance [14, Theorem 7.6] and [14, Theorem 7.10].
Theorem 1
(DeGiorgi class) Let \(u \in H^1(B_1)\) be a Q-minimizer of the Dirichlet energy functional,
Then \(v \in C^{0,\alpha }(B_{1/2})\), for some \(0<\alpha <1\) that depends only on Q and dimension.
Theorem 2
(Harnack inequality) Let \(u \in H^1(B_1)\) be a non-negative Q-minimizer of the Dirichlet energy functional,
Then,
where \(C>0\) depends only on dimension and on Q.
3 Hölder continuity
In this section, we employ compactness methods inspired by Caffarelli [5] to establish the universal local regularity of Q-minima within the framework of the Alt–Caffarelli functional (1.1).
We initiate the process by establishing the suitable functional analysis framework, which is essential for applying the compactness method. Given a constant \(0<\alpha < 1\), we denote the space of \(\alpha \)-Hölder continuous functions as
The ball of radius R in \(C^{0,\alpha }(\Omega )\) will be denoted by \(\Xi _R^\alpha (\Omega )\), i.e.
The main theorem of this section is a local universal continuity estimate of Q-minima of the energy functional J. More precisely we will prove:
Theorem 3
Let \(u \in H^1(B_1)\) be a Q-minimizer of J in \(B_{1}\). There exist constants \(0<\alpha < 1\) and \(C_2>0\), depending only on dimension and Q such that
for all \(x,y\in B_{1/2}\).
Theorem 3 will be established with the aid of a series of lemmas.
Lemma 4
Let \(a \in L^1(B_1)\), \(\mu \in \mathbb {R}\), and \(u \in H^1(B_1)\), verifying,
be a Q-minimizer of
There exist universal constants \(R>0\) and \(0<\alpha <1\) such that, for any given \(\epsilon > 0\), one can find a \(\delta >0\), depending only on \(\epsilon >0\) and universal parameters, such that if \(\Vert a\Vert _{L^1} < \delta \), then
Proof
Suppose, seeking a contradiction, the thesis of the lemma fails to hold. This means there exists a constant \(\epsilon _0 >0\) and sequences of functions \(a_n \in L^1(B_1)\), \(\mu _n \in \mathbb {R}\) (not necessarily bounded), \(u_n \in H^1(B_1)\), with
and \(\Vert a_n\Vert _{L^1(B_1)} = \text {o}(1)\), such that \(u_n\) is a Q-minimum of
however
for all \(h \in \Xi ^\alpha _R(B_{1/2})\). From Lemma 2, up to a subsequence, \(u_n \rightarrow u\) weakly in \(H^1(B_1)\) and strongly in \(L^2(B_1)\). In particular, from (3.1) there holds
a dimensional constant. It is plan to see from Lemma 3 that u is a Q-minimum of the Dirichlet functional
However, from Theorem 1u belongs to \(\Xi ^\alpha _R(B_{1/2})\), for some universal constants \(R>0\) and \(0<\alpha <1\). We then obtain a contradiction by taking n large enough in (3.2). \(\square \)
Hereafter we will use the notation:
Lemma 5
Let \(u \in H^1(B_1)\) be a Q-minimum of the functional
for some \(a \in L^1(B_1)\). Assume
If \(\Vert a\Vert _{L^1(B_1)} \le \delta _0\), for some \(\delta _0\) universal, then for small numbers \(0< \lambda \ll 1/2\) and \(0<\beta < 1\) depending only on dimension and Q, there holds
Proof
For an \(\epsilon >0\) to be chosen a posteriori, let \(\delta >0\) be the corresponding smallness condition on \(\Vert a\Vert _{L^1(B_1)}\) from Lemma 4 such that
for some \(h \in \Xi _R^\alpha (B_{1/2})\). For \(0<\lambda \ll 1/2\) to be set and \(\mu \in \mathbb {R}\) arbitrary, we can estimate, with the aid of the triangle inequality and the Cauchy-Schwarz inequality
Applying (3.4) with \(\mu = h(0)\), where h is the function granted in (3.3), we reach
Next we estimate, again with the aid of the triangle inequality:
It is time to make our (universal) choices. Initially we choose and fix \(0<\beta <\alpha \). With such a choice made, select \(0<\lambda < 1/2\) such that
Finally, we set
which determines, through Lemma 4, the smallness condition \(\delta >0\) on \(\Vert a\Vert _{L^1(B_1)}\). Finally, combining (3.5) and (3.7), and (3.8) we reach:
and the proof of the lemma is complete.\(\square \)
Proof of Theorem 3
As we move forward to deliver the proof of Theorem 3, let \(u \in H^1(B_1)\) be a generic Q-minimum of the original energy functional J defined in (1.1) and \(x_0 \in B_{1/2}\) be a point. Define
where \(\delta _0\) is the constant from Lemma 5 and
In view of Lemma 1, this sclaed function is under the assumptions of Lemma 5. Since \(\delta _0\) is a universal constant, proving u is \(C^{0,\beta }\) continuous is equivalent to showing \(u_{r,s;0} \in C^{0,\beta }\) with universal control.
In conclusion, it suffices to establish Theorem 3 for functions under the structural assumptions of Lemma 5. Under such conditions, the thesis of Lemma 5 yields:
Define \(u_1 :B_1 \rightarrow \mathbb {R}\) as
Clearly,
In addition, Lemma 1 gives that \(u_1\) is a Q-minimum of the energy functional
Since \(\lambda ^{2(1-\beta )} < 1\), \(u_1\) is entitled to the thesis of Lemma 5; i.e.
Direct calculation yields
Thus, (3.10) yields
Continuing the process recursively, we conclude
for all \(k=1,2,\cdots \). Hölder continuity now follows by standard considerations, which we omit. \(\square \)
4 Free boundary Lipchitz regularity
In this section we focus on the one-phase case, i.e. we assume the Q-minimum is nonnegative. The main result of this section is
Theorem 4
Let \(u \in H^1(B_1)\) be a nonnegative Q-minimum of J and \(z_0 \in \partial \{u>0 \} \cap B_{1/2}\) an interior free boundary point. Then for all \(x\in B_{1/2}(z_0)\) there holds
where \(C>0\) is a constant depending only on dimension, Q, and \(\Vert u\Vert _\infty \).
The proof of Theorem 4 generalizes the findings of [11] and its proof relies on the following key flatness improvement lemma:
Lemma 6
Let \(u \in H^1(B_1)\) be a nonnegative, normalized Q-minimum of
and assume 0 is a free boundary point. Given \(\epsilon >0\), there exists a \(\delta >0\), depending only on \(\epsilon \), Q, and dimension, but independent of u, such that if \(|a(x)| \le \delta \) in \(B_{2/3}\), then
Proof
Assume, seeking a contradiction, that the thesis of the lemma fails to hold. This means there exists a positive number \(\epsilon _0 > 0\), a sequence of bounded functions \(a_n\) with \(\Vert a_n\Vert _\infty = \text {o}(1)\) and a sequence of Q-minima of
in \(B_{1}\), with \(0 \in \{u_n > 0 \}\), such that
for all \(n\in \mathbb {N}\). By Theorem 3, up to a subsequence, we can assume \(u_n \rightarrow u_0\) uniformly in \(B_{2/3}\), to a nonnegative function \(u_0\). In particular, it also follows that \(u_0 = 0\). By the weak closeness lemma, i.e. Lemma 3, it follows that \(u_0\) is a Q-minimum of the Dirichlet functional, and thus entitled to the conclusion of Theorem 2. Thus,
However, in view of (4.1) and the uniform convergence of \(u_n\) to \(u_0\), for n large enough we would conclude:
leading to a contradiction. \(\square \)
Proof of Theorem 4
Let u be a Q-minimum of J. We start off with some universal choices. Take \(\epsilon = 2^{-1}\) and let \(\delta _\star >0\) be the corresponding number yielded by Lemma 6. Consider the function
defined over \(B_1\), where \(0 < \mu _0 \ll 1\) is chosen by the equation
In view of Lemma 1, v is a normalized Q-minimum of the functional
Applying Lemma 6 to v yields
Next, define \(v_2 :B_1 \rightarrow [0,1]\) as:
In view of (4.4), we have
Applying Lemma 1 to \(v_2\), we discover \(v_2\) is too a Q-minimum of the same Alt–Caffarelli functional as in (4.3). Thus it is entitled to the estimate displayed in (4.4). That is:
In view of the definition of \(v_2\), the above inequality yields to v the estimate
Repeating the argument recursively, we conclude
for all natural numbers \(n \in \mathbb {N}\).
Next, given a positive number \(\rho >0\), let
the largest natural number which is less than or equal to \(-\log _2 \rho \). We can estimate, in view of (4.6),
In view of the definition of v, we obtain, labeling \(x = x_0 + \mu _0 y\)
Set \( t = |x-z_0|\). We finally have
and the Theorem is proven. \(\square \)
Data Availability
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
References
Aguilera, N.E., Alt, H.W., Caffarelli, L.A.: An optimization problem with volume constraint. SIAM J. Control. Optim. 24(2), 191–198 (1986)
Aguilera, N.E., Caffarelli, L.A., Spruck, J.: An optimization problem in heat conduction. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 14(3), 355–387 (1987)
Alt, H.W., Caffarelli, L.A.: Existence and regularity for a minimum problem with free boundary. J. Reine Angew. Math. 325, 105–144 (1981)
Alt, H.W., Caffarelli, L.A., Friedman, A.: Variational problems with two phases and their free boundaries. Trans. Amer. Math. Soc 282(2), 431–461 (1984)
Caffarelli, L.A.: Interior a priori estimates for solutions of fully nonlinear equations. Ann. Math. (2) 130(1), 189–213 (1989)
De Silva, D., Savin, O.: Almost minimizers of the one-phase free boundary problem. Comm. Part. Differ. Equ. 45(8), 913–930 (2020)
De Silva, D., Savin, O.: Quasi-Harnack inequality. Am. J. Math. 143(1), 307–331 (2021)
Danielli, D., Petrosyan, A.: A minimum problem with free boundary for a degenerate quasilinear operator. Calc. Var. Part. Differ. Equ. 23(1), 97–124 (2005)
David, G., Toro, T.: Regularity of almost minimizers with free boundary. Calc. Var. Part. Differ. Equ. 54(1), 455–524 (2015)
David, G., Engelstein, M., Toro, T.: Free boundary regularity for almost-minimizers. Adv. Math. 350, 1109–1192 (2019)
dos Prazeres D., Teixeira, E.V.: Cavity problems in discontinuous media. Calc. Var. Part. Differ. Equ. 55(1), Art. 10 (2016)
Giaquinta, M., Giusti, E.: On the regularity of the minima of variational integrals. Acta Math. 148, 31–46 (1982)
Giaquinta, M., Giusti, E.: Quasiminima. Ann. Inst. H. Poincaré Anal. Non Linéaire 1(2), 79–107 (1984)
Giusti, E: Direct Methods in the Calculus of Variations, pp. viii+403. World Scientific, River Edge (2003)
Teixeira, E.V.: The nonlinear optimization problem in heat conduction. Calc. Var. Part. Differ. Equ. 24(1), 21–46 (2005)
Teixeira, E.V.: Optimal design problems in rough inhomogeneous media: existence theory. Am. J. Math. 132(6), 1445–1492 (2010)
Velichkov, B.: Regularity of the One-Phase Free Boundaries. Lecture Notes of the Unione Matematica Italiana (2003)
Acknowledgements
The authors want to express their gratitude to the anonymous referee for his/hers careful revision, in particular for pointing out an oversight in the original proof of Lemma 3. The authors thank support from FAPESQ-PRONEX.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Mondino.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Pellegrino, D.M., Teixeira, E.V. Regularity for quasi-minima of the Alt–Caffarelli functional. Calc. Var. 63, 149 (2024). https://doi.org/10.1007/s00526-024-02773-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-024-02773-x