1Solving from a basis we find
Consider the equation
๐ฆโณโ3๐ฆโฒ+2๐ฆ=0.
(a)Before looking for any solutions, explain why the solution space
S of this equation is two-dimensional. Then look for
solutions by guessing and checking: try an exponential ๐ฆ =๐๐๐ก.
Find two linearly independent solutions.
(b)Use your two solutions from the previous part as an ordered basis
B of the solution space. Write down the evaluation map
๐ธ0:Sโถโ2
onto the space of initial conditions. Using the basis B for
S and the standard basis (1,0),(0,1) for โ2,
express ๐ธ0 as a matrix.
(c)The inverse of the evaluation map is the solution map
๐ธโ10 :โ2 โS. It takes an initial condition
(๐ฆ0,๐ฃ0) to the solution starting from it. In these same bases,
write down the matrix of the solution map, and use it to write the
solution from (๐ฆ0,๐ฃ0).
(d)Use your work to solve ๐ฆโณ โ3๐ฆโฒ +2๐ฆ =0 with each of the following
initial conditions:
๐ฆ(0) =3, ๐ฆโฒ(0) =4;
๐ฆ(0) =1, ๐ฆโฒ(0) = โ1;
๐ฆ(0) =0, ๐ฆโฒ(0) =2.
2Discovering the Hyperbolic Functions
Consider the equation
๐ฆโณ=๐ฆ.
In class, we found the basis B =(๐๐ก,๐โ๐ก) for its solution
space S, and the evaluation map taking each solution to its
initial data:
๐ธ0:ย ๐๐๐ก+๐๐โ๐กโผ(๐+๐,ย ๐โ๐).
Form its matrix ๐, using the basis B for S and
the standard basis for โ2. To solve an initial-value problem
in this basis, we have to invert ๐. In this problem we look for a
better basis.
(a)Find a basis (๐
1,๐
2) of S in which the matrix of ๐ธ0
is the identity. What must ๐ธ0(๐
1) and ๐ธ0(๐
2) be? Write ๐
1
and ๐
2 as combinations of ๐๐ก and ๐โ๐ก.
(b)Check that in the basis (๐
1,๐
2), the matrix of evaluation is the
identity. Explain why the matrix of the solution map is then the
identity too, and write down the solution with initial condition
(๐ฆ0,๐ฃ0). Use it to solve ๐ฆโณ =๐ฆ with ๐ฆ(0) =2, ๐ฆโฒ(0) = โ1.
(c)The functions ๐
1 and ๐
2 are called the hyperbolic cosine and
sine, written coshโก๐ก and sinhโก๐ก. They get this name because
they parametrize a hyperbola. Just as the point (cosโก๐ก,sinโก๐ก) moves
along the circle ๐ฅ2 +๐ฆ2 =1, the point (coshโก๐ก,sinhโก๐ก) moves along
the hyperbola ๐ฅ2 โ๐ฆ2 =1.
To see this, we need to show that the hyperbolic functions satisfy the
identity
cosh2โก๐กโsinh2โก๐ก=1.
To show that a function is constant, we can show that its derivative is
zero. Then we can find which constant it is by evaluating it at a single
point. Carry out this strategy for cosh2โก๐ก โsinh2โก๐ก:
Show that coshโฒ =sinh and sinhโฒ =cosh.
Use these to show that the derivative of cosh2โก๐ก โsinh2โก๐ก is zero.
Evaluate cosh2โก๐ก โsinh2โก๐ก at ๐ก =0 to find the constant it equals.
3A missing solution
Consider the third-order equation
๐ฅโดโ๐ฅโณ=0.
(a)Before looking for any solutions, explain why the solution space
S is three-dimensional. Then try ๐ฅ =๐๐๐ก and find every
value of ๐ that works. How many linearly independent solutions does
this give? Why does the dimension of S tell you that these
cannot be all of the solutions?
(b)Look for a third solution by trying powers ๐ฅ =๐ก๐. Which powers work?
Then check that your three solutions are linearly independent. You do
not need to work with the functions directly. The evaluation map
๐ธ0(๐ฅ) =(๐ฅ(0),๐ฅโฒ(0),๐ฅโณ(0)) is a linear isomorphism, and a linear
isomorphism preserves linear independence in both directions. So
solutions are linearly independent exactly when their initial data are
linearly independent vectors in โ3. Compute the initial data
of your three solutions, and show that these vectors are independent.
(c)Use your three solutions as the basis B of S,
and the standard basis for โ3. Express the evaluation map
๐ธ0 as a matrix. Then invert it to find the matrix of the solution
map, which takes an initial condition (๐ฅ0,๐ฃ0,๐ค0) to its solution.
(d)Use your work to solve ๐ฅโด โ๐ฅโณ =0 with each of the following initial
conditions:
๐ฅ(0) =1, ๐ฅโฒ(0) =0, ๐ฅโณ(0) =2;
๐ฅ(0) =2, ๐ฅโฒ(0) =1, ๐ฅโณ(0) =1;
๐ฅ(0) =0, ๐ฅโฒ(0) =3, ๐ฅโณ(0) = โ1.
4The Hyperbolic Functions from a Matrix Exponential
We return to the equation
๐ฆโณ=๐ฆ,
this time solving it with the matrix exponential. Along the way, we
will find the power series of the hyperbolic functions.
(a)Set ๐ฃ =๐ฆโฒ and write the equation as a first-order system ๐โฒ =๐ด๐ with
state ๐ =(๐ฆ,๐ฃ). Compute ๐ด2, ๐ด3, and ๐ด4. What pattern do the
powers of ๐ด follow?
(b)Substitute your pattern into the series
๐๐ก๐ด=โโ๐=0๐ก๐๐ด๐๐!.
Collect the even and odd powers to write
๐๐ก๐ด=๐(๐ก)๐ผ+๐ (๐ก)๐ด,
where ๐(๐ก) and ๐ (๐ก) are scalar power series. Find these two
series, and write ๐๐ก๐ด as a 2 ร2 matrix with entries ๐(๐ก)
and ๐ (๐ก).
(c)The matrix ๐๐ก๐ด is the flow matrix of the system, so its first
column is the state (๐ฆ(๐ก),๐ฃ(๐ก)) of the solution starting from
(1,0). Use your work in Discovering the Hyperbolic Functions to
identify that solution and its state. What functions are ๐(๐ก) and
๐ (๐ก)? What power series have you found?
5The Exponential of a Sum
For numbers, ๐๐+๐ =๐๐๐๐. In this problem we test whether the same
law holds for matrices, using
๐ต=(0100),๐ถ=(0010).
(a)Compute ๐ต2 and ๐ถ2. Use your answers to find ๐๐ก๐ต and
๐๐ก๐ถ from the exponential series.
(b)Compute ๐ต +๐ถ. Where have you seen this matrix before, and what is
๐๐ก(๐ต+๐ถ)? Now compute the products ๐๐ก๐ต๐๐ก๐ถ and
๐๐ก๐ถ๐๐ก๐ต. Does ๐๐ก(๐ต+๐ถ) =๐๐ก๐ต๐๐ก๐ถ? Does the order of
the product matter?
(c)Why does the law fail? Let ๐ต and ๐ถ now be any two square matrices
of the same size. Write out the terms of ๐๐ก(๐ต+๐ถ) and of
๐๐ก๐ต๐๐ก๐ถ up through ๐ก2. Show that the ๐ก2 terms agree
exactly when ๐ต๐ถ =๐ถ๐ต. Compute ๐ต๐ถ and ๐ถ๐ต for our matrices. Why does
this issue never arise for numbers?
6A Series That Stops
Consider the third-order equation
๐ฅโด=0.
(a)Solve this equation with initial data ๐ฅ(0) =๐ฅ0, ๐ฅโฒ(0) =๐ฃ0,
๐ฅโณ(0) =๐ค0 by integrating three times.
(b)Set ๐ฃ =๐ฅโฒ and ๐ค =๐ฅโณ, and write the equation as a first-order system
๐โฒ =๐๐ with state ๐ =(๐ฅ,๐ฃ,๐ค). Compute ๐2 and ๐3.
(c)Compute ๐๐ก๐ from the exponential series. Use it to solve the
system from the initial state ๐0 =(๐ฅ0,๐ฃ0,๐ค0), and check that you
recover your answer from the first part.