Duhamel's formula: Difference between revisions

From DispersiveWiki
Jump to navigationJump to search
No edit summary
 
(Added a matrix form of the Duhamel's formula)
Line 5: Line 5:
for some spatial operator ''L'', is given by
for some spatial operator ''L'', is given by
<center><math> u(t) = e^{tL} u_0 + \int_0^t e^{(t-t')L} F(t')\ dt',</math></center>
<center><math> u(t) = e^{tL} u_0 + \int_0^t e^{(t-t')L} F(t')\ dt',</math></center>
provided that ''L'' has enough of a functional calculus, and ''u'', ''u_0'', ''F'' have enough regularity, to justify all computations.  (If ''L'' is constant coefficient, then the Fourier transform can usually be used to justify everything so long as one works in the category of tempered distributions.)  Note that the case ''L=0'' is simply the fundamental theorem of calculus, indeed one can view Duhamel's formula as the fundamental theorem of calculus twisted (conjugated) by the free propagator <math>e^{tL}</math>.
provided that ''L'' has enough of a functional calculus, and <math> u </math>, <math> u_0 </math>, <math> F </math> have enough regularity, to justify all computations.  (If ''L'' is constant coefficient, then the Fourier transform can usually be used to justify everything so long as one works in the category of tempered distributions.)  Note that the case ''L=0'' is simply the fundamental theorem of calculus, indeed one can view Duhamel's formula as the fundamental theorem of calculus twisted (conjugated) by the free propagator <math>e^{tL}</math>.


For equations which are second order in time, the formula is slightly more complicated.  For instance, the solution to the inhomogeneous initial value problem
For equations which are second order in time, the formula is slightly more complicated.  For instance, the solution to the inhomogeneous initial value problem
Line 11: Line 11:
is given (formally, at least) by
is given (formally, at least) by
<center><math> u(t) = \cos(t\sqrt{L}) u_0 + \frac{\sin(t\sqrt{L})}{\sqrt{L}} u_1 + \int_0^t \frac{\sin((t-t')\sqrt{L})}{\sqrt{L}} F(t')\ dt'.</math></center>
<center><math> u(t) = \cos(t\sqrt{L}) u_0 + \frac{\sin(t\sqrt{L})}{\sqrt{L}} u_1 + \int_0^t \frac{\sin((t-t')\sqrt{L})}{\sqrt{L}} F(t')\ dt'.</math></center>
Anyhow, we note that in this case the solution can be cast in the standard form. So, let us introduce the vectors
<center><math>y=\begin{bmatrix} u & w \end{pmatrix}</math></center>
and
<center><math>\Phi=\begin{bmatrix} 0 & F(t) \end{pmatrix}</math></center>
with the matrix
<center><math>M=\begin{bmatrix} 0 & 1 \\
                                L & 0 \end{pmatrix}</math></center>.
We can write the second order equation as
<center><math>y_{tt}-My=\Phi(t)</math></center>
and write the solution as expected in the original Duhamel's formula, that is
<center><math> u(t) = e^{tM} y_0 + \int_0^t e^{(t-t')M} \Phi(t')\ dt',</math></center>.
Useful applications of this approach can be found for systems having a Hamiltonian flow.


[[Category:methods]]
[[Category:methods]]

Revision as of 13:13, 17 September 2007


Duhamel's formula expresses the solution to a general inhomogeneous linear equation as a superposition of free solutions arising from both the initial data and the forcing term. For instance, the solution to the inhomogeneous initial value problem

for some spatial operator L, is given by

provided that L has enough of a functional calculus, and , , have enough regularity, to justify all computations. (If L is constant coefficient, then the Fourier transform can usually be used to justify everything so long as one works in the category of tempered distributions.) Note that the case L=0 is simply the fundamental theorem of calculus, indeed one can view Duhamel's formula as the fundamental theorem of calculus twisted (conjugated) by the free propagator .

For equations which are second order in time, the formula is slightly more complicated. For instance, the solution to the inhomogeneous initial value problem

is given (formally, at least) by

Anyhow, we note that in this case the solution can be cast in the standard form. So, let us introduce the vectors

Failed to parse (unknown function "\begin{bmatrix}"): {\displaystyle y=\begin{bmatrix} u & w \end{pmatrix}}

and

Failed to parse (unknown function "\begin{bmatrix}"): {\displaystyle \Phi=\begin{bmatrix} 0 & F(t) \end{pmatrix}}

with the matrix

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle M=\begin{bmatrix} 0 & 1 \\ L & 0 \end{pmatrix}}

.

We can write the second order equation as

and write the solution as expected in the original Duhamel's formula, that is

.

Useful applications of this approach can be found for systems having a Hamiltonian flow.