Linear Equations — Question 9

PDF ↗

Question 9

The equation xy′−y=x2xy'-y=x^2 has a vanishing leading coefficient at x=0x=0. Initially impose y(1)=2y(1)=2.

Tasks

  1. Solve the IVP on x>0x>0 using an integrating factor after normalization.

  2. Determine whether this solution extends to a differentiable solution of the original equation on all of ℝ\mathbb R. If so, prove that such an extension is unique.

  3. Now discard y(1)=2y(1)=2 and prescribe only y(0)=0y(0)=0. Determine all differentiable solutions on ℝ\mathbb R satisfying this new initial condition.

  4. Decide whether a differentiable solution with y(0)=1y(0)=1 can exist. Explain why dividing by xx and invoking a regular standard-form IVP at 00 would be invalid.

Original worksheet page 1: question and worked solution for 2-1-009
Show solutionHide solution

Question 9 – Solution

Strategy. Normalize only where x≠0x\ne 0. To cross the exceptional point, return to the original equation and check value and derivative matching.

Step 1: Solve on the positive half-line. Dividing by x>0x>0 gives y′−y/x=xy'-y/x=x. The integrating factor is e−ln⁡x=1/xe^{-\ln x}=1/x, so (y/x)′=1,y=x2+Cx.(y/x)'=1,\qquad y=x^2+Cx. Since y(1)=2y(1)=2, C=1C=1, giving y=x2+x(x>0)\boxed{y=x^2+x\quad(x>0)}.

Step 2: Unique differentiable extension. The polynomial x2+xx^2+x satisfies xy′−y=x2xy'-y=x^2 everywhere, including x=0x=0. Any solution on x<0x<0 also satisfies (y/x)′=1(y/x)'=1, hence has form x2+Dxx^2+Dx. Continuity at 00 forces y(0)=0y(0)=0, and differentiability requires the slopes at zero to match: D=1D=1. Thus y=x2+x is the unique differentiable extension to ℝ.\boxed{y=x^2+x\text{ is the unique differentiable extension to }\mathbb R.}

Step 3: Data only at the exceptional point. With only y(0)=0y(0)=0, the same argument allows any common slope CC on the two sides. All global differentiable solutions are y=x2+Cx,C∈ℝ.\boxed{y=x^2+Cx,\qquad C\in\mathbb R.} Indeed x(2x+C)−(x2+Cx)=x2x(2x+C)-(x^2+Cx)=x^2, and every such polynomial has value zero at 00. This IVP is therefore nonunique.

Step 4: Incompatible data and normalization. At x=0x=0, the original equation requires −y(0)=0-y(0)=0, ruling out y(0)=1y(0)=1. The normalized coefficient −1/x-1/x is undefined at zero, so regular standard-form conclusions cannot be applied there. The algebraic condition at the exceptional point must be checked separately.

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

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