Basic Concepts for nth Order Linear Equations — Question 3

PDF ↗

Question 3

For y(4)=0y^{(4)}=0 on ℝ\mathbb R, consider the shifted functions f0=1,f1=x−1,f2=(x−1)22,f3=(x−1)36.f_0=1,\qquad f_1=x-1,\qquad f_2=\frac{(x-1)^2}{2},\qquad f_3=\frac{(x-1)^3}{6}. Initial derivatives and polynomial coefficients coincide only for an appropriately normalized basis.

Tasks

  1. Verify that the four functions solve the equation and compute their Wronskian for arbitrary xx.

  2. Construct the solution with y(1)=2y(1)=2, y′(1)=−1y'(1)=-1, y″(1)=3y''(1)=3 and y‴(1)=4y'''(1)=4. Explain why the coefficients in this basis can be read directly from the data.

  3. Express the same solution in the unshifted basis 1,x,x2,x31,x,x^2,x^3 and verify the four data in that form.

  4. Prove that the map sending a solution to (y(1),y′(1),y″(1),y‴(1))(y(1),y'(1),y''(1),y'''(1)) is a linear isomorphism onto ℝ4\mathbb R^4. What does this say about the number of free constants and the effect of changing the basis?

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

Question 3 – Solution

Strategy. Build the derivative matrix and use its normalization at the initial point.

Step 1: Verify solutions and a nonzero determinant. Every function is cubic or lower, so its fourth derivative is zero. With h=x−1h=x-1, their derivative matrix is F(x)=(1hh2/2h3/601hh2/2001h0001).F(x)=\begin{pmatrix} 1&h&h^2/2&h^3/6\\0&1&h&h^2/2\\0&0&1&h\\0&0&0&1 \end{pmatrix}. It is triangular with unit diagonal, giving W=det⁡F=1\boxed{W=\det F=1} at every xx.

Step 2: Use the identity matrix at the center. Since F(1)=IF(1)=I, the coefficient vector is exactly the prescribed derivative vector. Therefore y=2−h+32h2+23h3,h=x−1.\boxed{y=2-h+\frac 32h^2+\frac 23h^3,\qquad h=x-1.} The factorials in the basis make its initial derivative matrix the identity; without them, derivative values would not equal coefficients.

Step 3: Change coordinates without changing the solution. Expansion gives y=236−2x−12x2+23x3.\boxed{y=\frac{23}{6}-2x-\frac 12x^2+\frac 23x^3.} Here y′=−2−x+2x2y'=-2-x+2x^2, y″=−1+4xy''=-1+4x, y‴=4y'''=4. At 11, these are −1,3,4-1,3,4, while y(1)=2y(1)=2, verifying all data independently of the shifted expression.

Step 4: Establish the initial-data isomorphism. Differentiation and evaluation are linear. For any vector in ℝ4\mathbb R^4, the corresponding combination of f0,f1,f2,f3f_0,f_1,f_2,f_3 realizes it, proving surjectivity. If all four derivatives at 11 vanish, the coefficient vector in this basis is zero, proving injectivity. Thus the solution space has dimension four. A change of basis changes coordinates, not the number of free constants, the initial data themselves or the resulting function.

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

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