MAS201 Note 1.2
MAS201 Note 1.2
(see Example 1.1.17). The functions y ≡ 0 and y = x3 are solutions of the initial value
problem. These solutions are not equal on any interval α < x < β containing 0.
18 CHAPTER 1. INTRODUCTION TO DIFFERENTIAL EQUATIONS
xy = y − 1, y(0) = 1
y = 1 + cx
has only one solution y = ϕ(x) on an interval x0 − δ < x < x0 + δ with δ > 0.
Theorem 1.2.1 (Existence of a Unique Solution). Let R be a rectangular region in the
xy-plane defined by a ≤ x ≤ b, c ≤ y ≤ d that contains a point (x0 , y0) in its interior.
Let f and ∂f /∂y be continuous real-valued functions on R. Then there exist an interval
I given by x0 − h < x < x0 + h with h > 0 contained in the interval a ≤ x ≤ b and a
unique function y = ϕ(x) defined on the interval I that is a solution of the (first-order)
initial value problem
dy
Solve: = f (x, y)
dx
Subject to: y(x0 ) = y0 .
Proposition 1.2.3. Let p and g be continuous real-valued functions on an interval
a < x < b containing a point x0 . Let y0 be a constant. Then there is a unique solution
y = ϕ(x) of the initial value problem
are solutions of the initial value problem. The problem has infinitely many solutions.
If the initial condition is replaced by y(x0 ) = y0 where (x0 , y0 ) is any point with
y0 = 0, then there is a unique solution of the new initial value problem on an interval
x0 − δ < x < x0 + δ with δ > 0.
Example 1.2.11. All solutions of the first-order differential equation
x
y = −
y
satisfy the implicit relation
x2 + y 2 = c2
where c is an arbitrary positive constant. For each x with −c < x < c, let
√
y = ϕ1 (x) = c2 − x2
√
y = ϕ2 (x) = − c2 − x2
ϕ1 (x) if −c < x ≤ 0
y = ϕ3 (x) =
ϕ2 (x) if 0 < x < c
⎧
⎪
⎨ϕ2 (x) if −c < x ≤ −c/2
y = ϕ4 (x) = ϕ1 (x) if −c/2 < x < c/2
⎪
⎩
ϕ2 (x) if c/2 ≤ x < c.
Then ϕ1 , ϕ2 , ϕ3 and ϕ4 all satisfy the relation x2 + y 2 = c2 . But ϕ1 and ϕ2 only satisfy
the differential equation on the interval −c < x < c. If the initial condition y(0) = 3 is
given, then ϕ1 with c = 3 is the only solution of the initial value problem consisting of
the differential equation and this initial condition on an interval −δ < x < δ with δ > 0.