Euler’s Method — Question 6

PDF ↗

Question 6

Consider y′=y2,y(0)=1.y'=y^2,\qquad y(0)=1. Two algorithms use a grid with h=1/4h=1/4. Algorithm A applies explicit Euler directly to yy. Algorithm B first sets u=1/yu=1/y, applies explicit Euler to the transformed equation, and then recovers y=1/uy=1/u wherever possible.

Tasks

  1. Derive both update rules and compute their approximations at t=1/4t=1/4 and t=1/2t=1/2.

  2. Find the exact IVP solution and determine which algorithm is exact at these nodes. Explain why this happens here.

  3. Starting from a common positive value yy with hy<1hy<1, compare the two one-step updates algebraically and find their exact difference.

  4. Explain what happens to algorithm B at t=1t=1 and why finite direct-Euler values at or beyond that time cannot establish continuation of the original IVP.

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

Question 6 – Solution

Strategy. A nonlinear change of dependent variable preserves the exact differential equation but generally does not commute with a finite Euler step.

Step 1: Derive and compute the algorithms. Direct Euler gives Yn+1=Yn+hYn2Y_{n+1}=Y_n+hY_n^2, Y0=1Y_0=1. Since u′=−y′/y2=−1u'=-y'/y^2=-1, transformed Euler gives Un+1=Un−hU_{n+1}=U_n-h, U0=1U_0=1. Thus tA: direct EulerB: 1/Un1/45/44/31/2105/64=1.6406252\begin{array}{c|cc} t&\text{A: direct Euler}&\text{B: }1/U_n\\\hline 1/4&5/4&4/3\\ 1/2&105/64=1.640625&2 \end{array}

Step 2: Compare with the exact solution. Separation gives y=1/(1−t)\boxed{y=1/(1-t)}, whose maximal interval containing zero is (−∞,1)(-\infty,1). Algorithm B is exact at every grid node before 11, because its transformed equation has the constant slope −1-1: Euler integrates that affine solution exactly. Algorithm A underestimates the two displayed exact values.

Step 3: Compare a single step. From the same positive state, the updates are A(y)=y+hy2,B(y)=11/y−h=y1−hy.A(y)=y+hy^2,\qquad B(y)=\frac 1{1/y-h}=\frac{y}{1-hy}. Their exact difference is B(y)−A(y)=h2y31−hy>0(hy<1).\boxed{B(y)-A(y)=\frac{h^2y^3}{1-hy}>0\quad(hy<1)}. For fixed yy, the discrepancy is of order h2h^2 as h→0h\to 0, although both are Euler approximations in their chosen coordinates. The nonlinear reciprocal map changes the finite-step rule.

Step 4: Respect the original blow-up. At t=1t=1, algorithm B has U4=0U_4=0, so its inverse is undefined, matching the exact pole. The direct recurrence uses only addition and multiplication and gives a finite real value after any fixed finite number of exact-arithmetic steps. Those values are numerical iterates, not proof of a classical solution through the pole.

The original solution tends to +∞+\infty as t↑1t\uparrow 1, so it cannot extend continuously across that time. Beyond 11, an inverse value from negative UnU_n would likewise belong to a disconnected formula branch, not a continuation of this IVP.

Original worksheet page 2: question and worked solution for 2-9-006

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