Wave equation
The wave equation is an important secondorder linear partial differential equation for the description of waves – as they occur in physics – such as sound waves, light waves and water waves. It arises in fields like acoustics, electromagnetics, and fluid dynamics.
Historically, the problem of a vibrating string such as that of a musical instrument was studied by Jean le Rond d'Alembert, Leonhard Euler, Daniel Bernoulli, and JosephLouis Lagrange.^{[1]}^{[2]}^{[3]}^{[4]} In 1746, d’Alembert discovered the onedimensional wave equation, and within ten years Euler discovered the threedimensional wave equation.^{[5]}
Contents
 Introduction 1

Scalar wave equation in one space dimension 2

Derivation of the wave equation 2.1
 From Hooke's law 2.1.1
 Stress pulse in a bar 2.1.2

General solution 2.2
 Algebraic approach 2.2.1
 Plane wave eigenmodes 2.2.2

Derivation of the wave equation 2.1

Scalar wave equation in three space dimensions 3

Spherical waves 3.1
 Monochromatic spherical wave 3.1.1
 Solution of a general initialvalue problem 3.2

Spherical waves 3.1
 Scalar wave equation in two space dimensions 4

Scalar wave equation in general dimension and Kirchhoff's formulae 5
 Odd dimensions 5.1
 Even dimensions 5.2

Problems with boundaries 6

One space dimension 6.1
 The SturmLiouville formulation 6.1.1
 Investigation by numerical methods 6.1.2
 Several space dimensions 6.2

One space dimension 6.1
 Inhomogeneous wave equation in one dimension 7
 Other coordinate systems 8
 Further generalizations 9
 See also 10
 Notes 11
 References 12
 External links 13
Introduction
The wave equation is a hyperbolic partial differential equation. It typically concerns a time variable t, one or more spatial variables x_{1}, x_{2}, …, x_{n}, and a scalar function u = u (x_{1}, x_{2}, …, x_{n}; t), whose values could model the displacement of a wave. The wave equation for u is
 { \partial^2 u \over \partial t^2 } = c^2 \nabla^2 u
where ∇^{2} is the (spatial) Laplacian and where c is a fixed constant.
Solutions of this equation that are initially zero outside some restricted region propagate out from the region at a fixed speed in all spatial directions, as do physical waves from a localized disturbance; the constant c is identified with the propagation speed of the wave. This equation is linear, as the sum of any two solutions is again a solution: in physics this property is called the superposition principle.
The equation alone does not specify a solution; a unique solution is usually obtained by setting a problem with further conditions, such as initial conditions, which prescribe the value and velocity of the wave. Another important class of problems specifies boundary conditions, for which the solutions represent standing waves, or harmonics, analogous to the harmonics of musical instruments.
The wave equation, and also modifications of it, are found in elastic physics, quantum mechanics, plasma physics and general relativity, for example.
Scalar wave equation in one space dimension
The wave equation in one space dimension can be written like this:
 { \partial^2 y \over \partial t^2 } = c^2 { \partial^2 y \over \partial x^2 }.
This equation is typically described as having only one space dimension "x", because the only other independent variable is the time "t". Nevertheless, the dependent variable "y" may represent a second space dimension, as in the case of a string that is located in the xy plane.
Derivation of the wave equation
The wave equation in one space dimension can be derived in a variety of different physical settings. Most famously, it can be derived for the case of a string that is vibrating in a twodimensional plane, with each of its elements being pulled in opposite directions by the force of tension.^{[6]}
Another physical setting for derivation of the wave equation in one space dimension utilizes Hooke's Law. In the theory of elasticity, Hooke's Law is an approximation for certain materials, stating that the amount by which a material body is deformed (the strain) is linearly related to the force causing the deformation (the stress).
From Hooke's law
The wave equation in the onedimensional case can be derived from Hooke's Law in the following way: Imagine an array of little weights of mass m interconnected with massless springs of length h . The springs have a spring constant of k:
Here the dependent variable u(x) measures the distance from the equilibrium of the mass situated at x, so that u(x) essentially measures the magnitude of a disturbance (i.e. stress) that is traveling in an elastic material. The forces exerted on the mass m at the location x+h are:
 F_{\mathit{Newton}}=m \cdot a(t)=m \cdot d\xi\,d\eta. \,
