Basic Concepts for nth Order Linear Equations — Question 2

PDF ↗

Question 2

Let L[y]=y(4)L[y]=y^{(4)} and consider L[y]=24xL[y]=24x on ℝ\mathbb R. Define p(x)=x55,u(x)=p(x)+1+x2,v(x)=p(x)+2x−x3.p(x)=\frac{x^5}{5},\qquad u(x)=p(x)+1+x^2,\qquad v(x)=p(x)+2x-x^3. For a nonhomogeneous equation, the phrase “superposition of solutions” needs a precise qualification.

Tasks

  1. Verify that p,u,vp,u,v solve the equation. Determine whether u+vu+v, u−vu-v and (u+v)/2(u+v)/2 solve the same equation or its homogeneous counterpart.

  2. Find every triple (α,β,γ)∈ℝ3(\alpha,\beta,\gamma)\in\mathbb R^3 for which αu+βv+γp\alpha u+\beta v+\gamma p solves L[y]=24xL[y]=24x.

  3. Prove that the complete solution set is pp plus the space of cubic polynomials. Explain why it is an affine set but not a vector space.

  4. Find the unique solution with y(0)=1y(0)=1, y′(0)=−2y'(0)=-2, y″(0)=6y''(0)=6, y‴(0)=0y'''(0)=0, and verify the forcing and all four data.

Original worksheet page 1: question and worked solution for 7-1-002
Show solutionHide solution

Question 2 – Solution

Strategy. Apply the linear operator before deciding which combinations preserve the nonzero forcing.

Step 1: Track the right-hand side. Since p(4)=24xp^{(4)}=24x and fourth derivatives of cubics vanish, L[p]=L[u]=L[v]=24xL[p]=L[u]=L[v]=24x. Linearity gives L[u+v]=48x,L[u−v]=0,L[(u+v)/2]=24x.L[u+v]=48x,\qquad L[u-v]=0,\qquad L[(u+v)/2]=24x. Thus the sum solves neither of the two stated equations, the difference solves the homogeneous equation, and the average solves the original one.

Step 2: Characterize every admissible combination. The proposed combination has image 24x(α+β+γ)24x(\alpha+\beta+\gamma). Because 24x24x is not identically zero on ℝ\mathbb R, αu+βv+γp solves the equation⇔α+β+γ=1.\boxed{\alpha u+\beta v+\gamma p\text{ solves the equation} \iff\alpha+\beta+\gamma=1.} The forcing’s isolated zero at 00 does not remove this identity requirement.

Step 3: Describe the complete solution set. If yy is any solution, (y−p)(4)=0(y-p)^{(4)}=0. Four integrations show that y−py-p is a polynomial of degree at most three. Conversely, adding any such polynomial to pp preserves the equation. Hence y=p+c0+c1x+c2x2+c3x3.\boxed{y=p+c_0+c_1x+c_2x^2+c_3x^3.} This is a translate of a four-dimensional vector space, hence affine. It is not itself a vector space: the zero function does not satisfy the nonzero forcing, and sums generally double the forcing.

Step 4: Fit and check the initial state. The data give c0=1c_0=1, c1=−2c_1=-2, 2c2=62c_2=6, 6c3=06c_3=0, so y=x55+1−2x+3x2.\boxed{y=\frac{x^5}{5}+1-2x+3x^2.} The added cubic has fourth derivative zero. Its value and first three derivatives at 00 are 1,−2,6,01,-2,6,0; pp contributes zero to all four. The coefficients are uniquely fixed.

Original worksheet page 2: question and worked solution for 7-1-002

Original worksheet layout. Use Enlarge or open the PDF for a closer view.