Return to Revisions

Another argument perhaps worth mentioning uses the maximum principle. If $u_0$ is a (positive) eigenfunction corresponding to the smallest eigenvalue, then we may assume after multiplying by a positive constant that $u_0$ either touches $u$ from below in $\Omega$, or lies below $u$ and is tangent to $u$ at a boundary point. Applying the strong maximum principle in the first case or the Hopf lemma in the second one to the nonnegative supersolution $u - u_0$, we conclude that $u = u_0$. (This argument requires sufficient regularity of $\partial \Omega$, e.g. $C^2$, to apply the Hopf lemma).