It is apparent that the solution at (t,x,y) depends not only on the data on the light cone where
 (x \xi)^2 + (y  \eta)^2 = c^2 t^2, \,
but also on data that are interior to that cone.
Scalar wave equation in general dimension and Kirchhoff's formulae
We want to find solutions to u_{tt}−Δu = 0 for u : R^{n} × (0, ∞) → R with u(x, 0) = g(x) and u_{t}(x, 0) = h(x). See Evans for more details.
Odd dimensions
Assume n ≥ 3 is an odd integer and g ∈ C^{m+1}(R^{n}), h ∈ C^{m}(R^{n}) for m = (n+1)/2. Let \gamma_n = 1\cdot 3 \cdot 5 \cdot .. \cdot (n2) and let
 u(x,t) = \frac{1}{\gamma_n}\left [\partial_t \left (\frac{1}{t} \partial_t \right )^{\frac{n3}{2}} \left (t^{n2} \int^{\text{average}}_{\partial B_t(x)} g dS \right ) + \left (\frac{1}{t}\partial_t \right )^{\frac{n3}{2}} \left (t^{n2} \int^{\text{average}}_{\partial B_t(x)} h dS \right ) \right]
then
 u ∈ C^{2}(R^{n} × [0, ∞))
 u_{tt}−Δu = 0 in R^{n} × (0, ∞)
 \begin{align} \lim_{(x,t)\to (x^0,0)} u(x,t) &= g(x^0) \\ \lim_{(x,t)\to (x^0,0)} u_t(x,t) &= h(x^0) \end{align}
Even dimensions
Assume n ≥ 2 is an even integer and g ∈ C^{m+1}(R^{n}), h ∈ C^{m}(R^{n}), for m = (n+2)/2. Let \gamma_n = 2 \cdot 4 \cdot .. \cdot n and let
 u(x,t) = \frac{1}{\gamma_n} \left [\partial_t \left (\frac{1}{t} \partial_t \right )^{\frac{n2}{2}} \left (t^n \int^{\text{average}}_{B_t(x)} \frac{g}{(t^2  y  x^2)^{\frac{1}{2}}} dy \right ) + \left (\frac{1}{t} \partial_t \right )^{\frac{n2}{2}} \left (t^n \int^{\text{average}}_{B_t(x)} \frac{h}{(t^2  yx^2)^{\frac{1}{2}}} dy \right ) \right ]
then
 u ∈ C^{2}(R^{n} × [0, ∞))
 u_{tt}−Δu = 0 in R^{n} × (0, ∞)
 \begin{align} \lim_{(x,t)\to (x^0,0)} u(x,t) &= g(x^0)\\ \lim_{(x,t)\to (x^0,0)} u_t(x,t) &= h(x^0) \end{align}
Problems with boundaries
One space dimension
The SturmLiouville formulation
A flexible string that is stretched between two points x = 0 and x = L satisfies the wave equation for t > 0 and 0 < x < L. On the boundary points, u may satisfy a variety of boundary conditions. A general form that is appropriate for applications is
 u_x(t,0) + a u(t,0) = 0, \,
 u_x(t,L) + b u(t,L) = 0,\,
where a and b are nonnegative. The case where u is required to vanish at an endpoint is the limit of this condition when the respective a or b approaches infinity. The method of separation of variables consists in looking for solutions of this problem in the special form
 u(t,x) = T(t) v(x).\,
A consequence is that
 \frac{T''}{c^2T} = \frac{v''}{v} = \lambda. \,
