Solve Differential Equation w/ Power Series Method

Click For Summary

Discussion Overview

The discussion centers around solving the differential equation $y'' + xy = 0$ using the power series method. Participants explore the formulation of the solution as a power series and the implications of initial conditions on the coefficients of the series.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • Some participants propose a solution of the form $y(x) = \sum_{n=0}^{\infty} a_n x^n$ and derive expressions for $y'$, $y''$, and the resulting series.
  • One participant notes that the equation requires knowledge of $y(0)$ and $y'(0)$ to determine the coefficients.
  • Another participant questions the correctness of their expression for $y''(x)$ and seeks clarification on the series manipulation.
  • There is a suggestion that if the series converges uniformly, it can be differentiated term by term, leading to further expressions for $y'$ and $y''$.
  • Some participants derive specific relationships between coefficients, such as $a_2 = 0$ and $a_3 = -\frac{a_0}{6}$, but the implications of these relationships are not fully agreed upon.

Areas of Agreement / Disagreement

Participants express uncertainty regarding the correctness of their manipulations and the implications of the derived coefficients. Multiple competing views on the series expansion and its convergence remain unresolved.

Contextual Notes

Participants have not reached a consensus on the correctness of the series manipulations or the implications of the initial conditions on the coefficients.

evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hello! (Wave)

The differential equation $y''+xy=0$ is given.
Find the general solution of the differential equation (with the power series method).

That's what I have tried:

We are looking for a solution of the form $y(x)=\sum_{n=0}^{\infty} a_n x^n$, where the radius of convergence is $R>0$.
$xy(x)=\sum_{n=1}^{\infty} a_{n-1}x^n$.
We have $y'(x)= \sum_{n=0}^{\infty} (n+1)a_{n+1} x^n$.
$y''(x)=\sum_{n=0}^{\infty} (n+2)(n+1) a_{n+2} x^n$.

So it has to hold:

$$2a_2 + \sum_{n=1}^{\infty} \left[ (n+2)(n+1) a_{n+2}+a_{n-1}\right]x^n=0, \forall x \in (-R,R)$$

Thus:

$$a_2=0$$

$$(n+2)(n+1)a_{n+2}+a_{n-1}=0, \forall n=1,2,3, \dots$$
$$3 \cdot 2 \cdot a_3+a_2=0 \Rightarrow a_3=0$$
$$4 \cdot 3 \cdot a_4 +a_1=0 \Rightarrow a_4=-\frac{a_1}{12}$$

Is it right so far? Or have I done something wrong?
 
Physics news on Phys.org
evinda said:
Hello! (Wave)

The differential equation $y''+xy=0$ is given.
Find the general solution of the differential equation (with the power series method).

That's what I have tried:

We are looking for a solution of the form $y(x)=\sum_{n=0}^{\infty} a_n x^n$, where the radius of convergence is $R>0$.
$xy(x)=\sum_{n=1}^{\infty} a_{n-1}x^n$.
We have $y'(x)= \sum_{n=0}^{\infty} (n+1)a_{n+1} x^n$.
$y''(x)=\sum_{n=0}^{\infty} (n+2)(n+1) a_{n+2} x^n$.

So it has to hold:

$$2a_2 + \sum_{n=1}^{\infty} \left[ (n+2)(n+1) a_{n+2}+a_{n-1}\right]x^n=0, \forall x \in (-R,R)$$

Thus:

$$a_2=0$$

$$(n+2)(n+1)a_{n+2}+a_{n-1}=0, \forall n=1,2,3, \dots$$
$$3 \cdot 2 \cdot a_3+a_2=0 \Rightarrow a_3=0$$
$$4 \cdot 3 \cdot a_4 +a_1=0 \Rightarrow a_4=-\frac{a_1}{12}$$

Is it right so far? Or have I done something wrong?

The solution of the ODE...

$\displaystyle y^{\ ''} + x\ y = 0\ (1)$

... requires the knowledege of $y(0)$ and $y^{\ '} (0)$...

... suppose to have a solution of the form $\displaystyle y(x)= \sum_{n=0}^{\infty} a_{n}\ x^{n}$ You have...

$\displaystyle y^{\ '} (x) = \sum_{n=0}^{\infty} n\ a_{n}\ x^{n-1}\ (2)$

$\displaystyle y^{\ ''} (x) = \sum_{n=0}^{\infty} n\ (n-1)\ a_{n}\ x^{n-2}\ (3)$

... so that is...

$\displaystyle y^{\ ''} (x) = \sum_{n=0}^{\infty} n\ (n-1)\ a_{n}\ x^{n-2} = - \sum_{n=0}^{\infty} a_{n}\ x^{n+1}\ (4)$

Here $a_{0}$ and $a_{1}$ are given from the initial conditions, and the successive coefficients can be found with (4) ...

$\displaystyle y^{\ ''} = 2\ a_{2} + 6\ a_{3}\ x + 12\ a_{4}\ x^{2} + ... = - a_{0}\ x - a_{1}\ x^{2} - ... \implies a_{2} = 0$

$\displaystyle y^{\ '''} = 6\ a_{3} + 24\ a_{4}\ x + ... = - a_{0} - 2\ a_{1}\ x - ... \implies a_{3} = - \frac{a_{0}}{6}$...

... and so one...

Kind regards

$\chi$ $\sigma$
 
chisigma said:
$\displaystyle y^{\ ''} (x) = \sum_{n=0}^{\infty} n\ (n-1)\ a_{n}\ x^{n-2}\ (3)$

I found that $y''(x)= \sum_{n=1}^{\infty} (n+1) a_{n+1} n x^{n-1}= \sum_{n=0}^{\infty} (n+2) (n+1) a_{n+2} x^n$.

Am I wrong? (Thinking)
 
evinda said:
I found that $y''(x)= \sum_{n=1}^{\infty} (n+1) a_{n+1} n x^{n-1}= \sum_{n=0}^{\infty} (n+2) (n+1) a_{n+2} x^n$.

Am I wrong? (Thinking)

Is...

$\displaystyle y(x) = \sum_{n = 0}^{\infty} a_{n}\ x^{n}\ (1)$

... and if the series (1) uniformely converges in an interval You can derive it 'term by term' obtaining...

$\displaystyle y^{\ '} (x) = \sum_{n=0}^{\infty} n\ a_{n}\ x^{n-1}\ (2)$

The same is for the series (2) so that is...

$\displaystyle y^{ ''} (x) = \sum_{n=0}^{\infty} n\ (n-1)\ a_{n}\ x^{n - 2}\ (3)$

Kind regards

$\chi$ $\sigma$
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
5K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
642
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
8
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K