Como resolver esta equação diferencial com o ponto singular x igual a 0: "2x^2y'' - xy' + (1+x) y = 0'

"Como resolver esta equação diferencial com o ponto singular x igual a 0: "2x^2 y'' - xy' + (1+x) y = 0?"

[matemática]2x^2y''-xy'+(1+x) y=0 \tag{1}[/math]

I'usará o método de Frobenius.

Be:

[matemática]y_1=\displaystyle{\sum_{n≥0}a_nx^n} [/math]

Substituting in the eq. (1), depois de alguns cálculos encontramos:

[matemática]0=a_0+a_0x+[/math]

[matemática]+\i>displaystyle{\i}{{n≥2}}{ a_{n-1}+(2n-1)(n-1)a_n\i}x^n} . [/math]

Os coeficientes de cada potência de x devem ser 0, então encontramos:

[matemática]a_0=0[/math]

[matemática]a_n=(-1)^{n+1}dfrac{a_1}{(2n-1)! (n-1)!};\ n≥2[/math]

So:

[math]y_1(x)=a_1\esquerda [x+\displaystyle{\sum_{n≥2} \dfrac{(-1)^{n+1} x^n}{(2n-1)!! (n-1)! [n-1)! [n-1]! [n-1]! [n-1]! [n-1]! [n-1]! [n-1]! =(2n-1)(2n-3)\cdots 1.[/math]

Com alguns truques e alguns cálculos é possível escrever o (2) de uma forma mais amigável.

P>P>Primeiro, descobrimos que é possível escrever:

[matemática](2n-1)!! (n-1)! =\dfrac{(2n-1)!}{2^{n-1}} [/math]

so, também depois de ter rearranjado um pouco:

[matemática]y_1(x)=a_1 à esquerda [x-dfrac{1}{2}{2}displaystyle{\i}{n≥2} \frac{(-1)^{n} (2x)^n}{(2n-1)!}}\right ]=[/math]

[math]=a_1\left [x-\dfrac{1}{2}\displaystyle{\sum_{n≥2} \dfrac{(-1)^{n}\ (\sqrt{2x})^{2n}}{(2n-1)!}}\right ]=[/math]

[math]=\dfrac{a_1}{2}\left [2x-2x\displaystyle{\sum_{n≥2} \2n^{(-1)^2n{2x})^{(2n-2)}{(2n)!right ]=[/math]

>p>[math]=a_1x-esquerda [1->displaystyle{\i1}{n≥2} \Frac{(-1)^{n}{(2n-2)^{(2n-2)}{(2n)!Certo ][/math]

Remembrando a série McLaurin de

[matemática]>cos(\sqrt{2x}),[/math]

descobrimos que a última série escrita entre parênteses rectos é exactamente:

[math]1+\dfrac{d}{dx}[\cos(\sqrt{2x})][/math]

So [math]y_1(x)[/math] can be written as:

[math]y_1(x)=a_1x \left [-\dfrac{d}{dx}[\cos(\sqrt{2x})]\right ] =[/math]

[math]=\dfrac{a_1}{2} \sqrt{2x}\ \sin(\sqrt{2x}). [/math]

That's not the only solution of the eq. [math](1)[/math] but just a particular one.

The general solution of the given equation is:

[math]y(x)=\sqrt{2x} \left [A\cos(\sqrt{2x})+B\sin(\sqrt{2x})\right].[/math]

Infact, as follows.

Writing the given equation as:

[math]y''(x)-\dfrac{y'(x)}{2x}+\dfrac{(1+x)y(x)}{2x^2}=0[/math]

we recognize a linear, second order, homogeneus equation with a fuchsian point (regular singular point) [math]x=0[/math].

Is such, an equation:

[math]y''(x)+P(x)\cdot y'(x)+Q(x)\cdot y(x) =0[/math]

where [math]P(x)[/math] and [math]Q(x)[/math] have a singular point [math]x_0[/math] which is at most a first order pole for [math]P(x)[/math] and at most a second order pole for [math]Q(x)[/math].

Then Fuch's theorem states that the solution [math]y(x)[/math] can be expressed as

[math]y(x) =(x-x_0)^r\cdot \displaystyle{\sum_{n≥0}a_nx^n} [/math]

where r is a root of the “indicial equation”:

[math]r^2+(p_0-1)r+q_0=0[/math]

and:

[math]p_0=\displaystyle{\lim_{x\to x_0}(x-x_0)P(x)} [/math]

[math]q_0=\displaystyle{\lim_{x\to x_0}(x-x_0)^2Q(x)}. [/math]

In the present case we easily find [math](x_0=0)[/math]:

[math]p_0=-\dfrac{1}{2}[/math]

[math]q_0=\dfrac{1}{2}[/math]

so the indicial equation is:

[math]2r^2-3r+1=0[/math]

which has roots:

[math]r_1=1[/math]

[math]r_2=\dfrac{1}{2}[/math]

With the root

[math]r=\dfrac{1}{2}[/math]

we can write

[math]y(x)=x^{\frac{1}{2}}\cdot \displaystyle{\sum_{n≥0}a_nx^n} [/math]

and with the Frobenius method we find:

[math]y_1(x)=c_1\sqrt{2x}\cos(\sqrt{2x})[/math]

while with [math]r=1[/math] we find:

[math]y_2(x)=c_2\sqrt{2x}\sin(\sqrt{2x})[/math]

so the general solution is

[math]y(x)=\sqrt{2x} \left [A\cos(\sqrt{2x})+B\sin(\sqrt{2x})\right][/math]

as written.