Nonhomogeneous Differential Equations — Question 6

PDF ↗

Question 6

For y″+y=cos⁡ty''+y=\cos t on ℝ\mathbb R, a proposed particular solution is p(t)=12tsin⁡tp(t)=\tfrac 12t\sin t. The forcing is bounded in absolute value by one.

Tasks

  1. Verify the particular solution and find the full solution family.

  2. Solve the initial-value problem with arbitrary data y(0)=ay(0)=a, y′(0)=by\prime(0)=b. Identify the zero-data response.

  3. Prove that every solution is unbounded above and below on [0,∞)[0,\infty), using two explicit sequences of times. Can a homogeneous correction remove this behavior?

  4. For the zero-data response, give exact upper and lower envelope bounds on t≥0t\ge 0 and the times when they are attained. Explain why envelope contacts need not be stationary points.

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

Question 6 – Solution

Strategy. Verify the supplied growing response and use exact phase samples to rule out cancellation by bounded homogeneous terms.

Step 1: Verify and complete. Differentiation gives p′=12sin⁡t+12tcos⁡t,p″=cos⁡t−12tsin⁡t.p'=\tfrac 12\sin t+\tfrac 12t\cos t,\qquad p''=\cos t-\tfrac 12t\sin t. Thus p″+p=cos⁡tp''+p=\cos t and the general solution is y=Acos⁡t+Bsin⁡t+12tsin⁡t.\boxed{y=A\cos t+B\sin t+\tfrac 12t\sin t.}

Step 2: Fit the data. Since p(0)=p′(0)=0p(0)=p'(0)=0, the data give A=aA=a, B=bB=b. In particular the zero-data response is exactly y0=12tsin⁡t\boxed{y_0=\tfrac 12t\sin t}.

Step 3: Prove both unbounded excursions. At tn=π/2+2πnt_n=\pi/2+2\pi n, n=0,1,…n=0,1,\ldots, we have y(tn)=b+tn/2→∞y(t_n)=b+t_n/2\to\infty. At sn=3π/2+2πns_n=3\pi/2+2\pi n, we have y(sn)=−b−sn/2→−∞y(s_n)=-b-s_n/2\to-\infty. These values do not depend on aa. Thus no constant homogeneous correction removes the unbounded behavior, even though the forcing is bounded.

Step 4: Distinguish bounds from extrema. On t≥0t\ge 0, −t/2≤y0(t)≤t/2.\boxed{-t/2\le y_0(t)\le t/2.} For t>0t>0, the upper envelope is attained exactly at tnt_n and the lower at sns_n; both bounds also coincide with y0y_0 at zero. At a positive upper contact y0′=1/2y_0'=1/2, and at a lower contact y0′=−1/2y_0'=-1/2. These slopes match those of the respective envelopes and are not zero, so the contacts are not stationary points of y0y_0.

See the diagram in the original worksheet below.

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

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