Waves

I. Derivation of Wave Equation

Derivation of wave equation from tension in a string
Figure 1.1

We wish to derive the wave equation. Consider figure 1 above. Figure 1a shows a string fixed at both ends. We tweak the string at its lefthand margin and cause a wave to propagate to the right along the string. Figure 1b is a blow up of the tiny string segment shown in the dotted square in figure 1a. We make 4 assumptions for our derivation:

  • Motion of the string is only vertical
  • The string offers no resistance to bending (If it did, there would be horizontal force components and the only horizontal force components we want to consider are those caused by tension in the string)
  • The height of the string’s vibration is small
  • The density in the tiny string segment we’re considering in figure 1b is uniform

We’ll start our derivation by with Newton’s second law of motion:

    \[F=ma \quad \text{eq 1.1}\]

Let’s look at acceleration, a, first. The acceleration with which we’re concerned is in the up-down direction, the only direction in which the string moves. We’ll designate that direction u. We know from classical mechanics that acceleration is the second derivative of displacement. The acceleration, in this case, is:

    \[ a=\frac{\partial^2 u}{\partial t^2} \quad \text{eq 1.2}\]

where \displaystyle \frac{\partial^2 u}{\partial t^2} is the second partial derivative of the up-down displacement, u.

Next, let’s consider the mass, m of the tiny string segment from x to x + h. This is given by the mass density (mass per unit length), \rho, of the string segment times the length of that segment: m=\rho \cdot \text{length}. We’ll assume that the density over such a small string segment is uniform. Therefore, we can use the density at any point along the segment to find the mass. Let’s choose \rho(x). For the length, since the amplitude of the string’s vibration is small, it is relatively flat. Therefore, \text{string length} \approx h. So:

    \[  m=\rho(x)h \quad \text{eq 1.3}\]

Now let’s tackle the forces. The only forces that we’ll consider in this article are the forces caused by tension on the string. The tension in the string is tangent to the string. It has 2 components: one in the u-direction and another in the x-direction.

Derivation of wave equation, string tensions
Figure 1.2

Figure 2a shows how, using trigonometry, that we can calculate the components of force caused by string tension in each direction. Figure 2b depicts the mathematical expressions for force components related to string tension.

Since there’s no horizontal motion of the string, that means that the x-direction of tension coming from T(x,t) is equal and opposite to the x-direction tension at T(x+h,t). Mathematically, as shown in the diagram:

    \[  T(x,t)\cos\theta(x,t) =  T(x+h,t)\cos\theta(x+h,t) \]

So:

    \[T(x,t)\cos\theta(x,t)  -  T(x+h,t)\cos\theta(x+h,t)=0 \quad  \text{eq 1.4}\]

The more important force to evaluate is that in the u-direction. The force in the upward direction due to T(x+h,t) is T(x+h,t)\sin\theta(x+h,t). That at T(x,t) is T(x,t)\sin\theta(x,t). The net upward force is:

    \[ T(x+h,t)\sin\theta(x+h,t)- T(x,t)\sin\theta(x,t) \quad  \text{eq 1.5}\]

Collecting terms, we get what’s shown in figure 3:

F equals ma in wave equation derivation
Figure 1.3

Plugging these values into eq (1.1), we get:

    \[ T(x+h,t)\sin\theta(x+h,t)- T(x,t)\sin\theta(x,t)=\rho(x)h\frac{\partial^2 u}{\partial t^2} \quad  \text{eq 1.6}\]

Next, divide both sides by h:

    \[\frac{ T(x+h,t)\sin\theta(x+h,t)- T(x,t)\sin\theta(x,t)}{h}=\rho(x)\frac{\partial^2 u}{\partial t^2}\quad  \text{eq 1.7}\]

Take the limit as h\rightarrow 0 on both sides of the equation. This makes the left side of the equation equal to the partial derivative of T(x,t)\sin\theta(x,t) with respect to x:

    \[\frac{\partial T(x,t)\sin\theta(x,t)}{\partial x}=\lim_{h\rightarrow 0}\frac{ T(x+h,t)\sin\theta(x+h,t)- T(x,t)\sin\theta(x,t)}{h}=\rho(x)\frac{\partial^2 u}{\partial t^2} \quad  \text{eq 1.8}\]

