13.2: Sturm-Liouville Problems
- Page ID
- 9475
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)
In this section we consider eigenvalue problems of the form
\[\label{eq:13.2.1} P_{0}(x)y''+P_{1}(x)y'+P_{2}(x)y+ \lambda R(x)y=0,\quad B_{1}(y)=0,\quad B_{2}(y)=0, \]
where
\[B_{1}(y)=\alpha y(a)+\beta y'(a) \quad \text{and} \quad B_{2}(y)=\rho y(b)+\delta y'(b). \nonumber \]
As in Section 13.1, \(\alpha\), \(\beta\), \(\rho\), and \(\delta\) are real numbers, with
\[\alpha^{2}+\beta^{2}>0 \quad \text{and} \quad \rho^{2}+\delta^{2}>0, \nonumber \]
\(P_{0}\), \(P_{1}\), \(P_{2}\), and \(R\) are continuous, and \(P_{0}\) and \(R\) are positive on \([a,b]\).
We say that \(\lambda\) is an eigenvalue of Equation \ref{eq:13.2.1} if Equation \ref{eq:13.2.1} has a nontrivial solution \(y\). In this case, \(y\) is an eigenfunction associated with \(\lambda\), or a \(\lambda\)-eigenfunction. Solving the eigenvalue problem means finding all eigenvalues and associated eigenfunctions of Equation \ref{eq:13.2.1}.
Solve the eigenvalue problem
\[\label{eq:13.2.2} y''+3y'+2y+\lambda y=0,\quad y(0)=0,\quad y(1)=0. \]
Solution
The characteristic equation of Equation \ref{eq:13.2.2} is
\[r^{2}+3r+2+\lambda=0, \nonumber \]
with zeros
\[r_{1}=\frac{-3+\sqrt{1-4\lambda}}{2} \quad \text{and} \quad r_{2}=\frac{-3-\sqrt{1-4\lambda}}{2}. \nonumber \]
If \(\lambda<1/4\) then \(r_{1}\) and \(r_{2}\) are real and distinct, so the general solution of the differential equation in Equation \ref{eq:13.2.2} is
\[y=c_{1}e^{r_{1}t}+c_{2}e^{r_{2}t}. \nonumber \]
The boundary conditions require that
\[\begin{aligned} c_{1}\phantom{e^{r_{1}}}+c_{2}\phantom{e^{r_{2}}}&=0\\[4pt] c_{1}e^{r_{1}}+c_{2}e^{r_{2}}&=0.\end{aligned} \nonumber \]
Since the determinant of this system is \(e^{r_{2}}-e^{r_{1}}\ne0\), the system has only the trivial solution. Therefore \(\lambda\) isn’t an eigenvalue of Equation \ref{eq:13.2.2}.
If \(\lambda=1/4\) then \(r_{1}=r_{2}=-3/2\), so the general solution of Equation \ref{eq:13.2.2} is
\[y=e^{-3x/2}(c_{1}+c_{2}x). \nonumber \]
The boundary condition \(y(0)=0\) requires that \(c_{1}=0\), so \(y=c_{2}xe^{-3x/2}\) and the boundary condition \(y(0)\) requires that \(c_{2}=0\). Therefore \(\lambda=1/4\) isn’t an eigenvalue of Equation \ref{eq:13.2.2}.
If \(\lambda>1/4\) then
\[r_{1}=-\frac{3}{2}+i\omega \quad \text{and} \quad r_{2}=-\frac{3}{2}-i\omega, \nonumber \]
with
\[\label{eq:13.2.3} \omega =\frac{\sqrt{4\lambda-1}}{2} \quad \text{or equivalently} \quad \lambda=\frac{1+4\omega^{2}}{4}. \]
In this case the general solution of the differential equation in Equation \ref{eq:13.2.2} is
\[y=e^{-3x/2}(c_{1}\cos\omega x+c_{2}\sin\omega x). \nonumber \]
The boundary condition \(y(0)=0\) requires that \(c_{1}=0\), so \(y=c_{2}e^{-3x/2}\sin\omega x\), which holds with \(c_{2}\ne0\) if and only if \(\omega=n\pi\), where \(n\) is an integer. We may assume that \(n\) is a positive integer. (Why?). From Equation \ref{eq:13.2.3}, the eigenvalues are \(\lambda_{n}=(1+4n^{2}\pi^{2})/4\), with associated eigenfunctions
\[y_{n}=e^{-3x/2}\sin n\pi x,\quad n=1,2,3,\dots. \nonumber \]
Solve the eigenvalue problem
\[\label{eq:13.2.4} x^{2}y''+xy'+\lambda y=0,\quad y(1)=0,\quad y(2)=0. \]
Solution
If \(\lambda=0\), the differential equation in Equation \ref{eq:13.2.4} reduces to \(x(xy')'=0\), so \(xy'=c_{1}\),
\[y'=\frac{c_{1}}{x}, \quad \text{and} \quad y=c_{1}\ln x+c_{2}. \nonumber \]
The boundary condition \(y(1)=0\) requires that \(c_{2}=0\), so \(y=c_{1}\ln x\). The boundary condition \(y(2)=0\) requires that \(c_{1}\ln2=0\), so \(c_{1}=0\). Therefore zero isn’t an eigenvalue of Equation \ref{eq:13.2.4}.
If \(\lambda<0\), we write \(\lambda=-k^{2}\) with \(k>0\), so Equation \ref{eq:13.2.4} becomes
\[x^{2}y''+xy'-k^{2}y=0, \nonumber \]
an Euler equation (Section 7.4) with indicial equation
\[r^{2}-k^{2}=(r-k)(r+k)=0. \nonumber \]
Therefore
\[y=c_{1}x^{k}+c_{2}x^{-k}. \nonumber \]
The boundary conditions require that
\[\begin{aligned} \phantom{2^{k}}c_{1}+\phantom{2^{-k}}c_{2}&=0 \\[4pt] 2^{k}c_{1}+2^{-k}c_{2}&=0.\end{aligned} \nonumber \]
Since the determinant of this system is \(2^{-k}-2^{k}\ne0\), \(c_{1}=c_{2}=0\). Therefore Equation \ref{eq:13.2.4} has no negative eigenvalues.
If \(\lambda>0\) we write \(\lambda=k^{2}\) with \(k>0\). Then Equation \ref{eq:13.2.4} becomes
\[x^{2}y''+xy' +k^{2}y=0, \nonumber \]
an Euler equation with indicial equation
\[r^{2}+k^{2}=(r-ik)(r+ik)=0, \nonumber \]
so
\[y=c_{1}\cos(k\ln x)+c_{2}\sin(k\ln x). \nonumber \]
The boundary condition \(y(1)=0\) requires that \(c_{1}=0\). Therefore \(y=c_{2}\sin(k\ln x)\). This holds with \(c_{2}\ne0\) if and only if \(k=n\pi/\ln 2\), where \(n\) is a positive integer. Hence, the eigenvalues of Equation \ref{eq:13.2.4} are \(\lambda_{n}=(n\pi/\ln2)^{2}\), with associated eigenfunctions
\[y_{n}=\sin\left(\frac{n\pi}{\ln2}\ln x\right),\quad n=1,2,3,\dots. \nonumber \]
For theoretical purposes, it is useful to rewrite the differential equation in Equation \ref{eq:13.2.1} in a different form, provided by the next theorem.
If \(P_{0},\) \(P_{1},\) \(P_{2},\) and \(R\) are continuous and \(P_{0}\) and \(R\) are positive on a closed interval \([a,b],\) then the equation
\[\label{eq:13.2.5} P_{0}(x)y''+P_{1}(x)y'+P_{2}(x)y+\lambda R(x)y=0 \]
can be rewritten as
\[\label{eq:13.2.6} (p(x)y')'+q(x)y+\lambda r(x)y=0, \]
where \(p\), \(p'\), \(q\) and \(r\) are continuous and \(p\) and \(r\) are positive on \([a,b].\)
- Proof
-
We begin by rewriting Equation \ref{eq:13.2.5} as
\[\label{eq:13.2.7} y''+u(x)y'+v(x)y+\lambda R_{1}(x)y=0, \]
with \(u=P_{1}/P_{0}\), \(v=P_{2}/P_{0}\), and \(R_{1}=R/P_{0}\). (Note that \(R_{1}\) is positive on \([a,b]\).) Now let \(p(x)=e^{U(x)}\), where \(U\) is any antiderivative of \(u\). Then \(p\) is positive on \([a,b]\) and, since \(U'=u\),
\[\label{eq:13.2.8} p'(x)=p(x)u(x) \]
is continuous on \([a,b]\). Multiplying Equation \ref{eq:13.2.7} by \(p(x)\) yields
\[\label{eq:13.2.9} p(x)y''+p(x)u(x)y'+p(x)v(x)y+\lambda p(x)R_{1}(x)y=0. \]
Since \(p\) is positive on \([a,b]\), this equation has the same solutions as Equation \ref{eq:13.2.5}. From Equation \ref{eq:13.2.8},
\[(p(x)y')'=p(x)y''+p'(x)y'=p(x)y''+p(x)u(x)y', \nonumber \]
so Equation \ref{eq:13.2.9} can be rewritten as in Equation \ref{eq:13.2.6}, with \(q(x)=p(x)v(x)\) and \(r(x)=p(x)R_{1}(x)\). This completes the proof.
It is to be understood throughout the rest of this section that \(p\), \(q\), and \(r\) have the properties stated in Theorem 13.2.1 . Moreover, whenever we write \(Ly\) in a general statement, we mean
\[Ly=(p(x)y')'+q(x)y. \nonumber \]
The differential equation Equation \ref{eq:13.2.6} is called a Sturm-Liouville equation, and the eigenvalue problem
\[\label{eq:13.2.10} (p(x)y')'+q(x)y+\lambda r(x)y=0,\quad B_{1}(y)=0,\quad B_{2}(y)=0, \]
which is equivalent to Equation \ref{eq:13.2.1}, is called a Sturm-Liouville problem.
Rewrite the eigenvalue problem
\[\label{eq:13.2.11} y''+3y'+(2+\lambda)y=0,\quad y(0)=0,\quad y(1)=0 \]
of Theorem 13.2.1 as a Sturm-Liouville problem.
Solution
Comparing Equation \ref{eq:13.2.11} to Equation \ref{eq:13.2.7} shows that \(u(x)=3\), so we take \(U(x)=3x\) and \(p(x)=e^{3x}\). Multiplying the differential equation in Equation \ref{eq:13.2.11} by \(e^{3x}\) yields
\[e^{3x}(y''+3y')+2e^{3x}y+\lambda e^{3x}y=0. \nonumber \]
Since
\[e^{3x}(y''+3y')=(e^{3x}y')', \nonumber \]
Equation \ref{eq:13.2.11} is equivalent to the Sturm–Liouville problem
\[\label{eq:13.2.12} (e^{3x}y')'+2e^{3x}y+\lambda e^{3x}y=0,\quad y(0)=0,\quad y(1)=0. \]
Rewrite the eigenvalue problem
\[\label{eq:13.2.13} x^{2}y''+xy'+\lambda y=0,\quad y(1)=0,\quad y(2)=0 \]
of Theorem 13.2.2 as a Sturm-Liouville problem.
Solution
Dividing the differential equation in Equation \ref{eq:13.2.13} by \(x^{2}\) yields
\[y''+\frac{1}{x}y'+\frac{\lambda}{x^{2}}y=0. \nonumber \]
Comparing this to Equation \ref{eq:13.2.7} shows that \(u(x)=1/x\), so we take \(U(x)=\ln x\) and \(p(x)=e^{\ln x}=x\). Multiplying the differntial equation by \(x\) yields
\[xy''+y'+\frac{\lambda}{x}y=0. \nonumber \]
Since
\[xy''+y'=(xy')', \nonumber \]
Equation \ref{eq:13.2.13} is equivalent to the Sturm–Liouville problem
\[\label{eq:13.2.14} (xy')'+\frac{\lambda}{x}y=0,\quad y(1)=0,\quad y(2)=0. \]
Problems 1–4 of Section 11.1 are Sturm–Liouville problems. (Problem 5 isn’t, although some authors use a definition of Sturm-Liouville problem that does include it.) We were able to find the eigenvalues of Problems 1-4 explicitly because in each problem the coefficients in the boundary conditions satisfy \(\alpha\beta=0\) and \(\rho\delta=0\); that is, each boundary condition involves either \(y\) or \(y'\), but not both. If this isn’t true then the eigenvalues can’t in general be expressed exactly by simple formulas; rather, approximate values must be obtained by numerical solution of equations derived by requiring the determinants of certain \(2\times 2\) systems of homogeneous equations to be zero. To apply the numerical methods effectively, graphical methods must be used to determine approximate locations of the zeros of these determinants. Then the zeros can be computed accurately by numerical methods.
Solve the Sturm–Liouville problem
\[\label{eq:13.2.15} y''+\lambda y=0, \quad y(0)+y'(0)=0,\quad y(1)+3y'(1)=0. \]
Solution
If \(\lambda=0\), the differential equation in Equation \ref{eq:13.2.15} reduces to \(y''=0\), with general solution \(y=c_{1}+c_{2}x\). The boundary conditions require that
\[\begin{aligned} c_{1}+\phantom{4}c_{2}&=0\\[4pt] c_{1}+4c_{2}&=0,\end{aligned} \nonumber \]
so \(c_{1}=c_{2}=0\). Therefore zero isn’t an eigenvalue of Equation \ref{eq:13.2.15}.
If \(\lambda<0\), we write \(\lambda=-k^{2}\) where \(k>0\), and the differential equation in Equation \ref{eq:13.2.15} becomes \(y''-k^{2}y=0\), with general solution
\[\label{eq:13.2.16} y=c_{1}\cosh kx+c_{2}\sinh kx, \]
so
\[y'=k(c_{1}\sinh kx+c_{2}\cosh kx). \nonumber \]
The boundary conditions require that
\[\label{eq:13.2.17} \begin{array}{c}{c_{1}+kc_{2}=0}\\[4pt]{(\cosh k+3k\sinh k)c_{1}+(\sinh k+3k\cosh k)c_{2}=0}\end{array} \]
The determinant of this system is
\[\begin{aligned} D_{N}(k)&= \left|\begin{array}{cccccc} 1&k\\[4pt] \cosh k+3k\sinh k&\sinh k+3k \cosh k \end{array}\right| \\[4pt] &= (1-3k^{2})\sinh k+2k \cosh k.\end{aligned} \nonumber \]
Therefore the system Equation \ref{eq:13.2.17} has a nontrivial solution if and only if \(D_{N}(k)=0\) or, equivalently,
\[\label{eq:13.2.18} \tanh k=-\frac{2k}{1-3k^{2}}. \]
The graph of the right side (Figure 13.2.1 ) has a vertical asymptote at \(k=1/\sqrt{3}\). Since the two sides have different signs if \(k<1/\sqrt{3}\), this equation has no solution in \((0,1/\sqrt{3})\). Figure 13.2.1 shows the graphs of the two sides of Equation \ref{eq:13.2.18} on an interval to the right of the vertical asymptote, which is indicated by the dashed line. You can see that the two curves intersect near \(k_{0}=1.2\), Given this estmate, you can use Newton’s to compute \(k_{0}\) more accurately. We computed \(k_{0}\approx 1.1219395\). Therefore \(-k_{0}^{2}\approx -1.2587483\) is an eigenvalue of Equation \ref{eq:13.2.15}. From Equation \ref{eq:13.2.16} and the first equation in Equation \ref{eq:13.2.17},
\[y_{0}=k_{0}\cosh k_{0}x-\sinh k_{0}x. \nonumber \]
If \(\lambda>0\) we write \(\lambda=k^{2}\) where \(k>0\), and differential equation in Equation \ref{eq:13.2.15} becomes \(y''+k^{2}y=0\), with general solution
\[\label{eq:13.2.19} y= \cos kx + c_{2}\sin kx, \]
so
\[y'=k(-c_{1}\sin kx+c_{2}\cos kx). \nonumber \]
The boundary conditions require that
\[\label{eq:13.2.20} \begin{array}{c} {c_{1}+kc_{2}=0}\\[4pt] {(\cos k-3k\sin k)c_{1}+(\sin k+3k\cos k)c_{2}=0.} \end{array} \]
The determinant of this system is
\[\begin{aligned} D_{P}(k)&= \left|\begin{array}{cccccc} 1&k\\[4pt] \cos k-3k\sin k&\sin k+3k \cos k \end{array}\right| \\[4pt] &= (1+3k^{2})\sin k+2k \cos k.\end{aligned} \nonumber \]
The system Equation \ref{eq:13.2.20} has a nontrivial solution if and only if \(D_{P}(k)=0\) or, equivalently,
\[\tan k=-\frac{2k}{1+3k^{2}}. \nonumber \]
Figure 13.2.2 shows the graphs of the two sides of this equation. You can see from the figure that the graphs intersect at infinitely many points \(k_{n}\approx n\pi\) (\(n=1\), \(2\), \(3\),…), where the error in this approximation approaches zero as \(n\to\infty\). Given this estimate, you can use Newton’s method to compute \(k_{n}\) more accurately. We computed
\[\begin{aligned} k_{1}&\approx \phantom{1}2.9256856,\\[4pt] k_{2}&\approx \phantom{1} 6.1765914,\\[4pt] k_{3}&\approx \phantom{1} 9.3538959,\\[4pt] k_{4}&\approx 12.5132570.\end{aligned} \nonumber \]
The estimates of the corresponding eigenvalues \(\lambda_{n}=k_{n}^{2}\) are
\[\begin{aligned} \lambda_{1}&\approx \phantom{15} 8.5596361,\\[4pt] \lambda_{2}&\approx \phantom{5} 38.1502809,\\[4pt] \lambda_{3}&\approx \phantom{5} 87.4953676,\\[4pt] \lambda_{4}&\approx 156.5815998.\end{aligned} \nonumber \]
From Equation \ref{eq:13.2.19} and the first equation in Equation \ref{eq:13.2.20},
\[y_{n}=k_{n}\cos k_{n}x-\sin k_{n}x \nonumber \]
is an eigenfunction associated with \(\lambda_{n}\)
Since the differential equations in Equation \ref{eq:13.2.12} and Equation \ref{eq:13.2.14} are more complicated than those in Equation \ref{eq:13.2.11} and Equation \ref{eq:13.2.13} respectively, what is the point of Theorem 13.2.1 ? The point is this: to solve a specific problem, it may be better to deal with it directly, as we did in Examples 13.2.1 and 13.2.2 ; however, we’ll see that transforming the general eigenvalue problem Equation \ref{eq:13.2.1} to the Sturm–Liouville problem Equation \ref{eq:13.2.10} leads to results applicable to all eigenvalue problems of the form Equation \ref{eq:13.2.1}.
If
\[Ly=(p(x)y')'+q(x)y \nonumber \]
and \(u\) and \(v\) are twice continuously functions on \([a,b]\) that satisfy the boundary conditions \(B_{1}(y)=0\) and \(B_{2}(y)=0,\) then
\[\label{eq:13.2.21} \int_{a}^{b}[u(x)Lv(x)-v(x)Lu(x)]\,dx=0. \]
- Proof
-
Integration by parts yields
\[\begin{aligned} \int_{a}^{b}[u(x)Lv(x)-v(x)Lu(x)]\,dx&= \int_{a}^{b}[u(x)(p(x)v'(x))'-v(x)(p(x)u'(x))']\,dx\\[4pt] &= p(x)[u(x)v'(x)-u'(x)v(x)]\bigg|_{a}^{b}\\[4pt] &-\int_{a}^{b}p(x)[u'(x)v'(x)-u'(x)v'(x)]\,dx.\end{aligned} \nonumber \]
Since the last integral equals zero,
\[\label{eq:13.2.22} \int_{a}^{b}[u(x)Lv(x)-v(x)Lu(x)]\,dx = p(x)[u(x)v'(x)-u'(x)v'(x)]\bigg|_{a}^{b}. \]
By assumption, \(B_{1}(u)=B_{1}(v)=0\) and \(B_{2}(u)=B_{2}(v)=0\). Therefore
\[\begin{aligned} \alpha u(a)+\beta u'(a)&=0\\[4pt] \alpha v(a)+\beta v'(a)&=0\\[4pt] \end{aligned} \quad \quad \text{and} \quad \quad \begin{gathered} \rho u(b)+\delta u'(b)=0\phantom{.}\\[4pt] \rho v(b)+\delta v'(b)=0. \end{gathered} \nonumber \]
Since \(\alpha^{2}+\beta^{2}>0\) and \(\rho^{2}+\delta^{2}>0\), the determinants of these two systems must both be zero; that is,
\[u(a)v'(a)-u'(a)v(a)=u(b)v'(b)-u'(b)v(b)=0. \nonumber \]
This and Equation \ref{eq:13.2.22} imply Equation \ref{eq:13.2.21}, which completes the proof.
The next theorem shows that a Sturm–Liouville problem has no complex eigenvalues.
If \(\lambda=p+qi\) with \(q\ne0\) then the boundary value problem
\[Ly+\lambda r(x)y=0,\quad B_{1}(y)=0,\quad B_{2}(y)=0 \nonumber \]
has only the trivial solution.
- Proof
-
For this theorem to make sense, we must consider complex-valued solutions of
\[\label{eq:13.2.23} Ly+(p+iq)r(x,y)y=0. \]
If \(y=u+iv\) where \(u\) and \(v\) are real-valued and twice differentiable, we define \(y'=u'+iv'\) and \(y''=u''+iv''\). We say that \(y\) is a solution of Equation \ref{eq:13.2.23} if the real and imaginary parts of the left side of Equation \ref{eq:13.2.23} are both zero. Since \(Ly=(p(x)'y)'+q(x)y\) and \(p\), \(q\), and \(r\) are real-valued,
\[\begin{aligned} Ly+\lambda r(x)y&=L(u+iv)+(p+iq)r(x)(u+iv)\\[4pt] &=Lu+r(x)(pu-qv)+i[Lv+r(x)(pu+qv)],\end{aligned} \nonumber \]
so \(Ly+\lambda r(x)y=0\) if and only if
\[\begin{aligned} Lu+r(x)(pu-qv)&=0\\[4pt] Lv+r(x)(qu+pv)&=0.\end{aligned} \nonumber \]
Multiplying the first equation by \(v\) and the second by \(u\) yields
\[\begin{aligned} vLu+r(x)(puv-qv^{2})&=0\\[4pt] uLv+r(x)(qu^{2}+puv)&=0.\end{aligned} \nonumber \]
Subtracting the first equation from the second yields
\[uLv-vLu+qr(x)(u^{2}+v^{2})=0, \nonumber \]
so
\[\label{eq:13.2.24} \int_{a}^{b}[u(x)Lv(x)-v(x)Lu(x)]\,dx+ \int_{a}^{b}r(x)[u^{2}(x)+v^{2}(x)]\,dx=0. \]
Since
\[B_{1}(y)=B_{1}(u+iv)=B_{1}(u)+iB_{1}(v) \nonumber \]
and
\[B_{2}(y)=B_{2}(u+iv)=B_{2}(u)+iB_{2}(v), \nonumber \]
\(B_{1}(y)=0\) and \(B_{2}(y)=0\) implies that
\[B_{1}(u)=B_{2}(u)=B_{1}(v)=B_{2}(v)=0. \nonumber \]
Therefore Theorem 13.2.2 implies that first integral in Equation \ref{eq:13.2.24} equals zero, so Equation \ref{eq:13.2.24} reduces to
\[q\int_{a}^{b}r(x)[u^{2}(x)+v^{2}(x)]\,dx =0.\nonumber \]
Since \(r\) is positive on \([a,b]\) and \(q\ne0\) by assumption, this implies that \(u\equiv0\) and \(v\equiv0\) on \([a,b]\). Therefore \(y\equiv0\) on \([a,b]\), which completes the proof.
If \(\lambda_{1}\) and \(\lambda_{2}\) are distinct eigenvalues of the Sturm–Liouville problem
\[\label{eq:13.2.25} Ly+\lambda r(x)y=0,\quad B_{1}(y)=0,\quad B_{2}(y)=0 \]
with associated eigenfunctions \(u\) and \(v\) respectively\(,\) then
\[\label{eq:13.2.26} \int_{a}^{b}r(x)u(x)v(x)\,dx=0. \]
- Proof
-
Since \(u\) and \(v\) satisfy the boundary conditions in Equation \ref{eq:13.2.25}, Theorem 13.2.2 implies that
\[\int_{a}^{b}[u(x)Lv(x)-v(x)Lu(x)]\,dx=0. \nonumber \]
Since \(Lu=-\lambda_{1}ru\) and \(Lv=-\lambda_{2}rv\), this implies that
\[(\lambda_{1}-\lambda_{2})\int_{a}^{b}r(x)u(x)v(x)\,dx=0. \nonumber \]
Since \(\lambda_{1}\ne\lambda_{2}\), this implies Equation \ref{eq:13.2.26}, which completes the proof.
If \(u\) and \(v\) are any integrable functions on \([a,b]\) and
\[\int_{a}^{b} r(x)u(x)v(x)\,dx=0, \nonumber \]
we say that \(u\) and \(v\) orthogonal on \([a,b]\) with respect to \(r=r(x)\).
Theorem 13.1.1 implies the next theorem.
If \(u\not\equiv0\) and \(v\) both satisfy
\[Ly+\lambda r(x)y=0,\quad B_{1}(y)=0,\quad B_{2}(y)=0, \nonumber \]
then \(v=cu\) for some constant \(c.\)
We’ve now proved parts of the next theorem. A complete proof is beyond the scope of this book.
The set of all eigenvalues of the Sturm–Liouville problem
\[Ly+\lambda r(x)y=0,\quad B_{1}(y)=0,\quad B_{2}(y)=0 \nonumber \]
can be ordered as
\[\lambda_{1}<\lambda_{2}<\cdots<\lambda_{n}<\cdots, \nonumber \]
and
\[\lim_{n\to\infty} \lambda_{n}=\infty. \nonumber \]
For each \(n,\) if \(y_{n}\) is an arbitrary \(\lambda_{n}\)-eigenfunction\(,\) then every \(\lambda_{n}\)-eigenfunction is a constant multiple of \(y_{n}.\) If \(m\ne n,\) \(y_{m}\) and \(y_{n}\) are orthogonal \([a,b]\) with respect to \(r=r(x);\) that is\(,\)
\[\label{eq:13.2.27} \int_{a}^{b} r(x)y_{m}(x)y_{n}(x)\,dx=0. \]
You may want to verify Equation \ref{eq:13.2.27} for the eigenfunctions obtained in Examples 13.2.1 and 13.2.2 .
In conclusion, we mention the next theorem. The proof is beyond the scope of this book.
Let \(\lambda_{1}<\lambda_{2}<\cdots<\lambda_{n}<\cdots\) be the eigenvalues of the Sturm–Liouville problem
\[Ly+\lambda r(x)y=0,\quad B_{1}(y)=0,\quad B_{2}(y)=0,\nonumber \]
with associated eigenvectors \(y_{1},\) \(y_{2},\) …, \(y_{n},\) …\(.\) Suppose \(f\) is piecewise smooth (Definition 11.2.3) on \([a,b].\) For each \(n,\) let
\[c_{n}=\frac{ \int_{a}^{b} r(x)f(x)y_{n}(x) \, dx}{ \int_{a}^{b} r(x)y_{n}^{2}(x)\,dx}.\nonumber \]
Then
\[\frac{f(x-)+f(x+)}{2}=\sum_{n=1}^{\infty}c_{n}y_{n}(x) \nonumber \]
for all \(x\) in the open interval \((a,b).\)