PDE theory