Books in black and white
 Books Biology Business Chemistry Computers Culture Economics Fiction Games Guide History Management Mathematical Medicine Mental Fitnes Physics Psychology Scince Sport Technics

# Elementary Differential Equations and Boundary Value Problems - Boyce W.E.

Boyce W.E. Elementary Differential Equations and Boundary Value Problems - John Wiley & Sons, 2001. - 1310 p.
Previous << 1 .. 59 60 61 62 63 64 < 65 > 66 67 68 69 70 71 .. 609 >> Next

2. Does the sequence converge?
3. What are the properties of the limit function? In particular, does it satisfy the
integral equation (3), and hence the initial value problem (2)?
4. Is this the only solution, or may there be others?
We first show how these questions can be answered in a specific and relatively simple example, and then comment on some of the difficulties that may be encountered in the general case.
Solve the initial value problem
Ó = 2t (1 + y), y(0) = 0. (8)
by the method of successive approximations.
Note first that if y = ô(), then the corresponding integral equation is
Ô(Ó = f 25[1 + ô(5)] d5. (9)
Jo
Þ
If the initial approximation is ô0(t) = 0, it follows that
ô1(´) = f 25[1 + ô0(5)] d5 = j 25 d5 = t2.
Jo Jo
Similarly,
ô2(t) = f 25[1 + ô1 (5)] d5 = f 25[1 + 52] d5 = t2 + l—
o o 2
(10)
(11)
and
Ô3(() = f 25[1 + Ô2(5)] d5 = f 25
Jo Jo
1 + 52 +
A t6
d5 = t+ 2 + ^3 . (12)
4
5
2
108
Chapter 2. First Order Differential Equations
Equations (1o), (11), and (12) suggest that
2 t4 t6
ôï(t) = t + 2! + 3! +
+

ï!
(13)
for each ï > 1, and this result can be established by mathematical induction. Equation (13) is certainly true for ï = 1; see Eq. (Þ). We must show that if it is true for ï = ê, then it also holds for ï = ê + 1. We have
Ôê+1(²) = f 25[1 + ôê(5)] d5
o
t
5
4
= ³ 2511 + ^ + 2! +
„2ê
+
ê!
d5
4
6
2
^2ê+2
t + 2! + 3! + ••• + (ê + 1)! ’
(14)
and the inductive proof is complete.
A plot of the first four iterates, ô(),..., ô4(³) is shown in Figure 2.8.1. As ê increases, the iterates seem to remain close over a gradually increasing interval, suggesting eventual convergence to a limit function.
-1.5 -1 - 0.5 0.5 1 1.5 1
FIGURE 2.8.1 Plots of ô(), ô4(t) for Example 1.
It follows from Eq. (13) that ôï ( t) is the rth partial sum of the infinite series
òî ,2ê
? êã; (15)
ê= 1
hence lim ôï (t) exists if and only if the series (15) converges. Applying the ratio test, we see that, for each t,
/2ê+2
ê!
(ê + 1)! t

2
ê + 1
o as ê oo;
(16)
2.8 The Existence and Uniqueness Theorem
109
thus the series (15) converges for all t, and its sum ô() is the limit of the sequence {Ôï(t)}. Further, since the series (15) is a Taylor series, it can be differentiated or integrated term by term as long as t remains within the interval of convergence, which in this case is the entire t-axis. Therefore, we can verify by direct computation that
TO
ô(´) = t2k / k! is a solution ofthe integral equation (9). Alternatively, by substituting
k=1
ô() for y in Eqs. (8), we can verify that this function satisfies the initial value problem.
In this example it is also possible, from the series (15), to identify ô in terms of
2
elementary functions, namely, ô(´) = el — 1. However, this is not necessary for the discussion of existence and uniqueness.
Explicit knowledge of ô(´) does make it possible to visualize the convergence of the sequence of iterates more clearly by plotting ô(´) — ôê(t) for various values of k. Figure 2.8.2 shows this difference for k = 1,..., 4. This figure clearly shows the gradually increasing interval over which successive iterates provide a good approximation to the solution of the initial value problem.
-1.5 -1 -0.5 0.5 1 1.5 t
FIGURE 2.8.2 Plots of ô (t) — ôê(t) for Example 1 for k = 1,..., 4.
Finally, to deal with the question of uniqueness, let us suppose that the initial value problem has two solutions ô and ty. Since ô and ty both satisfy the integral equation (9), we have by subtraction that
ô(³) — ty(t) = ( 2s[ô(s) — ty(s)] ds.
0
Taking absolute values of both sides, we have, if t > 0,
² ô() — ty(t) | =
f 2s^(s) — ty(s)] ds < f 2s²ô(s) — ty(s)² ds. 00
110
Chapter 2. First Order Differential Equations
If we restrict t to lie in the interval 0 < t < A/2, where A is arbitrary, then 2t < A, and
Previous << 1 .. 59 60 61 62 63 64 < 65 > 66 67 68 69 70 71 .. 609 >> Next