Math 2250

Homework Solutions for Chapter 10

10.1: 3,7,13 ,19, 21,29,30,37,39 ,40

10.2: 3,5,13,22,23,28,31

10.3: 3,7,17,21,31,37

10.4: 2, 3 ,6, 9 ,11, 15 , 29,36

> with(plots):with(linalg):with(inttrans):

10.1 #3)

> f:=t->exp(3*t+1);
int(f(t)*exp(-s*t),t);

f := proc (t) options operator, arrow; exp(3*t+1) e...

exp(3*t+1-s*t)/(3-s)

Evaluating the antiderivative at infinity, we get zero for s>3, and subtracting off the value at zero, we get e/(s-3) . Since f(t) was e times exp(3t), this answer is correct according to the Laplace Transform table.

#7) Since f(t)=1-u(t-1), F(s) should equal 1/s - exp(-s)/s. Since f =1 from t=0..1, and is zero for t>1, the Laplace transform integral is just

> Int(1*exp(-s*t),t=0..1): #display integral with capital I
int(1*exp(-s*t),t=0..1); #evaluate it

-(exp(-s)-1)/s

#13) f(t) = t -2*exp(3t), so F(s) = 1/s^2 -2*(1/(s-3)).

#21) f(t) = t*cos(t).

> F(s)=Int(t*cos(t)*exp(-s*t),t);

F(s) = Int(t*cos(t)*exp(-s*t),t)

You can integrate this by parts, using u=t and dv = cos(t)*exp(-st)*dt, or you can use an integral table or computer software. Your answer will be:

> int(t*cos(t)*exp(-s*t),t);

(-s*t/(s^2+1)-(s^2-1)/((s^2+1)^2))*exp(-s*t)*cos(t)...

For s>0, the value of this at infinity is zero, and we subtract off the value at t=0 to get

> (s^2-1)/((s^2+1)^2);

(s^2-1)/((s^2+1)^2)

We can check our answer in the back of the book, but since we're in Maple Land we can also just ask for

> laplace(t*cos(t),t,s);

(s^2-1)/((s^2+1)^2)

#29) We rewrite F(s) = (5/3)*(3/(s^2 + 9)) -3*(s/(s^2+9)), so f(t) = (5/3)*sin(3*t) - 3*cos(3*t). We check our answer:

> invlaplace((5-3*s)/(s^2+9),s,t);

-3*cos(3*t)+5/3*sin(3*t)

#30) F(s) = 2*(exp(-3*s)/s, so f(t) = 2*u(t-3). We check our answer:

> invlaplace(2*exp(-3*s)/s,s,t);

2*Heaviside(t-3)

#37) f(t) = u(t) - u(t-a), so F(s) = 1/s - exp(-a*s)/s, as claimed.

#39) (b)

> f:= t-> sum(Heaviside(t-n),n=0..infinity);

