Consider the power series

whose coefficients satisfy the identity

Compute the coefficients and determine the value of .

First, we know the power-series expansion of is given by

So, we have

Equating like powers of we can compute the coefficients and ,

Then to compute the value of we solve the differential equation

If we have

Therefore, . If then we can divide the above differential equation by to obtain the first order linear differential equation

Now, we can solve this differential equation as follows,

Where is an arbitrary constant.

(**Incomplete.** Judging by the answer in the back of the book, Apostol computes this constant as . I’m not sure how to get that though. I think we need some kind of initial condition to determine the constant, and so get a unique solution for . Maybe we can assume this must be continuous at 0 and then take a limit as ? I do think that would get us to , but I don’t know why can assume is continuous at 0. Leave a comment if you have any suggestions.)

Ok guys, I got this due to your comments and Apostol answer.

So, by theorem 11.8, if the function is represented by a power series in the interval (a-r, a+r), then it is continuous. However, we are automatically given the condition that f(x) power series exists! Moreover, the expansion is around 0 (since all terms are ), so no matter what radius is, is always in the interval of convergence. Thus, the series MUST be continuous at .

Now, since our answer from the differential equation clearly does not allow for a 0 substitution, we understand that this is a discontinuous function with removable discontinuity! In short, one point has been removed from it. Since Apostol assumed the series exists, it means the point has been inserted, and it should equal to the limit of the function at 0.

Now, from the power series we know that . We just examine the limit: . Here we used the rule that the limit of sums is the sum of limits.

But you may notice, that the limit with exists ONLY when the nominator is 0 (otherwise we cannot apply L’Hopital rule!). So, at 0 the only possible option to choose is that , then ! This is exactly what we should get, since .

Thus, we have arrived at the solution in Apostol, and verified it!

How about using the interval -π π, then that f(x) seems to be even. Some jump discontinuities at the endpoints but still integrable.