# SECTION 4.2# Example 1 de := diff(a*y(t),t,t) + b*diff(y(t),t) + c*y(t) = 0;subs(y(t) = exp(r*t),de);expand(%);%/exp(r*t);simplify(%);subs({a=1,b=5,c=-6},%);solve(%,r);# Example 2solve(r^2+2*r-1,r);# Solve auxilliary equation.rsol := %;y1 := exp(rsol[1]*t); y2 := exp(rsol[2]*t);y := c1*y1 + c2*y2;subs(t=0,y);eq1 := % = 0;diff(y,t);subs(t=0,%);eq2 := % = -1;solve({eq1,eq2},{c1,c2});subs(%,y);# Solution using dsolve:y := 'y';de := diff(y(t),t,t) + 2*diff(y(t),t) - y(t) = 0;dsolve(de);dsolve({de,y(0)=0,D(y)(0)=-1});# Example 3de := diff(y(t),t,t) + 4*diff(y(t),t) + 4*y(t) = 0;y1 := exp(-2*t);y2 := t*exp(-2*t);subs(y(t)=y1,de); expand(%);subs(y(t)=y2,de); expand(%);y := c1*y1 + c2*y2;subs(t=0,y);eq1 := % = 1;diff(y,t);subs(t=0,%);eq2 := % = 3;solve({eq1,eq2},{c1,c2});subs(%,y);# Solution using dsolve:y := 'y'; de;dsolve(de);dsolve({de,y(0)=1,D(y)(0)=3});# Example 4de := diff(y(t),t$3) + 3*diff(y(t),t$2) - diff(y(t),t) - 3*y(t) = 0;P := r^3 + 3*r^2 - r -3 = 0;factor(P);solve(P,r);rsol := %;y1 := exp(rsol[1]*t);y2 := exp(rsol[2]*t);y3 := exp(rsol[3]*t);y := c1*y1 + c2*y2 + c3*y3;# Note that this solution is equivalent to the one in the text since c1, c2, c3 are arbitrary constants.# Solution using dsolve:y := 'y'; de;dsolve(de);