Direction Fields — Question 9

PDF ↗

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.

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

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.

See the diagram in the original worksheet below.

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.

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

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