Physlib.ClassicalMechanics.WaveEquation.HarmonicWave
Harmonic Wave
Time-harmonic waves.
Note TODO `EGU3E` may require considerable effort to be made rigorous and may heavily depend on the status of Fourier theory in Mathlib.
4 declarations
Direction of a wave vector
For a non-zero -dimensional wave vector , this definition computes its direction as a unit vector. Given and the condition , the direction is obtained by normalizing the vector: where is the Euclidean norm in .
General time-harmonic wave
The function `harmonicWave` defines a time-harmonic wave in a -dimensional space. Given an amplitude function , a phase function , a dispersion relation that maps a wave vector to an angular frequency, and a specific wave vector , the value of the wave at time and position is given by: where represent the frequency-dependent amplitude and phase offset respectively, and determines the angular frequency from the wave vector.
Transverse monochromatic harmonic plane wave propagating along the -axis
The function `transverseHarmonicPlaneWave` defines a monochromatic, time-harmonic plane wave propagating in the -direction within a 3-dimensional space. Given a wave vector , amplitudes and , angular frequency , and phase offsets and , the wave at time and position is represented as a vector in : where and are the unit vectors along the and axes respectively, and is the standard inner product in . The wave is transverse because its oscillations occur in the -plane, perpendicular to the direction of propagation .
Equivalence of Transverse Harmonic and General Plane Waves
Let be the wave speed and be the angular frequency. Let the wave vector be , which points in the -direction. For any amplitudes and phase offsets , the transverse harmonic plane wave , defined as: is equal to a general plane wave with speed and direction , whose profile function is given by: where and are the unit vectors along the and axes respectively. This shows that the transverse harmonic representation is equivalent to the general plane wave expression under the dispersion relation .
