Namespaces
Variants
Actions

Difference between revisions of "Integral manifold"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (label)
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
A set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i0515301.png" /> of points of the phase space (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i0515302.png" />-space) of the system
+
{{TEX|done}}
 +
A set $S_t$ of points of the phase space ($(t,x)$-space) of the system
  
<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/i051530/i0515303.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>
+
$$\frac{dx}{dt}=X(t,x),\label{*}\tag{*}$$
  
filled by the integral curves of this system (cf. [[Integral curve|Integral curve]]), defined for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i0515304.png" /> and forming a manifold in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i0515305.png" />-space. The dimension of the section of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i0515306.png" /> by the plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i0515307.png" /> is usually called the dimension of the integral manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i0515308.png" />. In the definition of an integral manifold, the requirement that it be a manifold is sometimes replaced by the requirement that the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i0515309.png" /> be representable analytically by an equation
+
filled by the integral curves of this system (cf. [[Integral curve|Integral curve]]), defined for all $t\in\mathbf R$ and forming a manifold in $(t,x)$-space. The dimension of the section of $S_t$ by the plane $t=\text{const}$ is usually called the dimension of the integral manifold $S_t$. In the definition of an integral manifold, the requirement that it be a manifold is sometimes replaced by the requirement that the set $S_t$ be representable analytically by an 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/i051530/i05153010.png" /></td> </tr></table>
+
$$x=f(t,C)$$
  
with a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i05153011.png" /> defined for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i05153012.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i05153013.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i05153014.png" /> in some domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i05153015.png" /> and possessing a specific smoothness in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i05153016.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i05153017.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i05153018.png" />. The integral manifold is then called <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i05153020.png" />-dimensional and of the same smoothness as the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i05153021.png" />.
+
with a function $f$ defined for all $t$ in $\mathbf R$ and $C=(C_1,\dots,C_m)$ in some domain $D$ and possessing a specific smoothness in $t$, $C$ for $t,C\in\mathbf R\times D$. The integral manifold is then called $m$-dimensional and of the same smoothness as the function $f$.
  
Examples. An integral curve of a periodic solution of the system (*), that is, a periodic integral curve; the family of integral curves of the system (*) formed by a family of quasi-periodic solutions of (*), filling an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i05153022.png" />-dimensional torus in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i05153023.png" />-space when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i05153024.png" />, that is, an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i05153025.png" />-dimensional toroidal integral manifold; etc.
+
Examples. An integral curve of a periodic solution of the system \eqref{*}, that is, a periodic integral curve; the family of integral curves of the system \eqref{*} formed by a family of quasi-periodic solutions of \eqref{*}, filling an $m$-dimensional torus in the $x$-space when $t=0$, that is, an $m$-dimensional toroidal integral manifold; etc.
  
The integral manifolds that have been most extensively studied are the toroidal manifolds, that is, sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i05153026.png" /> that are tori for any fixed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051530/i05153027.png" />. These manifolds are widely encountered in systems of type (*) describing oscillatory processes.
+
The integral manifolds that have been most extensively studied are the toroidal manifolds, that is, sets $S_t$ that are tori for any fixed $t\in\mathbf R$. These manifolds are widely encountered in systems of type \eqref{*} describing oscillatory processes.
  
 
====References====
 
====References====

Latest revision as of 17:09, 14 February 2020

A set $S_t$ of points of the phase space ($(t,x)$-space) of the system

$$\frac{dx}{dt}=X(t,x),\label{*}\tag{*}$$

filled by the integral curves of this system (cf. Integral curve), defined for all $t\in\mathbf R$ and forming a manifold in $(t,x)$-space. The dimension of the section of $S_t$ by the plane $t=\text{const}$ is usually called the dimension of the integral manifold $S_t$. In the definition of an integral manifold, the requirement that it be a manifold is sometimes replaced by the requirement that the set $S_t$ be representable analytically by an equation

$$x=f(t,C)$$

with a function $f$ defined for all $t$ in $\mathbf R$ and $C=(C_1,\dots,C_m)$ in some domain $D$ and possessing a specific smoothness in $t$, $C$ for $t,C\in\mathbf R\times D$. The integral manifold is then called $m$-dimensional and of the same smoothness as the function $f$.

Examples. An integral curve of a periodic solution of the system \eqref{*}, that is, a periodic integral curve; the family of integral curves of the system \eqref{*} formed by a family of quasi-periodic solutions of \eqref{*}, filling an $m$-dimensional torus in the $x$-space when $t=0$, that is, an $m$-dimensional toroidal integral manifold; etc.

The integral manifolds that have been most extensively studied are the toroidal manifolds, that is, sets $S_t$ that are tori for any fixed $t\in\mathbf R$. These manifolds are widely encountered in systems of type \eqref{*} describing oscillatory processes.

References

[1] N.N. Bogolyubov, "On certain statistical methods in mathematical physics" , L'vov (1945) (In Russian)
[2] N.N. Bogolyubov, Yu.A. Mitropol'skii, "The method of integral manifolds in non-linear mechanics" , Proc. Internat. Symp. Non-linear Oscillations , 1 , Kiev (1963) pp. 96–154 (In Russian)
[3] N.N. Bogolyubov, Yu.A. Mitropol'skii, "The method of integral manifolds in the theory of differential equations" , Proc. 4-th All-Union Math. Congress (1961) , 2 , Leningrad (1964) pp. 432–437 (In Russian)
[4] N.N. [N.N. Bogolyubov] Bogoliubov, Yu.A. [Yu.A. Mitropol'skii] Mitropoliskii, A.M. [A.M. Samoilenko] Samolenko, "The method of accelerated convergence in non-linear mechanics" , Springer (1976) (Translated from Russian) MR407380
[5] Yu.A. Mitropol'skii, "Problems of the asymptotic theory of nonstationary vibrations" , D. Davey (1965) (Translated from Russian)
[6] Yu.A. Mitropol'skii, O.B. Lykova, "Integral manifolds in non-linear mechanics" , Moscow (1973) (In Russian)


Comments

Nowadays integral manifolds are usually called invariant manifolds. Basic theorems on the permanence of invariant manifolds under perturbations are: 1) Fenichel's theorem, in case the Lyapunov exponents (cf. Lyapunov characteristic exponent) in the directions transversal to the manifold are larger in absolute value than those in directions parallel to the manifold, cf. [a1]; and 2) the Kolmogorov–Arnol'd–Moser theorem on persistence of quasi-periodic solutions in perturbations of integrable Hamiltonian systems (cf. Integrable system; Hamiltonian system; [a2]).

References

[a1] M.W. Hirsch, C. Pugh, M. Shub, "Invariant manifolds" , Springer (1977) MR0501173 Zbl 0355.58009
[a2] V.I. Arnol'd, "Mathematical methods of classical mechanics" , Springer (1978) pp. Appendix 8 (Translated from Russian) Zbl 0692.70003 Zbl 0572.70001 Zbl 0647.70001
[a3] J. Guckenheimer, P. Holmes, "Non-linear oscillations, dynamical systems, and bifurcations of vector fields" , Springer (1983) MR709768
How to Cite This Entry:
Integral manifold. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Integral_manifold&oldid=24474
This article was adapted from an original article by A.M. Samoilenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article