
- •Contents
- •Series Preface
- •Introduction
- •Floating-Point Numbers
- •Computational Cost
- •Fidelity
- •Code Development
- •List of Open-Source Tools
- •Exercises
- •References
- •Derivation of the Wave Equation
- •Introduction
- •General Properties of Waves
- •One-Dimensional Waves on a String
- •Waves in Elastic Solids
- •Waves in Ideal Fluids
- •Thin Rods and Plates
- •Phonons
- •Tensors Lite
- •Exercises
- •References
- •Methods for solving the Wave Equation
- •Introduction
- •Method of Characteristics
- •Separation of Variables
- •Homogeneous Solution in Separable Coordinates
- •Boundary Conditions
- •Representing Functions with the Homogeneous Solutions
- •Green
- •Method of Images
- •Comparison of Modes to Images
- •Exercises
- •References
- •Wave Propagation
- •Introduction
- •Fourier Decomposition and Synthesis
- •Dispersion
- •Transmission and Reflection
- •Attenuation
- •Exercises
- •References
- •Normal Modes
- •Introduction
- •Mode Theory
- •Profile Models
- •Analytic Examples
- •Perturbation Theory
- •Multidimensional Problems and Degeneracy
- •Numerical Approach to Modes
- •Coupled Modes and the Pekeris Waveguide
- •Exercises
- •References
- •Ray Theory
- •Introduction
- •High Frequency Expansion of the Wave Equation
- •Amplitude
- •Ray Path Integrals
- •Building a Field from Rays
- •Numerical Approach to Ray Tracing
- •Complete Paraxial Ray Trace
- •Implementation Notes
- •Gaussian Beam Tracing
- •Exercises
- •References
- •Introduction
- •Finite Difference
- •Time Domain
- •FDTD Representation of the Linear Wave Equation
- •Exercises
- •References
- •Parabolic Equation
- •Introduction
- •The Paraxial Approximation
- •Operator Factoring
- •Pauli Spin Matrices
- •Reduction of Order
- •Numerical Approach
- •Exercises
- •References
- •Finite Element Method
- •Introduction
- •The Finite Element Technique
- •Discretization of the Domain
- •Defining Basis Elements
- •Expressing the Helmholtz Equation in the FEM Basis
- •Numerical Integration over Triangular and Tetrahedral Domains
- •Implementation Notes
- •Exercises
- •References
- •Boundary Element Method
- •Introduction
- •The Boundary Integral Equations
- •Discretization of the BIE
- •Basis Elements and Test Functions
- •Coupling Integrals
- •Scattering from Closed Surfaces
- •Implementation Notes
- •Comments on Additional Techniques
- •Exercises
- •References
- •Index

The wave traveling in one direction is now expressed by the complex exponential
exp i k x −ωt + θ0 |
(3.10) |
An additional parameter, θ0, called the phase of the wave has been added. This is determined by the initial conditions and represents the fact that one might not have placed their coordinates exactly on a crest at t = 0. Attenuation is an exponential damping of the amplitude that usually occurs in the direction of propagation:
exp −γn x exp i k x −ωt + θ0 |
(3.11) |
where it is assumed that the source is at n x = 0. Combining the exponents gives
exp i κn x −ωt + θ0 |
(3.12) |
with κ ≡k + iγ. For the most part the basic laws of optics hold for acoustics as well. This includes the law of reflection from a smooth hard barrier, that is, the angle of reflection equals the angle of incidence, and the law of refraction at a flat interface between two media, Snell’s law. Up to this point the presentation of wave phenomenon has been phenomenological, based on observation (pseudo-observation) and an attempt to categorize the basic properties observed. Now that a clear vocabulary for the description of wave phenomenon is in place, and some guidance as to how the observed parameters are related to a source versus the medium, the presentation will be less descriptive and more mathematical.
3.3 One-Dimensional Waves on a String
To derive a linear wave equation for one-dimensional waves, consider a line of identical coupled masses, mi = m connected to nearest neighbors by identical springs, with spring constant ki = k. The number of masses is finite and the first and last springs are connected to rigid boundaries. Each mass has a coordinate position, xi measured relative to its equilibrium position, and velocity, xi = dxidt. The kinetic energy of the system may be written as
K = |
N |
m |
x2 |
(3.13) |
|
||||
|
i = 1 |
2 i |
|
|
|
|
|
|
The total potential energy of the springs is a function of the position of each mass. Except for the end springs, each is stretched or compressed relative to its original length by an amount xi − xi − 1:
|
k |
2 |
N |
k |
2 |
|
k |
2 |
|
|
V = |
|
|
x1 |
+ |
|
xi −xi−1 |
+ |
|
xN |
(3.14) |
|
2 |
|
||||||||
2 |
|
i = 2 |
|
2 |
|
|
The first and last terms account for the end springs that are attached to large infinitely massive walls. The equations of motion for the masses are derived from the Lagrangian L = K −V:
d |
|
∂L |
− |
∂L = 0 |
(3.15) |
|
|
||||
dt ∂xi |
∂xi |
|

