Partial differential equation theory