On the Hopf Lemma
The Hopf Lemma for second order elliptic operators is proved to hold in domains with $C^{1,α}$, and even less regular, boundaries. It need not hold for $C^1$ boundaries. Corresponding results are proved for second order parabolic operators.