Direction Fields — Question 9

Section 20-2 · Calculus pages 3637–3638

Show solutionHide solution

Question 9

A plotting program samples slopes only at the five columns x=−1,−12,0,12,1x=-1,\ -\tfrac 12,\ 0,\ \tfrac 12,\ 1 and at any chosen collection of yy-values. Compare the two smooth equations (A)y′=0,(B)y′=sin⁡(2πx).\text{(A)}\quad y'=0,\qquad \text{(B)}\quad y'=\sin(2\pi x). Both have initial value y(0)=0y(0)=0.

Tasks

  1. Prove that the sampled direction fields are identical at every plotted point.

  2. Add the column x=14x=\tfrac 14. Calculate the slopes assigned by each law there and explain why it reveals the difference.

  3. Verify the candidates u(x)=0u(x)=0 and v(x)=[1−cos⁡(2πx)]/(2π)v(x)=[1-\cos(2\pi x)]/(2\pi) for the respective IVPs. Compare their values at x=12x=\tfrac 12.

  4. In your solution, display the shared coarse field and a more finely sampled field for (B), together with the corresponding curves. Explain why a finite sampled field cannot determine an arbitrary smooth differential equation uniquely.

Question 9 – Solution

Strategy. Evaluate the law at the actual sampling locations before trusting a plot. A grid can systematically miss variation between columns.

Step 1: Hidden variation. Every sampled column has x=j/2x=j/2 for an integer jj. Therefore sin⁡(2πx)=sin⁡(jπ)=0\sin(2\pi x)=\sin(j\pi)=0. Both programs draw only horizontal segments there, regardless of yy. At the added column, fA(14,y)=0,fB(14,y)=1,\boxed{f_A(\tfrac 14,y)=0,\qquad f_B(\tfrac 14,y)=1,} so the fields visibly differ.

Diagram shown in the original SVG worksheet.

Step 2: Distinct solutions. Direct differentiation gives u′=0u'=0 and v′(x)=2πsin⁡(2πx)2π=sin⁡(2πx),u(0)=v(0)=0.v'(x)=\frac{2\pi\sin(2\pi x)}{2\pi}=\sin(2\pi x),\qquad u(0)=v(0)=0. At the half-unit point, u(12)=0,v(12)=1/π\boxed{u(\tfrac 12)=0,\quad v(\tfrac 12)=1/\pi}. Equal sampled slopes do not imply equal solution values between or even at later grid columns.

Step 3: What a refined grid proves. The extra column disproves equality of these two laws. It does not make finite sampling sufficient for an unrestricted smooth law. For any finite set of sampled columns xjx_j, the nonzero smooth function ∏j(x−xj)2\prod_j(x-x_j)^2 vanishes at every one of them. Adding it to a right-hand side preserves those sampled slopes while changing the field elsewhere.