Applying (3.15) to the Lagrangian associated with (3.13) and (3.14) gives a system of coupled equations for the motion of the masses:
mx1 = −k x1 − x2 −x1 |
(3.16) |
mxi = −k xi −xi−1 − xi + 1 −xi , i = 2, …, N −1 |
(3.17) |
mxN = −k xN + xN −xN −1 |
(3.18) |
A solution of the form xit
= ui cos
ωt
is assumed, which leads to the characteristic equation
2k −mω |
2 |
−k |
0 |
0 |
u1 |
|
|
|
|
|
|
||||
−k |
|
2k −mω2 |
−k |
0 |
u2 |
|
|
0 |
|
−k |
2k −mω2 |
0 |
u3 |
= 0 |
(3.19) |
0 |
|
0 |
0 |
2k −mω2 |
uN |
|
|
|
|
|
|
|
|
|
This is an eigenvalue equation. For nontrivial solutions to exist, the determinant of the matrix must be equal zero, leading to an eigenvalue equation for ω2. For each eigenvalue ωn, there is a corresponding eigenvector un. A system of N-coupled masses will yield N eigenvalues:
ωn = 2ω0sin |
nπ 2 |
(3.20) |
|||
N + 1 |
|||||
|
|
|
|||
ui n = Usin |
|
nπi |
(3.21) |
||
|
|
||||
N + 1 |
|||||
|
|
The somewhat awkward notation for the eigenvector references the normal mode via n and the particle by i. The natural frequency of the single mass–spring system is introduced in (3.20):
k
ω0 = (3.22) m
The aforementioned treatment provides a complete description of the discrete mass–spring system that is used as a starting point for a continuum equation. Passing to the continuum involves letting the number of masses go to infinity as the distance between them goes to zero under constraints that the mass density and other physical quantities remain finite. To develop a suitable equation in the continuum limit, attention should be focused on an arbitrary mass, not coupled to either boundary, for example, the ith mass. The equilibrium distance between two adjacent masses, L0, is the quantity that will go to zero in the limiting process. As the number of masses goes to infinity, the individual mass will tend to zero and the local mass density,

