Eigenvalues and Eigenfunctions — Question 1

PDF ↗

Question 1

For a fixed L>0L>0, consider −y″=λy,0≤x≤L,y(0)=y(L)=0.-y''=\lambda y,\qquad 0\leq x\leq L,\qquad y(0)=y(L)=0. An eigenvalue is a real λ\lambda for which a nonzero solution exists; any such solution is an eigenfunction. The identically zero solution does not qualify.

Tasks

  1. Treat λ<0\lambda<0, λ=0\lambda=0 and λ>0\lambda>0 separately, and find every eigenvalue and its full eigenspace.

  2. Choose each eigenfunction to have ∫0Ly2dx=1\int_0^L y^2dx=1 and y′(0)>0y'(0)>0. Explain why these two conditions fix its amplitude and sign uniquely.

  3. Locate all interior zeros of the nnth eigenfunction. For L=1L=1, sketch the first three normalized modes and identify their interior zero counts.

  4. If the interval length is doubled, determine the change in each eigenvalue and in the normalization factor. Explain why a function solving the differential equation alone need not be an eigenfunction.

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

Question 1 – Solution

Strategy. Enforce both homogeneous endpoint conditions in each sign case before normalizing a nonzero solution.

Step 1: Classify all real parameters. For λ=−μ2<0\lambda=-\mu^2<0, y(0)=0y(0)=0 gives y=Asinh⁡(μx)y=A\sinh(\mu x); since sinh⁡(μL)>0\sinh(\mu L)>0, the right condition forces A=0A=0. For λ=0\lambda=0, the left condition gives y=Axy=Ax and the right gives A=0A=0. For λ=k2>0\lambda=k^2>0, y=Asin⁡(kx)y=A\sin(kx), so a nonzero AA requires kL=nπkL=n\pi. Thus λn=(nπ/L)2,En=span⁡{sin⁡(nπx/L)},n=1,2,….\boxed{\lambda_n=(n\pi/L)^2,\quad E_n=\operatorname{span}\{\sin(n\pi x/L)\}, \quad n=1,2,\ldots.}

Step 2: Fix amplitude and sign. The identity sin⁡2t=(1−cos⁡2t)/2\sin^2t=(1-\cos 2t)/2 gives ∫0Lsin⁡2(nπx/L)dx=L/2\int_0^L\sin^2(n\pi x/L)dx=L/2. The unit norm requires |A|=2/L|A|=\sqrt{2/L}, and y′(0)=Anπ/L>0y'(0)=An\pi/L>0 selects the positive sign: ϕn(x)=2/Lsin⁡(nπx/L).\boxed{\phi_n(x)=\sqrt{2/L}\sin(n\pi x/L).}

Step 3: Count the interior zeros. The zeros are x=jL/nx=jL/n, j=0,…,nj=0,\ldots,n, of which exactly n−1n-1 lie inside. They are simple because the derivative there is nonzero. The first three modes on the unit interval therefore have zero, one and two interior zeros.

Step 4: Rescale the interval. Replacing LL by 2L2L divides each eigenvalue by four and the normalization factor by 2\sqrt 2. For example, cos⁡(kx)\cos(kx) solves the differential equation with λ=k2\lambda=k^2 but fails the left endpoint condition. The equation, both boundary conditions and nontriviality are all part of the eigenproblem.

See the diagram in the original worksheet below.

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

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