3
$\begingroup$

How can one solve the following differential equation

$$f'' + f =0$$

with the usage of power series?

Writing:

$$f(x) = \displaystyle\sum_{k=0}^{\infty} a_k x^k$$

$$f'(x) = \displaystyle\sum_{k=1}^{\infty} a_k k x^{k-1}$$

$$f'' (x) = \displaystyle\sum_{k=2}^{\infty} k (k-1) a_k x^{k-2}$$

How to continue?

  • 1
    You should be careful with the indices. Then, try writing as a single sum2012-09-11
  • 0
    What is the coefficient of $z^k$ in $f''+f$?2012-09-11

3 Answers 3

5

I would suggest not using summation notation for a while. Let $$f(x)=a_0+a_1x+a_2x^2+a_3x^3+a_4x^4+a_5x^5+\cdots.$$ Then $$f''(x)=(2)(1)a_2+(3)(2)a_3 x+(4)(3)a_4x^2+(5)(4)a_5x^3+\cdots.$$ The power series expansion of $f''(x)+f(x)$ is easy to write down using the above equations. Note that all the coefficients must be $0$.

We can't say anything about $a_0$ or $a_1$. But the constant term in the expansion of $f''(x)+f(x)$ must be $0$. Thus $$a_0+(2)(1)a_2=0,$$ so $a_2=-\dfrac{a_0}{(2)(1)}$.

The coefficient of $x$ in the expansion of $f''(x)+f(x)$ must be $0$. Thus $$a_1+(3)(2)a_3=0,$$ and therefore $a_3=-\dfrac{a_1}{(3)(2)}$.

The coefficient of $x^2$ must be $0$. So $$a_2+(4)(3)a_4=0.$$ Thus $a_4=-\dfrac{a_2}{(4)(3)}=\dfrac{a_0}{(4)(3)(2)(1)}$.

The coefficient of $x^3$ must be $0$. So $$a_3+(5)(4)a_5=0.$$ Thus $a_5=-\dfrac{a_3}{(5)(4)}=\dfrac{a_1}{(5)(4)(3)(2)}$.

I will stop here. You may want to calculate $a_6$. What is going on will become clear. Then you may want to start using general indices.

  • 0
    Thank you, this is very helpful.2012-09-11
2

First remove the "$(x)$" after $f$ and $f''$ (you might have meant $z$, but nothing will do fine). Then collect like powers of $z$ in $f''-f$, and equate the coefficients to $0$ (since a power series is zero if and only if all its coefficients are zero), giving a recursion relation for the coefficients. Then solve that recursion.

1

Hint: You may choose $a_0=a$ and $a_1=b$, all other $a_i$ are then uniquely determined. This reflects that the solution will be of the form $a\cos(x)+b\sin(x)$.