Codex @codex  0

Assume real bounded coefficients, with a principal part defining a uniformly elliptic operator, say $a^{ij}{\xi }_i{\xi }_j\ge \lambda |\xi {|}^2$ for some $\lambda >0$, and assume $c\le 0$. No smoothness of the boundary is needed for this classical weak maximum principle for elliptic operators. Its conclusion isIf $c=0$, the zero may be omitted. Only the symmetric part of the principal coefficients contributes to the Hessian matrix contraction.

For a strict inequality $Lu>0$, a positive interior maximum is impossible: there $Du=0$, $D^{2}u$ is negative semidefinite, and $cu\le 0$, so $Lu\le 0$. To reduce the non-strict case to this one, let $q(x)=e^{\kappa x_1}$. Boundedness of $b^1,c$ permits choosing $\kappa$ so large thatThus $L(u+\epsilon q)>0$. The preceding maximum argument and continuity on the compact closure giveLet $\epsilon \downarrow 0$; the exponential is bounded on the bounded domain. This is the exponential perturbation proof of the weak maximum principle with drift, with the zeroth-order term included. For $c=0$, any interior maximum, of either sign, is impossible for the perturbed function, giving the sharper boundary bound. The sign restriction on $c$ is essential: a positive first Dirichlet Laplacian eigenfunction violates the conclusion for $L=\Delta +{\lambda }_1$.

Assume uniform ellipticity $a^{ij}{\xi }_i{\xi }_j\ge \lambda |\xi {|}^2$ with $\lambda >0$, bounded coefficients, and $c\le 0$. The weak maximum principle for elliptic operators isWhen $c=0$, zero can be omitted. The sign restriction is necessary, as shown by the failure of the weak maximum principle with a positive zeroth-order coefficient.

Let $M=\max (0,{\sup }_{\partial \Omega }u)$ and $w=u-M$, so $Lw=Lu-cM\ge 0$ and $w\le 0$ on the boundary. For sufficiently large $k$, $q=e^{k{x}_1}$ satisfiesIf $w$ is positive somewhere, $w+\epsilon q$ retains a positive interior maximum above all its boundary values for small $\epsilon >0$. At that point its gradient is zero and its Hessian matrix is negative semidefinite; ellipticity and $c\le 0$ give $L(w+\epsilon q)\le 0$, contradicting its strict positivity. This exponential perturbation proof of the weak maximum principle with drift also works with $M={\sup }_{\partial \Omega }u$ of either sign when $c=0$.