We’d like to get rid of the \sin term and get everything in the equation in terms of u. To do this, we note (as depicted in figure 4) that the slope of our string is given by a line to our string at any given point. The slope of this tangent line is \displaystyle \frac{du}{dx}. But we said at the beginning of this discussion that the tension in the string is always tangent to the string. And as seen in figure 2a, that tension has components \cos \theta and \sin \theta. Therefore:

    \[ \frac{du}{dx}=\tan\theta=\frac{\sin\theta}{\cos\theta}  \quad  \text{eq 1.9}\]

But one of our assumptions was that the magnitude of the string oscillations was small meaning that \theta \approx 0. That, in turn, means that \cos \theta \approx 1 which means that:

    \[ \frac{du}{dx}=\frac{\sin\theta}{\cos\theta}\approx  \frac{\sin\theta}{1} \approx \sin\theta \quad  \text{eq 1.10}\]

So we can replace \sin\theta(x,t) with \frac{du}{dx} to get

    \[ \frac{\partial}{\partial x}\left(T(x,t)\frac{du}{dx} \right)= \rho(x)\frac{\partial^2 u}{\partial t^2}  \quad  \text{eq 1.11}\]

So:

    \[ T(x,t)\frac{\partial^2 u}{\partial x^2}= \rho(x)\frac{\partial^2 u}{\partial t^2}  \quad  \text{eq 1.12}\]

If we make 2 further assumptions:

  • T(x,t) is constant (i.e., T(x,t) = T (perfect elasticity))
  • \rho(x) is constant i.e., (\rho(x) = \rho)

Then T and \rho can be pulled out of the derivatives. We get:

    \[ \frac{\partial^2 u}{\partial t^2} = \frac{T}{\rho}\frac{\partial^2 u}{\partial x^2}  \quad  \text{eq 1.13}\]

Eq 1.13 is often expressed as:

    \[ \frac{\partial^2 u}{\partial t^2} = c^2\frac{\partial^2 u}{\partial x^2}  \quad  \text{eq 1.14}\]

To see why this is the case, let’s examine the units of \displaystyle \frac{T}{P}. We have:

\displaystyle \frac{\text{Force}}{\text{Density}}=\displaystyle \frac{\displaystyle \frac {ML}{T^2}}{\displaystyle \frac{M}{L}}=\displaystyle \frac{\cancel{M}L}{T^2} \displaystyle \frac{L}{\cancel{M}} = \displaystyle \frac{L^2}{T^2}=V^2

where

M is mass
L is length
T is time
V is velocity (speed, actually) at which the wave propagates

Thus, \displaystyle \frac{T}{P} has units of speed squared. For electromagnetic waves, that speed is c, the speed of light.

II. Solutions to the Wave Equation

II.1 Transport Equation Method

II.1.1 Transport Equation

Consider a wave moving to the right with constant velocity, as depicted in figure 2.1.1.

Position of wave moving to right represented at different times
Figure 2.1.1

What kind of partial differential equation (pde) would this be a solution to? One like the transport equation, the simplest pde to exhibit such a solution:

    \[  u_t + cu_x = 0 \quad \text{eq 2.1.1.1}\]

where

u, x and t are directions in a 3D space
u_t = \frac{\partial u}{\partial t}
u_x = \frac{\partial u}{\partial x}
c is a constant

Let’s look at this from a slightly different perspective (figure 2.1.2):

Transport Equation: peak amplitude of wave constant along parallel lines
Figure 2.1.2

In figure 2.1.2, the blue waves are moving in the x-direction with constant speed, c. Note that the wave amplitude, u, is constant along the parallel magenta dotted lines which all have the equation x-ct = \text{constant}. Such parallel lines are called characteristic lines.

We can think of the blue waves as forming a surface. Recall the concept of the directional derivative from multivariable calculus. Basically, we define a tangent plane to the surface and take the derivative in a particular direction. Mathematically, it’s defined as the inner product of the gradient of a scalar field:

    \[ \vec{W} \cdot \nabla f  \quad \text{eq 2.1.1.2}\]

where

\vec{W} is a vector that points in the direction of the directional derivative
f is a scalar field
\nabla f is the gradient of the scalar field

As it applies to our case here, we’re taking the directional derivative in the direction of the parallel lines given by x-ct = k_i. And since we said that u does not change along those lines, then the directional derivative is 0.

