Namespaces
Variants
Actions

Difference between revisions of "Integral-transform method"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
i0516901.png
 +
$#A+1 = 14 n = 0
 +
$#C+1 = 14 : ~/encyclopedia/old_files/data/I051/I.0501690 Integral\AAhtransform method
 +
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}}
 +
 
A method for solving linear differential equations for given boundary value or initial conditions, consisting in the transition from the given equation to an equation for an integral transform of the unknown function. The latter equation may turn out to be simpler. Suppose, e.g., that one has to find the solution to the equation
 
A method for solving linear differential equations for given boundary value or initial conditions, consisting in the transition from the given equation to an equation for an integral transform of the unknown function. The latter equation may turn out to be simpler. Suppose, e.g., that one has to find the solution to the equation
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051690/i0516901.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>
+
$$ \tag{1 }
 +
a _ {0} ( x)
 +
\frac{d  ^ {2} u }{dx  ^ {2} }
 +
+ a _ {1} ( x)
 +
\frac{du}{dx}
 +
 
 +
+ a _ {2} u  = f ( x)
 +
$$
  
on a finite or infinite interval with boundary conditions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051690/i0516902.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051690/i0516903.png" />. If the kernel <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051690/i0516904.png" /> of the integral transformation
+
on a finite or infinite interval with boundary conditions $  u ( \alpha )= u _  \alpha  $,  
 +
$  u ( \beta ) = u _  \beta  $.  
 +
If the kernel $  K ( s , x ) $
 +
of the integral transformation
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051690/i0516905.png" /></td> </tr></table>
+
$$
 +
\overline{u}\; ( s)  = \int\limits _  \alpha  ^  \beta  K ( s , x ) u ( x)  dx
 +
$$
  
 
satisfies the equation
 
satisfies the equation
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051690/i0516906.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table>
+
$$ \tag{2 }
 +
 
 +
\frac{d  ^ {2} ( a _ {0} K  ) }{dx  ^ {2} }
 +
-  
 +
\frac{d ( a _ {1} K  ) }{dx}
 +
+ a _ {2} K  =  \lambda ( s) K ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051690/i0516907.png" /> is a function of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051690/i0516908.png" />, then after multiplication of (1) by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051690/i0516909.png" /> and integration by parts over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051690/i05169010.png" /> one obtains the equation
+
where $  \lambda ( s) $
 +
is a function of $  s $,  
 +
then after multiplication of (1) by $  K ( s , x ) $
 +
and integration by parts over $  ( \alpha , \beta ) $
 +
one obtains the equation
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051690/i05169011.png" /></td> </tr></table>
+
$$
 +
\left . \overline{f}\; ( s) -
 +
\left [ a _ {0} \left ( K
 +
\frac{du}{dx}
 +
- u
 +
\frac{dK}{dx}
 +
\right ) +
 +
\left ( a _ {1} - a _ {0}  ^  \prime  \right ) \right ]
 +
\right | _ {x = \alpha }  ^ {x = \beta }  = \lambda ( s) \overline{u}\; .
 +
$$
  
Solving it for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051690/i05169012.png" /> and using an inversion formula for the integral transformation, one finds <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051690/i05169013.png" />. An analogous integral-transform method is used for partial differential equations.
+
Solving it for $  \overline{u}\; ( s) $
 +
and using an inversion formula for the integral transformation, one finds $  u ( x) $.  
 +
An analogous integral-transform method is used for partial differential equations.
  
 
Thus, the process for solving differential equations by this method consists of the following stages:
 
Thus, the process for solving differential equations by this method consists of the following stages:
Line 21: Line 66:
 
1) The choice of a suitable integral transformation.
 
1) The choice of a suitable integral transformation.
  
2) Multiplication of the equation and boundary-initial conditions by the kernel of this integral transformation, and subsequent integration, over a suitable range, with respect to the independent variable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051690/i05169014.png" />.
+
2) Multiplication of the equation and boundary-initial conditions by the kernel of this integral transformation, and subsequent integration, over a suitable range, with respect to the independent variable $  x $.
  
 
3) In the integration of 2), the use of the boundary-initial conditions to compute the terms arising from the integration limits.
 
3) In the integration of 2), the use of the boundary-initial conditions to compute the terms arising from the integration limits.
Line 31: Line 76:
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  C.J. Tranter,  "Integral transformations in mathematical physics" , Wiley  (1966)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  R. Courant,  D. Hilbert,  "Methods of mathematical physics. Partial differential equations" , '''1–2''' , Interscience  (1953–1962)  (Translated from German)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  C.J. Tranter,  "Integral transformations in mathematical physics" , Wiley  (1966)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  R. Courant,  D. Hilbert,  "Methods of mathematical physics. Partial differential equations" , '''1–2''' , Interscience  (1953–1962)  (Translated from German)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====

Latest revision as of 22:12, 5 June 2020


A method for solving linear differential equations for given boundary value or initial conditions, consisting in the transition from the given equation to an equation for an integral transform of the unknown function. The latter equation may turn out to be simpler. Suppose, e.g., that one has to find the solution to the equation

$$ \tag{1 } a _ {0} ( x) \frac{d ^ {2} u }{dx ^ {2} } + a _ {1} ( x) \frac{du}{dx} + a _ {2} u = f ( x) $$

on a finite or infinite interval with boundary conditions $ u ( \alpha )= u _ \alpha $, $ u ( \beta ) = u _ \beta $. If the kernel $ K ( s , x ) $ of the integral transformation

$$ \overline{u}\; ( s) = \int\limits _ \alpha ^ \beta K ( s , x ) u ( x) dx $$

satisfies the equation

$$ \tag{2 } \frac{d ^ {2} ( a _ {0} K ) }{dx ^ {2} } - \frac{d ( a _ {1} K ) }{dx} + a _ {2} K = \lambda ( s) K , $$

where $ \lambda ( s) $ is a function of $ s $, then after multiplication of (1) by $ K ( s , x ) $ and integration by parts over $ ( \alpha , \beta ) $ one obtains the equation

$$ \left . \overline{f}\; ( s) - \left [ a _ {0} \left ( K \frac{du}{dx} - u \frac{dK}{dx} \right ) + \left ( a _ {1} - a _ {0} ^ \prime \right ) \right ] \right | _ {x = \alpha } ^ {x = \beta } = \lambda ( s) \overline{u}\; . $$

Solving it for $ \overline{u}\; ( s) $ and using an inversion formula for the integral transformation, one finds $ u ( x) $. An analogous integral-transform method is used for partial differential equations.

Thus, the process for solving differential equations by this method consists of the following stages:

1) The choice of a suitable integral transformation.

2) Multiplication of the equation and boundary-initial conditions by the kernel of this integral transformation, and subsequent integration, over a suitable range, with respect to the independent variable $ x $.

3) In the integration of 2), the use of the boundary-initial conditions to compute the terms arising from the integration limits.

4) Solution of the auxiliary equation and search for the integral transform of the unknown function.

5) Determination of the unknown function by an inversion formula.

References

[1] C.J. Tranter, "Integral transformations in mathematical physics" , Wiley (1966)
[2] R. Courant, D. Hilbert, "Methods of mathematical physics. Partial differential equations" , 1–2 , Interscience (1953–1962) (Translated from German)

Comments

In many cases the interval of integration is infinite. Also, the path of integration is sometimes shifted into the complex plane.

Integral transformations which are widely used in this context are the Fourier transform and the Laplace transform, cf., e.g., [a1][a3].

References

[a1] E.J. Watson, "Laplace transforms and applications" , v. Nostrand-Reinhold (1984)
[a2] G. Doetsch, "Introduction to the theory and application of the Laplace transformation" , Springer (1974) (Translated from German)
[a3] R. Bracewell, "The Fourier transform and its applications" , McGraw-Hill (1965)
How to Cite This Entry:
Integral-transform method. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Integral-transform_method&oldid=13730
This article was adapted from an original article by Yu.A. BrychkovA.P. Prudnikov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article