Physlib.ClassicalMechanics.WaveEquation.Basic
Wave equation
i. Overview
In this module we define the wave equation in `d`-dimensional Euclidean space, and prove that plane waves are solutions to the wave equation. By a plne wave we mean a function of the form `f(t, x) = f₀(⟪x, s⟫_ℝ - c * t)` where `s` is a direction vector and `c` is the propagation speed.
ii. Key results
- `WaveEquation`: The general form of the wave equation where `c` is the propagation speed. - `planeWave`: A vector-valued plane wave travelling in the direction of `s` with propagation speed `c`. - `planeWave_waveEquation`: The plane wave satisfies the wave equation.
iii. Table of contents
- A. The wave equation - B. Plane wave solutions - B.1. Definition of a plane wave - B.2. Differentiablity conditions - B.3. Time derivatives of plane waves - B.4. Space derivatives of plane waves - B.5. Laplacian of plane waves - B.6. Plane waves satisfy the wave equation - C. Old lemmas used throughout files
iv. References
A. The wave equation
B. Plane wave solutions
B.1. Definition of a plane wave
B.2. Differentiablity conditions
B.3. Time derivatives of plane waves
B.4. Space derivatives of plane waves
B.5. Laplacian of plane waves
B.6. Plane waves satisfy the wave equation
C. Old lemmas used throughout files
These lemmas will eventually be moved, renamed and/or replaced.
21 declarations
Wave equation
The wave equation with propagation speed for a vector-valued function is the condition that at time and position : where is the vector Laplacian operator acting on the spatial coordinates and denotes the second-order partial derivative with respect to time.
Plane wave
Given a profile function , a propagation speed , and a direction , the plane wave is defined as the function mapping time and position to the value: where is the unit vector in the direction of , and denotes the standard inner product on .
Plane wave identity
For any profile function , propagation speed , and direction with unit vector , the value of the plane wave at time and position is given by: where denotes the standard inner product on .
Differentiability of Plane Waves with Respect to Time
Suppose is a differentiable profile function, is the propagation speed, and is a unit direction vector in -dimensional Euclidean space. For any fixed position , the plane wave defined by is differentiable with respect to time , where denotes the standard inner product on .
Differentiability of Plane Waves with Respect to Space
Suppose is a differentiable profile function, is the propagation speed, and is a unit direction vector in -dimensional Euclidean space. For any fixed time , the plane wave defined by is differentiable with respect to the spatial variable , where denotes the standard inner product.
Differentiability of implies Differentiability of the Plane Wave
Suppose is a differentiable profile function, is the propagation speed, and is a unit direction vector in -dimensional Euclidean space. Then the plane wave function defined by is differentiable with respect to , where denotes the standard inner product on .
Time Derivative of a Plane Wave:
Let be the dimension of the space. Given a differentiable profile function , a propagation speed , and a direction vector with associated unit vector , let the plane wave be defined as . For any fixed position , the time derivative of the plane wave is given by: where denotes the derivative of the profile function and denotes the standard inner product on .
Second Time Derivative of a Plane Wave:
Let be the dimension of the space. Given a twice continuously differentiable profile function , a propagation speed , and a direction with associated unit vector , let the plane wave be defined as . For any fixed position , the second partial derivative of the plane wave with respect to time is given by: where denotes the second derivative of the profile function and denotes the standard inner product on .
Spatial Derivative of a Plane Wave:
Let be the dimension of the space. Given a differentiable profile function , a propagation speed , and a direction vector with associated unit vector , let the plane wave be defined as . For any coordinate index , the partial derivative of the plane wave with respect to the -th spatial coordinate is given by: where is the -th component of the unit direction vector, and denotes the derivative of the profile function .
Spatial Derivative of a Plane Wave Component:
Let be the dimension of the space. Given a differentiable profile function , a propagation speed , and a direction with associated unit vector , let the plane wave be defined as . For any fixed time and coordinate indices , the partial derivative of the -th component of the plane wave with respect to the -th spatial coordinate is given by: where is the -th component of the unit direction vector, and denotes the derivative of the profile function .
Second Spatial Derivative of a Plane Wave:
Let be the dimension of the space. Given a twice continuously differentiable profile function , a propagation speed , and a direction vector with associated unit vector , let the plane wave be defined as . For any coordinate index , the second partial derivative of the plane wave with respect to the -th spatial coordinate is given by: where is the -th component of the unit vector , and denotes the second derivative of the profile function .
Second Spatial Derivative of a Plane Wave Component:
Let be the dimension of the space. Given a twice continuously differentiable profile function , a propagation speed , and a direction with associated unit vector , let the plane wave be defined as . For any fixed time and coordinate indices , the second partial derivative of the -th component of the plane wave with respect to the -th spatial coordinate is given by: where is the -th component of the unit direction vector, and denotes the second derivative of the profile function .
Laplacian of a Plane Wave:
Let be the dimension of the space. Given a twice continuously differentiable profile function , a propagation speed , and a direction with associated unit vector , let the plane wave be defined as . For any fixed time and position , the vector Laplacian of the plane wave with respect to the spatial coordinates is given by: where denotes the second derivative of the profile function .
Plane waves satisfy the wave equation
Let be the dimension of the space. Let be a twice continuously differentiable () profile function, be the propagation speed, and be a unit direction vector. The plane wave defined by satisfies the wave equation: for all times and positions , where is the vector Laplacian with respect to the spatial coordinates and is the second-order partial derivative with respect to time.
The function is differentiable
For any dimension , let be a direction with unit vector , be the propagation speed, and be a time. The function that maps a position vector to the scalar value is differentiable at , where denotes the standard inner product on Euclidean space.
for Plane Waves
In -dimensional Euclidean space, let be a unit direction vector, be the propagation speed, and be time. Let be a profile function with first derivative and second derivative . For any indices , the partial derivative with respect to of the -th component of the vector is given by: where is the -th component of , is the -th standard basis vector, and denotes the standard Euclidean inner product.
Relation between Spatial and Temporal Derivatives of Plane Waves:
In -dimensional Euclidean space, let be a unit direction vector, be the propagation speed, and be a differentiable profile function. Define the plane wave as . For any fixed time , position , and coordinate indices , the partial derivative of the -th component of the wave with respect to the -th spatial coordinate is related to the time derivative by the equation: where is the -th component of the unit direction vector and denotes the standard Euclidean inner product.
Time Differentiability of Plane Waves
In -dimensional Euclidean space, let be a direction vector, be the propagation speed, and be a differentiable profile function. If is a plane wave defined by , then for any fixed position , the function is differentiable with respect to time .
Time Differentiability of for Plane Waves
Let be a direction vector with unit vector and be a differentiable function. Let be a plane wave with propagation speed . For any fixed position , the function is differentiable at , where denotes the vector cross product in .
Differentiability of with respect to
Let be a direction vector in and be a differentiable function. Then for any , the function is differentiable at , where denotes the standard cross product in Euclidean 3-space.
for plane waves
Let be a natural number and be a differentiable function. Let be a unit vector in the -dimensional Euclidean space , and let and be real constants representing propagation speed and time. Define the plane wave function . For any points and any index , the following equality holds: where is the -th component of the direction vector , is the Fréchet derivative of at , denotes the -th component of a vector, and is the -th standard orthonormal basis vector.
