 SLPs are also useful in the analysis of certain partial differential equations.There are several theorems that establish existence and uniqueness of solutions to initial value problems involving ODEs both locally and globally.The two main theorems are

In their basic form both of these theorems only guarantee local results, though the latter can be extended to give a global result, for example, if the conditions of Grönwall's inequality are met.