ρ = mL0, will be held constant. Young’s modulus is defined via Y = kL0 in this limit. Rearranging terms in the equation of motion and using these definitions gives the following equation for the i-th mass:
ρxi = YL0−2 xi + 1 −xi − xi −xi−1 |
(3.23) |
A spatial parameter, denoted σ, is defined and used to locate a position on the x-axis independent of the mass locations, labeled xi. The location of the mass element, as the limit is taken, is a function of time and this new spatial parameter, x(t, σ). The continuous parameter σ acts as, or replaces, the discrete index i, for example, xt,iL0
= xi
t
. The following approximations to the first and second partial derivative of, x(t, σ) with respect to σ are made:
∂x |
|
≈ ± |
|
xi ± 1 −xi |
≡x ± |
(3.24) |
|||
∂σ σ = iL0 ± L0 2 |
|
|
|
||||||
|
|
L0 |
|
||||||
|
|
∂2x |
|
≈ |
x + − x− |
|
(3.25) |
||
|
∂σ2 |
L0 |
|||||||
|
|
|
|
||||||
|
|
|
y = iL0 |
|
With this, the discrete equation for the motion of the i-th mass becomes
∂2x |
= |
Y ∂2x |
(3.26) |
|
∂t2 |
|
ρ ∂σ2 |
The end points, infinite massive walls, become boundary conditions on the field x(t, σ). Defining the walls to be at σ = 0, and σ = N + 1
L0 ≈ NL0 = L, leads to the conditions x
t,0
= x
t,L0
= 0. The discrete system of N masses has N normal modes of vibration. Passing the limit to a continuum model, the spectrum becomes
ωn = nπ |
Y |
(3.27) |
|
ρ |
|||
L |
|
which can be derived by taking the small argument approximation of (3.20) and using the definitions of the macroscopic quantities previously defined. Similarly, for the amplitude vector:
u = Usin |
πσ |
(3.28) |
i n |
L |
|
The discrete set of normal modes becomes a field:
xn |
t,σ = Usin πσ cos ωnt |
(3.29) |
|
L |
|

The eigenfrequencies can be written in terms of the lowest frequency, n = 1, ωn = nω1, with ω1 derived from (3.27). This process is meant to demonstrate how the two paradigms, discrete versus continuous, are related and impress upon the reader the value of reductionism. Building models of bulk behavior from particle models is a common approach to understanding how discrete properties of the micro system lead to properties of the macro system [2].
3.4 Waves in Elastic Solids
In the study of elasticity, the medium is assumed to be a continuum. The laws governing the deformation of the continuum under application of a force are derived by applying Newton’s laws to an infinitesimal volume of the solid. The stress tensor is defined as the force per unit area acting in each direction for any planar slice through the medium. Conversely, projecting the stress tensor onto different directions will give the internal forces acting at any point in the solid medium. For any plane through the material, the projection of the stress tensor in the direction normal to the plane is the normal stress or tensile stress, while the projection along the direction tangent to the plane defines the shear stress. Also defined is a strain tensor, which is related to the differential deformation of the material relative to its original state. In three dimensions, each may be expressed as 3-by-3 matrix:
|
σxx |
σxy |
σxz |
|
σ = |
σyx |
σyy |
σyz |
(3.30) |
|
σzx |
σzy |
σzz |
|
|
εxx |
εxy |
εxz |
|
ε = |
εyx |
εyy |
εyz |
(3.31) |
|
εzx |
εzy |
εzz |
|
The individual components of the strain are defined as follows:
εij = |
1 |
∂ui |
+ |
∂uj |
, i, j = 1,2 3 |
(3.32) |
|
|
|
∂xj |
|
||||
2 |
|
|
∂xi |
|
The set of variables {uk} are the infinitesimal displacements along the axes defined by {xk}, where the following notation has been adopted for position and displacement of an element of the solid, x1, x2, x3
=
x,y,z
. It is worth noting that the stress and strain tensor components are defined relative to different systems. Stress is defined by looking at the equilibrium conditions applied to a deformed body, referred to as Eulerian coordinates. Strain is defined relative to the undeformed set of axes, a Lagrangian coordinate system. For small deformations, it can be assumed that these are approximately the same coordinates. Based on symmetry and physical arguments, one can prove that each of these is a symmetric matrix, σij = σji. In the study of

