Namespaces
Variants
Actions

Difference between revisions of "Darboux theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
m
m (Added category TEXdone)
(3 intermediate revisions by 3 users not shown)
Line 1: Line 1:
 +
{{TEX|done}}
 +
 
'''Darboux theorem may''' may refer to one of the following assertions:
 
'''Darboux theorem may''' may refer to one of the following assertions:
 
* Darboux theorem on local canonical coordinates for symplectic structure;
 
* Darboux theorem on local canonical coordinates for symplectic structure;
Line 45: Line 47:
 
<references/>
 
<references/>
  
== Darboux therem for intermediate values of differentiable functions ==
+
== Darboux theorem for intermediate values of differentiable functions ==
 
{{MSC|26A06}}
 
{{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).
+
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$.  
+
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===
 
----
 
----
 
<references/>
 
<references/>

Revision as of 09:09, 12 December 2013


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.

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=25706
This article was adapted from an original article by L.D. Kudryavtsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article