View source for Retarded potentials, method of

<!--
r0816701.png
$#A+1 = 116 n = 0
$#C+1 = 116 : ~/encyclopedia/old_files/data/R081/R.0801670 Retarded potentials, method of,
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

''Duhamel principle''

A method for determining the solution to the homogeneous [[Cauchy problem|Cauchy problem]] for a (system of) inhomogeneous linear partial differential equation(s) in terms of the known solution to the homogeneous equation or system.

Consider the equation

$$ \tag{1 }

\frac{\partial   ^ {m} u }{\partial  t  ^ {m} }
 - Lu  =  f ( x , t ),\  u = u ( x , t) ,\ \ 
x = ( x _ {1} \dots x _ {n} ) ,
$$

where  $  L $
is an arbitrary linear differential operator involving no derivatives with respect to  $  t $
of order higher than  $  m - 1 $. 
A particular solution  $  u ( x , t ) $
of equation (1) ( $  t > 0 $) 
is looked for as a [[Duhamel integral|Duhamel integral]]:

$$ \tag{2 }
u ( x , t )  =  \int\limits _ { 0 } ^ { t }  \phi ( x , t ;  \tau )  d \tau ,
$$

where  $  \phi $
is a (regular or generalized) solution of the homogeneous equation

$$ 

\frac{\partial   ^ {m} \phi }{\partial  t  ^ {m} }
 - L \phi  =  0 ,\  t > \tau .
$$

If

$$ 
\left . 
\frac{\partial   ^ {k} \phi }{\partial  t  ^ {k} }
 \right | _ {t = \tau }   = \ 
