Exercise 4.7.1.
Check that \(w(x,0) = 0\) and \(w_t(x,0) = g(x)\text{.}\)
Section 4.7 One-dimensional wave equation
Imagine we have a tensioned guitar string of length \(L\text{.}\) Let us only consider vibrations in one direction. Let \(x\) denote the position along the string, let \(t\) denote time, and let \(y\) denote the displacement of the string from the rest position. See Figure 4.20.
The equation that governs this setup is the so-called one-dimensional wave equation:
\begin{equation*}
\mybxbg{~~
y_{tt} =
a^2 y_{xx} ,
~~}
\end{equation*}
for some constant \(a > 0\text{.}\) The intuition is similar to the heat equation, replacing velocity with acceleration: the acceleration at a specific point is proportional to the second derivative of the shape of the string. In other words when the string is concave down then \(u_{xx}\) is negative and the string wants to accelerate downwards, so \(u_{tt}\) should be negative. And vice versa. The wave equation is an example of a hyperbolic PDE.
Assume that the ends of the string are fixed in place as on the guitar:
\begin{equation*}
y(0,t) = 0 \qquad \text{and} \qquad y(L,t) = 0.
\end{equation*}
Note that we have two conditions along the \(x\)-axis as there are two derivatives in the \(x\) direction.
There are also two derivatives along the \(t\) direction and hence we need two further conditions here. We need to know the initial position and the initial velocity of the string. That is, for some known functions \(f(x)\) and \(g(x)\text{,}\) we impose
\begin{equation*}
y(x,0) = f(x) \qquad \text{and} \qquad y_t (x,0) =
g(x) .
\end{equation*}
The equation is linear, so superposition works just as it did for the heat equation. And again we will use separation of variables to find enough building-block solutions to get the overall solution. There is one change however. It will be easier to solve two separate problems and add their solutions.
The two problems we will solve are
\begin{equation}
\begin{array}{ll}
w_{tt} = a^2 w_{xx} , & \\
w(0,t) = w(L,t) = 0 , & \\
w(x,0) = 0 & \qquad \text{for } \; 0 < x < L , \\
w_t(x,0) = g(x) & \qquad \text{for } \; 0 < x < L ,
\end{array}\tag{4.11}
\end{equation}
and
\begin{equation}
\begin{array}{ll}
z_{tt} = a^2 z_{xx} , & \\
z(0,t) = z(L,t) = 0 , & \\
z(x,0) = f(x) & \qquad \text{for } \; 0 < x < L , \\
z_t(x,0) = 0 & \qquad \text{for } \; 0 < x < L .
\end{array}\tag{4.12}
\end{equation}
The principle of superposition implies that \(y = w + z\) solves the wave equation and furthermore \(y(x,0) = w(x,0) + z(x,0) = f(x)\) and \(y_t(x,0) = w_t(x,0) + z_t(x,0) = g(x)\text{.}\) Hence, \(y\) is a solution to
\begin{equation}
\begin{array}{ll}
y_{tt} = a^2 y_{xx} , & \\
y(0,t) = y(L,t) = 0 , & \\
y(x,0) = f(x) & \qquad \text{for } \; 0 < x < L , \\
y_t(x,0) = g(x) & \qquad \text{for } \; 0 < x < L .
\end{array}\tag{4.13}
\end{equation}
The reason for all this complexity is that superposition only works for homogeneous conditions such as \(y(0,t) = y(L,t) = 0\text{,}\) \(y(x,0) = 0\text{,}\) or \(y_t(x,0) = 0\text{.}\) Therefore, we can use separation of variables to find many building-block solutions solving all the homogeneous conditions. We can then use them to construct a solution satisfying the remaining nonhomogeneous condition.
Let us start with (4.11). We try a solution of the form \(w(x,t) = X(x) T(t)\) again. We plug into the wave equation to obtain
\begin{equation*}
X(x)T''(t) = a^2 X''(x) T(t) .
\end{equation*}
Rewriting we get
\begin{equation*}
\frac{T''(t)}{a^2 T(t)} = \frac{X''(x)}{X(x)} .
\end{equation*}
Again, left-hand side depends only on \(t\) and the right-hand side depends only on \(x\text{.}\) So both sides equal a constant, which we denote by \(-\lambda\text{:}\)
\begin{equation*}
\frac{T''(t)}{a^2 T(t)} = -\lambda = \frac{X''(x)}{X(x)} .
\end{equation*}
We solve to get two ordinary differential equations
\begin{equation*}
\begin{aligned}
X''(x) + \lambda X(x) &= 0 , \\
T''(t) + \lambda a^2 T(t) &= 0 .
\end{aligned}
\end{equation*}
The condition \(0 = w(0,t) = X(0) T(t)\) implies \(X(0) = 0\) and \(w(L,t) = 0\) implies that \(X(L) = 0\text{.}\) Therefore, the only nontrivial solutions for the first equation are when \(\lambda = \lambda_n = \frac{n^2 \pi^2}{L^2}\) and they are
\begin{equation*}
X_n(x) = \sin \left( \frac{n \pi}{L} x \right) .
\end{equation*}
The general solution for \(T\) for this particular \(\lambda_n\) is
\begin{equation*}
T_n(t) = A \cos \left( \frac{n \pi a}{L} t \right)
+ B \sin \left( \frac{n \pi a}{L} t \right).
\end{equation*}
We also have the condition that \(w(x,0) = 0\) or \(X(x)T(0) = 0\text{.}\) This implies that \(T(0) = 0\text{,}\) which in turn forces \(A = 0\text{.}\) It is convenient to pick \(B=\frac{L}{n \pi a}\) (you will see why in a moment) and hence
\begin{equation*}
T_n(t) = \frac{L}{n \pi a} \sin \left( \frac{n \pi a}{L} t \right).
\end{equation*}
Our building-block solutions are
\begin{equation*}
w_n(x,t) =
\frac{L}{n \pi a}
\sin \left( \frac{n \pi}{L} x \right)
\sin \left( \frac{n \pi a}{L} t \right) .
\end{equation*}
We differentiate in \(t\text{:}\)
\begin{equation*}
\frac{\partial w_n}{\partial t}(x,t) =
\sin \left( \frac{n \pi}{L} x \right)
\cos \left( \frac{n \pi a}{L} t \right) .
\end{equation*}
Hence,
\begin{equation*}
\frac{\partial w_n}{\partial t}(x,0) =
\sin \left( \frac{n \pi}{L} x \right) .
\end{equation*}
We expand \(g(x)\) in terms of these sines as
\begin{equation*}
g(x) =
\sum_{n=1}^\infty b_n \sin \left( \frac{n \pi}{L} x \right) .
\end{equation*}
Using superposition we write the solution to (4.11) as a series
\begin{equation*}
w(x,t) =
\sum_{n=1}^\infty
b_n
w_n(x,t)
=
\sum_{n=1}^\infty
b_n
\frac{L}{n \pi a}
\sin \left( \frac{n \pi}{L} x \right)
\sin \left( \frac{n \pi a}{L} t \right) .
\end{equation*}
We solve (4.12) similarly. We again try \(z(x,y) = X(x)T(t)\text{.}\) The procedure works exactly the same at first. We obtain
\begin{equation*}
\begin{aligned}
X''(x) + \lambda X(x) &= 0 , \\
T''(t) + \lambda a^2 T(t) &= 0 ,
\end{aligned}
\end{equation*}
and the conditions \(X(0) = 0\text{,}\) \(X(L) = 0\text{.}\) So again \(\lambda = \lambda_n = \frac{n^2 \pi^2}{L^2}\) and
\begin{equation*}
X_n(x) = \sin \left( \frac{n \pi}{L} x \right) .
\end{equation*}
This time the condition on \(T\) is \(T'(0) = 0\text{.}\) Thus we get that \(B = 0\) and we take
\begin{equation*}
T_n(t) = \cos \left( \frac{n \pi a}{L} t \right).
\end{equation*}
Our building-block solution is
\begin{equation*}
z_n(x,t) =
\sin \left( \frac{n \pi}{L} x \right)
\cos \left( \frac{n \pi a}{L} t \right) .
\end{equation*}
As \(z_n(x,0) = \sin \left( \frac{n \pi}{L} x \right)\text{,}\) we expand \(f(x)\) in terms of these sines as
\begin{equation*}
f(x) =
\sum_{n=1}^\infty c_n \sin \left( \frac{n \pi}{L} x \right) .
\end{equation*}
And we write down the solution to (4.12) as a series
\begin{equation*}
z(x,t) =
\sum_{n=1}^\infty
c_n
z_n(x,t)
=
\sum_{n=1}^\infty
c_n
\sin \left( \frac{n \pi}{L} x \right)
\cos \left( \frac{n \pi a}{L} t \right) .
\end{equation*}
Exercise 4.7.2.
Fill in the details in the derivation of the solution of (4.12). Check that the solution satisfies all the side conditions.
Putting these two solutions together, let us state the result as a theorem.
Theorem 4.7.1.
Take the equation
\begin{equation}
\begin{array}{ll}
y_{tt} = a^2 y_{xx} , & \\
y(0,t) = y(L,t) = 0 , & \\
y(x,0) = f(x) & \qquad \text{for } \; 0 < x < L , \\
y_t(x,0) = g(x) & \qquad \text{for } \; 0 < x < L ,
\end{array}\tag{4.14}
\end{equation}
where
\begin{equation*}
f(x) =
\sum_{n=1}^\infty c_n \sin \left( \frac{n \pi}{L} x \right)
\qquad \text{and} \qquad
g(x) =
\sum_{n=1}^\infty b_n \sin \left( \frac{n \pi}{L} x \right) .
\end{equation*}
\begin{equation*}
\mybxbg{~~
\begin{aligned}
y(x,t)
& =
\sum_{n=1}^\infty
b_n
\frac{L}{n \pi a}
\sin \left( \frac{n \pi}{L} x \right)
\sin \left( \frac{n \pi a}{L} t \right)
+
c_n
\sin \left( \frac{n \pi}{L} x \right)
\cos \left( \frac{n \pi a}{L} t \right)
\\
& =
\sum_{n=1}^\infty
\sin \left( \frac{n \pi}{L} x \right)
\left[
b_n
\frac{L}{n \pi a}
\sin \left( \frac{n \pi a}{L} t \right)
+
c_n
\cos \left( \frac{n \pi a}{L} t \right)
\right] .
\end{aligned}
~~}
\end{equation*}
Example 4.7.1.
Consider a string of length 2 plucked in the middle, it has an initial shape given in Figure 4.21. That is,
\begin{equation*}
f(x) = \begin{cases}
0.1\, x & \text{if } \; 0 \leq x \leq 1 , \\
0.1\, (2-x) & \text{if } \; 1 < x \leq 2 .
\end{cases}
\end{equation*}
Let the string start at rest (\(g(x) =
0\)), and let \(a=1\) for simplicity. In other words, we wish to solve the problem:
\begin{equation*}
\begin{aligned}
& y_{tt} = y_{xx}, \\
& y(0,t) = y(2,t)= 0 , \\
& y(x,0) = f(x) \quad \text{and} \quad y_t(x,0)= 0 .
\end{aligned}
\end{equation*}
We leave it to the reader to compute the sine series of \(f(x)\text{.}\) The series will be
\begin{equation*}
f(x) = \sum_{n=1}^\infty
\frac{0.8}{n^2 \pi^2}
\sin \left( \frac{n \pi}{2} \right)
\sin \left( \frac{n \pi}{2} x \right) .
\end{equation*}
Note that \(\sin \left( \frac{n \pi}{2} \right)\) is the sequence \(1, 0, -1, 0, 1, 0, -1, \ldots\) for \(n = 1,2,3,4,\ldots\text{.}\) Therefore,
\begin{equation*}
f(x) =
\frac{0.8}{\pi^2}
\sin \left( \frac{\pi}{2} x \right)
-
\frac{0.8}{9 \pi^2}
\sin \left( \frac{3 \pi}{2} x \right)
+
\frac{0.8}{25 \pi^2}
\sin \left( \frac{5 \pi}{2} x \right)
- \cdots
\end{equation*}
The solution \(y(x,t)\) is given by
\begin{equation*}
\begin{split}
y(x,t) & =
\sum_{n=1}^\infty
\frac{0.8}{n^2 \pi^2}
\sin \left( \frac{n \pi}{2} \right)
\sin \left( \frac{n \pi}{2} x \right)
\cos \left( \frac{n \pi}{2} t \right)
\\
& =
\sum_{m=1}^\infty
\frac{0.8 {(-1)}^{m+1}}{{(2m-1)}^2 \pi^2}
\sin \left( \frac{(2m-1) \pi}{2} x \right)
\cos \left( \frac{(2m-1) \pi}{2} t \right)
\\
& =
\frac{0.8}{\pi^2}
\sin \left( \frac{\pi}{2} x \right)
\cos \left( \frac{\pi}{2} t \right)
-
\frac{0.8}{9 \pi^2}
\sin \left( \frac{3 \pi}{2} x \right)
\cos \left( \frac{3 \pi}{2} t \right)
\\
& \hspace{20em}
+
\frac{0.8}{25 \pi^2}
\sin \left( \frac{5 \pi}{2} x \right)
\cos \left( \frac{5 \pi}{2} t \right)
- \cdots
\end{split}
\end{equation*}
See Figure 4.22 for a plot for \(0 < t < 3\text{.}\) Notice that unlike the heat equation, the solution does not become “smoother,” the “sharp edges” remain. We will see the reason for this behavior in the next section where we derive the solution to the wave equation in a different way.
Make sure you understand what the plot, such as the one in the figure, is telling you. For each fixed \(t\text{,}\) you can think of the function \(y(x,t)\) as just a function of \(x\text{.}\) This function gives you the shape of the string at time \(t\text{.}\) See Figure 4.23 for plots of at \(y\) as a function of \(x\) at several different values of \(t\text{.}\) On this plot you can see the sharp edges remaining much better.
One thing to take away from all this is how a guitar sounds. Notice that the (angular) frequencies that come up in the solution are \(n \frac{\pi a}{L}\text{.}\) That is, there is a certain base fundamental frequency \(\frac{\pi a}{L}\text{,}\) and then we also get all the multiples of this frequency, which in music are called the overtones. Which overtones appear and with what amplitude is what musicians call the timbre of the note. Mathematicians usually call this the spectrum. Because all the frequencies are multiples of one frequency (the fundamental) we get a nice pleasing sound.
The fundamental frequency \(\frac{\pi a}{L}\) increases as we decrease length \(L\text{.}\) That is, if we place a finger on the fingerboard and then pluck a string we get a higher note. The constant \(a\) is given by
\begin{equation*}
a = \sqrt{\frac{T}{\rho}} ,
\end{equation*}
where \(T\) is tension and \(\rho\) is the linear density of the string. Tightening the string (turning the tuning peg on a guitar) increases \(a\) and hence produces a higher fundamental frequency (a higher note). On the other hand using a heavier string reduces \(a\) and produces a lower fundamental frequency (a lower note). A bass guitar has longer thicker strings, while a ukulele has short strings made of lighter material.
Something rather interesting is the almost symmetry between space and time. In its simplest form we see this symmetry in the solutions
\begin{equation*}
\sin \left( \frac{n \pi}{L} x \right)
\sin \left( \frac{n \pi a}{L} t \right) .
\end{equation*}
Except for the \(a\text{,}\) time and space are just the same.
In general, the solution for a fixed \(x\) is a Fourier series in \(t\text{,}\) for a fixed \(t\) it is a Fourier series in \(x\text{,}\) and the coefficients are related. If the shape \(f(x)\) or the initial velocity have lots of corners, then the sound wave will have lots of corners. That is because the Fourier coefficients of the initial shape decay to zero (as \(n \to \infty\)) at the same rate as the Fourier coefficients of the wave in time (for some fixed \(x\)). So if you use a sharp object to pick the string, you get a sharper sound with lots of high frequency components, while if you use your thumb, you get a softer sound without so many high overtones. Similarly if you pluck close to the bridge, you are getting a pluck that looks more like the sawtooth, and you get an even sharper sound.
In fact, if you look at the formula for the solution, you see that for any fixed \(x\) we get an almost arbitrary Fourier series in \(t\text{,}\) everything except the constant term. You can essentially obtain any sound you want by plucking the string in just the right way. Of course we are considering an ideal string of no stiffness and no air resistance. Those variables clearly impact the sound as well.
Exercises Exercises
4.7.3.
Solve
\begin{equation*}
\begin{array}{ll}
y_{tt} = 9 y_{xx} , & \\
y(0,t) = y(1,t) = 0 , & \\
y(x,0) = \sin (3\pi x) + \frac{1}{4} \sin (6 \pi x) & \qquad \text{for } \; 0 < x < 1 , \\
y_t(x,0) = 0 & \qquad \text{for } \; 0 < x < 1 .
\end{array}
\end{equation*}
4.7.4.
Solve
\begin{equation*}
\begin{array}{ll}
y_{tt} = 4 y_{xx} , & \\
y(0,t) = y(1,t) = 0 , & \\
y(x,0) = \sin (3\pi x) + \frac{1}{4} \sin (6 \pi x) & \qquad \text{for } \; 0 < x < 1 , \\
y_t(x,0) = \sin (9 \pi x) & \qquad \text{for } \; 0 < x < 1 .
\end{array}
\end{equation*}
4.7.5.
Derive the solution for a general plucked string of length \(L\) and any constant \(a\) (in the equation \(y_{tt} = a^2 y_{xx}\)), where we raise the string some distance \(b\) at the midpoint and let go.
4.7.6.
Imagine that a stringed musical instrument falls on the floor. Suppose that the length of the string is 1 and \(a=1\text{.}\) When the musical instrument hits the ground the string was in rest position and hence \(y(x,0) = 0\text{.}\) However, the string was moving at some velocity at impact (\(t=0\)), say \(y_t(x,0) = -1\text{.}\) Find the solution \(y(x,t)\) for the shape of the string at time \(t\text{.}\)
4.7.7.
(challenging) Suppose that you have a vibrating string and that there is air resistance proportional to the velocity. That is, you have
\begin{equation*}
\begin{array}{ll}
y_{tt} = a^2 y_{xx} - k y_t , & \\
y(0,t) = y(1,t) = 0 , & \\
y(x,0) = f(x) & \qquad \text{for } \; 0 < x < 1 , \\
y_t(x,0) = 0 & \qquad \text{for } \; 0 < x < 1 .
\end{array}
\end{equation*}
Suppose that \(0 < k < 2 \pi a\text{.}\) Derive a series solution to the problem. Any coefficients in the series should be expressed as integrals of \(f(x)\text{.}\)
4.7.8.
Suppose you touch the guitar string exactly in the middle to ensure another condition \(u(\nicefrac{L}{2},t) = 0\) for all time. Which multiples of the fundamental frequency \(\frac{\pi a}{L}\) show up in the solution?
4.7.101.
Solve
\begin{equation*}
\begin{array}{ll}
y_{tt} = y_{xx} , & \\
y(0,t) = y(\pi,t) = 0 , & \\
y(x,0) = \sin(x) & \qquad \text{for } \; 0 < x < \pi , \\
y_t(x,0) = \sin(x) & \qquad \text{for } \; 0 < x < \pi .
\end{array}
\end{equation*}
Answer.
\(y(x,t)
=
\sin(x)
\bigl(\sin(t) + \cos(t)\bigr)\)
4.7.102.
Solve
\begin{equation*}
\begin{array}{ll}
y_{tt} = 25 y_{xx} , & \\
y(0,t) = y(2,t) = 0 , & \\
y(x,0) = 0 & \qquad \text{for } \; 0 < x < 2 , \\
y_t(x,0) = \sin(\pi t) + 0.1 \sin(2\pi t) & \qquad \text{for } \; 0 < x < 2 .
\end{array}
\end{equation*}
Answer.
\(y(x,t)
=
\frac{1}{5 \pi}
\sin (\pi x)
\sin (5 \pi t)
+
\frac{1}{100 \pi}
\sin(2\pi x)
\sin(10\pi t)\)
4.7.103.
Solve
\begin{equation*}
\begin{array}{ll}
y_{tt} = 2 y_{xx} , & \\
y(0,t) = y(\pi,t) = 0 , & \\
y(x,0) = x & \qquad \text{for } \; 0 < x < \pi , \\
y_t(x,0) = 0 & \qquad \text{for } \; 0 < x < \pi .
\end{array}
\end{equation*}
Answer.
\(y(x,t)
=
\sum\limits_{n=1}^\infty
\frac{2{(-1)}^{n+1}}{n}
\sin(nx)
\cos( n \sqrt{2}\,t ) \)
4.7.104.
Let’s see what happens when \(a=0\text{.}\) Find a solution to \(y_{tt} = 0\text{,}\) \(y(0,t) = y(\pi,t) = 0\text{,}\) \(y(x,0) = \sin(2x)\text{,}\) \(y_t(x,0) = \sin(x)\text{.}\)
Answer.
\(y(x,t) = \sin(2x)+t\sin(x)\)
