Series Solution for 2nd-Order Homogeneous ODE

  • #1
rghurst
7
0
TL;DR Summary
Can someone please explain why the solution provided by the characteristic equation does not entirely match the series solution? Thanks.
5E193B9B-66B9-42B8-B730-8135CB73F56A.jpeg
 
Physics news on Phys.org
  • #2
Why do you think it doesn't?

Your solution with [itex]a_0 = 1[/itex] and [itex]a_1 = 0[/itex] is a solution with [itex]y(0) = 1[/itex] and [itex]y'(0) = 0[/itex]. [itex]e^x[/itex] doesn't satisfy that, but [tex]e^x - xe^x = 1 + \sum_{n=1}^\infty \left(\frac1{n!} - \frac{1}{(n-1)!}\right)x^n = 1 + \sum_{n=1}^\infty \frac{1 -n}{n!}x^n[/tex] does. Is that series familiar?

Alternatively, if you solve the recurrence relation for [itex]a_n[/itex] you find that [tex]
a_n = \frac{(a_1 - a_0)n + a_0}{n!},[/tex] and then it is easy to see that [tex]
\sum_{n=0}^\infty a_nx^n = (a_1 - a_0)xe^x + a_0e^x.[/tex]
 
Last edited:
  • #3
Thanks. This makes better sense to me. I am still admittedly having a difficult
time seeing why the series solution would not match exactly that provided by the characteristic polynomial.
 
  • #4
You are representing a vector, [itex]y[/itex], with respect to two different bases. The first basis - the obvious one obtained from the characteristic polynomial - is [itex]\{e^x, xe^x\}[/itex] and the components are [itex]c_1[/itex] and [itex]c_2[/itex]. The second basis, obtained from the series solution - is [itex]\{e^x, e^x - xe^x\}[/itex] and the components are [itex]a_0[/itex] and [itex]a_1[/itex]. These components are related by [tex]
\begin{pmatrix} c_1 \\ c_2 \end{pmatrix} =
\begin{pmatrix} 1 & 0 \\ -1 & 1 \end{pmatrix}
\begin{pmatrix} a_0 \\ a_1\end{pmatrix}.[/tex] You should not expect different solution methods to give you exactly the same basis. However, for given initial or boundary conditions you should expect them to give the same solution.
 
Last edited:
  • Like
Likes Mark44
  • #5
pasmith said:
You are representing a vector, [itex]y[/itex], with respect to two different bases. The first basis - the obvious one obtained from the characteristic polynomial - is [itex]\{e^x, xe^x\}[/itex] and the components are [itex]c_1[/itex] and [itex]c_2[/itex]. The second basis, obtained from the series solution - is [itex]\{e^x, e^x - xe^x\}[/itex] and the components are [itex]a_0[/itex] and [itex]a_1[/itex]. These components are related by [tex]
\begin{pmatrix} c_1 \\ c_2 \end{pmatrix} =
\begin{pmatrix} 1 & 0 \\ -1 & 1 \end{pmatrix}
\begin{pmatrix} a_0 \\ a_1\end{pmatrix}.[/tex] You should not expect different solution methods to give you exactly the same basis. However, for given initial or boundary conditions you should expect them to give the same solution.
pasmith said:
You are representing a vector, [itex]y[/itex], with respect to two different bases. The first basis - the obvious one obtained from the characteristic polynomial - is [itex]\{e^x, xe^x\}[/itex] and the components are [itex]c_1[/itex] and [itex]c_2[/itex]. The second basis, obtained from the series solution - is [itex]\{e^x, e^x - xe^x\}[/itex] and the components are [itex]a_0[/itex] and [itex]a_1[/itex]. These components are related by [tex]
\begin{pmatrix} c_1 \\ c_2 \end{pmatrix} =
\begin{pmatrix} 1 & 0 \\ -1 & 1 \end{pmatrix}
\begin{pmatrix} a_0 \\ a_1\end{pmatrix}.[/tex] You should not expect different solution methods to give you exactly the same basis. However, for given initial or boundary conditions you should expect them to give the same solution.
This makes full sense to me now. Thanks.
 
Back
Top