Considere a EDO a \cdot \frac{d^{2} y}{d x^{2}}+b \cdot \frac{d y}{d x}+c y=0 com a, b . c \in \mathbb{R} tais que b^{2}-4 a c=0 e a \neq 0. Mostre que:
(a) y_{1}(x)=e^{-\frac{b}{2 a} x} é solução da EDO.
(b) y(x)=c_{1} e^{r x}+c_{2} x e^{r x} com r=-\frac{b}{2 a} é a solução geral da EDO.
Passo 1
O enunciado dá a EDO linear homogênea com coeficientes constantes
onde a,b,c\in\mathbb{R}, a\neq 0 e a condição adicional b^{2}-4ac=0 (ou seja, o discriminante da quadrática associada é zero). O problema pede duas coisas:
(a) Mostrar que \;y_{1}(x)=e^{-\frac{b}{2a}x}\; é solução da EDO.
a r^{2}+b r + c = \frac{b^{2}}{4a} - \frac{b^{2}}{2a} + c = -\frac{b^{2}}{4a} + c = \frac{-b^{2}+4ac}{4a}.
Como no enunciado temos b^{2}-4ac=0, o numerador -b^{2}+4ac é zero. Logo a r^{2}+b r + c=0. Portanto a y_{1}''+b y_{1}'+c y_{1}=e^{r x}\cdot 0=0, isto é, \;y_{1}(x)=e^{-\frac{b}{2a}x}\; satisfaz a EDO. Assim a parte (a) está provada.
Passo 4
Agora a parte (b): precisamos demonstrar que a solução geral é y(x)=c_{1}e^{r x}+c_{2}x e^{r x} com r=-\dfrac{b}{2a}.
Primeiro verifico que y_{2}(x)=x e^{r x} também satisfaz a EDO. Calculo derivadas de y_{2}:
y_{2}=x e^{r x},
y_{2}' = e^{r x} + r x e^{r x} = e^{r x}(1 + r x),
y_{2}'' = r e^{r x} + r e^{r x} + r^{2} x e^{r x} = e^{r x}(2r + r^{2} x).
Substituo na EDO:
a y_{2}'' + b y_{2}' + c y_{2} = a e^{r x}(2r + r^{2} x) + b e^{r x}(1 + r x) + c e^{r x} x.
Fatorando e^{r x} e agrupando termos em x e constantes:
a y_{2}'' + b y_{2}' + c y_{2} = e^{r x}\Big( x\,(a r^{2} + b r + c) + (2a r + b) \Big).
Já provamos no Passo 3 que a r^{2} + b r + c = 0. Além disso, para r=-\dfrac{b}{2a} temos
2a r + b = 2a\left(-\frac{b}{2a}\right) + b = -b + b = 0.
Portanto ambos os termos dentro do parêntese são zero, e assim a y_{2}'' + b y_{2}' + c y_{2}=0. Logo y_{2}(x)=x e^{r x} também é solução.
Passo 5
Agora preciso mostrar que essas duas soluções são linearmente independentes, para que a combinação linear delas seja a solução geral. Calculo o Wronskiano W(y_{1},y_{2})(x):
W = e^{r x}(e^{r x}+r x e^{r x}) - x e^{r x}\cdot r e^{r x} = e^{2r x} + r x e^{2r x} - r x e^{2r x} = e^{2r x}.
Como e^{2r x}\neq 0 para todo x, o Wronskiano é não nulo para todo x. Portanto y_{1} e y_{2} são linearmente independentes e formam um conjunto fundamental de soluções. Pela teoria das equações diferenciais lineares de segunda ordem, a combinação linear