Duhamel's principle

Template:Short description In mathematics, and more specifically in partial differential equations, Duhamel's principle is a general method for obtaining solutions to inhomogeneous linear evolution equations like the heat equation, wave equation, and vibrating plate equation. It is named after Jean-Marie Duhamel who first applied the principle to the inhomogeneous heat equation that models, for instance, the distribution of heat in a thin plate which is heated from beneath. For linear evolution equations without spatial dependency, such as a harmonic oscillator, Duhamel's principle reduces to the method of variation of parameters technique for solving linear inhomogeneous ordinary differential equations. It is also an indispensable tool in the study of nonlinear partial differential equations such as the Navier–Stokes equations and nonlinear Schrödinger equation where one treats the nonlinearity as an inhomogeneity.

The philosophy underlying Duhamel's principle is that it is possible to go from solutions of the Cauchy problem (or initial value problem) to solutions of the inhomogeneous problem. Consider, for instance, the example of the heat equation modeling the distribution of heat energy Template:Math in Template:Math. Indicating by Template:Math the time derivative of Template:Math, the initial value problem is $$\{\begin{array}{cc}{u}_t(x,t)-\mathrm{\Delta }u(x,t)=0& (x,t)\in {ℝ}^n\times (0,\mathrm{\infty })\\ u(x,0)=g(x)& x\in {ℝ}^n\end{array}$$ where g is the initial heat distribution. By contrast, the inhomogeneous problem for the heat equation, $$\{\begin{array}{cc}{u}_t(x,t)-\mathrm{\Delta }u(x,t)=f(x,t)& (x,t)\in {ℝ}^n\times (0,\mathrm{\infty })\\ u(x,0)=0& x\in {ℝ}^n\end{array}$$ corresponds to adding an external heat energy Template:Math at each point. Intuitively, one can think of the inhomogeneous problem as a set of homogeneous problems each starting afresh at a different time slice Template:Math. By linearity, one can add up (integrate) the resulting solutions through time Template:Math and obtain the solution for the inhomogeneous problem. This is the essence of Duhamel's principle.

General considerations