The eigenvalue λ must be determined so that there is a nontrivial solution of the boundaryvalue problem
 v'' + \lambda v=0, \,
 v'(0) + a v(0) = 0, \quad v'(L) + b v(L)=0.\,
This is a special case of the general problem of Sturm–Liouville theory. If a and b are positive, the eigenvalues are all positive, and the solutions are trigonometric functions. A solution that satisfies squareintegrable initial conditions for u and u_{t} can be obtained from expansion of these functions in the appropriate trigonometric series.
Investigation by numerical methods
Approximating the continuous string with a finite number of equidistant mass points one gets the following physical model:
If each mass point has the mass m, the tension of the string is f, the separation between the mass points is Δx and u_{i}, i = 1, ..., n are the offset of these n points from their equilibrium points (i.e. their position on a straight line between the two attachment points of the string) the vertical component of the force towards point i+1 is
\frac{u_{i+1}u_i}{\Delta x}\ f 

(1) 
and the vertical component of the force towards point i−1 is
\frac{u_{i1}u_i}{\Delta x}\ f 

(2) 
Taking the sum of these two forces and dividing with the mass m one gets for the vertical motion:
\ddot u_i=\left(\frac{f}{m\ \Delta x} \right) \left(u_{i+1} + u_{i1}\ \ 2u_i\right) 

(3) 
As the mass density is
 \rho = \frac{m}{\Delta x}
this can be written
\ddot u_i=\left(\frac{f}{\rho\ {\Delta x}^2} \right) \left(u_{i+1} + u_{i1}\ \ 2u_i\right) 

(4) 
The wave equation is obtained by letting Δx → 0 in which case u_{i}(t) takes the form u(x, t) where u(x, t) is continuous function of two variables, \ddot u_i takes the form \partial^2 u \over \partial t^2 and

\frac{u_{i+1} + u_{i1}\ \ 2u_i}
If the string is approximated with 100 discrete mass points one gets the 100 coupled second order differential equations (5), (6) and (7) or equivalently 200 coupled first order differential equations.
Propagating these up to the times
 \frac{L}{c}\ k\ 0.05\ \ k=0,\cdots ,5
using an 8th order multistep method the 6 states displayed in figure 2 are found:
The red curve is the initial state at time zero at which the string is "let free" in a predefined shape ^{[10]} with all \dot u_i=0. The blue curve is the state at time \frac{L}{c}\ 0.25, i.e. after a time that corresponds to the time a wave that is moving with the nominal wave velocity c=\sqrt{\frac{f}{\rho}} would need for one fourth of the length of the string.
Figure 3 displays the shape of the string at the times \frac{L}{c}\ k\ 0.05\ \ k=6,\cdots ,11. The wave travels in direction right with the speed c=\sqrt{\frac{f}{\rho}} without being actively constraint by the boundary conditions at the two extremes of the string. The shape of the wave is constant, i.e. the curve is indeed of the form f(x−ct).
Figure 4 displays the shape of the string at the times \frac{L}{c}\ k\ 0.05\ \ k=12,\cdots ,17. The constraint on the right extreme starts to interfere with the motion preventing the wave to raise the end of the string.
Figure 5 displays the shape of the string at the times \frac{L}{c}\ k\ 0.05\ \ k=18,\cdots ,23 when the direction of motion is reversed. The red, green and blue curves are the states at the times \frac{L}{c}\ k\ 0.05\ \ k=18,\cdots ,20 while the 3 black curves correspond to the states at times \frac{L}{c}\ k\ 0.05\ \ k=21,\cdots ,23 with the wave starting to move back towards left.
Figure 6 and figure 7 finally display the shape of the string at the times \frac{L}{c}\ k\ 0.05\ \ k=24,\cdots ,29 and \frac{L}{c}\ k\ 0.05\ \ k=30,\cdots ,35. The wave now travels towards left and the constraints at the end points are not active any more. When finally the other extreme of the string the direction will again be reversed in a way similar to what is displayed in figure 6
Several space dimensions
The onedimensional initialboundary value theory may be extended to an arbitrary number of space dimensions. Consider a domain D in mdimensional x space, with boundary B. Then the wave equation is to be satisfied if x is in D and t > 0. On the boundary of D, the solution u shall satisfy
 \frac{\part u}{\part n} + a u =0, \,
