Documente Academic
Documente Profesional
Documente Cultură
This chapter has several goals. The first is to understand how concepts that
were discussed for finite series and integrals can be meaningfully extended
to infinite series and improper integrals - i.e. integrals of functions over an
infinite domain. In this part of the discussion, we find that the notions of
convergence and divergence are critical. Mastered Material Check
A second goal is to approximate functions using power series, also called 1. Give an example of of both a finite
Taylor series. Such series can be described informally as infinite polynomi- and infinite polynomial.
als (i.e. polynomials containing infinitely many terms). 2. Circle the point of tangency
between f (x) and LA in Figure 8.1.
Understanding when these objects are meaningful is also related to the
issue of convergence, so we use the background assembled in the first part of
the chapter to address such concepts arising in the second part.
y
Figure 8.1: The function y = f (x) (solid
heavy curve) is shown together with its
LA
linear approximation (LA, dashed line)
HOA at the point x0 , and a better “higher order”
approximation (HOA, thin solid curve).
y=f(x) Notice that this better approximation stays
closer to the graph of the function near x0 .
In this chapter, we discuss how such better
approximations can be obtained.
x
x0
(quadratic, cubic, etc), i.e. to find a polynomial that approximates the given
function.
finite) series whose terms are ak . Then the partial sums, SN , of this series (c) ∑20
k =0 ak .
are
N
SN = ∑ ak .
k =0
We say that the sum of the infinite series is S, and write
∞ N
S= ∑ ak , provided that S = lim SN = lim
N→∞ N→∞
∑ ak .
k =0 k =0
That is, we consider the infinite series as the limit of partial sums SN as the
number of terms n is increased. If this limit exists, we say that the infinite se-
ries converges to S. If the limit does not exist, we say that the series diverges.
If this inequality is not satisfied, then we say that this sum does not exist
(meaning that it is not finite).
I N F I N I T E S E R I E S , I M P RO P E R I N T E G R A L S , A N D TAY L O R S E R I E S 207
Remember that an infinite series, i.e. a sum with infinitely many terms
added up, can exhibit either of these two very different behaviours. It may
converge in some cases, as the first example shows, or diverge (fail to con-
verge) in other cases. We see examples of each of these trends again. It is
essential to be able to distinguish the two. Divergent series (or series that
diverge under certain conditions) must be handled with particular care, for
otherwise we may find contradictions or “seemingly reasonable” calculations
that have meaningless results.
We can think of convergence or divergence of series using a geometric
analogy. If we start on the number line at the origin and take a sequence
of steps {a0 , a1 , a2 , . . . , ak , . . . }, we can think of S = ∑∞
k=0 ak as the total
distance we have travelled. S converges if that distance remains finite and
if we approach some fixed number. In order for the sum of ‘infinitely many
things’ to add up to a finite number, the terms have to get smaller. But just
getting smaller is not, in itself, enough to guarantee convergence. (We show
this later with the harmonic series.) There are rigorous mathematical tests
which help determine whether a series converges or not. We discuss some of
these tests in Appendix B.7.
converge or diverge.
4. Use the integral comparison test to show that a given integral converges or
diverges.
208 I N T E G R A L C A L C U L U S W I T H A P P L I C AT I O N S F O R L I F E S C I E N C E S
exists, we say that the improper integral converges. Otherwise we say that
the improper integral diverges.
Example 8.2 (The improper integral of 1/x diverges) Consider the func-
tion
1
y = f (x) = .
x
Show that the improper integral of this function diverges.
Solution. Examining the graph of this function for positive x, e.g. for the
interval (1, ∞), we know that values decrease to zero as x increases. The
function is not only itself bounded, but also falls to arbitrarily small values Mastered Material Check
as x increases. Nevertheless, this is insufficient to guarantee that the enclosed 5. What characteristic of the function
area remains finite! at x = 0 causes us to choose the
interval (0, ∞) instead of [0, ∞)?
We show this in the following calculation.
∞ b b
1 1
I = dx = lim dx = lim ln(x) = lim (ln(b) − ln(1))
1 x b→∞ a x b→∞ 1 b→∞
= lim ln(b) = ∞.
b→∞
The fact that we get an infinite value for this integral follows from the ob-
servation that ln(b) increases without bound as b increases, that is the limit
does not exist (is not finite). Thus the area under the curve f (x) = 1/x over
the interval 1 ≤ x < ∞ is infinite. We say that the improper integral of 1/x
diverges (or does not converge).
Solution. Then
b b
1
I = lim x −2
dx = lim (−x −1
) = − lim − 1 = 1.
b→∞ 1 b→∞ 1 b→∞ b
Thus, the limit exists, and, in fact, I = 1, so, in contrast to Example 8.2, this
integral converges.
We observe that the behaviours of the improper integrals of the functions
1/x and 1/x2 are very different. The former diverges, while the latter con-
verges. The only difference between these functions is the power of x. As
shown in Figure 8.3, that power affects how rapidly the graph “falls off” to
zero as x increases. The function 1/x2 decreases much faster than 1/x. Con-
sequently 1/x2 has a sufficiently “slim” infinite “tail”, that the area under
its graph does not become infinite - not an easy concept to digest! This ob-
servations leads us to wonder what power p is needed to make the improper
integral of a function 1/x p converge. We answer this question below.
210 I N T E G R A L C A L C U L U S W I T H A P P L I C AT I O N S F O R L I F E S C I E N C E S
Thus this integral converges provided that the term b1−p does not “blow up”
as b increases. For this to be true, we require that the exponent (1 − p) should
be negative, i.e. 1 − p < 0 or p > 1. In this case, we have
1
I= .
p−1
To summarize our result,
∞
1
dx converges if p > 1, diverges if p ≤ 1.
1 xp
Example 8.4 (Does the improper integral of 1/x p converge?) Determine
whether the following improper integral converge or diverge:
∞
1
(a) √ dx,
1 x
∞
(b) x−1.01 dx.
1
Solution.
√ 1
(a) The integral diverges. We see this from the following argument: x = x2 ,
so p = 12 < 1. Thus, by the general result, this integral diverges.
(b) The integral converges. Here p = 1.01 > 1, so the result implies conver-
gence of the integral.
The integral comparison test Table 8.1: The integral comparison test.
These statements must be carefully noted.
Suppose we are given two functions, f (x) and g(x), both continuous on some
What is assumed and concluded works
infinite interval [a, ∞). Suppose, moreover, that, at all points on this interval “one way”. That is the order “if..then” is
important. Reversing that order leads to a
0 ≤ f (x) ≤ g(x). common error.
Since the larger integral on the right is known to converge, so does the
smaller integral on the left.
Thus the area of (infinitely many) of these steps can be expressed as the
(infinite) harmonic series, 2 4 6 8 10
∞
1 1 1 1 1 1 1
+ 1· + 1· + ··· = 1 + + + + ... = ∑ .
Figure 8.4: The harmonic series is a sum
A = 1·1+1· that corresponds to the area under the
2 3 4 2 3 4 k =1 k
staircase shown above. Note that we have
On the other hand, the area under the graph of the function y = f (x) = 1/x for purposely shown the stairs arranged so that
they are higher than the function. This is
0 ≤ x < ∞ is given by the improper integral essential in drawing the conclusion that the
∞ sum of the series is infinite: It is larger than
1 an area under 1/x that we already know to
dx.
1 x be infinite, by Section 8.2.
The p-series
More generally, we can compare series of the form
∞ ∞
1 1
∑ kp to the integral
1 xp
dx
k =1
I N F I N I T E S E R I E S , I M P RO P E R I N T E G R A L S , A N D TAY L O R S E R I E S 213
in precisely the same way. This leads to the conclusion that Mastered Material Check
The p-series, 11. Can you relate the p-series to
infinite geometric series as seen in
∞
1 Section 8.1?
∑ kp converges if p > 1, diverges if p ≤ 1.
k =1
∞
1 1 1 1
∑ k2 = 1 + 4 + 9 + 16 + . . .
k =1
∞ ∞
1 1
S= ∑ k2 = 1 + ∑ k2 .
k =1 k =2
must hold. The improper integral easily evaluates to 1. Hence the integral Mastered Material Check
∞
provides an upper bound for S and we find that S < 2 must hold. Similarly, 12. Verify that
1
dx evaluates to 1.
2
1 x
Among the most basic functions are polynomials, i.e. functions such as
p(x) = x5 + 2x2 + 3x + 2.
p ( x ) = 1 + x + x2 + . . . (8.6)
In other words, by Eqn. (8.3), for |x| < 1 the two expressions “are the same”, Mastered Material Check
in the sense that the polynomial converges to the value of the function. 15. Why only for −1 < x < 1 is this
We refer to this p(x) as an (infinite) Taylor polynomial or simply a Taylor true?
series for the function f (x). We illustrate a Taylor series’ utility in Exam- 16. What is the difference between a
Taylor polynomial and a Taylor
ple 8.9. series?
Example 8.9 Compute the value of the function f (x) given by Eqn. (8.5) for
x = 0.1 without using a calculator.
Solution: Plugging in the value x = 0.1 into the function directly leads to
1/(1 − 0.1) = 1/0.9, whose evaluation with no calculator requires long
division.
Note: this example is slightly “trivial”, in the sense that evaluating the
function itself is not very difficult. However, in other cases, we find that the
polynomial expansion is the only way to find the desired value.
Using the polynomial representation, we have a simpler method:
1
= 1 + (−t ) + (−t )2 + (−t )3 + . . .
1 − (−t )
1
= 1 − t + t2 − t3 + t4 + . . . provided |t| < 1.
1+t
This is a series expansion for the function 1/(1 + t ). Mastered Material Check
We can go farther with this example by a new manipulation, whereby we 17. Give a cubic approximation to the
integrate both sides to arrive at a new function and its expansion, shown next. function
1
g(r ) = .
Example 8.11 (An expansion for the logarithm) Use the results of Ex- 1+r
ample 8.10, and integrate both sides. to arrive at an expansion for the
18. Practice sigma notation by
logarithm. expanding the sigma notation on the
right hand side of Eqn. (8.7).
Solution. On the left, we integrate the function f (t ) = 1/(1 + t ) (to arrive at
a logarithm type integral) and on the right we integrate the power terms of the
expansion. We are permitted to integrate the series term by term provided that
the series converges. This is an important restriction that we emphasize:
Important: Manipulation of infinite series by integration, differentiation,
addition, multiplication, or any other “term by term” computation makes
sense only so long as the original series converges.
Provided |t| < 1, we have that
x x
1
dt = (1 − t + t 2 − t 3 + t 4 − . . .) dt,
0 1+t 0
x2 x3 x4
ln(1 + x) = x− + − + ...
2 3 4
This procedure allowed us to find a series representation for a new function,
ln(1 + x).
∞
x2 x3 x4 xk
ln(1 + x) = x − + − + . . . = ∑ (−1)k+1 . (8.7)
2 3 4 k =1 k
The sigma notation appended on the right is just a compact notation that
represents the pattern of the terms (see Chapter 1).
An expansion for the logarithm is definitely useful, in the sense that
(without a scientific calculator or log tables) it is not possible to easily
calculate the value of this function at a given point.
Example 8.13 When is the series for ln(1 + x) in Eqn. (8.7) expected to
converge?
Solution. Retracing our steps from the beginning of Example 8.10, we note
that the value of t is not permitted to leave the interval |t| < 1 so we need also
|x| < 1 in the integration step.
Note: strictly speaking, we should have ensured that we are inside this
interval of convergence before we computed the last example.
We certainly cannot expect the series for ln(1 + x) to converge when |x| > 1.
Indeed, for x = −1, we have ln(1 + x) = ln(0) which is undefined. Also note
that for x = −1 the right hand side of Eqn. (8.7) becomes
1 1 1
− 1 + + + + ... .
2 3 4
1
= 1 + (−t 2 ) + (−t 2 )2 + (−t 2 )3 + . . .
1 − (−t 2 )
∞
1
1 + t2
= 1 − t2 + t4 − t6 + t8 + . . . = ∑ (−1)nt 2n .
k =0
This series will converge provided |t| < 1. Mastered Material Check
Now integrate both sides, and recall that the antiderivative of the function 19. Consider Example 8.14; find a linear
1/(1 + t 2 ) is arctan(t ). Then approximation of arctan(0.5). How
good is it?
x x
1 20. Consider Example 8.14; find a cubic
dt = (1 − t 2 + t 4 − t 6 + t 8 + . . .) dt approximation of arctan(0.5). How
0 1 + t2 0
good is it?
∞
x3 x5 x7 x(2k−1)
arctan(x) = x− + − + . . . = ∑ (−1)k+1 . (8.8)
3 5 7 k =1 (2k − 1)
1 1 1
arctan(1) = 1 − + − + ...
3 5 7
But arctan(1) = π/4. Thus we have found a way of computing the Mastered Material Check
irrational number π, namely 21. Draw a triangle to illustrate
that arctan(1) = π/4.
∞ 22. Illustrate the expansion of π given in
1 1 1 1
π = 4 1 − + − + . . . = 4 ∑ (−1) k +1
. Example 8.15 by adding up the
3 5 7 k =1 (2k − 1) first 100 or 1000 terms of this series
with a spreadsheet.
While it is true that this series converges, the convergence is slow. This
means that it is not practical to use such a series as an approximation for π.
(There are other series that converge to π very rapidly that are used in any
practical application.)
1. Define the nth degree Taylor polynomial and the Taylor series of a func-
tion f (x) centred at a point x = a.
∞
f (x) = a0 + a1 x + a2 x2 + a3 x3 + . . . = ∑ ak x k .
k =0
f (0) = a0 + a1 0 + a2 02 + a3 03 + . . . = a0 .
We conclude that
a0 = f (0).
I N F I N I T E S E R I E S , I M P RO P E R I N T E G R A L S , A N D TAY L O R S E R I E S 219
f (k ) ( x ) = 1 · 2 · 3 · 4 . . . kak + . . .
Here we have used the notation f (k) (x) to denote the k’th derivative of the
function. Now evaluate each of the above derivatives at x = 0. Then
f ( 0 ) = a1 , ⇒ a1 = f (0),
f (0)
f (0) = 2a2 , ⇒ a2 = 2 ,
f (0)
f (0) = 2 · 3a3 , ⇒ a3 = 2·3 ,
f (k ) (0)
f (k) (0) = k!ak , ⇒ ak = k! .
This gives us a technique for calculating all coefficients ak . This means that
if we can compute all the derivatives of the function f (x), then we know the
coefficients of the Taylor series as well. Because we have evaluated all the
coefficients by the substitution x = 0, we say that the resulting power series is
the Taylor series of the function about x = 0 (sometimes called the Maclaurin
series).
f (k ) ( 0 ) 1
ak = = .
k! k!
Therefore the Taylor series for ex about x = 0 is
∞ k
x2 x3 x4 xk x
1+x+ + + + ... + + ... = ∑ .
2 6 24 k! k=0 k!
This is a very interesting series. We state here without proof that this series
converges for all values of x. Further, the function defined by the series is in
fact equal to ex that is,
∞ k
x2 x3 x
ex = 1 + x + + + ... = ∑ .
2 6 k=0 k!
220 I N T E G R A L C A L C U L U S W I T H A P P L I C AT I O N S F O R L I F E S C I E N C E S
( x2 ) 2 ( x2 ) 3 ∞
( x2 ) k 2
+ ... = ∑
2
ex = 1 + x2 + + . T1 T5
2 6 k=0 k! 1
f (x) = sin x, f (x) = cos x, f (x) = − sin x, f (x) = − cos x, f (4) (x) = sin x, . . . Figure 8.5: An approximation of the
function y = sin(x) by successive Taylor
polynomials, T1 , T3 , T5 , T7 . The higher
After this, the cycle repeats. This means that
Taylor polynomials do a better job of
approximating the function on a larger
f (0) = 0, f (0) = 1, f (0) = 0, f (0) = −1, . . . interval about x = 0.
We state here without proof that the function sin(x) is analytic, so that the
expansion converges to the function for all x.
sin(x), so we can find the Taylor series for cos(x) through differentiation
term by term. Since sin(x) is analytic, this is permitted for all x. We leave as
an exercise for the reader to show that
∞
x2 x4 x6 x2n
cos(x) = 1 − + − + . . . = ∑ (−1)n . (8.9)
2 4! 6! n=0 (2n)!
Since cos(x) has symmetry properties of an even function, we find that its Mastered Material Check
Taylor series is composed of even powers of x only. 24. Verify the Taylor series expansion
of cos(x) given in Eqn. (8.9).
T1 (x) = x,
x3
T3 (x) = x− ,
3!
x3 x5
T5 (x) = x− + ,
3! 5!
x3 x5 x7
T7 (x) = x− + − ,
3! 5! 7!
where the index n indicates the order of the polynomial Tn (x) (highest power
of x). These polynomials provide a better and better approximation to the
function sin(x) close to x = 0. The first of these is just a linear (or tangent
line) approximation. The second improves this with a quadratic (in this case
cubic!) approximation, etc. Figure 8.5 illustrates how the first few Taylor
polynomials approximate the function sin(x) near x = 0. Observe that as we
keep more terms, n, in the polynomial Tn (x), the approximating curve “hugs”
the graph of sin(x) over a longer and longer range.
1
sin(x2 ) dx.
0
Solution. A simple substitution (e.g. u = x2 ) does not work here, and we Mastered Material Check
cannot find an antiderivative. Here is how we might use Taylor series: we 25. Consider Example 8.17; why does
know that the series expansion for sin(t ) is the simple substitution u = x2 not
work?
t3 t5 t7
sint = t − + − + ...
3! 5! 7!
Substituting t = x2 , we have
x6 x10 x14
sin(x2 ) = x2 − + − + ...
3! 5! 7!
1 1
x6 x10 x14
sin(x2 ) dx = ( x2 − + − + . . .) dx
0 0 3! 5! 7!
1
x3 x7 x11 x15
= − + − + . . .
3 7 · 3! 11 · 5! 15 · 7! 0
1 1 1 1
= − + − + ...
3 7 · 3! 11 · 5! 15 · 7!
dy
= y, y(0) = 1.
dx
From Chapter 7, we know that the solution of this differential equation and
initial condition is y(x) = ex . Let us pretend we do not know this fact in
illustrating the usefulness of Taylor series.
Solution. In some cases, where separation of variables does not work, the
Taylor series option has great practical value. Let us express the “unknown”
solution to the differential equation as
y = a0 + a1 x + a2 x2 + a3 x3 + a4 x4 + . . .
dy
= a1 + 2a2 x + 3a3 x2 + 4a4 x3 + . . .
dx
dy
But according to the differential equation, dx = y. Thus, it must be true that
the two Taylor series match, i.e.
This equality holds for all values of x. This can only happen if the coefficients
of like terms are the same, i.e. if the constant terms on either side of the
equation are equal, if the terms of the form Cx2 on either side are equal, and
so on for all powers of x. Equating coefficients, we obtain:
224 I N T E G R A L C A L C U L U S W I T H A P P L I C AT I O N S F O R L I F E S C I E N C E S
a0 = a1 = 1, ⇒ a1 = 1,
a1 = 2a2 , ⇒ a2 = a21 = 12 ,
a2
a2 = 3a3 , ⇒ a3 = 3 = 1
2·3 ,
a3
a3 = 4a4 , ⇒ a4 = 4 = 1
2·3·4 ,
an−1
an−1 = nan , ⇒ an = n = 1
1·2·3...n = 1
n! .
This means that
x2 x3 xn
y = 1+x+ + + . . . + + . . . = ex ,
2! 3! n!
which, as we have seen, is the expansion for the exponential function. This
agrees with the solution we expected. In this example, we would hardly need
to use series to arrive at the right conclusion. However, another example
discussed in the optional material in Appendix B.9, where we would not find
it as easy to discover the solution by other techniques discussed previously.
Summary
whereas ∞
1
I= dx diverges.
1 x
3. More generally, we showed that
∞
1
dx converges if p > 1, diverges if p ≤ 1.
1 xp
4. Using a comparison between integrals and series we showed that the
harmonic series,
∞
1 1 1 1 1
∑ k = 1 + 2 + 3 + 4 + ... + k + ... diverges.
k =1
5. More generally, our results led to the conclusion that the “p” series,
∞
1
∑ kp converges if p > 1, diverges if p ≤ 1.
k =1
I N F I N I T E S E R I E S , I M P RO P E R I N T E G R A L S , A N D TAY L O R S E R I E S 225
6. We studied Taylor series and showed that some can be found using the
formula for convergent geometric series. Two examples of Taylor series
that were obtained in this way are
x2 x3 x4
ln(1 + x) = x − + − + ... for |x| < 1,
2 3 4
and
x3 x5 x7
arctan(x) = x − + − + ... for |x| < 1.
3 5 7
∞
f (x) = a0 + a1 x + a2 x2 + a3 x3 + . . . = ∑ ak x k
k =0
f (k ) ( 0 )
ak = .
k!
1. Match plots (i), (ii) and (ii) with the infinite geometric series (a), (b) and (c) below;
3 Sn
20 Sn 60 Sn ∞
15
(a) ∑ 1k
2 k =0
40
∞
10 1k
1 20
(b) ∑2
5 k =0
n ∞
n n
5 10 15 20 5 10 15 20 5 10 15 20 (c) ∑ 1.1k
(i) (ii) (iii) k =0
2. Using the integral comparison test, determine whether or not the following integral converges:
∞
1
dx.
1 x−1
3. Using the Taylor series found in this chapter, which of the following can be approximated? Consider convergence.
(a) ln(0.75);
(b) arctan(−0.2);
(c) sin(9.5);
(d) e−5 ;
(e) ln(2.4);
Exercises
(You can use a bar graph to represent these terms.) On the same graph,
show the first 100 “partial sums”, i.e. the graph of
n
1
Sn = ∑ (−1)k+1 k .
k =1
(You can use a bar graph to represent these terms.) On the same graph,
show the first 100 “partial sums” multiplied by 4, i.e. the graph of
N
1
4 SN = 4 ∑ (−1)k+1 .
k =1 2k − 1
Show that this converges to π. Find how many correct decimal places
are achieved by adding up the first one-thousand terms of this series.
8.6. Growing tree trunk. The trunk of a tree gets wider by adding a
new growth every year. (In cross section, these show up as “rings”,
one ring for each year). The first year the trunk has radius 1 inch. In
the second year the radius increases by 1/2 inch, in the third year by
1/4 inch, and so on every year.
(a) What is the trunk radius for a 20 year old tree?
(b) For a 50 year old tree?
(c) How big can the radius of the trunk get if the tree keeps growing
this way indefinitely?
(d) What will the cross-sectional area of the trunk be after a long time?
228 I N T E G R A L C A L C U L U S W I T H A P P L I C AT I O N S F O R L I F E S C I E N C E S
(a) What is the area of the snowflake after a very long time?
(b) For what values of f is this final area finite?
(c) What is the final area in the case that f = 4?
Use the first seven terms of this series to estimate the value of the base
of natural logarithms, i.e. of e1 .
8.14. Taylor series. Find the Taylor series for each of the following func-
tions about x = 0:
(a) f (x) = x cos(x),
(b) e−x ,
2
sin(x)
(c) ,
x
(d) Use your results to find a Taylor series representation for the
following integrals:
x x
e−x dx.
2
(i) x cos(x) dx (ii)
0 0
230 I N T E G R A L C A L C U L U S W I T H A P P L I C AT I O N S F O R L I F E S C I E N C E S
8.15. Taylor series. Find the Taylor series at x = 0 of the following func-
tions:
f (x) = e−x
2 /2
(a) (b) f (x) = ln(1 + x)
√ √ ex + e−x
(c) f (x) = x sin x (d) f (x) = .
2
8.16. Taylor series to approximate. Using the Taylor series of f (x) near
a point x∗ , the value of a smooth function f (x) in the vicinity of x∗
can be approximated by f (x∗ ) and f (k) (x∗ ) (where f (k) (x) is the kth
derivative of f (x)), and the distance between x and x∗ , Δx = x − x∗ :
8.17. Taylor series. Find the Taylor series at x = 0, up to and including the
xn term, for the following functions:
(a) Use the Taylor series about t = 0 for the function e−t to write down
−t
the analogous Taylor series about t = 0 for the function e t−1 .
(b) Use your result in part (a) to determine the Taylor series about x = 0
for the integral E (x).
8.20. Growth of the exponential function. Consider the exponential
function y = f (x) = ex . Write down a Taylor Series series expansion
for this function. Divide both sides by xn . Now examine the terms for
the quantity ex /xn . Use this expansion to argue that the exponential
function grows faster than any power function.
8.21. Taylor series. Find a Taylor series about x = 0 for
x
F (x) = ln(1 + t 2 ) dt.
0
232 I N T E G R A L C A L C U L U S W I T H A P P L I C AT I O N S F O R L I F E S C I E N C E S
8.22. Differential equations and Taylor series. Use a Taylor series repre-
sentation to find the function y(t ) that satisfies the differential equation
y (t ) = y + bt with the initial condition y(0) = 1. This type of equation
is called a non-homogeneous differential equation. Show that when
b = 0 your answer agrees with the known exponential solution of the
equation y (t ) = y.
8.23. Differential equations and Taylor series. Use Taylor series to find
the function that satisfies the following second order differential
equation and initial conditions:
d2y
+ y = 0, y(0) = 0, y (0) = 1.
dt 2
A second order differential equation is one in which a second deriva-
tive appears. Notice that this type of differential equation comes with
two initial conditions. Your answer should display y(t ) as a Taylor se-
ries expansion of the desired function. (You may be able to then guess
what elementary function has this expansion as its Taylor series.)