Questão 7 - Aprendizagem ativa com apoio de tecnologia

Considere a equação diferencial linear homogênea
y^{\prime \prime}+3 y^{\prime}+2 y=0 .

Atividade:

Utilize um ambiente digital (Python/SymPy, GeoGebra ou Desmos) para:
  1. Determinar as soluções fundamentais;
  2. Verificar computacionalmente a independência linear;
  3. Produzir uma visualização gráfica das soluções.

Pergunta reflexiva:

Como o uso dessas tecnologias amplia sua compreensão conceitual em comparação com a resolução apenas algébrica?

Passo 1

O enunciado dá a equação diferencial linear homogênea de segunda ordem
y^{\prime\prime}+3y^{\prime}+2y=0
e pede três coisas:
  1. Determinar as soluções fundamentais.
  2. Verificar computacionalmente a independência linear dessas soluções.
  3. Produzir uma visualização gráfica das soluções (usar um ambiente digital: Python/SymPy, GeoGebra ou Desmos).
Além disso há uma pergunta reflexiva: comparar como o uso da tecnologia amplia a compreensão conceitual em relação à resolução puramente algébrica.
Informações relevantes que temos:
  • Equação linear homogênea com coeficientes constantes.
  • Ordem da equação: segunda ordem.
  • Espera-se um par de soluções fundamentais (base do espaço de soluções) e verificação de independência linear (por exemplo pelo Wronskiano).
  • É pedido também que se gere um gráfico das soluções usando uma ferramenta digital.

Passo 2

Derivar a equação característica (método padrão para equações com coeficientes constantes): suponha uma solução da forma y(t)=e^{rt}. Então
y'(t)=r e^{rt},\qquad y''(t)=r^{2} e^{rt}.
Substituindo na equação diferencial obtemos a equação para r:
r^{2}e^{rt}+3r e^{rt}+2e^{rt}=0.
Como e^{rt} nunca é zero, divido por e^{rt} e obtenho a equação característica em r:
r^{2}+3r+2=0.

Passo 3

Resolver a equação característica. A equação quadrática
r^{2}+3r+2=0
pode ser fatorada como
(r+1)(r+2)=0,
portanto as raízes são
r_{1}=-1,\qquad r_{2}=-2.
Cada raiz distinta gera uma solução exponencial; assim as duas soluções fundamentais (base do espaço de soluções) são
y_{1}(t)=e^{-t},\qquad y_{2}(t)=e^{-2t}.
Explicação curta e amigável: quando as raízes são reais e distintas, as soluções fundamentais são simplesmente as exponenciais e^{r_{i}t}.

Passo 4

Explicar o teste de independência linear usado (Wronskiano). Para duas funções y_{1} e y_{2} definidas em um intervalo, o Wronskiano é
W(y_{1},y_{2})(t)=\det\begin{pmatrix} y_{1}(t) & y_{2}(t) \\\ y_{1}'(t) & y_{2}'(t) \end{pmatrix} = y_{1}(t)\,y_{2}'(t)-y_{1}'(t)\,y_{2}(t).
Teorema prática: se o Wronskiano é diferente de zero em algum ponto do intervalo (ou para todo t no domínio), então y_{1} e y_{2} são linearmente independentes naquele intervalo e formam uma base das soluções da equação homogênea.

Passo 5

Calcular manualmente o Wronskiano para as soluções encontradas. Primeiro calcule as derivadas:
y_{1}(t)=e^{-t},\quad y_{1}'(t)=-e^{-t},
y_{2}(t)=e^{-2t},\quad y_{2}'(t)=-2e^{-2t}.
Agora o Wronskiano:
\begin{aligned} W(t)&=y_{1}(t)\,y_{2}'(t)-y_{1}'(t)\,y_{2}(t)\\[4pt] &=e^{-t}\cdot\bigl(-2e^{-2t}\bigr)-\bigl(-e^{-t}\bigr)\cdot e^{-2t}\\[4pt] &=-2e^{-3t}+e^{-3t}=-e^{-3t}. \end{aligned}
Observação: -e^{-3t}\neq0 para todo t\in\mathbb{R}. Logo as soluções são linearmente independentes em \mathbb{R}.]

Passo 6

Verificação computacional com Python/SymPy (passo a passo e código pronto para rodar). Recomendo rodar este código num notebook (Jupyter) ou em qualquer ambiente Python com SymPy e Matplotlib instalados.
Código para obter soluções e o Wronskiano em SymPy:
import sympy as sp

