There is no commentSelect some text and then click Comment, or simply add a comment to this page from below to start a discussion.
Lecture 8: Intro to ODE
tags: 224a
First order Linear ODE
We begin by proving a basic existence and uniqueness result for first order initial value problems, which will serve as the foundation of such results for second and higher order problems. The notation will denote times continuously differentiable functions on (this means they must be defined in a neighborhood of the endpoints), whose co-domain will be apparent from the context.
Theorem. For a finite closed interval , the IVP: where and are real vector/matrix/vector valued, has a unique solution .
Proof. Observe that by the fundamental theorem of calculus, a function satisfies the equation iff it satisfies the integral equation Define the operator by The fact that is a continuous function follows from continuity of the integrand on . Consider to be a metric space with the sup norm
Our goal is to show that has a unique fixed point, which will be a solution to our ODE. We will appeal to the Banach fixed point theorem: if is a metric space and satisfies for all for some , then has a unique fixed point.
itself is not a contraction, but it turns out a high enough power of it is. This method is called Picard iteration.
Claim. There exists such that for every . Proof. To be completed.
Higher order ODE
A general th order ODE: with can be written as a system of first order ODE in functions constrained by the equations: This allows one to write the ODE linearly as Viewing the variables as a single vector valued function and dividing by the above system is of the form and there is a bijection between solutions of this equation and solutions of the nth order ODE (the matrix is just the https://en.wikipedia.org/wiki/Companion_matrix). Thus, by the theorem in the previous section it must also have a unique solution given initial data
Dimension of The Solution Space
Let be an nth order differential operator. For the homogeneous problem , the set of solutions is a subspace of . For any point , consider the linear map into . By existence and uniqueness of solutions to the IVP at , this map must be a bijection. Thus the space of solutions has dimension exactly for an th order ODE.