Solution

ID: past-exam-of-the-algebra-1-and-differential-equations-1-course-of-the-university-of-oxford/2014/4/a/solution

The Picard-Lindelöf theorem gives local existence and uniqueness for an initial value problem when is continuous on a rectangle around and is Lipschitz continuous in its second variable there, with a constant uniform in the first variable. A sufficient hypothesis is that and are continuous on that rectangle.
More quantitatively, if the rectangle is , , and , a sufficiently small with and yields a unique differentiable solution on remaining inside the vertical strip. The proof uses the integral equation
and Picard iteration, or the Banach fixed-point theorem after shrinking to make the integral operator a contraction. The continuity and Lipschitz hypotheses must hold near the actual initial point.

New to topics? Read the docs here!