The vector, \vec{W}, in our case, is given by (c,1) since we’re moving c units in the x-direction in 1 unit of time. The gradient of our scalar field is given by (u_x, u_t). Thus, by the definition of the directional derivative, we have:

(c,1) \cdot (u_x, u_t) = cu_x + u_t = 0 \quad \text{eq 2.1.1.3}

which, of course, is the transport equation.

We could also write u as a function of t with the x-coordinate being x-ct=k which implies that x=ct + k. We know that u doesn’t change along the characteristic line so the derivative with respect to time should be zero:

    \[  \frac{d}{dt} u(ct + k, t) = 0 \quad \text{eq 2.1.1.4}\]

We use the chain rule to take this derivative:

    \begin{align*} \frac{d}{dt} u(ct + k, t) &= 0 \\ u_x \frac{d(ct + k)}{dt} + u_t\frac{d(t))}{d(t} &= 0 \\ cu_x + u_t = 0  \quad \text{eq 2.1.1.5}\end{align*}

Again, we end up with the transport equation.

Hopefully, that provides some intuition about what the transport equation is. Now we turn our attention to its solution.

II.1.2 Transport Equation Solution

To solve the transport equation, consider the scenario outlined in figure 2.2.1.

Transport equation: different frames of reference
Figure 2.2.1

Figure 2.2.1a shows 2 frames of reference: 1) that of Observer A (in red) on the ground and 2) Observer B (in blue) on a cart moving along with a wave, the cart and wave both moving to the right at speed c.

In figure 2.2.1b, taken at time 0, both observers agree on the position of a point, x.

On the other hand, in figure 2.2.1c, taken at time t, Observer A still sees point x at x. However, Observer B has moved ct units to the right. Thus, he now sees point x as being at \xi= x-ct.

Observer A sees a moving wave. The pde that describes what he sees is the transport equation:

    \[ u_t + cu_x = 0   \quad \text{eq 2.1.1}\]

The question is, What pde describes what Observer B sees?

We know that we’re looking at the same wave so:

    \[ u(x,t) = v(\xi, t) \quad \text{eq 2.1.2.1}\]

That is, the pde that describes Observer A’s frame of reference, u(x,t), equals the pde that describes Observer B’s frame of reference (we’ll call it v(\xi,t)). We know that u(x,t) is the transport equation. To find v(\xi,t), we need to translate the terms in the transport equation into the Observer B’s frame of reference. We have:

    \[ u_t = \frac{\partial v}{\partial \xi} \frac{\partial \xi}{\partial t} +  \frac{\partial v}{\partial t} \frac{\partial t}{\partial t} \quad \text{eq 2.1.2.2}\]

and

    \[ u_x = \frac{\partial v}{\partial \xi} \frac{\partial \xi}{\partial x} +  \frac{\partial v}{\partial t} \frac{\partial t}{\partial x} \quad \text{eq 2.1.2.3}\]

We know that:

\frac{\partial t}{\partial x} = 0
\frac{\partial t}{\partial t} = 1
\frac{\partial t}{\partial x} = 0
\frac{\partial \xi}{\partial t} = -c
\frac{\partial \xi}{\partial x} = 1

Plugging these values into eq (), we get:

    \[ u_t =   \frac{\partial v}{\partial \xi}(-c)+\frac{\partial v}{\partial t}(1)=-c\frac{\partial v}{\partial \xi}+\frac{\partial v}{\partial t} \quad \text{eq 2.1.2.4}\]

and

    \[ u_x = \frac{\partial v}{\partial \xi} (1) +  \frac{\partial v}{\partial t} (0) = \frac{\partial v}{\partial \xi} \quad \text{eq 2.1.2.5}\]

Now we substitute these values into the transport equation which gives us:

    \begin{align*} u_t + cu_x  &= 0 \\  \cancel{-c\frac{\partial v}{\partial \xi}}+\frac{\partial v}{\partial t} + \cancel{c \frac{\partial v}{\partial \xi}} &= 0 \\ \frac{\partial v}{\partial t} &= 0 \quad \text{eq 2.1.2.6}\end{align*}

\displaystyle \frac{\partial v}{\partial t}, the derivative of v with respect to t, equaling zero means that v does not change with a change in t which means that v does not depend on t which means that it must be solely a function of \xi:

    \[ v=F(\xi)  \quad \text{eq 2.1.2.7}\]