elasticity, there is a generalization of Hooke’s law that relates local stress and strain of a body at each point. This can be expressed easily as a 6-by-6 matrix:
σxx |
|
c11 |
c12 |
c13 |
c14 |
c15 |
c16 |
εxx |
|
|
σyy |
|
c21 |
c22 |
c23 |
c24 |
c25 |
c26 |
εyy |
|
|
σzz |
= |
c31 |
c32 |
c33 |
c34 |
c35 |
c36 |
εzz |
(3.33) |
|
σxy |
c41 |
c42 |
c43 |
c44 |
c45 |
c46 |
2 εxy |
|||
|
|
|||||||||
σyz |
|
c51 |
c52 |
c53 |
c54 |
c55 |
c56 |
2 εyz |
|
|
σzx |
|
c61 |
c62 |
c63 |
c64 |
c65 |
c66 |
2 εzx |
|
Equation (3.33) can be written more succinctly as Σ = CE. This relationship is a threedimensional generalization of the law used to describe the mass–spring system, F = −kx. It is worth noting that (3.33) could be written in terms of a fourth rank tensor:
σij = cijmnεmn |
(3.34) |
The four index tensors are related to the matrix, for example, |
c1111 = C11, c1122 = C12, |
c1212 = C44, and so on. The 36 values of the matrix C are called the elastic constants of the material. For homogeneous materials, these are constant, that is, the same value at every point inside the material. In general, a solid material will exhibit anisotropic behavior. There exist a wide variety of elastic matrices depending on the symmetries of the material structure. For an isotropic material, there are only two independent elastic constants. The isotropic elastic tensor is given as follows:
c1 |
c2 |
c2 |
0 |
0 |
0 |
c2 |
c1 |
c2 |
0 |
0 |
0 |
c2 |
c2 |
c1 |
0 |
0 |
0 |
|
|
|
c3 |
|
(3.35) |
0 |
0 |
0 |
0 |
0 |
|
0 |
0 |
0 |
0 |
c3 |
0 |
0 |
0 |
0 |
0 |
0 |
c3 |
The three parameters are related to each other:
c3 |
= |
c1 −c2 |
(3.36) |
|
|||
|
2 |
|
These two independent parameters can be related to either Lamé’s parameters or Young’s modulus and Poisson’s ratio. Another type of material is one with cubic symmetry. For such materials, the stiffness matrix is identical in form to that of a purely isotropic material but without (3.36) relating the three variables. Cubic materials have three independent parameters.

The free dynamic behavior of the material, assuming small deformations, is governed by the
equation |
|
|
|
|
∂σij |
= ρ |
∂2ui |
(3.37) |
|
|
∂xj |
∂t2 |
||
|
|
|
Using the generalized Hooke’s law to replace σij, and the definition of the strain in terms of the displacement field leads to a second-order linear partial differential equation (PDE) for the material displacement field:
cijmn |
∂2un |
= ρ |
∂2ui |
(3.38) |
∂xj∂xm |
∂t2 |
The presence of the material tensor will mix the various spatial derivatives, but (3.37) is similar in form to the second-order wave equation. For constant elastic matrix values and constant density, the equation can be solved by assuming a monochromatic plane wave:
un = Uneik x −ωt
The derivatives of this function are
∂2un = −ω2un ∂t2
∂2un = −kjkmun
∂xj∂xm
Inserting (3.40) and (3.41) into (3.38) yields the following:
cijmnkjkmUn = ρω2Ui
(3.39)
(3.40)
(3.41)
(3.42)
The wavevector is expressed in terms of its amplitude and direction of propagation kj = knj, and the velocity parameter is defined via υ = ωk. These definitions are used to define a second rank tensor to simplify notation:
Din ≡ |
cijmnnjnm |
|
(3.43) |
|
ρ |
||||
|
|
|||
Using (3.43), (3.42) can be written as |
|
|||
Dij −υ2δij Uj = 0 |
(3.44) |
Taking the determinant of (3.44) gives the corresponding eigenvalue equation for this system:
det Dij −υ2δij = 0 |
(3.45) |