Abstract
Using a Caccioppoli-type inequality involving negative exponents for a directional weight we establish variants of Bernstein’s theorem for variational integrals with linear and nearly linear growth. We give some mild conditions for entire solutions of the equation
under which solutions have to be affine functions. Here f is a smooth energy density satisfying \(D^2 f>0\) together with a natural growth condition for \(D^2 f\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In [1] Bernstein proved that every \(C^2\)-solution \(u=u(x) = u(x_1,x_2)\) of the non-parametric minimal surface equation
over the entire plane must be an affine function, which means that with real numbers a, b, c it holds
For a detailed discussion of this classical result the interested reader is referred for instance to [2,3,4,5] and the more recent contributions [6, 7] as well as the references quoted therein.
Starting from Bernstein’s result the question arises to which classes of second order equations the Bernstein-property extends. More precisely, we replace (1.1) through the equation
for a second order elliptic operator L and assume that \(u \in C^2({\mathbb {R}}^2)\) is an entire solution of (1.2) asking if u is affine. To our knowledge a complete answer to this problem is open, however we have the explicit “Nitsche-criterion” established by Nitsche and Nitsche [8].
In our note we discuss Eq. (1.2) assuming that L is the Euler-operator associated to the variational integral
with density f: \({\mathbb {R}}^2 \rightarrow {\mathbb {R}}\) and for domains \(\Omega \subset {\mathbb {R}}^2\), i.e. (1.2) is replaced by
where in the minimal surface case (1.1) we have \(f(p) = \sqrt{1+|p|^2}\), \(p\in {\mathbb {R}}^2\), being an integrand of linear growth with repect to \(\nabla u\). For this particular class of energy densities and under the additional assumption that f is of type \(f(p) = g(|p|)\), \(p\in {\mathbb {R}}^2\), for a function \(g\in C^2([0,\infty ))\) such that
with exponent \(\mu \ge 3\) (including the minimal surface case) we proved the Bernstein-property in Theorem 1.2 of [9] benefiting from the work [10] of Farina, Sciunzi and Valdinoci.
Bernstein-type theorems under natural additional conditions to be imposed on the entire solutions of the Euler-equations for splitting-type variational integrals of linear growth have been established in the recent paper [11].
One of the main tools used in [11] is a Caccioppoli-inequality involving negative exponents which was already exploited in different variants in the papers [12,13,14,15].
In fact we used this inequality to show that \(\partial _1 \nabla u \equiv 0\) which follows by considering the bilinear form \(D^2f(\nabla u)\) with suitable weights. Since we are in two dimensions, the use of Eq. (1.3) then completes the proof of the splitting-type results in [11].
In the manuscript at hand we observe that even without splitting-structure it is possible to discuss the Caccioppoli-inequality with a directional weight obtaining \(\partial _1 \nabla u \equiv 0\) and to argue similar as before. We note that considering directional weights gives much more flexibility in choosing exponents than arguing with a full gradient (see Propositions 6.1 and 6.2 of [15]). We here already note that we also include a logarithmic variant of the Caccioppli-inequality as an approach to the limit case \(\alpha = -1/2\).
Before going into these details let us have a brief look at power growth energy densities as for example
with exponent \(s >1\). Then the Nitsche-criterion (compare [8], Satz) shows the existence of non-affine entire solutions to Eq. (1.3), and as we will shortly discuss in the Appendix the same reasoning applies to the nearly linear growth model
which means that we do not have the Bernstein-property for Eq. (1.3) with density of the form (1.4).
However, as indicated above, we can establish a mild condition under which any entire solution is an affine function being valid for a large class of densities f including the nearly linear and even the linear case.
Let us formulate our
Assumptions
The density f: \({\mathbb {R}}^2 \rightarrow {\mathbb {R}}\) is of class \(C^2\) such that
For a constant \(\lambda >0\) it holds
Remark 1.1
Condition (1.5) implies the strict convexity of f, whereas from (1.6) we obtain
with some constant \(c>0\).
We have the following result:
Theorem 1.1
Let f satisfy (1.5) and (1.6) and consider an entire solution \(u \in C^2({\mathbb {R}}^2)\) of Eq. (1.3). Suppose that with numbers \(0\le m < 1\), \(K >0\) the solution satisfies
or
Then u is affine.
Remark 1.2
Since the density f from (1.4) fulfills the the conditions (1.5) and (1.6) and since in this case non-affine entire solutions exist, the requirements (1.7) and (1.8) single out a class of entire solutions of Bernstein-type.
Of course we know nothing concerning the optimality of (1.7) and (1.8). Another unsolved problem is the question, if in the case of linear growth with radial structure, i.e. \(f(\nabla u) = g(|\nabla u|)\), Bernstein’s theorem holds without extra conditions on the entire solution u.
Remark 1.3
The conditions (1.7) and (1.8) are in some sense related to the “balancing conditions” used in [11] in order to exclude entire solutions of the form \(u(x_1,x_2) = x_1x_2\) for densities f of splitting type.
Let us pass to the linear growth case replacing (1.6) by
with a positive constant \(\Lambda \). Here the notion of linear growth just expresses the fact that from (1.9) it follows that
with some number \(c >0\). In this situation we have
Theorem 1.2
Let f satisfy (1.5) together with (1.9) and let \(u \in C^2({\mathbb {R}}^2)\) denote an entire solution of Eq. (1.3) for which we have
or
with some number \(K \in (0,\infty )\). Then u is an affine function.
The results of Theorems 1.1 and 1.2 are not limited to the particular coordinate directions \(e_1=(1,0)\) and \(e_2 =(0,1)\), more precisely it holds:
Theorem 1.3
Let f satisfy either the assumptions of Theorem 1.1 (“case 1”) or of Theorem 1.2 (“case 2”) and suppose that \(u \in C^2({\mathbb {R}}^2)\) is an entire solution of (1.3). Assume that there exist two linearly independent vectors \(E_1\), \(E_2 \in {\mathbb {R}}^2\) such that
-
In case 1: (1.7) holds with \(\partial _\alpha u\) being replaced by \(\partial _{E_\alpha } u\), \( \alpha =1\), 2,
-
In case 2: (1.10) is true again with \(\partial _\alpha u\) being replaced by \(\partial _{E_\alpha } u\), \(\alpha =1\), 2.
Then u is an affine function.
The proof of this result follows from the observation that the function u is a local minimizer of the energy \(\int f(\nabla u)\, \textrm{d}x\) combined with a suitable linear transformation. If we let
then it holds
and \({\tilde{u}}\) is an entire solution of Eq. (1.3) with f being replaced by \({\tilde{f}}\), which follows from the local minimality of \({\tilde{u}}\) with respect to the energy \(\int {\tilde{f}}(\nabla w) \, \textrm{d}x\). Obviously the properties of \({\tilde{f}}\) required in Theorems 1.1 and 1.2, respectively, are consequences of the corresponding assumptions imposed on f, thus we can apply our previous results to \({\tilde{u}}\) (and \({\tilde{f}}\)).
Our paper is organized as follows: in Sect. 2 we present the proof of Theorem 1.1 based on a Caccioppoli-inequality involving negative exponents, which has been established, for instance, in [15], Proposition 6.1.
Sect. 3 is devoted to the discussion of Theorem 1.2. We will make use of some kind of a limit version of Caccioppoli’s inequality, whose proof will be presented below. With the help of this result the claim of Theorem 1.2 follows along the lines of Sect. 2. We finish Sect. 3 by presenting a technical extension of Theorem 1.2, which just follows from an inspection of the arguments (compare Theorem 3.1).
For the reader’s convenience we discuss in an appendix Eq. (1.3) for the nearly linear growth case (1.4) and show that the Nitsche-criterion applies yielding non-affine solutions defined on the whole plane.
2 Proof of Theorem 1.1
Let f satisfy (1.5) and (1.6), let u denote an entire solution of (1.3) and assume w.l.o.g. that (1.7) holds. We apply inequality (107) from Proposition 6.1 in [15] with the choices \(l=1\), \(i=1\) and
to obtain for any \(\alpha > -1/2\) and \(\eta \in C^\infty _0(B_{2R})\), \(0\le \eta < 1\),
with a finite constant independent of R.
Letting \(\eta =1\) on \(B_R\) and assuming \(|\nabla \eta | \le c/R\) we apply (1.6) to the r.h.s. of (2.1) and get
On account of (1.7) we deduce for any \(\varepsilon >0\)
Recall that \(m < 1\), hence \(2m(1+\alpha ) -1 <0\) for \(\alpha > -1/2\) sufficiently close to \(-1/2\). We fix \(\alpha \) with this property and finally select \(\varepsilon >0\) such that \(2m(1+\alpha ) - 1+ \varepsilon \le 0\) to obtain
Combining (2.2) with (2.3) it is shown that
We quote equation (108) from [15] again with the previous choices \(l=1\), \(i=1\), \(\Omega = B_{2R}\), \(\eta \in C^\infty _0(B_{2R})\), \(0\le \eta \le 1\), and with \(\alpha \) as fixed above. The same calculations as carried out after (108) then yield
On the r.h.s. of (2.5) we apply the Cauchy–Schwarz inequality to the bilinear form \(D^2f(\nabla u)\), hence
Here \(\eta \) has been chosen in such a way that \(\eta \equiv 1\) on \(B_R\) and therefore \({\text {spt}}(\nabla \eta ) \subset B_{2R} -B_R\). By (2.4) we have
whereas the calculations carried out after (2.2) imply the boundedness of \(T_2(R)\). Thus (2.5) and (2.6) imply
hence \(\nabla \partial _1 u = 0\) on account of (1.5). This shows \(\partial _1 u =a\) for some number \(a \in {\mathbb {R}}\) and since
we can write
Equation (1.3) gives
so that
for a constant c. Finally we observe that the function
is strictly increasing (recall (1.5)), which shows the constancy of \(\varphi '\) and therefore
for some numbers b, \(c \in {\mathbb {R}}\). Altogether we have shown that u is affine finishing the proof of Theorem 1.1. \(\square \)
3 Proof of Theorem 1.2
Let the assumptions of Theorem 1.2 hold and consider an entire solution \(u \in C^2({\mathbb {R}}^2)\) of (1.3) without requiring (1.10) or (1.11) for the moment. If we use condition (1.9) in inequality (2.1) and if we assume that the choice \(\alpha = -1/2\) is admissible in (2.1), then the calculations of Sect. 2 would immediately imply that \(\nabla ^2 u =0\) yielding Bernstein’s theorem, i.e. the entire solution u is an affine function without adding further hypotheses on u.
However, we do not have (2.1) in the case that \(\alpha = -1/2\) and hence we provide a weaker version involving conditions like (1.10) or (1.11) in order to conclude that u is affine.
To be precise, we assume the validity of (1.10), let l, i, \(\Omega \) and \(\eta \) as stated in front of (2.1) recalling
for the choice \(\psi : = \eta ^2 \partial _1 u \Phi (\Gamma _1)\), where
Note that the choice \(\alpha = -1/2\) is compensated by the logarithm. Obviously \(\Phi (1) =2\), \(\Phi (\infty ) = 0\) together with
where the negative sign for \(\Phi '(t)\) follows from \(\ln (e^2 -1 +t) \ge 2\) for \(t \ge 1\).
With \(\psi \) from above and \(\Phi \) defined according to (3.1) we obtain
Using the identity
the left-hand side of (3.3) equals
From (3.2) it follows (recalling \(\Phi '(t) \le 0\) for \(t \ge 1\))
for some constant \(c >0\). Altogether we deduce from (3.3) the inequality of Caccioppoli-type
To the quantity S we apply the Cauchy–Schwarz inequality valid for the bilinear form \(D^2f(\nabla u)\) and get
On the right-hand side of (3.5) we make use of Young’s inequality yielding for any \(\varepsilon >0\)
Finally we combine (3.6) and (3.4), thus for a fixed \(\varepsilon \) being sufficiently small it holds
The properties of \(\eta \) as stated after (2.1) imply that the right-hand side of (3.7) is bounded by (recall (1.9))
Quoting (1.10) and returning to (3.7) we find that
With (3.8) and on account of estimate (3.5) it is immediate (recall (3.4)) that actually
hence \(\nabla \partial _1 u =0\) and we can follow the lines of Sect. 2 to prove our claim. \(\square \)
An inspection of our previous arguments shows that we can replace the function \(\ln (e^2-1+t)\) used before by any function \(\rho \): \([1,\infty ) \rightarrow {\mathbb {R}}^+\) of class \(C^1\) such that we have for all \(t\ge 1\)
Replacing (3.1) by
and letting as before \(\psi := \eta ^2 \partial _1 u \Phi (\Gamma _1)\) now with \(\Phi \) defined in (3.10) we obtain
Theorem 3.1
Let f satisfy (1.5) together with (1.9) and choose \(\rho \) according to (3.9). Suppose that \(u \in C^2({\mathbb {R}}^2)\) is an entire solution of (1.3) such that
or
holds with some finite constant c. Then u is an affine function.
We leave the details to the reader just adding the obvious remark that clearly we can interchange the roles of the partial derivatives \(\partial _1 u\) and \(\partial _2 u\) or even work with arbitrary directional derivatives as done in Theorem 1.3.
References
Bernstein, S.: Über ein geometrisches Theorem und seine Anwendung auf die partiellen Differentialgleichungen vom elliptischen Typus. Math. Z. 26(1), 551–558 (1927)
Dierkes, U., Hildebrandt, S., Sauvigny, F.: Minimal surfaces Grundlehren der Mathematischen Wissenschaften. Springer, Heidelberg, revised and enlarged second edition, Heidelberg (2010)
Nitsche, J.C.C.: Lectures on minimal surfaces. Introduction, fundamentals, geometry and basic boundary value problems. Translated from the German by Jerry M. Feinberg., Cambridge University Press, Cambridge (1989)
Nitsche, J.C.C.: Elementary proof of Bernstein’s theorem on minimal surfaces. Ann. Math. 2(66), 543–544 (1957)
Osserman, R.: A survey of minimal surfaces, 2nd edn. Dover Publications Inc, New York (1986)
Farina, A.: A Bernstein-type result for the minimal surface equation. Ann. Sc. Norm. Super. Pisa 14(4), 1231–1237 (2015)
Farina, A.: A sharp Bernstein-type theorem for entire minimal graphs. Calc. Var. Partial Differ. Equ. 57(5), 122–125 (2018)
Nitsche, J.C.C., Nitsche, J.: Ein Kriterium für die Existenz nicht-linearer ganzer Lösungen elliptischer Differentialgleichungen. Arch. Math. 10, 294–297 (1959)
Bildhauer, M., Fuchs, M.: Liouville-type results in two dimensions for stationary points of functionals with linear growth. Ann. Fenn. Math. 47(1), 417–426 (2022)
Farina, A., Sciunzi, B., Valdinoci, E.: Bernstein and De Giorgi type problems: new results via a geometric approach. Ann. Sc. Norm Super Pisa. Cl. Sci. 7(4), 741–791 (2008)
Bildhauer, M., Farquhar, B., Fuchs, M.: A small remark on Bernstein’s theorem. Arch. Math. (Basel) 121(4), 437–447 (2023)
Bildhauer, M., Fuchs, M.: Splitting type variational problems with linear growth conditions. J. Math. Sci. 250(2), 45–58 (2020)
Bildhauer, M., Fuchs, M.: Splitting-type variational problems with mixed linear-superlinear growth conditions. J. Math. Anal. Appl. 501(1), 29 (2021)
Bildhauer, M., Fuchs, M.: Small weights in Caccioppoli’s inequality and applications to Liouville-type theorems for non-standard problems. Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 508, 73–88 (2021)
Bildhauer, M., Fuchs, M.: On the global regularity for minimizers of variational integrals: splitting-type problems in 2D and extensions to the general anisotropic setting. J. Elliptic Parabol. Equ. 8(2), 853–884 (2022)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no Conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
We shortly discuss the Nitsche-criterion (see [8], Satz) for the model case
With a slight abuse of notation but in accordance with the terminology of [8] we let
so that
Introducing the function \(\lambda (t):= 2 f''(t)/f'(t)\) again for \(t \ge 0\) we claim
From (4.1) it follows that the Euler-equation associated to the functional J admits entire non-affine solutions.
For (4.1) we observe the formula
and remark that for \(t \gg 1\) it holds
as well as \(t \le c_3 t \ln \big (1+\sqrt{t}\big )\), hence
again for \(t \gg 1\). Since
the claim (4.1) follows. \(\square \)
Remark 4.1
Formally the above model case of nearly linear growth should satisfy the \(C^{3,\alpha }\)-condition posed in [8]. Since the integral occurring in (4.1) is not depending on the energy density for small values of t, we may easily adjust the example to obtain a \(C^{3,\alpha }\)-density of nearly linear growth. For example we just let \(f_\varepsilon (t):= \sqrt{\varepsilon +t} \ln (1+\sqrt{\varepsilon +t})\), \(t\ge 0\), with some \(\varepsilon > 0\).
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
Bildhauer, M., Fuchs, M. Variants of Bernstein’s theorem for variational integrals with linear and nearly linear growth. Ricerche mat (2024). https://doi.org/10.1007/s11587-024-00857-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11587-024-00857-6
Keywords
- Bernstein’s theorem
- Non-parametric minimal surfaces
- Variational problems with (nearly) linear growth
- Equations in two variables