Abstract
In this paper we prove existence of nonnegative bounded solutions for the non-autonomous prescribed mean curvature problem in non-parametric form on an open bounded domain \(\Omega \) of \({{\,\mathrm{\mathbb {R}}\,}}^N\). The mean curvature, that depends on the location of the solution u itself, is asked to be of the form f(x)h(u), where f is a nonnegative function in \(L^{N,\infty }(\Omega )\) and \(h:{{\,\mathrm{\mathbb {R}}\,}}^+\mapsto {{\,\mathrm{\mathbb {R}}\,}}^+\) is merely continuous and possibly unbounded near zero. As a preparatory tool for our analysis we propose a purely PDE approach to the prescribed mean curvature problem not depending on the solution, i.e. \(h\equiv 1\). This part, which has its own independent interest, aims to represent a modern and up-to-date account on the subject. Uniqueness is also handled in presence of a decreasing nonlinearity. The sharpness of the results is highlighted by mean of explicit examples.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Consider an homogeneous Dirichlet boundary value problem related to the elliptic equation
on an open bounded domain \(\Omega \subseteq \mathbb {R}^N\); here f is a nonnegative function in \(L^{N,\infty }(\Omega )\) and \(h:\mathbb {R}^+ \mapsto \mathbb {R}^+\) is a continuous function possibly unbounded near zero.
If \(f=0\), then (1.1) is the well known minimal surface equation
the name deriving from the fact that, for a smooth function u, the involved operator evaluates the mean curvature of the graph of u at each point (x, u(x)); due to this fact such an operator is also called non-parametric mean curvature operator. The unique solvability of Dirichlet problems associated to (1.2) is classical ([7, 26, 28, 30, 51] and references therein); solutions are known to exist and to be unique for smooth boundary data provided \(\Omega \) is mean convex; i.e. \(\partial \Omega \) has nonnegative mean curvature.
Several instances of (non-parametric) prescribed mean curvature equation of the type
have also been considered in the literature both in the case of constant and non-constant data f starting from [21, 24, 47], and [26, 27] to present a non-complete list.
Prescribed mean curvature problems as (1.3) are known to formally represent the Euler–Lagrange equation of a functional as
involving the area functional.
In order to better understand the basis of solvability of problems as in (1.3) one can formally integrate the equation in there in a smooth sub-domain of \(A\subset \Omega \), and using the divergence theorem to obtain the following necessary condition
where \(\textrm{Per}(A)\) indicates the perimeter of A and \(\nu _A\) is the outer normal unit vector. That is, the existence of solutions for (1.3) is related with a smallness assumption on the datum f. This is typical feature of equations arising from functional with linear growth as, for instance, the one driven by the 1-laplacian (see for instance [13, 32]).
For constant datum \(f=\lambda \) then (1.5) reduces to
for any smooth \(A\subset \Omega \). The best (positive) constant satisfying (1.6) is known to be the Cheeger constant of \(\Omega \) and this fact, again, is reminiscent of some known geometric interpretation for 1-Laplace type problems (see for instance [31], the recent [9], and the gentle introduction to the subject given in [33]).
Solvability of a constant prescribed mean curvature problem was first noticed to be related to the mean curvature of \(\Omega \) in the celebrated paper [47] by J. Serrin (see also [6, 10, 25, 26] and references therein) where a stronger mean convexity assumption on \(\partial \Omega \) is given, namely (here the datum again \(f=\lambda \))
where \({\mathcal {K}}(y)\) is the mean curvature of \(\partial \Omega \).
In [24] M. Giaquinta shows the unique solvability in the space of functions with bounded variation, in a variational sense, if f is measurable and there exists \(\varepsilon _0>0\) such that for every smooth \(A\subseteq \Omega \)
In [26] it is shown that
is a general condition under which (1.7) holds, where \(\omega _N\) is the measure of the unit ball of \(\mathbb {R}^N\). Conditions as in (1.7) are known as non-extremal conditions (see [35]) and they represent the necessary and sufficient condition under which the functional (1.4) admits a minimum point. For further considerations on the equality case in (1.5) over \(\Omega \) (i.e. the extremal case) we refer to the very recent paper [34] and references therein. Although it is out of the scope of the present paper, equations as in (1.3) have been also considered in the framework of the so-called Mean Curvature Measures (see [17, 52], and [34]); we want to stress that our results are consistent and in continuity also with those ones.
Equation (1.1) is a prescribed mean curvature equation with dependence on the location of the graph of the solution itself. From the purely theoretical point of view these type of equations naturally appear in many problems of differential geometry (see [6]). Concerning this case, i.e. a right-hand side also depending on the solution we refer to the paper [41] of M. Miranda in which under monotonicity assumptions on the data the solvability of problems as in (1.1) is dealt again in the “generalized” variational framework of [26]. Both interior and global regularity result for solutions of such types of equations we refer to [22, 25, 37, 45, 46, 48] and references therein. We also mention [2, 42, 43] and references therein for a more recent account of related results, and [50] for an interesting application of an (intrinsic) sub- and super-solutions method to these type of problems.
Both in the autonomous and the non-autonomous case, problems as in (1.1) arise in particular in the study of combustible gas dynamics (see [39] and references therein) as well as in surfaces capillary problem as pendant liquid drops ( [14, 15, 20, 21]) and, as a curiosity, also in design of water-walking devices ([29], see also [34]).
The aim of this paper is to provide a sharp description of homogeneous boundary value problems involving (1.1) with (possibly weak) Lebesgue data and a purely PDE’s approach.
To better emphasize the main difficulties in treating such problems we decide to work first in the context of positive Lebesgue data, namely \(f\in L^{N}(\Omega )\) with \(f>0\). To the extensions to the cases of both nonnegative data and of data in the (sharp) scale of Marcinkiewicz spaces \(f\in L^{N,\infty }(\Omega )\), which are nowadays quite customary, we dedicate (resp.) Sects. 5.1 and 5.2 below.
After the preparatory Sect. 2 in which we set the basic machinery on BV spaces (the natural space in which these problems are well settled), measure divergence vector fields and Anzellotti-Chen-Frid type theory of pairings, Sect. 3 is devoted to present in a self-contained and up-to-date way the existence of bounded solutions to problem (1.3) that is what is needed to our further aims. The core of the paper is the content of Sect. 4 in which under suitable smallness assumptions on the data we prove existence and (once expected) uniqueness of bounded solutions for homogeneaous boundary value problems associated to (1.1). As we already mentioned Sect. 5 is devoted to the extension of the previous results to the case of nonnegative data in \(L^{N,\infty }(\Omega )\). The optimality of the smallness assumption on the data will be also discussed by mean of explicit examples of solutions in Sect. 5.3.
1.1 Notation
Here \(\Omega \) will always be an open bounded subset of \({{\,\mathrm{\mathbb {R}}\,}}^N\) (\(N\ge 2\)) with Lipschitz boundary. We denote by \({{\mathcal {H}}}^{N-1}(\partial E)\) (also \(\textrm{Per}(E)\) somewhere) the \((N - 1)\)-dimensional Hausdorff measure of the boundary of a set E, while |E| stands for its N-dimensional Lebesgue measure.
We denote by \(\chi _{E}\) the characteristic function of a set E. For a fixed \(k>0\), we use the truncation functions \(T_{k}:{{\,\mathrm{\mathbb {R}}\,}}\rightarrow {{\,\mathrm{\mathbb {R}}\,}}\) and \(G_{k}:{{\,\mathrm{\mathbb {R}}\,}}\rightarrow {{\,\mathrm{\mathbb {R}}\,}}\) defined, resp., by
We will also made use of the following auxiliary function defined for \(s\in \mathbb {R}^+\)
We denote by \({\mathcal {S}}_p\) the best constant in the Sobolev inequality (\(1\le p< N\)), that is
where \(p^*=\frac{Np}{N-p}\). It is known that
where \(\omega _{N}\) is the volume of the unit sphere of \(\mathbb {R}^N\).
If not otherwise specified, we will denote by C several positive constants whose value may change from line to line and, sometimes, on the same line. These values will only depend on the data but they will never depend on the indexes of the sequences we will gradually introduce. Let us explicitly mention that we will not relabel an extracted compact subsequence.
Finally for the sake of simplicity, where no ambiguity is possible, we use the following notation for the Lebesgue integral of a function f
2 Basic Tools
2.1 Basics on BV Spaces and the Area Integral
We refer to [1] for a complete account on BV-spaces and, for the sake of brevity, for further standard notations not mentioned here.
Let us define
By \(Du \in {\mathcal {M}}(\Omega )^N\) we mean that each distributional partial derivative of u is a bounded Radon measure; the total variation of the vector valued measure Du is given by
We underline that the \(BV(\Omega )\) space endowed with the norm
is a Banach space. By \(BV_\textrm{loc}(\Omega )\) we mean the space of functions in \(BV(\omega )\) for every open set \(\omega \subset \subset \Omega \).
For a given Radon measure \(\mu \) we will frequently use that it can be uniquely decomposed as \(\mu =\mu ^a+\mu ^s\) where \(\mu ^a\) is absolutely continuous with respect to the Lebesgue measure while \(\mu ^s\) is concentrated on a set of zero Lebesgue measure.
If \(u\in BV(\Omega )\) one can give sense to the measure \(\sqrt{1+|Du|^2}\) by defining it as
for any Borel set \(E\subseteq \Omega \). We will frequently write
meaning the total variation of the \(\mathbb {R}^{N+1}\)-valued measure which formally represents \(({\mathcal {L}}^N, Du)\). Indeed, if u is smooth, then
gives the area of the graph of u. In general, it simply follows from the decomposition in absolutely continuous and singular part with respect to the Lebesgue measure that one can write
In the sequel we will use the following semicontinuity classical results; firstly, the functional
is lower semicontinuous in \(BV(\Omega )\) with respect to the \(L^1(\Omega )\) convergence. On the other hand the functional
is weakly upper semicontinuous with respect to the \(L^1(\Omega )\) convergence (see Corollary 3.9 of [8]).
2.2 The Anzellotti-Chen-Frid Theory
In order to be self-contained we summarize the \(L^\infty \)-divergence-measure vector fields theory due to [5] and [12]. We denote by
and by \(\mathcal{D}\mathcal{M}^\infty _\textrm{loc}(\Omega )\) its local version, namely the space of bounded vector field z with \({\text {div}}z \in {\mathcal {M}}_\textrm{loc}(\Omega )\).
In [5], if \(v \in BV(\Omega ) \cap C(\Omega )\), the following distribution \((z,Dv): C^1_c(\Omega )\rightarrow \mathbb {R}\) is considered:
where \(v^*\) is the precise representative for v. In [11] and [40] the authors prove that (z, Dv) is well defined if \(z\in \mathcal{D}\mathcal{M}^\infty (\Omega )\) and \(v\in BV(\Omega )\cap L^\infty (\Omega )\) since one can show that \(v^*\in L^\infty (\Omega ,{\text {div}}z)\). Also observe that, if \({\text {div}}z\) is a function then \(v^*\) can be substituted by v in (2.1).
Moreover in [19] it is shown that (2.1) is well posed if \(z\in \mathcal{D}\mathcal{M}^\infty _\textrm{loc}(\Omega )\) and \(v\in BV_\textrm{loc}(\Omega )\cap L^1_\textrm{loc}(\Omega , {\text {div}}z)\); it holds
for all open set \(U \subset \subset \Omega \) and for all \(\varphi \in C_c^1(U)\). One has
for all Borel sets B and for all open sets U such that \(B\subset U \subset \Omega \). We recall that every \(z \in \mathcal{D}\mathcal{M}^{\infty }(\Omega )\) possesses a weak trace on \(\partial \Omega \) of its normal component which is denoted by \([z, \nu ]\), where \(\nu (x)\) is the outward normal unit vector defined for \({{\mathcal {H}}}^{N-1}\)-almost every \(x\in \partial \Omega \) (see [5]). Moreover, it holds
and also, if \(z \in \mathcal{D}\mathcal{M}^{\infty }(\Omega )\) and \(v\in BV(\Omega )\cap L^\infty (\Omega )\), that
(see [11]).
Furthermore, if \(z\in \mathcal{D}\mathcal{M}^\infty _\textrm{loc}(\Omega )\) and \(v\in BV(\Omega )\cap L^\infty (\Omega )\) such that \(v^*\in L^1(\Omega ,{\text {div}}z)\), then \(vz\in \mathcal{D}\mathcal{M}^\infty (\Omega )\) and a weak trace can be defined as well as the following Green formula ( [19]):
Lemma 2.1
Let \(z\in \mathcal{D}\mathcal{M}^\infty _\textrm{loc}(\Omega )\) and \(v \in BV(\Omega )\cap L^{\infty }(\Omega )\) such that \(v^*\in L^1(\Omega , {\text {div}}z)\) then it holds
Formula (2.3) continues to hold if \(z\in L^\infty (\Omega )^N\) such that \({\text {div}}z \in L^N(\Omega )\) and \(v\in BV(\Omega )\).
Finally, we also recall the following technical result due to [5, Theorem 2.4].
Lemma 2.2
Let \(u\in BV(\Omega )\) and let \(z\in \mathcal{D}\mathcal{M}^\infty (\Omega )\) such that \(u^*\in L^1(\Omega , {\text {div}}z)\) then
3 The Prescribed Mean Curvature Case with \(f\in L^N(\Omega )\)
In this section we deal with existence of weak solutions to the following problem:
with a datum f belonging to \(L^N(\Omega )\). Though it can be viewed as preparatory for the general case considered later, most of the results of the present section are new both in the form and in their proofs. Some of the results, those reminiscent of the classical ones, are recasted in a up-to-date fashion. We do not assume any sign condition on f. As we will see, a suitable approximation argument will take us to a BV-solution. Let us be precise in what we mean:
Definition 3.1
A function \(u\in BV(\Omega )\) is a solution to problem (3.1) if there exists \(z\in {\mathcal {D}}{\mathcal {M}}^\infty (\Omega )\) with \(||z||_{L^\infty (\Omega )^N}\le 1\) such that
Remark 3.2
Let us spend a few words on Definition 3.1 and in particular on the request given by (3.3) that is a weak way to interpret the ratio between the two measures Du and \(\sqrt{1+|D u|^2}\): if u is smooth and \(z=\frac{\nabla u}{\sqrt{1+|\nabla u|^2}}\) then one has
which is exactly the right-hand of (3.3).
Then it is easy to see that (3.3) can be equivalently recast by requiring that both
and
hold. Indeed, using Lemma 2.2 and the fact that \(f\in L^N(\Omega )\), one has that
We stress that, in contrast with other cases of flux-limited diffusion operators (e.g. the 1-laplacian or the transparent media one, [3, 4, 23]), here the vector field z is uniquely determined by (3.5), which gives
Finally condition (3.4) is a nowdays standard way to give meaning to the homogeneous Dirichlet boundary datum. It is well known, in fact, that BV solutions to problems involving such type of operators (e.g. the 1-laplacian) do not necessarily assume the boundary datum pointwise. (3.4) roughly asserts that either u has zero trace or the weak trace of the normal component of z has least possible slope at the boundary.
Let us state the main result of this section which gives existence of solutions to (3.1) under a smallness condition on the datum f.
Theorem 3.3
Let \(f\in L^N(\Omega )\) such that
Then there exists a bounded solution to problem (3.1).
Remark 3.4
As we already said, assumption (3.6) is in some sense necessary in order to get a solution, we refer to Remark 3.8 below for further comments on that and also to Example 5.4 in Sect. 5.3.
We also want to stress that a general uniqueness result, in contrast with the regular case (as in [25]), is not expected in this generality. In fact, in [34, Theorem 9.1], the authors prove a uniqueness result in the class of continuous functions providing an example that highlights a non-uniqueness phenomenon for solutions with non-empty jump part.
The proof of Theorem 3.3 will be obtained through approximation with the p-growth (\(p>1\)) problems
a solution of (3.7) being a function \(u_p\in W^{1,p}_0(\Omega )\) such that
for any \(v\in W^{1,p}_0(\Omega )\).
The existence of a solution \(u_p \in W^{1,p}_0(\Omega )\cap L^\infty (\Omega )\) of (3.7) follows by standard monotonicity arguments [36].
We accomplish the proof of Theorem 3.3 by splitting it into a few steps. We start showing some estimates on \(u_p\) which are independent of \(p\sim 1^+\). In fact, we recall that the aim is taking \(p\rightarrow 1^+\) in (3.7) so that, in the following, estimates independent on p are tacitly meant as there exists some \(p_0>1\) such that the estimate is uniform in the range \(1<p\le p_0\).
The main needed estimates are collected in the following:
Lemma 3.5
Let \(f\in L^N(\Omega )\) such that (3.6) holds and let \(u_p\) be a solution to (3.7). Then \(u_p\) is bounded in \(BV(\Omega )\cap L^\infty (\Omega )\) (with respect to p) and there exists \(u\in BV(\Omega )\cap L^\infty (\Omega )\) such that, up to subsequences, \(u_p\) converges to u in \(L^q(\Omega )\) for every \(q<\infty \), \(\hbox {weak}^*\) in \(L^\infty (\Omega )\), and \(\nabla u_p\) converges to Du \(\hbox {weak}^*\) as measures as \(p\rightarrow 1^+\). Moreover it holds
for some constant C independent of p.
Proof
Let us show that \(u_p\) are uniformly bounded in \(L^\infty (\Omega )\). We take \(G_k(u_p)\) (\(k>0\)) as a test function in (3.8) and we use Hölder’s inequality, yielding to
after getting rid of the nonnegative second term.
Now let us focus on the first term of (3.10); one has
where \(A_k:=\{x\in \Omega : |u_p(x)| > k\}\). Then, using (3.11) in (3.10) and thanks to (3.6), one gets
The Sobolev and the Hölder inequalities together with the previous imply that
In particular, for any \(h>k>0\), one has
which allows to apply the classical Stampacchia argument (see [49]) in order to deduce that \(||u_p||_{L^\infty (\Omega )}\le M\) where, we stress it, \(M>0\) does not depend on p as the right-hand of (3.12) does not.
Now we turn on proving that \(u_p\) is bounded in \(BV(\Omega )\). We plug \(u_p\) as test in (3.8), yielding to
For the left-hand of (3.13) we reason as for the first part of the proof
Thus, collecting (3.13) and (3.14) and applying the Young inequality one gets
which gives (3.9) and also implies the boundedness in \(BV(\Omega )\) of \(u_p\).
The BV estimate (joint with the \(L^\infty \) one) for \(u_p\) allows to apply standard compactness arguments; so there exists a function u such that, up to subsequences, \(u_p\) converges to u in \(L^q(\Omega )\) for every \(q<\infty \), weak\(^*\) in \(L^\infty (\Omega )\), and such that \(\nabla u_p\) converges to Du weak\(^*\) as measures as \(p\rightarrow 1^+\). This concludes the proof. \(\square \)
Next lemma concerns the identification and the role of the vector field z.
Lemma 3.6
Under the assumptions of Lemma 3.5 there exists \(z\in \mathcal{D}\mathcal{M}^\infty (\Omega )\) such that
and
where u is the function found in Lemma 3.5.
Proof
Since \({|\nabla u_p|}{({1+|\nabla u_p|^2})^{-\frac{1}{2}}}\le 1\) there exists a bounded vector field z such that \({\nabla u_p}{({1+|\nabla u_p|^2})^{-\frac{1}{2}}}\) converges to z weak\(^*\) in \(L^\infty (\Omega )^N\) as \(p\rightarrow 1^+\). Moreover by weak lower semicontinuity of the norm, one gets that \(||z||_{L^\infty (\Omega )^N} \le 1\).
Now let us take \(\varphi \in C^1_c(\Omega )\) as a test function in (3.8) and let us take \(p\rightarrow 1^+\), one has
Let us now observe that
which gives that the second term in (3.17) vanishes. This implies that (3.15) holds and that \(z\in \mathcal{D}\mathcal{M}^\infty (\Omega )\).
It is worth mentioning for later purposes that, since \(u\in L^\infty (\Omega )\) and \(f\in L^N(\Omega )\), one can easily check that
Now, recalling Remark 3.2, in order to prove (3.16), it suffices to show both
and
We take \(v=u_p\varphi \) in (3.8) where \(\varphi \in C^1_c(\Omega )\) is a nonnegative function, yielding to
We can write the first term on the left-hand of the previous as
and we drop the nonnegative third term in (3.22). This takes to
Now observe that, as \(p\rightarrow 1^+\), the first term is lower semicontinuous with respect to the \(L^1\) convergence. As we already mentioned, using Corollary 3.9 of [8], one can deduce that the second term of (3.24) is weakly lower semicontinuous with respect to the \(L^1\) convergence (recall that \(\nabla u_p(1 +|\nabla u_p|^2)^{-\frac{1}{2}}\) converges to z weak\(^*\) in \(L^\infty (\Omega )^N\)). Moreover, the third term on the left-hand of (3.24) passes to the limit by the weak\(^*\) convergence of \(\nabla u_p(1 +|\nabla u_p|^2)^{-\frac{1}{2}}\) to z in \(L^\infty (\Omega )^N\) together with the strong convergence of \(u_p\) in \(L^q(\Omega )\) for any \(q<\infty \) as \(p\rightarrow 1^+\). The convergence of \(u_p\) in \(L^q(\Omega )\) for any \(q<\infty \) also allows to pass to the limit the term on the right-hand of (3.24).
It remains to estimate the fourth term on the left-hand side; indeed, as \(u_p\) is bounded in \(L^\infty (\Omega )\)
and the right-hand of the previous goes to zero as \(p\rightarrow 1^+\) as in (3.18).
Therefore, we have that
and by (2.1), one has
Since \({\text {div}}z \in L^N(\Omega )\) and thanks to Lemma 2.2, inequality (3.25) implies that almost everywhere in \(\Omega \)
The reverse inequality is purely algebraic; indeed, for any \(\xi \in \mathbb {R}^N\) it holds
This proves the validity of (3.20). Concerning (3.21), since \(||z||_{L^\infty (\Omega )^N}\le 1\) then
as measures in \(\Omega \). The reverse inequality simply follows from (3.25) by restricting on the singular parts of the measures. This concludes the proof. \(\square \)
Let us now show that the boundary condition (3.4) holds.
Lemma 3.7
Under the assumptions of Lemma 3.5 it holds
where u and z are, resp., the function and the vector field found, resp., in lemmata 3.5 and 3.6.
Proof
One tests (3.8) with \(u_p\) and, recalling that \(u_p\) has zero Sobolev trace on \(\partial \Omega \), one gets
By elementary manipulations as done in (3.23) (with \(\varphi =1\)) one has
Similarly to what we have done in Lemma 3.6, one can take the liminf for the left-hand of the previous and use the weak lower and upper semicontinuity in order to get
Now recall (3.19), i.e.
Finally observe
where in the last step we also used (2.2). This concludes the proof as (3.16) is in force and recalling that \(|[z,\nu ]|\le 1\). \(\square \)
As we said the proof of Theorem 3.3 simply follows by gathering together the previous lemmata.
Proof of Theorem 3.3
Let \(u_p\) be a solution to (3.7) then the proof is a consequence of Lemmas 3.5, 3.6 and 3.7. \(\square \)
Remark 3.8
We stress that assumption (3.6) is essentially equivalent to the necessary and sufficient condition given in [24] in order to get a minimum point for the associated functional, i.e. there exists \(\varepsilon _0>0\) such that for every \(A\subseteq \Omega \)
In fact, as already mentioned, condition (3.6) implies (3.26) (see [26]); on the other hand if, for simplicity, we consider a constant datum \(f=\lambda \) satisfying (3.26) on a ball \(B_R\), then
that implies that (3.6) (i.e. \(|\lambda | < \frac{N}{R}\) in this case) holds true.
Although it is not effortless, in general, proving the equivalence among variational and weak solutions, we emphasize that the smallness assumption (3.6) is, in some sense, sharp also in our framework.
In fact, let \(0<r<R\) and consider u to be a solution of
in the sense of Definition 3.1 where \(\lambda \in \mathbb {R}\) is such that \(|\lambda |> \frac{N}{R}\), i.e., in particular, condition (3.6) fails. We show that this choice of \(\lambda \) leads to a contradiction.
In fact, let us consider a sequence \(v_k\) of smooth functions such that
that is always possible (see for instance [38, Theorem 3.1]).
Using \(v_k\) to test the equation solved by u one gets
that is
Passing to the limit in k one then has
Due to the arbitrariness of r this latter fact contradicts the assumption on \(\lambda \).
4 The Non-autonomous Case with a General Nonlinearity
This section is devoted to the study of the Dirichlet problem associated with the mean curvature equation in presence of a general, possibly singular, nonlinearity depending on u, i.e. we consider
for a positive f belonging to \(L^N(\Omega )\). The case of a merely nonnegative f may also be faced but it requires some more technical arguments and it will be discussed in Sect. 5.1 below.
The function \(h:[0,\infty )\mapsto [0,\infty ]\) is continuous, finite outside the origin, such that
For later purposes we denote by
observe that \(h_k(\infty )\) converges to \(h(\infty )\) as \(k\rightarrow \infty \).
Moreover, for the sake of exposition, from here on we shall make use of the following notation:
Although it is known that the presence of zero order terms of these type produces regularizing effects in similar contexts, we stress that treating (4.1) is strikingly different than dealing with (3.1) as, for instance, a possibly singular h raises the need of a suitable control for the zones in which the approximating solutions degenerate. Secondly, as we will see, the right-hand of the equation in (4.1) will be only locally integrable in general, even if f belongs to \(L^N(\Omega )\), bringing some new technical difficulties. Furthermore, solutions need not possess a trace in the classical sense if the nonlinearity grows too much at zero (i.e. \(\sigma >1\)).
The above discussion makes clear that a particular attention on the notion of solution’s definition is needed in order to properly extend the one of the previous section:
Definition 4.1
Let \( f>0\) a function in \(L^N(\Omega )\). A nonnegative function \(u\in BV_\mathrm{{loc}}(\Omega )\) is a solution to (4.1) if \(h(u)f \in L^1_\textrm{loc}(\Omega )\) and if there exists \(z\in \mathcal{D}\mathcal{M}^\infty (\Omega )\) with \(||z||_{L^\infty (\Omega )^N}\le 1\) such that
Remark 4.2
Some comments about Definition 4.1 are in order. Firstly observe that the definition does not depend on \(\gamma \). Moreover, condition (4.7) is a weak way to recover the Dirichlet boundary datum which is classical in similar contexts involving, for instance, the 1-Laplace operator. In particular, let us underline that, in case \(h=1\), condition (3.4) clearly implies (4.7). Obviously, the weaker request (4.7) comes from the lack of BV-trace for solutions which are, in general, not expected to be well defined in presence of a strongly singular nonlinearity.
Finally let also underline that, if \(h(0)=\infty \), the previous definition implies that \(u>0\) almost everywhere in \(\Omega \).
We begin stating the existence of a solution to (4.1).
Theorem 4.3
Let \(f\in L^N(\Omega )\) be a positive function such that
and let h satisfy (4.2). Then there exists a bounded solution u to problem (4.1) in the sense of Definition 4.1. Moreover, \(u^{\sigma }\in BV(\Omega )\).
Under proper additional assumptions on h, we will also show uniqueness of bounded solutions to (4.1).
Theorem 4.4
Let h be decreasing and let f be a positive function in \(L^N(\Omega )\). Then there is at most one solution \(u\in BV(\Omega )\cap L^\infty (\Omega )\) of problem (4.1).
4.1 Proof of Theorem 4.3
As in the case \(h\equiv 1\) we start by considering the following approximation
where \(h_p(s):= T_{\frac{1}{p-1}}(h(s))\). Again, it follows from [36] the existence of a solution \(u_p\in W^{1,p}_0(\Omega )\cap L^\infty (\Omega )\) to (4.9). Clearly, \(u_p\) is nonnegative since f is positive. We exhibit some basic estimates on \(u_p\). Again we understand that estimates are uniform if there exists some \(p_0>1\) such that the estimate holds uniformly in the range \(1<p\le p_0\). Recall that \(\sigma \) is defined in (4.4).
Lemma 4.5
Let \(f \in L^N(\Omega )\) be a positive function such that (4.8) is in force, and let h satisfy (4.2). Let \(u_p\) be a solution of problem (4.9), then \(u_p\) is locally bounded in \(BV(\Omega )\), \(u_p^\sigma \) is bounded in \(BV(\Omega )\), and \(u_p\) is bounded in \(L^\infty (\Omega )\) with respect to p. As a consequence, \(u_p\) converges, up to subsequences, almost everywhere in \(\Omega \) to a function \(u\in BV_\textrm{loc}(\Omega )\cap L^\infty (\Omega )\), in \(L^q(\Omega )\) for any \(q<\infty \), and weak\(^*\) in \(L^\infty (\Omega )\) as \(p\rightarrow 1^+\). Finally, for any nonnegative \(\varphi \in C^1_c(\Omega )\), it holds
for some positive constant C not depending on p.
Proof
Let us firstly show that \(u_p\) is bounded by a constant independent of p. We just sketch the calculation since the reasoning is very similar to the one given in the proof of Lemma 3.5.
For \(k>0\), we consider \(G_k(u_p)\) as a test function in the weak formulation of (4.9), yielding to (recall \(h_k(\infty )\) defined as in (4.3))
having getting rid of the nonnegative term involving the p-laplacian and by using the Hölder and the Sobolev inequalities. Now, if \(A_k:=\{x\in \Omega : |u_p(x)| > k\}\), we can write
which, gathered in (4.11), implies that
where \(k\ge {\overline{k}}\) for some \({\overline{k}}>0\) such that \(1-h_{{\overline{k}}}(\infty )||f||_{L^N(\Omega )} {\mathcal {S}}_1>0\). The previous estimate allows to reason as in the proof of Lemma 3.5 in order to conclude that there exists some positive constant C independent of p and such that \(||u_p||_{L^\infty (\Omega )}\le C\).
Now we show that \(u_p^\sigma \) is bounded in \(BV(\Omega )\) with respect to p. To this aim we take \(u_p^\sigma \) as a test function in the weak formulation of (4.9) obtaining
The right-hand of (4.12) can be estimated as follows
where C is a positive constant not depending on p since \(u_p\) is bounded in \(L^\infty (\Omega )\) with respect to p.
For the left-hand of (4.12) one can write
Thus, collecting (4.13) and (4.14) in (4.12), one is lead to
for a constant C not depending on p since, again, \(u_p\) is bounded and globally in \(BV(\Omega )\) provided \(\gamma \le 1\).
Now let us focus on proving that \(u_p\) is locally bounded in \(BV(\Omega )\) when \(\gamma >1\).
Let us assume \(0\le \varphi \in C^1_c(\Omega )\) and let us take \(v=(u_p-||u_p||_{L^\infty (\Omega )})\varphi ^p\) to test (4.9). Hence, since v is nonpositive one has
From the previous inequality one simply gets
Let observe that the Young inequality gives that
which, gathered in (4.15), means that
Hence it is sufficient requiring p small enough to obtain a nonnegative second term on the left-hand of (4.16). Therefore, since we have already shown that \(u_p\) is bounded in \(L^\infty (\Omega )\) with respect to p, we have that
for some positive constant C which does not depend on p. Reasoning similarly to (4.14), one can prove that
namely \(u_p\) is locally bounded in \(BV(\Omega )\) with respect to p.
It is also clear from (4.16) that, for any \(0\le \varphi \in C^1_c(\Omega )\), we have
for some positive constant C not depending on p.
The previous estimates assure that \(u_p\) converges almost everywhere in \(\Omega \), up to subsequences, to a function \(u\in BV_\textrm{loc}(\Omega )\) as \(p\rightarrow 1^+\). The \(L^\infty \)-estimate on \(u_p\) gives that the sequence converges to u in \(L^q(\Omega )\) for any \(q<\infty \) and weak\(^*\) in \(L^\infty (\Omega )\) as \(p\rightarrow 1^+\). This concludes the proof. \(\square \)
Remark 4.6
Let observe that, if \(\gamma \le 1\), \(u_p\) is bounded in \(BV(\Omega )\) with respect to p and its almost everywhere limit in p belongs to \(BV(\Omega )\) as well. On the other hand, in general, the global estimate in \(BV(\Omega )\) is only shown for power \(\sigma >1\) of \(u_p\) which is, obviously, a weaker statement.
Secondly, we want to highlight that estimate (4.10) gives that
where C, even depending on \(\omega \), does not depend on p. This energy estimate will be used to show the vanishing of the second term in the approximation scheme as \(p\rightarrow 1^+\).
We explicitly mention that, from here on, u is the function found in the previous lemma; namely it is (up to subsequences) the almost everywhere limit in \(\Omega \) of \(u_p\) as \(p\rightarrow 1^+\). Let us now prove that there exists a vector field z satisfying (4.5); for later purposes we will also gain an extension of the admissible test functions in (4.5).
Lemma 4.7
Under the assumptions of Lemma 4.5 there exists \(z\in \mathcal{D}\mathcal{M}^\infty (\Omega )\) with \(||z||_{L^\infty (\Omega )^N}\le 1\) and such that
Proof
We first observe that, since \(|\nabla u_p|(1+|\nabla u_p|^2)^{-\frac{1}{2}}\le 1\), \(\nabla u_p(1+|\nabla u_p|^2)^{-\frac{1}{2}}\) converges weak\(^*\) in \(L^\infty (\Omega )^N\) to a vector field z as \(p\rightarrow 1^+\) such that \(||z||_{L^\infty (\Omega )^N}\le 1\).
We first show that
We then consider a function \(\varphi \in C^1_c(\Omega )\). Passing to the limit in the first term in the weak formulation of (4.9) is effortless so we focus on the remaining two terms.
Thanks to (4.10) (see also (4.17)) one has
It remains to pass to the limit the right-hand of (4.9). If \(h(0)<\infty \) one gets no problems using dominated convergence theorem, so that, without losing generality, let us assume that \(h(0)=\infty \).
We first show that h(u)f is locally integrable. Let \(\varphi \in C^1_c(\Omega )\) nonnegative to test (4.9); it is clear that
where we used both the boundedness of the vector field \(\nabla u_p(1+|\nabla u_p|^2)^{-\frac{1}{2}}\) and (4.17). An application of the Fatou Lemma as \(p\rightarrow 1^+\) in (4.21) gives that
that implies the local integrability of h(u)f. We underline that, since \(h(0)=\infty \) and \(f>0\) almost everywhere in \(\Omega \), (4.22) also entails that \(u>0\) almost everywhere in \(\Omega \).
In order to check the validity of (4.19) let us consider \(V_\delta (u_p)\varphi \) (\(0\le \varphi \in C^1_c(\Omega )\) and \(V_\delta \) is defined in (1.8)) in the weak formulation of (4.9), obtaining
where we have gotten rid of the nonpositive terms involving \(V'_\delta \). Hence we can take the limsup as \(p\rightarrow 1^+\) deducing that
and the second term on the right-hand of (4.23) goes to zero as \(p\rightarrow 1^+\) as for (4.20) (recall that \(V_\delta (s)\le 1\) for any \(s\ge 0\)).
Now, it follows from (4.24) that it holds
Estimate (4.25) is the key in order to show the validity of (4.19). Indeed, let us split as
where \(\delta \not \in \{\eta : |u=\eta |>0\}\) which is a countable set. The first term on the right-hand of the previous vanishes in, resp., p and \(\delta \) thanks to (4.25); the second one, instead, passes to the limit in \(p,\delta \) by two applications of the Lebesgue Theorem since \(h(u)f \in L^1_\textrm{loc}(\Omega )\). This proves that (4.19) holds. Clearly, from the previous arguments, it simply follows the case of \(\varphi \) with general sign. Finally observe that the fact that z is actually in \(\mathcal{D}\mathcal{M}^\infty (\Omega )\) and then the possibility to extend the set of test functions as stated in (4.18) follow from an application of Lemma 5.3 of [18]. This concludes the proof. \(\square \)
Next lemma is about the identification of the vector field emphasized by (4.6).
Lemma 4.8
Under the assumptions of Lemma 4.5 it holds
where u and z are resp. the function and the vector field given by Lemmas 4.5 and 4.7.
Proof
Let us take \(u_p^\sigma \varphi \) as a test function in the weak formulation of (4.9) where \( \varphi \in C^1_c(\Omega )\) is nonnegative; we get
Then, getting rid of the nonnegative third term on the left-hand, a simple manipulation of the first term yields
Now we want to take the liminf, as \(p\rightarrow 1^+\), in the previous inequality.
Let firstly observe that the first term in (4.27) is nothing else than \(\int _\Omega \sqrt{\sigma ^2u_p^{2\sigma -2}+ |\nabla u_p^\sigma |^2}\varphi \) which is lower semicontinuous with respect to the \(L^1\)- convergence of \(u_p^\sigma \).
On the other hand, the term
can be seen to be lower semincontinuous as \(p\rightarrow 1^+\). Indeed, let \(F(x)= \sqrt{1-|x|^2}\) which is concave and let \(w_p=\frac{\nabla u_p}{\sqrt{1+|\nabla u_p|^2}}\) then
The first term on the right-hand of the previous easily goes to zero as \(p\rightarrow 1^+\) (recall that \(|F(x)|\le 1\)). While, reasoning as in the proof of Lemma 3.6, one can show that the second one is weakly lower semicontinuous with respect to the \(L^1\) convergence.
Now let observe that the first term on the right-hand of (4.27) passes to the limit as \(p\rightarrow 1^+\) thanks to the convergence of \(u_p\) to u in \(L^{q}(\Omega )\) for any \(q<\infty \) and thanks to the fact that the function \(h(s)s^\sigma \) is bounded.
The second term on the right-hand of (4.27) easily passes to the limit using that \(\nabla u_p (1+|\nabla u_p|^2)^{-\frac{1}{2}}\) converges weak\(^*\) in \(L^\infty (\Omega )\) to z and \(u_p^\sigma \) converges to \(u^\sigma \) in \(L^{q}(\Omega )\) with \(q<\infty \). Finally, as \(u_p\) is uniformly bounded, reasoning similarly as for (4.20), the last term tends to zero.
Therefore, gathering together all the previous we are lead to
Hence, from (4.19), the fact that \(u^\sigma \in BV(\Omega )\), and also using that \(h(u)fu^\sigma \in L^1(\Omega )\), one easily gets that
Then, from (4.28) one has
For the absolutely continuous part one can reason exactly as in the proof of Lemma 3.6 if \(h(0)<\infty \) (i.e. \(\sigma = 1\)); otherwise one has \(u>0\) almost everywhere in \(\Omega \), yielding to
Concerning the singular part, following again the lines of the proof of Lemma 3.6, one gets that, locally as measures
Moreover, the reverse inequality is trivial since \(||z||_{L^\infty (\Omega )^N}\le 1\), then it actually holds
Then, as \(f(t)=t^\sigma \) is increasing, one can apply Proposition 4.5 of [16] deducing that
locally as measures. This concludes the proof. \(\square \)
In order to conclude the proof of Theorem 4.3 it remains to show the following result.
Lemma 4.9
Under the assumptions of Lemma 4.5 it holds either
where u and z are the function and the vector field found respectively in Lemmas 4.5 and 4.7.
Proof
Plug \(u_p^\sigma \) as test function in the weak formulation of (4.9); then after straightforward manipulations, one yields to (recall that \(u_p^\sigma \) has zero trace on \(\partial \Omega \))
Reasoning as in Lemma 4.8 one can take the liminf as \(p\rightarrow 1^+\) in the previous, obtaining that
Hence, thanks to (4.29), after applying the Green formula (2.3), one obtain
Therefore, it follows from (4.26) that
Now, using Lemma 4.7, \(z\in \mathcal{D}\mathcal{M}^\infty (\Omega ) \) and, as \(u^\sigma \in BV(\Omega )\cap L^{\infty }(\Omega )\), then, by (2.2), \([u^\sigma z,\nu ] = u^\sigma [z,\nu ]\).
Recalling that \([z,\nu ]\ge -1\) one then deduces by (4.31) that either \(u^\sigma = 0\) or \([z,\nu ] = -1\) for \({\mathcal {H}}^{N-1}\)-almost every \(x\in \partial \Omega \). Then, (4.30) is obtained as follows: by [1, Theorem 3.87], if \(x\in \partial \Omega \) is such that \(u^{\sigma }(x)=0\), one has
If \(\sigma >1\), we can use the Hölder’s inequality to get
that implies (4.30). \(\square \)
4.2 Proof of Theorem 4.4
Let us prove the uniqueness result in case of a decreasing lower order term h, namely
Proof of Theorem 4.4
Let \(u_1\) and \(u_2\) be solutions to problem (4.1) in the sense of Definition 4.1 and let us denote by, respectively, \(z_1\) and \(z_2\) the corresponding vector fields. We observe that, by Lemma 5.3 of [18] it follows that both \(h(u_1)f\) and \(h(u_2)f\) are in \(L^1(\Omega )\). Then a standard density argument implies
Now we take \(v=u_1- u_2\) in the two weak formulations (4.32) related, resp., to \(u_1\) and \(u_2\) and we take the difference. Thus, the application of (2.3) yields
Let us focus on the second and the fourth term of the previous; we claim that, using (4.6), one gets that
and that
as measures in \(\Omega \). Indeed we proceed by splitting the measures in the absolutely continuous and singular parts. Concerning the absolutely continuous part of the measures one should prove that
and that
which are purely algebraic inequalities once one recalls that
On the other hand the singular part of those inequalities simply follows by recalling that \(||z_i||_{L^\infty (\Omega )^N}\le 1\).
As regards the boundary terms, it follows from (4.7) that (recall that \(u\in BV(\Omega )\))
This takes to
Again, observing that \([z_i,\nu ] \in [-1,1]\) for \(i=1,2\), the right-hand of the previous is nonnegative. This gives that
which implies \(u_1=u_2\) a.e. in \(\Omega \) since \(f>0\) a.e. in \(\Omega \). \(\square \)
5 Extensions, Examples and Remarks
5.1 The Case of a Nonnegative Source f
The previous results can be extended to the case f being purely nonnegative. As we will point out, if \(h(0)<\infty \), then the arguments of Sect. 4 work as well with straightforward minor modifications. If \(h(0)=\infty \), one can not deduce in general that the solution to (4.1) is positive almost everywhere in \(\Omega \); though one can include this case in the theory by re-adapting an idea of [18]. Let us briefly explain how. We define the following function
One can suitably modify the notion of solution as follow:
Definition 5.1
A nonnegative function \(u\in BV_\mathrm{{loc}}(\Omega )\cap L^{\infty }(\Omega )\) having \(u^\sigma \in BV(\Omega )\) and \(\Psi (u) \in BV_\mathrm{{loc}}(\Omega )\) is a solution to (4.1) if \(h(u)f \in L^1_\textrm{loc}(\Omega )\) and if there exists \(z\in \mathcal{D}\mathcal{M}^\infty _\textrm{loc}(\Omega )\) with \(||z||_{L^\infty (\Omega )^N}\le 1\) such that
Let us stress again that the previous definition coincides with Definition 4.1 both in case \(h(0)<\infty \) and in case \(f>0\) (even if \(h(0)=\infty \)).
Apart from the distributional formulation the real novelty in Definition 5.1 is given by the boundary datum. In fact, in this case we do not know if, in general, \(z\in \mathcal{D}\mathcal{M}^\infty (\Omega )\); in order to recover the boundary datum we need to impose the weaker version of (4.7) given by (5.3) as \(u^\sigma z \in \mathcal{D}\mathcal{M}^\infty (\Omega )\) (see Lemma 2.1).
Keeping in mind these facts one can show the following to hold; its proof relies on an effortless re-adaptation of the proof of [18, Theorem 6.4].
Theorem 5.2
Let \(f\in L^N(\Omega )\) be nonnegative and such that
and let h satisfy (4.2). Then there exists a solution to problem (4.1) in the sense of Definition 5.1.
5.2 The Datum f in the Critical Marcinkiewicz Space \(L^{N,\infty }(\Omega )\)
All the results of the previous sections can also be suitably extended to the case of a general nonnegative datum f belonging to the Marcinkiewicz space \(L^{N,\infty }(\Omega )\). Let us refer the interested reader to the monograph [44] for an introduction on basic properties of these spaces. Here we just mention the following Sobolev embedding inequality:
where
and with \(\Gamma \) we denoted the Gamma function.
With a suitable re-adaptation of the arguments of the previous sections, one could prove the following result:
Theorem 5.3
Let \(0\le f\in L^{N,\infty }(\Omega )\) such that
and let h satisfy (4.2). Then there exists a bounded solution u to problem (4.1) in the sense of Definition 5.1.
5.3 An Explicit Example
We want to highlight the sharpness of the bound (5.5) in order to obtain bounded solutions. For the sake of exposition we choose \(\Omega = B_1(0)\) and \(h\equiv 1\).
Example 5.4
Let \(N\ge 3\) and let \(0<\alpha < N-1\); a straightforward computation gives that a radial solution to problem
is given, if \(|x|=r\), by \(u_\alpha (x)=r^{-\alpha } - 1\) provided \(g_\alpha :(0,1)\mapsto \mathbb {R}^+\) is given by
Observe that both
and
It follows that
In fact, fix t and consider \(0\le r_1(t)\le 1\) such that \(r_1= \frac{(N-1)}{t}g_\alpha (r_1)\) (which exists at least for t \(\gg \) 1). Then one observes that \(\{|f_\alpha (x)|> t\}\) is a ball (as g decreases) and in particular
So that
and, observing that \(r_1(t)\rightarrow 0\) as \(t\rightarrow \infty \) (we use that \(g_\alpha \) is bounded) taking the supremum on t we get
In other words, unbounded solutions can be found in the extremal case emphasizing the sharpness of (5.5) in order to obtain bounded solutions.
Data Availability
We do not analyse or generate any datasets, because our work proceeds within a theoretical and mathematical approach. One can obtain the relevant materials from the references below.
References
Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free Discontinuity Problems. Oxford Mathematical Monographs, Oxford (2000)
Amster, P., Mariani, M.C.: The prescribed mean curvature equation for nonparametric surfaces. Nonlinear Anal. 52(4), 1069–1077 (2003)
Andreu, F., Ballester, C., Caselles, V., Mazón, J.M.: The Dirichlet problem for the total variation flow. J. Funct. Anal. 180(2), 347–403 (2001)
Andreu, F., Caselles, V., Mazón, J.M.: Parabolic Quasilinear Equations Minimizing Linear Growth Functionals, Progress in Mathematics, vol. 223. Birkhäuser Verlag, Basel (2004)
Anzellotti, G.: Pairings between measures and bounded functions and compensated compactness. Ann. Mat. Pura Appl. 135(4), 293–318 (1983)
Bergner, M.: On the Dirichlet problem for the prescribed mean curvature equation over general domains. Differ. Geom. Appl. 27(3), 335–343 (2009)
Bombieri, E., De Giorgi, E., Miranda, M.: Una maggiorazione a priori relativa alle ipersuperfici minimali non parametriche. Arch. Ration. Mech. Anal. 32, 255–267 (1969)
Brezis, H.: Functional Analysis, Sobolev Spaces and Partial Differential Equations. Universitext. Springer, New York (2011)
Bueno, H., Ercole, G., Macedo, S.S.: Asymptotic behavior of the p-torsion functions as p goes to 1. Arch. Math. 107(1), 63–72 (2016)
Caffarelli, L.A., Stinga, P.R., Vivas, H.: Surfaces of minimum mean curvature variation, arXiv:2301.00082 (2023)
Caselles, V.: On the entropy conditions for some flux limited diffusion equations. J. Differ. Equ. 250, 3311–3348 (2011)
Chen, G.Q., Frid, H.: Divergence-measure fields and hyperbolic conservation laws. Arch. Ration. Mech. Anal. 147(2), 89–118 (1999)
Cicalese, M., Trombetti, C.: Asymptotic behaviour of solutions to \(p\)-Laplacian equation. Asymptot. Anal. 35, 27–40 (2003)
Concus, P., Finn, R.: A singular solution of the capillary equation I. Existence. Invent. Math. 29(2), 143–148 (1975)
Concus, P., Finn, R.: A singular solution of the capillary equation II. Uniqueness. Invent. Math. 29(2), 149–159 (1975)
Crasta, G., De Cicco, V.: Anzellotti’s pairing theory and the Gauss-Green theorem. Adv. Math. 343, 935–970 (2019)
Dai, Q., Trudinger, N.S., Wang, X.J.: The mean curvature measure. J. Eur. Math. Soc. 14(3), 779–800 (2012)
De Cicco, V., Giachetti, D., Oliva, F., Petitta, F.: The Dirichlet problem for singular elliptic equations with general nonlinearities. Calc. Var. Partial Differ. Equ. 58(4), 1–40 (2019)
De Cicco, V., Giachetti, D., Segura de León, S.: Elliptic problems involving the 1-Laplacian and a singular lower order term. J. Lond. Math. Soc. 99(2), 349–376 (2019)
Finn, R.: A note on the capillary problem. Acta Math. 132, 199–205 (1974)
Finn, R., Giusti, E.: On nonparametric surfaces of constant mean curvature. Ann Sc. Norm Sup Pisa 17, 389–403 (1984)
Gerhardt, C.: Existence, regularity, and boundary behavior of generalized surfaces of prescribed mean curvature. Math. Z. 139, 173–198 (1974)
Giacomelli, L., Moll, S., Petitta, F.: Nonlinear diffusion in transparent media: the resolvent equation. Adv. Calc. Var. 11(4), 405–432 (2018)
Giaquinta, M.: On the Dirichlet problem for surfaces of prescribed mean curvature. Manuscripta Math. 12, 73–86 (1974)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order, Reprint of the 1998 edition. Classics in Mathematics, 1998th edn. Springer, Berlin (2001)
Giusti, E.: Boundary value problems for non-parametric surfaces of prescribed mean curvature. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 3(3), 501–548 (1976)
Giusti, E.: On the equation of surfaces of prescribed mean curvature. Existence and uniqueness without boundary conditions. Invent. Math. 46, 111–137 (1978)
Giusti, E.: Minimal Surfaces and Functions of Bounded Variation. Birkhäuser, Boston (1984)
Hu, D.L., Prakash, M., Chan, B., et al.: Water-walking devices. Exp. Fluids 43, 769–778 (2007)
Jenkins, H., Serrin, J.: The Dirichlet problem for the minimal surface equation in higher dimensions. J. Reine Angew. Math. 229, 170–187 (1968)
Kawohl, B.: On a family of torsional creep problems. J. Reine Angew. Math. 410, 1–22 (1990)
Kawohl, B., Schuricht, F.: Dirichlet problems for the \(1\)-Laplace operator, including the eigenvalue problem. Commun. Contemp. Math. 9(4), 515–543 (2007)
Leonardi, G.P.: An overview on the Cheeger problem. In: Pratelli, A., Leugering, G. (eds.) New Trends in Shape Optimization. International Series of Numerical Mathematics, vol. 166. Birkhäuser, Cham (2015)
Leonardi, G.P., Comi, G.E.: The prescribed mean curvature measure equation in non-parametric form, arXiv:2302.10592 (2023)
Leonardi, G.P., Saracco, G.: The prescribed mean curvature equation in weakly regular domains. NoDEA Nonlinear Differ. Equ. Appl. 25(2), 9 (2018)
Leray, J., Lions, J.L.: Quelques résulatats de Vi \(\check{s}\)ik sur les problémes elliptiques nonlinéaires par les méthodes de Minty-Browder. Bull. Soc. Math. France 93, 97–107 (1965)
Lieberman, G.: The conormal derivative problem for elliptic equations of variational type. J. Differ. Equ. 49, 218–257 (1983)
Littig, S., Schuricht, F.: Convergence of the eigenvalues of the \(p\)-Laplace operator as p goes to 1. Calc. Var. Partial Differ. Equ. 49(3), 707–727 (2014)
Liu, Y.Y., Xin, J., Yu, Y.: Asymptotics for turbulent flame speeds of the viscous G-equation enhanced by cellular and shear flows. Arch Ration. Mech Anal 202, 461–492 (2011)
Mercaldo, A., Segura de León, S., Trombetti, C.: On the solutions to \(1\)-Laplacian equation with \(L^1\) data. J. Funct. Anal. 256(8), 2387–2416 (2009)
Miranda, M.: Dirichlet problem with \(L^1\) data for the non-homogeneous minimal surface equation. Indiana Univ. Math. J. 24, 227–241 (1974/75)
Omari, P., Sovrano, E.: Positive solutions of superlinear indefinite prescribed mean curvature problems. Commun. Contemp. Math. 23(3), 2050017 (2021)
Pan, H., Xing, R.: Radial solutions for a prescribed mean curvature equation with exponential nonlinearity. Nonlinear Anal. 75(1), 103–116 (2012)
Pick, L., Kufner, A., Oldrich, J., Fucík, S.: Function Spaces, 1. De Gruyter, Berlin (2012)
Porretta, A.: On the regularity of the total variation minimizers. Commun. Contemp. Math. 23(1), 1950082 (2021)
Scheven, C., Schmidt, T.: BV supersolutions to equations of 1-Laplace and minimal surface type. J. Differ. Equ. 261, 1904–1932 (2016)
Serrin, J.: The problem of Dirichlet for quasilinear elliptic equations with many independent variables. Philos. Trans. R. Soc. Lond. Ser. A 264, 413–496 (1969)
Simon, L., Spruck, J.: Existence and regularity of a capillary surface with prescribed contact angle. Arch. Ration. Mech. Anal. 61, 19–34 (1976)
Stampacchia, G.: Le problème de Dirichlet pour les équations elliptiques du seconde ordre à coefficientes discontinus. Ann. Inst. Fourier 15, 189–258 (1965)
Vy, K.L.: On a sub-supersolution method for the prescribed mean curvature problem. Czechoslovak Math. J. 58, 541–560 (2008)
Williams, G.: The Dirichlet problem for the minimal surface equation, Miniconference on nonlinear analysis (Canberra, 1984), 233–239, Proc. Centre Math. Anal. Austral. Nat. Univ., 8, Austral. Nat. Univ., Canberra, (1984)
Ziemer, W.K.: The nonhomogeneous minimal surface equation involving a measure. Pac. J. Math. 167(1), 183–200 (1995)
Acknowledgements
The authors are partially supported by the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM).
Funding
Open access funding provided by Università degli Studi di Roma La Sapienza within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Giachetti, D., Oliva, F. & Petitta, F. Bounded Solutions for Non-parametric Mean Curvature Problems with Nonlinear Terms. J Geom Anal 34, 265 (2024). https://doi.org/10.1007/s12220-024-01715-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-024-01715-5
Keywords
- Prescribed mean curvature
- Functions of bounded variation
- Divergence-measure fields
- Non-parametric minimal surfaces
- Singular equations