Let’s use this to find u(x,t). We’ve seen that:

    \[ u(x,t) = v(\xi, t) \quad \text{eq 2.1.2.1}\]

But that implies that:

    \[ u(x,t) = v(\xi, t) = F(\xi) = F(x-ct) \quad \text{eq 2.1.2.8}\]

And that’s the general solution to the transport equation.

II.1.3Wave Equation Solution Using Transport Equation

We want to solve the wave equation:

    \[ \frac{\partial^2 u}{\partial t^2} = c^2\frac{\partial^2 u}{\partial x^2}  \quad  \text{eq 1.14}\]

Assume that a function, u, solves the wave equation. Let’s see what happens when we plug u into the transport equation:

    \[  u_t + cu_x = w \quad \text{eq 2.1.3.1}\]

I claim that if:

    \[ w_t - cw_x = 0 \quad \text{eq 2.1.3.2}  \]

i.e., if w solves the backward transport equation, the u solves the wave equation. Here’s the proof.

Start by substituting the value of w in terms of u into eq 2.1.3.2:

    \begin{align*}  (u_t + cu_x)_t - c(u_t + cu_x)_x &= 0 \\  u_tt + \cancel{cu_{xt}} - \cancel{cu_{tx}} - c^2u_{xx} &= 0 \\ u_tt - c^2u_{xx} = 0 \end{align*}

The result of this calculation is, of course, the wave equation. So the only way that equations 2.1.3.1 and 2.1.3.2 can be true is if u solves the wave equation.

Now, if we can find a solution to eq 2.1.3.2 and plug that result into eq 2.1.3.1, then that solution should also be a solution to the wave equation. For example, let w=0. That means that:

    \[  u_t + cu_x = w = 0\]

This is the transport equation. We saw above that the solution to this equation is:

    \[  u(x,t) = p(x-ct) \quad \text{eq 2.1.3.3} \]

That implies that u(x,t) = p(x-ct) is also a solution to the wave equation.

We can make the same argument for the reverse transport equation. Let:

    \[  u_t - cu_x = v \quad \text{eq 2.1.3.4}\]

and

    \[ v_t + cv_x = 0 \quad \text{eq 2.1.3.5}  \]

We can show – using arguments similar to those we just used – that if these 2 equations are true, then u is a solution to the wave equation. Then if we take v=0, then:

    \[  u_t - cu_x = 0 \quad \text{eq 2.1.3.6}\]

By arguments similar to those used to solve the forward transport equation (except have the cart move to the left rather than right; see section II.1.2) we can solve the backward transport equation. Its solution is:

    \[  u(x,t) = q(x+ct) \quad \text{eq 2.1.3.7} \]

Thus, eq 2.1.3.7 is also a solution to the wave equation.

Now the wave equation is a linear equation. Therefore, if p(x+ct) and q(x+ct) are both solutions to the wave equation, then

    \[u(x,t) = p(x+ct) + q(x+ct) \quad \text{eq 2.1.3.8} \]

is also a solution to the wave equation. The significance of this formula is that every solution to the wave equation has the form shown in eq 2.1.3.8. We haven’t proved this yet (we’ve just proved that eq 2.1.3.8 is a valid group of solutions to the wave equation). We’ll prove that eq 2.1.3.8 is the general solution to the wave equation next. To do this, I’ll begin with the proof laid out completely in diagrammatic form so the reader can “see the flow” in uninterrupted fashion, then I’ll offer some explanatory text thereafter to fill in the gaps.

Proof:
Proof of wave equation using transport equation
Figure 2.3.1

Here are some explanatory comments for figure 2.3.1.

We’ve shown that the wave equation and the 2 sets of transport equations in blue are equivalent. The solutions to the backward and forward transport equations are given in black. These results can be substituted to get the equations in purple:

    \[ u_t + cu_x = f(x + ct) \quad \text{eq 2.1.3.9}   \]

and

    \[ u_t - cu_x = g(x - ct) \quad \text{eq 2.1.3.10}   \]

If we add these 2 equations, after some manipulation, we get:

    \[  u_t = \displaystyle \frac12 f(x + ct) + \frac12 g(x - ct)  \quad \text{eq 2.1.3.11}\]

and

    \[  u_x = \displaystyle \frac{1}{2c} f(x + ct) - \frac{1}{2c} g(x - ct)  \quad \text{eq 2.1.3.12}\]

