How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Wave energy density, energy flux and total energy
Definition
Let , , let be open, let be an open interval and let be ( maps and multi-index derivative notation in Euclidean space). Write and let
be the spatial gradient of The Jacobian matrix of partial derivatives and the gradient in the scalar-valued case, a field whose Euclidean norm is (The Euclidean inner product on ).
The kinetic density, potential density and energy density of are the continuous functions
and the energy flux is the vector field
(Divergence and curl of a vector field). For a Lebesgue-measurable and a time with , the total energy in is the real number
(The nonnegative Lebesgue integral); when the integral is infinite the total energy is and no real value is assigned.
Sign convention. If is admissible for the divergence theorem with outward unit normal , then is the energy leaving across per unit time. This is the convention under which the pointwise identity of The local wave-energy conservation law holds with (Wave equation, Cauchy data and wave speed): the flux vector points in the direction of energy transport, and is the local rate at which energy leaves a point.
Speed convention. The gradient term carries the exact factor , so at unit speed the energy density is the familiar and the flux is . The general-speed statements of this page are rendered at throughout.
No equation for , no finiteness of a particular integral and no regularity of any boundary are asserted here: each statement that uses these objects states its own hypotheses, and sufficient settings in which is finite and constant are supplied by Conservation of total wave energy in three admissible settings.
Depends on
- $C^k$ maps and multi-index derivative notation in Euclidean space
- The Jacobian matrix of partial derivatives and the gradient in the scalar-valued case
- Divergence and curl of a $C^1$ vector field
- The Euclidean inner product $\langle x,y\rangle = \sum_{k<n} x_k y_k$ on $\mathbb{R}^n$
- The nonnegative Lebesgue integral
Used by
- Energy uniqueness for the wave Cauchy problem Corollary
- Time-reversed energy uniqueness from final data Corollary
- The local conservation law need not integrate to a finite conserved energy Counterexample
- Wave energy need not be conserved through an open boundary Counterexample
- Conserved energy of a travelling wave packet Example
- Odd reflection at a Dirichlet endpoint Example
- Zero wave energy means a spatial constant, fixed by the displacement datum Example
- The energy identity on a truncated wave cone Lemma
- The local wave-energy conservation law Lemma
- Conservation of total wave energy in three admissible settings Theorem
- Energy continuous dependence for the forced wave equation Theorem
- Energy uniqueness for homogeneous Dirichlet waves on bounded domains Theorem
- Finite propagation speed for the wave equation Theorem
Dependency tree · two levels
26 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Gerald Teschl, Partial Differential Equations: From Classical to Modern (2025 archived author manuscript, AMS Graduate Studies in Mathematics) (standard reference, not scraped)
- Victor Ivrii, Partial Differential Equations (University of Toronto, 2018, CC BY-SA) (standard reference, not scraped)
- John K. Hunter, Notes on Partial Differential Equations (revised 18 June 2014, UC Davis) (standard reference, not scraped)