Namespaces
Variants
Actions

Difference between revisions of "Integrable system"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
 
Line 1: Line 1:
A differential system of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i0513301.png" /> (cf. [[Involutive distribution|Involutive distribution]]) on an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i0513302.png" />-dimensional [[Differentiable manifold|differentiable manifold]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i0513303.png" /> that has, in a neighbourhood of each point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i0513304.png" />, an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i0513305.png" />-parameter family of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i0513306.png" />-dimensional integral manifolds (cf. [[Integral manifold|Integral manifold]]). One often speaks of a totally-integrable system in this case; more precisely it is defined as follows. Suppose that at each point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i0513307.png" /> a subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i0513308.png" /> of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i0513309.png" /> in the tangent space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i05133010.png" /> has been distinguished, such that a differential system, or distribution, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i05133011.png" /> of class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i05133012.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i05133013.png" />, of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i05133014.png" /> is given on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i05133015.png" />. The system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i05133016.png" /> is called totally integrable if for each point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i05133017.png" /> there is a coordinate system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i05133018.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i05133019.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i05133020.png" />, such that for any constants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i05133021.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i05133022.png" />, the manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i05133023.png" /> is an integral submanifold, i.e. its tangent space at an arbitrary point coincides with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i05133024.png" />. For analytic conditions that are necessary and sufficient for this, see [[Involutive distribution|Involutive distribution]].
+
{{TEX|done}}
 +
A differential system of dimension $p$ (cf. [[Involutive distribution|Involutive distribution]]) on an $n$-dimensional [[Differentiable manifold|differentiable manifold]] $M^n$ that has, in a neighbourhood of each point $x\in M^n$, an $(n-p)$-parameter family of $p$-dimensional integral manifolds (cf. [[Integral manifold|Integral manifold]]). One often speaks of a totally-integrable system in this case; more precisely it is defined as follows. Suppose that at each point $x\in M^n$ a subspace $D(x)$ of dimension $p$ in the tangent space $T_x(M^n)$ has been distinguished, such that a differential system, or distribution, $D$ of class $C^r$, $r\geq1$, of dimension $p$ is given on $M^n$. The system $D$ is called totally integrable if for each point $a\in M^n$ there is a coordinate system $(U,\phi)$, $x\in U$, $\phi(x)=\phi(x_1,\dots,x_n)$, such that for any constants $c^j$, $p<j\leq n$, the manifold $U_c=\{x\in U:x^j=c^j\}$ is an integral submanifold, i.e. its tangent space at an arbitrary point coincides with $D(x)$. For analytic conditions that are necessary and sufficient for this, see [[Involutive distribution|Involutive distribution]].
  
  
  
 
====Comments====
 
====Comments====
Cf. also [[Pfaffian equation|Pfaffian equation]]. The phrase integrable system is also used to refer to a completely-integrable Hamiltonian system or equation, i.e. a Hamiltonian equation (system) on a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i05133025.png" />-dimensional phase space which has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051330/i05133026.png" /> (including the Hamiltonian itself) [[Integrals in involution|integrals in involution]], cf. [[Hamiltonian system|Hamiltonian system]].
+
Cf. also [[Pfaffian equation|Pfaffian equation]]. The phrase integrable system is also used to refer to a completely-integrable Hamiltonian system or equation, i.e. a Hamiltonian equation (system) on a $2n$-dimensional phase space which has $n$ (including the Hamiltonian itself) [[Integrals in involution|integrals in involution]], cf. [[Hamiltonian system|Hamiltonian system]].

Latest revision as of 23:02, 22 December 2018

A differential system of dimension $p$ (cf. Involutive distribution) on an $n$-dimensional differentiable manifold $M^n$ that has, in a neighbourhood of each point $x\in M^n$, an $(n-p)$-parameter family of $p$-dimensional integral manifolds (cf. Integral manifold). One often speaks of a totally-integrable system in this case; more precisely it is defined as follows. Suppose that at each point $x\in M^n$ a subspace $D(x)$ of dimension $p$ in the tangent space $T_x(M^n)$ has been distinguished, such that a differential system, or distribution, $D$ of class $C^r$, $r\geq1$, of dimension $p$ is given on $M^n$. The system $D$ is called totally integrable if for each point $a\in M^n$ there is a coordinate system $(U,\phi)$, $x\in U$, $\phi(x)=\phi(x_1,\dots,x_n)$, such that for any constants $c^j$, $p<j\leq n$, the manifold $U_c=\{x\in U:x^j=c^j\}$ is an integral submanifold, i.e. its tangent space at an arbitrary point coincides with $D(x)$. For analytic conditions that are necessary and sufficient for this, see Involutive distribution.


Comments

Cf. also Pfaffian equation. The phrase integrable system is also used to refer to a completely-integrable Hamiltonian system or equation, i.e. a Hamiltonian equation (system) on a $2n$-dimensional phase space which has $n$ (including the Hamiltonian itself) integrals in involution, cf. Hamiltonian system.

How to Cite This Entry:
Integrable system. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Integrable_system&oldid=16009
This article was adapted from an original article by Ü. Lumiste (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article