Skip to main content
\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)
Mathematics LibreTexts

6.1: Review of Power Series

Before we go on to solving differential equations using power series, it would behoove you to go back to you calculus notes and review power series. You can find information on power series here and here and here. There is one topic that was a small detail in first year calculus, but will be a main issue for solving differential equations. This is the technique of changing the index.  

Example

Change the index and combine the power series 

\[ \sum_{n=1}^\infty n\,a_n\,x^{n+1} + \sum_{n=0}^\infty a_n\,x^n.\]

Solution

There are two issues here: The first is the the powers of \(x\) are different and the second is that the summations begin at different values.  To make the powers of \(x\) the same we perform the substitution

        [u  =  n + 1, \;\;\; n  =  u - 1.\]

Notice that when \(n = 1\), \(u  =  2\) and when \(n\) is infinity so is \(u\). We can write 

\[ \sum_{n=1}^{\infty} {n\,a_n\,x^{n+1}} = \sum_{u=2}^{\infty} {(u-1)\,a_{u-1}\,x^u}.\]

Since \(u\) is a dummy index, we can rename it \(n\) to get

\[ \sum_{u=2}^{\infty} (u-1)\,a_{u-1}\,x^u =  \sum_{n=2}^{\infty} (n-1)\,a_{n-1}\,x^n.\]

We now need to find

\[  \sum_{n=2}^{\infty} (n-1)\,a_{n-1}\,x^n + \sum_{n=0}^{\infty} a_n \,x^n. \]

The trouble now is that the starting numbers are different for the two series. We can pull the first two terms out of the second series to get

\[  \sum_{n=0}^{\infty} a_{n}\,x^n  = a_0 + a_1\,x + \sum_{n=2}^{\infty} a_n\, x^n \]

putting this together we get

\[  \sum_{n=0}^{\infty} (n-1)\, a_{n-1}\,x^n + a_0+a_1\,x+ \sum_{n=2}^{\infty} a_n\, x^n\]

\[= a_0+a_1\,x+ \sum_{n=2}^{\infty} \left[ (n-1)\, a_{n-1} +a_n  \right]x^n. \]

Contributors

  • Integrated by Justin Marshall.