f := proc (t) options operator, arrow; sum(Heavisid...

If (N-1)<t<N, then t-n will be positive for n=0,1,2,...N-1, so for these N values of n the corresponding Heaviside(t-n) will be equal to 1, and for the remaining n>N-1, there is no contribution, so the left hand side of the formula for f will give exactly n, as desired.

(a)

> g:=t->sum(Heaviside(t-n),n=0..10);

g := proc (t) options operator, arrow; sum(Heavisid...

> plot(g(t),t=0..10, color=black);

[Maple Plot]

c) The Laplace transform of f(t) is

> (1/s)*Sum(exp(-n*s),n=0..infinity);
#Capital S Sum is intert, lower case
#s sum will try to evaluate it

Sum(exp(-n*s),n = 0 .. infinity)/s

The sum of a geometric series with first term a and ratio r satisfying |r|<1 is, S= a/(1-r). Our sum has first term 1, and ratio r=exp(-s). So the infinite sum (for s>0) is therefore 1/(1-(exp(-s)), so our final answer is

> (1/s)*sum(exp(-n*s),n=0..infinity);

1/(s*(1-exp(-s)))

10.2: #3)

> restart:with(inttrans):with(plots):

Warning, the name changecoords has been redefined

> deqtn:=diff(x(t),t,t) - diff(x(t),t) -2*x(t) = 0;

deqtn := diff(x(t),`$`(t,2))-diff(x(t),t)-2*x(t) = ...

> laplace(deqtn,t,s);

s*(s*laplace(x(t),t,s)-x(0))-D(x)(0)-s*laplace(x(t)...

> subs(laplace(x(t),t,s)=X(s),%);

s*(s*X(s)-x(0))-D(x)(0)-s*X(s)+x(0)-2*X(s) = 0

> subs({x(0)=0,D(x)(0)=2},%);

s^2*X(s)-2-s*X(s)-2*X(s) = 0

> solve(%,X(s));

2*1/(s^2-s-2)

> invlaplace(%,s,t);

-2/3*exp(-t)+2/3*exp(2*t)

I could have gotten this answer by first doing partial fractions:

> convert(2*1/(s^2-s-2),parfrac,s);

-2/3*1/(s+1)+2/3/(s-2)

#5)

> deqtn:=diff(x(t),t,t) + x(t) = sin(2*t);

deqtn := diff(x(t),`$`(t,2))+x(t) = sin(2*t)

> laplace(deqtn,t,s);

s*(s*laplace(x(t),t,s)-x(0))-D(x)(0)+laplace(x(t),t...

> subs({laplace(x(t),t,s)=X(s),x(0)=0,D(x)(0)=0},%);

s^2*X(s)+X(s) = 2*1/(s^2+4)

> solve(%,X(s));

2*1/(s^4+5*s^2+4)

> convert(%,parfrac,s);

-2/3*1/(s^2+4)+2/3/(s^2+1)

> invlaplace(%,s,t);

-1/3*sin(2*t)+2/3*sin(t)

#13)

> deqtn:={diff(x(t),t) + 2*diff(y(t),t) + x(t) =0,
diff(x(t),t) - diff(y(t),t) + y(t) = 0};

deqtn := {diff(x(t),t)-diff(y(t),t)+y(t) = 0, diff(...

> laplace(%,t,s);

{s*laplace(x(t),t,s)-x(0)-s*laplace(y(t),t,s)+y(0)+...
{s*laplace(x(t),t,s)-x(0)-s*laplace(y(t),t,s)+y(0)+...

> subs({laplace(x(t),t,s)=X(s),laplace(y(t),t,s)=Y(s),
x(0)=0,y(0)=1},%);

{s*X(s)+1-s*Y(s)+Y(s) = 0, s*X(s)-2+2*s*Y(s)+X(s) =...

> solve(%,{X(s),Y(s)});

{X(s) = -2*1/(3*s^2-1), Y(s) = (3*s+1)/(3*s^2-1)}

> invlaplace(%,s,t);

{invlaplace(X(s),s,t) = 1/3*sqrt(3)*exp(-1/3*sqrt(3...
{invlaplace(X(s),s,t) = 1/3*sqrt(3)*exp(-1/3*sqrt(3...

> subs({invlaplace(X(s),s,t)=x(t),invlaplace(Y(s),s,t)=y(t)},%);

{x(t) = 1/3*sqrt(3)*exp(-1/3*sqrt(3)*t)-1/3*sqrt(3)...

The answer would look better if we used cosh and sinh. Rewriting these we see

> x(t)=-(2/sqrt(3))*sinh(t/sqrt(3));
y(t) = cosh(t/sqrt(3)) + (1/sqrt(3))*sinh(t/sqrt(3));

x(t) = -2/3*sqrt(3)*sinh(1/3*sqrt(3)*t)

y(t) = cosh(1/3*sqrt(3)*t)+1/3*sqrt(3)*sinh(1/3*sqr...

#22) F(s) = (1/s)*(1/(s^2 - 9). The inverse Laplace transform of (1/(s^2-9) is (1/3)sinh(3t). So f(t) equals (by Theorem 2)

> int((1/3)*sinh(3*tau),tau=0..t);

1/9*cosh(3*t)-1/9

> invlaplace(1/(s*(s^2-9)),s,t);
#check answer

-1/9+1/18*exp(3*t)+1/18*exp(-3*t)

#23) Well, I wouldn't object if you wanted to use partial fractions to do this one. But, using Theorem 2 (twice), we start with F(s) = 1/(s^2-1), which has f(t) = sinh(t). We integrate once to get the inverse Laplace transform of (1/s)*(F(s):

> int(sinh(tau),tau=0..t);

cosh(t)-1

Now repeat, to solve for the inverse Laplace transform of (1/s^2)*F(s):

> int(cosh(tau)-1,tau=0..t);

sinh(t)-t

> invlaplace(1/((s^2)*(s^2-1)),s,t);
#check answer

-t+1/2*exp(t)-1/2*exp(-t)

#28)

> f:=t->t*cos(k*t);

f := proc (t) options operator, arrow; t*cos(k*t) e...

> diff(f(t),t);

cos(k*t)-t*sin(k*t)*k

> diff(%,t);

-2*sin(k*t)*k-t*cos(k*t)*k^2

> diff(f(t),t,t)+k^2*f(t);

-2*sin(k*t)*k

So we see that f(t) solves

> deqtn:=diff(x(t),t,t) + k^2*x(t) = -2*k*sin(k*t);

deqtn := diff(x(t),`$`(t,2))+k^2*x(t) = -2*sin(k*t)...

And f(0)=0, and D(f)(0)=1, so we can find F(s) using our DE trick:

> laplace(deqtn,t,s);

s*(s*laplace(x(t),t,s)-x(0))-D(x)(0)+k^2*laplace(x(...

> subs({laplace(x(t),t,s)=F(s),x(0)=0,D(x)(0)=1},%);

s^2*F(s)-1+k^2*F(s) = -2*k^2/(s^2+k^2)

> solve(%,F(s));
#this is the answer, note denom is (s^2 + k^2)^2.

(s^2-k^2)/(s^4+2*s^2*k^2+k^4)

#31) As far as I can tell, we only need to use problem 28 and the Laplace formula for sin(kt). Notice that the numerator in #28 can be written as (s^2 + k^2) - 2*k^2, which means that

(s^2 - k^2)/(s^2 + k^2)^2

> (s^2 - k^2)/(s^2 + k^2)^2 = 1/(s^2 + k^2) - 2*k^2/(s^2+k^2)^2;

(s^2-k^2)/((s^2+k^2)^2) = 1/(s^2+k^2)-2*k^2/((s^2+k...

Take inverse Laplace transform of this equation, calling our unknown function in 31 by the name g(t):

> t*cos(k*t)= (1/k)*sin(k*t) - 2*k^2*g(t);

t*cos(k*t) = sin(k*t)/k-2*k^2*g(t)

> solve(%,g(t));

-1/2*(t*cos(k*t)*k-sin(k*t))/(k^3)

Voila!

10.3 #3) The Laplace transform of sin(3*Pi*t) is 3*Pi/(s^2 + 9*Pi^2). So the Laplace transform of exp(-2*t) times this function is obtained by replacing s with s+2, i.e.

> F(s)=(3*Pi)/((s+2)^2 + 9*Pi^2);

F(s) = 3*Pi/((s+2)^2+9*Pi^2)

> laplace(exp(-2*t)*sin(3*Pi*t),t,s);
#check our answer

1/3*1/(Pi*(1/9*(s+2)^2/(Pi^2)+1))

#7)

> F(s)= 1/(s+2)^2;

F(s) = 1/((s+2)^2)

Since the inverse Laplace transform of 1/s^2 is t, our function is f(t)=exp(-2*t)*t

> invlaplace(1/(s^2+4*s+4),s,t);
#check answer

t*exp(-2*t)

#17)

> convert(1/(s^4-16),parfrac,s);

>

1/32*1/(s-2)-1/32*1/(s+2)-1/8*1/(s^2+4)

So we deduce that f(t) = (1/32)*(exp(2*t) - exp(-2*t)) - (1/16)*sin(2*t) = (1/16)*(sinh(2*t) - sin(2*t)).

> invlaplace(1/(s^4-16),s,t);
#check answer

-1/16*sin(2*t)+1/16*sinh(2*t)

#21)

> convert((s^2+3)/(s^2 + 2*s +2)^2,parfrac,s);

(1-2*s)/((s^2+2*s+2)^2)+1/(s^2+2*s+2)

We complete the square in the denominator, and then complete the "linear" in the numerator, and can rewrite this as

> -2*(s+1)/((s+1)^2+1)^2 + 3/((s+1)^2+1)^2 + 1/((s+1)^2+1);

-2*(s+1)/(((s+1)^2+1)^2)+3/(((s+1)^2+1)^2)+1/((s+1)...

From the translation theorem and tables we deduce that f(t) equals

> exp(-t)*(-2*(t/2)*sin(t) + 3*(1/2)*(sin(t) - t*cos(t)) + sin(t));

exp(-t)*(-t*sin(t)+5/2*sin(t)-3/2*t*cos(t))

> invlaplace((s^2+3)/(s^2 + 2*s +2)^2,s,t);
#check answer

5/2*exp(-t)*sin(t)+t*(-3/2*exp(-t)*cos(t)-exp(-t)*s...

#31)

> deqtn:=diff(x(t),t,t,t) + diff(x(t),t,t) - 6*diff(x(t),t)=0;

deqtn := diff(x(t),`$`(t,3))+diff(x(t),`$`(t,2))-6*...

> laplace(deqtn,t,s);

s*(s*(s*laplace(x(t),t,s)-x(0))-D(x)(0))-`@@`(D,2)(...
s*(s*(s*laplace(x(t),t,s)-x(0))-D(x)(0))-`@@`(D,2)(...

> subs({laplace(x(t),t,s)=X(s),x(0)=0,D(x)(0)=1,D(D(x))(0)=1},%);

s*(s^2*X(s)-1)-2+s^2*X(s)-6*s*X(s) = 0

> solve(%,X(s));

(s+2)/(s*(s^2+s-6))

> convert(%,parfrac,s);

-1/3*1/s-1/15*1/(s+3)+2/5/(s-2)

> invlaplace(%,s,t);
#answer

-1/3-1/15*exp(-3*t)+2/5*exp(2*t)

#37)

> deqtn:=diff(x(t),t,t) + 4*diff(x(t),t) + 13*x(t)=t*exp(-t);

deqtn := diff(x(t),`$`(t,2))+4*diff(x(t),t)+13*x(t)...

> laplace(deqtn,t,s);

s*(s*laplace(x(t),t,s)-x(0))-D(x)(0)+4*s*laplace(x(...

> subs({laplace(x(t),t,s)=X(s),x(0)=0,D(x)(0)=2},%);

s^2*X(s)-2+4*s*X(s)+13*X(s) = 1/((s+1)^2)

> solve(%,X(s));

(2*s^2+4*s+3)/(s^4+6*s^3+22*s^2+30*s+13)

> convert(%,parfrac,s);

1/10*1/((s+1)^2)-1/50*1/(s+1)+1/50*(98+s)/(s^2+4*s+...

> invlaplace(%,s,t);
#solution

1/10*t*exp(-t)-1/50*exp(-t)+1/50*exp(-2*t)*cos(3*t)...

10.4 #3)

> int(sin(t-tau)*sin(tau),tau=0..t);

1/2*sin(t)-1/2*cos(t)*t

#9) F(s) = (1/(s^2 +9))(1/(s^2+9)), so f(t)=(1/3)sin(3t) convolved with (1/3)sin(3t), i.e.

> (1/9)*int(sin(3*(t-tau))*sin(3*tau),tau=0..t);

1/54*sin(3*t)-1/18*cos(3*t)*t

#15) Theorem 2: take g(t) = -sin(3t), G(s) = -3/(s^2 + 9). Then for f(t)=-t*g(t) = -tsin(3t), we deduce F(s) is the derivative of G(s), i.e.

> diff(-3/(s^2+9),s);

6*s/((s^2+9)^2)

> laplace(t*sin(3*t),t,s);
#check answer

6*s/((s^2+9)^2)

#29)

> deqtn:=t*diff(x(t),t,t) + (t-2)*diff(x(t),t) + x(t)=0;

deqtn := t*diff(x(t),`$`(t,2))+(t-2)*diff(x(t),t)+x...

> laplace(%,t,s);

-3*s*laplace(x(t),t,s)+3*x(0)-s*(laplace(x(t),t,s)+...

> subs({laplace(x(t),t,s)=X(s),
diff(laplace(x(t),t,s),s)=diff(X(s),s),
x(0)=0},%);

-3*s*X(s)-s*(X(s)+s*diff(X(s),s))-s*diff(X(s),s) = ...

> %/s;

(-3*s*X(s)-s*(X(s)+s*diff(X(s),s))-s*diff(X(s),s))/...

> simplify(%);

-4*X(s)-s*diff(X(s),s)-diff(X(s),s) = 0

> with(DEtools):
dsolve(-4*X(s)-s*diff(X(s),s)-diff(X(s),s)=0);
#this is a first order separable DE, chapter 1

X(s) = _C1/((s+1)^4)

> invlaplace(C1/(s+1)^4,s,t);

1/6*C1*t^3*exp(-t)

#36)

> restart:with(inttrans):

> deqtn:=diff(x(t),t,t)+4*x(t)=f(t);

deqtn := diff(x(t),`$`(t,2))+4*x(t) = f(t)

> laplace(%,t,s);

s*(s*laplace(x(t),t,s)-x(0))-D(x)(0)+4*laplace(x(t)...

> subs({laplace(x(t),t,s)=X(s),laplace(f(t),t,s)=F(s),
x(0)=0,D(x)(0)=0},%);

s^2*X(s)+4*X(s) = F(s)

> solve(%,X(s));

F(s)/(s^2+4)

So the convolution theorem says x(t) is the convolution of f(t) with (1/2)sin(2t):

> x(t)=(1/2)*Int(f(t-tau)*sin(2*tau),tau);

x(t) = 1/2*Int(f(t-tau)*sin(2*tau),tau)

END!