Enunciado
Cálculo - Boyce - Equações Diferenciais - Ed: 10º - Capítulo 7.6 - Ex. 27
27. Vamos indicar, nesse problema, como mostrar que e , dados pelas Eqs. (17), são linearmente independentes. Sejam e um par de autovalores conjugados da matriz de coeficientes da Eq. (1); sejam e os autovetores associados. Lembre-se de que foi dito na Seção 7.3 que dois autovalores diferentes têm autovetores linearmente independentes, de modo que, se , então e são linearmente independentes.
A - Vamos mostrar primeiro que e são linearmente independentes. Considere a equação . Expresse e em função de e de , e depois mostre que = 0.
B - Mostre que e , e que, portanto, e . Em consequência, a e b são linearmente independentes.
C - Para mostrar que e são linearmente independentes, considere a equação , em que é um ponto arbitrário. Reescreva essa equação em termos de e , e depois prossiga como no item (b) para mostrar que e . Logo, e são linearmente independentes no ponto arbitrário . Portanto, são linearmente independentes em qualquer ponto e em qualquer intervalo.
Passo 1
Beleza! Então vamos começar aqui escrevendo os nossos autovetores complexos...
Para termos uma melhor ideia do que fazer. Veja que podemos somar as duas equações de cima onde a gente vai encontrar:
Se multiplicarmos a equação de baixo por e somarmos com a de baixo, podemos chegar nessa outra equação aqui:
Da primeira equação, tiramos que...
Da segunda equação, entretanto...
Podemos multiplicar por em cima e em baixo...
Beleza! Então, substituindo nessa equação que ele nos deu:
Ou seja...
Viu só!
Passo 2
Agora vamos provar que é linearmente independente de .
Dessa última equação que chegamos no passo anterior, podemos passar a expressão de pro outro lado...
Supondo que seja diferente de , podemos passa-lo dividindo...
Observe que estou substituindo as expressões dos autovalores e também. Assim...
ORA! Dois números complexos, só são iguais se tanto a parte real quanto a imaginária forem iguais, isto é:
Ora! Sabemos que e não são a mesma coisa:
Como chegamos a um absurdo, isso significa que a nossa hipótese inicial de que é diferente de zero:
Ou seja... Ele deve ser . Fazendo a mesma coisa, a gente descobre que também deve ser :
Dessas duas aí, a gente conclui que:
Então...
de fato devem ser Linearmente independentes!
Passo 3
Agora temos que provar que a combinação de duas soluções e também são linearmente independentes:
O que significa dizer que e também deve ser . Sabemos que a solução dado autovalores imaginários é assim:
Como a exponencial não pode ser , ela já vai em bora:
Como o cosseno e o seno são duas funções diferentes de para um qualquer (no geral neh) então...
Como e são linearmente independentes, então...
Provando que as duas soluções...
Também serão linearmente independentes, saca?
Resposta
Questões de demonstração.