From the fundamental theorem of calculus, we know that:

    \[  X^{\prime} = x\,\,\Rightarrow \,\,\int x = \int X^{\prime} = X \]

We then integrate eq 2.1.3.11 and eq 2.1.3.12. That gives us, for eq 2.1.3.11:

    \begin{align*}  \int u_t &= \displaystyle \int \frac12 f(x + ct) + \frac12 g(x - ct) + f(x)\,\, \text{eq 2.3.13}\\ u(x,t) &= \displaystyle \frac{1}{2c} F(x + ct) - \frac{1}{2c} G(x - ct)\,\, \text{eq 2.3.14} \end{align*}

And for eq 2.1.3.12:

    \begin{align*}  \int u_x &= \displaystyle \int \frac{1}{2c} f(x + ct) + \frac{1}{2c}  g(x - ct) + f(t)\,\, \text{eq 2.1.3.15}\\ u(x,t) &= \displaystyle \frac{1}{2c} F(x + ct) - \frac{1}{2c} G(x - ct)\,\, \text{eq 2.1.3.16} \end{align*}

Notice that the terms \displaystyle \frac{1}{2c} f(x + ct) + \frac{1}{2c} g(x - ct) are the same in eq 2.1.3.13 and eq 2.1.3.15 but extra functions of f(x) and f(t) are seen in these equations, respectively. Eq 2.1.3.13 and eq 2.1.3.15 are equal (because they both equal u(x,t)), but the only way that this can be true is if f(x)=f(t). And the only way that f(x) can be equal to f(t) is if they are constants. Such constants can be ignored since functions f and g are arbitrary and they could be modified to “absorb” such constants.

Likewise, the constants \displaystyle \frac12 and \displaystyle -\frac12 can be absorbed into the arbitrary functions F and G. Thus, the final result is:

    \[  u(x,t) = q(x + ct) + p(x - ct) \quad \text{eq 2.1.3.17}\]

And this equation, eq 2.3.17 is the same as eq 2.1.3.8, which is what we were trying to prove.

II.2 d’Alembert’s Formula

A famous formula that gives a large group of solutions to wave equation is d’Alembert’s formula. I won’t go into great detail here but I will give a quick proof.

d’Alembert’s formula is derived from an initial value problem. We have the following conditions:

    \begin{align*}  u_{tt} &= c^2u_{xx} \\ u(x,0) &= f(x) \\ u_t(x,0) &= g(x)  \end{align*}

where

u(x,0) is the initial position
u_t(x,0) is the initial velocity

The basic idea is that, if we know the initial position and velocity of a mechanical system, we can predict its state at all future time. Thus, we should be able to determine the state of a wave at all times using this formula.

Recall that the general solution to the wave equation is:

    \[u(x,t) = p(x-ct) + q(x + ct)\]

We’ll find p and q by using the initial condition information. We start with:

    \begin{align*}  u(x,t) &= p(x-ct) + q(x_ct) \quad \text{eq 2.2.1}\\ u_t(x,t) &= -cp^{\prime}(x-ct) + cq^{\prime}(x+ct) \quad \text{eq 2.2.2} \end{align*}

So

    \begin{align*}  u(x,0) &= f(x) = p(x) + q(x) \quad \text{eq 2.2.3}\\ u_t(x,0) &= -cp^{\prime}(x) + cq^{\prime}(x) \quad \text{eq 2.2.4} \end{align*}

Next we want to get rid of the derivatives in p and q. To do this we integrate eq 2.2.4. When we do the integral, we choose our anitderivative such that G^{\prime} = g(x). We have:

    \[G(x) = -cp(x) + cq(x) \quad \text{eq 2.2.5}  \]

Now we solve for p and q in terms of f and G:

    \begin{align*} f(x) &= p(x) + q(x)\quad \text{eq 2.2.3}\\ G(x) &= -cp(x) + cq(x) \quad \text{eq 2.2.5} \end{align*}

After some algebra:

    \begin{align*} p(x) &= \frac12 f(x) - \frac{1}{2c} G(x)\quad \text{eq 2.2.6} \\ q(x) &= \frac12 f(x) + \frac{1}{2c} G(x)\quad \text{eq 2.2.7} \end{align*}

