--- title: Fully Nonlinear Uniformly Elliptic Equations url: https://www.emergentmind.com/topics/fully-nonlinear-uniformly-elliptic-equations type: topic --- # Fully Nonlinear Uniformly Elliptic Equations A fully nonlinear uniformly elliptic equation is a second-order partial differential equation (PDE) in non-divergence form in which the principal part is a nonlinear function of the Hessian and, possibly, lower-order terms, with strict positivity and boundedness imposed on the linearization. These equations underlie many models in nonlinear analysis, stochastic control, geometry, and applied PDE, with regularity, existence, uniqueness, and qualitative properties determined by the uniform ellipticity structure. ## 1. Definition, Canonical Examples, and Uniform Ellipticity The general form of a fully nonlinear uniformly elliptic equation on an open set $U\subset \mathbb{R}^d$ is \[ F(D^2u(x), Du(x), u(x), x) = 0, \quad x\in U. \] The operator $F: \mathbb{S}^d \times \mathbb{R}^d \times \mathbb{R} \times U \to \mathbb{R}$ is continuous, possibly only measurable in $x$, and "fully nonlinear" in that the dependence on $D^2 u$ is arbitrary, not necessarily linear or affine. **Uniform ellipticity** is formulated via the Pucci extremal operators. For symmetric matrices $M, N$, \[ \mathcal{M}^-_{\lambda,\Lambda}(M-N) \le F(M, p, s, x) - F(N, p, s, x) \le \mathcal{M}^+_{\lambda,\Lambda}(M-N), \] where, for $e_i$ the eigenvalues of $M$, \[ \mathcal{M}^+_{\lambda,\Lambda}(M) = \Lambda \sum_{e_i>0} e_i - \lambda \sum_{e_i<0} e_i, \quad \mathcal{M}^-_{\lambda,\Lambda}(M) = \lambda \sum_{e_i>0} e_i - \Lambda \sum_{e_i<0} e_i. \] Typical models include Bellman–Isaacs equations (optimal control/game theory), Monge–Ampère (geometry, optimal transport) and Hamilton–Jacobi–Bellman equations (path-dependent control). The uniform ellipticity constants $0 < \lambda \le \Lambda < \infty$ control the degeneracy permitted in $D^2u$ and are central to all core estimates [2401.14638][1209.4741][2511.22323]. ## 2. Viscosity Solutions and Regularity Theory The viscosity solution paradigm furnishes a well-posedness framework for fully nonlinear equations lacking variational structure or classical weak derivative interpretations. A continuous $u$ is a viscosity subsolution of $F(D^2u, \cdots) = 0$ in $U$ if, when a smooth function $\varphi$ touches $u$ from above at $x_0$, \[ F(D^2\varphi(x_0), \cdots) \le 0; \] a viscosity supersolution if, under touching from below, $F(D^2\varphi(x_0), \cdots) \ge 0$. Uniform ellipticity alone ensures robust comparison principles, compactness under limits, and existence via Perron's method. The key technique in the regularity theory is the use of ABP-type (Aleksandrov–Bakelman–Pucci) measure estimates, Harnack inequalities, and barrier arguments [2401.14638][1103.3677][1306.6672]. The Caffarelli–Krylov–Safonov theory provides interior $C^{0,\alpha}$ and $C^{1,\alpha}$ regularity, while the Evans–Krylov theorem yields $C^{2,\alpha}$ regularity for convex/concave $F$. ## 3. Quantitative and Qualitative Regularity Results - **Interior Regularity.** For $F$ convex/concave in $M$, $F(D^2u)=f(x)$ with $f\in C^\alpha$, the Evans–Krylov theorem gives \[ \|u\|_{C^{2,\alpha}(B_{1/2})} \le C(\|u\|_{L^\infty(B_1)} + \|f\|_{C^\alpha(B_1)}). \] In general, optimal $W^{2,\varepsilon}$ regularity up to a closed singular set of dimension $n-\varepsilon$ is achieved for arbitrary uniformly elliptic $F$, with $\varepsilon$ depending polynomially on $\lambda/\Lambda$ [1805.08135][1103.3677]. - **Fractional Sobolev Regularity.** For $F$ (possibly nonconvex) uniformly elliptic and $u$ a viscosity solution of $F(D^2u)=f\in L^p$, $p > n$, there exists $\varepsilon = \varepsilon(n, \lambda, \Lambda)$ such that $u \in W^{1+\varepsilon,p}$, equivalently $(-\Delta)^\theta u\in L^p$ for $\frac{1}{2}<\theta<1$ [2204.03119]. - **Boundary Regularity.** Viscosity solutions of $F(D^2u, Du, x)=f$ in $C^2$ domains with appropriate data satisfy boundary $C^{2,\alpha}$ expansion, with the coefficients determined by the equation evaluated at the boundary [1306.6672]. - **Dimension Two.** In $n=2$ dimensions, full interior $C^{2,\alpha}$ regularity is available for general (nonconvex) $F$, with exponent and constants depending only on the ellipticity ratio [2511.22323]. ## 4. Partial Regularity and Counterexamples For general (nonconvex) $F$, optimal partial regularity holds: viscosity solutions are $C^{2,\alpha}$ off a closed singular set whose Hausdorff dimension is strictly less than $n$, with upper bound $n-\varepsilon$ governed by the ellipticity ratio [1103.3677]. For $F$ convex/concave, the singular set is empty. Sharp examples show that as $\Lambda/\lambda \to \infty$, $\varepsilon \to 0$ and full $C^{2,\alpha}$ regularity cannot be expected without additional structure. Notably, counterexamples constructed by Nadirashvili–Vļăduţ demonstrate that nonconvexity (even with smooth $F$) may yield non-$C^2$ solutions. ## 5. Existence, Uniqueness, and Approximation Methods - **Existence and Uniqueness.** Under uniform ellipticity and Lipschitz dependence, viscosity solutions to the Dirichlet problem exist and are unique, with uniqueness following from the comparison principle [1203.1298][1401.5210]. - **Approximation and Error Estimates.** For equations with discontinuous (measurable) coefficients, solutions can be approximated by solutions to convex–capped or mollified equations, with quantitative $O(\delta^\alpha)$ error estimates in terms of the discretization or regularization parameter [1309.4343][1203.1298]. For monotone, consistent, finite-difference schemes, the convergence rate of discrete approximations to viscosity solutions is controlled by the same structural parameters and matches the continuum error bounds. ## 6. Advanced Topics and Applications - **Stochastic Homogenization.** In random environments, Armstrong–Smart establish almost sure homogenization of solutions to random, stationary-ergodic, uniformly elliptic equations. The obstacle problem approach and subadditive ergodic theorem yield the effective (homogenized) operator $\overline F$ with the same uniform ellipticity constants [1209.4741]. - **Unique Continuation.** For $C^{1,1}$ uniformly elliptic $F$, viscosity solutions vanishing on an open set (or at a point of infinite order) must vanish identically. The proof combines boundary Harnack inequalities, Savin regularity ("flat–implies–$C^{2,\alpha}$"), and linear unique continuation [1102.1673]. - **Liouville Theorems and Classification in Halfspaces.** All nonnegative viscosity solutions to $F(D^2u)=0$ in $\mathbb{R}^n_+$ with zero boundary data are necessarily affine in $x_n$; with $F(D^2u)=1$ they are quadratic polynomials in $x_n$ [2511.16152][1111.1083]. Power-type nonlinearities are classified via critical exponents determined by ellipticity ratio. - **Degenerate/Singular Equations with Lower-order Terms.** Equations with $L_d$-drift and BMO coefficients admit interior $W^2_p$ a priori estimates for $p>d_0(d,\lambda,\|b\|_{L_d})>d/2$, with global existence in $W^2_p$ for data in $L_p$, even in the absence of convexity/concavity [2001.05435]. - **Quadratic Gradient Growth and Multiplicity.** Fully nonlinear equations with natural quadratic growth in $Du$ demonstrate existence, compactness, and multiplicity by combining boundary half-Harnack inequalities, Vázquez-type strong maximum principles, and topological degree theory [1802.01661]. ## 7. Partial Uniform Ellipticity, Level-Set Methods, and Extensions Yuan develops a level-set approach to "partial uniform ellipticity," establishing that many structural consequences—particularly second-order a priori bounds, Harnack inequalities, and Evans–Krylov-type interior regularity—follow from weaker slice-wise convexity hypotheses, enabling application to Hessian equations and parabolic flows where full uniform ellipticity fails [2203.15769]. Applications span stochastic games, path-dependent PDEs, nonlocal Isaacs–Lévy PDEs, and problems with $L^p$ or $L^d$ drift. The viscosity solution and uniform ellipticity framework has become standard across nonlinear analysis, stochastic homogenization, and geometric PDEs. --- **References (arXiv IDs):** [2401.14638], [1209.4741], [2511.22323], [1805.08135], [1103.3677], [2204.03119], [1306.6672], [1203.1298], [2511.16152], [1111.1083], [1802.01661], [1102.1673], [2001.05435], [2203.15769], [1309.4343], [1401.5210]. Source: https://www.emergentmind.com/topics/fully-nonlinear-uniformly-elliptic-equations