t = sp.symbols('t', real=True)
y = sp.Function('y')

# Resolver a EDO
ode = sp.Eq(sp.diff(y(t), t, 2) + 3*sp.diff(y(t), t) + 2*y(t), 0)
sol = sp.dsolve(ode)
print(sol)  # espera-se c1*exp(-t) + c2*exp(-2*t)

# Soluções fundamentais explícitas
y1 = sp.exp(-t)
y2 = sp.exp(-2*t)

# Wronskiano
W = sp.wronskian(y1, y2, t)
print('Wronskiano:', sp.simplify(W))  # espera-se -exp(-3*t)
Saída esperada (aproximada): a solução geral \,y(t)=C_{1}e^{-t}+C_{2}e^{-2t}\, e o Wronskiano -e^{-3t}. Isso confirma computacionalmente a independência linear.

Passo 7

Código para plotar as soluções e algumas combinações lineares (visualização). Exemplo em Matplotlib:
import numpy as np
import matplotlib.pyplot as plt
from sympy import lambdify

t_vals = np.linspace(0, 5, 400)
y1_func = lambdify(t, sp.exp(-t), 'numpy')
y2_func = lambdify(t, sp.exp(-2*t), 'numpy')

y1_vals = y1_func(t_vals)
y2_vals = y2_func(t_vals)
comb_vals = 2*y1_vals - 0.5*y2_vals  # exemplo de combinação linear

plt.figure(figsize=(8,5))
plt.plot(t_vals, y1_vals, label=r'\(e^{-t}\)')
plt.plot(t_vals, y2_vals, label=r'\(e^{-2t}\)')
plt.plot(t_vals, comb_vals, '--', label=r'\(2e^{-t}-0.5e^{-2t}\)')
plt.xlabel('t')
plt.ylabel('y(t)')
plt.title('Soluções fundamentais e uma combinação linear')
plt.legend()
plt.grid(True)
plt.show()
O gráfico exibe duas curvas decrescentes exponenciais: e^{-t} com decaimento mais lento e e^{-2t} com decaimento mais rápido; a combinação linear mostra como formas diferentes se somam. Esse plot é exatamente o que o enunciado pede para produzir no ambiente digital.

Passo 8

Orientação sobre interpretação do gráfico e o que procurar:
  • Verificar visualmente que y_{1} e y_{2} não são múltiplos um do outro (formas diferentes de decaimento).
  • Testar combinações lineares e ver que a solução geral y(t)=C_{1}e^{-t}+C_{2}e^{-2t} caminha entre essas formas conforme C_{1},C_{2} variam.
  • Usar sliders (em GeoGebra ou em notebooks interativos) para alterar C_{1} e C_{2} em tempo real e observar como a solução muda — isso ajuda muito a fixar o conceito de espaço de soluções.

Passo 9

Resposta reflexiva curta e motivadora sobre o uso da tecnologia:
  • A tecnologia permite verificar rapidamente cálculos algébricos (ex.: raízes da equação característica, Wronskiano) e evita erros de álgebra.
  • O gráfico torna palpável a noção de soluções fundamentais e de combinação linear: dá intuição sobre decaimento, dominância de um termo para t grandes, e o efeito visual de coeficientes.
  • Ferramentas interativas (sliders) transformam uma ideia abstrata em experiência direta: ao variar C_{1},C_{2} vê-se em tempo real a mudança da solução — isso costuma fixar o conceito melhor do que só manipulações simbólicas.
  • Em resumo: a tecnologia não substitui o raciocínio algébrico, mas amplia, confirma e acelera a compreensão e a experimentação — é como ter um laboratório visual para equações diferenciais. Força aí, você tá no caminho certo!

Resposta

  1. Soluções fundamentais: y_{1}(t)=e^{-t} e y_{2}(t)=e^{-2t}.
  2. Independência linear (computacional): W(t)=-e^{-3t}\neq0 para todo t\in\mathbb{R}, logo são linearmente independentes (verificável com SymPy).
  3. Visualização: gráfico produzido (por exemplo com Matplotlib/SymPy) mostrando e^{-t}, e^{-2t} e combinações lineares; e^{-2t} decai mais rápido que e^{-t}.
  4. Reflexão: o uso de tecnologia acelera verificações algébricas, fornece intuição visual (decaimentos, combinações lineares) e permite experimentação interativa que reforça a compreensão conceitual.

Exercícios relacionados