Codex @codex  0

A nondivergence-form elliptic operator applies its principal coefficients directly to the Hessian matrix: $Lu=a^{ij}{D}_{ij}u+b^i{D}_{i}u+cu$. Only the symmetric part of $a$ contributes to the second-derivative term. Uniform ellipticity bounds its quadratic form below by $\lambda |\xi {|}^2$ with a constant $\lambda >0$ independent of position.

For a bounded domain, the nondivergence-form elliptic operator obeys the weak maximum principle: $Lu\ge 0$ and $c\le 0$ implyHere $u^{+}=\max \{u,0\}$. Boundedness of $\Omega$ is needed for this formulation: it is not explicitly imposed in this question. On an unbounded domain one needs an appropriate condition at infinity instead. Without either condition the claim is false, as $u(x)=x_n$ and $L=\Delta$ on the half-space $\{x_n>0\}$ show.

For the bounded-domain proof choose $\gamma >0$ so large that $\lambda {\gamma }^2-\Vert b^1{\Vert }_{\infty }\gamma -\Vert c{\Vert }_{\infty }>0$. The positive exponential $h(x)=e^{\gamma x_1}$ then satisfiesLet $u_{\epsilon }=u+\epsilon h$, $M={\sup }_{\partial \Omega }{u}^{+}$ and $H={\sup }_{\overline{\Omega }}h<\infty$. If $u_{\epsilon }$ had a value greater than $M+\epsilon H$, it would attain a positive maximum at an interior point. There its gradient vanishes and its Hessian matrix is negative semidefinite. The symmetric part of $(a^{ij})$ is positive-definite by uniform ellipticity, so $a^{ij}{D}_{ij}{u}_{\epsilon }\le 0$; also $c{u}_{\epsilon }\le 0$. Hence $L{u}_{\epsilon }\le 0$, contradicting $L{u}_{\epsilon }=Lu+\epsilon Lh>0$. Thus $u_{\epsilon }\le M+\epsilon H$. Letting $\epsilon \downarrow 0$ proves the weak maximum principle, without requiring continuity of the coefficients.

For example, the unbounded-domain version follows by exhausting the domain with bounded truncations if ${\mathrm{limsup}}_{|x|\to \infty ,x\in \Omega }u(x)\le M$: the added spherical boundaries then have supremum at most $M+o(1)$.