Skip to main content
Logo image

Introduction to Differential Equations

Section 5.1 Boundary value problems

Subsection 5.1.1 Boundary value problems

Before we tackle the Fourier series, we study the so-called boundary value problems (or endpoint problems). Consider
\begin{equation*} x'' + \lambda x = 0, \quad x(a) = 0, \quad x(b) = 0, \end{equation*}
for some constant \(\lambda\text{,}\) where \(x(t)\) is defined for \(t\) in the interval \([a,b]\text{.}\) Previously we specified the value of the solution and its derivative at a single point. Now we specify the value of the solution at two different points. As \(x=0\) is a solution, existence of solutions is not a problem. Uniqueness of solutions is another issue. The general solution to \(x'' + \lambda x = 0\) has two arbitrary constants 1 . It is, therefore, natural (but wrong) to believe that requiring two conditions guarantees a unique solution.

Example 5.1.1.

Take \(\lambda = 1\text{,}\) \(a=0\text{,}\) \(b=\pi\text{.}\) That is,
\begin{equation*} x'' + x = 0, \quad x(0) = 0, \quad x(\pi) = 0. \end{equation*}
Then \(x = \sin t\) is another solution (besides \(x=0\)) satisfying both boundary conditions. There are more. Write down the general solution of the differential equation, which is \(x= A \cos t + B \sin t\text{.}\) The condition \(x(0) = 0\) forces \(A=0\text{.}\) Letting \(x(\pi) = 0\) does not give us any more information as \(x = B \sin t\) already satisfies both boundary conditions. Hence, there are infinitely many solutions of the form \(x = B \sin t\text{,}\) where \(B\) is an arbitrary constant.

Example 5.1.2.

On the other hand, consider \(\lambda = 2\text{.}\) That is,
\begin{equation*} x'' + 2 x = 0, \quad x(0) = 0, \quad x(\pi) = 0. \end{equation*}
Then the general solution is \(x= A \cos ( \sqrt{2}\,t) + B \sin ( \sqrt{2}\,t)\text{.}\) Letting \(x(0) = 0\) still forces \(A = 0\text{.}\) We apply the second condition to find \(0=x(\pi) = B \sin ( \sqrt{2}\,\pi)\text{.}\) As \(\sin ( \sqrt{2}\,\pi) \not= 0\) we obtain \(B = 0\text{.}\) Therefore \(x=0\) is the unique solution to this problem.
What is going on? We will be interested in finding which constants \(\lambda\) allow a nonzero solution, and we will be interested in finding those solutions. This problem is an analogue of finding eigenvalues and eigenvectors of matrices.

Subsection 5.1.2 Eigenvalue problems

For basic Fourier series theory we will need the following three eigenvalue problems. We will consider more general equations and boundary conditions, but we will postpone this until Chapter 6.
\begin{equation} x'' + \lambda x = 0, \quad x(a) = 0, \quad x(b) = 0 ,\tag{5.1} \end{equation}
\begin{equation} x'' + \lambda x = 0, \quad x'(a) = 0, \quad x'(b) = 0 ,\tag{5.2} \end{equation}
and
\begin{equation} x'' + \lambda x = 0, \quad x(a) = x(b), \quad x'(a) = x'(b) .\tag{5.3} \end{equation}
A number \(\lambda\) is called an eigenvalue of (5.1) (resp. (5.2) or (5.3)) if and only if there exists a nonzero (not identically zero) solution to (5.1) (resp. (5.2) or (5.3)) given that specific \(\lambda\text{.}\) A nonzero solution is called a corresponding eigenfunction.
Note the similarity to eigenvalues and eigenvectors of matrices. The similarity is not just coincidental. If we think of the equations as differential operators, then we are doing the same exact thing. Think of a function \(x(t)\) as a vector with infinitely many components (one for each \(t\)). Let \(L = -\frac{d^2}{{dt}^2}\) be the linear operator. Then the eigenvalue/eigenfunction pair should be \(\lambda\) and nonzero \(x\) such that \(Lx = \lambda x\text{.}\) In other words, we are looking for nonzero functions \(x\) satisfying certain endpoint conditions that solve \((L- \lambda)x = 0\text{.}\) A lot of the formalism from linear algebra still applies here, though we will not pursue this line of reasoning too far.