where n is the unit outward normal to B, and a is a nonnegative function defined on B. The case where u vanishes on B is a limiting case for a approaching infinity. The initial conditions are
 u(0,x) = f(x), \quad u_t(0,x)=g(x), \,
where f and g are defined in D. This problem may be solved by expanding f and g in the eigenfunctions of the Laplacian in D, which satisfy the boundary conditions. Thus the eigenfunction v satisfies
 \nabla \cdot \nabla v + \lambda v = 0, \,
in D, and
 \frac{\part v}{\part n} + a v =0, \,
on B.
In the case of two space dimensions, the eigenfunctions may be interpreted as the modes of vibration of a drumhead stretched over the boundary B. If B is a circle, then these eigenfunctions have an angular component that is a trigonometric function of the polar angle θ, multiplied by a Bessel function (of integer order) of the radial component. Further details are in Helmholtz equation.
If the boundary is a sphere in three space dimensions, the angular components of the eigenfunctions are spherical harmonics, and the radial components are Bessel functions of halfinteger order.
Inhomogeneous wave equation in one dimension
The inhomogeneous wave equation in one dimension is the following:
 c^2 u_{x x}(x,t)  u_{t t}(x,t) = s(x,t) \,
with initial conditions given by
 u(x,0)=f(x) \,
 u_t(x,0)=g(x) \,
The function s(x, t) is often called the source function because in practice it describes the effects of the sources of waves on the medium carrying them. Physical examples of source functions include the force driving a wave on a string, or the charge or current density in the Lorenz gauge of electromagnetism.
One method to solve the initial value problem (with the initial values as posed above) is to take advantage of a special property of the wave equation in an odd number of space dimensions, namely that its solutions respect causality. That is, for any point (x_{i}, t_{i}), the value of u(x_{i}, t_{i}) depends only on the values of f(x_{i}+ct_{i}) and f(x_{i}−ct_{i}) and the values of the function g(x) between (x_{i}−ct_{i}) and (x_{i}+ct_{i}). This can be seen in d'Alembert's formula, stated above, where these quantities are the only ones that show up in it. Physically, if the maximum propagation speed is c, then no part of the wave that can't propagate to a given point by a given time can affect the amplitude at the same point and time.
In terms of finding a solution, this causality property means that for any given point on the line being considered, the only area that needs to be considered is the area encompassing all the points that could causally affect the point being considered. Denote the area that casually affects point (x_{i}, t_{i}) as R_{C}. Suppose we integrate the inhomogeneous wave equation over this region.
 \iint \limits_{R_C} \left ( c^2 u_{x x}(x,t)  u_{t t}(x,t) \right ) dx dt = \iint \limits_{R_C} s(x,t) dx dt.
To simplify this greatly, we can use Green's theorem to simplify the left side to get the following:
 \int_{ L_0 + L_1 + L_2 } \left (  c^2 u_x(x,t) dt  u_t(x,t) dx \right ) = \iint \limits_{R_C} s(x,t) dx dt.
The left side is now the sum of three line integrals along the bounds of the causality region. These turn out to be fairly easy to compute
 \int^{x_i + c t_i}_{x_i  c t_i}  u_t(x,0) dx =  \int^{x_i + c t_i}_{x_i  c t_i} g(x) dx.
