2.3.14 Problem 14

Maple
Mathematica
Sympy

Internal problem ID [9070]
Book : First order enumerated odes
Section : section 3. First order odes solved using Laplace method
Problem number : 14
Date solved : Friday, April 25, 2025 at 05:40:03 PM
CAS classification : [_separable]

Solve

y+(at+bt)y=0

With initial conditions

y(3)=0

Since initial condition is not at zero, then change of variable is used to transform the ode so that initial condition is at zero.

τ=t+3

Solve

y+(a(τ3)+b(τ3))y=0

With initial conditions

y(0)=0

We will now apply Laplace transform to each term in the ode. Since this is time varying, the following Laplace transform property will be used

τnf(τ)L(1)ndndsnF(s)

Where in the above F(s) is the laplace transform of f(τ). Applying the above property to each term of the ode gives

(aτ+bτ3a3b)y(τ)La(ddsY(s))b(ddsY(s))3aY(s)3bY(s)ddτy(τ)LY(s)sy(0)

Collecting all the terms above, the ode in Laplace domain becomes

Ysy(0)aYbY3aY3bY=0

Replacing y(0)=0 in the above results in

YsaYbY3aY3bY=0

The above ode in Y(s) is now solved.

In canonical form a linear first order is

Y+q(s)Y=p(s)

Comparing the above to the given ode shows that

q(s)=3a3b+sa+bp(s)=0

The integrating factor μ is

μ=eqds=e3a3b+sa+bds=es(6a+6bs)2a+2b

The ode becomes

ddsμY=0dds(Yes(6a+6bs)2a+2b)=0

Integrating gives

Yes(6a+6bs)2a+2b=0ds+c1=c1

Dividing throughout by the integrating factor es(6a+6bs)2a+2b gives the final solution

Y=c1es(6a+6bs)2a+2b

Applying inverse Laplace transform on the above gives.

(1)y=c1L1(es(6a+6bs)2a+2b,s,τ)

Substituting initial conditions y(0)=0 and y(0)=0 into the above solution Gives

0=c1L1(es(6a+6bs)2a+2b,s,τ)

Solving for the constant c1 from the above equation gives

c1=0

Substituting the above back into the solution (1) gives

y=0

Changing back the solution from τ to t using

τ=t+3

the solution becomes

y(t)=0
Figure 2.79: Solution plot
Maple. Time used: 0.107 (sec). Leaf size: 5
ode:=diff(y(t),t)+(a*t+b*t)*y(t) = 0; 
ic:=y(-3) = 0; 
dsolve([ode,ic],y(t),method='laplace');
 
y=0

Maple trace

Methods for first order ODEs: 
--- Trying classification methods --- 
trying a quadrature 
trying 1st order linear 
<- 1st order linear successful
 

Maple step by step

Let’s solve[ddty(t)+(at+bt)y(t)=0,y(3)=0]Highest derivative means the order of the ODE is1ddty(t)Solve for the highest derivativeddty(t)=(at+bt)y(t)Separate variablesddty(t)y(t)=atbtIntegrate both sides with respect totddty(t)y(t)dt=(atbt)dt+C1Evaluate integralln(y(t))=t2(a+b)2+C1Solve fory(t)y(t)=e12t2a12t2b+C1Simplifyy(t)=e(ab)t22+C1Redefine the integration constant(s)y(t)=C1e(ab)t22Use initial conditiony(3)=00=C1e9a29b2Solve for_C1C1=0Substitute_C1=0into general solution and simplifyy(t)=0Solution to the IVPy(t)=0
Mathematica. Time used: 0.002 (sec). Leaf size: 6
ode=D[y[t],t]+(a*t+b*t)*y[t]==0; 
ic=y[-3]==0; 
DSolve[{ode,ic},y[t],t,IncludeSingularSolutions->True]
 
y(t)0
Sympy. Time used: 0.326 (sec). Leaf size: 3
from sympy import * 
t = symbols("t") 
a = symbols("a") 
b = symbols("b") 
y = Function("y") 
ode = Eq((a*t + b*t)*y(t) + Derivative(y(t), t),0) 
ics = {y(-3): 0} 
dsolve(ode,func=y(t),ics=ics)
 
y(t)=0