×

On the Dirichlet problem for Hessian equations. (English) Zbl 0887.35061

The problem \(F(D^2u)\equiv f(\lambda[D^2u])= \psi\) with Dirichlet boundary conditions is studied. Here the problem is considered on a domain in \(\mathbb{R}^n\) and \(f\) is either a symmetric function \(S_k(\lambda)\) on \(\mathbb{R}^n\) or a quotient of elementary symmetric functions \(S_{k,l}(\lambda)= S_k(\lambda)/S_l(\lambda)\) with \(n\geq k>l>1\), \(\lambda\) denotes the eigenvalues \(\lambda_1,\lambda_2,\dots, \lambda_n\) of the Hessian matrix \(D^2u\) and \(\psi\) is a given function. Existence and uniqueness results extending a previous work by Caffarelli-Nirenberg-Spruck are obtained.
The first main result is Theorem 1.1, stating that the above problem with the boundary condition \(u=\phi\) on \(\partial\Omega\), \(\Omega\) a bounded uniformly \((k-1)\)-convex domain in \(\mathbb{R}^n\), with \(\partial\Omega\in C^{3,1}\), \(\phi\in C^{3,1}(\partial\Omega)\) and \(\psi\in C^{1,1}(\overline\Omega)\) positive, has a unique solution for admissible \(u\in C^{3,\alpha}(\overline\Omega)\) for any \(0<\alpha<1\). Then a similar result is proved for \(f\) satisfying suitable assumptions provided the curvatures of \(\partial\Omega\), \(\kappa_1,\dots,\kappa_{n-1}\) are such that \((\kappa_1,\dots,\kappa_{n-1},R)\in\Gamma\) for some open convex symmetric cone \(\Gamma\) in \(\mathbb{R}^n\) with vertex at the origin. The geometric conditions on \(\Omega\) are necessary for constant boundary conditions.
The main point in the proof is a new technique for obtaining estimates for the double normal second derivatives. This is done in Section 2. A new shorter proof for some known results is given in Section 3 by using the same arguments. Some extensions (degenerate problems, general domains, curvature equations) can be found at the end of the paper.

MSC:

35J65 Nonlinear boundary value problems for linear elliptic equations
35B45 A priori estimates in context of PDEs
35B65 Smoothness and regularity of solutions to PDEs
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Caffarelli, L., Nirenberg, L. &Spruck, J., The Dirichlet problem for nonlinear second order equations, I: Monge-Ampère equations.Comm. Pure Appl. Math., 37 (1984), 369–402. · Zbl 0598.35047
[2] –, The Dirichlet problem for nonlinear second order equations, III: Functions of the eigenvalues of the Hessian.Acta Math., 155 (1985), 261–301. · Zbl 0654.35031
[3] – Nonlinear second order elliptic equations, V. The Dirichlet problem for Weingarten hypersurfaces.Comm. Pure Appl. Math., 41 (1988), 47–70. · Zbl 0672.35028
[4] Gilbarg, D. &Trudinger, N. S.,Elliptic Partial Differential Equations of Second Order, 2nd edition. Springer-Verlag, Berlin-New York, 1983. · Zbl 0562.35001
[5] Guan, B., The Dirichlet problem for a class of fully nonlinear elliptic equations.Comm. Partial Differential Equations, 19 (1994), 399–416. · Zbl 0796.35045
[6] Guan, B. &Spruck, J., Boundary value problems onS n for surfaces of constant Gauss curvature.Ann. of Math., 138 (1993), 601–624. · Zbl 0840.53046
[7] Ivochkina, N. N., An a priori estimate of \(\left\| u \right\|_{C^2 \left( \Omega \right)} \) for convex solutions of Mong-Ampère equations.Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI), 96 (1980), 69–79 (Russian).
[8] –, Classical solvability of the Dirichlet problem for the Monge-Ampère equation.Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI), 131 (1983), 72–79 (Russian). · Zbl 0522.35028
[9] –, Solution of the Dirichlet problem for some equations of Monge-Ampère type.Mat. Sb., 128 (1985), 403–415; English translation inMath. USSR-Sb., 56 (1987), 403–415.
[10] –, Solution of the Dirichlet problem for curvature equations of orderm.Mat. Sb., 180 (1989), 867–887; English translation inMath. USSR-Sb., 67 (1990), 317–339. · Zbl 0695.35074
[11] –, The Dirichlet problem for the equations of curvature of orderm.Leningrad Math. J., 2 (1991), 631–654. · Zbl 0732.35031
[12] Krylov, N. V.,Nonlinear Elliptic and Parabolic Equations of the Second Order, D. Reidel Publishing Co., Dordrecht-Boston, MA, 1987. · Zbl 0619.35004
[13] –, On degenerate nonlinear elliptic equations.Mat. Sb., 121 (1983), 301–330; English translation inMath. USSR-Sb., 48 (1984), 307–326. · Zbl 0525.35038
[14] Li, Y. Y., Some existence results for fully nonlinear elliptic equations of Monge-Ampère type.Comm. Pure Appl. Math., 43 (1990), 233–271. · Zbl 0705.35038
[15] Lin, M. &Trudinger, N. S., On some inequalities for elementary symmetric functions.Bull. Austral. Math. Soc., 50 (1994), 317–326. · Zbl 0855.26006
[16] –, The Dirichlet problem for the prescribed curvature quotient equations.Topol. Methods Nonlinear Anal., 3 (1994), 307–323. · Zbl 0812.58016
[17] Trudinger, N. S., On degenerate fully nonlinear equations, in balls.Bull. Austral. Math. Soc., 35 (1987), 299–307. · Zbl 0611.35028
[18] –, The Dirichlet problem for the prescribed curvature equations.Arch. Rational Mech. Anal., 111 (1990), 153–170. · Zbl 0721.35018
[19] –, Isoperimetric inequalities for quermassintegrals.Ann Inst. H. Poincaré Anal. Non Linéaire, 11 (1994), 411–425.
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.