Difference between revisions of "Mathematical physics, equations of"
Ulf Rehmann (talk | contribs) m (tex encoded by computer) |
|||
Line 1: | Line 1: | ||
+ | <!-- | ||
+ | m0626901.png | ||
+ | $#A+1 = 193 n = 0 | ||
+ | $#C+1 = 193 : ~/encyclopedia/old_files/data/M062/M.0602690 Mathematical physics, equations 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}} | ||
+ | |||
Equations which describe mathematical models of physical phenomena. The equations of mathematical physics are part of the subject of [[Mathematical physics|mathematical physics]]. Numerous phenomena of physics and mechanics (hydro- and gas-dynamics, elasticity, electro-dynamics, optics, transport theory, plasma physics, quantum mechanics, gravitation theory, etc.) can be described by boundary value problems for differential equations. A very wide class of models is reducible to such boundary value problems. | Equations which describe mathematical models of physical phenomena. The equations of mathematical physics are part of the subject of [[Mathematical physics|mathematical physics]]. Numerous phenomena of physics and mechanics (hydro- and gas-dynamics, elasticity, electro-dynamics, optics, transport theory, plasma physics, quantum mechanics, gravitation theory, etc.) can be described by boundary value problems for differential equations. A very wide class of models is reducible to such boundary value problems. | ||
Line 7: | Line 19: | ||
The equation of oscillations | The equation of oscillations | ||
− | + | $$ \tag{1 } | |
+ | \rho | ||
+ | \frac{\partial ^ {2} u }{\partial t ^ {2} } | ||
+ | = \ | ||
+ | \mathop{\rm div} ( p \ | ||
+ | \mathop{\rm grad} u) - qu + f( x, t) | ||
+ | $$ | ||
+ | |||
+ | describes the small vibrations of strings, membranes, and acoustic and electromagnetic oscillations. In (1) the space variables $ x = ( x _ {1} \dots x _ {n} ) $ | ||
+ | vary in a region $ G \in \mathbf R ^ {n} $, | ||
+ | $ n = 1, 2, 3 $, | ||
+ | in which the physical process under consideration evolves; also, by their physical meaning the quantities appearing in (1) are such that $ \rho > 0 $, | ||
+ | $ p > 0 $ | ||
+ | and $ q \geq 0 $. | ||
+ | Moreover, it is assumed that $ \rho , q \in C( \overline{G}\; ) $ | ||
+ | and $ p \in C ^ {1} ( \overline{G}\; ) $. | ||
+ | Under these conditions (1) is a [[Hyperbolic partial differential equation|hyperbolic partial differential equation]]. | ||
− | + | For $ \rho = 1 $, | |
+ | $ p = a ^ {2} = \textrm{ const } $ | ||
+ | and $ q = 0 $, | ||
+ | (1) becomes the [[Wave equation|wave equation]] | ||
− | + | $$ \tag{2 } | |
− | + | \frac{\partial ^ {2} u }{\partial t ^ {2} } | |
+ | = a ^ {2} | ||
+ | \Delta u + f( x, t), | ||
+ | $$ | ||
− | where | + | where $ \Delta $ |
+ | is the Laplace operator. | ||
The diffusion equation | The diffusion equation | ||
− | + | $$ \tag{3 } | |
+ | \rho | ||
+ | \frac{\partial u }{\partial t } | ||
+ | = \mathop{\rm div} ( p \ | ||
+ | \mathop{\rm grad} u) - qu + f( x, t) | ||
+ | $$ | ||
+ | |||
+ | describes processes of particle diffusion and heat transport in media. Equation (3) is a [[Parabolic partial differential equation|parabolic partial differential equation]]. For $ \rho = 1 $, | ||
+ | $ p = a ^ {2} = \textrm{ const } $ | ||
+ | and $ q= 0 $ | ||
+ | it becomes the [[Thermal-conductance equation|thermal-conductance equation]] (heat equation): | ||
− | + | $$ \tag{4 } | |
− | + | \frac{\partial u }{\partial t } | |
+ | = a ^ {2} \Delta u + | ||
+ | f( x, t). | ||
+ | $$ | ||
− | For stationary processes, in which there is no dependence on the time | + | For stationary processes, in which there is no dependence on the time $ t $, |
+ | equation (1) and the diffusion equation (3) both take the form | ||
− | + | $$ \tag{5 } | |
+ | - \mathop{\rm div} ( p \mathop{\rm grad} u) + qu = f( x). | ||
+ | $$ | ||
− | This is an [[Elliptic partial differential equation|elliptic partial differential equation]]. For | + | This is an [[Elliptic partial differential equation|elliptic partial differential equation]]. For $ p= 1 $ |
+ | and $ q= 0 $( | ||
+ | 5) is called the [[Poisson equation|Poisson equation]]: | ||
− | + | $$ \tag{6 } | |
+ | \Delta u = - f( x), | ||
+ | $$ | ||
− | and for | + | and for $ f= 0 $— |
+ | the [[Laplace equation|Laplace equation]]: | ||
− | + | $$ \tag{7 } | |
+ | \Delta u = 0. | ||
+ | $$ | ||
Equations (6) and (7) are satisfied by various kinds of potentials: The Coulomb (Newton) potential, the potentials of the flows of incompressible fluids, etc. | Equations (6) and (7) are satisfied by various kinds of potentials: The Coulomb (Newton) potential, the potentials of the flows of incompressible fluids, etc. | ||
− | If in the wave equation (2) the external perturbation | + | If in the wave equation (2) the external perturbation $ f $ |
+ | is periodic with frequency $ \omega $: | ||
− | + | $$ | |
+ | f( x, t) = a ^ {2} f( x) e ^ {i \omega t } , | ||
+ | $$ | ||
− | then the amplitude | + | then the amplitude $ u( x) $ |
+ | of a periodic solution with the same frequency $ \omega $, | ||
− | + | $$ | |
+ | u( x, t) = u( x) e ^ {i \omega t } , | ||
+ | $$ | ||
satisfies the [[Helmholtz equation|Helmholtz equation]] | satisfies the [[Helmholtz equation|Helmholtz equation]] | ||
− | + | $$ \tag{8 } | |
+ | \Delta u + k ^ {2} u = - f( x),\ \ | ||
+ | k ^ {2} = | ||
+ | \frac{\omega ^ {2} }{a ^ {2} } | ||
+ | . | ||
+ | $$ | ||
One is led to the Helmholtz equation by considering a scattering (diffraction) problem. | One is led to the Helmholtz equation by considering a scattering (diffraction) problem. | ||
Line 55: | Line 124: | ||
For a complete description of the oscillatory process it is necessary to give the initial perturbation and the initial velocity: | For a complete description of the oscillatory process it is necessary to give the initial perturbation and the initial velocity: | ||
− | + | $$ \tag{9 } | |
+ | u \mid _ {t=} 0 = u _ {0} ( x),\ \ | ||
+ | \left . | ||
+ | \frac{\partial u }{\partial t } | ||
+ | \right | _ {t=} 0 = \ | ||
+ | u _ {1} ( x),\ \ | ||
+ | x \in \overline{G}\; . | ||
+ | $$ | ||
In the case of a diffusion process it suffices to give the initial perturbation | In the case of a diffusion process it suffices to give the initial perturbation | ||
− | + | $$ \tag{10 } | |
+ | u \mid _ {t=} 0 = u _ {0} ( x),\ x \in \overline{G}\; . | ||
+ | $$ | ||
− | Moreover, on the boundary | + | Moreover, on the boundary $ S $ |
+ | of $ G $ | ||
+ | the solution must take the prescribed values. In the simplest cases, physically-meaningful boundary conditions for equations (1), (3), (5) are described by the relations | ||
− | + | $$ \tag{11 } | |
+ | \left . k | ||
+ | \frac{\partial u }{\partial \mathbf n } | ||
+ | + hu \right | _ {S} = v( x, t),\ \ | ||
+ | t > 0, | ||
+ | $$ | ||
− | where | + | where $ k $ |
+ | and $ h $ | ||
+ | are given non-negative functions that do not vanish simultaneously, $ \mathbf n $ | ||
+ | is the outward normal to $ S $, | ||
+ | and $ v $ | ||
+ | is a given function. | ||
Thus, for a string the condition | Thus, for a string the condition | ||
− | + | $$ | |
+ | u \mid _ {x = x _ {0} } = 0 | ||
+ | $$ | ||
− | means that the end | + | means that the end $ x _ {0} $ |
+ | of the string is fixed, whereas the condition | ||
− | + | $$ | |
+ | \left . | ||
+ | \frac{\partial u }{\partial x } | ||
+ | \right | _ {x = x _ {0} } = 0 | ||
+ | $$ | ||
− | means that the end | + | means that the end $ x _ {0} $ |
+ | is free. For the heat equation the condition | ||
− | + | $$ \tag{12 } | |
+ | u \mid _ {S} = v _ {0} ( x, t) | ||
+ | $$ | ||
− | means that on the boundary | + | means that on the boundary $ S $ |
+ | of $ G $ | ||
+ | a prescribed temperature distribution is kept, whereas the condition | ||
− | + | $$ \tag{13 } | |
+ | \left . | ||
+ | \frac{\partial u }{\partial \mathbf n } | ||
+ | \right | _ {S} = \ | ||
+ | v _ {1} ( x, t) | ||
+ | $$ | ||
− | prescribes the heat flow across | + | prescribes the heat flow across $ S $. |
+ | In the case of unbounded regions, for example in the exterior of a bounded domain, the boundary conditions must be supplemented by a condition at infinity. Thus, for the Poisson equation (6) in space $ ( n= 3) $, | ||
+ | such a condition is | ||
− | + | $$ \tag{14 } | |
+ | u( x) = o( 1),\ \ | ||
+ | | x | \rightarrow \infty , | ||
+ | $$ | ||
− | whereas in the plane | + | whereas in the plane $ ( n= 2) $ |
+ | it is | ||
− | + | $$ \tag{15 } | |
+ | u( x) = O( 1),\ \ | ||
+ | | x | \rightarrow \infty . | ||
+ | $$ | ||
For the Helmholtz equation (8) one imposes at infinity the Sommerfeld radiation condition (cf. [[Radiation conditions|Radiation conditions]]) | For the Helmholtz equation (8) one imposes at infinity the Sommerfeld radiation condition (cf. [[Radiation conditions|Radiation conditions]]) | ||
− | + | $$ | |
+ | u( x) = O( | x | ^ {-} 1 ), | ||
+ | $$ | ||
+ | |||
+ | $$ \tag{16 } | ||
− | + | \frac{\partial u ( x) }{\partial | x | } | |
+ | \mps iku( x) = o( | ||
+ | | x | ^ {-} 1 ),\ | x | \rightarrow \infty , | ||
+ | $$ | ||
the sign "-" (respectively, "+" ) corresponds to outgoing (respectively, incident) waves. | the sign "-" (respectively, "+" ) corresponds to outgoing (respectively, incident) waves. | ||
− | A boundary value problem that involves only initial conditions (and hence does not contain boundary conditions, so that | + | A boundary value problem that involves only initial conditions (and hence does not contain boundary conditions, so that $ G $ |
+ | is the whole space $ \mathbf R ^ {n} $) | ||
+ | is called a [[Cauchy problem|Cauchy problem]]. For the equation of oscillation (1) the Cauchy problem (1), (9) is posed as follows: To find a function $ u( x, t) $ | ||
+ | of class $ C ^ {2} ( t > 0) \cap C ^ {1} ( t \geq 0) $ | ||
+ | which satisfies (1) for $ t > 0 $ | ||
+ | and the initial conditions (9) on the plane $ t= 0 $. | ||
+ | The Cauchy problem (3), (10) for the diffusion equation is posed in an analogous manner. | ||
− | If a boundary value problem involves both initial and boundary conditions, then it is called a mixed problem. For equation (1) the mixed problem (1), (9), (11) is posed as follows: To find a function | + | If a boundary value problem involves both initial and boundary conditions, then it is called a mixed problem. For equation (1) the mixed problem (1), (9), (11) is posed as follows: To find a function $ u( x, t) $ |
+ | of class | ||
− | + | $$ | |
+ | C ^ {2} ( G \times ( 0, \infty )) \cap C ^ {1} ( \overline{G}\; | ||
+ | \times [ 0, \infty )) | ||
+ | $$ | ||
− | which satisfies equation (1) in the cylinder | + | which satisfies equation (1) in the cylinder $ G \times ( 0, \infty ) $, |
+ | the initial conditions (9) on its bottom base, $ \overline{G}\; \times \{ 0 \} $, | ||
+ | and the boundary condition (11) on its lateral surface $ S \times [ 0, \infty ) $. | ||
+ | The mixed problem (3), (10), (11) for the diffusion equation (3) is posed in an analogous manner. There exist also other formulations of boundary value problems, for example the [[Goursat problem|Goursat problem]] and the [[Tricomi problem|Tricomi problem]]. | ||
− | For the stationary equation (5) there are no initial conditions and the corresponding boundary value problem is posed as follows: To find a function | + | For the stationary equation (5) there are no initial conditions and the corresponding boundary value problem is posed as follows: To find a function $ u( x) $ |
+ | of class $ C ^ {2} ( G) \cap C ^ {1} ( \overline{G}\; ) $ | ||
+ | that satisfies equation (5) in a region $ G $ | ||
+ | and the boundary condition | ||
− | + | $$ \tag{11'} | |
+ | \left . k | ||
+ | \frac{\partial u }{\partial \mathbf n } | ||
+ | + hu \right | _ {S} = v( x) | ||
+ | $$ | ||
− | on the boundary | + | on the boundary $ S $ |
+ | of $ G $. | ||
+ | For equation (5) the boundary value problem with boundary condition | ||
− | + | $$ \tag{12'} | |
+ | u \mid _ {S} = v _ {0} ( x) | ||
+ | $$ | ||
is called the [[Dirichlet problem|Dirichlet problem]], and with boundary condition | is called the [[Dirichlet problem|Dirichlet problem]], and with boundary condition | ||
− | + | $$ \tag{13'} | |
+ | \left . | ||
+ | \frac{\partial u }{\partial \mathbf n } | ||
+ | \right | _ {S} = v _ {1} ( x) | ||
+ | $$ | ||
— the [[Neumann problem]]. One distinguishes the exterior and the interior Dirichlet and Neumann problems. For the exterior problems the boundary conditions must be supplemented by conditions at infinity of the type (14), (15) or (16). | — the [[Neumann problem]]. One distinguishes the exterior and the interior Dirichlet and Neumann problems. For the exterior problems the boundary conditions must be supplemented by conditions at infinity of the type (14), (15) or (16). | ||
− | The following eigen value problems are also regarded as boundary value problems for equation (5): To find the values of the parameter | + | The following eigen value problems are also regarded as boundary value problems for equation (5): To find the values of the parameter $ \lambda $( |
+ | the eigen values) for which the homogeneous equation | ||
− | + | $$ \tag{17 } | |
+ | Lu \equiv - \mathop{\rm div} ( p \mathop{\rm grad} u) + qu = \ | ||
+ | \lambda \rho u | ||
+ | $$ | ||
has non-trivial solutions (eigen functions) that satisfy the homogeneous boundary condition | has non-trivial solutions (eigen functions) that satisfy the homogeneous boundary condition | ||
− | + | $$ \tag{18 } | |
+ | \left . k | ||
+ | \frac{\partial u }{\partial \mathbf n } | ||
+ | + hu \right | _ {S} = 0. | ||
+ | $$ | ||
+ | |||
+ | If $ G $ | ||
+ | is a bounded region with sufficiently smooth boundary $ S $, | ||
+ | then there exists a countable set of non-negative eigen values $ \lambda _ {1} , \lambda _ {2} \dots $ | ||
+ | of problem (17), (18) ( $ 0 \leq \lambda _ {1} \leq \lambda _ {2} \leq \dots $, | ||
+ | $ \lambda _ {k} \rightarrow \infty $), | ||
+ | each $ \lambda _ {k} $ | ||
+ | of finite multiplicity, and the corresponding eigen functions $ u _ {k} ( x) $, | ||
+ | $ Lu _ {k} ( x) = \lambda _ {k} \rho u _ {k} $, | ||
+ | $ k = 1, 2 \dots $ | ||
+ | form a complete orthonormal system in $ L _ {2} ( G; \rho ( x) d x ) $; | ||
+ | moreover, every function of class $ C ^ {2} ( \overline{G}\; ) $ | ||
+ | that satisfies the boundary condition (18) admits a regularly-convergent Fourier series expansion with respect to the system of eigen functions $ \{ u _ {k} \} $. | ||
+ | |||
+ | The formulation of the boundary value problems discussed above assumes that the solutions are sufficiently regular in the interior of the region as well as up to the boundary. Such formulations of boundary value problems are termed classical. However, in many problems of physical interest one must relinquish such regularity requirements. Inside the region the solution may be a [[Generalized function|generalized function]] and satisfy the equation in the sense of generalized functions, while the boundary value conditions may be fulfilled in some generalized sense (almost everywhere, in $ L _ {p} $, | ||
+ | in the weak sense, etc.). Such formulations are called generalized, and the corresponding solutions are called generalized solutions. For example, the generalized Cauchy problem for the wave equation is posed as follows. Let $ u $ | ||
+ | be a classical solution of the Cauchy problem (2), (9). The functions $ u $ | ||
+ | and $ f $ | ||
+ | are extended by zero for $ t < 0 $ | ||
+ | and are denoted by $ \widetilde{u} $ | ||
+ | and $ \widetilde{f} $, | ||
+ | respectively. Then $ \widetilde{u} $ | ||
+ | satisfies, as a generalized function in the entire space $ \mathbf R ^ {n+} 1 $, | ||
+ | the wave equation | ||
− | + | $$ \tag{19 } | |
− | + | \frac{\partial ^ {2} \widetilde{u} }{\partial t ^ {2} } | |
+ | = a | ||
+ | ^ {2} \Delta \widetilde{u} + | ||
+ | u _ {0} ( x) \times \delta ^ \prime ( t) + u _ {1} ( x) \times \delta | ||
+ | ( t) + \widetilde{f} ( x, t). | ||
+ | $$ | ||
− | + | Here the initial perturbations $ u _ {0} $ | |
+ | and $ u _ {1} $ | ||
+ | serve as external sources of the type of a double layer $ u _ {0} ( x) \times \delta ^ \prime ( t) $ | ||
+ | and a simple layer $ u _ {1} ( x) \times \delta ( t) $ | ||
+ | acting instantaneously. This permits one to give the following definition. The generalized Cauchy problem for the wave equation with source $ F \in D ^ \prime ( \mathbf R ^ {n+} 1 ) $, | ||
+ | $ F = 0 $ | ||
+ | for $ t < 0 $, | ||
+ | is the problem of finding the generalized solutions $ u( t, x) $ | ||
+ | in $ \mathbf R ^ {n+} 1 $ | ||
+ | of the wave equation | ||
− | + | $$ \tag{19'} | |
− | + | \frac{\partial ^ {2} u }{\partial t ^ {2} } | |
+ | = a ^ {2} | ||
+ | \Delta u + F( x, t) | ||
+ | $$ | ||
− | that vanishes for < | + | that vanishes for $ t < 0 $. |
+ | The generalized Cauchy problem for the heat equation (4) is posed analogously. | ||
Since the boundary value problems of mathematical physics describe real physical processes, they must meet the following natural requirements, formulated by J. Hadamard: | Since the boundary value problems of mathematical physics describe real physical processes, they must meet the following natural requirements, formulated by J. Hadamard: | ||
− | 1) a solution must exist in some class of functions | + | 1) a solution must exist in some class of functions $ M _ {1} $; |
− | 2) the solution must be unique in, possibly, another class of functions | + | 2) the solution must be unique in, possibly, another class of functions $ M _ {2} $; |
3) the solution must depend continuously on the data of the problem (the initial and boundary conditions, the free terms, the coefficients of the equation, etc.). This requirement is imposed in connection with the fact that, as a rule, the data of physical problems are determined experimentally only approximately, and hence it is necessary to be sure that the solution of the problem does not depend essentially on the measurement errors of these data. | 3) the solution must depend continuously on the data of the problem (the initial and boundary conditions, the free terms, the coefficients of the equation, etc.). This requirement is imposed in connection with the fact that, as a rule, the data of physical problems are determined experimentally only approximately, and hence it is necessary to be sure that the solution of the problem does not depend essentially on the measurement errors of these data. | ||
− | A problem that meets the requirements 1)–3) is called well-posed, and the set of functions | + | A problem that meets the requirements 1)–3) is called well-posed, and the set of functions $ M _ {1} \cap M _ {2} $ |
+ | is the well-posedness class. Although requirements 1)–3) seem natural at a first glance, they must nevertheless be proved in the framework of the mathematical model adopted. The proof of the well-posedness is the first validation of a mathematical model — the model is non-contradictory, does not contain parasitic solutions, and is weakly sensitive to measurement errors. | ||
Finding well-posed boundary value problems of mathematical physics and methods for constructing their (exact or approximate) solutions is one of the main objectives of a branch of mathematical physics. It is known that all boundary value problems listed above are well-posed. | Finding well-posed boundary value problems of mathematical physics and methods for constructing their (exact or approximate) solutions is one of the main objectives of a branch of mathematical physics. It is known that all boundary value problems listed above are well-posed. | ||
− | Example. The Cauchy problem | + | Example. The Cauchy problem $ y ^ \prime = f( x, y) $, |
+ | $ y( x _ {0} ) = y _ {0} $, | ||
+ | is well-posed if $ f \in C ^ {1} $. | ||
A problem that does not satisfy at least one of the conditions 1)–3) is called an ill-posed problem (cf. [[Ill-posed problems|Ill-posed problems]]). The importance of ill-posed problems in contemporary mathematical physics is increasing: in this class fall, in the first place, inverse problems, and also problems connected with the treatment and interpretation of results of observations. | A problem that does not satisfy at least one of the conditions 1)–3) is called an ill-posed problem (cf. [[Ill-posed problems|Ill-posed problems]]). The importance of ill-posed problems in contemporary mathematical physics is increasing: in this class fall, in the first place, inverse problems, and also problems connected with the treatment and interpretation of results of observations. | ||
Line 159: | Line 363: | ||
An example of an ill-posed problem is the following Cauchy problem for the Laplace equation (Hadamard's example): | An example of an ill-posed problem is the following Cauchy problem for the Laplace equation (Hadamard's example): | ||
− | + | $$ | |
+ | \Delta u( x, y) = 0,\ \ | ||
+ | u \mid _ {y=} 0 = 0,\ \ | ||
+ | \left . | ||
+ | \frac{\partial u }{\partial y } | ||
+ | \right | _ {y=} 0 = \ | ||
+ | |||
+ | \frac{\sin kx }{k} | ||
+ | . | ||
+ | $$ | ||
− | For | + | For $ y > 0 $ |
+ | the solution satisfies: | ||
− | + | $$ | |
+ | u ( x, y) = | ||
+ | \frac{1}{k ^ {2} } | ||
+ | \sin kx \sinh ky \ | ||
+ | \Nar ^ { x } 0,\ \ | ||
+ | k \rightarrow \infty , | ||
+ | $$ | ||
whereas | whereas | ||
− | + | $$ | |
+ | |||
+ | \frac{\sin kx }{k} | ||
+ | \Rightarrow ^ { x } 0,\ \ | ||
+ | k \rightarrow \infty . | ||
+ | $$ | ||
In order to solve approximately ill-posed problems one can resort to a [[Regularization method|regularization method]], which utilizes supplementary information on the solution and which amounts to solving a sequence of well-posed problems. | In order to solve approximately ill-posed problems one can resort to a [[Regularization method|regularization method]], which utilizes supplementary information on the solution and which amounts to solving a sequence of well-posed problems. | ||
Line 173: | Line 398: | ||
An important role in the equations of mathematical physics is played by the notion of a [[Green function|Green function]]. The Green function of a linear differential operator | An important role in the equations of mathematical physics is played by the notion of a [[Green function|Green function]]. The Green function of a linear differential operator | ||
− | + | $$ | |
+ | L( x, t; D) = \sum _ {| a | \leq m } a _ \alpha ( x, t) D ^ \alpha , | ||
+ | $$ | ||
− | + | $$ | |
+ | D = \left ( | ||
+ | \frac \partial {\partial x _ {1} } | ||
+ | \dots | ||
+ | \frac \partial { | ||
+ | \partial x _ {n} } | ||
+ | , | ||
+ | \frac \partial {\partial t } | ||
+ | \right ) , | ||
+ | $$ | ||
− | with given (homogeneous) boundary value conditions on the boundary of the domain of variation of the variables | + | with given (homogeneous) boundary value conditions on the boundary of the domain of variation of the variables $ ( x, t) $ |
+ | is, by definition, the function $ G( x, t; \xi , \tau ) $ | ||
+ | which satisfies for each $ ( \xi , \tau ) $ | ||
+ | in this domain the equation | ||
− | + | $$ \tag{20 } | |
+ | L( x, t; D) G( x, t; \xi , \tau ) = \delta ( x- \xi , t- \tau ). | ||
+ | $$ | ||
− | In physical situations the Green function | + | In physical situations the Green function $ G( x, t; \xi , \tau ) $ |
+ | describes the disturbance produced by an instantaneous (at time $ \tau $) | ||
+ | point source (placed at the point $ \xi $) | ||
+ | of intensity one (with the inhomogeneity of the medium and the effect of the boundary accounted for). In the case of operators with constant coefficients and in the absence of a boundary, the Green function for $ \xi = 0 $ | ||
+ | and $ \tau = 0 $ | ||
+ | is called a fundamental solution and is denoted by $ E( x, t) $: | ||
− | + | $$ \tag{20'} | |
+ | L( D) E( x, t) = \delta ( x, t). | ||
+ | $$ | ||
− | The existence of a fundamental solution in the spaces | + | The existence of a fundamental solution in the spaces $ D ^ \prime $ |
+ | and $ S ^ \prime $ | ||
+ | has been established for any operator $ L( D) \not\equiv 0 $. | ||
Examples of fundamental solutions. For the wave equation: | Examples of fundamental solutions. For the wave equation: | ||
− | + | $$ | |
+ | E _ {1} ( x, t) = | ||
+ | \frac{\theta ( at- | x | ) }{2a} | ||
+ | ,\ \ | ||
+ | E _ {2} ( x, t) = | ||
+ | \frac{\theta ( at- | x | ) }{2 \pi a | ||
+ | \sqrt {a ^ {2} t ^ {2} - | x | ^ {2} } } | ||
+ | , | ||
+ | $$ | ||
− | + | $$ | |
+ | E _ {3} ( x, t) = | ||
+ | \frac{1}{2 \pi a } | ||
+ | \delta _ {+} ( a ^ {2} t ^ {2} - | x | ^ {2} ), | ||
+ | $$ | ||
− | where | + | where $ \theta ( t) $ |
+ | is the Heaviside function: $ \theta ( t) = 0 $ | ||
+ | for $ t < 0 $; | ||
+ | $ \theta ( t) = 1 $ | ||
+ | for $ t \geq 0 $. | ||
For the heat equation: | For the heat equation: | ||
− | + | $$ | |
+ | E _ {n} ( x, t) = | ||
+ | \frac{\theta ( t) }{( 2a \sqrt {\pi t } ) ^ {n} } | ||
+ | e ^ {- | x | ^ {2} /4a ^ {2} t } . | ||
+ | $$ | ||
For the Laplace equation: | For the Laplace equation: | ||
− | + | $$ | |
+ | E _ {1} ( x) = | ||
+ | \frac{| x | }{2} | ||
+ | ,\ \ | ||
+ | E _ {2} ( x) = | ||
+ | \frac{ \mathop{\rm ln} | x | }{2 \pi } | ||
+ | ,\ \ | ||
+ | E _ {3} ( x) = - | ||
+ | \frac{1}{4 \pi | x | } | ||
+ | . | ||
+ | $$ | ||
− | Using the fundamental solution | + | Using the fundamental solution $ E( x, t) $, |
+ | the solution $ u( x, t) $ | ||
+ | of the equation | ||
− | + | $$ \tag{21 } | |
+ | L( D) u = F( x, t) | ||
+ | $$ | ||
− | with arbitrary right-hand side | + | with arbitrary right-hand side $ F \in D ^ \prime $, |
+ | if it exists in $ D ^ \prime $, | ||
+ | is expressible in the whole space $ \mathbf R ^ {n+} 1 $ | ||
+ | as the convolution | ||
− | + | $$ \tag{22 } | |
+ | u = F \star E. | ||
+ | $$ | ||
− | The meaning of formula (22) in physical situations is as follows: The solution | + | The meaning of formula (22) in physical situations is as follows: The solution $ u $ |
+ | is the result of superposition of the elementary disturbances $ F( \xi , \tau ) E( x- \xi , t- \tau ) $ | ||
+ | produced by the point sources $ F( \xi , \tau ) \delta ( x- \xi , t- \tau ) $ | ||
+ | into which the source $ F $ | ||
+ | is decomposed in view of the identity $ F = F \star \delta $. | ||
+ | The convolution $ F \star E $ | ||
+ | plays the role of the potential with source (density) $ F $. | ||
+ | This is the essence of the method of point sources, or mapping method, for solving linear problems of mathematical physics. | ||
In particular, the solution of the generalized Cauchy problem for the wave equation (or heat equation) is given by the wave (heat) potential | In particular, the solution of the generalized Cauchy problem for the wave equation (or heat equation) is given by the wave (heat) potential | ||
− | + | $$ \tag{22'} | |
+ | u = F \star E _ {n} . | ||
+ | $$ | ||
From this formula one can derive, under suitable assumptions on the smoothness of the source | From this formula one can derive, under suitable assumptions on the smoothness of the source | ||
− | + | $$ | |
+ | F( x, t) = u _ {0} ( x) \delta ^ \prime ( t) + u _ {1} ( x) \delta | ||
+ | ( t) + f( x, t) , | ||
+ | $$ | ||
the classical formulas for the solution of the Cauchy problem. For the wave equation in three-dimensional space one has the [[Kirchhoff formula|Kirchhoff formula]] | the classical formulas for the solution of the Cauchy problem. For the wave equation in three-dimensional space one has the [[Kirchhoff formula|Kirchhoff formula]] | ||
− | + | $$ \tag{23 } | |
+ | u( x, t) = | ||
+ | \frac{1}{4 \pi a ^ {2} } | ||
+ | \int\limits _ {| x- \xi | < | ||
+ | at } f \left ( \xi , t - | ||
+ | \frac{| x- | ||
+ | \xi | }{a} | ||
+ | \right ) | ||
+ | \frac{d \xi }{| x- \xi | } | ||
+ | + | ||
+ | $$ | ||
+ | |||
+ | $$ | ||
+ | + | ||
+ | |||
+ | \frac{1}{4 \pi a ^ {2} t } | ||
+ | \int\limits _ {| x- \xi | = at } u _ {1} ( \xi ) dS + | ||
+ | \frac{1}{4 \pi a ^ {2} } | ||
− | + | \frac \partial {\partial t } | |
+ | \left [ | ||
+ | \frac{1}{t} | ||
+ | \int\limits _ {| x- | ||
+ | \xi | = at } u _ {0} ( \xi ) dS \right ] . | ||
+ | $$ | ||
For the heat equation one has the [[Poisson formula|Poisson formula]] | For the heat equation one has the [[Poisson formula|Poisson formula]] | ||
− | + | $$ \tag{24 } | |
+ | u( x, t) = \int\limits _ { 0 } ^ { t } \int\limits | ||
+ | \frac{f( \xi , \tau ) }{[ 2a | ||
+ | \sqrt {\pi ( t- \tau ) } ] | ||
+ | ^ {n} } | ||
+ | e ^ {- | x- \xi | ^ {2} /4a ^ {2} ( t- \tau ) } d \xi | ||
+ | d \tau + | ||
+ | $$ | ||
+ | |||
+ | $$ | ||
+ | + | ||
− | + | \frac{1}{( 2a \sqrt {\pi t } ) ^ {n} } | |
+ | \int\limits u _ {0} ( \xi | ||
+ | ) e ^ {- | x- \xi | ^ {2} /4a ^ {2} t } d \xi . | ||
+ | $$ | ||
− | In the same manner, constructing the Green function for the Laplace equation for the sphere, one obtains the solution of the interior Dirichlet problem for the (three-dimensional) ball < | + | In the same manner, constructing the Green function for the Laplace equation for the sphere, one obtains the solution of the interior Dirichlet problem for the (three-dimensional) ball $ | x | < R $ |
+ | in the form of a [[Poisson integral|Poisson integral]]: | ||
− | + | $$ \tag{25 } | |
+ | u( x) = | ||
+ | \frac{1}{4 \pi R } | ||
+ | \int\limits _ {| \xi | = R } | ||
+ | \frac{R ^ {2} - | | ||
+ | x | ^ {2} }{| x- | ||
+ | \xi | ^ {2} } | ||
+ | u _ {0} ( \xi ) dS _ \xi . | ||
+ | $$ | ||
− | For the investigation and approximate solution of mixed problems one uses, under the assumption that the coefficients in the equation and in the boundary conditions do not depend on the time | + | For the investigation and approximate solution of mixed problems one uses, under the assumption that the coefficients in the equation and in the boundary conditions do not depend on the time $ t $, |
+ | the [[Fourier method|Fourier method]] (separation of variables). The idea of the method applied, say, to the problem (3), (10), (18) is as follows. First, one expands the unknown solution $ u( x, t) $ | ||
+ | and the right-hand side $ f( x, t) $ | ||
+ | in Fourier series with respect to the eigen functions $ \{ u _ {k} \} $ | ||
+ | of the boundary value problem (17), (18): | ||
− | + | $$ \tag{26 } | |
+ | u( x, t) = \sum _ { k= } 1 ^ \infty b _ {k} ( t) u _ {k} ( x),\ \ | ||
+ | f( x, t) = \sum _ { k= } 1 ^ \infty c _ {k} ( t) u _ {k} ( x). | ||
+ | $$ | ||
− | Then, upon substituting formally these series in equation (3) one obtains for the unknown functions | + | Then, upon substituting formally these series in equation (3) one obtains for the unknown functions $ b _ {k} ( t) $ |
+ | the equations | ||
− | + | $$ \tag{27 } | |
+ | b _ {k} ^ \prime ( t) + \lambda _ {k} b _ {k} ( t) = c _ {k} ( t),\ \ | ||
+ | k = 1, 2 ,\dots . | ||
+ | $$ | ||
− | To ensure that the series (26) for | + | To ensure that the series (26) for $ u $ |
+ | will satisfy the initial condition (10) it is necessary to set | ||
− | + | $$ \tag{28 } | |
+ | b _ {k} ( 0) = \int\limits _ { G } \rho ( x) u _ {0} ( x) u _ {k} ( x) | ||
+ | dx = a _ {k} . | ||
+ | $$ | ||
Solving the Cauchy problem (27), (28) one obtains a formal solution of the problem (3), (10), (18) in the form of a series: | Solving the Cauchy problem (27), (28) one obtains a formal solution of the problem (3), (10), (18) in the form of a series: | ||
− | + | $$ \tag{29 } | |
+ | u( x, t) = \sum _ { k= } 1 ^ \infty \left [ a _ {k} e ^ {- | ||
+ | \lambda _ {k} t } + \int\limits | ||
+ | _ { 0 } ^ { t } e ^ {- \lambda _ {k} ( t- \tau ) } c _ {k} ( \tau ) d | ||
+ | \tau \right ] u _ {k} ( x). | ||
+ | $$ | ||
There arises the problem of substantiating the Fourier method, i.e. of determining when the formal series (29) yields a classical or generalized solution of the problem (3), (10), (18). | There arises the problem of substantiating the Fourier method, i.e. of determining when the formal series (29) yields a classical or generalized solution of the problem (3), (10), (18). | ||
Line 257: | Line 622: | ||
To substantiate the Fourier method, and, generally, for establishing the well posedness of the mixed problem for the diffusion equation (3), one resorts to the [[Maximum principle|maximum principle]]. An analogue of the Fourier method is also used for the mixed problem (1), (9), (18) for the oscillation equation. In this case the method of the [[Energy integral|energy integral]] is found useful. | To substantiate the Fourier method, and, generally, for establishing the well posedness of the mixed problem for the diffusion equation (3), one resorts to the [[Maximum principle|maximum principle]]. An analogue of the Fourier method is also used for the mixed problem (1), (9), (18) for the oscillation equation. In this case the method of the [[Energy integral|energy integral]] is found useful. | ||
− | The method of separation of variables has also found use in solving boundary value problems for elliptic-type equations (5), in particular, for calculating the eigen functions and eigen values under the assumption that the domain | + | The method of separation of variables has also found use in solving boundary value problems for elliptic-type equations (5), in particular, for calculating the eigen functions and eigen values under the assumption that the domain $ G $ |
+ | has enough symmetry. | ||
+ | |||
+ | For the investigation and approximate solution of boundary value problems for equation (5) one widely uses variational methods. For example, in the eigen value problems (17), (18) (for $ \rho = 1 $) | ||
+ | the eigen values $ \lambda _ {k} $ | ||
+ | satisfy the variational principle | ||
− | + | $$ \tag{30 } | |
+ | \lambda _ {k} = \inf _ {\begin{array}{c} | ||
+ | ( u,u _ {i} ) = 0, | ||
+ | \\ | ||
+ | i = 1 \dots k- 1 | ||
+ | \end{array} | ||
+ | } \ | ||
− | + | \frac{( Lu, u ) }{\| u \| ^ {2} } | |
+ | , | ||
+ | $$ | ||
− | where it is assumed that comparison functions | + | where it is assumed that comparison functions $ u( x) $ |
+ | belong to the class $ C ^ {2} ( \overline{G}\; ) $ | ||
+ | and satisfy the boundary condition (18); the infimum in (30) is attained on any of the eigen functions corresponding to the eigen value $ \lambda _ {k} $, | ||
+ | and only on these. | ||
When investigating boundary value problems for equation (5) (in particular, for harmonic functions) one applies the maximum principle. | When investigating boundary value problems for equation (5) (in particular, for harmonic functions) one applies the maximum principle. | ||
Line 271: | Line 652: | ||
In connection with the search for non-trivial models describing the interaction of quantum fields, there is an interest in classical non-linear equations, among them the [[Korteweg–de Vries equation|Korteweg–de Vries equation]] | In connection with the search for non-trivial models describing the interaction of quantum fields, there is an interest in classical non-linear equations, among them the [[Korteweg–de Vries equation|Korteweg–de Vries equation]] | ||
− | + | $$ \tag{31 } | |
+ | u _ {t} - 6uu _ {x} + u _ {xxx} = 0 , | ||
+ | $$ | ||
the non-linear wave equation | the non-linear wave equation | ||
− | + | $$ | |
+ | u _ {tt} - u _ {xx} = gf( u),\ g > 0 | ||
+ | $$ | ||
− | (known as the Liouville equation for | + | (known as the Liouville equation for $ f = e ^ {u} $ |
+ | and as the sine-Gordon equation for $ f = - \sin u $), | ||
+ | and the non-linear Schrödinger equation: | ||
− | + | $$ | |
+ | iu _ {t} + u _ {xx} + \nu | u | ^ {2} u = 0,\ \ | ||
+ | \nu > 0. | ||
+ | $$ | ||
A characteristic feature of such equations is that they admit solutions of "solitary-wave" type (solitons, cf. [[Soliton|Soliton]]). Thus, for equation (31) such a solution is | A characteristic feature of such equations is that they admit solutions of "solitary-wave" type (solitons, cf. [[Soliton|Soliton]]). Thus, for equation (31) such a solution is | ||
− | + | $$ | |
+ | u( x, t) = | ||
+ | \frac{a}{2 \cosh ^ {2} [ {\sqrt a } ( x- | ||
+ | at- x _ {0} ) /2 ] } | ||
+ | ,\ \ | ||
+ | a > 0,\ \ | ||
+ | x _ {0} \textrm{ arbitrary } . | ||
+ | $$ | ||
This solution has finite energy. | This solution has finite energy. | ||
Line 289: | Line 686: | ||
====References==== | ====References==== | ||
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> A.N. [A.N. Tikhonov] Tichonoff, A.A. Samarskii, "Differentialgleichungen der mathematischen Physik" , Deutsch. Verlag Wissenschaft. (1959) (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> V.S. Vladimirov, "Equations of mathematical physics" , MIR (1984) (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> A.N. Tikhonov, V.I. [V.I. Arsenin] Arsenine, "Solution of ill-posed problems" , Winston (1977) (Translated from Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> L.V. Hörmander, "The analysis of linear partial differential operators" , '''1–2''' , Springer (1983)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> J. Hadamard, "Lectures on Cauchy's problem in linear partial differential equations" , Dover, reprint (1952)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> G.B. Whitham, "Linear and non-linear waves" , Wiley (1974)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> V.P. Mikhailov, "Partial differential equations" , Moscow (1983) (In Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> O.A. Ladyzhenskaya, "The boundary value problems of mathematical physics" , Springer (1985) (Translated from Russian)</TD></TR><TR><TD valign="top">[9]</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">[10]</TD> <TD valign="top"> V.S. Vladimirov, "Generalized functions in mathematical physics" , MIR (1979) (Translated from Russian)</TD></TR></table> | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> A.N. [A.N. Tikhonov] Tichonoff, A.A. Samarskii, "Differentialgleichungen der mathematischen Physik" , Deutsch. Verlag Wissenschaft. (1959) (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> V.S. Vladimirov, "Equations of mathematical physics" , MIR (1984) (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> A.N. Tikhonov, V.I. [V.I. Arsenin] Arsenine, "Solution of ill-posed problems" , Winston (1977) (Translated from Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> L.V. Hörmander, "The analysis of linear partial differential operators" , '''1–2''' , Springer (1983)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> J. Hadamard, "Lectures on Cauchy's problem in linear partial differential equations" , Dover, reprint (1952)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> G.B. Whitham, "Linear and non-linear waves" , Wiley (1974)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> V.P. Mikhailov, "Partial differential equations" , Moscow (1983) (In Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> O.A. Ladyzhenskaya, "The boundary value problems of mathematical physics" , Springer (1985) (Translated from Russian)</TD></TR><TR><TD valign="top">[9]</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">[10]</TD> <TD valign="top"> V.S. Vladimirov, "Generalized functions in mathematical physics" , MIR (1979) (Translated from Russian)</TD></TR></table> | ||
− | |||
− | |||
====Comments==== | ====Comments==== | ||
− | |||
====References==== | ====References==== | ||
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> S.L. Sobolev, "Partial differential equations of mathematical physics" , Pergamon (1964) (Translated from Russian)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> B.M. Budal, A.A. Samarskii, A.N. Tikhonov, "A collection of problems on mathematical physics" , Pergamon (1964) (Translated from Russian)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> S.G. [S.G. Mikhlin] Michlin, "Lehrgang der mathematischen Physik" , Akademie Verlag (1972) (Translated from Russian)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> P.M. Morse, H. Feshbach, "Methods of theoretical physics" , '''1–2''' , McGraw-Hill (1953)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> E. Zauderer, "Partial differential equations of applied mathematics" , Wiley (1983)</TD></TR></table> | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> S.L. Sobolev, "Partial differential equations of mathematical physics" , Pergamon (1964) (Translated from Russian)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> B.M. Budal, A.A. Samarskii, A.N. Tikhonov, "A collection of problems on mathematical physics" , Pergamon (1964) (Translated from Russian)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> S.G. [S.G. Mikhlin] Michlin, "Lehrgang der mathematischen Physik" , Akademie Verlag (1972) (Translated from Russian)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> P.M. Morse, H. Feshbach, "Methods of theoretical physics" , '''1–2''' , McGraw-Hill (1953)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> E. Zauderer, "Partial differential equations of applied mathematics" , Wiley (1983)</TD></TR></table> |
Revision as of 07:59, 6 June 2020
Equations which describe mathematical models of physical phenomena. The equations of mathematical physics are part of the subject of mathematical physics. Numerous phenomena of physics and mechanics (hydro- and gas-dynamics, elasticity, electro-dynamics, optics, transport theory, plasma physics, quantum mechanics, gravitation theory, etc.) can be described by boundary value problems for differential equations. A very wide class of models is reducible to such boundary value problems.
A complete description of the evolution of physical processes requires, first, the specification of the state of the process at some fixed moment of time (the initial conditions) and, secondly, the specification of the state on the boundary of the medium in which the process considered occurs (the boundary conditions). The initial and boundary conditions form the boundary value conditions, and the differential equations together with corresponding boundary value conditions define a boundary value problem of mathematical physics.
Below some examples of equations and corresponding boundary value problems are given.
The equation of oscillations
$$ \tag{1 } \rho \frac{\partial ^ {2} u }{\partial t ^ {2} } = \ \mathop{\rm div} ( p \ \mathop{\rm grad} u) - qu + f( x, t) $$
describes the small vibrations of strings, membranes, and acoustic and electromagnetic oscillations. In (1) the space variables $ x = ( x _ {1} \dots x _ {n} ) $ vary in a region $ G \in \mathbf R ^ {n} $, $ n = 1, 2, 3 $, in which the physical process under consideration evolves; also, by their physical meaning the quantities appearing in (1) are such that $ \rho > 0 $, $ p > 0 $ and $ q \geq 0 $. Moreover, it is assumed that $ \rho , q \in C( \overline{G}\; ) $ and $ p \in C ^ {1} ( \overline{G}\; ) $. Under these conditions (1) is a hyperbolic partial differential equation.
For $ \rho = 1 $, $ p = a ^ {2} = \textrm{ const } $ and $ q = 0 $, (1) becomes the wave equation
$$ \tag{2 } \frac{\partial ^ {2} u }{\partial t ^ {2} } = a ^ {2} \Delta u + f( x, t), $$
where $ \Delta $ is the Laplace operator.
The diffusion equation
$$ \tag{3 } \rho \frac{\partial u }{\partial t } = \mathop{\rm div} ( p \ \mathop{\rm grad} u) - qu + f( x, t) $$
describes processes of particle diffusion and heat transport in media. Equation (3) is a parabolic partial differential equation. For $ \rho = 1 $, $ p = a ^ {2} = \textrm{ const } $ and $ q= 0 $ it becomes the thermal-conductance equation (heat equation):
$$ \tag{4 } \frac{\partial u }{\partial t } = a ^ {2} \Delta u + f( x, t). $$
For stationary processes, in which there is no dependence on the time $ t $, equation (1) and the diffusion equation (3) both take the form
$$ \tag{5 } - \mathop{\rm div} ( p \mathop{\rm grad} u) + qu = f( x). $$
This is an elliptic partial differential equation. For $ p= 1 $ and $ q= 0 $( 5) is called the Poisson equation:
$$ \tag{6 } \Delta u = - f( x), $$
and for $ f= 0 $— the Laplace equation:
$$ \tag{7 } \Delta u = 0. $$
Equations (6) and (7) are satisfied by various kinds of potentials: The Coulomb (Newton) potential, the potentials of the flows of incompressible fluids, etc.
If in the wave equation (2) the external perturbation $ f $ is periodic with frequency $ \omega $:
$$ f( x, t) = a ^ {2} f( x) e ^ {i \omega t } , $$
then the amplitude $ u( x) $ of a periodic solution with the same frequency $ \omega $,
$$ u( x, t) = u( x) e ^ {i \omega t } , $$
satisfies the Helmholtz equation
$$ \tag{8 } \Delta u + k ^ {2} u = - f( x),\ \ k ^ {2} = \frac{\omega ^ {2} }{a ^ {2} } . $$
One is led to the Helmholtz equation by considering a scattering (diffraction) problem.
For a complete description of the oscillatory process it is necessary to give the initial perturbation and the initial velocity:
$$ \tag{9 } u \mid _ {t=} 0 = u _ {0} ( x),\ \ \left . \frac{\partial u }{\partial t } \right | _ {t=} 0 = \ u _ {1} ( x),\ \ x \in \overline{G}\; . $$
In the case of a diffusion process it suffices to give the initial perturbation
$$ \tag{10 } u \mid _ {t=} 0 = u _ {0} ( x),\ x \in \overline{G}\; . $$
Moreover, on the boundary $ S $ of $ G $ the solution must take the prescribed values. In the simplest cases, physically-meaningful boundary conditions for equations (1), (3), (5) are described by the relations
$$ \tag{11 } \left . k \frac{\partial u }{\partial \mathbf n } + hu \right | _ {S} = v( x, t),\ \ t > 0, $$
where $ k $ and $ h $ are given non-negative functions that do not vanish simultaneously, $ \mathbf n $ is the outward normal to $ S $, and $ v $ is a given function.
Thus, for a string the condition
$$ u \mid _ {x = x _ {0} } = 0 $$
means that the end $ x _ {0} $ of the string is fixed, whereas the condition
$$ \left . \frac{\partial u }{\partial x } \right | _ {x = x _ {0} } = 0 $$
means that the end $ x _ {0} $ is free. For the heat equation the condition
$$ \tag{12 } u \mid _ {S} = v _ {0} ( x, t) $$
means that on the boundary $ S $ of $ G $ a prescribed temperature distribution is kept, whereas the condition
$$ \tag{13 } \left . \frac{\partial u }{\partial \mathbf n } \right | _ {S} = \ v _ {1} ( x, t) $$
prescribes the heat flow across $ S $. In the case of unbounded regions, for example in the exterior of a bounded domain, the boundary conditions must be supplemented by a condition at infinity. Thus, for the Poisson equation (6) in space $ ( n= 3) $, such a condition is
$$ \tag{14 } u( x) = o( 1),\ \ | x | \rightarrow \infty , $$
whereas in the plane $ ( n= 2) $ it is
$$ \tag{15 } u( x) = O( 1),\ \ | x | \rightarrow \infty . $$
For the Helmholtz equation (8) one imposes at infinity the Sommerfeld radiation condition (cf. Radiation conditions)
$$ u( x) = O( | x | ^ {-} 1 ), $$
$$ \tag{16 } \frac{\partial u ( x) }{\partial | x | } \mps iku( x) = o( | x | ^ {-} 1 ),\ | x | \rightarrow \infty , $$
the sign "-" (respectively, "+" ) corresponds to outgoing (respectively, incident) waves.
A boundary value problem that involves only initial conditions (and hence does not contain boundary conditions, so that $ G $ is the whole space $ \mathbf R ^ {n} $) is called a Cauchy problem. For the equation of oscillation (1) the Cauchy problem (1), (9) is posed as follows: To find a function $ u( x, t) $ of class $ C ^ {2} ( t > 0) \cap C ^ {1} ( t \geq 0) $ which satisfies (1) for $ t > 0 $ and the initial conditions (9) on the plane $ t= 0 $. The Cauchy problem (3), (10) for the diffusion equation is posed in an analogous manner.
If a boundary value problem involves both initial and boundary conditions, then it is called a mixed problem. For equation (1) the mixed problem (1), (9), (11) is posed as follows: To find a function $ u( x, t) $ of class
$$ C ^ {2} ( G \times ( 0, \infty )) \cap C ^ {1} ( \overline{G}\; \times [ 0, \infty )) $$
which satisfies equation (1) in the cylinder $ G \times ( 0, \infty ) $, the initial conditions (9) on its bottom base, $ \overline{G}\; \times \{ 0 \} $, and the boundary condition (11) on its lateral surface $ S \times [ 0, \infty ) $. The mixed problem (3), (10), (11) for the diffusion equation (3) is posed in an analogous manner. There exist also other formulations of boundary value problems, for example the Goursat problem and the Tricomi problem.
For the stationary equation (5) there are no initial conditions and the corresponding boundary value problem is posed as follows: To find a function $ u( x) $ of class $ C ^ {2} ( G) \cap C ^ {1} ( \overline{G}\; ) $ that satisfies equation (5) in a region $ G $ and the boundary condition
$$ \tag{11'} \left . k \frac{\partial u }{\partial \mathbf n } + hu \right | _ {S} = v( x) $$
on the boundary $ S $ of $ G $. For equation (5) the boundary value problem with boundary condition
$$ \tag{12'} u \mid _ {S} = v _ {0} ( x) $$
is called the Dirichlet problem, and with boundary condition
$$ \tag{13'} \left . \frac{\partial u }{\partial \mathbf n } \right | _ {S} = v _ {1} ( x) $$
— the Neumann problem. One distinguishes the exterior and the interior Dirichlet and Neumann problems. For the exterior problems the boundary conditions must be supplemented by conditions at infinity of the type (14), (15) or (16).
The following eigen value problems are also regarded as boundary value problems for equation (5): To find the values of the parameter $ \lambda $( the eigen values) for which the homogeneous equation
$$ \tag{17 } Lu \equiv - \mathop{\rm div} ( p \mathop{\rm grad} u) + qu = \ \lambda \rho u $$
has non-trivial solutions (eigen functions) that satisfy the homogeneous boundary condition
$$ \tag{18 } \left . k \frac{\partial u }{\partial \mathbf n } + hu \right | _ {S} = 0. $$
If $ G $ is a bounded region with sufficiently smooth boundary $ S $, then there exists a countable set of non-negative eigen values $ \lambda _ {1} , \lambda _ {2} \dots $ of problem (17), (18) ( $ 0 \leq \lambda _ {1} \leq \lambda _ {2} \leq \dots $, $ \lambda _ {k} \rightarrow \infty $), each $ \lambda _ {k} $ of finite multiplicity, and the corresponding eigen functions $ u _ {k} ( x) $, $ Lu _ {k} ( x) = \lambda _ {k} \rho u _ {k} $, $ k = 1, 2 \dots $ form a complete orthonormal system in $ L _ {2} ( G; \rho ( x) d x ) $; moreover, every function of class $ C ^ {2} ( \overline{G}\; ) $ that satisfies the boundary condition (18) admits a regularly-convergent Fourier series expansion with respect to the system of eigen functions $ \{ u _ {k} \} $.
The formulation of the boundary value problems discussed above assumes that the solutions are sufficiently regular in the interior of the region as well as up to the boundary. Such formulations of boundary value problems are termed classical. However, in many problems of physical interest one must relinquish such regularity requirements. Inside the region the solution may be a generalized function and satisfy the equation in the sense of generalized functions, while the boundary value conditions may be fulfilled in some generalized sense (almost everywhere, in $ L _ {p} $, in the weak sense, etc.). Such formulations are called generalized, and the corresponding solutions are called generalized solutions. For example, the generalized Cauchy problem for the wave equation is posed as follows. Let $ u $ be a classical solution of the Cauchy problem (2), (9). The functions $ u $ and $ f $ are extended by zero for $ t < 0 $ and are denoted by $ \widetilde{u} $ and $ \widetilde{f} $, respectively. Then $ \widetilde{u} $ satisfies, as a generalized function in the entire space $ \mathbf R ^ {n+} 1 $, the wave equation
$$ \tag{19 } \frac{\partial ^ {2} \widetilde{u} }{\partial t ^ {2} } = a ^ {2} \Delta \widetilde{u} + u _ {0} ( x) \times \delta ^ \prime ( t) + u _ {1} ( x) \times \delta ( t) + \widetilde{f} ( x, t). $$
Here the initial perturbations $ u _ {0} $ and $ u _ {1} $ serve as external sources of the type of a double layer $ u _ {0} ( x) \times \delta ^ \prime ( t) $ and a simple layer $ u _ {1} ( x) \times \delta ( t) $ acting instantaneously. This permits one to give the following definition. The generalized Cauchy problem for the wave equation with source $ F \in D ^ \prime ( \mathbf R ^ {n+} 1 ) $, $ F = 0 $ for $ t < 0 $, is the problem of finding the generalized solutions $ u( t, x) $ in $ \mathbf R ^ {n+} 1 $ of the wave equation
$$ \tag{19'} \frac{\partial ^ {2} u }{\partial t ^ {2} } = a ^ {2} \Delta u + F( x, t) $$
that vanishes for $ t < 0 $. The generalized Cauchy problem for the heat equation (4) is posed analogously.
Since the boundary value problems of mathematical physics describe real physical processes, they must meet the following natural requirements, formulated by J. Hadamard:
1) a solution must exist in some class of functions $ M _ {1} $;
2) the solution must be unique in, possibly, another class of functions $ M _ {2} $;
3) the solution must depend continuously on the data of the problem (the initial and boundary conditions, the free terms, the coefficients of the equation, etc.). This requirement is imposed in connection with the fact that, as a rule, the data of physical problems are determined experimentally only approximately, and hence it is necessary to be sure that the solution of the problem does not depend essentially on the measurement errors of these data.
A problem that meets the requirements 1)–3) is called well-posed, and the set of functions $ M _ {1} \cap M _ {2} $ is the well-posedness class. Although requirements 1)–3) seem natural at a first glance, they must nevertheless be proved in the framework of the mathematical model adopted. The proof of the well-posedness is the first validation of a mathematical model — the model is non-contradictory, does not contain parasitic solutions, and is weakly sensitive to measurement errors.
Finding well-posed boundary value problems of mathematical physics and methods for constructing their (exact or approximate) solutions is one of the main objectives of a branch of mathematical physics. It is known that all boundary value problems listed above are well-posed.
Example. The Cauchy problem $ y ^ \prime = f( x, y) $, $ y( x _ {0} ) = y _ {0} $, is well-posed if $ f \in C ^ {1} $.
A problem that does not satisfy at least one of the conditions 1)–3) is called an ill-posed problem (cf. Ill-posed problems). The importance of ill-posed problems in contemporary mathematical physics is increasing: in this class fall, in the first place, inverse problems, and also problems connected with the treatment and interpretation of results of observations.
An example of an ill-posed problem is the following Cauchy problem for the Laplace equation (Hadamard's example):
$$ \Delta u( x, y) = 0,\ \ u \mid _ {y=} 0 = 0,\ \ \left . \frac{\partial u }{\partial y } \right | _ {y=} 0 = \ \frac{\sin kx }{k} . $$
For $ y > 0 $ the solution satisfies:
$$ u ( x, y) = \frac{1}{k ^ {2} } \sin kx \sinh ky \ \Nar ^ { x } 0,\ \ k \rightarrow \infty , $$
whereas
$$ \frac{\sin kx }{k} \Rightarrow ^ { x } 0,\ \ k \rightarrow \infty . $$
In order to solve approximately ill-posed problems one can resort to a regularization method, which utilizes supplementary information on the solution and which amounts to solving a sequence of well-posed problems.
An important role in the equations of mathematical physics is played by the notion of a Green function. The Green function of a linear differential operator
$$ L( x, t; D) = \sum _ {| a | \leq m } a _ \alpha ( x, t) D ^ \alpha , $$
$$ D = \left ( \frac \partial {\partial x _ {1} } \dots \frac \partial { \partial x _ {n} } , \frac \partial {\partial t } \right ) , $$
with given (homogeneous) boundary value conditions on the boundary of the domain of variation of the variables $ ( x, t) $ is, by definition, the function $ G( x, t; \xi , \tau ) $ which satisfies for each $ ( \xi , \tau ) $ in this domain the equation
$$ \tag{20 } L( x, t; D) G( x, t; \xi , \tau ) = \delta ( x- \xi , t- \tau ). $$
In physical situations the Green function $ G( x, t; \xi , \tau ) $ describes the disturbance produced by an instantaneous (at time $ \tau $) point source (placed at the point $ \xi $) of intensity one (with the inhomogeneity of the medium and the effect of the boundary accounted for). In the case of operators with constant coefficients and in the absence of a boundary, the Green function for $ \xi = 0 $ and $ \tau = 0 $ is called a fundamental solution and is denoted by $ E( x, t) $:
$$ \tag{20'} L( D) E( x, t) = \delta ( x, t). $$
The existence of a fundamental solution in the spaces $ D ^ \prime $ and $ S ^ \prime $ has been established for any operator $ L( D) \not\equiv 0 $.
Examples of fundamental solutions. For the wave equation:
$$ E _ {1} ( x, t) = \frac{\theta ( at- | x | ) }{2a} ,\ \ E _ {2} ( x, t) = \frac{\theta ( at- | x | ) }{2 \pi a \sqrt {a ^ {2} t ^ {2} - | x | ^ {2} } } , $$
$$ E _ {3} ( x, t) = \frac{1}{2 \pi a } \delta _ {+} ( a ^ {2} t ^ {2} - | x | ^ {2} ), $$
where $ \theta ( t) $ is the Heaviside function: $ \theta ( t) = 0 $ for $ t < 0 $; $ \theta ( t) = 1 $ for $ t \geq 0 $.
For the heat equation:
$$ E _ {n} ( x, t) = \frac{\theta ( t) }{( 2a \sqrt {\pi t } ) ^ {n} } e ^ {- | x | ^ {2} /4a ^ {2} t } . $$
For the Laplace equation:
$$ E _ {1} ( x) = \frac{| x | }{2} ,\ \ E _ {2} ( x) = \frac{ \mathop{\rm ln} | x | }{2 \pi } ,\ \ E _ {3} ( x) = - \frac{1}{4 \pi | x | } . $$
Using the fundamental solution $ E( x, t) $, the solution $ u( x, t) $ of the equation
$$ \tag{21 } L( D) u = F( x, t) $$
with arbitrary right-hand side $ F \in D ^ \prime $, if it exists in $ D ^ \prime $, is expressible in the whole space $ \mathbf R ^ {n+} 1 $ as the convolution
$$ \tag{22 } u = F \star E. $$
The meaning of formula (22) in physical situations is as follows: The solution $ u $ is the result of superposition of the elementary disturbances $ F( \xi , \tau ) E( x- \xi , t- \tau ) $ produced by the point sources $ F( \xi , \tau ) \delta ( x- \xi , t- \tau ) $ into which the source $ F $ is decomposed in view of the identity $ F = F \star \delta $. The convolution $ F \star E $ plays the role of the potential with source (density) $ F $. This is the essence of the method of point sources, or mapping method, for solving linear problems of mathematical physics.
In particular, the solution of the generalized Cauchy problem for the wave equation (or heat equation) is given by the wave (heat) potential
$$ \tag{22'} u = F \star E _ {n} . $$
From this formula one can derive, under suitable assumptions on the smoothness of the source
$$ F( x, t) = u _ {0} ( x) \delta ^ \prime ( t) + u _ {1} ( x) \delta ( t) + f( x, t) , $$
the classical formulas for the solution of the Cauchy problem. For the wave equation in three-dimensional space one has the Kirchhoff formula
$$ \tag{23 } u( x, t) = \frac{1}{4 \pi a ^ {2} } \int\limits _ {| x- \xi | < at } f \left ( \xi , t - \frac{| x- \xi | }{a} \right ) \frac{d \xi }{| x- \xi | } + $$
$$ + \frac{1}{4 \pi a ^ {2} t } \int\limits _ {| x- \xi | = at } u _ {1} ( \xi ) dS + \frac{1}{4 \pi a ^ {2} } \frac \partial {\partial t } \left [ \frac{1}{t} \int\limits _ {| x- \xi | = at } u _ {0} ( \xi ) dS \right ] . $$
For the heat equation one has the Poisson formula
$$ \tag{24 } u( x, t) = \int\limits _ { 0 } ^ { t } \int\limits \frac{f( \xi , \tau ) }{[ 2a \sqrt {\pi ( t- \tau ) } ] ^ {n} } e ^ {- | x- \xi | ^ {2} /4a ^ {2} ( t- \tau ) } d \xi d \tau + $$
$$ + \frac{1}{( 2a \sqrt {\pi t } ) ^ {n} } \int\limits u _ {0} ( \xi ) e ^ {- | x- \xi | ^ {2} /4a ^ {2} t } d \xi . $$
In the same manner, constructing the Green function for the Laplace equation for the sphere, one obtains the solution of the interior Dirichlet problem for the (three-dimensional) ball $ | x | < R $ in the form of a Poisson integral:
$$ \tag{25 } u( x) = \frac{1}{4 \pi R } \int\limits _ {| \xi | = R } \frac{R ^ {2} - | x | ^ {2} }{| x- \xi | ^ {2} } u _ {0} ( \xi ) dS _ \xi . $$
For the investigation and approximate solution of mixed problems one uses, under the assumption that the coefficients in the equation and in the boundary conditions do not depend on the time $ t $, the Fourier method (separation of variables). The idea of the method applied, say, to the problem (3), (10), (18) is as follows. First, one expands the unknown solution $ u( x, t) $ and the right-hand side $ f( x, t) $ in Fourier series with respect to the eigen functions $ \{ u _ {k} \} $ of the boundary value problem (17), (18):
$$ \tag{26 } u( x, t) = \sum _ { k= } 1 ^ \infty b _ {k} ( t) u _ {k} ( x),\ \ f( x, t) = \sum _ { k= } 1 ^ \infty c _ {k} ( t) u _ {k} ( x). $$
Then, upon substituting formally these series in equation (3) one obtains for the unknown functions $ b _ {k} ( t) $ the equations
$$ \tag{27 } b _ {k} ^ \prime ( t) + \lambda _ {k} b _ {k} ( t) = c _ {k} ( t),\ \ k = 1, 2 ,\dots . $$
To ensure that the series (26) for $ u $ will satisfy the initial condition (10) it is necessary to set
$$ \tag{28 } b _ {k} ( 0) = \int\limits _ { G } \rho ( x) u _ {0} ( x) u _ {k} ( x) dx = a _ {k} . $$
Solving the Cauchy problem (27), (28) one obtains a formal solution of the problem (3), (10), (18) in the form of a series:
$$ \tag{29 } u( x, t) = \sum _ { k= } 1 ^ \infty \left [ a _ {k} e ^ {- \lambda _ {k} t } + \int\limits _ { 0 } ^ { t } e ^ {- \lambda _ {k} ( t- \tau ) } c _ {k} ( \tau ) d \tau \right ] u _ {k} ( x). $$
There arises the problem of substantiating the Fourier method, i.e. of determining when the formal series (29) yields a classical or generalized solution of the problem (3), (10), (18).
To substantiate the Fourier method, and, generally, for establishing the well posedness of the mixed problem for the diffusion equation (3), one resorts to the maximum principle. An analogue of the Fourier method is also used for the mixed problem (1), (9), (18) for the oscillation equation. In this case the method of the energy integral is found useful.
The method of separation of variables has also found use in solving boundary value problems for elliptic-type equations (5), in particular, for calculating the eigen functions and eigen values under the assumption that the domain $ G $ has enough symmetry.
For the investigation and approximate solution of boundary value problems for equation (5) one widely uses variational methods. For example, in the eigen value problems (17), (18) (for $ \rho = 1 $) the eigen values $ \lambda _ {k} $ satisfy the variational principle
$$ \tag{30 } \lambda _ {k} = \inf _ {\begin{array}{c} ( u,u _ {i} ) = 0, \\ i = 1 \dots k- 1 \end{array} } \ \frac{( Lu, u ) }{\| u \| ^ {2} } , $$
where it is assumed that comparison functions $ u( x) $ belong to the class $ C ^ {2} ( \overline{G}\; ) $ and satisfy the boundary condition (18); the infimum in (30) is attained on any of the eigen functions corresponding to the eigen value $ \lambda _ {k} $, and only on these.
When investigating boundary value problems for equation (5) (in particular, for harmonic functions) one applies the maximum principle.
The boundary value problems listed above do not exhaust the whole variety of boundary value problems of mathematical physics; they merely provide the simplest classical examples. The boundary value problems describing real physical processes may be very complicated: systems of equations, equations of higher order, or non-linear equations. Here the main examples are the Schrödinger equation, the equations of hydrodynamics, transport, and magneto-hydrodynamics, Maxwell's equation (cf. Maxwell equations), the equations of elasticity theory, the Dirac, Hilbert, Einstein, and Yang–Mills equations, etc. (cf. also Dirac equation; Einstein equations; Yang–Mills field).
In connection with the search for non-trivial models describing the interaction of quantum fields, there is an interest in classical non-linear equations, among them the Korteweg–de Vries equation
$$ \tag{31 } u _ {t} - 6uu _ {x} + u _ {xxx} = 0 , $$
the non-linear wave equation
$$ u _ {tt} - u _ {xx} = gf( u),\ g > 0 $$
(known as the Liouville equation for $ f = e ^ {u} $ and as the sine-Gordon equation for $ f = - \sin u $), and the non-linear Schrödinger equation:
$$ iu _ {t} + u _ {xx} + \nu | u | ^ {2} u = 0,\ \ \nu > 0. $$
A characteristic feature of such equations is that they admit solutions of "solitary-wave" type (solitons, cf. Soliton). Thus, for equation (31) such a solution is
$$ u( x, t) = \frac{a}{2 \cosh ^ {2} [ {\sqrt a } ( x- at- x _ {0} ) /2 ] } ,\ \ a > 0,\ \ x _ {0} \textrm{ arbitrary } . $$
This solution has finite energy.
References
[1] | A.N. [A.N. Tikhonov] Tichonoff, A.A. Samarskii, "Differentialgleichungen der mathematischen Physik" , Deutsch. Verlag Wissenschaft. (1959) (Translated from Russian) |
[2] | V.S. Vladimirov, "Equations of mathematical physics" , MIR (1984) (Translated from Russian) |
[3] | A.N. Tikhonov, V.I. [V.I. Arsenin] Arsenine, "Solution of ill-posed problems" , Winston (1977) (Translated from Russian) |
[4] | L.V. Hörmander, "The analysis of linear partial differential operators" , 1–2 , Springer (1983) |
[5] | J. Hadamard, "Lectures on Cauchy's problem in linear partial differential equations" , Dover, reprint (1952) |
[6] | G.B. Whitham, "Linear and non-linear waves" , Wiley (1974) |
[7] | V.P. Mikhailov, "Partial differential equations" , Moscow (1983) (In Russian) |
[8] | O.A. Ladyzhenskaya, "The boundary value problems of mathematical physics" , Springer (1985) (Translated from Russian) |
[9] | R. Courant, D. Hilbert, "Methods of mathematical physics. Partial differential equations" , 2 , Interscience (1965) (Translated from German) |
[10] | V.S. Vladimirov, "Generalized functions in mathematical physics" , MIR (1979) (Translated from Russian) |
Comments
References
[a1] | S.L. Sobolev, "Partial differential equations of mathematical physics" , Pergamon (1964) (Translated from Russian) |
[a2] | B.M. Budal, A.A. Samarskii, A.N. Tikhonov, "A collection of problems on mathematical physics" , Pergamon (1964) (Translated from Russian) |
[a3] | S.G. [S.G. Mikhlin] Michlin, "Lehrgang der mathematischen Physik" , Akademie Verlag (1972) (Translated from Russian) |
[a4] | P.M. Morse, H. Feshbach, "Methods of theoretical physics" , 1–2 , McGraw-Hill (1953) |
[a5] | E. Zauderer, "Partial differential equations of applied mathematics" , Wiley (1983) |
Mathematical physics, equations of. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Mathematical_physics,_equations_of&oldid=33912