Perron's method for monotone systems of second-order elliptic partial differential equations (Q1198665)

The author considers systems of fully nonlinear second-order PDE of the form \[ \begin{cases} F_ 1(x,u,Du_ 1,D^ 2u_ 1)=0 \\ F_ 2(x,u,Du_ 2,D^ 2u_ 2)=0 \\ \vdots \\ F_ m(x,u,Du_ m,D^ 2u_ m)=0 \end{cases}\leqno (1) \] in an open subset \(\Omega\) of \(\mathbb{R}^ n\). After a review on the viscosity method for systems and the definition of multivalued viscosity solutions, the author proves an existence result for (1) by a generalization of Perron's method. Theorem. Let \(F=(F_ 1,\dots,F_ m)\) be degenerate elliptic, and assume there are a subsolution \(f\) and a supersolution \(g\) of (1) in the strong sense. Then there exists a multivalued solution \(u\) of (1) such that \[ f(x)\leq y\leq g(x)\quad\text{for every } x\in \overline\Omega\;\text{ and } y\in u(x). \] The definitions of degenerate elliptic and of sub and supersolution in the strong sense are contained in Definitions 3.2 and 3.3 of the paper. In the rest of the paper, uniqueness results, as well as existence of continuous viscosity solutions are considered. In the last section two examples are presented.