Theorem 19 (unique solution)

Take a set [Maple Math] and assume [Maple Math] is continuous on [Maple Math] . If [Maple Math] satisfies a Lipschitz Condition on [Maple Math] in the variable [Maple Math] then the initial value problem

[Maple Math] ,

has a unique solution [Maple Math] for [Maple Math] .

>

For example, take the initial value problem

[Maple Math] ,

then [Maple Math] is a continuous function and we can, while holding [Maple Math] fixed, apply the Mean Value Theorem on any interval [Maple Math] in [Maple Math] :

[Maple Math] .

Hence, for [Maple Math] , we have that

[Maple Math] ,

so that [Maple Math] satisfies a Lipschitz condition in [Maple Math] with Lipschitz constant [Maple Math] . Hence, this initial value problem has a unique solution.

>