Sec2 4 PDF
Sec2 4 PDF
has a unique solution x(t) defined on a maximal interval of existence (α, β). Furthermore, if β < ∞
(α > −∞) and if
lim− x(t) = L lim+ x(t) = L
t→β t→α
exists, then L ∈ Ė, the boundary of E. On the other hand, if the above limit exists and L ∈ E, then
β = ∞, f (L) = 0.
ẋ = f (x), x(t1 ) = x1 ,
also satisfies the original initial value problem. In this way, we can extend the solution to a much
larger interval (α, β), where α and β are such that as t → α+ or t → β − , x(t) approaches the
boundary of E.
Theorem 1. Let E be an open subset of Rn and assume that f ∈ C 1 (E). Then for each point x0 ∈ E,
there is a maximal interval J on which the initial value problem (1) has a unique solution, x(t); i.e.,
if the initial value problem has a solution y(t) on an interval I then I ⊆ J and y(t) = x(t) for all
t ∈ I. Furthermore, the maximal interval J is open; i.e., J = (α, β).
Definition. (Maximal interval of existence )
The interval (α, β) in Theorem 1 is called the maximal interval of existence of the solution x(t) of
the initial value problem (1) or simply the maximal interval of existence of the initial value problem
(1).
Corollary 1. Let E be an open subset of Rn and assume that f ∈ C 1 (E) and let (α, β) be the maximal
interval of existence of the solution x(t) of the initial value problem (1). If β < ∞ (α > −∞) and if
lim− x(t) = L lim+ x(t) = L ,
t→β t→α
then L ∈ Ė.
Example 1. Consider
ẋ = x2 , x(0) = 1.
The function f (x) = x2 ∈ C 1 (R) and the initial value problem has a unique solution given by
1
x(t) = .
1−t
The solution is defined on its maximal interval of existence (α, β) = (−∞, 1). Furthermore
lim x(t) = ∞.
t→1−
The solution is defined on its maximal interval of existence (α, β) = (−∞, 1). The function
f (x) = −1/(2x) ∈ C 1 (E), where E = (0, ∞) and Ė = {0}. Note that
2
Example 4. Consider the initial value problem
Remark. A particular situation occurs most frequently; this when f (t, x) ∈ C 1 (E) with E = I × Rn
for some interval I (I may be R). In this case, either the solution is defined for all t ∈ I or it
becomes unbounded and hence it is defined in smaller subinterval. Thus if we know that the solution
is bounded, the we can find I directly from the equation.
Problems: 1,2