Math 340 ยท University of San Francisco

Assignment 4

Due Wednesday, September 30

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?