Namespaces
Variants
Actions

Difference between revisions of "Darboux theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
m
Line 3: Line 3:
 
* Darboux theorem on intermediate values of the derivative of a function of one variable.
 
* Darboux theorem on intermediate values of the derivative of a function of one variable.
  
== Darboux theorems for symplectic structure ===
+
== Darboux theorems for symplectic structure ==
 
{{MSC|37Jxx,53Dxx}}
 
{{MSC|37Jxx,53Dxx}}
  
Line 15: Line 15:
 
The ''standard symplectic structure'' on $\R^{2n}$ in the ''standard canonical coordinates'' $(x_1,\dots,x_n,p_1,\dots,p_n)$ is given by the form
 
The ''standard symplectic structure'' on $\R^{2n}$ in the ''standard canonical coordinates'' $(x_1,\dots,x_n,p_1,\dots,p_n)$ is given by the form
 
$$
 
$$
\omega=\sum_{i=1}^n \rd x_i\land \rd p_i.\tag*
+
\omega=\sum_{i=1}^n \rd x_i\land \rd p_i.\tag 1
 
$$
 
$$
===Local equivalence
+
 
'''Theorem''' (Darboux theorem<ref name=AG>Arnold V. I., Givental A. B.</ref>, sometimes also referred to as the Darboux-Weinstein theorem<ref>Guillemin V., Sternberg S., </ref>).
+
===Local equivalence===
Any symplectic structure locally is $C^\infty$-equivalent to the standard to the standard syplectic structure (*): for any point $a\in M$ there exists a neighborhood $M\supseteq U\owns a$ and "canonical" coordinate functions $(x,p):(U,a)\to (\R^{2n},0)$, such that in these coordinates $\omega$ takes the form $\sum \rd x_i\land\rd p_i$.
+
'''Theorem''' (''Darboux theorem''<ref name=AG>Arnold V. I., Givental A. B.</ref>, sometimes also referred to as the ''Darboux-Weinstein theorem''<ref>Guillemin V., Sternberg S., </ref>).
 +
 
 +
Any symplectic structure locally is $C^\infty$-equivalent to the standard to the standard syplectic structure (1): for any point $a\in M$ there exists a neighborhood $M\supseteq U\owns a$ and "canonical" coordinate functions $(x,p):(U,a)\to (\R^{2n},0)$, such that in these coordinates $\omega$ takes the form $\sum \rd x_i\land\rd p_i$.
  
 
In particular, any two symplectic structures $\omega_1,\omega_2$ on $M$ are locally equivalent near each point: there exists the germ of a diffeomorphism $h:(M,a)\to(M,a)$ such that $h^*\omega_1=\omega_2$.
 
In particular, any two symplectic structures $\omega_1,\omega_2$ on $M$ are locally equivalent near each point: there exists the germ of a diffeomorphism $h:(M,a)\to(M,a)$ such that $h^*\omega_1=\omega_2$.
 +
 +
===Relative versions===
 +
Together with the "absolute" version, one has a "relative" version of the Darboux theorem: if $M$ is a smooth manifold with two symplectic structures $\omega_1,\omega_2$, and $N$ is a submanifold on which the two 2-forms coincide<ref>This means that the 2-forms $\omega_i$ take the same value on any pair of vectors ''tangent to $N$''. This condition is weaker than coincidence of the forms $\omega_i$ ''at all points'' of $N$.</ref>, then near each point $a\in N\subseteq M$ one has a diffeomorphism $h:(M,a)\to(M,a)$ transforming $\omega_1$ to $\omega_2$ and identical on $N$:
 +
$$
 +
\left.\omega_1=\omega_2\right|_{TN}\ \implies\ \exists h\in\operatorname{Diff}(M,a):\quad h^*\omega_1=\omega_2,\quad h|_N\equiv\operatorname{id}.
 +
$$
 +
===Comments===
 +
The assertion of the Darboux theorem on local normalization of antisymmetric 2-forms should be compared with a similar question about symmetric nondegenerate forms, which (if positive) define a [[Riemannian metric]] on $M$. It is well known that, although at a given point $a$ the Riemannian metric can be brought to the canonical form $\left<v,v\right>=\sum_{i=1}^n v_i^2$, such transformation is in general impossible in any open neighborhood of $a$: the obstruction, among other things, is represented by the [[curvature]] of the metric (which is zero for the "constant" standard Euclidean metric).
 +
 +
