Linear Equations — Question 6

PDF ↗

Question 6

For each real initial value aa, consider y′+2xy=1,y(0)=a.y'+2xy=1,\qquad y(0)=a. A definite integral is an acceptable exact expression; no elementary antiderivative is required.

Tasks

  1. Use an integrating factor to obtain an exact solution based at x=0x=0, and state its interval of definition.

  2. Verify the formula by differentiation and the initial condition directly.

  3. For solutions with initial values aa and bb, determine their difference, its greatest absolute value on ℝ\mathbb R, and whether their curves can cross when a≠ba\ne b.

  4. Show that the solution with a=0a=0 is odd and positive for x>0x>0. Sketch the curves for a=−1,0,1a=-1,0,1 in your solution.

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

Question 6 – Solution

Strategy. Use a definite integral to incorporate the initial value exactly. The homogeneous difference makes comparison easier than evaluating the integral.

Step 1: Integrating factor and solution. Here μ=e∫2xdx=ex2,(ex2y)′=ex2.\mu=e^{\int 2x\,dx}=e^{x^2},\qquad (e^{x^2}y)'=e^{x^2}. Integrating from 00 to xx gives ya(x)=e−x2(a+∫0xet2dt),x∈ℝ.\boxed{y_a(x)=e^{-x^2}\left(a+\int_0^x e^{t^2}\,dt\right),\qquad x\in\mathbb R.} The integral exists for every finite real xx.

See the diagram in the original worksheet below.

Step 2: Direct verification. The product rule and Fundamental Theorem give ya′=−2xya+e−x2ex2=1−2xyay_a'=-2xy_a+e^{-x^2}e^{x^2}=1-2xy_a. Also the integral is zero at 00, so ya(0)=ay_a(0)=a.

Step 3: Compare initial values. The integral cancels in the difference: ya−yb=(a−b)e−x2,maxx∈ℝ|ya−yb|=|a−b|.\boxed{y_a-y_b=(a-b)e^{-x^2},\qquad \max_{x\in\mathbb R}|y_a-y_b|=|a-b|.} For a≠ba\ne b, equality in the maximum occurs only at x=0x=0, and the difference never changes sign or vanishes at a finite point. The curves cannot cross.

Step 4: Symmetry of the zero-data solution. Since et2e^{t^2} is even, ∫0xet2dt\int_0^x e^{t^2}dt is odd. Multiplying by the even factor e−x2e^{-x^2} preserves oddness. For x>0x>0, both the integral and prefactor are positive, so y0(x)>0y_0(x)>0.

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

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