Questão 7 - Aprendizagem ativa com apoio de tecnologia
Considere a equação diferencial linear homogênea
Atividade:
Utilize um ambiente digital (Python/SymPy, GeoGebra ou Desmos) para:
- Determinar as soluções fundamentais;
- Verificar computacionalmente a independência linear;
- 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
e pede três coisas:
- Determinar as soluções fundamentais.
- Verificar computacionalmente a independência linear dessas soluções.
- 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
. Então
Substituindo na equação diferencial obtemos a equação para
:
Como
nunca é zero, divido por
e obtenho a equação característica em
:
Passo 3
Resolver a equação característica. A equação quadrática
pode ser fatorada como
portanto as raízes são
Cada raiz distinta gera uma solução exponencial; assim as duas soluções fundamentais (base do espaço de soluções) são
Explicação curta e amigável: quando as raízes são reais e distintas, as soluções fundamentais são simplesmente as exponenciais
.
Passo 4
Explicar o teste de independência linear usado (Wronskiano). Para duas funções
e
definidas em um intervalo, o Wronskiano é
Teorema prática: se o Wronskiano é diferente de zero em algum ponto do intervalo (ou para todo
no domínio), então
e
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:
Agora o Wronskiano:
Observação:
para todo
. Logo as soluções são linearmente independentes em
.]
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
e o Wronskiano
. 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:
com decaimento mais lento e
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
e não são múltiplos um do outro (formas diferentes de decaimento). - Testar combinações lineares e ver que a solução geral
caminha entre essas formas conforme variam. - Usar sliders (em GeoGebra ou em notebooks interativos) para alterar
e 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
grandes, e o efeito visual de coeficientes. - Ferramentas interativas (sliders) transformam uma ideia abstrata em experiência direta: ao variar
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
- Soluções fundamentais:
e . - Independência linear (computacional):
para todo , logo são linearmente independentes (verificável com SymPy). - Visualização: gráfico produzido (por exemplo com Matplotlib/SymPy) mostrando
, e combinações lineares; decai mais rápido que . - 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.