Intervals of Validity — Question 10

PDF ↗

Question 10

Design an initial-value problem of the form y′=(Ax+B)y2,y(0)=1,y'=(Ax+B)y^2,\qquad y(0)=1, where A,BA,B are real constants, so that its solution has exactly the maximal interval (−2,3)(-2,3) and tends to +∞+\infty at both finite endpoints.

Tasks

  1. Use the reciprocal variable u=1/yu=1/y to determine AA and BB from the prescribed endpoints.

  2. Recover the solution and prove that it is positive and has exactly the requested maximal interval.

  3. Verify the IVP and prove that your coefficient pair is the only affine choice with these properties.

  4. Find the solution’s minimum on its interval and sketch the curve with its endpoint asymptotes. Explain why smooth coefficients do not force a global solution here.

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

Question 10 – Solution

Strategy. For a quadratic-growth equation, the reciprocal solution is a quadratic polynomial. Put its zeros at the desired endpoints.

Step 1: Determine the reciprocal polynomial. While y≠0y\ne 0, u′=−(Ax+B),u(0)=1,u=1−Bx−A2x2.u'=-(Ax+B),\qquad u(0)=1,\qquad u=1-Bx-\frac A2x^2. Blow-up at both prescribed endpoints requires u(−2)=u(3)=0u(-2)=u(3)=0. A quadratic with these roots and value 11 at 00 must be u=(x+2)(3−x)6=1+x6−x26.u=\frac{(x+2)(3-x)}6=1+\frac x6-\frac{x^2}6. Thus A=1/3,B=−1/6\boxed{A=1/3,\ B=-1/6} and y=6(x+2)(3−x),I=(−2,3).\boxed{y=\frac 6{(x+2)(3-x)},\qquad I=(-2,3)}.

Step 2: Check the interval and uniqueness of the design. Both denominator factors are positive on II. At either endpoint the denominator tends to 0+0^+, so y→+∞y\to+\infty and no finite continuous extension exists.

Also y′=−u′/u2=((2x−1)/6)y2y'=-u'/u^2=((2x-1)/6)y^2 and y(0)=1y(0)=1. For any proposed affine pair, a solution through 11 cannot cross the zero solution, by local uniqueness for the smooth right-hand side. Hence its reciprocal on the proposed interval has exactly the polynomial form above. The two endpoint zeros and u(0)=1u(0)=1 determine it uniquely, proving uniqueness of the coefficient pair.

Step 3: Locate the minimum. The denominator is 25/4−(x−1/2)225/4-(x-1/2)^2, so it is largest at x=1/2x=1/2. Therefore ymin=24/25\boxed{y_{\min}=24/25} there. Equivalently, y′y' changes from negative to positive at 1/21/2.

See the diagram in the original worksheet below.

Step 4: Interpret the construction. The coefficients and the right-hand side are smooth everywhere, but the solution grows without bound in both finite endpoint directions. Smoothness ensures local solvability and uniqueness, not global existence for this nonlinear equation.

Original worksheet page 2: question and worked solution for 2-6-010

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