Nothing to see here. Move along. (At least in my printing, there is no problem 8. To keep the problem numbers intact, I’m leaving this empty.)

# Tag: Errata

#
Find the first four nonzero terms of the power series solution of *y′ = x + y*^{2}

^{2}

Consider the differential equation

with initial conditions when . Assume this differential equation has a power-series solution and compute the first four nonzero terms of the expansion.

Let

be the power-series solution of the differential equation. Then we must have

From the initial conditions we know . Then, equating like powers of we can solve for the first four nonzero terms in the power series expansion:

(**Note:** I think the solution in the back of Apostol is wrong on this. Apostol has , , and . I’m going to mark this as errata until someone convinces me Apostol is actually correct.)

Therefore, we have

#
Find the first four nonzero terms of the power series solution of *y′ = 1 + xy*^{2}

^{2}

Consider the differential equation

with initial conditions when . Assume this differential equation has a power-series solution and compute the first four nonzero terms of the expansion.

Let

be the power series solution of the differential equation. Then we must have

From the initial condition when we know . Therefore, equating like powers of we have

(**Note:** The book gives the value . I think the answer we have above is correct. I’m marking this as errata unless someone convinces me that Apostol is correct.)

Therefore, we have

# Determine all real numbers satisfying given relations

Determine all values for the real numbers and such that the following equations hold.

- .
- .
- .
- .
- .
- .

- The equation
The value of is arbitrary.

- Using the formula for the absolute value of a complex number we have
Since the equation implies which implies . Therefore, this equation is satisfied by

(

**Note:**The answer Apostol gives says , but I think works as well. - Again, using the formula for the absolute value of a complex number we have
This holds for all real and .

- We compute as follows,
Hence, we must have either and is arbitrary or arbitrary and .

- We compute,
This gives us two equations (since the real parts and imaginary parts must be equal),

If then from the second equation we have

If then we have so or . But, is not impossible since then is undefined. Therefore we have two possibilities

(

**Note:**Apostol only gives the first of these solutions. We can check by a direct substitution that the second solution also works.) - Here we note that
Therefore, we have

Therefore, from the given equation we have

# Compute the limit of the given function

Evaluate the limit.

(** Note: ** There’s a small typo in Apostol which puts a parenthesis in the wrong place. The statement above is what I assume is meant since this evaluates to the answer given in the back of the book.)

To do this we’ll need to get the expression in the limit into the indeterminate form and then apply L’Hopital’s rule twice. (Applying L’Hopital’s is going to be a challenge since the derivatives are going to get quite messy before we get anywhere.) We start by putting things over a common denominator,

Now we want to apply L’Hopital’s. First, we take the derivative of the numerator,

Next, we take the derivative of the denominator,

So, now we use proceed with L’Hopital’s. (Keep in mind that L’Hopital’s is only valid if, once we get to the end, the limits of the derivatives we have taken actually exist, so right now we’re taking derivatives and hoping that the limits exist… once we have established that they do, then the whole process was valid.)

So, we again have the indeterminate form , and again we’ll try to apply L’Hopital’s. The derivative of the numerator is

The derivative of the denominator is

Putting these back into our evaluation of the limit,

But now, we have a quotient of continuous functions with non-zero denominator when so the limit is the value of the function at . Evaluating we then have

#
Evaluate the integral of *1 / (x*^{2} + x)^{1/2}

^{2}+ x)

^{1/2}

Compute the following integral.

We have

Then we make the substitution

Therefore we have

(**Note:** The answer in the book is wrong, it has . The should be as we have above.)

#
Evaluate the integral of *((x-a)(b-x))*^{-1/2}

^{-1/2}

Evaluate the following integral for .

(Note: Again, there is an error in the answers in the back of the book for this problem and the previous one. The answers listed for problems #46 and #47 should be swapped.)

Following the hint, we make the substitution

Therefore, we can rewrite this integral in terms of ,

Substituting back in for we then have

#
Evaluate the integral of *((x-a)(b-x))*^{1/2}

^{1/2}

Evaluate the following integral for .

(Note: This is a pretty involved problem the way I’ve done it. Maybe there’s a better way? Let me know if you have one. Also, there is an error in the answer in the book on this problem and the next one. The answers given in the book are swapped, so the answer listed for this problem #46 is actually the answer for #47 and vice-versa.)

There are some integrals we’ll want to use to carry out the evaluation of the above integral. First, from previous exercises here and here (Section 5.10, Exercises #7 and #10(b)) we know

Therefore, (we’ll want this later), we have

The other integral that we are going to want to have available is

To evaluate this we’ll use the trig integrals above. First, make the substitution

and also gives us

Therefore we have

Then, substituting back in for (and noting that and ) we have

So, now that we have those, we can turn our attention to the integral in the question. For this integral we want to make the substitution

which implies

Therefore we have

Now, we want to make the substitution

and implies

Therefore,

Now, we can use the work we did above in the evaluation of this integral,

Finally, we have to unwind our substitutions to get back to a function of . We have

Therefore,

This completes our evaluation of the integral.

# Find indefinite integrals of powers of sin

From the previous two exercises (here and here) we know

and

Use these results to establish the following formulas:

- .
- .
- .

(* Note: * There is an error in my edition of the book for part (c). It requests we prove , omitting the in the first term of the result. This is just an error in the book since the formula as stated is false.)

- Using the second formula, and the triple angle identity for cosine ( which implies , derived in this exercise), we have
- Using the second formula above and then the first we have (and also recalling the trig identity which implies ),
- Using the second formula above and then part (a) we have

# Establish the given limit formula

Prove the formula for the limit:

Using,

(** Note: ** I think there is an error in this problem as stated in Apostol. The statement in the book is for the limit as . However, the limit as of this is not (since it is a quotient of continuous functions and for the denominator is nonzero at ). I’ve changed the statement of the question to be the limit as approaches . This makes the given formula correct, so is probably what was intended.)

* Proof. * From Theorem 2.3 (g) (Apostol, p. 96) we know

So, evaluating the limit we have,

But then,

where,

So,