In the above, the term to be integrated with respect to time disappears because the time interval involved is zero, thus dt = 0.
For the other two sides of the region, it is worth noting that x±ct is a constant, namingly x_{i}±ct_{i}, where the sign is chosen appropriately. Using this, we can get the relation dx±cdt = 0, again choosing the right sign:
 \begin{align} \int_{L_1} \left (  c^2 u_x(x,t) dt  u_t(x,t) dx \right ) &= \int_{L_1} \left ( c u_x(x,t) dx + c u_t(x,t) dt \right)\\ &= c \int_{L_1} d u(x,t) \\ &= c u(x_i,t_i)  c f(x_i + c t_i). \end{align}
And similarly for the final boundary segment:
 \begin{align} \int_{L_2} \left (  c^2 u_x(x,t) dt  u_t(x,t) dx \right ) &=  \int_{L_2} \left ( c u_x(x,t) dx + c u_t(x,t) dt \right )\\ &=  c \int_{L_2} d u(x,t) \\ &= c u(x_i,t_i)  c f(x_i  c t_i). \end{align}
Adding the three results together and putting them back in the original integral:
 \begin{align} \iint_{R_C} s(x,t) dx dt &=  \int^{x_i + c t_i}_{x_i  c t_i} g(x) dx + c u(x_i,t_i)  c f(x_i + c t_i) + c u(x_i,t_i)  c f(x_i  c t_i) \\ &= 2 c u(x_i,t_i)  c f(x_i + c t_i)  c f(x_i  c t_i)  \int^{x_i + c t_i}_{x_i  c t_i} g(x) dx \end{align}
Solving for u(x_{i}, t_{i}) we arrive at
 u(x_i,t_i) = \frac{f(x_i + c t_i) + f(x_i  c t_i)}{2} + \frac{1}{2 c}\int^{x_i + c t_i}_{x_i  c t_i} g(x) dx + \frac{1}{2 c}\int^{t_i}_0 \int^{x_i + c \left ( t_i  t \right )}_{x_i  c \left ( t_i  t \right )} s(x,t) dx dt.
In the last equation of the sequence, the bounds of the integral over the source function have been made explicit. Looking at this solution, which is valid for all choices (x_{i}, t_{i}) compatible with the wave equation, it is clear that the first two terms are simply d'Alembert's formula, as stated above as the solution of the homogeneous wave equation in one dimension. The difference is in the third term, the integral over the source.
Other coordinate systems
In three dimensions, the wave equation, when written in elliptic cylindrical coordinates, may be solved by separation of variables, leading to the Mathieu differential equation.
Further generalizations
To model dispersive wave phenomena, those in which the speed of wave propagation varies with the frequency of the wave, the constant c is replaced by the phase velocity:
 v_\mathrm{p} = \frac{\omega}{k}.
The elastic wave equation in three dimensions describes the propagation of waves in an isotropic homogeneous elastic medium. Most solid materials are elastic, so this equation describes such phenomena as seismic waves in the Earth and ultrasonic waves used to detect flaws in materials. While linear, this equation has a more complex form than the equations given above, as it must account for both longitudinal and transverse motion:
 \rho{ \ddot{\bold{u}}} = \bold{f} + ( \lambda + 2\mu )\nabla(\nabla \cdot \bold{u})  \mu\nabla \times (\nabla \times \bold{u})
where:
 λ and μ are the socalled Lamé parameters describing the elastic properties of the medium,
 ρ is the density,
 f is the source function (driving force),
 and u is the displacement vector.
Note that in this equation, both force and displacement are vector quantities. Thus, this equation is sometimes known as the vector wave equation.
See also
 Acoustic attenuation
 Acoustic wave equation
 Bateman transform
 Electromagnetic wave equation
 Helmholtz equation
 Inhomogeneous electromagnetic wave equation
 Laplace operator
 Maxwell's equations
 Schrödinger equation
 Standing wave
 Vibrations of a circular membrane
 Wheeler–Feynman absorber theory
