ProofComplete

Proof of Energy Conservation for the Wave Equation

Energy conservation is a fundamental property of the wave equation, reflecting the Hamiltonian structure of wave propagation. The conserved energy functional provides a priori estimates and uniqueness results.


Statement

Theorem6.3Energy Conservation for the Wave Equation

For a solution uu of utt=c22uu_{tt} = c^2\nabla^2 u in Ω×[0,T]\Omega \times [0,T] with u=0u = 0 on Ω\partial\Omega, the energy E(t)=12Ω[ut2+c2u2]dxE(t) = \frac{1}{2}\int_\Omega [u_t^2 + c^2|\nabla u|^2]\,dx is constant: dEdt=0\frac{dE}{dt} = 0.


Proof

Proof

Differentiate the energy: dEdt=Ω[ututt+c2uut]dx\frac{dE}{dt} = \int_\Omega [u_t u_{tt} + c^2 \nabla u \cdot \nabla u_t]\,dx

Substitute utt=c22uu_{tt} = c^2\nabla^2 u: =Ω[utc22u+c2uut]dx= \int_\Omega [u_t c^2\nabla^2 u + c^2 \nabla u \cdot \nabla u_t]\,dx

Integrate the second term by parts (Green's first identity): Ωuutdx=Ωut2udx+ΩutundS\int_\Omega \nabla u \cdot \nabla u_t\,dx = -\int_\Omega u_t \nabla^2 u\,dx + \oint_{\partial\Omega} u_t \frac{\partial u}{\partial n}\,dS

Since u=0u = 0 on Ω\partial\Omega, we have ut=0u_t = 0 on Ω\partial\Omega (differentiating the boundary condition in time). Therefore the boundary integral vanishes: dEdt=c2Ωut2udxc2Ωut2udx+0=0\frac{dE}{dt} = c^2\int_\Omega u_t \nabla^2 u\,dx - c^2\int_\Omega u_t\nabla^2 u\,dx + 0 = 0

The two volume integrals cancel exactly, proving dE/dt=0dE/dt = 0. \square


ExampleUniqueness from Energy Conservation

Uniqueness: If u1,u2u_1, u_2 solve the wave equation with the same initial and boundary data, then w=u1u2w = u_1 - u_2 solves the wave equation with zero data. The energy Ew(t)=12[wt2+c2w2]dxE_w(t) = \frac{1}{2}\int[w_t^2 + c^2|\nabla w|^2]dx satisfies Ew(0)=0E_w(0) = 0 (from zero initial data) and Ew(t)=Ew(0)=0E_w(t) = E_w(0) = 0 (by conservation). Since the integrand is non-negative: wt=0w_t = 0 and w=0\nabla w = 0 everywhere, giving w=const=0w = \text{const} = 0 (from zero initial condition). Thus u1=u2u_1 = u_2.

RemarkEnergy for Damped and Driven Waves

For the damped wave equation utt+γut=c22uu_{tt} + \gamma u_t = c^2\nabla^2 u: dE/dt=γut2dx0dE/dt = -\gamma\int u_t^2\,dx \leq 0. Energy decreases monotonically, with the rate proportional to the kinetic energy. For driven waves utt=c22u+fu_{tt} = c^2\nabla^2 u + f: dE/dt=futdxdE/dt = \int fu_t\,dx (work done by the forcing). Energy arguments extend to nonlinear wave equations via suitable energy functionals.