- #1
LoA
- 13
- 0
Homework Statement
I am confused about what happens to the index of summation when I differentiate a series term by term. Let me show you two examples from my diff eq book (boyce and diprima) which are the primary source of my confusion:
Homework Equations
From page 268:
The function [itex]f[/itex] is continuous and has derivatives of all orders for [itex]|x − x_{0} | < ρ [/itex].
Further, [itex] f ′ ,f ′′ , \cdots [/itex] can be computed by differentiating the series termwise; that is,
[itex] f'(x) = a_{1} + 2a_{2}(x-x_{0}) + \cdots + na_{n}(x-x_{0})^{n-1} + \cdots[/itex]
[itex]= \sum^{\infty}_{n = 1} na_{n}(x-x_{0})^{n-1} [/itex]
[itex]f''(x) = 2a_{2} + 6a_{3}(x-x_{0}) + \cdots + n(n-1)a_{n}(x-x_{0})^{n-2} + \cdots[/itex]
[itex]= \sum^{\infty}_{n = 2} n(n-1)a_{n}(x-x_{0})^{n-2} [/itex]
Note especially the shift upward in the lower index of summation corresponding to the elimination of the [itex] a_{0}, a_{1} [/itex] terms in the process of differentiating the series.
But later in the book on page 279, in an example demonstrating the method of Frobenius for solving a d.e. around a regular singular point, the book calculates [itex]y, y', y'' [/itex] as follows:
[itex]y = \sum^{\infty}_{n = 0} a_{n}(x)^{r+n} [/itex]
[itex]y' = \sum^{\infty}_{n = 0} (r+n)a_{n}(x)^{r+n-1} [/itex]
[itex]y'' = \sum^{\infty}_{n = 0} (r+n)(r+n-1)a_{n}(x)^{n-2} [/itex]
The Attempt at a Solution
If they simply skipped the step of decrementing the indices, then shouldn't all of the [itex] n[/itex]'s inside the summation be incremented accordingly? Since getting the degree's of the x terms and the indices of summation set up correctly are important steps to setting up the recurrence relation for solving these problems, I'm very confused about this apparent discrepancy. I've played around with it both ways and as far as I can tell it seems to make a difference in the outcome of the problem. Is there something I'm missing about how differentiation interacts with the sigma notation for a series? I'm not very good with series atm but I'm trying to improve, so any help or pointers in this general area are all very welcome.
EDIT: NVM I think I figured it out 30 seconds after clicking submit. Is it because the first term is [itex] a_{0}x^{r}, [/itex] which doesn't go away after differentiating? It becomes [itex] ra_{0}x^{r-1} [/itex]. Man I'm bad at this.
Last edited: