Namespaces
Variants
Actions

Difference between revisions of "Retarded potentials, method of"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (tex encoded by computer)
m (typos)
 
(2 intermediate revisions by the same user not shown)
Line 51: Line 51:
 
  \right | _ {t = \tau }  = \  
 
  \right | _ {t = \tau }  = \  
 
\left \{
 
\left \{
 +
 +
\begin{array}{ll}
 +
0  & \textrm{ if }  {k=0} \dots {m-2} ,  \\
 +
{f ( x , \tau ) }  & \textrm{ if }  k = {m-1} ,  \\
 +
\end{array}
 +
\right.
 +
$$
  
 
then the function (2) obtained by superposition of the impulses  $  \phi $
 
then the function (2) obtained by superposition of the impulses  $  \phi $
Line 59: Line 66:
 
\frac{\partial  ^ {k} u }{\partial  t  ^ {k} }
 
\frac{\partial  ^ {k} u }{\partial  t  ^ {k} }
 
  \right | _ {t = 0 }  =  0 ,\ \  
 
  \right | _ {t = 0 }  =  0 ,\ \  
k = 0 \dots m- 1 ,
+
k = 0 \dots {m-1} ,
 
$$
 
$$
  
Line 69: Line 76:
 
l u  \equiv   
 
l u  \equiv   
 
\frac{d  ^ {m} u }{d t  ^ {m} }
 
\frac{d  ^ {m} u }{d t  ^ {m} }
  - \sum _ { j= } 1 ^ { m }  a _ {j} ( t )  
+
  - \sum _ {j=1} ^ { m }  a _ {j} ( t )  
 
\frac{d ^ {m - j } u }{d t ^ {m - j } }
 
\frac{d ^ {m - j } u }{d t ^ {m - j } }
 
   =  f ( t ) ,
 
   =  f ( t ) ,
Line 80: Line 87:
  
 
$$  
 
$$  
u ( t )  =  \sum _ { j= } 1 ^ { m }  c  ^ {j} ( t ) u _ {j} ( t ) .
+
u ( t )  =  \sum _ {j=1} ^ { m }  c  ^ {j} ( t ) u _ {j} ( t ) .
 
$$
 
$$
  
The functions  $  \dot{c}   ^ {j} = d c  ^ {j} / dt $,  
+
The functions  $  \dot{c} {}  ^ {j} = d c  ^ {j} / dt $,  
 
$  j = 1 \dots m $,  
 
$  j = 1 \dots m $,  
 
are uniquely defined as the set of solutions to the system of algebraic equations
 
are uniquely defined as the set of solutions to the system of algebraic equations
  
 
$$  
 
$$  
\sum _ { j= } 1 ^ { m }  \dot{c}   ^ {j} ( t )  
+
\sum _ {j=1} ^ { m }  \dot{c} {}  ^ {j} ( t )  
 
\frac{d  ^ {k} u _ {j} }{dt  ^ {k} }
 
\frac{d  ^ {k} u _ {j} }{dt  ^ {k} }
 
   =  0,\ \  
 
   =  0,\ \  
k = 0 \dots m- 2 ,
+
k = 0 \dots {m-2} ,
 
$$
 
$$
  
 
$$  
 
$$  
\sum _ { j= } 1 ^ { m }  \dot{c}   ^ {j} ( t )  
+
\sum _ {j=1} ^ { m }  \dot{c} {}  ^ {j} ( t )  
\frac{d ^ {m-} 1
+
\frac{d ^ {m-1}
u _ {j} }{dt ^ {m-} 1 }
+
u _ {j} }{dt ^ {m-1} }
 
   =  f ( t )
 
   =  f ( t )
 
$$
 
$$
Line 122: Line 129:
 
\left .  
 
\left .  
 
\frac{d  ^ {k} \phi }{dt  ^ {k} }
 
\frac{d  ^ {k} \phi }{dt  ^ {k} }
  \right | _ {t=} = \  
+
  \right | _ {t=0}   = \  
 
\left \{
 
\left \{
 +
 +
\begin{array}{ll}
 +
0  & \textrm{ if }  k = 0 \dots {m-2}  \\
 +
1  & \textrm{ if }  k = {m-1} .  \\
 +
\end{array}
 +
\right.
 +
$$
  
 
Let  $  f ( x , t ) $,  
 
Let  $  f ( x , t ) $,  
 
$  x = ( x _ {1} \dots x _ {n} ) $,  
 
$  x = ( x _ {1} \dots x _ {n} ) $,  
be a function with continuous partial derivatives of order up to  $  ( n+ 1 ) / 2 $(
+
be a function with continuous partial derivatives of order up to  $  ( {n+1} ) / 2 $(
 
if  $  n $
 
if  $  n $
is odd) or  $  ( n+ 2 ) /2 $(
+
is odd) or  $  ( {n+2} ) /2 $(
 
if  $  n $
 
if  $  n $
 
is even), and let  $  M _ {r} [ f ( x , t ) ] $
 
is even), and let  $  M _ {r} [ f ( x , t ) ] $
Line 145: Line 159:
 
= \  
 
= \  
  
\frac{1}{( n- 2 ) ! }
+
\frac{1}{( {n-2} ) ! }
 
   
 
   
\frac{\partial   ^ {n-} 2 }{\partial  t ^ {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 ,
 
  \int\limits _ { 0 } ^ { t }  ( t  ^ {2} - r  ^ {2} ) ^ {( n - 3 ) / 2 } r M _ {r} [ f ( x , \tau ) ]  dr ,
 
$$
 
$$
Line 174: Line 188:
 
for the equation  $  \square u = f ( x , t ) $.  
 
for the equation  $  \square u = f ( x , t ) $.  
 
If  $  n = 2 $
 
If  $  n = 2 $
or  $  n= 3 $,  
+
or  $  {n=3} $,  
 
(5) implies
 
(5) implies
  
Line 213: Line 227:
  
 
$$ \tag{7 }
 
$$ \tag{7 }
S u  \equiv  u _ {t} + \sum _ { i= } 1 ^ { n }  A  ^ {i} u _ {x _ {i}  } + Bu  = \  
+
S u  \equiv  u _ {t} + \sum _ {i=1} ^ { n }  A  ^ {i} u _ {x _ {i}  } + Bu  = \  
 
f ( x , t ) ,
 
f ( x , t ) ,
 
$$
 
$$
Line 281: Line 295:
 
$$  
 
$$  
 
A  =  \left \{
 
A  =  \left \{
 +
 +
\begin{array}{ll}
 +
{A _ {0}  =  \textrm{ const } }  & \textrm{ if }  \alpha \leq  x \leq  0 ,  \\
 +
0  & \textrm{ if }  0 \leq  x \leq
 +
\beta ,  \\
 +
\end{array}
 +
 +
\right .$$
  
 
$$  
 
$$  
a  =  \left \{
+
a  =  \left \{  
 +
\begin{array}{ll}
 +
a _ {0}  = \
 +
\textrm{ const }  >  0  &\
 +
\textrm{ if }  0 \leq  x \leq  \beta ,  \\
 +
a _ {1}  =  \textrm{ const }  & \textrm{ if }  \alpha \leq  x \leq  0 ,  \\
 +
\end{array}
 +
 
 +
\right .$$
  
 
which is hyperbolic if  $  x < 0 $
 
which is hyperbolic if  $  x < 0 $

Latest revision as of 22:07, 7 June 2020


Duhamel principle

A method for determining the solution to the homogeneous 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:

$$ \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 \{ \begin{array}{ll} 0 & \textrm{ if } {k=0} \dots {m-2} , \\ {f ( x , \tau ) } & \textrm{ if } k = {m-1} , \\ \end{array} \right. $$

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 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.

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 \{ \begin{array}{ll} 0 & \textrm{ if } k = 0 \dots {m-2} \\ 1 & \textrm{ if } k = {m-1} . \\ \end{array} \right. $$

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

$$ \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

$$ \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 \{ \begin{array}{ll} {A _ {0} = \textrm{ const } } & \textrm{ if } \alpha \leq x \leq 0 , \\ 0 & \textrm{ if } 0 \leq x \leq \beta , \\ \end{array} \right .$$

$$ a = \left \{ \begin{array}{ll} a _ {0} = \ \textrm{ const } > 0 &\ \textrm{ if } 0 \leq x \leq \beta , \\ a _ {1} = \textrm{ const } & \textrm{ if } \alpha \leq x \leq 0 , \\ \end{array} \right .$$

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

[1] A.V. Bitsadze, "Equations of mathematical physics" , MIR (1980) (Translated from Russian)
[2] L. Bers, F. John, M. Schechter, "Partial differential equations" , Interscience (1964)
[3] V.S. Vladimirov, "Equations of mathematical physics" , MIR (1984) (Translated from Russian)
[4] R. Courant, D. Hilbert, "Methods of mathematical physics. Partial differential equations" , 2 , Interscience (1965) (Translated from German)
[5] L.S. Pontryagin, "Ordinary differential equations" , Addison-Wesley (1962) (Translated from Russian)
[6] A.N. Tikhonov, A.A. Samarskii, "Equations of mathematical physics" , Pergamon (1963) (Translated from Russian)
How to Cite This Entry:
Retarded potentials, method of. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Retarded_potentials,_method_of&oldid=48532
This article was adapted from an original article by A.M. Nakhushev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article