Existence theorems for nonlinear partial di erential equations