Undetermined Coefficients — Question 7

PDF ↗

Question 7

For real parameters a,b,ca,b,c, consider y(4)+y″=a+bcos⁡x+ccos⁡2x.y^{(4)}+y''=a+b\cos x+c\cos 2x. A forcing with zero average over a period need not admit a periodic response.

Tasks

  1. Use undetermined coefficients to find a particular solution for all a,b,ca,b,c, and write the full real general solution.

  2. Give necessary and sufficient conditions on the parameters and homogeneous constants for boundedness on [0,∞)[0,\infty).

  3. Determine exactly when the equation admits a 2π2\pi-periodic solution. Verify the necessary restrictions independently by integrating the equation against 11 and cos⁡x\cos x over one period.

  4. Give a forcing in this family with zero average but no periodic solution, and another nonzero forcing that does admit periodic solutions. Explain the different obstructions caused by a nonzero mean and by a resonant harmonic.

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

Question 7 – Solution

Strategy. Track the zero-frequency resonance and the oscillatory resonance separately.

Step 1: Calculate the resonant and nonresonant pieces. The characteristic polynomial is r2(r2+1)r^2(r^2+1). Direct substitution gives L(x2/2)=1,L(xsin⁡x)=−2cos⁡x,L(cos⁡2x)=12cos⁡2x.L(x^2/2)=1,\qquad L(x\sin x)=-2\cos x,\qquad L(\cos 2x)=12\cos 2x. Consequently, y=ax22−b2xsin⁡x+c12cos⁡2x+k0+k1x+Acos⁡x+Bsin⁡x.\boxed{y=\frac{a x^2}{2}-\frac b2x\sin x+\frac c{12}\cos 2x +k_0+k_1x+A\cos x+B\sin x.} The factors x2x^2 and xx reflect the double root at zero and simple roots at ±i\pm i, respectively.

Step 2: Classify boundedness exactly. If a≠0a\ne 0, division by x2x^2 gives a nonzero limit, so boundedness fails. Once a=0a=0, a bounded solution would satisfy 0=limx→∞y(x)x,y(x)x=k1−b2sin⁡x+o(1).0=\lim_{x\to\infty}\frac{y(x)}x, \qquad \frac{y(x)}x=k_1-\frac b2\sin x+o(1). Along sequences with sine equal to 11 and −1-1, this requires both k1−b/2=0k_1-b/2=0 and k1+b/2=0k_1+b/2=0. Hence bounded on [0,∞)⇔a=b=k1=0.\boxed{\text{bounded on }[0,\infty)\iff a=b=k_1=0.} These conditions suffice because all remaining terms are bounded.

Step 3: Check periodic compatibility independently. With a=b=0a=b=0, choosing k1=0k_1=0 gives a 2π2\pi-periodic solution for every cc. Conversely, for a 2π2\pi-periodic C4C^4 solution, integration gives ∫02π(y(4)+y″)dx=0=2πa.\int_0^{2\pi}(y^{(4)}+y'')\,dx=0=2\pi a. Integration by parts transfers the even derivatives onto cos⁡x\cos x without boundary terms. Since (D4+D2)cos⁡x=0(D^4+D^2)\cos x=0, orthogonality then gives 0=bπ0=b\pi. Thus a=b=0a=b=0 is necessary and sufficient for existence of a 2π2\pi-periodic response.

Step 4: Explain why zero mean is insufficient. The forcing cos⁡x\cos x has zero average but produces the unavoidable term −xsin⁡x/2-x\sin x/2, so no solution is periodic. In contrast, cos⁡2x\cos 2x admits y=cos⁡2x/12y=\cos 2x/12. A nonzero mean excites quadratic drift through the double zero root; a first harmonic excites linear oscillatory growth. Removing only the mean addresses just one of these two resonances.

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

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