Abstract
We consider a one-Laplace equation perturbed by p-Laplacian with \(1<p<\infty \). We prove that a weak solution is continuously differentiable \((C^1)\) if it is convex. Note that a similar result fails to hold for the unperturbed one-Laplace equation. The main difficulty is to show \(C^{1}\)-regularity of the solution at the boundary of a facet where the gradient of the solution vanishes. For this purpose we blow-up the solution and prove that its limit is a constant function by establishing a Liouville-type result, which is proved by showing a strong maximum principle. Our argument is rather elementary, since we assume that the solution is convex. A few generalizations are also discussed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We consider a one-Laplace equation perturbed by p-Laplacian of the form
with
where
in a domain \(\Omega \) in \(\mathbb {R}^n\), \(\nabla u=(\partial _{x_{1}}u,\,\dots ,\,\partial _{x_{n}}u)\) with \(\partial _{x_{j}}u=\partial u/\partial x_{j}\) for a function \(u=u(x_{1},\,\ldots ,\,x_{n})\), and \(\mathop {\mathrm {div}}X=\sum \nolimits _{i=1}^{n}\partial _{x_{i}}X_{i}\) for a vector field \(X=(X_{1},\,\ldots ,\,X_{n})\). The constants \(b>0\) and \(p\in (1,\infty )\) are given and fixed. It has been a long-standing open problem whether its weak solution is \(C^1\) up to a facet, the place where the gradient \(\nabla u\) vanishes, even if f is smooth. This is a non-trivial question since a weak solution to the unperturbed one-Laplace equation, that is, \(-\Delta _1 u=f\) may not be \(C^1\). This is because the ellipticity degenerates in the direction of \(\nabla u\) for \(\Delta _1 u\). Our goal in this paper is to solve this open problem under the assumption that a solution is convex.
1.1 Main theorems and our strategy
Throughout the paper, we assume that \(f\in L^q_{\mathrm {loc}}(\Omega )\) (\(n<q\leqq \infty \)), that is, \(|f|^q\) is locally integrable in \(\Omega \). Our main result is
Theorem 1
(\(C^{1}\)-regularity theorem) Let u be a convex weak solution to (1.1) with \(f\in L^q_{\mathrm {loc}}(\Omega )\,(n<q\le \infty )\). Then u is in \(C^{1}(\Omega )\).
Difficulty on proving regularity on gradients of solutions to (1.1) can be explained from a viewpoint of ellipticity ratio. We set a convex function \(E:{{\mathbb {R}}}^{n}\rightarrow [0,\,\infty )\) by
where \(E_{s}\,(1\le s<\infty )\) is defined by
We rewrite (1.1) by
By differentiating (1.2) by \(x_{i}\,(i\in \{\,1,\,\dots ,\,n\,\})\), we get
By elementary calculations, ellipticity ratio of the Hessian \(\nabla _{z}^{2}E\) at \(z_{0}\in {{\mathbb {R}}}^{n}\setminus \{ 0\}\) is given by
Since the exponent \(1-p\) is negative, the ellipticity ratio of \(\nabla _{z}^{2}E(z_{0})\) blows up as \(z_{0}\rightarrow 0\). By this property, we can observe that the Equation (1.2) becomes non-uniformly elliptic near the facet. It should be noted that our problem is substantially different from the \((p,\,q)\)-growth problem, since for \((p,\,q)\)-growth equations, non-uniform ellipticity appears as a norm of a gradient blows up [26, Section 6.2]. Although regularity of minimizers of double phase functionals, including
were discussed in scalar and even in vectorial cases by Colombo and Mingione [6, 7], their results do not recover our \(C^{1}\)-regularity results. This is basically derived from the fact that, unlike \(\nabla _{z}^{2}E_{p}\) with \(1<p<\infty \), the Hessian matrix \(\nabla _{z}^{2}E_{1}(z_{0})\,(z_{0}\not =0)\) always takes \(0\) as its eigenvalue. In other words, ellipticity of the operator \(\Delta _{1}u\) degenerates in the direction of \(\nabla u\), which seems to be difficult to handle analytically.
On the other hand, the ellipticity ratio of \(\nabla _{z}^{2}E(z_{0})\) is uniformly bounded over \(|z_{0}|>\delta \) for each fixed \(\delta >0\). In this sense we may regard the Equation (1.3) as locally uniformly elliptic outside the facet. To show Lipschitz bound, we do not need to study over the facet. In fact, local Lipschitz continuity of solutions to (1.1) are already established in [32]; see also [33] for a weaker result. To study continuity of derivatives, we have to study regularity up to the facet. Thus, it seems to be impossible to apply standard arguments based on De Giorgi–Nash–Moser theory. In this paper, we would like to show continuity of derivatives of convex solutions by elementary arguments based on convex analysis.
Let us give a basic strategy to prove Theorem 1. Since the problem is local, we may assume that \(\Omega \) is convex, or even a ball. By \(C^{1}\)-regularity criterion for a convex function, to show \(u\) is \(C^{1}\) at \(x\in \Omega \) it suffices to prove that
see [1, Appendix D], [30, §25] and Remark 1 for more detail. Here the subdifferential of \(u\) at \(x_{0}\in \Omega \) is defined by
Here \(\langle \,\cdot \,\mid \,\cdot \,\rangle \) stands for the standard inner product in \({{\mathbb {R}}}^{n}\). For a convex function \(u:\Omega \rightarrow {{\mathbb {R}}}\), we can simply express the facet of \(u\) as
By definition it is clear that the facet \(F\) is non-empty if and only if a minimum of u in \(\Omega \) exists. By convexity of \(u\), we can easily check that \(F\subset \Omega \) is a relatively closed convex set in \(\Omega \). We also define an open set
Our strategy to show (1.4) depends on whether \(x\) is inside \(F\) or not.
Remark 1
(Some properties on differentiability of convex functions) Let v a real-valued convex function in a convex domain \(\Omega \subset {{\mathbb {R}}}^{n}\), then following properties hold.
-
1.
v is locally Lipschitz continuous in \(\Omega \), and therefore v is almost everywhere differentiable in \(\Omega \) by Rademacher’s theorem ([1, Theorem 1.19], see also [9, Theorem 3.1 and 3.2] and [30, Theorem 25.5]).
-
2.
For \(x\in \Omega \), \(v\) is differentiable at \(x\) if and only if the subdifferential set \(\partial v(x)\) is a singleton. Moreover, if \(x\in \Omega \) satisfies either of these equivalent conditions, then we have \(\partial v(x)=\{\nabla v(x)\}\) ([1, Proposition D.5], see also [30, Theorem 25.1]). In particular, Rademacher’s theorem implies that \(\partial v(x)=\{\nabla v(x)\}\) for almost everywhere \(x\in \Omega \).
-
3.
\(v\in C^{1}(\Omega )\) if and only if \(\partial v\) is single-valued ([1, Remark D.3 (iii)], see also [30, Theorem 25.5]).
Throughout this paper, we use these well-known results without proofs.
We first discuss the case \(x\in D\). Our goal is to show directly that \(u\) is \(C^{1,\,\alpha }\) near a neighborhood of \(x\) and therefore \(\partial u(x)=\{\nabla u(x)\}\not = \{0\}\) for all \(x\in D\). This strategy roughly consists of three steps. Among them the first step, a kind of separation of \(x\in D\) from the facet F, plays an important role. Precisely speaking, we first find a neighborhood \(B_{r}(x)\subset D\), an open ball centered at x with its radius \(r>0\), such that
for some direction \(\nu \) and some constant \(\mu >0\). In order to justify (1.5), we fully make use of convexity of u (Lemma 8 in Section A), not elliptic regularity theory. Then with the aid of local Lipschitz continuity of u, the inclusion \(B_{r}(x)\subset \{0<\mu \le \partial _{\nu }u\le |\nabla u|\le M\}\) holds for some finite positive constant M. Secondly, this inclusion allows us to check that \(u\) admits local \(W^{2,\,2}\)-regularity in \(B_{r}(x)\) by the standard difference quotient method. Therefore we are able to obtain the Equation (1.3) in the distributional sense. Finally, we appeal to the classical De Giorgi–Nash–Moser theory to obtain local \(C^{1,\,\alpha }\)-regularity at \(x\in D\), since the Equation (1.3) is uniformly elliptic in \(B_{r}(x)\). Here the constant \(\alpha \in (0,\,1)\) we have obtained may depend on the location of \(x\in D\) through ellipticity, so \(\alpha \) may tend to zero as \(x\) tends to the facet.
It takes much efforts to prove that \(\partial u(x)=\{0\}\) for all \(x\in F\). Our strategy for justifying this roughly consists of three parts; a blow-argument for solutions, a strong maximum principle, and a Liouville-type theorem. Here we describe each individual step.
We first make a blow-argument. Precisely speaking, for a given convex solution \(u:\Omega \rightarrow {{\mathbb {R}}}\) and a point \(x_{0}\in \Omega \), we set a sequence of rescaled functions \(\{u_{a}\}_{a>0}\) defined by
We show that \(u_{a}\) locally uniformly converges to some convex function \(u_{0}:{{\mathbb {R}}}^{n}\rightarrow {{\mathbb {R}}}\), which satisfies \(\partial u(x_{0})\subset \partial u_{0}(x_{0})\) by construction. Moreover, we prove that \(u_{0}\) satisfies \(L_{b,\,p}u_{0}=0\) in \({{\mathbb {R}}}^{n}\) in the distributional sense. There we will face to justify almost everywhere convergence of gradients, and this is elementarily shown by regarding gradients in the classical sense as subgradients (Lemma 9 in the appendices).
Next we prove that if \(x_{0}\in F\), then the convex weak solution \(u_{0}\) constructed as above satisfies \(\partial u_{0}(x_{0})=\{0\}\). Moreover, we are going to prove that \(u_{0}\) is constant (a Liouville-type theorem). For this purpose we establish the maximum principle.
Theorem 2
(Strong maximum principle) Let \(u\) be a convex weak solution to \(L_{b,\,p}u=0\) in a convex domain \(\Omega \subset {{\mathbb {R}}}^{n}\) and \(F\subset \Omega \) be the facet of u. Then \(u\) is affine in each connected component of the open set \(D:=\Omega \setminus F\). In particular, if \(F=\emptyset \), then u is affine in \(\Omega \).
It should be noted that this result is a kind of strong maximum principle in the sense that
where \(a(x):=u(x_{0})+\langle \nabla u(x_{0})\mid x-x_{0}\rangle \) and \(D_{0}\) is a connected component of \(D\). The affine function \(a\) clearly satisfies \(L_{b,\,p}a=0\) in the classical sense.
In order to justify (1.6), we will face three problems. The first is a justification of the comparison principle, the second is regularity of \(u\), and the third is a construction of suitable barrier subsolutions, all of which are essentially needed in the classical proof of E. Hopf’s strong maximum principle [20]. In order to overcome these obstacles, we appeal to both classical and distributional approaches, and restrict our analysis only over regular points. For details, see Section 1.2.
Even though our strong maximum principle is somewhat weakened in the sense that this holds only on each connected component of \(D\subset \Omega \), we are able to show the following Liouville-type theorem.
Theorem 3
(Liouville-type theorem) Let \(u\) be a convex weak solution to \(L_{b,\,p}u=0\) in \({{\mathbb {R}}}^{n}\). Then \(F\subset {{\mathbb {R}}}^{n}\), the facet of u, satisfies either \(F=\emptyset \) or \(F={{\mathbb {R}}}^{n}\). In particular, u satisfies either of the following:
-
1.
If u attains its minimum in \({{\mathbb {R}}}^{n}\), then u is constant.
-
2.
If u does not attains its minimum in \({{\mathbb {R}}}^{n}\), then u is a non-constant affine function in \({{\mathbb {R}}}^{n}\).
In the proof of the Liouville-type theorem, our strong maximum principle plays an important role. Precisely speaking, if a convex solution in the total space does not satisfy \(\emptyset \subsetneq F\subsetneq {{\mathbb {R}}}^{n}\), then Theorem 2 and the supporting hyperplane theorem from convex analysis help us to determine the shape of convex solutions. In particular, the convex solution can be classified into three types of piecewise-linear functions of one-variable. These non-smooth piecewise-linear functions are, however, no longer weak solutions, which we will prove by some explicit calculations.
By applying the Liouville-type theorem and our blow-argument, we are able to show that subgradients at points of the facet are always \(0\), that is, \(\partial u(x)=\{0\}\) for all \(x\in F\), and we complete the proof of the \(C^{1}\)-regularity theorem. Note that the statements in Theorem 2 and 3 should not hold for unperturbed one-Laplace equation \(-\Delta _{1}u=f\), since any absolutely continuous non-decreasing function of one variable \(u=u(x_{1})\) satisfies \(-\Delta _{1}u=0\).
Finally we mention that we are able to refine our strategy, and obtain \(C^{1}\)-regularity of convex solutions to more general equations. We replace the one-Laplacian \(\Delta _{1}\) by another operator which is derived from a general convex functional of degree 1. This generalization requires us to modify some of our arguments, including a blow-up argument and the Liouville-type theorem. For further details, see Sections 1.4 and 6.2.
1.2 Literature overview on maximum principles
We briefly introduce maximum principles related to the paper. We also describe our strategy for establishing the strong maximum principle.
Maximum principles, including comparison principles and strong maximum principles, have been discussed by many mathematicians in various settings. In the classical settings, E. Hopf proved a variety of maximum principles on elliptic partial differential equations of second order, by elementary arguments based on constructions of auxiliary functions. E. Hopf’s strong maximum principle is one of the well-known results on maximum principles. In Hopf’s proof of the strong maximum principle [20], he defined an auxiliary function
which becomes a classical subsolution in a fixed open annulus \(E_{R}=E_{R}(x_{*}):=B_{R}(x_{*})\setminus \overline{B_{R/2}(x_{*})}\) for sufficiently large \(\alpha >0\). An alternative function
is given in [29, Chapter 2.8]. E. Hopf’s classical results on maximum principles are extensively contained in [17, Chapter 3], [28, Chapter 2] and [29, Chapter 2].
The materials [17, Chapter 8–9] and [29, Chapter 3–6] provide proofs of maximum principles, including strong maximum principles, even for distributional solutions. Among them, [29, Theorem 5.4.1] deals with a justification of the strong maximum principle for distributional supersolutons to certain quasilinear elliptic equations with divergence structures,
which covers the \(p\)-Laplace equation with \(1<p<\infty \). Even in the distributional schemes, the proof of the maximum principle [29, Theorem 5.4.1] is partially similar to E. Hopf’s classical one, in the sense that it is completed by calculating directional derivatives of auxiliary functions. The significant difference is, however, the construction of spherically symmetric subsolutions of \(C^{1}\) class, which is given in [29, Chapter 4], is based on Leray–Schauder’s fixed point theorem [17, Theorem 11.6]. Also it should be noted that the proofs of comparison principles [29, Theorem 2.4.1 and 3.4.1] are just based on strict monotonicity of the mapping \(A(x,\,\cdot \,):{{\mathbb {R}}}^{n}\rightarrow {{\mathbb {R}}}^{n}\), whereas Hopf’s proof appeals to direct constructions of auxiliary functions.
With our literature overview in mind, we describe our strategy for showing (1.6). A justification of comparison principles is easily obtained in the distributional schemes (see [29, Chapter 3] as a related material). However, the remaining two obstacles, the differentiability of \(u\) and the construction of subsolutions, cannot be resolved affirmatively by just imitating arguments given in [29, Chapter 4–5]. In the first place, it should be mentioned that convex weak solutions we treat in this paper are assumed to have only local Lipschitz regularity, whereas supersolutions treated in [29, Chapter 5] are required to be in \(C^{1}\). We recall that \(C^{1}\)-regularity of convex weak solutions can be guaranteed in \(D\subset \Omega \) (the outside of the facet) by the classical De Giorgi–Nash–Moser theory, and this result enables us to overcome the problem whether \(u\) is differentiable at certain points. This is the reason why Theorem 2 need to restrict on D. Although the construction of distributional subsolutions is generally discussed in [29, Chapter 4], we do not appeal to this. Instead, we directly construct a function \(v=\beta h+a\) in \({{\mathbb {R}}}^{n}\setminus \{x_{*}\}\), where \(\beta >0\) is a constant and \(h\) is defined as in (1.7) or (1.8). We will determine the constants \(\alpha ,\,\beta >0\) so precisely that \(v\) satisfies \(L_{b,\,p}v\le 0\) in the classical sense over a fixed open annulus \(E_{R}=E_{R}(x_{*})\). We also make \(|\nabla v|\) very close to \(|\nabla a|\equiv |\nabla u(x_{0})|>0\) over \(E_{R}\), so that \(\nabla v\) no longer degenerates there. By direct calculation of \(L_{b,\,p}v\), we explicitly construct classical subsolutions to \(L_{b,\,p}u=0\) in \(E_{R}\). Finally we are able to deduce (1.6) by an indirect proof.
Another type of definitions of subsolutions and supersolutions to (1.1) in the distributional schemes can be found in F. Krügel thesis in 2013 [25]. The significant difference is that Krügel did not regard the term \(\nabla u/|\nabla u|\) as a subgradient vector field. Since monotonicity of \(\partial |\,\cdot \,|\) is not used at all, it seems that Krügel’s proof of the comparison principle [25, Theorem 4.8] needs further explanation. For details, see Remark 3.
1.3 Mathematical models and previous researches
Our problem is derived from a minimizing problem of a certain energy functional, which involves the total variation energy. The Equation (1.1) is deduced from the following Euler–Lagrange equation;
The energy functional \(G\) often appears in fields of materials science and fluid mechanics.
In [31], Spohn modeled the relaxation dynamics of a crystal surface below the roughening temperature. On h describing the height of the crystal for a two-dimensional domain \(\Omega \) is modeled as
with \(j=-\nabla \mu \), where \(\mu \) is a chemical potential. In [31], its evolution is given as
with \(\kappa >0\). This \(\Phi \) is essentially the same as \(G\) with \(p=3\). Then, the resulting evolution equation for \(h\) is of the form
This equation can be defined as a limit of step motion, which is microscopic in the direction of height [23]; see also [27]. The initial value problem of this equation can be solved based on the theory of maximal monotone operators [12] under the periodic boundary condition. Subdifferentials describing the evolution are characterized by Kashima [21, 22]. Its evolution speed is calculated by [21] for one dimensional setting and by [22] for radial setting. It is known that the solution stops in finite time [13, 14]. In [27], numerical calculation based on step motion is calculated. If one considers a stationary solution, h satisfies
If \(L_{b,\,3}h\) is a constant, our Theorem 1 implies that the height function h is \(C^{1}\) provided that h is convex.
For a second order problem,
its analytic formulation goes back to [4, 8, Chapter VI] for \(p=2\), and its numerical analysis is given in [19]. For the fourth order problem, its numerical study is more recent. The reader is referred to papers by [15, 16, 24].
Another important mathematical model for the equation (1.1) is found in fluid mechanics. Especially for \(p=2\) and \(n=2\), the energy functional \(G\) appears when modeling stationary laminar incompressible flows of a material called Bingham fluid, which is a typical non Newtonian fluid. Bingham fluid reflects the effect of plasticity corresponding to \(\Delta _{1}u\) as well as that of viscosity corresponding \(\Delta _{2} u =\Delta u\) in (1.1). Let us consider a parallel stationary flow with velocity \(U=(0,0, u(x_1, x_2))\) in a cylinder \(\Omega \times {{\mathbb {R}}}\). Of course, this is incompressible flow, that is, \(\mathop {\mathrm {div}}U=0\). If this flow is the classical Newtonian fluid, then the Navier–Stokes equations become (1.1) in \(\Omega \) with \(b=0\) and \(f=-\partial _{x_3}\pi \), where \(\pi \) denotes the pressure. In the case that plasticity effects appears, one obtains (1.1), following [8, Chapter VI, Section 1]. There it is also mentioned that since the velocity is assumed to be uni-directional, the external force term in (1.1) is considered as constant in this laminar flow model. The significant difference is that motion of the Bingham fluid is blocked if the stress of the Bingham fluid exceeds a certain threshold. This physical phenomenon is essentially explained by the nonlinear term \(b\Delta _{1}u\), which reflects rigidity of the Bingham fluid. For more details, see [8, Chapter VI] and the references therein.
On continuity of derivatives for solutions, less is known even for the second order elliptic case. Although Krügel gave an observation that solutions can be continuously differentiable [25, Theorem 1.2] on the boundary of a facet, mathematical justifications of \(C^{1}\)-regularity have not been well-understood. Our main result (Theorem 1) mathematically establishes continuity of gradient for convex solutions.
1.4 Organization of the paper
We outline the contents of the paper.
Section 2 establishes \(C^{1,\,\alpha }\)-regularity at regular points of convex weak solutions (Lemma 1). In order to apply De Giorgi–Nash–Moser theory, we will need to justify local \(W^{2,\,2}\)-regularity by the difference quotient method. The key lemma, which is proved by convex analysis, is contained in the appendices (Lemma 8).
Section 3 provides a blow-up argument for convex weak solutions. The aim of Section 3 is to prove that \(u_{0}:{{\mathbb {R}}}^{n}\rightarrow {{\mathbb {R}}}\), a limit of rescaled solutions, satisfies \(L_{b,\,p}u_{0}=0\) in the weak sense over the whole space \({{\mathbb {R}}}^{n}\) (Proposition 1). To assure this, we will make use of an elementary result on almost everywhere convergence of gradients, which is given in the appendices (Lemma 9).
Section 4 is devoted to justifications of maximum principles for the equation \(L_{b,\,p}u=0\). We first give definitions of sub- and supersolution in the weak sense. Section 4.1 provides a justification of the comparison principle (Proposition 2). Section 4.2 establishes an existence result of classical barrier subsolutions in an open annulus (Lemma 2). Applying these results in Section 4.1–4.2, we prove the strong maximum principle outside the facet (Theorem 2).
In Section 5, we will show the Liouville-type theorem (Theorem 3) by making use of Theorem 2, and complete the proof of our main theorem (Theorem 1).
Finally in Section 6, we discuss a few generalization of the operators \(\Delta _{1}\) and \(\Delta _{p}\). Since the general strategy for the proof is the same, we only indicate modification of our arguments. Among them, we especially treat with a Liouville-type theorem and a blow-up argument, since these proofs require basic facts of a general convex functional which is positively homogeneous of degree 1. These well-known facts are contained in the appendices for completeness.
2 Regularity Outside the Facet
In Section 2, we would like to show that \(u\) is \(C^{1}\) at any \(x\in D\), and therefore (1.4) holds for all \(x\in D\). This result will be used in the proof of the strong maximum principle (Theorem 2).
We first give a precise definition of weak solutions to \(L_{b,\,p}u=f\) in a convex domain \(\Omega \subset {{\mathbb {R}}}^{n}\), which is not necessarily bounded.
Definition 1
Let \(\Omega \subset {{\mathbb {R}}}^{n}\) be a domain, which is not necessarily bounded, and \(f\in L_{\mathrm {loc}}^{q}(\Omega )\,(n<q\le \infty )\). We say that a function \(u\in W_{\mathrm {loc}}^{1,\,p}(\Omega )\) is a weak solution to (1.1), when for any bounded Lipschitz domain \(\omega \Subset \Omega \), there exists a vector field \(Z\in L^{\infty }(\omega ,\,{{\mathbb {R}}}^{n})\) such that the pair \((u,\,Z)\in W^{1,\,p}(\omega )\times L^{\infty }(\omega ,\,{{\mathbb {R}}}^{n})\) satisfies
for all \(\phi \in W_{0}^{1,\,p}(\omega )\), and
for almost everywhere \(x\in \omega \). For such pair \((u,\,Z)\), we say that \((u,\,Z)\) satisfies \(L_{b,\,p}u=f\) in \(W^{-1,\,p^{\prime }}(\omega )\) or simply say that u satisfies \(L_{b,\,p}u=f\) in \(W^{-1,\,p^{\prime }}(\omega )\). Here \(p^{\prime }\in (1,\,\infty )\) denotes the Hölder conjugate exponent of \(p\in (1,\,\infty )\).
The aim of Section 2 is to show Lemma 1, below.
Lemma 1
Let \(u\) be a convex weak solution to (1.1) in a convex domain \(\Omega \subset {{\mathbb {R}}}^{n}\), and \(f\in L^{q}_{\mathrm {loc}}(\Omega )\,(n<q\le \infty )\). If \(x_{0}\in D\), then we can take a small radius \(r_{0}>0\), a unit vector \(\nu _{0}\in {{\mathbb {R}}}^{n}\), and a small number \(\mu _{0}>0\) such that
and there exists a small number \(\alpha =\alpha (\mu _{0})\in (0,\,1)\) such that \(u\in C^{1,\,\alpha }(B_{r_{0}/2}(x_{0}))\). In particular, \(u\) is \(C^{1}\) in \(D\), and \(\partial u(x)=\{\nabla u(x)\}\not = \{0\}\) for all \(x\in D\).
Before proving Lemma 1, we introduce difference quotients. For given \(g:\Omega \rightarrow {{\mathbb {R}}}^{m}\,(m\in {{\mathbb {N}}}),\,j\in \{\,1,\,\dots ,\,n\,\},\,h\in {{\mathbb {R}}}\setminus \{0\}\), we define
where \(e_{j}\in {{\mathbb {R}}}^{n}\) denotes the unit vector in the direction of the \(x_{j}\)-axis.
In the proof of Lemma 1, we will use Lemmas 7–8 without proofs. For precise proofs, see Section A.
Proof
For each fixed \(x_{0}\in D\), we may take and fix \(x_{1}\in \Omega \) such that \(u(x_{0})>u(x_{1})\). We set \(3\delta _{0}:=u(x_{0})-u(x_{1})>0,\,d_{0}:=|x_{0}-x_{1}|>0\) and \(\nu _{0}:=d_{0}^{-1}(x_{0}-x_{1})\). By \(u\in C(\Omega )\), we may take a sufficiently small \(r_{0}>0\) such that
From (2.4), the inclusion \(\overline{B_{r_{0}}(x_{0})}\subset D\) clearly holds. (2.4) also allows us to check that for all \(y_{0}\in B_{r_{0}}(x_{0}),\,z_{0}\in \partial u(y_{0})\),
For the first inequality in (2.5), we have used Lemma 8, which is basically derived from convexity of \(u\). Recall that \(\partial u(x)=\{\nabla u(x)\}\) for almost everywhere \(x\in \Omega \), and hence we are able to recover (2.3) from (2.5).
In order to obtain \(C^{1}\)-regularity in D, we will appeal to the classical De Giorgi–Nash–Moser theory. For preliminaries, we check that the operator \(L_{b,\,p}u\) assures uniform ellipticity in \(B_{r_{0}}(x_{0})\). Local Lipschitz continuity of u implies that there exists a sufficiently large number \(M_{0}\in (0,\,\infty )\) such that
For notational simplicity, we write subdomains by
It should be noted that \(E(z):=b|z|+|z|^{p}/p\,(z\in {{\mathbb {R}}}^{n})\) satisfies \(E\in C^{\infty }({{\mathbb {R}}}^{n}\setminus \{0\})\), and there exists two constants \(0<\lambda (p,\,\mu _{0},\,M_{0})\le \Lambda (b,\,p,\,\mu _{0},\,M_{0})<\infty \) such that
for all \(z_{0},\,\zeta ,\,\omega \in {{\mathbb {R}}}^{n}\) with \(\mu _{0}\le |z_{0}|\le M_{0}\). We can explicitly determine \(0<\lambda \le \Lambda <\infty \) by
Now we check that \(u\in W^{2,\,2}(U_{4})\) by the difference quotient method. We refer the reader to [18, Theorem 8.1] as a related result. By [18, Lemma 8.2], it suffices to check that
Since \(u\in W^{1,\,p}(U_{1})\) satisfies \(L_{b,\,p}u=f\) in \(W^{-1,\,p^{\prime }}(U_{1})\), we obtain
for all \(\phi \in W_{0}^{1,\,p}(U_{1})\). Here we note that \(\nabla u\) no longer degenerates in \(U_{1}\) by (2.3). We fix a cutoff function \(\eta \in C_{c}^{1}(U_{3})\) such that
for some constant \(c>0\). For each fixed \(j\in \{\,1,\,\dots \,,\,n\,\},\,h\in {{\mathbb {R}}}\) with \(0<|h|<r_{0}/16\), we test \(\phi :=\Delta _{j,\,-h}(\eta ^{2}\Delta _{j,\,h}u)\) into (2.10). We note that \(\phi \in W^{1,\,\infty }(U_{1})\subset W^{1,\,p}(U_{1})\) by (2.8), and this is compactly supported in \(U_{2}\). Hence \(\phi \in W_{0}^{1,\,p}(U_{2})\) is an admissible test function. By testing \(\phi \), we have
Here \(A_{h}=A_{h}(x,\,\nabla u(x))\) denotes a matrix-valued function in \(U_{2}\) given by
We note that with the aid of (2.3)–(2.6), we obtain
for almost everywhere \(x\in U_{2}\) and for all \(0\le t\le 1\). Combining this result with (2.7)–(2.8), we conclude that \(A_{h}\) satisfies
for all \(\zeta ,\,\omega \in {{\mathbb {R}}}^{n}\) and for almost everywhere \(x\in U_{2}\). We set an integral
By (2.13), it is clear that \(I_{1}\ge \lambda J\). By Young’s inequality and applying a Poincaré-type inequality (Lemma 7) to \(\eta ^{2}\Delta _{j,\,h}u\in W_{0}^{1,\,2}(U_{2})\), we obtain for any \(\varepsilon >0\),
Here we have invoked the property \(0\le \eta \le 1\) in \(U_{2}\). We fix \(\varepsilon :=\lambda /6>0\). By (2.14) and Young’s inequality, we have
It follows from (2.6) that \(\Vert \Delta _{j,\,h}u\Vert _{L^{\infty }(U_{2})}\le M_{0}\). Therefore we obtain from (2.12),
The estimate (2.9) follows from this, and therefore \(u\in W^{2,\,2}(U_{4})\).
For each \(\psi \in C_{c}^{\infty }(U_{4})\), we test \(\partial _{x_{j}}\psi \in C_{c}^{\infty }(U_{4})\) into (2.10). Integrating by parts, we obtain
for all \(\psi \in C_{c}^{\infty }(U_{4})\). Noting that \(f\in L^{q}(U_{4})\subset L^{2}(U_{4}),\,\partial _{x_{j}}u\in W^{1,\,2}(U_{4})\), and (2.7)–(2.8), we may extend \(\psi \in W_{0}^{1,\,2}(U_{4})\) by a density argument. The conditions (2.7)–(2.8) imply that \(\nabla _{z}^{2}E(\nabla u)\) is uniformly elliptic over \(U_{1}\). Hence by [17, Theorem 8.22], there exists \(\alpha =\alpha (\lambda ,\,\Lambda ,\,n,\,q)\in (0,\,1)\) such that \(\partial _{x_{j}}u\in C^{\alpha }(U_{5})\) for each \(j\in \{\,1,\,\dots ,\,n\,\}\). This regularity result implies \(\partial u(x)=\{\nabla u(x)\}\not = \{0\}\) for all \(x\in D\). \(\square \)
3 A Blow-Up Argument
In order to show that (1.4) holds true even for \(x\in F\), we first make a blow-argument and construct a convex weak solution in the whole space \({{\mathbb {R}}}^{n}\), in the sense of Definition 1.
Proposition 1
Let \(\Omega \subset {{\mathbb {R}}}^{n}\) be a convex domain, and \(f\in L^{q}_{\mathrm {loc}}(\Omega )\,(n<q\le \infty )\). Assume that \(u\) is a convex weak solution to (1.1), and \(x_{0}\in \Omega \). Then there exists a convex function \(u_{0}:{{\mathbb {R}}}^{n}\rightarrow {{\mathbb {R}}}\) such that
-
1.
\(u_{0}\) is a weak solution to \(L_{b,\,p}u_{0}=0\) in \({{\mathbb {R}}}^{n}\).
-
2.
The inclusion \(\partial u(x_{0})\subset \partial u_{0}(x_{0})\) holds. That is, if \(c\in \partial u(x_{0})\), then we have
$$\begin{aligned}u_{0}(x)\ge u_{0}(x_{0})+\langle c\mid x-x_{0}\rangle \quad \text {for all }x\in {{\mathbb {R}}}^{n}.\end{aligned}$$In particular, if \(x_{0}\in F\), then the facet of \(u_{0}\) is non-empty.
Proof
Without loss of generality, we may assume that \(x_{0}=0\) and \(u(x_{0})=0\). First we fix a closed ball \(\overline{B_{R}(0)}=\overline{B_{R}}\subset \Omega \). We note that \(u\in \mathop {\mathrm {Lip}}(\overline{B_{R}})\) since \(u\) is convex. Hence there exists a sufficiently large number \(M\in (0,\,\infty )\) such that
We take and fix a vector field \(Z\in L^{\infty }(B_{R},\,{{\mathbb {R}}}^{n})\) such that the pair \((u,\,Z)\in W^{1,\,p}(B_{R})\times L^{\infty }(B_{R},\,{{\mathbb {R}}}^{n})\) satisfies \(L_{b,\,p}u=f\) in \(W^{-1,\,p^{\prime }}(B_{R})\). For each \(a>0\), we define a rescaled convex function \(u_{a}:B_{R/a}\rightarrow {{\mathbb {R}}}\) and a dilated vector field \(Z_{a}\in L^{\infty }(B_{R/a},\,{{\mathbb {R}}}^{n})\) by
We also set \(f_{a}\in L^{q}(B_{R/a})\) by
Then it is easy to check that the pair \((u_{a},\,Z_{a})\in W^{1,\,\infty }(B_{R/a})\times L^{\infty }(B_{R/a},\,{{\mathbb {R}}}^{n})\) satisfies \(L_{b,\,p}u_{a}=f_{a}\) in \(W^{-1,\,p^{\prime }}(B_{R/a})\). For each fixed \(R<r<\infty \), the inclusion \(B_{r}=B_{r}(0)\subset B_{R/a}\) holds for all \(a\in (0,\,R/r)\). We also have
by the definition of \(u_{a}\). Hence by the Arzelà–Ascoli theorem and a diagonal argument, we can take a decreasing sequence \(\{a_{N}\}_{N=1}^{\infty }\subset (0,\,\infty )\), such that \(a_{N}\rightarrow 0\) as \(N\rightarrow \infty \), and
for some function \(u_{0}:{{\mathbb {R}}}^{n}\rightarrow {{\mathbb {R}}}\). Clearly \(u_{0}\) is convex in \({{\mathbb {R}}}^{n}\), and the inclusion \(\partial u(x_{0})\subset \partial u_{0}(x_{0})\) holds true by the construction of rescaled functions \(u_{a}\). If \(x_{0}\in F\), then we have \(\{0\}\subset \partial u(x_{0})\subset \partial u_{0}(x_{0})\) and therefore \(x_{0}\) lies in the facet of \(u_{0}\). We are left to show that \(u_{0}\) is a weak solution to \(L_{b,\,p}u_{0}=0\) in \({{\mathbb {R}}}^{n}\). Before proving this, we note that from (3.1)–(3.2) and Lemma 9, it follows that
as \(N\rightarrow \infty \). We arbitrarily fix an open ball \(B_{r}=B_{r}(0)\subset {{\mathbb {R}}}^{n}\). We easily realize that a family of pairs \(\{(u_{a},\,Z_{a})\}_{0<a<R/r}\subset W^{1,\,\infty }(B_{r})\times L^{\infty }(B_{r},\,{{\mathbb {R}}}^{n})\) satisfies
By definition of \(f_{a}\), we get \(\Vert f_{a}\Vert _{L^{q}(B_{r})}=a^{1-n/q}\Vert f\Vert _{L^{q}(B_{ar})}\le a^{1-n/q}\Vert f\Vert _{L^{q}(B_{R})}\) for all \(0<a<R/r\). Hence by the continuous embedding \(L^{q}(B_{r})\hookrightarrow W^{-1,\,p^{\prime }}(B_{r})\), we obtain
By (3.1) and (3.3), we can apply Lebesgue’s dominated convergence theorem and get
It is clear that \(\Vert Z_{a}\Vert _{L^{\infty }(B_{r},\,{{\mathbb {R}}}^{n})}\le 1\) for all \(0<a<R/r\). Hence by [5, Corollary 3.30], up to a subsequence, we may assume that
for some \(Z_{0,\,r}\in L^{\infty }(B_{r},\,{{\mathbb {R}}}^{n})\). By lower-semicontinuity of the norm with respect to the weak\(^{*}\) topology and (3.3)–(3.4), we get
which implies that
Letting \(a=a_{N}\) in (3.5) and \(N\rightarrow \infty \), we obtain
by (3.5)–(3.8). Since \(B_{r}\subset {{\mathbb {R}}}^{n}\) is arbitrary, (3.9)–(3.10) means that \(u_{0}\) is a weak solution to \(L_{b,\,p}u_{0}=0\) in \({{\mathbb {R}}}^{n}\), in the sense of Definition 1. \(\square \)
4 Maximum Principles
In Section 4, we justify maximum principles for the equation \(L_{b,\,p}u=0\).
We first define subsolutions and supersolutions in the weak sense.
Definition 2
Let \(\Omega \subset {{\mathbb {R}}}^{n}\) be a bounded domain. A pair \((u,\,Z)\in W^{1,\,p}(\Omega )\times L^{\infty }(\Omega ,\,{{\mathbb {R}}}^{n})\) is called a weak subsolution to \(L_{b,\,p}u=0\) in \(\Omega \), if it satisfies
for all \(0\le \phi \in C_{c}^{\infty }(\Omega )\), and
Similarly we call a pair \((u,\,Z)\in W^{1,\,p}(\Omega )\times L^{\infty }(\Omega ,\,{{\mathbb {R}}}^{n})\) a weak supersolution \(L_{b,\,p}u=0\) in \(\Omega \), if it satisfies (4.2) and
for all \(0\le \phi \in C_{c}^{\infty }(\Omega )\). For \(u\in W^{1,\,p}(\Omega )\), we simply say that \(u\) is respectively a subsolution and a supersolution to \(L_{b,\,p}u=0\) in the weak sense if there is \(Z\in L^{\infty }(\Omega ,\,{{\mathbb {R}}}^{n})\) such that the pair \((u,\,Z)\) is a weak subsolution and a weak supersolution to \(L_{b,\,p}u=0\) in \(\Omega \).
Remark 2
We describe some remarks on our definitions of weak solutions, subsolutions and supersolutions.
-
1.
By an approximation argument, we may extend the test function class of (4.1) to
$$\begin{aligned}D_{+}(\Omega ):=\{\phi \in W^{1,\,p}(\Omega )\mid \phi \ge 0\text { almost everywhere in }\Omega ,\,\, \mathop {\mathrm {supp}}\phi \subset \Omega \}.\end{aligned}$$Indeed, for \(\phi \in D_{+}(\Omega )\) and \(0<\varepsilon <\mathop {\mathrm {dist}}(\mathop {\mathrm {supp}}\phi ,\,\partial \Omega )\), the function,
$$\begin{aligned}\phi _{\varepsilon }(x)=\int \nolimits _{\Omega }\phi (x-y)\rho _{\varepsilon }(y)\,dy\quad \text {for }x\in \Omega \end{aligned}$$satisfies \(0\le \phi _{\varepsilon }\in C_{c}^{\infty }(\Omega )\). Here for \(0<\varepsilon <\infty \), \(0\le \rho _{\varepsilon }\in C_{c}^{\infty }(B_{\varepsilon }(0))\) denotes a standard mollifier so that
$$\begin{aligned}0\le \rho \in C_{c}^{\infty }(B_{1}),\quad \Vert \rho \Vert _{L^{1}({{\mathbb {R}}}^{n})}=1,\quad \rho _{\varepsilon }(x):=\varepsilon ^{-n}\rho (x/\varepsilon )\text { for }x\in {{\mathbb {R}}}^{n}.\end{aligned}$$By testing \(\phi _{\varepsilon }\) into (4.1) for sufficiently small \(\varepsilon >0\) and letting \(\varepsilon \rightarrow 0\), we conclude that if the pair \((u,\,Z)\) satisfies (4.1) for all \(0\le \phi \in C_{c}^{\infty }(\Omega )\), then (4.1) holds for all \(\phi \in D_{+}(\Omega )\). A similar result is also valid for (4.3).
-
2.
By Definition 1–2, if a pair \((u,\,Z)\in W^{1,\,p}(\Omega )\times L^{\infty }(\Omega ,\,{{\mathbb {R}}}^{n})\) satisfies \(L_{b,\,p}u=0\) in \(W^{-1,\,p^{\prime }}(\Omega )\), then \(u\) is clearly both a subsolution and a supersolution to \(L_{b,\,p}u=0\) in \(\Omega \) in the weak sense. Conversely, if a pair \((u,\,Z)\in W^{1,\,p}(\Omega )\times L^{\infty }(\Omega ,\,{{\mathbb {R}}}^{n})\) is both a weak subsolution and a weak supersolution to \(L_{b,\,p}u=0\) in \(\Omega \), then the pair \((u,\,Z)\) satisfies \(L_{b,\,p}u=0\) in \(W^{-1,\,p^{\prime }}(\Omega )\). Indeed, by the previous remark we have already known that the pair \((u,\,Z)\) satisfies (4.1) and (4.3) for all \(\phi \in D_{+}(\Omega )\), which clearly yields
$$\begin{aligned} b\int \nolimits _{\Omega }\langle Z\mid \nabla \phi \rangle \,{\mathrm{d}}x+\int \nolimits _{\Omega }\left\langle |\nabla u|^{p-2}\nabla u \mathrel {}\Big |\mathrel {} \nabla \phi \right\rangle \,{\mathrm{d}}x=0 \end{aligned}$$(4.4)for all \(\phi \in D_{+}(\Omega )\). We decompose arbitrary \(\phi \in C_{c}^{\infty }(\Omega )\) by \(\phi =\phi _{+}-\phi _{-}\), where \(\phi _{+}:=\max \{\,\phi ,\,0\,\},\,\phi _{-}:=\max \{\,-\phi ,\,0\,\}\in D_{+}(\Omega )\). By testing \(\phi _{+},\,\phi _{-}\in D_{+}(\Omega )\) into (4.4), we conclude that (4.4) holds for all \(\phi \in C_{c}^{\infty }(\Omega )\). By density of \(C_{c}^{\infty }(\Omega )\subset W_{0}^{1,\,p}(\Omega )\), it is clear that (4.4) is valid for all \(\phi \in W_{0}^{1,\,p}(\Omega )\).
-
3.
For a bounded domain \(\Omega \subset {{\mathbb {R}}}^{n}\), let \(u\in C^{2}(\overline{\Omega })\) satisfy the following two conditions (4.5)–(4.6);
$$\begin{aligned}&\nabla u(x) \not = 0\quad \text {for all }x\in \Omega , \end{aligned}$$(4.5)$$\begin{aligned}&(L_{b,\,p}u)(x)=-(b\Delta _{1}u+\Delta _{p}u)(x)\le 0 \quad \text {for all }x\in \Omega . \end{aligned}$$(4.6)Then for any fixed \(0\le \phi \in C_{c}^{\infty }(\Omega )\), we have
$$\begin{aligned}0\ge \int \nolimits _{\Omega }(L_{b,\,p}u)\phi \,{\mathrm{d}}x=b\int \nolimits _{\Omega }\left\langle \frac{\nabla u}{|\nabla u|}\mathrel {}\Big |\mathrel {}\nabla \phi \right\rangle \,{\mathrm{d}}x+\int \nolimits _{\Omega }\left\langle |\nabla u|^{p-2}\nabla u\mathrel {}\Big |\mathrel {}\nabla \phi \right\rangle \,{\mathrm{d}}x,\end{aligned}$$with the aid of integration by parts and (4.6). We also note that
$$\begin{aligned}\partial |\,\cdot \,|(\nabla u(x))=\left\{ \frac{\nabla u(x)}{|\nabla u(x)|}\right\} \quad \text {for all }x\in \Omega \end{aligned}$$by (4.5). Therefore the pair \((u,\,\nabla u/|\nabla u|)\in W^{1,\,p}(\Omega )\times L^{\infty }(\Omega ,\,{{\mathbb {R}}}^{n})\) satisfies (4.1)–(4.2). For such \(u\), we simply say that \(u\) satisfies \(L_{b,\,p}u\le 0\) in \(\Omega \) in the classical sense.
4.1 Comparison principle
We justify the comparison principle, that is, for any subsolution \(u^{-}\) and supersolution \(u^{+}\),
under the condition that \(u^{+}\) and \(u^{-}\) admits continuity properties in \(\overline{\Omega }\).
Proposition 2
Let \(\Omega \subset {{\mathbb {R}}}^{n}\) be a bounded domain. Assume that \(u^{+},\,u^{-}\in C(\overline{\Omega })\cap W^{1,\,p}(\Omega )\) is a subsolution and a supersolution to \(L_{b,\,p}u=0\) in the weak sense respectively. If \(u^{+},\,u^{-}\) satisfies
then \(u^{-}\le u^{+}\) in \(\overline{\Omega }\).
Before proving Proposition 2, we recall that the mapping \(A:{{\mathbb {R}}}^{n}\ni z\mapsto |z|^{p-2}z\in {{\mathbb {R}}}^{n}\) satisfies strict monotonicity,
Proof
We take arbitrary \(\delta >0\). By \(u^{+},\,u^{-}\in C(\overline{\Omega })\) and (4.7), we can take a subdomain \(\Omega ^{\prime }\Subset \Omega \) such that \(u^{-}\le u^{+}+\delta \) in \(\Omega \setminus \Omega ^{\prime }\). This implies that the support of the truncated non-negative function \(w_{\delta }:=\left( u^{+}-u^{-}+\delta \right) _{-}\in W^{1,\,p}(\Omega )\) is contained in \(\overline{\Omega ^{\prime }}\subsetneq \Omega \) and therefore \(w_{\delta }\in D_{+}(\Omega )\). Let \(Z^{+},\,Z^{-}\in L^{\infty }(\Omega ,\,{{\mathbb {R}}}^{n})\) be vector fields such that \((u^{+},\,Z^{+}),\,(u^{-},\,Z^{-})\) satisfies (4.1)–(4.2), (4.2)–(4.3) respectively. As in Remark 2, we may test \(w_{\delta }\) in (4.1) and (4.3). Note that \(\nabla w_{\delta }=-\chi _{\delta }\nabla \left( u^{+}-u^{-}\right) \), where \(\chi _{\delta }\) denotes the characteristic function of \(A_{\delta }:=\{x\in \Omega \mid u^{+}+\delta \le u^{-}\}\). Hence, we have
Here we have invoked (4.2) and monotonicity of the subdifferential operator \(\partial |\,\cdot \,|\). From (4.8) we can easily check that \(\nabla u^{+}=\nabla u^{-}\) in \(A_{\delta }\), and therefore \(w_{\delta }=0\) in \(W_{0}^{1,\,p}(\Omega )\). This means that \(u^{-}\le u^{+}+\delta \) almost everywhere in \(\Omega \). By regularity assumptions \(u^{+},\,u^{-}\in C(\overline{\Omega })\), we conclude that \(u^{-}\le u^{+}+\delta \) in \(\overline{\Omega }\). Since \(\delta >0\) is arbitrary, this completes the proof. \(\square \)
Remark 3
In 2013, Krügel gave another type of definitions of weak subsolutions and weak supersolutions to \(L_{b,\,p}=a\), where \(a\in {{\mathbb {R}}}\) is a constant. In Krügel’s definition [25, Definition 4.6], a function \(u^{-}\in W^{1,\,p}(\Omega )\) is called a subsolution to \(L_{b,\,p}=a\) if \(u^{-}\) satisfies
for all \(\phi \in D_{+}(\Omega )\). Here \(F^{-}:=\{x\in \Omega \mid \nabla u^{-}(x)=0\},\,D^{-}:=\Omega \setminus F^{-}\). Similarly a function \(u^{+}\in W^{1,\,p}(\Omega )\) is called a supersolution to \(L_{b,\,p}=a\) if \(u^{+}\) satisfies
for all \(\phi \in D_{+}(\Omega )\). Here \(F^{+}:=\{x\in \Omega \mid \nabla u^{+}(x)=0\},\,D^{+}:=\Omega \setminus F^{+}\).
The comparison principle discussed by Krügel [25, Theorem 4.8] states that
By testing \((u^{-}-u^{+})_{+}\in D_{+}(\Omega )\) into (4.9)(4.10) and substracting the two inequalities, Krügel claims that \(\nabla u^{-}=\nabla u^{+}\) over \(\Omega ^{\prime }:=\{x\in \Omega \mid u^{-}(x)\ge u^{+}(x)\}\) and hence \(u^{-}=u^{+}\) almost everywhere in \(\Omega ^{\prime }\). Despite Krügel’s comment that integrals over \(F^{-}\) and \(F^{+}\) cancel out, however, it seems unclear whether
is valid. This problem is essentially due to the fact that Krügel did not appeal to monotonicity of the subdifferential operator \(\partial |\,\cdot \,|\) and did not regard the term \(\nabla u/|\nabla u|\) as an \(L^{\infty }\)-vector field satisfying the property (4.2). In our proof of the comparison principle (Proposition 2), we make use of monotonicity of the operator \(\partial |\,\cdot \,|\). Compared to our argument based on monotonicity, the equality (4.12) itself seems to be too strong to hold true.
4.2 Construction of classical subsolutions
In Section 4.2, we construct a classical subsolution to \(L_{b,\,p}u=0\) in an open annulus.
Lemma 2
Let \(c\in {{\mathbb {R}}}^{n}\setminus \{0\},\,m>0\). Then for each fixed open ball \(B_{R}(x_{*})\subset {{\mathbb {R}}}^{n}\), there exists a function \(h\in C^{\infty }({{\mathbb {R}}}^{n}\setminus \{x_{*}\})\) such that
Here \(E_{R}(x_{*}):=B_{R}(x_{*})\setminus \overline{B_{R/2}(x_{*})}\) is an open annulus, and \(\nu \) in (4.14) denotes the exterior unit vector normal to \(B_{R}(x_{*})\).
Before proving Lemma 2, we fix some notations on matrices. For a given \(n\times n\) matrix \(A\), we write \(\mathop {\mathrm {tr}}(A)\) as the trace of \(A\). We denote \({{\mathbf {1}}}_{n}\) by the \(n\times n\) unit matrix. For column vectors \(x=(x_{i})_{i},\,y=(y_{i})_{i}\in {{\mathbb {R}}}^{n}\), we define a tensor \(x\otimes y\), which is regarded as a real-valued \(n\times n\) matrix
Assume that \(h\) satisfies (4.15). Then the triangle inequality implies that
The estimate (4.17) allows us to calculate \(L_{b,\,p}v\) in the classical sense over \(E_{R}(x_{*})\). By direct calculations we have
We note that \(\nabla ^{2}v=\nabla ^{2} h\) by definition. Here we recall a well-known result on Pucci’s extremal operators. For given constants \(0<\lambda \le \Lambda <\infty \) and a fixed \(n\times n\) symmetric matrix \(M\), we define
where \(\lambda _{i}\in {{\mathbb {R}}}\) are the eigenvalues of \(M\). The following formula is a well-known result [1, Remark 5.36] ;
where \({{\mathcal {A}}}_{\lambda ,\,\Lambda }\) denotes the set of all symmetric matrices whose eigenvalues all belong to the closed interval \([\lambda ,\,\Lambda ]\). By (4.17) \(L_{b,\,p}v\) is an uniformly elliptic operator in \(E_{R}(x_{*})\). This enables us to find constants \(0<\lambda \le \Lambda <\infty \), depending on \(0<b<\infty ,\,1<p<\infty ,\,|c|>0\), such that \(\nabla _{z}^{2}E(\nabla v)\in [\lambda ,\,\Lambda ]\) in \(E_{R}(x_{*})\). Combining these results, it suffices to show that
where \(\lambda _{i}(x)\in {{\mathbb {R}}}\) denotes the eigenvalues of \(\nabla ^{2}h(x)\).
Now we construct classical subsolutions. Our first construction is a modification of that by E. Hopf [20].
Proof
Without loss of generality we may assume \(x_{*}=0\). We define
Here \(\alpha =\alpha (b,\,n,\,p,\,|c|,\,R)>0\) is a sufficiently large constant to be chosen later. It is clear that \(0\le h(x)\le e^{-\alpha R^{2}/4}-e^{-\alpha R^{2}}\) in \(\overline{E_{R}(0)}\). We first let \(\alpha >0\) be so large that
From (4.20), we can easily check (4.13). By direct calculation we get
From this result, (4.14) is clear. Also, we have
Let \(\alpha >0\) be so large that
then we can check that h satisfies (4.15). Now we prove (4.16) to complete the proof. For \(x\not =0\), the eigenvalues of \(\nabla ^{2}h(x)\) are given by
Assume that \(\alpha \) satisfies
so that \(\lambda _{\parallel }>0>\lambda _{\perp }\) in \(E_{R}(0)\). Therefore we get
We can take sufficiently large \(\alpha =\alpha (|c|,\,m,\,n,\,R,\,\lambda ,\,\Lambda )>0\) so that \(\alpha \) satisfies (4.18) and (4.20)–(4.22). For such constant \(\alpha >0\), the function \(v\) defined as in (4.19) satisfies (4.13)–(4.16). \(\square \)
It is possible to construct an alternative function \(h\in C^{\infty }({{\mathbb {R}}}^{n}\setminus \{x_{0}\})\) which satisfies (4.13)–(4.16). We give another proof of Lemma 2, which is derived from [29, Chapter 2.8].
Proof
Without loss of generality we may assume \(x_{*}=0\). We define
We will later determine positive constants \(\alpha ,\,\beta >0\), depending on \(b,\,m,\,n,\,p,\,| c|,\,R\). It is clear that \(0\le h(x)\le \beta R^{-\alpha }(2^{\alpha }-1)\) in \(\overline{E_{R}(0)}\). We first let \(\alpha ,\,\beta >0\) satisfy
Then \(h\) satisfies (4.13). By direct calculation we get
for each \(x\in {{\mathbb {R}}}^{n}\setminus \{0\}\). The estimate (4.14) is clear by this result. Also, we have
Let \(\alpha ,\,\beta >0\) satisfy
then we can check that h satisfies (4.15). Now we prove (4.16) to complete the proof. For \(x\not =0\), the eigenvalues of \(\nabla ^{2}h(x)\) are given by
It is clear that \(\lambda _{\parallel }>0>\lambda _{\perp }\) in \({{\mathbb {R}}}^{n}\setminus \{0\}\), and therefore
for all \(x\in E_{R}(0)\). We take and fix sufficiently large \(\alpha =\alpha (n,\,\lambda ,\,\Lambda )>0\) so that \(\alpha \) satisfies (4.18). For such \(\alpha >0\), we choose sufficiently small \(\beta =\beta (|c|,\,R,\,\alpha )>0\) so that \(\beta \) satisfies (4.24)–(4.25). Then the function \(h\) defined as in (4.23) satisfies (4.13)–(4.16). \(\square \)
4.3 Strong maximum principle
We prove the strong maximum principle (Theorem 2).
Proof
Let \(D_{0}\subset D\) be a connected component of the open set \(D\), and \(x_{0}\in D_{0}\). Without loss of generality we may assume that \(x_{0}=0\) and \(u(0)=0\). By Lemma 1, it is clear that \(\partial u(0)=\{\nabla u(0)\}\not =\{0\}\). We set a vector \(c:=\nabla u(0)\in {{\mathbb {R}}}^{n}\setminus \{0\}\) and a relatively closed set
and we will prove that \(\Sigma =D_{0}\). It is also clear that \(0\in \Sigma \) and hence \(\Sigma \not = \emptyset \). Suppose for contradiction that \(\Sigma \subsetneq D_{0}\). Then it follows that \(\partial \Sigma \cap D_{0}\not =\emptyset \), since \(D_{0}\) is connected. We may take and fix a point \(x_{*}\in D_{0}\setminus \Sigma \) such that \(\mathop {\mathrm {dist}}(x_{*},\,\Sigma )<\mathop {\mathrm {dist}}(x_{*},\,\partial D_{0})\). By extending a closed ball centered at \(x_{*}\) until it hits \(\Sigma \), we can take a point \(y_{*}\in D_{0}\) and a closed ball \(\overline{B_{R}(x_{*})}\subset D_{0}\) such that \(y_{*}\in \partial B_{R}(x_{*})\cap \Sigma \) and \(u(x)>\langle c\mid x\rangle \) for all \(x \in B_{R}(x_{*})\). We note that
by construction of \(B_{R}(x_{*})\). Let \(h\in C^{\infty }({{\mathbb {R}}}^{n}\setminus \{x_{*}\})\) be an auxiliary function as in Lemma 2. Then from (4.26) it is easy to check that \(v:=h+\langle c\mid x\rangle \) satisfies \(v\le u\) on \(\partial E_{R}(x_{*})\), in the sense of (4.7). By Proposition 2, we have \(v\le u\) on \(\overline{E_{R}(x_{*})}\). Hence \(0\le u-\langle c\mid x\rangle -h\) in \(\overline{E_{R}(x_{*})}\). This inequality becomes equality at \(y_{*}\in \partial E_{R}(x_{*})\) by (4.13) and (4.26). Therefore the function \(u(x)-\langle c\mid x\rangle -h(x)\,(x\in \overline{E_{R}(x_{*})})\) takes its minimum at \(y_{*}\in \partial B_{R}(x_{*})\). Also by \(y_{*}\in \Sigma \) and the subgradient inequality
it is clear that the function \(w(x):=u(x)-\langle c\mid x\rangle \,(x\in D_{0})\) takes its minimum \(0\) at \(y_{*}\in D_{0}\). We note that \(w,\,w-h\in C^{1}(D_{0})\) by Lemma 1. By calculating classical partial derivatives at \(y_{*}\) in the direction \(\nu _{0}:=(y_{*}-x_{*})/R\), we obtain
This is a contradiction, and therefore \(\Sigma =D_{0}\). \(\square \)
5 Proofs of Main Theorems
In Section 5, we give proofs of the Liouville-type theorem (Theorem 3) and the \(C^{1}\)-regularity theorem (Thorem 1).
5.1 Liouville-type theorem
For a preparation, we prove Lemma 3 below.
Lemma 3
Let u be a real-valued convex function in \({{\mathbb {R}}}^{n}\). Assume that \(u\) satisfies the following,
-
1.
The facet of u, \(F\subset {{\mathbb {R}}}^{n}\), satisfies \(\emptyset \subsetneq F\subsetneq {{\mathbb {R}}}^{n}\).
-
2.
u attains its minimum 0.
-
3.
u is affine in each connected component of \(D:={{\mathbb {R}}}^{n}\setminus F\).
Then up to a rotation and a shift translation, u can be expressed as either of the following three types of piecewise-linear functions.
Here \(t_{1},\,t_{2},\,l>0\) are constants.
Before starting the proof of Lemma 3, we introduce notations on affine hyperplanes. For \(c\in {{\mathbb {R}}}^{n}\setminus \{0\}\) and \(x_{0}\in {{\mathbb {R}}}^{n}\), we define
In order to prove the Liouville-type theorem, we will make use of the supporting hyperplane theorem, which states that for any non-empty closed convex set \(C\subset {{\mathbb {R}}}^{n}\) and \(x_{0}\in \partial C\), there exists \(c\in {{\mathbb {R}}}^{n}\setminus \{0\}\) such that
For such \(c\in {{\mathbb {R}}}^{n}\setminus \{0\}\), a hyperplane \(H_{c,\,x_{0}}\) is often called a supporting hyperplane for \(C\) at the boundary point \(x_{0}\). For the proof of the supporting hyperplane theorem, see [3, Proposition 1.5.1].
Proof
Since \({{\mathbb {R}}}^{n}\) is connected and \(F\subset {{\mathbb {R}}}^{n}\) is a closed convex set, it follows that \(\partial F\not = \emptyset \). Without loss of generality we may assume that \(0\in \partial F\) and \(u(0)=0\).
By the supporting hyperplane theorem, we can take and fix a supporting hyperplane for \(F\) at the boundary point \(0\), which we write \(H_{c,\,0}\subset {{\mathbb {R}}}^{n}\). By rotation, we may assume that \(c=e_{1}\). Let \(D_{1}\) be the connected component of \(D\) which contains \(H_{e_{1},\,0}^{+}\subset {{\mathbb {R}}}^{n}\setminus F=D\). By the assumption 3 and \(u(0)=0\), it follows that there exists \(c\in {{\mathbb {R}}}^{n}\setminus \{0\}\) such that \(u(x)=\langle c\mid x\rangle \) for all \(x\in D_{1}\). We should note that \(H_{c,\,0}=H_{e_{1},\,0}\) and hence \(c=t_{1}e_{1}\) for some \(t_{1}\in (0,\,\infty )\), since otherwise it follows that \(H_{e_{1},\,0}^{+}\cap H_{c,\,0}^{-}\not =\emptyset \) and \(0\le u(x_{0})=\langle c\mid x_{0}\rangle <0\) for any \(x_{0}\in H_{e_{1},\,0}^{+}\cap H_{c,\,0}^{-}\). The result \(H_{c,\,0}=H_{e_{1},\,0}\) also implies that \(H_{e_{1},\,0}\subset \partial F\subset F\subset \{x\in {{\mathbb {R}}}^{n}\mid x_{1}\le 0\}=H_{e_{1},\,0}^{-}\cup H_{e_{1},\,0}\). Now we will deduce three possible representations of \(u\).
If \(\partial F=H_{e_{1},\,0}\), then we have either \(F=H_{e_{1},\,0}^{-}\cup H_{e_{1},\,0}\) or \(F=H_{e_{1},\,0}\), since the open set \(H_{e_{1},\,0}^{-}=\{x\in {{\mathbb {R}}}^{n}\mid x_{1}<0\}\) is connected. For the first case, \(u\) is clearly expressed by (5.1). For the second case, it is clear that \(D\) consists of two connected components \(D_{1}=H_{e_{1},\,0}^{+}\) and \(D_{2}=H_{e_{1},\,0}^{-}\). Again, by the condition 3 and similar arguments as those above, we can determine \(u|_{D_{2}}\) as \(u(x)=\langle -t_{2}e_{1}\mid x\rangle \) for all \(x\in D_{2}\). Here \(t_{2}\in (0,\,\infty )\) is a constant. Hence we obtain (5.2). For the case \(H_{e_{1},\,0}\subsetneq \partial F\), we take and fix \(z_{0}\in \partial F\setminus H_{e_{1},\,0}\) and a supporting hyperplane for \(F\) at \(z_{0}\), which we write by \(H_{c^{\prime },\,z_{0}}\). Let \(D_{2}\) be the connected component of \(D\) which contains \(H_{c^{\prime },\,z_{0}}^{+}\subset D\). By the assumption 3 and \(u(z_{0})=0\), it follows that there exists \(c^{\prime \prime }\in {{\mathbb {R}}}^{n}\setminus \{0\}\) such that \(u(x)=\left\langle c^{\prime \prime }\mathrel {}\Big |\mathrel {} x-z_{0}\right\rangle \) for all \(x\in D_{2}\). Completely similarly to the arguments above for showing that \(H_{c,\,0}=H_{e_{1},\,0}\), we can easily notice that \(H_{c^{\prime \prime },\,z_{0}}=H_{c^{\prime },\,z_{0}}\) and hence \(c^{\prime \prime }=t_{1}^{\prime }c^{\prime }\) for some constant \(t_{1}^{\prime }\in (0,\,\infty )\). Moreover, we also realize that \(c^{\prime }=t_{*}e_{1}\) for some \(t_{*}\in {{\mathbb {R}}}\setminus \{0\}\). Otherwise it follows that the two hyperplanes \(H_{e_{1},\,0}\) and \(H_{c^{\prime },\,z_{0}}\) cross, and hence we get \(D_{1}=D_{2}\) and \(H_{e_{1},\,0}^{+}\cap H_{c^{\prime },\,z_{0}}^{-}\not = \emptyset \), which implies that there exists a point \(x_{0}\in D\) such that \(u(x_{0})<0\). This is clearly a contradiction. This result and convexity of \(u\) imply that \(D\) consists of two connected components \(D_{1}=H_{e_{1},\,0}^{+}\) and \(D_{2}=H_{-e_{1},\,z_{0}}^{+}\), and that \(F=\{x\in {{\mathbb {R}}}^{n}\mid -l_{0}\le x_{1}\le 0\}\). Here \(l_{0}:=\mathop {\mathrm {dist}}(H_{e_{1},\,0},\,H_{-e_{1},\,z_{0}})>0\). Finally we obtain the last possible expression (5.3). \(u\) can be expressed by either of (5.1)–(5.3). \(\square \)
Now we give the proof of Theorem 3.
Proof
Assume by contradiction that F, the facet of u, would satisfy \(\emptyset \subsetneq F\subsetneq {{\mathbb {R}}}^{n}\). Without loss of generality, we may assume that u attains its minimum 0. By the strong maximum principle (Theorem 2), the convex weak solution u is affine in each connected component of \(D:={{\mathbb {R}}}^{n}\setminus F\). Therefore we are able to apply Lemma 3. By rotation and translation, u can be expressed as (5.1)–(5.3). Now we prove that \(u\) is no longer a weak solution to \(L_{b,\,p}u=0\) in \({{\mathbb {R}}}^{n}\). We set open cubes \(Q^{\prime }:=(-1,\,1)^{n-1}\subset {{\mathbb {R}}}^{n-1}\) and \(Q:=(-d,\,d) \times Q^{\prime }\subset {{\mathbb {R}}}^{n}\), where \(d>0\) is to be chosen later. We claim that \(u\) does not satisfy \(L_{b,\,p}u=0\) in \(W^{-1,\,p^{\prime }}(Q)\). Assume by contradiction that there exists a vector field \(Z\in L^{\infty }(Q,\,{{\mathbb {R}}}^{n})\) such that the pair \((u,\,Z)\in W^{1,\,p}(Q)\times L^{\infty }(Q,\,{{\mathbb {R}}}^{n})\) satisfies \(L_{b,\,p}u=0\) in \(W^{-1,\,p^{\prime }}(Q)\).
For the first case (5.1), we have
by definition of \(Z\). We also set another open cube \(Q_{l}:=(-d,\,0)\times Q^{\prime }\subset {{\mathbb {R}}}^{n}\). We take and fix non-negative functions \(\phi _{1}\in C_{c}^{1}((-d,\,d)),\,\phi _{2}\in C_{c}^{1}\left( Q^{\prime }\right) \) such that
We define an admissible test function \(\phi \in C_{c}^{1}(Q)\) by \(\phi (x_{1},\,x^{\prime }):=\phi _{1}(x_{1})\phi _{2}(x^{\prime })\) for \((x_{1},\,x^{\prime })\in (-d,\,d) \times Q^{\prime }=Q\). Test \(\phi \in C_{c}^{1}(Q)\) into \(L_{b,\,p}u=0\) in \(W^{-1,\,p^{\prime }}(Q)\), and divide the integration over Q into that over \(Q_{l}\) and \(Q_{r}\). Then (5.4) implies that
Here we have applied the Gauss–Green theorem to the integration over \(Q_{r}\), and the Cauchy–Schwarz inequality to the integration over \(Q_{l}\). For the integrations \(I_{1}\) and \(I_{2}\), we make use of Fubini’s theorem and (5.5). Then we have
Finally we obtain
From (5.6), we can easily deduce a contradiction by choosing sufficiently small \(d=d(b,\,p,\,t_{1},\,\phi _{2})>0\). Similarly we can prove that u defined as in (5.3) does not satisfy \(L_{b,\,p}u=0\) in \(W^{-1,\,p^{\prime }}(Q)\), since it suffices to restrict \(d<l_{0}\). We consider the remaining case (5.2). We have
by definition of \(Z\). We test the same function \(\phi \in C_{c}^{1}(Q)\) in \(L_{b,\,p}u=0\), then it follows that
which is a contradiction. This completes the proof. \(\square \)
Remark 4
The estimate (5.6) breaks for \(p=1\), since the equation \(|0|^{p-2}0=0\) is no longer valid for \(p=1\). This means that we have implicitly used differentiability of the function \(|z|^{p}/p\) at \(0\in {{\mathbb {R}}}^{n}\). Also it should be noted that for the one-variable case, functions as in (5.1), which are in general not in \(C^{1}\), are one-harmonic in \({{\mathbb {R}}}\).
5.2 \(C^{1}\)-Regularity theorem
We give the proof of Theorem 1.
Proof
We may assume that \(\Omega \) is convex. By [30, Theorem 25.1 and 25.5] and Lemma 1, it suffices to show that \(\partial u(x_{0})=\{0\}\) for all \(x_{0}\in F\). Let \(x_{0}\in F\). We get a convex function \(u_{0}:{{\mathbb {R}}}^{n}\rightarrow {{\mathbb {R}}}\) as a blow-up limit as in Proposition 1. We note that the facet of \(u_{0}\) is non-empty by Proposition 1. Hence by the Liouville-type theorem (Theorem 3), \(u_{0}\) is constant and we obtain \(\partial u_{0}(x_{0})=\{0\}\). Combining these results, we have \(\{0\}\subset \partial u(x_{0})\subset \partial u_{0}(x_{0})=\{0\}\) and therefore \(\partial u(x_{0})=\{0\}\). This completes the proof. \(\square \)
6 Generalization
In Section 6, we would like to discuss \(C^{1}\)-regularity of convex weak solutions to
which covers (1.1). Precisely speaking, throughout Section 6, we make these following assumptions for \(\Psi \) and W on regularity and ellipticity. For regularity, we only require
For W, we assume that for each fixed \(0<\mu \le M<\infty \), there exist constants \(0<\gamma<\Gamma <\infty \) such that \(W\) satisfies
for all \(z_{0},\,\zeta ,\,\omega \in {{\mathbb {R}}}^{n}\) with \(\mu \le |z_{0}|\le M\). Also, there is no loss of generality in assuming that
Finally, we assume that \(\Psi \) is positively homogeneous of degree 1. In other words, \(\Psi \) satisfies
holds for all \(z_{0}\in {{\mathbb {R}}}^{n}\) and \(\lambda >0\). This clearly yields \(\Psi (0)=0\).
By modifying some of our arguments, we are able to show that
Theorem 4
(\(C^{1}\)-regularity theorem for general equations) Let \(\Omega \subset {{\mathbb {R}}}^{n}\) be a domain. Assume that \(f\in L_{\mathrm {loc}}^{q}(\Omega )\,(n<q\le \infty )\) and the functionals \(\Psi \) and \(W\) satisfy (6.2)–(6.5). If \(u\) is a convex weak solution to (6.1), then \(u\) is in \(C^{1}(\Omega )\).
If we set
then the Equation (6.1) becomes (1.1). Therefore Theorem 4 generalizes Theorem 1.
6.1 Preliminaries
In Section 6.1, we mention some basic properties of \(\Psi \) and W, which are derived from the assumptions (6.2)–(6.5).
For W, by (6.2)–(6.3) and (6.5) it is easy to check that the continuous mapping \(A:{{\mathbb {R}}}^{n}\ni z\mapsto \nabla W(z)\in {{\mathbb {R}}}^{n}\) satisfies strict monotonicity (4.8). In particular, by (6.5) we have
For the proof, see Lemma 10 in the appendices.
For \(\Psi \), we first note that \(\Psi \) satisfies the triangle inequality
We define a function \({{\tilde{\Psi }}}:{{\mathbb {R}}}^{n}\rightarrow [0,\,\infty ]\) by
\({{\tilde{\Psi }}}\) is the support function for the closed convex set \(C_{\Psi }:=\left\{ z \in {{\mathbb {R}}}^{n}\mathrel {} \Big |\mathrel {} \Psi (z)\le 1\right\} \). By definition it is easy to check that \({{\tilde{\Psi }}}\) is convex and lower semicontinuous. Also, if \(\zeta \in {{\mathbb {R}}}^{n}\) satisfies \({{\tilde{\Psi }}}(\zeta )<\infty \), then the following Cauchy–Schwarz-type inequality holds;
If a convex function \(\Psi \) is positively homogeneous of degree 1, then the subdifferential operator \(\partial \Psi \) is explicitly given by
for all \(z\in {{\mathbb {R}}}^{n}\). In particular, we have the following formula
which is often called Euler’s identity. Also, assumptions (6.2) and (6.6) imply that
for all \(\lambda >0\) and \(z_{0}\in {{\mathbb {R}}}^{n}\setminus \{ 0\}\). Proofs of (6.8)–(6.10) are given in Lemma 11 of the appendices for the reader’s convenience.
Remark 5
The results (6.11)–(6.12) give us the following basic property for \(\Psi \).
-
1.
We set a constant
$$\begin{aligned}K:=\sup \left\{ |\nabla _{z}\Psi (z_{0})|\mathrel {}\Big |\mathrel {}z_{0}\in {{\mathbb {R}}}^{n},\,|z_{0}|=1\right\} ,\end{aligned}$$which is finite. Then we have \(\partial \Psi (z_{0})\subset \overline{B_{K}(0)}\) for all \(z_{0}\in {{\mathbb {R}}}^{n}\). For the case \(z_{0}\not = 0\), this inclusion is clear by (6.12) and \(\partial \Psi (z_{0})=\{\nabla _{z}\Psi (z_{0})\}\). For \(z_{0}=0\), we take arbitrary \(w\in \partial \Psi (0)\setminus \{ 0\}\). Then by the subgradient inequality, Euler’s identity (6.11) and the Cauchy–Schwarz inequality, we have
$$\begin{aligned} |w|^{2}&=\langle w\mid w-0 \rangle +\Psi (0)\\ {}&\le \Psi (w)=\left\langle \nabla _{z}\Psi (w)\mathrel {}\Big |\mathrel {} w\right\rangle \le K|w|. \end{aligned}$$This estimate yields the inclusion \(\partial \Psi (0)\subset \overline{B_{K}(0)}\).
-
2.
For \(z_{0}\in {{\mathbb {R}}}^{n}\setminus \{ 0\}\), the Hessian matrix \(\nabla _{z}^{2}\Psi (z_{0})\) satisfies
$$\begin{aligned}&0\le \left\langle \nabla _{z}^{2}\Psi (z_{0})\zeta \mathrel {}\Big | \mathrel {}\zeta \right\rangle , \end{aligned}$$(6.13)$$\begin{aligned}&\left|\left\langle \nabla _{z}^{2}\Psi (z_{0})\zeta \mathrel {}\Big | \mathrel {}\omega \right\rangle \right|\le \frac{C}{|z_{0}|}|\zeta ||\omega |\end{aligned}$$(6.14)for all \(\zeta ,\,\omega \in {{\mathbb {R}}}^{n}\). Here the finite constant \(C\) is explicitly given by
$$\begin{aligned}C:=\sup \left\{ \left|\left\langle \nabla _{z}^{2}\Psi (w)\zeta \mathrel {}\Big | \mathrel {}\omega \right\rangle \right|\mathrel {}\Big |\mathrel {}z,\,\zeta ,\,\omega \in {{\mathbb {R}}}^{n},\,|w|=|\eta |=|\omega |=1\right\} .\end{aligned}$$
Lemma 4 states lower semicontinuity of a functional in the weak\(^{*}\) topology of an \(L^{\infty }\)-space. This result is used in the justification of a blow-up argument for the Equation (6.1).
Lemma 4
Let \(\Omega \subset {{\mathbb {R}}}^{m}\) be a Lebesgue measurable set, and let \(\Psi :{{\mathbb {R}}}^{n}\rightarrow [0,\,\infty )\) be a convex function which satisfies (6.6). Assume that a vector field \(Z\in L^{\infty }(\Omega ,\,{{\mathbb {R}}}^{n})\) and a sequence \(\{Z_{N}\}_{N}\subset L^{\infty }(\Omega ,\,{{\mathbb {R}}}^{n})\) satisfy \(Z_{N}\overset{*}{\rightharpoonup } Z\) in \(L^{\infty }(\Omega ,\,{{\mathbb {R}}}^{n})\). Then we have
where \({{\tilde{\Psi }}}\) denotes the support function of the closed convex set \(C_{\Psi }:=\left\{ z\in {{\mathbb {R}}}^{n}\mathrel {} \Big |\mathrel {} \Psi (z)\le 1\right\} \).
We give an elementary proof of Lemma 4, which is based on a definition of \({{\tilde{\Psi }}}\).
Proof
We consider the case \(C_{\infty }:=\liminf \limits _{N\rightarrow \infty }\,\left\Vert {{\tilde{\Psi }}}(Z_{N})\right\Vert _{L^{\infty }(\Omega )}<\infty \), since otherwise (6.15) is clear. Fix arbitrary \(\varepsilon >0\). Then we may take a subsequence \(\{ Z_{N_{j}} \}_{j=1}^{\infty }\) such that
Take arbitrary \(0\le \phi \in L^{1}(\Omega )\) and \(w\in C_{\Psi }\). Then with the aid of (6.9), we have
for all \(j\in {{\mathbb {N}}}\) and for almost everywhere \(x\in \Omega \), which yields
for all \(j\in {{\mathbb {N}}}\). Letting \(j\rightarrow \infty \), we have
by \(Z_{N_{j}}\overset{*}{\rightharpoonup } Z\) in \(L^{\infty }(\Omega ,\,{{\mathbb {R}}}^{n})\). Since \(0\le \phi \in L^{1}(\Omega )\) is arbitrary, for each \(w\in C_{\Psi }\), there exists an \({{\mathcal {L}}}^{n}\)-measurable set \(U_{w}\subset \Omega \), such that \({{\mathcal {L}}}^{n}(U_{w})=0\) and
Here we denote \({{\mathcal {L}}}^{n}\) by the \(n\)-dimensional Lebesgue measure. Since \(C_{\Psi }\subset {{\mathbb {R}}}^{n}\) is separable, we may take a countable and dense set \(D\subset C_{\psi }\). We set an \({{\mathcal {L}}}^{n}\)-measurable set
which clearly satisfies \({{\mathcal {L}}}^{n}(U)=0\). Then we conclude that
from density of \(D\subset C_{\Psi }\). Hence by definition of \({{\tilde{\Psi }}}\), it is clear that
Since \(\varepsilon >0\) is arbitrary, this completes the proof of (6.15). \(\square \)
6.2 Sketches of the proofs
We first give definitions of weak solutions to (6.1). We also define weak subsolutions, and supersolutions to an equation \(Lu=0\) in a bounded domain.
Definition 3
Let \(\Omega \subset {{\mathbb {R}}}^{n}\) be a domain.
-
1.
Let \(f\in L_{\mathrm {loc}}^{q}(\Omega )\,(n<q\le \infty )\). We say that a function \(u\in W_{\mathrm {loc}}^{1,\,\infty }(\Omega )\) is a weak solution to (6.1), when for any bounded Lipschitz domain \(\omega \Subset \Omega \), there exists a vector field \(Z\in L^{\infty }(\omega ,\,{{\mathbb {R}}}^{n})\) such that the pair \((u,\,Z)\in W^{1,\,\infty }(\omega )\times L^{\infty }(\omega ,\,{{\mathbb {R}}}^{n})\) satisfies
$$\begin{aligned} \int \nolimits _{\omega } \langle Z\mid \nabla \phi \rangle \,{\mathrm{d}}x+\int \nolimits _{\omega }\langle A(\nabla u)\mid \nabla \phi \rangle \,{\mathrm{d}}x=\int \nolimits _{\omega }f\phi \,{\mathrm{d}}x \end{aligned}$$(6.18)for all \(\phi \in W_{0}^{1,\,1}(\omega )\), and
$$\begin{aligned} Z(x)\in \partial \Psi (\nabla u(x)) \end{aligned}$$(6.19)for almost everywhere \(x\in \omega \). Here \(A\) denotes the continuous mapping \(A:{{\mathbb {R}}}^{n}\ni x\mapsto \nabla _{z}W(x)\in {{\mathbb {R}}}^{n}\). For such pair \((u,\,Z)\), we say that \((u,\,Z)\) satisfies \(Lu=f\) in \(W^{-1,\,\infty }(\omega )\) or simply say that u satisfies \(Lu=f\) in \(W^{-1,\,\infty }(\omega )\).
-
2.
Assume that \(\Omega \) is bounded. A pair \((u,\,Z)\in W^{1,\,\infty }(\Omega )\times L^{\infty }(\Omega ,\,{{\mathbb {R}}}^{n})\) is called a weak subsolution to \(Lu=0\) in \(\Omega \), if it satisfies
$$\begin{aligned} \int \nolimits _{\Omega }\langle Z \mid \nabla \phi \rangle \,{\mathrm{d}}x+\int \nolimits _{\Omega }\left\langle A(\nabla u)\mathrel {}\Big |\mathrel {}\nabla \phi \right\rangle \,{\mathrm{d}}x\le 0 \end{aligned}$$(6.20)for all \(0\le \phi \in C_{c}^{\infty }(\Omega )\), and
$$\begin{aligned} Z(x)\in \partial \Psi \left( \nabla u(x)\right) \quad \text {for almost everywhere }x\in \Omega . \end{aligned}$$(6.21)Similarly we call a pair \((u,\,Z)\in W^{1,\,p}(\Omega )\times L^{\infty }(\Omega ,\,{{\mathbb {R}}}^{n})\) a weak supersolution \(L_{b,\,p}u=0\) in \(\Omega \), if it satisfies (6.21) and
$$\begin{aligned}\int \nolimits _{\Omega }\langle Z \mid \nabla \phi \rangle \,{\mathrm{d}}x+\int \nolimits _{\Omega }\left\langle A(\nabla u)\mathrel {}\Big |\mathrel {}\nabla \phi \right\rangle \,{\mathrm{d}}x\ge 0\end{aligned}$$for all \(0\le \phi \in C_{c}^{\infty }(\Omega )\). For \(u\in W^{1,\,p}(\Omega )\), we simply say that \(u\) is respectively a subsolution and a supersolution to \(Lu=0\) in the weak sense if there is \(Z\in L^{\infty }(\Omega ,\,{{\mathbb {R}}}^{n})\) such that the pair \((u,\,Z)\) is a weak subsolution and a weak supersolution to \(Lu=0\) in \(\Omega \).
Remark 6
We describe some remarks on Definition 3.
-
1.
In this paper we treat a convex solution, which clearly satisfies local Lipschitz regularity. Hence it is not restrictive to assume local or global \(W^{1,\,\infty }\)-regularity for solutions in Definition 3. Also it should be noted that if a vector field \(Z\) satisfies (6.19), then \(Z\) is in \(L^{\infty }\) by Remark 5. Hence our regularity assumptions of the pair \((u,\,Z)\) involve no loss of generality.
-
2.
Integrals in (6.18) make sense by \(Z,\,\nabla u\in L^{\infty }(\omega ,\,{{\mathbb {R}}}^{n})\), \(A\in C({{\mathbb {R}}}^{n},\,{{\mathbb {R}}}^{n})\), and the continuous embedding \(W_{0}^{1,\,1}(\omega )\hookrightarrow L^{q^{\prime }}(\omega )\).
-
3.
For a bounded domain \(\Omega \subset {{\mathbb {R}}}^{n}\), let \(u\in C^{2}(\overline{\Omega })\) satisfy
$$\begin{aligned}\nabla u(x) \not = 0\,\text { and }\, Lu(x)\le 0 \quad \text{ for } \text{ all } x\in \Omega .\end{aligned}$$Then the pair \((u,\,\nabla _{z}\Psi (\nabla u))\in W^{1,\,p}(\Omega )\times L^{\infty }(\Omega ,\,{{\mathbb {R}}}^{n})\) satisfies (6.20)–(6.21). For such \(u\), we simply say that \(u\) satisfies \(Lu\le 0\) in \(\Omega \) in the classical sense.
To prove Theorem 4, we may assume that \(\Omega \) is a bounded convex domain, since our argument is local. As described in Section 1.1, we would like to prove that a convex solution u to (6.1) satisfies (1.4) for all \(x\in \Omega \).
For the case \(x\in D\), we can show (1.4) by De Giorgi–Nash–Moser theory. This is basically due to the fact that the functional
satisfy the following property. For each fixed constants \(0<\mu \le M<\infty \), there exists constants \(0<\lambda \le \Lambda <\infty \) such that the estimates (2.7)–(2.8) hold for all \(z_{0},\,\zeta ,\,\omega \in {{\mathbb {R}}}^{n}\) with \(\mu \le |z_{0}|\le M\). In other words, the operator L is locally uniformly elliptic outside a facet, in the sense that for a function \(v\) the operator \(Lv\) becomes uniformly elliptic in a place where \(0<\mu \le |\nabla v|\le M<\infty \) holds. This ellipticity is an easy consequence of (6.3)–(6.4) and (6.13)–(6.14). Appealing to local uniform ellipticity of the operator L outside the facet and De Giorgi–Nash–Moser theory, we are able to show that a convex solution to \(Lu=f\) is \(C^{1,\,\alpha }\) near a neighborhood of each fixed point \(x\in D\), similarly to the proof of Lemma 1.
For the case \(x\in F\), we first make a blow-argument to construct a convex function \(u_{0}:{{\mathbb {R}}}^{n}\rightarrow {{\mathbb {R}}}\) satisfying \(\partial u(x)\subset \partial u_{0}(x)\), and \(Lu_{0}=0\) in \({{\mathbb {R}}}^{n}\) in the sense of Definition 3. Next we justify a maximum principle, which is described as in (1.6), holds on each connected component of \(D\). This result enables us to apply Lemma 3, and thus similarly in Section 5.1, we are able to prove a Liouville-type theorem. Hence it follows that a convex solution \(u_{0}\), which is constructed by the previous blow-argument, should be constant. Finally the inclusions \(\{0\}\subset \partial u(x)\subset \partial u_{0}(x)\subset \{ 0\}\) hold, and this completes the proof of (1.4), that is, \(\partial u(x)=\{ 0\}\).
For maximum principles on the equation \(Lu=0\), the proofs are almost similar to those in Section 4. Indeed, we first recall that the operator \(A:{{\mathbb {R}}}^{n}\ni z_{0}\mapsto \nabla _{z} W(z_{0})\in {{\mathbb {R}}}^{n}\) satisfies strict monotonicity (4.8). Combining with monotonicity of the subdifferential operator \(\partial \Psi \), we can easily prove a comparison principle as in Proposition 2. Also, similarly to Lemma 2, we can construct classical barrier subsolutions to \(Lu=0\) in an open annulus, since the operator L is locally uniformly elliptic outside a facet. These results enable us to prove a maximum principle outside a facet.
We are left to justify the remaining two problems: a blow-argument and the Liouville-type theorem. To show them, we have to make use of some basic facts on a convex functional which is homogeneous of degree 1. These fundamental results are contained in Section A.3.
For a blow-up argument as in Section 3, we similarly define rescaled solutions. Existence of a limit of these rescaled functions are guaranteed by the Arzelà–Ascoli theorem and a diagonal argument. By proving Lemma 5 below, we are able to demonstrate that \(u_{0}\), a limit of rescaled solutions, is a weak solution to \(Lu=0\) in \({{\mathbb {R}}}^{n}\), and this finishes our blow-up argument.
Lemma 5
Let \(U\subset {{\mathbb {R}}}^{n}\) be a bounded domain. Assume that sequences of functions \(\{u_{N}\}_{N=1}^{\infty }\subset W^{1,\,\infty }(U)\) and \(\{ f_{N}\}_{N=1}^{\infty }\subset L^{q}(U)\,(n<q\le \infty )\) satisfy all of the following:
-
1.
For each \(N\in {{\mathbb {N}}}\), \(u_{N}\) satisfies \(Lu_{N}=f_{N}\) in \(W^{-1,\,\infty }(U)\).
-
2.
There exists a constant \(M>0\), independent of \(N\in {{\mathbb {N}}}\), such that
$$\begin{aligned} |\nabla u_{N}(x)|\le M\quad \text {for almost everywhere }x\in U. \end{aligned}$$(6.22) -
3.
There exists a function \(u\in W^{1,\,\infty }(U)\) such that
$$\begin{aligned} \nabla u_{N}(x)\rightarrow \nabla u(x)\quad \text {for almost everywhere }x\in U. \end{aligned}$$(6.23) -
4.
\(f_{N}\) strongly converges to \(0\) in \(L^{q}(U)\).
Then \(u\) satisfies \(Lu=0\) in \(W^{-1,\,\infty }(U)\).
Proof
For each \(N\in {{\mathbb {N}}}\), there exists a vector field \(Z_{N}\in L^{\infty }(U,\,{{\mathbb {R}}}^{n})\) such that
Combining the assumption \(f_{N}\rightarrow f\) in \(L^{q}(U)\) with the continuous embedding \(L^{q}(U)\hookrightarrow W^{-1,\,\infty }(U)\), we get
By \(A\in C({{\mathbb {R}}}^{n},\,{{\mathbb {R}}}^{n})\) and (6.22), the vector fields \(\{A(\nabla u_{N})\}_{N=1}^{\infty }\) satisfy
where C is independent of \(N\in {{\mathbb {N}}}\). From these and Lebesgue’s dominated convergence theorem, it follows that
As mentioned in Remark 5–6, the \(\{Z_{N}\}_{N=1}^{\infty }\subset L^{\infty }(U,\,{{\mathbb {R}}}^{n})\) is bounded. Hence by [5, Corollary 3.30], we may take a subsequence \(\{Z_{N_{j}}\}_{j=1}^{\infty }\) so that
for some \(Z\in L^{\infty }(U,\,{{\mathbb {R}}}^{n})\). By (6.25)–(6.28) we obtain
Now we are left to prove that
By (6.10), it suffices to show that \(Z\) satisfies
for almost everywhere \(x\in U\). Similarly, it follows that for each \(N\in {{\mathbb {N}}}\), the vector field \(Z_{N}\) satisfies
Hence (6.29) is an easy consequence of Lemma 4. We recall (6.2), and thus \(\partial \Psi (z_{0})=\{\nabla _{z}\Psi (z_{0})\}\) holds for all \(z_{0}\in {{\mathbb {R}}}^{n}\setminus \{ 0\}\). Combining (6.23), we can check that \(Z_{N}(x)\rightarrow Z(x)\) for almost everywhere \(x\in D:=\{x\in U\mid \nabla u(x)\not = 0\}\). Hence (6.30) holds for almost everywhere \(x\in D\). Note that (6.30) is clear for \(x\in U\setminus D\), and this completes the proof. \(\square \)
We prove a Liouville-type theorem as in Theorem 3. In other words, for a convex solution to \(Lu=0\) in \({{\mathbb {R}}}^{n}\), we show that F, the facet of \(u\), would satisfy either \(F=\emptyset \) or \(F={{\mathbb {R}}}^{n}\). Assume by contradiction that \(F\) satisfies \(\emptyset \subsetneq F\subsetneq {{\mathbb {R}}}^{n}\). Then by Lemma 3, we may write a convex solution \(u\) by either of (5.1)–(5.3). However, Lemma 6 below states that u is no longer a weak solution, and this completes our proof.
Lemma 6
Let u be a piecewise-linear function defined as in either of (5.1)–(5.3). Then u is not a weak solution to \(Lu=0\) in \({{\mathbb {R}}}^{n}\).
Proof
As in the proof of Theorem 3, we introduce a constant \(d>0\), and set open cubes \(Q^{\prime }\subset {{\mathbb {R}}}^{n-1}\) and \(Q,\,Q_{l},\,Q_{r}\subset {{\mathbb {R}}}^{n}\). By choosing sufficiently small \(d>0\), we show that u does not satisfy \(Lu=0\) in \(W^{-1,\,\infty }(Q)\). Assume by contradiction that there exists a vector field \(Z\in L^{\infty }(Q,\,{{\mathbb {R}}}^{n})\) such that the pair \((u,\,Z)\) satisfies \(Lu=0\) in \(W^{-1,\,\infty }(Q)\).
We first show that a function u defined as in (5.1) is not a weak solution. For this case, (6.12) implies that \(Z\) satisfies \(Z(x)=\nabla _{z}\Psi (e_{1})\) for almost everywhere \(x\in Q_{r}\). We take and fix non-negative functions \(\phi _{1}\in C_{c}^{1}((-d,\,d)),\,\phi _{2}\in C_{c}^{1}\left( Q^{\prime }\right) \) such that (5.5) holds, and define \(\phi \in C_{c}^{1}(Q)\) by \(\phi (x_{1},\,x^{\prime }):=\phi _{1}(x_{1})\phi _{2}(x^{\prime })\) for \((x_{1},\,x^{\prime })\in (-d,\,d) \times Q^{\prime }=Q\). Testing \(\phi \) into \(Lu=0\) in \(W^{-1,\,\infty }(Q)\), we have
Here we have used the Cauchy–Schwarz-type inequality (6.5) for the integral over \(Q_{l}\), and applied the Gauss–Green theorem to the integration over \(Q_{r}\). For \(I_{1}\), we make use of (6.9)–(6.8), Fubini’s theorem and (5.5). Then we have
where \(\nabla _{x^{\prime }}\phi _{2}:=(\partial _{x_{2}}\phi _{2},\,\dots ,\,\partial _{x_{n}}\phi _{2})\). For \(I_{2}\), recalling Euler’s identity (6.11), we get \(I_{2}=-\phi _{1}(0)\Psi (e_{1})\Vert \phi _{2}\Vert _{L^{1}(Q^{\prime })}\). We set a constant \(\mu :=\langle A(t_{1}e_{1})\mid e_{1}\rangle \), which is positive by (6.7). Then we obtain
Choosing \(d=d(\mu ,\,\Psi ,\,\phi _{2})>0\) sufficiently small, we have \(0\le I_{1}+I_{2}+I_{3}<0\), which is a contradiction. Similarly we can deduce that \(u\) defined as in (5.3) does not satisfy \(Lu=0\) in \(W^{-1,\,\infty }(Q)\), since it suffices to restrict \(d<l_{0}\). For the remaining case (5.2), we have already known that
by definition of \(Z\) and (6.12). We set two constants \(\mu _{1}:=\langle A(t_{1}e_{1})\mid e_{1}\rangle ,\,\mu _{2}:=\langle A(-t_{2}e_{1})\mid -e_{1}\rangle \), both of which are positive by (6.7). Testing the same function \(\phi \in C_{c}^{1}(Q)\) into \(Lu=0\) in \(W^{-1,\,\infty }(Q)\), we obtain
which is a contradiction. Here we have used the Gauss–Green theorem and Euler’s identity (6.11). This completes the proof. \(\square \)
Change history
25 April 2022
A Correction to this paper has been published: https://doi.org/10.1007/s00205-022-01776-2
References
Ambrosio, L., Carlotto, A., Massaccesi, A.: Lectures on elliptic partial differential equations, volume 18 of Appunti. Scuola Normale Superiore di Pisa (Nuova Serie) [Lecture Notes. Scuola Normale Superiore di Pisa (New Series)]. Edizioni della Normale, Pisa, 2018
Andreu-Vaillo, F., Caselles, V., Mazón, J.M.: Parabolic quasilinear equations minimizing linear growth functionals, vol. 223. Progress in Mathematics. Birkhäuser Verlag, Basel, 2004
Bertsekas, D.P.: Convex optimization theory. Athena Scientific, Nashua, NH (2009)
Brézis, H.: Monotonicity methods in Hilbert spaces and some applications to nonlinear partial differential equations. In Contributions to Nonlinear Functional Analysis (Proc. Sympos., Math. Res. Center, Univ. Wisconsin, Madison, Wis., 1971), 101–156, 1971
Brezis, H.: Functional analysis. Sobolev spaces and partial differential equations. Universitext. Springer, New York (2011)
Colombo, M., Mingione, G.: Bounded minimisers of double phase variational integrals. Arch. Ration. Mech. Anal. 218(1), 219–273, 2015
Colombo, M., Mingione, G.: Regularity for double phase variational problems. Arch. Ration. Mech. Anal. 215(2), 443–496, 2015
Duvaut, G., Lions, J.-L.: Inequalities in mechanics and physics, volume 219 of Grundlehren der Mathematischen Wissenschaften. Springer, Berlin, New York, 1976. Translated from the French by C. W. John.
Evans, L.C., Gariepy, R.F.: Measure theory and fine properties of functions, revised. Textbooks in Mathematics. CRC Press, Boca Raton, FL (2015)
Giaquinta, M., Martinazzi, L.: An introduction to the regularity theory for elliptic systems, harmonic maps and minimal graphs, volume 11 of Appunti. Scuola Normale Superiore di Pisa (Nuova Serie) [Lecture Notes. Scuola Normale Superiore di Pisa (New Series)]. Edizioni della Normale, Pisa, second edition, 2012
Giga, M.-H., Giga, Y.: Stability for evolving graphs by nonlocal weighted curvature. Comm. Partial Differential Equations 24(1–2), 109–184, 1999
Giga, M.-H., Giga, Y.: Very singular diffusion equations: second and fourth order problems. Jpn. J. Ind. Appl. Math. 27(3), 323–345, 2010
Giga, Y., Kohn, R.V.: Scale-invariant extinction time estimates for some singular diffusion equations. Discrete Contin. Dyn. Syst. 30(2), 509–535, 2011
Giga, Y., Kuroda, H., Matsuoka, H.: Fourth-order total variation flow with Dirichlet condition: characterization of evolution and extinction time estimates. Adv. Math. Sci. Appl. 24(2), 499–534, 2014
Giga, Y., Muszkieta, M., Rybka, P.: A duality based approach to the minimizing total variation flow in the space \(H^{-s}\). Jpn. J. Ind. Appl. Math. 36(1), 261–286, 2019
Giga, Y., Ueda, Y.: Numerical computations of split Bregman method for fourth order total variation flow. J. Comput. Phys., 405:109114, 2020
Gilbarg, D., Trudinger, N. S.: Elliptic Partial Differential Equations of Second Order. Classics in Mathematics. Springer, Berlin, 2001. Reprint of the 1998 edition.
Giusti, E.: Direct methods in the calculus of variations. World Scientific Publishing Co., Inc, River Edge, NJ (2003)
Glowinski, R., Lions, J.-L., Trémolières, R.: Numerical analysis of variational inequalities, Volume 8 of Studies in Mathematics and its Applications. North-Holland Publishing Co., Amsterdam, New York, 1981. Translated from the French.
Hopf, E.: A remark on linear elliptic differential equations of second order. Proc. Amer. Math. Soc. 3, 791–793, 1952
Kashima, Y.: A subdifferential formulation of fourth order singular diffusion equations. Adv. Math. Sci. Appl. 14(1), 49–74, 2004
Kashima, Y.: Characterization of subdifferentials of a singular convex functional in Sobolev spaces of order minus one. J. Funct. Anal. 262(6), 2833–2860, 2012
Kohn, R.V.: Surface relaxation below the roughening temperature: some recent progress and open questions. In Nonlinear partial differential equations, Volume 7 of Abel Symp., 207–221. Springer, Heidelberg, 2012.
Kohn, R.V., Versieux, H.M.: Numerical analysis of a steepest-descent PDE model for surface relaxation below the roughening temperature. SIAM J. Numer. Anal. 48(5), 1781–1800, 2010
Krügel, F.: A variational problem leading to a singular elliptic equation involving the 1-Laplacian. Mensch und Buch Verlag, Berlin (2013)
Mingione, G.: Regularity of minima: an invitation to the dark side of the calculus of variations. Appl. Math. 51(4), 355–426, 2006
Odisharia, I.V.: Simulation and Analysis of the Relaxation of a Crystalline Surface. New York University, 2006.
Protter, M.H., Weinberger, H.F.: Maximum principles in differential equations. Prentice-Hall Inc, Englewood Cliffs, N.J. (1967)
Pucci, P., Serrin, J.: The maximum principle, vol. 73. Progress in Nonlinear Differential Equations and their Applications. Birkhäuser Verlag, Basel, 2007
Rockafellar, R.T.: Convex Analysis. Princeton Landmarks in Mathematics. Princeton University Press, Princeton, NJ, 1997. Reprint of the 1970 original, Princeton Paperbacks
Spohn, H.: Surface dynamics below the roughening transition. J. Phys. I 3(1), 69–81, 1993
Tsubouchi, S.: Local Lipschitz bounds for solutions to certain singular elliptic equations involving the one-Laplacian. Calc. Var. Partial Differe. Equ., 60(1):Paper No. 33, 35, 2021
Xu, X.: Mathematical validation of a continuum model for relaxation of interacting steps in crystal surfaces in 2 space dimensions. Calc. Var. Partial Differential Equations 59(5), 158, 2020
Acknowledgements
The first author is partly supported by the Japan Society for the Promotion of Science through grants Kiban A (No. 19H00639). Challenging Pioneering Research (Kaitaku) (No. 18H05323), Kiban A (No. 17H01091).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by G. Dal Maso.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The original online version of this article was revised to correct equation 3.5 of which part was missing. “(??)” has been changed to “(3.5)”.
Proofs for a Few Basic Facts
Proofs for a Few Basic Facts
In this section, we give proofs for a few basic facts used in this paper for completeness.
1.1 A Poincaré-Type inequality
We give a precise proof of Lemma 7, a Poincaré-type inequality for difference quotients of functions in \(W_{0}^{1,\,p}\,(1\le p<\infty )\). This result is used in the proof of Lemma 1. The proof of Lemma 7 is essentially a modification of that of the Poincaré inequality for the Sobolev space \(W_{0}^{1,\,p}\) [10, Proposition 3.10].
Lemma 7
Let \(\Omega \subset {{\mathbb {R}}}^{n}\) be a bounded open set and \(1\le p<\infty \). For all \(u\in W_{0}^{1,\,p}(\Omega ),j\in \{\,1,\,\dots ,\,n\,\},\,\,h\in {{\mathbb {R}}}\setminus \{0\}\), we have
Here \(\Delta _{j,\,h}u\) is defined by
Before the proof of Lemma 7, we note that \(\Delta _{j,\,h}u(x)\) makes sense for almost everywhere \(x\in \Omega \) by the zero extension of \(u\in W_{0}^{1,\,p}(U)\). That is, for a given \(u\in W_{0}^{1,\,p}(U)\), we set \({\overline{u}}\in W^{1,\,p}({{\mathbb {R}}}^{n})\) by
Proof
We fix \(j\in \{\,1,\,\dots ,\,n\,\},\,\,h\in {{\mathbb {R}}}\setminus \{0\}\). We first note that the operator \(\Delta _{j,\,h}:W_{0}^{1,\,p}(U)\rightarrow L^{p}(U)\) is bounded, since for all \(u\in W_{0}^{1,\,p}(U)\) we have
by the Minkowski inequality and the Poincaré inequality. Here \({\overline{u}}\in W^{1,\,p}({{\mathbb {R}}}^{n})\) is defined as in (A.2). Hence by a density argument, it suffices to check that (A.1) holds true for all \(u\in C_{c}^{\infty }(U)\). Let \(u\in C_{c}^{\infty }(U)\). Then for all \(x\in U\), we have
by the Cauchy-Schwarz inequality and Hölder’s inequality. From this estimate we get
Hence we obtain (A.1) for all \(u\in C_{c}^{\infty }(U)\), and this completes the proof. \(\square \)
1.2 Convex analysis
Lemma 8 is used in the proof of Lemma 1 for a justification of local \(W^{2,\,2}\)-regularity of a convex weak solution outside of the facet.
Lemma 8
Let u be a real-valued convex function in a convex domain \(\Omega \subset {{\mathbb {R}}}^{n}\). Assume that \(x_{1},\,x_{2}\in \Omega \) satisfy \(x_{1}\ne x_{2}\), and set \(d:=|x_{2}-x_{1}|>0,\,\nu :=d^{-1}(x_{2}-x_{1})\). Then for all \(z_{2}\in \partial u(x_{2})\), we have
Proof
By \(z_{2}\in \partial u(x_{2})\), we have a subgradient inequality
for all \(x\in \Omega \). Substituting \(x:=x_{1}=x_{2}-d\nu \in \Omega \), we obtain
which yields (A.3). \(\square \)
Remark 7
Instead of subgradient inequalities, we are able to show (A.3) by monotonicity of \(\partial u\). For each fixed \(x_{1},\,x_{2}\in \Omega \) with \(x_{1}\ne x_{2}\), we may take and fix \(x_{3}:=x_{1}+t(x_{2}-x_{1})\) for some \(0<t<1\) and \(z_{3}\in \partial u(x_{3})\) such that
with the aid of the mean value theorem for non-smooth convex functions [1, Theorem D.6]. \(x_{2}-x_{1}=d\nu \) is clear by definitions of \(d,\,\nu \). Noting \(x_{2}-x_{3}=(1-t)d\nu \), we can check that
by monotonicity of \(\partial u\). Combining these results with (A.4), we obtain
which yields (A.3).
The following lemma is used in the proof of Proposition 1.
Lemma 9
Let \(U\subset {{\mathbb {R}}}^{n}\) be a convex open set, and let \(\{ u_{N}\}_{N=1}^{\infty }\) be a sequence of real-valued convex functions in \(U\). Assume that this sequence is uniformly Lipschitz. In other words, there is a constant \(L>0\) independent of \(N\in {{\mathbb {N}}}\) such that
If there exists a function \(u_{\infty }:U\rightarrow {{\mathbb {R}}}\) such that
then we have \(\nabla u_{N}(x)\rightarrow \nabla u_{\infty }(x)\) for almost everywhere \(x\in U\).
Remark 8
From (A.5)–(A.6), it is easy to show that \(u_{\infty }\) is also convex, \(u_{N}\rightarrow u_{\infty }\) uniformly in \(U\), and
Our proof of Lemma 9 is inspired by [11, Lemma A.3].
Proof
We define \({{\mathcal {L}}}^{n}\)-measurable sets
Clearly \(P_{N}\,(N\in {{\mathbb {N}}}\cup \{\infty \})\) satisfies \({{\mathcal {L}}}^{n}(P_{N})=0\) by Lipschitz continuity of \(u_{N}\), and therefore the \({{\mathcal {L}}}^{n}\)-measurable set
also satisfies \({{\mathcal {L}}}^{n}(P)=0\). We claim that
We take and fix arbitrary \(x_{0}\in U\setminus P\). We note that \(\nabla u_{N}(x_{0})\) exists for each \(N\in {{\mathbb {N}}}\) since \(x_{0}\not \in P_{N}\), and we obtain
with the aid of (A.5). Hence it suffices to check that, if a subsequence \(\{u_{N_{k}}\}_{k}\subset \{u_{N}\}_{N}\) satisfies
then \(v=\nabla u_{\infty }(x_{0})\). Since \(x_{0}\not \in P_{N_{k}}\) and therefore \(\partial u_{N_{k}}(x_{0})=\{\nabla u_{N_{k}}(x_{0})\}\) for each \(k\in {{\mathbb {N}}}\), we easily get
Letting \(k\rightarrow \infty \), we have
by (A.6) and (A.8). This means that \(v\in \partial u_{\infty }(x_{0})\). Note again that \(x_{0}\not \in P_{\infty }\) and therefore \(\partial u_{\infty }(x_{0})=\{\nabla u_{\infty }(x_{0})\}\), which yields \(v=\nabla u_{\infty }(x_{0})\). This completes the proof of (A.7).\(\square \)
1.3 Convex functionals
We prove some basic property of convex functionals \(\Psi \) and \(W\) in Section 6.
Lemma 10
Let \(W\) be a convex function which satisfies (6.2)–(6.3) and (6.5). Then the mapping \(A:{{\mathbb {R}}}^{n}\ni z\mapsto \nabla W(z)\in {{\mathbb {R}}}^{n}\) satisfies strict monotonicity (4.8).
Proof
We take arbitrary \(z_{1},\,z_{2}\in {{\mathbb {R}}}^{n}\) with \(z_{1}\not = z_{2}\) and define a line segment \(L:=\left\{ z_{1}+t(z_{2}-z_{1})\in {{\mathbb {R}}}^{n}\mathrel {}\Big |\mathrel {}0\le t\le 1\right\} .\)
We first consider the case \(0\not \in L\). Then there exist constants \(0<\mu \le M<\infty \) such that \(\mu \le |z_{0}|\le M\) holds for all \(z_{0}\in L\). Here we can take a constant \(\gamma >0\) such that (6.3) holds for all \(z_{0}\in L\). Then by \(W\in C^{2}({{\mathbb {R}}}^{n}\setminus \{ 0\})\), we have
To consider the remaining case \(0\in L\), it suffices to show (6.7). Indeed, the assumption \(0\in L\) allows us to write \(z_{1}=-l_{1}\nu ,\,z_{2}=l_{2}\nu \) for some unit vector \(\nu \) and some constants \(l_{1},\,l_{2}\ge 0\). Under this notation, we obtain
by (6.7). Here we note that at least one of \(l_{1},\,l_{2}\) is positive since \(l_{1}+l_{2}=|z_{2}-z_{1}|>0\).
We prove (6.7) to complete the proof. Let \(z\in {{\mathbb {R}}}^{n}\setminus \{0\}\). Then we obtain
for each \(N\in {{\mathbb {N}}}\), since we have already shown (4.8) for the case \(0\not \in L\). By definition of \(d_{j}\,(j\in {{\mathbb {N}}})\), it is clear that
Letting \(N\rightarrow \infty \), we obtain \(\langle A(z)\mid z\rangle \ge d_{1}>0\) by \(A\in C({{\mathbb {R}}}^{n},\,{{\mathbb {R}}}^{n})\). \(\square \)
We precisely prove (6.8)–(6.10) in Lemma 11. See also [2, Section 1.3] and [30, §13] as related items.
Lemma 11
Let \(\Psi :{{\mathbb {R}}}^{n}\rightarrow [0,\,\infty )\) be a convex function which is positively homogeneous of degree 1.
-
1.
\(\Psi \) satisfies the triangle inequality (6.8).
-
2.
Assume that \(\zeta \in {{\mathbb {R}}}^{n}\) satisfies \({{\tilde{\Psi }}}(\zeta )<\infty \). Then the Cauchy–Schwarz-type inequality (6.9) holds.
-
3.
The subdifferential operator \(\partial \Psi \) is given by (6.10).
Proof
By convexity of \(\Psi \) and (6.6), \(\Psi \) satisfies
which yields (6.8).
We next show the Cauchy–Schwarz inequality (6.9). Let \(z\in {{\mathbb {R}}}^{n}\). If \(\Psi (z)>0\), then we have
by \(z/\Psi (z)\in C_{\Psi }\). For the case \(\Psi (z)=0\), we note that \(\lambda z\in C_{\Psi }\) for all \(\lambda >0\). Hence it follows that
for all \(\lambda >0\). By \({{\tilde{\Psi }}}(\zeta )<\infty \), we obtain \(\langle z\mid \zeta \rangle \le 0=\Psi (z){{\tilde{\Psi }}}(\zeta )\). This completes the proof of (6.9).
Finally we prove (6.10). Let \(z_{0}\in {{\mathbb {R}}}^{n}\) be arbitrarily fixed. Assume that \(\zeta \in {{\mathbb {R}}}^{n}\) satisfies \({{\tilde{\Psi }}}(\zeta )\le 1\) and \(\Psi (z_{0})=\langle z_{0}\mid \zeta \rangle \). Then by combining these assumptions with (6.9), we have
for all \(z\in {{\mathbb {R}}}^{n}\). Hence \(\zeta \in \partial \Psi (z_{0})\). Conversely, if \(\zeta \in \partial \Psi (z_{0})\), then we have the subgradient inequality
By testing \(kz_{0}\) into (A.9), where \(k\in [0,\,\infty )\) is arbitrary, we have
If we let \(0\le k<1\) so that \(k-1<0\), then we have \(\Psi (z_{0})\le \langle \zeta \mid z_{0}\rangle \). Similarly, letting \(1<k<\infty \), we have \(\Psi (z_{0})\ge \langle \zeta \mid z_{0}\rangle \). Hence we obtain \(\Psi (z_{0})=\langle \zeta \mid z_{0}\rangle \). Combining with (A.9), we have
which yields \({{\tilde{\Psi }}}(\zeta )\le 1\) by definition of \({{\tilde{\Psi }}}\). This completes the proof of (6.10). \(\square \)
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
Giga, Y., Tsubouchi, S. Continuity of Derivatives of a Convex Solution to a Perturbed One-Laplace Equation by p-Laplacian. Arch Rational Mech Anal 244, 253–292 (2022). https://doi.org/10.1007/s00205-022-01763-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00205-022-01763-7