In the same way the relative Darboux theorem means that submaniolds of the symplectic manifold have no "intrinsic" geometry: any two submanifolds $N,N'$ with equivalent (eventually, quite degenerate) restrictions of $\omega$ on $TN$, resp., $TN'$, can be transformed to each other by a diffeomorphism preserving the symplectic structure.
  
 
   
 
   
 
+
----
 
<references/>
 
<references/>
  
 
== Darboux therem for intermediate values of differentiable functions ==
 
== Darboux therem for intermediate values of differentiable functions ==

Revision as of 13:33, 29 April 2012

Darboux theorem may may refer to one of the following assertions:

  • Darboux theorem on local canonical coordinates for symplectic structure;
  • Darboux theorem on intermediate values of the derivative of a function of one variable.

Darboux theorems for symplectic structure

2020 Mathematics Subject Classification: Primary: 37Jxx,53Dxx [MSN][ZBL]

Recall that a symplectic structure on an even-dimensional manifold $M^{2n}$ is a closed nondegenerate $C^\infty$-smooth differential 2-form $\omega$: $$ \omega\in\varLambda^2(M),\qquad \rd \omega=0,\qquad \forall v\in T_p M\quad \exists w\in T_p M:\ \omega_p(v,w)\ne0. $$

The matrix $S(z)$ of a symplectic structure, $S_{ij}(z)=\omega(\frac{\partial}{\partial z_i},\frac{\partial}{\partial z_i})=-S_{ji}(z)$ in any local coordinate system $(z_1,\dots,z_{2n})$ is antisymmetric and nondegenerate: $\omega=\frac12\sum_{1}^{2n} S_{ij}(z)\,\rd z_i\land \rd z_j$.

The standard symplectic structure on $\R^{2n}$ in the standard canonical coordinates $(x_1,\dots,x_n,p_1,\dots,p_n)$ is given by the form $$ \omega=\sum_{i=1}^n \rd x_i\land \rd p_i.\tag 1 $$

Local equivalence

Theorem (Darboux theorem[1], sometimes also referred to as the Darboux-Weinstein theorem[2]).

Any symplectic structure locally is $C^\infty$-equivalent to the standard to the standard syplectic structure (1): for any point $a\in M$ there exists a neighborhood $M\supseteq U\owns a$ and "canonical" coordinate functions $(x,p):(U,a)\to (\R^{2n},0)$, such that in these coordinates $\omega$ takes the form $\sum \rd x_i\land\rd p_i$.

In particular, any two symplectic structures $\omega_1,\omega_2$ on $M$ are locally equivalent near each point: there exists the germ of a diffeomorphism $h:(M,a)\to(M,a)$ such that $h^*\omega_1=\omega_2$.

Relative versions

Together with the "absolute" version, one has a "relative" version of the Darboux theorem: if $M$ is a smooth manifold with two symplectic structures $\omega_1,\omega_2$, and $N$ is a submanifold on which the two 2-forms coincide[3], then near each point $a\in N\subseteq M$ one has a diffeomorphism $h:(M,a)\to(M,a)$ transforming $\omega_1$ to $\omega_2$ and identical on $N$: $$ \left.\omega_1=\omega_2\right|_{TN}\ \implies\ \exists h\in\operatorname{Diff}(M,a):\quad h^*\omega_1=\omega_2,\quad h|_N\equiv\operatorname{id}. $$

Comments

The assertion of the Darboux theorem on local normalization of antisymmetric 2-forms should be compared with a similar question about symmetric nondegenerate forms, which (if positive) define a Riemannian metric on $M$. It is well known that, although at a given point $a$ the Riemannian metric can be brought to the canonical form $\left<v,v\right>=\sum_{i=1}^n v_i^2$, such transformation is in general impossible in any open neighborhood of $a$: the obstruction, among other things, is represented by the curvature of the metric (which is zero for the "constant" standard Euclidean metric).

In the same way the relative Darboux theorem means that submaniolds of the symplectic manifold have no "intrinsic" geometry: any two submanifolds $N,N'$ with equivalent (eventually, quite degenerate) restrictions of $\omega$ on $TN$, resp., $TN'$, can be transformed to each other by a diffeomorphism preserving the symplectic structure.



  1. Arnold V. I., Givental A. B.
  2. Guillemin V., Sternberg S.,
  3. This means that the 2-forms $\omega_i$ take the same value on any pair of vectors tangent to $N$. This condition is weaker than coincidence of the forms $\omega_i$ at all points of $N$.

Darboux therem for intermediate values of differentiable functions

How to Cite This Entry:
Darboux theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Darboux_theorem&oldid=25695
This article was adapted from an original article by L.D. Kudryavtsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article