next up [*]
Next: 7.4 A few solutions Up: 7. The Harmonic oscillator Previous: 7.2 Behaviour for large

7.3 Taylor series solution

Let us substitute a Taylor series for H(y),

H(y) = $\displaystyle \sum_{p=0}^{\infty}$apyp. (7.14)

This leads to
H'(y) = $\displaystyle \sum_{p=0}^{\infty}$papyp - 1 = $\displaystyle \sum_{q=0}^{\infty}$(q + 1)aq + 1yq  
H''(y) = $\displaystyle \sum_{p=0}^{\infty}$p(p - 1)apyp - 2 = $\displaystyle \sum_{r=0}^{\infty}$(r + 1)(r + 2)ar + 2yr (7.15)

How to deal with equations involving polynomials. If I ask you when is a + by + cy2 = 0 for all y, I hope you will answer when a = b = c = 0. In other words a polynomial is zero when all its coefficients are zero. In the same vein two polynomials are equal when all their coefficients are equal. So what happens for infinite polynomials? They are zero when all coefficients are zero, and they are equal when all coefficients are equal.

So lets deal with the equation, and collect terms of the same order in y.

 
y0 : 2a2 + (2$\displaystyle \epsilon$ - 1)a0 = 0,y1 : 6a3 - 2a1 + (2$\displaystyle \epsilon$ - 1)a1 = 0,ys : (s + 1)(s + 2)as + 2 - (2s + 1 - 2$\displaystyle \epsilon$)as = 0.  
(7.16)

These equations can be used to determine as + 2 if we know as. The only thing we do not want of our solutions is that they diverge at infinity. Notice that if there is an integer such that

2$\displaystyle \epsilon$ = 2n + 1, (7.17)

that an + 2 = 0, and an + 4 = 0, etc. These solutions are normalisable, and will be investigated later. If the series does not terminates, we just look at the behaviour of the coefficients for large s, using the following
Theorem: The behaviour of the coefficients as of a Taylor series u(y) = $ \sum_{s}^{}$asys for large index s describes the behaviour of the function u(y) for large value of y.

Now for large s,

as + 2 = $\displaystyle {\frac{2}{s}}$as, (7.18)

which behaves the same as the Taylor coefficients of ey2:

ey2 = $\displaystyle \sum_{s\ \mathrm{even}}^{}$bsys = $\displaystyle \sum_{s\ \mathrm{even}}^{}$$\displaystyle {\frac{1}{\frac{s}{2}!}}$ys, (7.19)

and we find

bs + 2 = $\displaystyle {\frac{2}{s+2}}$bs, (7.20)

which for large s is the same as the relation for as. Now ey2e-y2/2 = ey2/2, and this diverges....


next up [*]
Next: 7.4 A few solutions Up: 7. The Harmonic oscillator Previous: 7.2 Behaviour for large

© 1998 Niels Walet, UMIST
Email Niels.Walet@umist.ac.uk