Assignment I

DIFFERENTIAL EQUATION
November 29, 2015

Group Members
Name
1.
2.
3.
4.
5.

Abener Tewodros
Hana Endiris . .
Miliyon Tilahun .
Sisai Bekele . . .
Shimekit Legese .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

ID No
GSR/1417/08
GSR/1419/08
GSR/1401/08
GSR/1426/08
GSR/1425/08

Problems
1. Assume that the function f (t, x) is continuous and differentiable in R = R (a, b) and satisfies the
inequality
|f (t, x)| A(t)|x| + B(t)
for some non-negative function A(t) and B(t).
Show that any solution of the form
x0 = f (t, x)
x( ) = c,

t(a, b)

has a maximal interval of existence (a, b).

2. Consider the IVP

x0 = e(xt) ,

x(0) = 1.

on a rectangle |t| a, |x x0 | b.
Find the values a and b so that the solution exist on R.
3. Consider the IVP
x0 = x2 + cos(t2 ),

x(0) = 0, on |t| 1/2.

Determine whether the given IVP has a unique solution or not.

4. 1
5. 2
6. 3
7. Coddington Chapter 1 Question #2
Suppose the function f (t, x) is locally Lipschitz on the domain G in R2 , that is,
|f (t, x1 ) f (t, x2 )| k(t)|x1 x2 | for all (t, x1 ), (t, x2 ) G.
Define I = (a, b) and 1 (t) and 2 (t) are continuous functions on I. Assume that, if (t, i (t)) is in G,
then the function f (t, i (t)) is an integrable function on I for i = 1, 2. Suppose that for i = 1, 2 and
t I,
Z
t

i (t) = i ( ) +

f (s, i (t))ds + Ei (t)

and (1 ( ) 2 ( )| for some constant . Show that for all t in (, b) we have

Z t

Z t

Z t
|1 (t) 2 (t)| exp
k(s)ds +E(t) +
E(s)k(s) exp
k(r)dr ds

where E(t) = |E1 (t)| + |E2 (t)|

Solution.
Z

|1 (t) 2 (t)| = |1 ( ) +

f (s, 1 (s))ds + E1 (t) 2 ( )

f (s, 2 (s))ds E2 (t)|

Z t
Z t
= |1 ( ) 2 ( ) +
f (s, 1 (s))ds
f (s, 2 (s))ds + E1 (t) E2 (t)|

Z t
Z t
f (s, 2 (s))ds + E1 (t) E2 (t)|
f (s, 1 (s))ds
|1 ( ) 2 ( )| + |

Z t
f (s, 1 (s)) f (s, 2 (s))ds|
+ E(t) + |

Z t
|f (s, 1 (s)) f (s, 2 (s))|ds
+ E(t) +

Z t
+ E(t) +
k(s)|1 (s) 2 (s)|ds

Z s
Z t
+ E(t) +
k(s)|1 (s) 2 (s)|ds +
k(s)|1 (s) 2 (s)|ds

s
Z s
Z t
+
k(s)|1 (s) 2 (s)|ds + E(t) +
k(s)|1 (s) 2 (s)|ds

s
Z t

Z s
Z t
exp
k(s)ds + E(t) +
E(s)k(s) exp
k(r)dr ds

cont.