1Subspaces and affine sets of functions
Work in the vector space ๐ถ1(โ). For each subset below, decide
whether it is a vector subspace, an affine set that is not a vector
subspace, or neither. Justify your answers using the definitions; when
closure fails, give explicit functions showing the failure. For an
affine set that is not a subspace, write it as ๐๐ +๐ and identify
both the particular function ๐๐ and the vector subspace ๐.
(a){๐ โ๐ถ1(โ) :๐(0) =0}.
(b){๐ โ๐ถ1(โ) :๐(0) =1}.
(c){๐ โ๐ถ1(โ) :๐(0)๐(1) =0}.
2Linear maps on polynomials
Let ๐2 be the space of real polynomials of degree at most two, with
ordered basis (1,๐ก,๐ก2). Consider the map
๐:๐2โถโ2,๐(๐)=(๐(0),๐โฒ(0)).
(a)Show that ๐ is linear. Find its matrix using the given basis of ๐2
and the standard basis of โ2.
(b)Find the kernel and image of ๐, giving a basis and dimension for each.
Is ๐ an isomorphism? Explain what information about a polynomial is
lost when we record only its value and first derivative at zero.
(c)Now record one more derivative:
๐ฝ:๐2โถโ3,๐ฝ(๐)=(๐(0),๐โฒ(0),๐โณ(0)).
Find the matrix of ๐ฝ in the same polynomial basis and the standard
basis of โ3. Is this map an isomorphism? Justify your answer,
and explain how to recover the polynomial from these three numbers.
3Linear, homogeneous, or neither?
For each equation below, decide whether it is linear. If it is linear, say
whether it is homogeneous or forced, and identify its coefficient functions.
Write each linear equation as ๐ฟ[๐ข] =๐, giving the domain and codomain of
the differential operator ๐ฟ. Use a suitable space ๐ถ๐(๐ผ), where
๐ผ is an open interval.
If it is nonlinear, point to a term which makes it so.
(a)๐ฆโณ +๐ก2๐ฆโฒ โ(sinโก๐ก) ๐ฆ =0.
(b)๐ฆโฒ +3๐ฆ =๐โ๐ก.
(c)๐ฆโณ +sinโก๐ฆ =0.
4Solution sets inside function spaces
Now consider the whole set of solutions, with no initial condition imposed.
In each part, work with functions defined on all of โ.
(a)For ๐ขโณ +4๐ข =0, define
๐ฟ:๐ถ2(โ)โถ๐ถ(โ),๐ฟ[๐ข]=๐ขโณ+4๐ข.
Verify that ๐ฟ is linear. Explain why the solution set is kerโก๐ฟ,
and prove that it is a vector subspace of ๐ถ2(โ). What is
the zero vector in this space? Your argument should not require a formula
for the general solution.
(b)For ๐ขโฒ +๐ข =1, define ๐ฟ[๐ข] =๐ขโฒ +๐ข on ๐ถ1(โ) and check
that ๐ฟ is linear. If ๐ข and ๐ฃ are solutions, compute ๐ฟ[๐ข +๐ฃ]
and ๐ฟ[๐ข โ๐ฃ]. Explain why the solution set is not a vector subspace,
even though the equation is linear.
Find a particular solution ๐ข๐ and show that the full solution set is
๐ข๐ +kerโก๐ฟ: prove both that every solution has this form and that
every function of this form is a solution. Describe this affine set by
identifying its translation and its space of directions.
(c)For ๐ขโฒ =๐ข(1โ๐ข10), compare (2๐ข)โฒ with
the right-hand side evaluated at 2๐ข. Show that the only solution ๐ข
for which 2๐ข is also a solution is ๐ข =0. Use a nonzero equilibrium
to conclude that the solution set is not a vector subspace of
๐ถ1(โ). Since it contains the zero function, explain why it
cannot be an affine translate of a vector subspace either.
5A basis of spring solutions
Let ๐ด and ๐ต be the solutions of
๐ฅโณ+4๐ฅ=0
with initial data (๐ด(0),๐ดโฒ(0)) =(1,0) and (๐ต(0),๐ตโฒ(0)) =(0,1).
(a)Find formulas for ๐ด and ๐ต, and verify that each satisfies the equation
and its initial data.
(b)Let S be the solution space of this equation on โ.
Consider the initial-data map
๐ธ0:Sโถโ2,๐ธ0(๐ฅ)=(๐ฅ(0),๐ฅโฒ(0)).
Rewrite the equation as a first-order system and check the hypotheses
of the global linear existence-and-uniqueness theorem. What does the
theorem guarantee for each initial position and velocity?
(c)Show that ๐ธ0 is linear: for solutions ๐ข,๐ฃ โS and
real numbers ๐,๐, verify that
๐ธ0(๐๐ข+๐๐ฃ)=๐๐ธ0(๐ข)+๐๐ธ0(๐ฃ).
(d)Explain how existence and uniqueness give the other two properties we need:
Conclude that ๐ธ0 is a linear isomorphism.
(e)Compute ๐ธ0(๐ด) and ๐ธ0(๐ต). Do these vectors form a basis of
โ2? Use the isomorphism ๐ธ0 to explain why ๐ด,๐ต
form a basis of the solution space S.
(f)Without solving another differential equation, write down the solution
๐ฅ(๐ก) with ๐ฅ(0) = โ3 and ๐ฅโฒ(0) =5. Explain how expressing the initial
state in a basis of โ2 determines the whole function in the
basis ๐ด,๐ต.
(g)The coefficient of ๐ต in your answer is the initial velocity 5, but the
coefficient of sinโก2๐ก is not. Explain.
6From higher order to first order
Convert each second-order equation or system below into a first-order
system: name the state, and write the system as
๐โฒ =๐น(๐ก,๐). When the system is linear and homogeneous, write it as ๐โฒ =๐ด๐
with an explicit matrix.
(a)Two carts slide without friction on a track. The first is attached to a
wall by a spring of stiffness ๐1, and the second is attached to the
first by a spring of stiffness ๐2. If ๐ฅ1 and ๐ฅ2 are their
displacements from rest, Hooke's law and Newton's second law give
๐1๐ฅโณ1=โ๐1๐ฅ1+๐2(๐ฅ2โ๐ฅ1),๐2๐ฅโณ2=โ๐2(๐ฅ2โ๐ฅ1).
Convert this pair to a first-order system and write its matrix. How many
standard solutions reconstruct every motion of the carts? Which theorem
from the notes guarantees that every motion exists for all time?
(b)A pendulum of length ๐ฟ swinging through the angle ๐ satisfies
๐โณ=โ๐๐ฟsinโก๐.
Convert this to a first-order system. Is it linear? Check the hypotheses of
the local existence-and-uniqueness theorem in state space, and state what
it guarantees about a pendulum released from any angle with any angular
velocity. Does the global theorem for linear systems apply?