Questão 2 - Tecnologia como mediadora da aprendizagem

Considere a equação diferencial:
y^{\prime \prime}+4 y^{\prime}+3 y=0

Atividade:

  1. Resolva a equação analiticamente pelo método da equação característica;
  2. Verifique a solução usando Python/SymPy;
  3. Analise como as raízes do polinômio característico determinam o comportamento da solução.

Reflexão:

De que forma a tecnologia contribui para uma aprendizagem mais autônoma, investigativa e confiável?

Passo 1

O enunciado dá a equação diferencial homogênea de segunda ordem com coeficientes constantes
y''+4y'+3y=0.
As tarefas pedidas são:
  1. Resolver analiticamente pelo método da equação característica.
  2. Verificar a solução usando Python/SymPy.
  3. Analisar como as raízes do polinômio característico determinam o comportamento da solução.
    Também há uma reflexão: explicar de que forma a tecnologia contribui para uma aprendizagem mais autônoma, investigativa e confiável.

Passo 2

Ideia do método (aula rápida e intuitiva). Para equações lineares homogêneas com coeficientes constantes costuma funcionar tentar uma solução do tipo exponencial porque derivadas de exponenciais retornam exponenciais proporcionais à própria função — isso transforma a equação diferencial numa equação algébrica (muito mais simples) chamada característica. Portanto supomos uma solução da forma
y(t)=e^{rt},
onde r é uma constante que vamos determinar. Aqui uso t como variável independente; se na sua prova for x, basta trocar t por x.

Passo 3

Derivadas da tentativa exponencial. Se y(t)=e^{rt} então
y'(t)=r e^{rt},\qquad y''(t)=r^{2} e^{rt}.
Substituindo na equação diferencial:
r^{2}e^{rt}+4r e^{rt}+3 e^{rt}=0.
Como e^{rt}\neq 0 para todo t, podemos dividir por e^{rt} e obter a equação característica (polinomial):
r^{2}+4r+3=0.

Passo 4

Resolver o polinômio característico. A equação
r^{2}+4r+3=0
pode ser fatorada ou resolvida pela fórmula quadrática. Fatorando:
r^{2}+4r+3=(r+1)(r+3)=0,
portanto as raízes são
r_{1}=-1,\qquad r_{2}=-3.

Passo 5

Construção da solução geral. Como as duas raízes são reais e distintas, as duas soluções exponenciais e^{r_{1}t}=e^{-t} e e^{r_{2}t}=e^{-3t} são linearmente independentes; a solução geral da EDO é a combinação linear:
y(t)=C_{1}e^{-t}+C_{2}e^{-3t},
onde C_{1} e C_{2} são constantes arbitrárias que se determinam a partir de condições iniciais (se houver). Dica prática para a prova: se der condições y(0)=y_{0} e y'(0)=y_{1}, substitua t=0 e calcule y'(t) para montar o sistema linear
\begin{cases} C_{1}+C_{2}=y_{0},\\[4pt] - C_{1}-3C_{2}=y_{1}, \end{cases}
e resolva por eliminação ou regra de Cramer — não precisa de calculadora.]

Passo 6

Verificação simbólica (como fazer com Python/SymPy). Aqui está um snippet que você pode colar no Python para verificar com SymPy. O código encontra a solução geral e verifica que substituindo na equação o resultado é 0.
from sympy import symbols, Function, dsolve, Eq, Derivative, simplify
t = symbols('t')
y = Function('y')
ode = Eq(Derivative(y(t), t, 2) + 4*Derivative(y(t), t) + 3*y(t), 0)
sol = dsolve(ode)
print(sol)
# Verificação explícita: pega a solução, diferencia e simplifica a expressão da EDO
C1, C2 = symbols('C1 C2')
y_sol = C1*sympy.exp(-t) + C2*sympy.exp(-3*t)
resid = simplify(y_sol.diff(t,2) + 4*y_sol.diff(t) + 3*y_sol)
print(resid)  # deve imprimir 0
O que você deve ver ao rodar:
  • A função dsolve retorna algo equivalente a y(t) = C1*exp(-t) + C2*exp(-3*t).
  • A verificação resid simplificada deve ser 0, confirmando que a solução satisfaz a equação.

Passo 7

Interpretação das raízes e comportamento qualitativo da solução (essa é a parte conceitual importante para a prova).
  • Aqui as raízes são r_{1}=-1 e r_{2}=-3, ambas reais e negativas. Isso implica que cada termo é uma exponencial decrescente: e^{-t} decai mais lentamente que e^{-3t}. Portanto a solução é a soma de duas decaídas exponenciais: não há oscilações e a solução tende a zero quando t\to\infty.
  • Observação sobre “domínio de longo prazo”: para t grande o termo com decaimento mais lento domina. Entre e^{-t} e e^{-3t} o dominante é e^{-t} (pois decai mais devagar), então a solução assintoticamente se comporta como C_{1}e^{-t} se C_{1}\neq 0.
  • Comparações úteis para a prova (decore mentalmente):
    • Duas raízes reais e distintas \Rightarrow soma de exponenciais simples \Rightarrow comportamento exponencial sem oscilações.
    • Raiz real dupla r \Rightarrow solução da forma (C_{1}+C_{2}t)e^{rt} (aparece fator t por multiplicidade).
    • Raízes complexas conjugadas a\pm ib \Rightarrow solução da forma e^{at}(A\cos(bt)+B\sin(bt)) (há oscilações com decaimento ou crescimento dependendo do sinal de a).
  • Exemplos rápidos para fixar:
    • Se fosse r=\pm i (puro imaginário) teria oscilações permanentes (senos e cossenos) sem decaimento.
    • Se uma raiz positiva existisse, haveria crescimento exponencial (instabilidade).

Passo 8

Resposta curta e prática para a reflexão sobre tecnologia na aprendizagem. Tecnologia (ferramentas como SymPy, notebooks, simuladores) contribui permitindo checagens rápidas das contas, visualizações que ajudam a intuir comportamento (gráficos), e ambiente de experimentação autônoma: o estudante testa hipóteses, vê erros instantaneamente e aprofunda sua investigação com confiança nos resultados, desde que aprenda a interpretar criticamente as saídas (a tecnologia dá suporte, não substitui o raciocínio).

Resposta

y(t)=C_{1}e^{-t}+C_{2}e^{-3t}
Verificação com SymPy: \text{dsolve} retorna y(t)=C_{1}e^{-t}+C_{2}e^{-3t} e substituindo na EDO obtém-se 0.
As raízes são r=-1 e r=-3, reais e negativas: solução é soma de exponenciais decrescentes (não-oscilatória); o termo e^{-t} domina em longo prazo.
Reflexão: a tecnologia facilita aprendizagem autônoma e investigativa ao permitir checagem imediata, visualização e experimentação, tornando os resultados mais confiáveis quando usados com pensamento crítico.

Exercícios relacionados