Namespaces
Variants
Actions

Difference between revisions of "Darboux theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
m
m (fixing typo)
 
(18 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{DEF}}
+
{{TEX|done}}
  
 +
'''Darboux theorem''' 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.
 +
For Darboux theorem on integrability of differential equations, see [[Darboux integral]].
  
If a real-valued function has a finite derivative at each point of an interval on the real axis, then, if the derivative assumes any two values on this interval, this derivative also assumes all the intermediate values on it.
 
  
 +
== Darboux theorems for symplectic structure ==
 +
{{MSC|37Jxx,53Dxx}}
  
 +
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.
 +
$$
  
====Comments====
+
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<ref>Another way to formulate the nondegeneracy is to require that the highest wedge power $\omega\land\cdots\land\omega$ ($n$ times) is a nonvanishing volume form.</ref>: $\omega=\frac12\sum_{i,j=1}^{2n} S_{ij}(z)\,\rd z_i\land \rd z_j$.  
This is a kind of intermediate value theorem (for the derivative rather than the function). The following theorem holds for functions themselves: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030190/d0301901.png" /> is a [[Continuous mapping|continuous mapping]] between metric spaces, and if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030190/d0301902.png" /> is a [[Connected set|connected set]], then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030190/d0301903.png" /> is connected. (See, e.g., [[#References|[a1]]].)
 
  
====References====
+
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
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  W. Rudin,   "Principles of mathematical analysis" , McGraw-Hill (1953)</TD></TR></table>
+
$$
 +
\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., ''Symplectic Geometry'', Dynamical systems, IV,  1–138,
 +
Encyclopaedia Math. Sci., '''4''', Springer, Berlin,  2001.  {{MR|1866631}}. Chap. 2, Sect. 1</ref>, sometimes also referred to as the ''Darboux-Weinstein theorem''<ref>Guillemin V., Sternberg S., ''Geometric asymptotics'',
 +
Mathematical Surveys, No. '''14'''. American Mathematical Society, Providence, R.I.,  1977. xviii+474 pp. {{MR|0516965}}, Chap. IV, Sect. 1. </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$.
 +
 
 +
===Relative versions===
 +
Together with the "absolute" version, one has a "relative" version of the Darboux theorem<ref name=AG/><ref>
 +
McDuff, D., Salamon, D.,  ''Introduction to symplectic topology'' (Second edition). Oxford Mathematical Monographs. Oxford University Press, New York,  1998. x+486 pp. {{MR|1698616}}, Sect. 3.2.</ref>: 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$:
 +
$$
 +
\omega_1=\omega_2\Big|_{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.
 +
===Notes and references===
 +
   
 +
 
 +
<references/>
 +
 
 +
== Darboux theorem for intermediate values of differentiable functions ==
 +
{{MSC|26A06}}
 +
 
 +
 
 +
If $f:[a,b]\to\R$ is a function which is differentiable at all points of the segment $[a,b]\subseteq\R$ (the right and left derivatives are assumed at the endpoints $a,b$ respectively), then its derivative assumes all intermediate values<ref>''Darboux’s theorem'' (2012). In Encyclopædia Britannica.  Retrieved from  [[http://www.britannica.com/EBchecked/topic/1508945/Darbouxs-theorem the  EB site]].</ref> (i.e., the range of the derivative $f'=\frac{\rd f}{\rd x}:[a,b]\to\R$ is a connected set).
 +
 
 +
For functions $f\in C^1[a,b]$ whose derivative is continuous, this is a simple consequence of the intermediate value theorem for the derivative. For functions whose derivative exists at all points but is discontinuous, e.g., $f(x)=x^2\sin(1/x)$, $0\ne x\in[-1,1]$, $f(0)=0$, the assertion follows from the Fermat principle (the derivative of a differential function at an extremal point vanishes), applied to a suitable combination $f(x)-\alpha x$. See also the [[Darboux property]].
 +
 
 +
=== References===
 +
----
 +
<references/>

Latest revision as of 05:41, 24 February 2022


Darboux theorem 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.

For Darboux theorem on integrability of differential equations, see Darboux integral.


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[1]: $\omega=\frac12\sum_{i,j=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[2], sometimes also referred to as the Darboux-Weinstein theorem[3]).

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[2][4]: 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[5], 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$: $$ \omega_1=\omega_2\Big|_{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.

Notes and references

  1. Another way to formulate the nondegeneracy is to require that the highest wedge power $\omega\land\cdots\land\omega$ ($n$ times) is a nonvanishing volume form.
  2. 2.0 2.1 Arnold V. I., Givental A. B., Symplectic Geometry, Dynamical systems, IV, 1–138, Encyclopaedia Math. Sci., 4, Springer, Berlin, 2001. MR1866631. Chap. 2, Sect. 1
  3. Guillemin V., Sternberg S., Geometric asymptotics, Mathematical Surveys, No. 14. American Mathematical Society, Providence, R.I., 1977. xviii+474 pp. MR0516965, Chap. IV, Sect. 1.
  4. McDuff, D., Salamon, D., Introduction to symplectic topology (Second edition). Oxford Mathematical Monographs. Oxford University Press, New York, 1998. x+486 pp. MR1698616, Sect. 3.2.
  5. 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 theorem for intermediate values of differentiable functions

2020 Mathematics Subject Classification: Primary: 26A06 [MSN][ZBL]


If $f:[a,b]\to\R$ is a function which is differentiable at all points of the segment $[a,b]\subseteq\R$ (the right and left derivatives are assumed at the endpoints $a,b$ respectively), then its derivative assumes all intermediate values[1] (i.e., the range of the derivative $f'=\frac{\rd f}{\rd x}:[a,b]\to\R$ is a connected set).

For functions $f\in C^1[a,b]$ whose derivative is continuous, this is a simple consequence of the intermediate value theorem for the derivative. For functions whose derivative exists at all points but is discontinuous, e.g., $f(x)=x^2\sin(1/x)$, $0\ne x\in[-1,1]$, $f(0)=0$, the assertion follows from the Fermat principle (the derivative of a differential function at an extremal point vanishes), applied to a suitable combination $f(x)-\alpha x$. See also the Darboux property.

References


  1. Darboux’s theorem (2012). In Encyclopædia Britannica. Retrieved from [the EB site].
How to Cite This Entry:
Darboux theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Darboux_theorem&oldid=25658
This article was adapted from an original article by L.D. Kudryavtsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article