×

A priori estimates and existence for a class of fully nonlinear elliptic equations in conformal geometry. (English) Zbl 1104.53035

Let \((M,g_0)\) be a compact Riemannian manifold of dimension \(n\geq 3\). Denote by \([g_0]\) the set of metrics conformal to \(g_0\). For \(g\in[g_0]\) denote by \(R\), Ric, and \(A_g\) the scalar curvature, the Ricci tensor, and the Schouten tensor, respectively; \(A_g\) is defined by \(2(n- 1)(n- 2)A_g= 2(n- 1)-\text{Ric}_g- R_g-g\). The author studies the regularity and existence of solutions to the equation (1.1) \(f(\lambda)=\varphi\) under the following assumptions: \(\lambda= \lambda(A_g)=(\lambda_1,\dots, \lambda_n)\) denotes the eigenvalues of \(A_g\) with respect to \(g\); \(\varphi\) is a positive, smooth function; \(f\) is a nonlinear function which is defined on an open convex cone \(\Gamma\subset\mathbb{R}^n\) and which is \(>0\) in \(\Gamma\), \(=0\) on \(\partial\Gamma\), concave, invariant under exchange of variables, homogeneous of degree \(\alpha\) for some \(\alpha> 0\), and satisfying the condition \(\partial f/\partial\lambda_i> 0\) \((i= 1,\dots,n)\). For the class (1.1) of fully nonlinear elliptic equations a priori estimates for the interior gradient (Section 4) and the second derivatives (Section 3) are proved. As an application of these estimates the existence of solutions to problem (1.1) is proved if either (Theorem 2.3) the manifold \((M, g_0)\) is locally conformally flat and \(\varphi\equiv 1\), or if (Theorem 2.4) the cone \(\Gamma\) is relatively small, so that any admissible metric \(g\) has positive Ricci curvature. As the author mentions in Remark 2.1, the interior (gradient and second derivatives) estimates have also been proved, independently, by S. Chen (preprint Sept. 2005).

MSC:

53C21 Methods of global Riemannian geometry, including PDE methods; curvature restrictions
58J05 Elliptic equations on manifolds, general theory

References:

[1] Aubin, T., Some Nonlinear Problems in Riemannian Geometry, Springer, 1998. · Zbl 0896.53003
[2] Caffarelli, L. A., Nirenberg, L. and Spruck, J., Dirichlet problem for nonlinear second order elliptic equations III. Functions of the eigenvalues of the Hessian, Acta Math., 155, 1985, 261-301. · Zbl 0654.35031 · doi:10.1007/BF02392544
[3] Chang, A., Gursky, M. and Yang, P., An a priori estimate for a fully nonlinear equation on four-manifolds, J. Anal. Math., 87, 2002, 151-186. · Zbl 1067.58028 · doi:10.1007/BF02868472
[4] Chen, S., Local estimates for some fully nonlinear elliptic equation, preprint, September, 2005.
[5] Chou, K. S. and Wang, X.-J., A variational theory of the Hessian equation, Comm. Pure Appl. Math., 54, 2001, 1029-1064. · Zbl 1035.35037 · doi:10.1002/cpa.1016
[6] Gerhardt, C., Closed Weingarten hypersurfaces in Riemannian manifolds, J. Diff. Geom., 43, 1996, 612-641. · Zbl 0861.53058
[7] Gilbarg, D. and Trudinger, N. S., Elliptic Partial Differential Equations of Second Order, Springer, 1983. · Zbl 0562.35001
[8] Guan, P. and Wang, G., Local estimates for a class of fully nonlinear equations arising from conformal geometry, Int. Math. Res. Not., 2003, 1413-1432. · Zbl 1042.53021
[9] Guan, P. and Wang, G., A fully nonlinear conformal flow on locally conformally flat manifolds, J. Reine Angew. Math., 557, 2003, 219-238. · Zbl 1033.53058 · doi:10.1515/crll.2003.033
[10] Guan, P. and Wang, X.-J., On a Monge-Amp{\(\mu\)}ere equation arising in geometric optics, J. Diff. Geom., 48, 1998, 205-223. · Zbl 0979.35052
[11] Gursky, M. and Viaclovsky, J., Prescribing symmetric functions of the eigenvalues of the Ricci tensor, Ann. Math., to appear. · Zbl 1142.53027
[12] Gursky, M. and Viaclovsky, J., Convexity and singularities of curvature equations in conformal geometry, arXiv:math.DG/0504066. · Zbl 1132.53020
[13] Ivochkina, N., Solution of the Dirichlet problem for some equations of Monge-Ampèere type, Mat. Sb., 128, 1985, 403-415. · Zbl 0609.35042
[14] Krylov, N. V., On the general notion of fully nonlinear second-order elliptic equations, Trans. Amer. Math. Soc., 347, 1995, 857-895. · Zbl 0832.35042 · doi:10.2307/2154876
[15] Li, A. and Li, Y. Y., On some conformally invariant fully nonlinear equations, Comm. Pure Appl. Math., 56, 2003, 1416-1464. · Zbl 1155.35353 · doi:10.1002/cpa.10099
[16] Li, A. and Li, Y. Y., On some conformally invariant fully nonlinear equations II, Liouville, Harnack, and Yamabe, Acta Math., to appear. · Zbl 1155.35353
[17] Li, Y. Y., Degenerate conformal invariant fully nonlinear elliptic equations, arXiv:math.AP/0504598. · Zbl 1158.35048
[18] Sheng, W. M., Trudinger, N. S. and Wang, X.-J., The Yamabe problem for higher order curvatures, arXiv:math.DG/0505463. · Zbl 1133.53035
[19] Schoen, R. and Yau, S.-T., Lectures on Differential Geometry, International Press, 1994. · Zbl 0830.53001
[20] Trudinger, N. S. and Wang, X.-J., Hessian measures II, Ann. of Math., 150(2), 1999, 579-604. · Zbl 0947.35055 · doi:10.2307/121089
[21] Trudinger, N. S. and Wang, X.-J., On Harnack inequalities and singularities of admissible metrics in the Yamabe problem, arXiv:math.DG/0509341. · Zbl 1163.53327
[22] Viaclovsky, J., Estimates and existence results for some fully nonlinear elliptic equations on Riemannian manifolds, Comm. Anal. Geom., 10, 2002, 815-846. · Zbl 1023.58021
[23] Ye, R., Global existence and convergence of Yamabe flow, J. Diff. Geom., 39, 1994, 35-50. · Zbl 0846.53027
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.