Formally, consider a linear inhomogeneous evolution equation for a function $$u:D\times (0,\mathrm{\infty })\to ℝ$$ with spatial domain Template:Mvar in Template:Math, of the form $$\{\begin{array}{cc}{u}_t(x,t)-Lu(x,t)=f(x,t)& (x,t)\in D\times (0,\mathrm{\infty })\\ u{|}_{\partial D}=0& \\ u(x,0)=0& x\in D,\end{array}$$ where L is a linear differential operator that involves no time derivatives.

Duhamel's principle is, formally, that the solution to this problem is $$u(x,t)=\underset{0}{\overset{t}{\int }}(P^{s}f)(x,t)ds$$ where Template:Math is the solution of the problem $$\{\begin{array}{cc}{v}_t-Lv=0& (x,t)\in D\times (s,\mathrm{\infty })\\ v{|}_{\partial D}=0& \\ v(x,s)=f(x,s)& x\in D.\end{array}$$ The integrand is the retarded solution $P^{s}f$, evaluated at time Template:Mvar, representing the effect, at the later time Template:Mvar, of an infinitesimal force $f(x,s)ds$ applied at time Template:Mvar. (The operator $P^s$ can be thought of as an inverse of the operator ${\partial }_t-L$ for the Cauchy problem with initial condition $f(x,s)$.)

Duhamel's principle also holds for linear systems (with vector-valued functions Template:Math), and this in turn furnishes a generalization to higher t derivatives, such as those appearing in the wave equation (see below). Validity of the principle depends on being able to solve the homogeneous problem in an appropriate function space and that the solution should exhibit reasonable dependence on parameters so that the integral is well-defined. Precise analytic conditions on Template:Math and Template:Math depend on the particular application.

Examples

Wave equation

The linear wave equation models the displacement Template:Math of an idealized dispersionless one-dimensional string, in terms of derivatives with respect to time Template:Mvar and space Template:Mvar:

$$\frac{{\partial }^{2}u}{\partial t^2}-c^2\frac{{\partial }^{2}u}{\partial x^2}=f(x,t).$$

The function Template:Math, in natural units, represents an external force applied to string at the position Template:Math. In order to be a suitable physical model for nature, it should be possible to solve it for any initial state that the string is in, specified by its initial displacement and velocity:

$$u(x,0)=u_0(x),\frac{\partial u}{\partial t}(x,0)=v_0(x).$$

More generally, we should be able to solve the equation with data specified on any Template:Math slice:

$$u(x,T)=u_T(x),\frac{\partial u}{\partial t}(x,T)=v_T(x).$$

To evolve a solution from any given time slice Template:Mvar to Template:Math, the contribution of the force must be added to the solution. That contribution comes from changing the velocity of the string by Template:Math. That is, to get the solution at time Template:Math from the solution at time Template:Mvar, we must add to it a new (forward) solution of the homogeneous (no external forces) wave equation

$$\frac{{\partial }^{2}U}{\partial t^2}-c^2\frac{{\partial }^{2}U}{\partial x^2}=0$$

with the initial conditions

$$U(x,T)=0,\frac{\partial U}{\partial t}(x,T)=f(x,T)dT.$$

A solution to this equation is achieved by straightforward integration:

$$U(x,t)=(\frac{1}{2c}\underset{x-c(t-T)}{\overset{x+c(t-T)}{\int }}f(\xi ,T)d\xi )dT$$

(The expression in parentheses is just $P^{T}f(x,t)$ in the notation of the general method above.) So a solution of the original initial value problem is obtained by starting with a solution to the problem with the same prescribed initial values problem but with zero initial displacement, and adding to that (integrating) the contributions from the added force in the time intervals from T to T+dT:

$$u(x,t)=\frac{1}{2}[u_0(x+ct)+u_0(x-ct)]+\frac{1}{2c}\underset{x-ct}{\overset{x+ct}{\int }}{v}_0(y)dy+\frac{1}{2c}\underset{0}{\overset{t}{\int }}\underset{x-c(t-T)}{\overset{x+c(t-T)}{\int }}f(\xi ,T)d\xi dT.$$

Constant-coefficient linear ODE

Duhamel's principle is the result that the solution to an inhomogeneous, linear, partial differential equation can be solved by first finding the solution for a step input, and then superposing using Duhamel's integral. Suppose we have a constant coefficient, Template:Mvar-th order inhomogeneous ordinary differential equation. $$P({\partial }_t)u(t)=F(t)$$ $$\underset{t}{\overset{j}{\partial }}u(0)=0,0\le j\le m-1$$ where $$P({\partial }_t):=a_m\underset{t}{\overset{m}{\partial }}+\cdots +a_1{\partial }_t+a_0,a_m\ne 0.$$

We can reduce this to the solution of a homogeneous ODE using the following method. All steps are done formally, ignoring necessary requirements for the solution to be well defined.

First let G solve $$P({\partial }_t)G=0,\underset{t}{\overset{j}{\partial }}G(0)=0,0\le j\le m-2,\underset{t}{\overset{m-1}{\partial }}G(0)=1/a_m.$$

Define $H=G{\chi }_{[0,\mathrm{\infty })}$, with ${\chi }_{[0,\mathrm{\infty })}$ being the characteristic function of the interval $[0,\mathrm{\infty })$. Then we have

$$P({\partial }_t)H=\delta$$

in the sense of distributions. Therefore

$$\begin{array}{cc}u(t)& =(H\ast F)(t)\\ & =\underset{0}{\overset{\mathrm{\infty }}{\int }}G(\tau )F(t-\tau )d\tau \\ & =\underset{-\mathrm{\infty }}{\overset{t}{\int }}G(t-\tau )F(\tau )d\tau \end{array}$$

solves the ODE.

Constant-coefficient linear PDE

More generally, suppose we have a constant coefficient inhomogeneous partial differential equation

$$P({\partial }_t,D_x)u(t,x)=F(t,x)$$

where $$D_x=\frac{1}{i}\frac{\partial }{\partial x}.$$

We can reduce this to the solution of a homogeneous ODE using the following method. All steps are done formally, ignoring necessary requirements for the solution to be well defined.

First, taking the Fourier transform in Template:Mvar we have $$P({\partial }_t,\xi )\hat{u}(t,\xi )=\hat{F}(t,\xi ).$$

Assume that $P({\partial }_t,\xi )$ is an Template:Mvar-th order ODE in Template:Mvar. Let $a_m$ be the coefficient of the highest order term of $P({\partial }_t,\xi )$. Now for every $\xi$ let $G(t,\xi )$ solve $$P({\partial }_t,\xi )G(t,\xi )=0,\underset{t}{\overset{j}{\partial }}G(0,\xi )=0\text{ for }0\le j\le m-2,\underset{t}{\overset{m-1}{\partial }}G(0,\xi )=1/a_m.$$

Define $H(t,\xi )=G(t,\xi ){\chi }_{[0,\mathrm{\infty })}(t)$. We then have $$P({\partial }_t,\xi )H(t,\xi )=\delta (t)$$ in the sense of distributions. Therefore $$\begin{array}{cc}\hat{u}(t,\xi )& =(H(\cdot ,\xi )\ast \hat{F}(\cdot ,\xi ))(t)\\ & =\underset{0}{\overset{\mathrm{\infty }}{\int }}G(\tau ,\xi )\hat{F}(t-\tau ,\xi )d\tau \\ & =\underset{-\mathrm{\infty }}{\overset{t}{\int }}G(t-\tau ,\xi )\hat{F}(\tau ,\xi )d\tau \end{array}$$ solves the PDE (after transforming back to Template:Mvar).

See also

• Retarded potential
• Propagator
• Impulse response
• Variation of parameters