420 Differential Equations
E. Let F be a solution of F
0
(x) = Φ(x, F (x)) and F (a) = Γ, where Φ is a continuous
function that is Lipschitz in y with constant L on [a, b] × R
n
. Suppose that G is a
differentiable function satisfying kG
0
(x) − Φ(x, G(x))k ≤ ε and kG(a) − Γk ≤ δ.
Show that kG(x) − F (x)k ≤ δe
L|x−a|
+
ε
L
(e
L|x−a|
− 1).
HINT: Apply the proof of Theorem 12.7.1.
12.8. Existence without Uniqueness
So far, all of our theorems establishing the existence of solutions required a
Lipschitz condition. While this is frequently the case in applications, there do
exist common situations for which there is no Lipschitz condition near a critical
point of some sort. As we saw in Example 12.5.3, this might result in existence of
multiple solutions. It turns out that by merely assuming continuity of the function
Φ (which is surely not too much to ask), the existence of a solution is guaranteed
in a small interval. We could again use continuation methods to obtain solutions
on larger intervals. However, we will not do that here. The additional tool we need
to proceed is a compactness theorem about functions, the Arzela–Ascoli Theorem
(Theorem 8.6.9).
12.8.1. PEANO’S THEOREM.
Suppose that Γ ∈ R
n
and Φ is a continuous function from D = [a, b] ×
B
R
(Γ) into
R
n
. Then the differential equation
F
0
(x) = Φ(x, F (x)) f (a) = Γ for a ≤ x ≤ b
has a solution on [a, a + h], where h = min{b − a, R/M } and M = kΦk
∞
is the
max norm of Φ over the set D.
PROOF. As in Picard’s proof, we convert the problem to finding a fixed point for
the integral mapping
T F (x) = Γ +
Z
x
a
Φ(t, F (t)) dt.
For each n ≥ 1, we define a function F
n
(x) on [a, a + h] as follows:
F
n
(x) = Γ for a ≤ x ≤ a +
1
n
F
n
(x) = Γ +
Z
x−1/n
a
Φ(t, F
n
(t)) dt for a +
1
n
≤ x ≤ a + h.
Notice that the integral defines F
n
(x) in terms of the values of F
n
(x) in the
interval [a, x −
1
n
]. Since F
n
is defined to be the constant Γ on [a, a +
1
n
], the
definition of F
n
as an integral makes sense on the interval [a +
1
n
, a +
2
n
]. Once
this is accomplished, it then follows that the integral definition makes sense on the
interval [a +
2
n
, a +
3
n
]. Proceeding in this way, we see that the definition makes
sense on all of [a, a + h] provided that F
n
(x) remains in
B
R
(Γ). This is an easy