Example 5.1.3.

Let us find the eigenvalues and eigenfunctions of
\begin{equation*} x'' + \lambda x = 0, \quad x(0) = 0, \quad x(\pi) = 0 . \end{equation*}
We have to handle the cases \(\lambda > 0\text{,}\) \(\lambda = 0\text{,}\) \(\lambda < 0\) separately. First suppose that \(\lambda > 0\text{.}\) Then the general solution to \(x''+\lambda x = 0\) is
\begin{equation*} x = A \cos ( \sqrt{\lambda}\, t) + B \sin ( \sqrt{\lambda}\, t). \end{equation*}
The condition \(x(0) = 0\) implies immediately \(A = 0\text{.}\) Next
\begin{equation*} 0 = x(\pi) = B \sin ( \sqrt{\lambda}\, \pi ) . \end{equation*}
If \(B\) is zero, then \(x\) is not a nonzero solution. So to get a nonzero solution we must have that \(\sin ( \sqrt{\lambda}\, \pi) = 0\text{.}\) Hence, \(\sqrt{\lambda}\, \pi\) must be an integer multiple of \(\pi\text{.}\) In other words, \(\sqrt{\lambda} = k\) for a positive integer \(k\text{.}\) Hence the positive eigenvalues are \(k^2\) for all integers \(k \geq 1\text{.}\) Corresponding eigenfunctions can be taken as \(x=\sin (k t)\text{.}\) Just like for eigenvectors, constant multiples of an eigenfunction are also eigenfunctions, so we only need to pick one.
Now suppose that \(\lambda = 0\text{.}\) In this case the equation is \(x'' = 0\text{,}\) and its general solution is \(x = At + B\text{.}\) The condition \(x(0) = 0\) implies that \(B=0\text{,}\) and \(x(\pi) = 0\) implies that \(A = 0\text{.}\) This means that \(\lambda = 0\) is not an eigenvalue.
Finally, suppose that \(\lambda < 0\text{.}\) In this case we have the general solution 2 
\begin{equation*} x = A \cosh ( \sqrt{-\lambda}\, t) + B \sinh ( \sqrt{-\lambda}\, t ) . \end{equation*}
Letting \(x(0) = 0\) implies that \(A = 0\) (recall \(\cosh 0 = 1\) and \(\sinh 0 = 0\)). So our solution must be \(x = B \sinh ( \sqrt{-\lambda}\, t )\) and satisfy \(x(\pi) = 0\text{.}\) This is only possible if \(B\) is zero. Why? Because \(\sinh \xi\) is only zero when \(\xi=0\text{.}\) You should plot sinh to see this fact. We can also see this from the definition of sinh. We get \(0 = \sinh \xi = \frac{e^\xi - e^{-\xi}}{2}\text{.}\) Hence \(e^\xi = e^{-\xi}\text{,}\) which implies \(\xi = -\xi\) and that is only true if \(\xi=0\text{.}\) So there are no negative eigenvalues.
In summary, the eigenvalues and corresponding eigenfunctions are
\begin{equation*} \lambda_k = k^2 \qquad \text{with an eigenfunction} \qquad x_k = \sin (k t) \qquad \text{for all integers } k \geq 1 . \end{equation*}

Example 5.1.4.

