 Energy estimate

An energy estimate tests a differential equation against the solution or one of its derivatives to control a norm by initial data and forcing. Coercive terms represent dissipation, while Young inequality and the Gronwall inequality control lower-order terms.

For the difference $w$ of two smooth heat equation solutions with $D>0$, identical PDE source term, initial conditions, and either periodic boundary conditions or Dirichlet boundary data, integration by parts givesThe initially zero nonnegative integral stays zero, proving uniqueness. The same computation bounds changes in the L2 norm when the initial conditions differ. Specifying data and a solution class makes this argument meaningful.^[ref]