\left \{

then the function (2) obtained by superposition of the impulses  $  \phi $
is a solution to the Cauchy problem

$$ \tag{3 }
\left . 
\frac{\partial   ^ {k} u }{\partial  t  ^ {k} }
 \right | _ {t = 0 }   =  0 ,\ \ 
k = 0 \dots m- 1 ,
$$

for the inhomogeneous equation (1).

In the case of a system of ordinary differential equations, the method of retarded potentials is known as the method of variation of constants or the method of impulses. For ordinary linear differential equations of order  $  m $,

$$ \tag{4 }
l u  \equiv  
\frac{d  ^ {m} u }{d t  ^ {m} }
 - \sum _ { j= } 1 ^ { m }  a _ {j} ( t ) 
\frac{d ^ {m - j } u }{d t ^ {m - j } }
  =  f ( t ) ,
$$

the method proceeds as follows: if  $  u _ {1} ( t ) \dots u _ {m} ( t ) $
is any [[Fundamental system of solutions|fundamental system of solutions]] to the equation  $  lu = 0 $, 
then a solution  $  u ( t ) $
to the inhomogeneous equation (4) is sought for in the form

$$ 
u ( t )  =  \sum _ { j= } 1 ^ { m }  c  ^ {j} ( t ) u _ {j} ( t ) .
$$

The functions  $  \dot{c}   ^ {j} = d c  ^ {j} / dt $, 
$  j = 1 \dots m $, 
are uniquely defined as the set of solutions to the system of algebraic equations

$$ 
\sum _ { j= } 1 ^ { m }  \dot{c}   ^ {j} ( t ) 
\frac{d  ^ {k} u _ {j} }{dt  ^ {k} }
  =  0,\ \ 
k = 0 \dots m- 2 ,
$$

$$ 
\sum _ { j= } 1 ^ { m }  \dot{c}   ^ {j} ( t ) 
\frac{d  ^ {m-} 1
u _ {j} }{dt  ^ {m-} 1 }
  =  f ( t )
$$

with non-vanishing [[Wronskian|Wronskian]].

If  $  f ( t ) = 0 $
for  $  t \leq  0 $, 
the solution  $  u _ {f} ( t ) $
of the homogeneous Cauchy problem (3) for equation (4) is usually called a normal reaction to the external load  $  f ( t ) $. 
The function  $  u _ {f} ( t ) $
can be expressed as a convolution or Duhamel integral:

$$ 
u _ {f} ( t )  =  \int\limits _ { 0 } ^ { t }  \phi ( \tau ) f ( t - \tau )  d \tau  = \ 
\int\limits _ { 0 } ^ { t }  \phi ( t - \tau ) f ( \tau )  d \tau ,
$$

where  $  l \phi ( t ) = 0 $
for  $  t > 0 $
and

$$ 
\left . 
\frac{d  ^ {k} \phi }{dt  ^ {k} }
 \right | _ {t=} 0  = \ 
\left \{

Let  $  f ( x , t ) $, 
$  x = ( x _ {1} \dots x _ {n} ) $, 
be a function with continuous partial derivatives of order up to  $  ( n+ 1 ) / 2 $(
if  $  n $
is odd) or  $  ( n+ 2 ) /2 $(
if  $  n $
is even), and let  $  M _ {r} [ f ( x , t ) ] $
be the mean value of  $  f $
on the sphere  $  | y - x | = r $
with centre  $  x $
and radius  $  r $. 
The function

$$ 
v ( x , t ;  \tau ) =
$$

$$ 
= \ 

\frac{1}{( n- 2 ) ! }
 
\frac{\partial   ^ {n-} 2 }{\partial  t  ^ {n-} 2 }
 \int\limits _ { 0 } ^ { t }  ( t  ^ {2} - r  ^ {2} ) ^ {( n - 3 ) / 2 } r M _ {r} [ f ( x , \tau ) ]  dr ,
$$

which depends on the non-negative parameter  $  \tau \leq  t $, 
is a solution to the [[Wave equation|wave equation]]

$$ 
\square v  \equiv  v _ {tt} - \Delta v  =  0 ,
$$

satisfying the initial conditions

$$ 
v ( x , 0 ;  r )  =  0 ,\  v _ {t} ( x , 0 ;  \tau )  =  f ( x , \tau ) .
$$

The Duhamel integral

$$ \tag{5 }
u ( x , t )  =  \int\limits _ { 0 } ^ { t }  v ( x , t - \tau ;  \tau )  d \tau
$$

is a solution to the homogeneous Cauchy problem  $  u ( x , 0 ) = 0 $, 
$  u _ {t} ( x , 0 ) = 0 $
for the equation  $  \square u = f ( x , t ) $. 
If  $  n = 2 $
or  $  n= 3 $, 
(5) implies

$$ 
u ( x , t )  =  
\frac{1}{2 \pi }
 \int\limits _ { 0 } ^ { t }  d \tau \int\limits _ {\rho \leq  \pi }

\frac{f ( y , t - \tau )  dy }{\sqrt {\tau  ^ {2} - \rho  ^ {2} } }
 ,\  y =
( y _ {1} , y _ {2} ) ,
$$

or

$$ \tag{6 }
u ( x , t )  =  
\frac{1}{4 \pi }
 \int\limits _ {\rho \leq  t } 
\frac{f ( y , t - \rho ) } \rho 
  dy ,\  y = ( y _ {1} , y _ {2} , y _ {3} ) ,
$$

where  $  \rho = | x - y | $.

On the other hand, if  $  n = 1 $, 
then

$$ 
u ( x , t )  =  
\frac{1}{2}
 \int\limits _ { 0 } ^ { t }  d \tau \int\limits _ {x - t + \tau } ^ { {x }  + t - \tau } f ( y , \tau )  dy ,\  y = y _ {1} .
$$

The integral in (6) is known as a retarded potential with density  $  f $.

The method of retarded potentials (method of variation of parameters) is particularly simple and useful when applied to first-order linear systems of differential equations of the type

$$ \tag{7 }
S u  \equiv  u _ {t} + \sum _ { i= } 1 ^ { n }  A  ^ {i} u _ {x _ {i}  } + Bu  = \ 
f ( x , t ) ,
$$

where  $  u = u ( x , t ) $
is a  $  k $-
dimensional vector,  $  A  ^ {i} $
and  $  B $
are given  $  ( k \times k ) $-
matrices and  $  f $
is a given vector.

Suppose that the vector  $  \phi = \phi ( x , t ;  \tau ) $, 
depending on a parameter  $  \tau \leq  t $, 
is a solution to the Cauchy problem

$$ 
\phi ( x , \tau ;  \tau )  =  f ( x , \tau )
$$

for the homogeneous system  $  S \phi = 0 $. 
Then the vector

$$ \tag{8 }
u ( x , t )  =  \int\limits _ { 0 } ^ { t }  \phi ( x , t ;  \tau )  d \tau
$$

is a solution to the inhomogeneous system (7) with initial condition

$$ \tag{9 }
u ( x , 0 )  =  0 .
$$

The function  $  \phi ( t , x ;  \tau ) $
corresponding to the inhomogeneous [[Heat equation|heat equation]]

$$ \tag{10 }
u _ {t} - a \Delta u  =  f ( x , t ) ,\  a = \textrm{ const } > 0 ,
$$

has the form

$$ \tag{11 }
\phi ( x , t ;  \tau )  =  \int\limits _ {\mathbf R  ^ {n} } [ 4 \pi a ( t - \tau ) ] ^ 
{- n / 2 } e ^ {- 
\frac{| x - y |  ^ {2} }{4a ( t - \tau ) }
 }
f ( y , \tau )  dy ,
$$

where  $  \mathbf R  ^ {n} $
is the Euclidean space. The solution  $  u ( x , t ) $
of equation (10) with initial condition (9) is given by a Duhamel integral (3), with the function (11) as integrand.

The method of retarded potentials is also used to investigate mixed problems for partial differential equations of parabolic and hyperbolic types; it enables one to reduce the general problem to problems involving special initial and boundary functions.

For example, in the domain  $  \Omega = \{ {( x , t ) } : {\alpha < x < \beta,  0 < t < T } \} $, 
consider the partial differential equation

$$ \tag{12 }
A u _ {tt} + B u _ {xx} + a u _ {t} + b u _ {x} + cu  =  0 ,
$$

where  $  B , b , c = \textrm{ const } $, 
$  B < 0 $,

$$ 
A  =  \left \{

$$ 
a  =  \left \{

which is hyperbolic if  $  x < 0 $
and parabolic if  $  x > 0 $. 
If  $  \phi ( x , t ) $
is a continuous solution, differentiable at  $  x = 0 $, 
of the mixed problem

$$ 
\phi ( x , 0 )  =  0 ,\  \alpha \leq  x \leq  \beta ; \  \phi _ {t} ( x , 0 )  =  0
,\  \alpha < x < 0 ,
$$

$$ 
u ( \alpha , t )  =  1 ,\  \phi _ {x} ( \beta , t )  =  0 ,\  0< t < T ,
$$

for equation (12) in  $  \Omega $, 
then, according to the method of retarded potentials, the Duhamel integral

$$ \tag{13 }
u ( x , t )  =  
\frac \partial {\partial  t }
 \int\limits _ { 0 } ^ { t }  \phi ( x , t - \tau ) f ( \tau )
 d \tau  \equiv  T f ,
$$

with continuously-differentiable density  $  f ( t ) $, 
is a solution to the mixed problem

$$ 
u ( x , 0 )  =  0 ,\  \alpha \leq  x \leq  \beta ,\  u _ {t} ( x , 0 )  =  0 ,
\  \alpha < x < 0 ,
$$

$$ 
u ( \alpha , t )  =  f ( t ) ,\  u _ {x} ( \beta , t )  =  0 ,\  0 < t < T ,
$$

for equation (12) in  $  \Omega $.

Essentially, the Duhamel integral (13) is a formula representing a linear operator  $  T $
which, given the boundary function  $  f ( t ) $, 
produces the solution  $  u ( x , t ) $. 
Duhamel's integral formula is valid not only for the operator  $  T $
of (13), but also for all linear operators  $  T $
satisfying the following conditions:

1)  $  T $
is defined for all functions  $  f ( t ) $
vanishing for  $  t < 0 $, 
and maps  $  f $
to a function  $  Tf = u ( x _ {1} \dots x _ {n} , t ) $
which also vanishes for  $  t < 0 $.

2)

$$ 
T \int\limits _ { \tau _ {1} } ^ { {\tau _ 2 } } f [ \theta ( t , \tau ) ]  d \tau  = \ 
\int\limits _ { \tau _ {1} } ^ { {\tau _ 2 } } T f [ \theta ( t , \tau ) ]  d \tau ,
$$

where  $  \theta ( t , \tau ) $
is some function of  $  t $
and the parameter  $  \tau $.

3) If  $  f ( 0 ) = 0 $
and  $  f ( t ) $
is differentiable, then

$$ 

\frac{d}{dt}
 T f  =  T 
\frac{df}{dt}
 .
$$

4) If  $  Tf ( t ) = \phi ( t ) $, 
then for all  $  \tau > 0 $,

$$ 
Tf ( t - \tau )  =  \phi ( t - \tau ) .
$$

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  A.V. Bitsadze,   "Equations of mathematical physics" , MIR  (1980)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  L. Bers,   F. John,   M. Schechter,   "Partial differential equations" , Interscience  (1964)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  V.S. Vladimirov,   "Equations of mathematical physics" , MIR  (1984)  (Translated from Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  R. Courant,   D. Hilbert,   "Methods of mathematical physics. Partial differential equations" , '''2''' , Interscience  (1965)  (Translated from German)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  L.S. Pontryagin,   "Ordinary differential equations" , Addison-Wesley  (1962)  (Translated from Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  A.N. Tikhonov,   A.A. Samarskii,   "Equations of mathematical physics" , Pergamon  (1963)  (Translated from Russian)</TD></TR></table>