Cauchy–Kowalevski theorem

local existence and uniqueness theorem for analytic partial differential equations associated with Cauchy initial value problems