Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generated
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 n≥1, c>0, let U⊆Rn be open, let I⊆R be an open interval and let u:U×I→R be C2 (Ck maps and multi-index derivative notation in Euclidean space). Write ut:=∂tu and let

Du:=(∂0u,…,∂n−1u)

be the spatial gradient of The Jacobian matrix of partial derivatives and the gradient in the scalar-valued case, a C1 field U×I→Rn whose Euclidean norm is ∣Du∣ (The Euclidean inner product ⟨x,y⟩=∑k<nxkyk on Rn).

The kinetic density, potential density and energy density of u are the continuous functions

ekin:=12ut2,epot:=c22∣Du∣2,e:=ekin+epot=12(ut2+c2∣Du∣2),

and the energy flux is the C1 vector field

q:=−c2ut Du

(Divergence and curl of a C1 vector field). For a Lebesgue-measurable Ω⊆U and a time t∈I with ∫Ωe(x,t) dx<∞, the total energy in Ω is the real number

EΩ(t):=∫Ωe(x,t) dx

(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 ∫∂Ωq⋅ν dS is the energy leaving Ω across ∂Ω per unit time. This is the convention under which the pointwise identity ∂te+div⁡q=ut □cu of The local wave-energy conservation law holds with □c=∂t2−c2Δ (Wave equation, Cauchy data and wave speed): the flux vector q=−c2utDu points in the direction of energy transport, and div⁡q is the local rate at which energy leaves a point.

Speed convention. The gradient term carries the exact factor c2, so at unit speed the energy density is the familiar 12ut2+12∣Du∣2 and the flux is −utDu. The general-speed statements of this page are rendered at c>0 throughout.

No equation for u, 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 EΩ is finite and constant are supplied by Conservation of total wave energy in three admissible settings.

Depends on

Used by

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