Eigenvalues and Eigenfunctions — Question 8

PDF ↗

Question 8

Compare an eigenproblem with its forced counterpart on [0,1][0,1]: −y″−λy=sin⁡(πx),y(0)=y(1)=0.-y''-\lambda y=\sin(\pi x),\qquad y(0)=y(1)=0. The homogeneous Dirichlet eigenvalues of −d2/dx2-d^2/dx^2 are n2π2n^2\pi^2, n≥1n\geq 1. The identity ∫01sin⁡(nπx)sin⁡(πx)dx=0(n≥2)\int_0^1\sin(n\pi x)\sin(\pi x)dx=0\qquad(n\geq 2) may be verified by 2sin⁡Asin⁡B=cos⁡(A−B)−cos⁡(A+B)2\sin A\sin B=\cos(A-B)-\cos(A+B).

Tasks

  1. Solve the forced problem for every real λ\lambda outside the homogeneous spectrum and prove uniqueness.

  2. At λ=π2\lambda=\pi^2, prove nonexistence using integration by parts against sin⁡(πx)\sin(\pi x), rather than merely observing a vanishing denominator.

  3. At λ=n2π2\lambda=n^2\pi^2 with n≥2n\geq 2, find all solutions. Determine which is selected by ∫01ysin⁡(nπx)dx=0\int_0^1y\sin(n\pi x)dx=0.

  4. Compare the uniform size of the solution as λ→π2\lambda\to\pi^2 with its limit as λ→4π2\lambda\to 4\pi^2 through nonspectral values. Explain why a finite limiting particular solution does not imply uniqueness at the limiting parameter.

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

Question 8 – Solution

Strategy. Separate the existence of a particular solution from the nontrivial homogeneous space at a spectral parameter.

Step 1: Solve away from the spectrum. Since −(sin⁡πx)″=π2sin⁡πx-\bigl(\sin\pi x\bigr)''=\pi^2\sin\pi x, y=sin⁡πxπ2−λ\boxed{y=\frac{\sin\pi x}{\pi^2-\lambda}} solves the equation and both endpoints whenever λ≠π2\lambda\ne\pi^2. If λ\lambda is outside the entire spectrum, any difference of two solutions is a zero-endpoint homogeneous solution and is therefore zero. This proves uniqueness, including all zero and negative parameter values.

Step 2: Prove failure of compatibility at the first eigenvalue. Let s=sin⁡πxs=\sin\pi x. For a proposed solution at λ=π2\lambda=\pi^2, twice integrating by parts gives ∫01s(−y″−π2y)dx=[−sy′+s′y]01+∫01(−s″−π2s)ydx=0.\int_0^1s(-y''-\pi^2y)dx =[-sy'+s'y]_0^1+\int_0^1(-s''-\pi^2s)y\,dx=0. Both ss and yy vanish at the endpoints. The forcing instead requires this integral to equal ∫01s2dx=1/2\int_0^1s^2dx=1/2, a contradiction. No solution exists.

Step 3: Find every compatible resonant solution. For n≥2n\geq 2, the particular solution above is valid and the homogeneous space is spanned by sin⁡(nπx)\sin(n\pi x). Therefore all solutions are y=sin⁡πx(1−n2)π2+Csin⁡(nπx),C∈ℝ.\boxed{y=\frac{\sin\pi x}{(1-n^2)\pi^2}+C\sin(n\pi x),\quad C\in\mathbb R.} The supplied product identity and ∫01sin⁡2(nπx)dx=1/2\int_0^1\sin^2(n\pi x)dx=1/2 show that the extra integral condition is C/2=0C/2=0, selecting exactly C=0C=0.

Step 4: Distinguish two limiting behaviors. Outside the spectrum, max⁡|y|=1/|π2−λ|\max|y|=1/|\pi^2-\lambda|, which diverges at the first eigenvalue. As λ→4π2\lambda\to 4\pi^2, the same solution converges uniformly to −sin⁡(πx)/(3π2)-\sin(\pi x)/(3\pi^2). This is only the C=0C=0 member of the infinite family at 4π24\pi^2. A finite chosen limit does not remove the homogeneous freedom.

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

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