Abstract
We prove a priori estimates up to their second order derivatives for solutions to the obstacle problem of curvature equations on Riemannian manifolds \((M^{n}, g)\) arising from conformal deformation. With the a priori estimates the existence of a \(C^{1,1} \) solution to the obstacle problem with Dirichlet boundary value is obtained by approximation.
Similar content being viewed by others
1 Introduction
Let \((M^{n}, g)\) be a compact Riemannian manifold of dimension \(n \geq3\) with smooth boundary ∂M, \(\bar{M}:= M \cup \partial M\). In conformal geometry, it is interesting to find a complete metric \(\tilde{g} \in[g]\), the conformal class of g, with which the manifold has prescribed curvature. In general, such conformal deformation can be interpreted by certain partial differential equations. See [8, 13, 22, 25, 26] for more details.
In [8], Guan studied the existence of a complete conformal metric g̃ of negative Ricci curvature on M satisfying
where \(\mathrm{Ric}_{\tilde{g}}\) is the Ricci tensor of g̃, and \(\lambda(\tilde{g}^{-1} \mathrm{Ric}_{\tilde{g}}) = (\lambda_{1}, \ldots , \lambda_{n})\) are the eigenvalues of \(\tilde{g}^{-1} \mathrm {Ric}_{\tilde{g}}\). The transformation formula for the Ricci tensor under conformal deformation \(\tilde{g} = e^{2 u} g\) is given by
where ∇u, \(\nabla^{2} u\), and Δu denote the gradient, Hessian, and Laplacian of u with respect to the metric g, respectively. When f is homogenous of degree one, it is easy to verify that equation (1.1) is equivalent to the following form:
In this paper, we study the obstacle problem of equation (1.2). More generally, let
where χ is a smooth \((0,2)\) tensor, \(\gamma> 0\) is a constant, and \(s, t \in\mathbb{R}\). We consider the following equation:
with the Dirichlet boundary condition
where \(h \in C^{3} (\bar{M})\), \(\varphi\in C^{4} (\partial M)\), \(h > \varphi\) on ∂M, \(\psi[u] = \psi(x, u)\) is a positive function in \(C^{3} (\bar{M} \times\mathbb{R})\).
Equations as (1.1) and (1.3) are the Hessian equations, which were well studied by many authors such as [2, 7, 9–12, 23, 24]. Generally, \(f \in C^{2} (\Gamma) \cap C^{0} (\bar{\Gamma})\) is a symmetric function of \(\lambda\in\mathbb{R}^{n}\), defined in an open, convex, and symmetric cone \(\Gamma\subsetneqq\mathbb{R}^{n}\), with vertex at the origin, which contains the positive cone: \(\Gamma_{n}^{+} : =\{\lambda\in\mathbb{R}^{n}: \mbox{each component } \lambda_{i}>0\}\) and satisfies the following fundamental structure conditions:
and
Here, for convenience, we also assume that
We observe that by the concavity and homogeneity of f,
Important classes of f are the elementary symmetric functions and their quotients, i.e.,
and
Let F be defined by \(F (r) = f (\lambda(r))\) for \(r = \{r_{ij}\} \in\mathcal{S}^{n \times n}\) with \(\lambda(r) \in\Gamma\), where \(\mathcal{S}^{n \times n}\) is the set of \(n \times n\) symmetric matrices. It is shown in [2] that (1.5) implies F is an elliptic operator and (1.6) ensures that F is concave.
A function \(u \in C^{2} (M)\) is called admissible at \(x \in M\) if \(\lambda(g^{-1} T [u]) (x) \in\Gamma\), and we call it admissible in M when it is admissible at each x in M. In this paper, we prove the existence of an admissible viscosity solution of (1.3) and (1.4) in \(C^{1, 1} (\bar{M})\) (see [1, 3] for the definition of viscosity solutions).
Many authors have studied various obstacle problems. In [6], Gerhardt considered a hypersurface bounded from below by an obstacle with prescribed mean curvature in \(\mathbb{R}^{n}\). Lee [17] considered the obstacle problem for the Monge–Ampère equation (i.e., \(f = (\sigma_{n})^{\frac{1}{n}}\)) for the case that \(T [u] = D^{2} u\), \(\psi\equiv1\), and \(\varphi\equiv0\), and proved the \(C^{1,1}\) regularity of the viscosity solution in a strictly convex domain in \(\mathbb{R}^{n}\). Xiong and Bao [27] extended the work of Lee to a nonconvex domain in \(\mathbb{R}^{n}\) with general ψ and φ under additional assumptions. Bao, Dong, and Jiao treated a class of obstacle problems in [1] assuming that \(T[u] = \nabla^{2} u + A(x, u, \nabla u)\), under a certain technical assumption. Because of the term \(\gamma\Delta u\) (\(\gamma> 0\)), here we only need a minimal amount of assumptions. For other works, see [4, 14, 15, 18–21].
Our main result is the following theorem.
Theorem 1.1
Assume that (1.5)–(1.8) and either the following condition
or
hold, where \(\lambda_{1}\) is the first eigenvalue of the problem
(\(\lambda_{1} = + \infty\) if \(\operatorname{tr} \chi\leq0\)). Then there exists a viscosity solution \(u \in C^{1,1} (\bar{M})\) to (1.3) and (1.4), if there exists a subsolution \(\underline{u} \in C^{0} (\bar{M}) \cap C^{1} (\bar{M} _{\delta})\) for some \(\delta> 0\) such that
where \(M_{\delta}= \{x \in M: \operatorname{dist} (x, \partial M) \leq \delta\}\). Moreover, we have that \(u \in C^{3, \alpha} (E)\) for any \(\alpha\in (0, 1)\), and \(f(\lambda(g^{-1} T [u])) = \psi[u]\) in E, where \(E:= \{x \in M: u (x) < h (x)\}\).
Remark 1.2
(1.10), as well as (1.11), is used in Lemma 3.2 to derive an upper bound for u. Assumption (1.13) is just applied to derive a lower bound for u on M and \(\nabla_{\nu} u\) on ∂M, where ν is the interior unit normal to ∂M.
Remark 1.3
We can construct some subsolutions of (1.2) satisfying (1.13) as in [15] following ideas from [2] and [7] since
is positive definite and that we can obtain a priori upper bound of any admissible function (Lemma 3.2) under additional conditions that there exists a sufficiently large number \(R > 0\) such that at each point \(x \in\partial M\),
where \(\kappa_{1}, \ldots, \kappa_{n-1}\) are the principal curvatures of ∂M with respect to the interior normal, and that for every \(C > 0\) and every compact set K in Γ there is a number \(R = R (C, K)\) such that
We use a penalization technique to prove the existence of viscosity solutions to (1.3) and (1.4). We shall consider the following singular perturbation problem:
where the penalty function \(\beta_{\varepsilon}\in C^{2} (\mathbb{R})\) satisfies
An example given in [27] is
for \(\varepsilon\in(0, 1)\). Observe that \(\underline{u}\) is also a subsolution to (1.16).
Let
We aim to derive the uniform bound
for \(u_{\varepsilon}\in\mathscr{U}\), where C is independent of ε. After establishing (1.19), the equation (1.16) becomes uniformly elliptic by (1.7). By Evans–Krylov [5], [16] theorem, we can derive the \(C^{2, \alpha}\) estimates (which may depend on ε) of \(u_{\varepsilon}\). Higher estimates can be derived by Schauder theory. Following the proof as in [8] or [1], we can prove there exists an admissible solution \(u_{\varepsilon}\) to (1.16). Then we can conclude by (1.19) that there exists a viscosity solution \(u \in C^{1, 1} (\bar{M})\) to (1.3) and (1.4), see [1, 27].
Thus, our main work is focused on the a priori estimates for admissible solutions up to their second order derivatives. In Sect. 2, we achieve the estimates for second order derivatives. Finally, we end this paper with gradient and \(C^{0}\) estimates in Sect. 3.
2 Estimates for second order derivatives
In this section, we prove a priori estimates of second order derivatives for admissible solutions. From now on, we drop the subscript ε when there is no possible confusion.
Theorem 2.1
Assume that f satisfies (1.5)–(1.8) and \(u \in C^{4} (\bar{M})\) is an admissible solution to (1.16). Then
where C depends on \(|u|_{C^{1}(\bar{M})}\) and other known data.
Proof
Set
where ϕ is a function to be determined. Assume that W is achieved at an interior point \(x_{0} \in M\) and a unit direction \(\xi\in T_{x_{0}} M\). Choose a smooth orthonormal local frame \(e_{1}, \ldots, e_{n}\) about \(x_{0}\) such that \(\xi= e_{1}\), \(\nabla_{i} e_{j} (x_{0}) = 0\) and that \(T_{ij} (x_{0})\) is diagonal. We write \(G = \nabla_{11} u + s |\nabla _{1} u|^{2} \). Assume \(G (x_{0}) > 0\) (otherwise we are done).
At the point \(x_{0}\), where the function \(\log G + \phi\) (defined near \(x_{0}\)) attains its maximum, we have
and
By (2.3) we have
and
Since \(\gamma> 0\), we obtain
By calculation, we get
and
Recall the formula for interchanging order of covariant derivatives
and
It follows from (2.10)
and
Differentiating equation (1.16) once at \(x_{0}\), we obtain for \(1 \leq k \leq n\),
It is easy to see that
and that
With (2.9) we see
and similarly
With (2.12), (2.14)–(2.17), and the concavity of F, we derive
By (1.9) and \(\beta_{\varepsilon}'' > 0\) it follows from (2.6) and (2.18) that
Let
where \(a > \sup_{M} w\) is a constant to be determined. We have
and
Next, by (2.14)
Combining (2.19), (2.20), (2.21), and \(|\nabla \phi| \leq C \eta' G\), we have
We could assume that \(G \geq2 C\). When \(a > 2 C\), the coefficient of \(\beta'_{\varepsilon}(u - h)\) is negative. Then we can derive \(G \leq\frac{4 a C}{\gamma}\). □
To derive the boundary estimates for \(\nabla^{2} u\), we note that \(\operatorname{tr} (s du \otimes du - \frac{t}{2} |\nabla u|^{2} g + \chi ) \leq C\) on M̄, where C is independent of ε, though it may depend on \(|u|_{C^{1}(\bar{M})}\). As in [1, 4], let H be the solution to
Then we have \(u \leq H\) in M by the maximum principle and \(\beta_{\varepsilon}(u - h) \equiv0\) in \(M_{\delta}= \{x \in M: \operatorname{dist} (x, \partial M) \leq\delta\}\), where δ is sufficiently small. Thus,
By the same arguments of Sect. 4 in [8], we obtain that
where C depends on \(|u|_{C^{1}(\bar{M})}\) and other known data.
Combining (2.1) and (2.24), we therefore get the full estimates for second order derivatives.
3 Gradient estimates, maximum principle, and existence
For the gradient estimates, we have the following theorem.
Theorem 3.1
Assume that (1.5)–(1.8) hold. Let \(u \in C^{3} (\bar{M})\) be an admissible solution to (1.16). Then
where C depends on \(|u|_{C^{0} (\bar{M})}\) and other known data.
Proof
Suppose that \(we^{\phi}\), where \(w = \frac{|\nabla u|^{2}}{2}\) and \(\phi = \phi(u)\) to be determined satisfying that \(\phi' (u) > 0\), achieves a maximum at an interior point \(x_{0} \in M\). As before, we choose a smooth orthonormal local frame \(e_{1}, \ldots, e_{n}\) about \(x_{0}\) such that \(\nabla_{e_{i}} e_{j} = 0\) at \(x_{0}\) and \(\{T_{ij} (x_{0})\}\) is diagonal. Differentiating \(we^{\phi}\) at \(x_{0}\) twice, we have
and
Differentiating w, we see
Using (3.2) it follows from (3.3) that
and
Note that the first term in (3.4) and (3.5) is nonnegative. Multiply \(\gamma\sum F^{ii}\) to (3.5) and add what we got to (3.4). Thus, by (2.9) we obtain
Now we compute the first term in (3.6). Firstly, we have
Using (3.2), we easily get that
By the homogeneity of F, we also get
According to (3.7) and (3.8), it follows from (3.6)
Let
We have
and
since \(v^{- a} \leq1\). When \(|\nabla u (x_{0})|\) is sufficiently large, we see \(\nabla_{k} u \nabla_{k} (u - h) > 0\). Hence we have that the first term on the right-hand side of (3.9) is negative as \(\beta_{\varepsilon}, \beta'_{\varepsilon} > 0\). From (3.9) and (1.9) when a is sufficiently large, we then obtain that
from which we conclude that (3.1) holds. □
In order to prove (1.19), it remains to bound \(\sup_{M} |u| + \sup_{\partial M} |\nabla u|\). We quote two lemmas in [8], the ingredients of whose proofs are the maximum principle.
Lemma 3.2
If either (1.10) or (1.11) holds, then any admissible solution u of (1.16) admits the a priori bound
Lemma 3.3
If u is admissible such that \(\operatorname{tr} T[u] \geq0\) and \(|u|_{C^{0}(M)} \leq\mu\), then
where ν is the interior unit normal to ∂M.
Now with the above two lemmas and the fact \(\nabla_{\nu}u \geq\nabla _{\nu}\underline{u}\) on ∂M when \(u \in\mathscr{U}\), we then have the following.
Theorem 3.4
Suppose that (1.5)–(1.8), and either (1.10) or (1.11) hold. Then, for \(u \in\mathscr{U}\), (1.19) holds.
Therefore, the uniform estimates (1.19) ensure that there exist a subsequence \(\{u_{\varepsilon_{k}}\}\) of \(\{u_{\varepsilon}\}\) and a function \(u \in C^{1,1} (\bar{M})\) such that \(u_{\varepsilon_{k}} \rightarrow u\) in M as \(\varepsilon_{k} \rightarrow0\). It is easy to verify that u satisfies (1.3) and (1.4) and \(u \in C^{3, \alpha} (E)\) for any \(\alpha\in(0, 1)\). Consequently, Theorem 1.1 is established.
References
Bao, G.-J., Dong, W.-S., Jiao, H.-M.: Regularity for an obstacle problem of Hessian equations on Riemannian manifolds. J. Differ. Equ. 258, 696–716 (2015)
Caffarelli, L.A., Nirenberg, L., Spruck, J.: The Dirichlet problem for nonlinear second order elliptic equations III, functions of the eigenvalues of the Hessian. Acta Math. 155, 261–301 (1985)
Crandall, M., Ishii, H., Lions, P.: User’s guide to viscosity solutions of second order partial differential equations. Bull. Am. Math. Soc. 27, 1–67 (1992)
Dong, W.-S., Wang, T.-T., Bao, G.-J.: A priori estimates for the obstacle problem of Hessian type equations on Riemannian manifolds. Commun. Pure Appl. Anal. 15, 1769–1780 (2016)
Evans, L.C.: Classical solutions of fully nonlinear, convex, second order elliptic equations. Commun. Pure Appl. Math. 35, 333–363 (1982)
Gerhardt, C.: Hypersurfaces of prescribed mean curvature over obstacles. Math. Z. 133, 169–185 (1973)
Guan, B.: The Dirichlet problem for Hessian equations on Riemannian manifolds. Calc. Var. Partial Differ. Equ. 8, 45–69 (1999)
Guan, B.: Complete conformal metrics of negative Ricci curvature on compact manifolds with boundary. Int. Math. Res. Not. 2008, rnn105 (2008) Addendum, IMRN 2009 (2009), 4354–4355, rnp166.
Guan, B.: Second order estimates and regularity for fully nonlinear elliptic equations on Riemannian manifolds. Duke Math. J. 163, 1491–1524 (2014)
Guan, B.: The Dirichlet problem for fully nonlinear elliptic equations on Riemannian manifolds. arXiv:1403.2133
Guan, B., Jiao, H.-M.: Second order estimates for Hessian type fully nonlinear elliptic equations on Riemannian manifolds. Calc. Var. Partial Differ. Equ. 54, 2693–2712 (2015)
Guan, B., Jiao, H.-M.: The Dirichlet problem for Hessian type fully nonlinear elliptic equations on Riemannian manifolds. Discrete Contin. Dyn. Syst. 36, 701–714 (2016)
Guan, P.-F., Wang, G.-F.: Local estimates for a class of fully nonlinear equations arising from conformal geometry. Int. Math. Res. Not. 26, 1413–1532 (2003)
Jiao, H.-M.: \(C^{1,1}\) regularity for an obstacle problem of Hessian equations on Riemannian manifolds. Proc. Am. Math. Soc. 144, 3441–3453 (2016)
Jiao, H.-M., Wang, Y.: The obstacle problem for Hessian equations on Riemannian manifolds. Nonlinear Anal. TMA 95, 543–552 (2014)
Krylov, N.V.: Boundedly inhomogeneous elliptic and parabolic equations in a domain. Izvestia Math. Ser. 47, 75–108 (1983)
Lee, K.: The obstacle problem for Monge–Ampère equation. Commun. Partial Differ. Equ. 26, 33–42 (2001)
Liu, J.-K., Zhou, B.: An obstacle problem for a class of Monge–Ampère type functionals. J. Differ. Equ. 254, 1306–1325 (2013)
Oberman, A.: The convex envelope is the solution of a nonlinear obstacle problem. Proc. Am. Math. Soc. 135, 1689–1694 (2007)
Oberman, A., Silvestre, L.: The Dirichlet problem for the convex envelope. Trans. Am. Math. Soc. 363, 5871–5886 (2011)
Savin, O.: The obstacle problem for Monge–Ampere equation. Calc. Var. Partial Differ. Equ. 22, 303–320 (2005)
Schoen, R.: Conformal deformation of a Riemannian metric to constant scalar curvature. J. Differ. Geom. 20, 479–495 (1984)
Trudinger, N.S.: On the Dirichlet problem for Hessian equations. Acta Math. 175, 151–164 (1995)
Urbas, J.: Hessian equations on compact Riemannian manifolds. In: Nonlinear Problems in Mathematical Physics and Related Topics, II, pp. 367–377. Kluwer/Plenum, New York (2002)
Viaclovsky, J.A.: Conformal geometry, contact geometry, and the calculus of variations. Duke Math. J. 101, 283–316 (2000)
Viaclovsky, J.A.: Conformal Geometry and Fully Nonlinear Equations. Nankai Tracts in Mathematics, vol. 11, pp. 435–460. World Scientific, Hackensack (2006)
Xiong, J.-G., Bao, J.-G.: The obstacle problem for Monge–Ampère type equations in non-convex domains. Commun. Pure Appl. Anal. 10, 59–68 (2011)
Funding
The research was supported by the National Natural Science Foundation of China (No. 11771107).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Bao, S., Xing, Y. The obstacle problem for conformal metrics on compact Riemannian manifolds. J Inequal Appl 2018, 238 (2018). https://doi.org/10.1186/s13660-018-1827-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-018-1827-3