We have an expression for the general solution for the wave equation. We substitute in eq 2.2.6 and 2.2.7. We get:

    \begin{align*}   u(x,t) &=  \frac12 f(x-ct) - \frac{1}{2c} G(x-ct) + \frac12 f(x+ct) + \frac{1}{2c} G(x+ct) \\ &= \frac12 \left[ f(x+ct) + \frac12 f(x-ct)  \right] + \frac{1}{2c} \left[ G(x+ct) - G(x-ct)\right]\\ &  \text{eq 2.2.8} \end{align*}

But G(x+ct) - G(x-ct) can be expressed as an integral:

    \[ G(x+ct) - G(x-ct) = \int^{x+ct}_{x-ct} = g(s)\,ds \quad \text{eq 2.2.9}\]

Plugging eq 2.2.9 into eq 2.2.8 yields:

    \begin{align*} u(x,t) &= \frac12 \left[ f(x+ct) + \frac12 f(x-ct) \right] + \frac{1}{2c} \int^{x+ct}_{x-ct}  g(s)\,ds \\ & \text{eq 2.2.10} \end{align*}

Eq 2.2.10 is d’Alembert’s formula.

II.3 Wave Equation Solution: Separation of Variables

We start with the wave equation:

    \[ u_{tt}=c^2U_{xx} \quad \text{eq 2.3.1} \]

We assume that the x-terms and t-terms are independent so that the wave equation can be written as:

    \[ u(x,t) = v(x)w(t) \quad \text{eq 2.3.2}  \]

Because the x-terms and t-terms are independent, we can pull x-terms out from t-terms like constants and t-terms out from x-terms like constants. We get:

    \[  u_{tt} = v(x)w^{\prime \prime} (t) \quad  u_{xx}=v^{\prime \prime }(x)w(t) \quad \text{eq 2.3.3}  \]

Next, we “separate the variables” i.e., get all the x-terms on one side and all the t-terms on the other side:

    \[ \frac{w^{\prime \prime} (t)}{w(t)}  = c^2 \frac{v^{\prime \prime} (t)}{v(t)} \quad \text{eq 2.3.4} \]

Now comes the important observation. I’ll quote Fleisch, Dan for this because he states the concept more clearly that I ever could:

The left side depends only on time (t) and does not vary with location (x). The right side depends only on location and does not vary with time. But if this equation is true at every location at every time, then neither side can vary at all (if it did, then, as time passes at a fixed location, the left side would vary but the right side would not [and the sides wouldn’t be equal anymore]). Thus both sides must be constant, and since the sides equal one another, they must equal the same constant.

Fleisch, Dan. “The Wave Equation.” A Student’s Guide to Waves, Cambridge University Press, 2015, p. 71.

Therefore, we can rewrite eq 2.3.4 as follows:

    \[ \frac{w^{\prime \prime} (t)}{w(t)}  = \lambda  = c^2\frac{v^{\prime \prime} (t)}{v(t)} \quad \text{eq 2.3.5} \]

where \lambda is a constant (referred to as the separation constant).

Now we need to solve 2 equations:

    \[ w^{\prime \prime} (t)=\lambda w(t)   \quad \text{eq 2.3.6} \]

and

    \[ v^{\prime \prime} (t)=\frac{\lambda}{c^2}v(x) \quad \text{eq 2.3.6} \]

To get an idea what potential solutions might look like, we’ll consider 3 cases, depending on the values of the constant terms \lambda or \displaystyle \frac{\lambda}{c^2}:

  • The constant terms equal 0
  • The constant terms are > 0
  • The constant terms are < 0
Constants = 0:

    \[ w^{\prime \prime} (t)=0\]

    \[  w(t) = A +Bt \]

    \[ v^{\prime \prime} (x)=0\]

    \[  v(x) = C +Dx \]

To get solutions to the equation, we recombine w(t) and v(x) as:

    \[ u(x,t) = w(t)v(x)  \]

Because any linear combination of solutions of this equation is also a solution, and we can make any constant by taking a linear combination with 1, possible solutions that we can combine include: 1, x and t. So ultimately, u(x,t) is any linear combination of 1, x, t, and tx. Thus, A + Bt +Cx  + Dtx is a general solution under this condition.

Constants > 0:

