Resolver as seguintes EDÖS lineares de ordem superior y^{(4)}+2 y^{(3)}-5 y^{\prime \prime}+4 y^{\prime}=x \cos (x)+e^{x}
Passo 1
O enunciado pede para resolver a EDO linear de coeficientes constantes
y^{(4)} + 2y^{(3)} -5y'' +4y' \;=\; x\cos x \;+\; e^x.
Isto é, o operador linear é
L[y] = y^{(4)} + 2y^{(3)} -5y'' +4y'.
Vamos primeiro achar a solução geral da equação homogênea L[y]=0 (parte de matéria: equações lineares com coeficientes constantes) e depois um y_p particular para o termo não-homogêneo x\cos x + e^x.
Passo 2
Equação característica de L[y]=0 é
r^4 +2r^3 -5r^2 +4r = 0.
Fatorando r obtemos
r\,(r^3 +2r^2 -5r +4) = 0.
Logo uma raiz é r_1 = 0 e as outras três raízes \{r_2,r_3,r_4\} vêm da cúbica r^3+2r^2-5r+4=0, que não admite raízes racionais simples. Portanto a solução da parte homogênea é
Para achar um particular y_p, separamos a forçante em dois termos:
x\cos x, cujo operador associado sugere um «ansatz» da forma
y_{p1}(x) = (a\,x + b)\cos x \;+\;(c\,x + d)\sin x,
pois \cos x e \sin x não estão no núcleo de L.
2. e^x, cuja raiz r=1não anula a característica (pois 1+2-5+4=2\neq0), logo
y_{p2}(x) = A\,e^x.
Assim
y_p(x) = y_{p1}(x) + y_{p2}(x).
Passo 4
Calculamos L[y_{p1}]\). Diferenciando repetidas vezes e agrupando termos em \(\cos x\) e \(\sin x\) obtemos, após bastante álgebra,
\[L[y_{p1}] = \bigl((6a+2c)x +(-2a+6b-14c+2d)\bigr)\cos x + \bigl((-2a+6c)x +(14a-2b-2c+6d)\bigr)\sin x.
Queremos L[y_{p1}]=x\cos x. Igualando coeficientes de x\cos x, \cos x, x\sin x e \sin x, surge o sistema