Notes
 ^ Cannon, John T.; Dostrovsky, Sigalia (1981). "The evolution of dynamics, vibration theory from 1687 to 1742". Studies in the History of Mathematics and Physical Sciences 6. New York: SpringerVerlag. pp. ix + 184 pp. (retrieved 13 Nov 2012).
 ^ Gerard F Wheeler. The Vibrating String Controversy, (retrieved 13 Nov 2012). Am. J. Phys., 1987, v55, n1, p3337.
 ^ For a special collection of the 9 groundbreaking papers by the three authors, see First Appearance of the wave equation: D'Alembert, Leonhard Euler, Daniel Bernoulli.  the controversy about vibrating strings (retrieved 13 Nov 2012). Herman HJ Lynge and Son.
 ^ For de Lagrange's contributions to the acoustic wave equation, can consult Acoustics: An Introduction to Its Physical Principles and Applications Allan D. Pierce, Acoustical Soc of America, 1989; page 18.(retrieved 9 Dec 2012)
 ^ ^{a} ^{b} ^{c} Speiser, David. Discovering the Principles of Mechanics 16001800, p. 191 (Basel: Birkhäuser, 2008).
 ^ Tipler, Paul and Mosca, Gene. Physics for Scientists and Engineers, Volume 1: Mechanics, Oscillations and Waves; Thermodynamics, pp. 470471 (Macmillan, 2004).
 ^

^ D'Alembert (1747) "Recherches sur la courbe que forme une corde tenduë mise en vibration" (Researches on the curve that a tense cord forms [when] set into vibration), Histoire de l'académie royale des sciences et belles lettres de Berlin, vol. 3, pages 214219.
 See also: D'Alembert (1747) "Suite des recherches sur la courbe que forme une corde tenduë mise en vibration" (Further researches on the curve that a tense cord forms [when] set into vibration), Histoire de l'académie royale des sciences et belles lettres de Berlin, vol. 3, pages 220249.
 See also: D'Alembert (1750) "Addition au mémoire sur la courbe que forme une corde tenduë mise en vibration," Histoire de l'académie royale des sciences et belles lettres de Berlin, vol. 6, pages 355360.
 ^ John David Jackson, Classical Electrodynamics, 3rd Edition, Wiley, page 425. ISBN 9780471309321

^ The initial state for "Investigation by numerical methods" is set with quadratic splines as follows:
 u(0,x)= u_0\ \left(1\left(\frac{xx_1}{x_1}\right)^2\right) for 0 \le x \le x_2
 u(0,x)= u_0\ \left({\frac{xx_3}{x_1}}\right)^2 for x_2 \le x \le x_3
 u(0,x)= 0 for x_3 \le x \le L
References
 M. F. Atiyah, R. Bott, L. Garding, "Lacunas for hyperbolic differential operators with constant coefficients I", Acta Math., 124 (1970), 109–189.
 M.F. Atiyah, R. Bott, and L. Garding, "Lacunas for hyperbolic differential operators with constant coefficients II", Acta Math., 131 (1973), 145–206.
 R. Courant, D. Hilbert, Methods of Mathematical Physics, vol II. Interscience (Wiley) New York, 1962.
 L. Evans, "Partial Differential Equations". American Mathematical Society Providence, 1998.
 "Linear Wave Equations", EqWorld: The World of Mathematical Equations.
 "Nonlinear Wave Equations", EqWorld: The World of Mathematical Equations.
 William C. Lane, " The Wave Equation and Its SolutionsMISN0201", Project PHYSNET.
External links
 Francis Redfern. "Kinematic Derivation of the Wave Equation". Physics Journal. — a stepbystep derivation suitable for an introductory approach to the subject.
 Nonlinear Wave Equations by Stephen Wolfram and Rob Knapp, Nonlinear Wave Equation Explorer by Stephen Wolfram, and Wolfram Demonstrations Project.
 Mathematical aspects of wave equations are discussed on the Dispersive PDE Wiki.
 Graham W Griffiths and William E. Schiesser (2009). Linear and nonlinear waves. Scholarpedia, 4(7):4308. doi:10.4249/scholarpedia.4308