Let us compute the eigenvalues and eigenfunctions of
\begin{equation*} x'' + \lambda x = 0, \quad x'(0) = 0, \quad x'(\pi) = 0 . \end{equation*}
Again we have to handle the cases \(\lambda > 0\text{,}\) \(\lambda = 0\text{,}\) \(\lambda < 0\) separately. First suppose that \(\lambda > 0\text{.}\) The general solution to \(x''+\lambda x = 0\) is \(x = A \cos ( \sqrt{\lambda}\, t) + B \sin ( \sqrt{\lambda}\, t)\text{.}\) So
\begin{equation*} x' = -A\sqrt{\lambda}\, \sin ( \sqrt{\lambda}\, t) + B\sqrt{\lambda}\, \cos (\sqrt{\lambda}\, t) . \end{equation*}
The condition \(x'(0) = 0\) implies immediately \(B = 0\text{.}\) Next
\begin{equation*} 0 = x'(\pi) = -A\sqrt{\lambda}\, \sin ( \sqrt{\lambda}\, \pi) . \end{equation*}
Again \(A\) cannot be zero if \(\lambda\) is to be an eigenvalue, and \(\sin ( \sqrt{\lambda}\, \pi)\) is only zero if \(\sqrt{\lambda} = k\) for a positive integer \(k\text{.}\) Hence the positive eigenvalues are again \(k^2\) for all integers \(k \geq 1\text{.}\) And the corresponding eigenfunctions can be taken as \(x=\cos (k t)\text{.}\)
Now suppose that \(\lambda = 0\text{.}\) In this case the equation is \(x'' = 0\) and the general solution is \(x = At + B\) so \(x' = A\text{.}\) The condition \(x'(0) = 0\) implies that \(A=0\text{.}\) The condition \(x'(\pi) = 0\) also implies \(A=0\text{.}\) Hence \(B\) could be anything (let us take it to be 1). So \(\lambda = 0\) is an eigenvalue and \(x=1\) is a corresponding eigenfunction.
Finally, let \(\lambda < 0\text{.}\) In this case the general solution is \(x = A \cosh ( \sqrt{-\lambda}\, t) + B \sinh ( \sqrt{-\lambda}\, t)\) and
\begin{equation*} x' = A\sqrt{-\lambda}\, \sinh ( \sqrt{-\lambda}\, t) + B\sqrt{-\lambda}\, \cosh ( \sqrt{-\lambda}\, t ) . \end{equation*}
We have already seen (with roles of \(A\) and \(B\) switched) that for this expression to be zero at \(t=0\) and \(t=\pi\text{,}\) we must have \(A=B=0\text{.}\) Hence there are no negative eigenvalues.
In summary, the eigenvalues and corresponding eigenfunctions are
\begin{equation*} \lambda_k = k^2 \qquad \text{with an eigenfunction} \qquad x_k = \cos (k t) \qquad \text{for all integers } k \geq 1 , \end{equation*}
and there is another eigenvalue
\begin{equation*} \lambda_0 = 0 \qquad \text{with an eigenfunction} \qquad x_0 = 1. \end{equation*}
The following problem is the one that leads to the general Fourier series.

Example 5.1.5.

Let us compute the eigenvalues and eigenfunctions of
\begin{equation*} x'' + \lambda x = 0, \quad x(-\pi) = x(\pi), \quad x'(-\pi) = x'(\pi) . \end{equation*}
We have not specified the values or the derivatives at the endpoints, but rather that they are the same at the beginning and at the end of the interval.
Let us skip \(\lambda < 0\text{.}\) The computations are the same as before, and again we find that there are no negative eigenvalues.
For \(\lambda = 0\text{,}\) the general solution is \(x = At + B\text{.}\) The condition \(x(-\pi) = x(\pi)\) implies that \(A=0\) (\(A\pi + B = -A\pi +B\) implies \(A=0\)). The second condition \(x'(-\pi) = x'(\pi)\) says nothing about \(B\) and hence \(\lambda=0\) is an eigenvalue with a corresponding eigenfunction \(x=1\text{.}\)
For \(\lambda > 0\) we get that \(x = A \cos ( \sqrt{\lambda}\, t ) + B \sin ( \sqrt{\lambda}\, t)\text{.}\) Now
\begin{equation*} \underbrace{A \cos (-\sqrt{\lambda}\, \pi) + B \sin (-\sqrt{\lambda}\, \pi)}_{x(-\pi)} = \underbrace{A \cos ( \sqrt{\lambda}\, \pi ) + B \sin ( \sqrt{\lambda}\, \pi)}_{x(\pi)} . \end{equation*}
We remember that \(\cos (- \theta) = \cos (\theta)\) and \(\sin (-\theta) = - \sin (\theta)\text{.}\) Therefore,
\begin{equation*} A \cos (\sqrt{\lambda}\, \pi) - B \sin ( \sqrt{\lambda}\, \pi) = A \cos (\sqrt{\lambda}\, \pi) + B \sin ( \sqrt{\lambda}\, \pi). \end{equation*}
Hence either \(B=0\) or \(\sin ( \sqrt{\lambda}\, \pi) = 0\text{.}\) Similarly (exercise) if we differentiate \(x\) and plug in the second condition we find that \(A=0\) or \(\sin ( \sqrt{\lambda}\, \pi) = 0\text{.}\) Therefore, unless we want \(A\) and \(B\) to both be zero (which we do not) we must have \(\sin ( \sqrt{\lambda}\, \pi ) = 0\text{.}\) Hence, \(\sqrt{\lambda}\) is an integer and the eigenvalues are yet again \(\lambda = k^2\) for an integer \(k \geq 1\text{.}\) In this case, however, \(x = A \cos (k t) + B \sin (k t)\) is an eigenfunction for any \(A\) and any \(B\text{.}\) So we have two linearly independent eigenfunctions \(\sin (kt)\) and \(\cos (kt)\text{.}\) Remember that for a matrix we can also have two eigenvectors corresponding to a single eigenvalue if the eigenvalue is repeated.
In summary, the eigenvalues and corresponding eigenfunctions are
\begin{equation*} \begin{aligned} & \lambda_k = k^2 & & \text{with eigenfunctions} & & \cos (k t) \quad \text{and}\quad \sin (k t) & & \text{for all integers } k \geq 1 , \\ & \lambda_0 = 0 & & \text{with an eigenfunction} & & x_0 = 1. \end{aligned} \end{equation*}

Subsection 5.1.3 Orthogonality of eigenfunctions

Something that will be very useful in the next section is the orthogonality property of the eigenfunctions. This is an analogue of the following fact about eigenvectors of a matrix. A matrix is called symmetric if \(A = A^T\) (it is equal to its transpose). Eigenvectors for two distinct eigenvalues of a symmetric matrix are orthogonal. The differential operators we are dealing with act much like a symmetric matrix. We, therefore, get the following theorem.
The terminology comes from the fact that the integral is a type of inner product. We will expand on this in the next section. The theorem has a very short, elegant, and illuminating proof so let us give it here. First, we have the following two equations.
\begin{equation*} x_1'' + \lambda_1 x_1 = 0 \qquad \text{and} \qquad x_2'' + \lambda_2 x_2 = 0. \end{equation*}
Multiply the first by \(x_2\) and the second by \(x_1\) and subtract to get
\begin{equation*} (\lambda_1 - \lambda_2) x_1 x_2 = x_2'' x_1 - x_2 x_1'' . \end{equation*}
Now integrate both sides of the equation:
\begin{equation*} \begin{split} (\lambda_1 - \lambda_2) \int_a^b x_1 x_2 \,dt & = \int_a^b x_2'' x_1 - x_2 x_1'' \,dt \\ & = \int_a^b \frac{d}{dt} \left( x_2' x_1 - x_2 x_1' \right) \,dt \\ & = \Bigl[ x_2' x_1 - x_2 x_1' \Bigr]_{t=a}^b = 0 . \end{split} \end{equation*}
The last equality holds because of the boundary conditions. For example, if we consider (5.1) we have \(x_1(a) = x_1(b) = x_2(a) = x_2(b) = 0\) and so \(x_2' x_1 - x_2 x_1'\) is zero at both \(a\) and \(b\text{.}\) As \(\lambda_1 \not= \lambda_2\text{,}\) the theorem follows.
Verify: finish the proof of the theorem (check the last equality in the proof) for the cases (5.2) and (5.3).
The function \(\sin (n t)\) is an eigenfunction for the problem \(x''+\lambda x = 0\text{,}\) \(x(0) = 0\text{,}\) \(x(\pi) = 0\text{.}\) Hence for positive integers \(n\) and \(m\) we have the integrals
\begin{equation*} \int_{0}^\pi \sin (mt) \sin (nt) \,dt = 0 , \quad \text{when } m \not = n. \end{equation*}
Similarly,
\begin{equation*} \int_{0}^\pi \cos (mt) \cos (nt) \,dt = 0 , \quad \text{when } m \not = n, \qquad \text{and} \qquad \int_{0}^\pi \cos (nt) \,dt = 0 . \end{equation*}
And finally we also get
\begin{equation*} \int_{-\pi}^\pi \sin (mt) \sin (nt) \,dt = 0 , \quad \text{when } m \not = n, \qquad \text{and} \qquad \int_{-\pi}^\pi \sin (nt) \,dt = 0 , \end{equation*}
\begin{equation*} \int_{-\pi}^\pi \cos (mt) \cos (nt) \,dt = 0 , \quad \text{when } m \not = n, \qquad \text{and} \qquad \int_{-\pi}^\pi \cos (nt) \,dt = 0 , \end{equation*}
and
\begin{equation*} \int_{-\pi}^\pi \cos (mt) \sin (nt) \,dt = 0 \qquad \text{(even if $m=n$).} \end{equation*}

Subsection 5.1.4 Fredholm alternative

We now touch on a very useful theorem in the theory of differential equations. The theorem holds in a more general setting than we are going to state it, but for our purposes the following statement is sufficient. We will give a slightly more general version in Chapter 6.
The theorem is also true for the other types of boundary conditions we considered. The theorem means that if \(\lambda\) is not an eigenvalue, the nonhomogeneous equation (5.5) has a unique solution for every right-hand side. On the other hand if \(\lambda\) is an eigenvalue, then (5.5) need not have a solution for every \(f\text{,}\) and furthermore, even if it happens to have a solution, the solution is not unique.
We also want to reinforce the idea here that linear differential operators have much in common with matrices. So it is no surprise that there is a finite-dimensional version of Fredholm alternative for matrices as well. Let \(A\) be an \(n \times n\) matrix. The Fredholm alternative then states that either \((A-\lambda I) \vec{x} = \vec{0}\) has a nontrivial solution, or \((A-\lambda I) \vec{x} = \vec{b}\) has a unique solution for every \(\vec{b}\text{.}\)
A lot of intuition from linear algebra can be applied to linear differential operators, but one must be careful of course. For example, one difference we have already seen is that in general a differential operator will have infinitely many eigenvalues, while a matrix has only finitely many.

Subsection 5.1.5 Application

Let us consider a physical application of an endpoint problem. Suppose we have a tightly stretched quickly spinning elastic string or rope of uniform linear density \(\rho\text{,}\) for example in \(\unitfrac{kg}{m}\text{.}\) Let us put this problem into the \(xy\)-plane and both \(x\) and \(y\) are in meters. The \(x\)-axis represents the position on the string. The string rotates at angular velocity \(\omega\text{,}\) in \(\unitfrac{radians}{s}\text{.}\) Imagine that the whole \(xy\)-plane rotates at angular velocity \(\omega\text{.}\) This way, the string stays in this \(xy\)-plane and \(y\) measures its deflection from the equilibrium position, \(y=0\text{,}\) on the \(x\)-axis. Hence the graph of \(y\) gives the shape of the string. We consider an ideal string with no volume, just a mathematical curve. We suppose the tension on the string is a constant \(T\) in Newtons. Assuming that the deflection is small, we can use Newton’s second law (let us skip the derivation) to get the equation
\begin{equation*} T y'' + \rho \omega^2 y = 0 . \end{equation*}
To check the units notice that the units of \(y''\) are \(\unitfrac{m}{m^2}\text{,}\) as the derivative is in terms of \(x\text{.}\)
Let \(L\) be the length of the string (in meters) and the string is fixed at the beginning and end points. Hence, \(y(0) = 0\) and \(y(L) = 0\text{.}\) See Figure 5.1.
Figure 5.1. Whirling string.
We rewrite the equation as \(y'' + \frac{\rho \omega^2}{T} y = 0\text{.}\) The setup is similar to Example 5.1.3, except for the interval length being \(L\) instead of \(\pi\text{.}\) We are looking for eigenvalues of \(y'' + \lambda y = 0, y(0) = 0, y(L) = 0\) where \(\lambda = \frac{\rho \omega^2}{T}\text{.}\) As before there are no nonpositive eigenvalues. With \(\lambda > 0\text{,}\) the general solution to the equation is \(y = A \cos ( \sqrt{\lambda} \,x ) + B \sin ( \sqrt{\lambda} \,x )\text{.}\) The condition \(y(0) = 0\) implies that \(A = 0\) as before. The condition \(y(L) = 0\) implies that \(\sin ( \sqrt{\lambda} \, L) = 0\) and hence \(\sqrt{\lambda} \, L = k \pi\) for some integer \(k > 0\text{,}\) so
\begin{equation*} \frac{\rho \omega^2}{T} = \lambda = \frac{k^2 \pi^2}{L^2} . \end{equation*}
What does this say about the shape of the string? It says that for all parameters \(\rho\text{,}\) \(\omega\text{,}\) \(T\) not satisfying the equation above, the string is in the equilibrium position, \(y=0\text{.}\) When \(\frac{\rho \omega^2}{T} = \frac{k^2 \pi^2}{L^2}\text{,}\) then the string will “pop out” some distance \(B\text{.}\) We cannot compute \(B\) with the information we have.
Let us assume that \(\rho\) and \(T\) are fixed and we are changing \(\omega\text{.}\) For most values of \(\omega\) the string is in the equilibrium state. When the angular velocity \(\omega\) hits a value \(\omega = \frac{k \pi \sqrt{T}}{L\sqrt{\rho}}\text{,}\) then the string pops out and has the shape of a sin wave crossing the \(x\)-axis \(k-1\) times between the end points. For example, at \(k=1\text{,}\) the string does not cross the \(x\)-axis and the shape looks like in Figure 5.1. On the other hand, when \(k=3\) the string crosses the \(x\)-axis 2 times, see Figure 5.2. When \(\omega\) changes again, the string returns to the equilibrium position. The higher the angular velocity, the more times it crosses the \(x\)-axis when it is popped out.
Figure 5.2. Whirling string at the third eigenvalue (\(k=3\)).
For another example, if you have a spinning jump rope (then \(k=1\) as it is completely “popped out”) and you pull on the ends to increase the tension, then the velocity also increases for the rope to stay “popped out”.

Subsection 5.1.6 Exercises

Exercise 5.1.1.

Suppose \(x'' + \lambda x = 0\) and \(x(0)=1\text{,}\) \(x(1) = 1\text{.}\) Find all \(\lambda\) for which there is more than one solution. Also find the corresponding solutions (only for the eigenvalues).
Solution.
Solving \(x''+\lambda x=0\text{,}\) the general solution will depend on whether \(\lambda>0\text{,}\) \(\lambda =0\text{,}\) or \(\lambda <0\text{.}\) Considering the case \(\lambda>0\text{,}\) we get two complex roots to the auxiliary equation and hence the general solution will be \(x(t)=A\cos(\sqrt{\lambda}t)+B\sin(\sqrt{\lambda}t)\text{.}\) Applying the given boundary conditions, we get \(\lambda_k = 4 k^2 \pi^2\) for \(k = 1,2,3,\ldots\)     \(x_k = \cos (2k\pi t) + B \sin (2k\pi t)\)     (for any \(B\)). Also, \(\lambda>0\) is the only case for which we get more than one solution.

Exercise 5.1.2.

Suppose \(x'' + x = 0\) and \(x(0)=0\text{,}\) \(x'(\pi) = 1\text{.}\) Find all the solution(s) if any exist.
Answer.
\(x(t) = - \sin(t)\)

Exercise 5.1.3.

Consider \(x' + \lambda x = 0\) and \(x(0)=0\text{,}\) \(x(1) = 0\text{.}\) Why does it not have any eigenvalues? Why does any first order equation with two endpoint conditions such as above have no eigenvalues?
Answer.
General solution is \(x = C e^{-\lambda t}\text{.}\) Since \(x(0) = 0\) then \(C=0\text{,}\) and so \(x(t) = 0\text{.}\) Therefore, the solution is always identically zero. One condition is always enough to guarantee a unique solution for a first order equation.

Exercise 5.1.4.

Solve the second order eigenvalue problem \(x' + \lambda x = 0\) and \(x(0)=0\text{,}\) \(x'(L) = 0\text{.}\)
Answer.
\(x(t)=\sin\frac{(2n-1)\pi t}{2L}\)
The following exercises won’t be covered in Math 204.

Exercise 5.1.5.

Compute all eigenvalues and eigenfunctions of \(x'' + \lambda x = 0, ~ x(a) = 0, ~ x(b) = 0\) (assume \(a < b\)).

Exercise 5.1.6.

Compute all eigenvalues and eigenfunctions of \(x'' + \lambda x = 0, ~ x'(a) = 0, ~ x'(b) = 0\) (assume \(a < b\)).

Exercise 5.1.7.

Compute all eigenvalues and eigenfunctions of \(x'' + \lambda x = 0, ~ x'(a) = 0, ~ x(b) = 0\) (assume \(a < b\)).

Exercise 5.1.8.

Compute all eigenvalues and eigenfunctions of \(x'' + \lambda x = 0, ~ x(a) = x(b), ~ x'(a) = x'(b)\) (assume \(a < b\)).

Exercise 5.1.9.

We skipped the case of \(\lambda < 0\) for the boundary value problem \(x'' + \lambda x = 0, ~ x(-\pi) = x(\pi), ~ x'(-\pi) = x'(\pi)\text{.}\) Finish the calculation and show that there are no negative eigenvalues.

Exercise 5.1.10.

Consider a spinning string of length 2 and linear density 0.1 and tension 3. Find smallest angular velocity when the string pops out.
Answer.
\(\omega = \pi \sqrt{\frac{15}{2}}\)

Exercise 5.1.11.

Suppose \(x'' + x = 0\) and \(x(0)=0\text{,}\) \(x'(\pi) = 1\text{.}\) Find all the solution(s) if any exist.
Answer.
\(x(t) = - \sin(t)\)

Exercise 5.1.12.

Consider \(x' + \lambda x = 0\) and \(x(0)=0\text{,}\) \(x(1) = 0\text{.}\) Why does it not have any eigenvalues? Why does any first order equation with two endpoint conditions such as above have no eigenvalues?
Answer.
General solution is \(x = C e^{-\lambda t}\text{.}\) Since \(x(0) = 0\) then \(C=0\text{,}\) and so \(x(t) = 0\text{.}\) Therefore, the solution is always identically zero. One condition is always enough to guarantee a unique solution for a first order equation.

Exercise 5.1.13.

(challenging)   Suppose \(x''' + \lambda x = 0\) and \(x(0)=0\text{,}\) \(x'(0) = 0\text{,}\) \(x(1) = 0\text{.}\) Suppose that \(\lambda > 0\text{.}\) Find an equation that all such eigenvalues must satisfy. Hint: Note that \(-\sqrt[3]{\lambda}\) is a root of \(r^3+\lambda = 0\text{.}\)
Answer.
\(\frac{\sqrt{3}}{3} e^{\frac{-3}{2}\sqrt[3]{\lambda}} - \frac{\sqrt{3}}{3} \cos \bigl( \frac{\sqrt{3}\, \sqrt[3]{\lambda}}{2} \bigr) + \sin \bigl( \frac{\sqrt{3}\, \sqrt[3]{\lambda}}{2}\bigr) = 0\)
Recall that \(\cosh s = \frac{1}{2}(e^s+e^{-s})\) and \(\sinh s = \frac{1}{2}(e^s-e^{-s})\text{.}\) As an exercise try the computation with the general solution written as \(x = A e^{\sqrt{-\lambda}\, t} + B e^{-\sqrt{-\lambda}\, t}\) (for different \(A\) and \(B\) of course).
Named after the Swedish mathematician Erik Ivar Fredholm 4  (1866–1927).
en.wikipedia.org/wiki/Fredholm
For a higher quality printout use the PDF version: https://www.jirka.org/diffyqs/diffyqs.pdf