Theorem
Duhamel formula for the heat equation
The forced heat equation is represented by evolving the initial data and integrating evolved source increments.
Statement
For smooth rapidly decaying initial data and a smooth source with a common compact spatial support on a finite time interval, a solution of
is given by the heat Duhamel formula
where is the heat semigroup.
Verification and scope
Differentiating the integral gives the endpoint value ; its remaining terms give . For these smooth data, spatial derivatives may instead fall on , justifying differentiation near . The integral vanishes at time zero. Rougher sources require the corresponding convergence and regularity estimates before the formula is interpreted as a classical solution.