Definitions — Question 8

PDF ↗

Question 8

For a real parameter aa, define za(x)={x2,x≤0,ax2,x>0.z_a(x)=\begin{cases} x^2,&x\le 0,\\ a x^2,&x>0. \end{cases} Compare the equations (A)xy′=2y,(B)y″=2.\text{(A)}\quad x y'=2y, \qquad \text{(B)}\quad y''=2. A classical solution must have all derivatives appearing in its equation at every point of its open interval of definition.

Tasks

  1. Determine for which aa the function zaz_a is C1C^1 on ℝ\mathbb R, and for which aa its second derivative exists at 00.

  2. Determine for which aa it solves (A) on ℝ\mathbb R, checking x=0x=0 explicitly.

  3. Determine for which aa it solves (B) on ℝ\mathbb R.

  4. Explain why replacing (A) by y′=2y/xy'=2y/x can change the permitted solution intervals, even though the two equations agree whenever x≠0x\ne 0.

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

Question 8 – Solution

Strategy. Compute derivatives at the joining point using limits, then test each equation in its original form.

Step 1: First derivative. The pieces meet at za(0)=0z_a(0)=0. The difference quotient at 00 is hh for h<0h<0 and ahah for h>0h>0, so za′(0)=0z_a'(0)=0 for every real aa. Therefore za′(x)={2x,x<0,0,x=0,2ax,x>0,z_a'(x)=\begin{cases}2x,&x<0,\\0,&x=0,\\2ax,&x>0,\end{cases} which is continuous at 00. Hence

Step 2: Second derivative at the join. The left-hand limit of [za′(h)−za′(0)]/h[z_a'(h)-z_a'(0)]/h is 22, and the right-hand limit is 2a2a. Thus za″(0) exists exactly when a=1.\boxed{z_a''(0)\text{ exists exactly when }a=1.}

Step 3: Check equation (A). For x<0x<0, xza′=x(2x)=2zaxz_a'=x(2x)=2z_a. For x>0x>0, xza′=x(2ax)=2zaxz_a'=x(2ax)=2z_a. At x=0x=0, both sides are 00. Consequently

Step 4: Check equation (B). On x>0x>0, za″=2az_a''=2a, so (B) requires a=1a=1. For that value za=x2z_a=x^2 globally and za″=2z_a''=2, including at 00. Thus

Step 5: Domain of the equation. The quotient 2y/x2y/x is undefined at x=0x=0, even when y(0)=0y(0)=0. The normalized equation therefore cannot have a solution interval containing 00. It agrees with (A) on intervals contained in (−∞,0)(-\infty,0) or (0,∞)(0,\infty), but division removes the original equation’s valid point x=0x=0.

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

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