Eigenvalues and Eigenfunctions — Question 6

PDF ↗

Question 6

A variable-coefficient eigenproblem uses the positive interval [1,e2][1,e^2]: −(xy′)′=λyx,y(1)=y(e2)=0.-(xy')'=\lambda\frac{y}{x},\qquad y(1)=y(e^2)=0. The natural squared norm for this problem is ∫1e2y(x)2dx/x\int_1^{e^2}y(x)^2\,dx/x.

Tasks

  1. Use t=log⁡xt=\log x and y(x)=u(t)y(x)=u(t) to transform the equation and both boundary conditions. Show every derivative factor.

  2. Find all real eigenvalues and eigenspaces, checking all parameter signs. Normalize each mode to have weighted norm one and y′(1)>0y'(1)>0.

  3. Locate the first mode’s maximum and all interior zeros of the nnth mode. Explain why equal spacing in the transformed coordinate does not imply equal spacing in xx.

  4. Replace e2e^2 by a general right endpoint b>1b>1. Give the eigenvalues and weighted normalization factor as functions of bb. Sketch the first two normalized modes for the original interval.

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

Question 6 – Solution

Strategy. Transform the differential equation and its weight together, not just its apparent frequency.

Step 1: Carry out the logarithmic substitution. Since dt/dx=1/xdt/dx=1/x, y′=u′/xy'=u'/x, xy′=u′xy'=u' and (xy′)′=u″/x(xy')'=u''/x. Multiplying the equation by xx gives −u″=λu,u(0)=u(2)=0.\boxed{-u''=\lambda u,\qquad u(0)=u(2)=0.} Also dx/x=dtdx/x=dt, so the weighted squared norm is exactly ∫02u2dt\int_0^2u^2dt.

Step 2: Classify and normalize. At zero the affine function with two zero endpoints is zero. At a negative parameter, the left-zero hyperbolic sine cannot vanish at the right endpoint. For λ=k2>0\lambda=k^2>0, u=Asin⁡(kt)u=A\sin(kt) and sin⁡(2k)=0\sin(2k)=0. Thus λn=(nπ/2)2,ϕn(x)=sin⁡(nπlog⁡x2),n≥1.\boxed{\lambda_n=(n\pi/2)^2,\qquad \phi_n(x)=\sin\!\left(\frac{n\pi\log x}{2}\right),\quad n\geq 1.} The eigenspace is the span of ϕn\phi_n. Its weighted squared norm is one, and ϕn′(1)=nπ/2>0\phi_n'(1)=n\pi/2>0, fixing both amplitude and sign.

Step 3: Read locations in the original coordinate. For n=1n=1, the sine attains its unique maximum one when t=1t=1, hence x=e\boxed{x=e}, the geometric rather than arithmetic midpoint of the endpoints. For mode nn, the interior zeros are xj=e2j/n,j=1,…,n−1\boxed{x_j=e^{2j/n},\ j=1,\ldots,n-1}. They form a geometric progression: logarithmic spacing becomes multiplicative spacing in xx.

Step 4: Change the endpoint. For [1,b][1,b] the transformed length is ℓ=log⁡b>0\ell=\log b>0. Consequently λn=(nπ/log⁡b)2,ϕn=2log⁡bsin⁡(nπlog⁡xlog⁡b).\boxed{\lambda_n=(n\pi/\log b)^2,\qquad \phi_n=\sqrt{\frac{2}{\log b}}\sin\!\left(\frac{n\pi\log x}{\log b}\right).} The graph for b=e2b=e^2 uses the physical coordinate xx, with the landmark x=ex=e.

See the diagram in the original worksheet below.

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

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