Undetermined Coefficients — Question 8

PDF ↗

Question 8

Consider the initially resting response (D2+1)(D2+9)y=cos⁡3x,y(0)=y′(0)=y″(0)=y‴(0)=0.(D^2+1)(D^2+9)y=\cos^3x,\qquad y(0)=y'(0)=y''(0)=y'''(0)=0. A nonlinear expression in the independent variable can conceal several resonant harmonics while the differential equation remains linear in yy.

Tasks

  1. Expand the forcing into elementary harmonics. Identify all resonances and select a complete real particular-solution trial.

  2. Determine a particular solution by coefficient matching, and write the full homogeneous correction.

  3. Impose the initial data and verify the resulting response, including the forcing and the initial curvature.

  4. Evaluate the IVP solution at xn=π/2+2πnx_n=\pi/2+2\pi n, n=0,1,…n=0,1,\ldots, to prove unboundedness. Derive an explicit envelope for its magnitude valid for every x≥0x\ge 0.

Original worksheet page 1: question and worked solution for 7-3-008
Show solutionHide solution

Question 8 – Solution

Strategy. Expand the trigonometric product before choosing resonance factors.

Step 1: Expose both forcing frequencies. The identity cos⁡3x=(3cos⁡x+cos⁡3x)/4\cos^3x=(3\cos x+\cos 3x)/4 reveals simple resonance at both ±i\pm i and ±3i\pm 3i. A full trial is x(Acos⁡x+Bsin⁡x+Ccos⁡3x+Dsin⁡3x).x(A\cos x+B\sin x+C\cos 3x+D\sin 3x). There is no nonlinear dependence on the unknown yy; the right-hand side is a known function of xx.

Step 2: Match each harmonic. For L=(D2+1)(D2+9)L=(D^2+1)(D^2+9), differentiation gives L(xsin⁡x)=16cos⁡xL(x\sin x)=16\cos x and L(xsin⁡3x)=−48cos⁡3xL(x\sin 3x)=-48\cos 3x. The cosine-weighted partners generate sine forcing and therefore have zero coefficients. Thus yp=3xsin⁡x64−xsin⁡3x192,yh=acos⁡x+bsin⁡x+ccos⁡3x+dsin⁡3x.y_p=\frac{3x\sin x}{64}-\frac{x\sin 3x}{192},\qquad y_h=a\cos x+b\sin x+c\cos 3x+d\sin 3x. The residual is 3cos⁡x/4+cos⁡3x/4=cos⁡3x3\cos x/4+\cos 3x/4=\cos^3x.

Step 3: Correct the initial curvature. The particular term is even, has value zero, and has yp″(0)=3/32−1/32=1/16y_p''(0)=3/32-1/32=1/16. The zero data require a+c=0a+c=0, −a−9c=−1/16-a-9c=-1/16, and b+3d=−b−27d=0b+3d=-b-27d=0. Hence y=x(9sin⁡x−sin⁡3x)192+cos⁡3x−cos⁡x128.\boxed{y=\frac{x(9\sin x-\sin 3x)}{192}+\frac{\cos 3x-\cos x}{128}.} Here a=−1/128,c=1/128,b=d=0a=-1/128,c=1/128,b=d=0. The cosine correction has second derivative −1/16-1/16 at zero and cancels the particular curvature; evenness verifies the odd initial derivatives.

Step 4: Prove growth and a global envelope. At xn=π/2+2πnx_n=\pi/2+2\pi n, the sine values are 1,−11,-1 and both cosines vanish, so y(xn)=5xn/96→∞\boxed{y(x_n)=5x_n/96\to\infty}. Also 9sin⁡x−sin⁡3x=6sin⁡x+4sin⁡3x9\sin x-\sin 3x=6\sin x+4\sin^3x, whose absolute value is at most 1010. Therefore |y(x)|≤5x96+164(x≥0).\boxed{|y(x)|\le\frac{5x}{96}+\frac 1{64}\quad(x\ge 0).} The displayed envelopes are bounds, not assertions that equality holds at every point.

See the diagram in the original worksheet below.

Original worksheet page 2: question and worked solution for 7-3-008

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