To assure that \lambda is positive, we can set it equal to a constant squared. So let \lambda = \omega^2. Our equations become:

    \[ w^{\prime \prime} (t) = \omega^2 w(t)  \]

    \[  w(t) = e^{\omega t},  e^{-\omega t}\]

    \[ v^{\prime \prime} (x) = (\frac{\omega}{c})^2 w(x)  \]

    \[ v(x) =  \displaystyle e^{\frac{\omega }{c}x},  e^{-\frac{\omega }{c}x} \]

To see how we arrived at these results, click :

When we recombine these solutions to get solutions to u(x,t), we end up with the following base solutions:

u(x,t) = \displaystyle e^{\omega t}e^{\frac{\omega }{c}x} = e^{\omega\left( t + \frac{x}{c}\right)}
u(x,t) = \displaystyle e^{-\omega t}e^{\frac{\omega }{c}x} = e^{-\omega\left( t + \frac{x}{c}\right)}
u(x,t) = \displaystyle e^{\omega t}e^{-\frac{\omega }{c}x} = e^{\omega\left( t - \frac{x}{c}\right)}
u(x,t) = \displaystyle e^{-\omega t}e^{-\frac{\omega }{c}x} = e^{-\omega\left( t - \frac{x}{c}\right)}

As before, any linear combination of these base solutions is also a solution. And, of course, functions of the form e^x can also be expressed as sines and cosines.

Constants < 0

To assure that \lambda is negative, we can set it equal to minus a constant squared. So let \lambda = -\omega^2. Our equations become:

    \[ w^{\prime \prime} (t) = -\omega^2 w(t)  \]

    \[  w(t) = e^{i \omega t},  e^{-i \omega t}\]

    \[ v^{\prime \prime} (x) = (-\frac{\omega}{c})^2 w(x)  \]

    \[ v(x) =  \displaystyle e^{i \frac{\omega }{c}x},  e^{-i\frac{\omega }{c}x} \]

For a quick derivation of these results, click :

These exponential functions can also be expressed as sines and cosines via Euler’s formula:

e^{i\theta} = \cos \theta + i\sin \theta
e^{-i\theta} = \cos \theta - i\sin \theta

Remember, u(x,t) = w(t)v(x). Therefore, we get terms like:

    \begin{align*}u(x,t)&=e^{i \omega t}\displaystyle e^{i \frac{\omega }{c}x}\\&=\left(\cos(\omega t)+i \sin(\omega  t)\right)  \left( \cos (\frac{\omega }{c}x) +i \sin( \frac{\omega }{c}x) \right) \\ &=\cos(\omega t)\cos (\frac{\omega }{c}x) + \cos(\omega t)i \sin( \frac{\omega }{c}x)\\ &+ i \sin(\omega  t)\cos (\frac{\omega }{c}x) - \sin(\omega  t)\sin(\frac{\omega }{c}x) \end{align*}

If we were to compute

u(x,t) = e^{i \omega t}e^{-i\frac{\omega }{c}x}
u(x,t) = e^{-i \omega t}e^{i\frac{\omega }{c}x}
u(x,t) = e^{-i \omega t}e^{-i\frac{\omega }{c}x}

we would get combinations of \cos(\omega t)\cos (\frac{\omega }{c}x), \cos(\omega t)i\sin (\frac{\omega }{c}x), i\sin(\omega t)\cos (\frac{\omega }{c}x) and i\sin(\omega t)i\sin (\frac{\omega }{c}x), with various signs. Since, ultimately, our solutions will involve any linear combinations of these terms, we can dispense with the i\text{'s} (because the constant we multiply by can include i or -i). To see this, click .

Thus the base functions we can make linear combinations of to get solutions for u(x,t) are:

\cos(\omega t)\cos (\frac{\omega }{c}x)
\cos(\omega t)\sin (\frac{\omega }{c}x)
\sin(\omega t)\cos (\frac{\omega }{c}x)
\sin(\omega t)\sin (\frac{\omega }{c}x)

Since

\sin(x+y)=\sin x \cos y+\cos x\sin y

and

\cos(x+y)=\cos x\cos y-\sin x \sin y

we can express the above base solutions as:

\sin(\pm \omega (t  \pm \frac{x}{c}))

and

\cos(\pm \omega (t \pm \frac{x}{c}))

These equations are more commonly written as:

\sin(\omega t  \pm kx)

and

\cos(\omega t \pm kx)

since

\displaystyle k = \frac{\omega}{c}
\sin(-\theta) = -\sin \theta
\cos(-\theta) = \cos \theta