Namespaces
Variants
Actions

Difference between revisions of "Equivalence problem for systems of second-order ordinary differential equations"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (link)
m (AUTOMATIC EDIT (latexlist): Replaced 69 formulas out of 73 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
Line 1: Line 1:
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e1201501.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e1201502.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e1201503.png" /> be <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e1201504.png" /> coordinates in an open connected subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e1201505.png" /> of the Euclidean <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e1201506.png" />-dimensional space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e1201507.png" />. Suppose that there is given a second-order system
+
<!--This article has been texified automatically. Since there was no Nroff source code for this article,  
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
  
<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/e/e120/e120150/e1201508.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table>
+
Out of 73 formulas, 69 were replaced by TEX code.-->
  
for which each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e1201509.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015010.png" /> in a neighbourhood of initial conditions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015011.png" />.
+
{{TEX|semi-auto}}{{TEX|partial}}
 +
Let $( x ^ { 1 } , \ldots , x ^ { n } ) = ( x )$, $( d x ^ { 1 } / d t , \ldots , d x ^ { n } / d t ) = ( d x / d t ) = ( \dot { x } )$, and $t$ be $2 n + 1$ coordinates in an open connected subset $\Omega$ of the Euclidean $( 2 n + 1 )$-dimensional space $\mathbf{R} ^ { n } \times \mathbf{R} ^ { n } \times \mathbf{R} ^ { 1 }$. Suppose that there is given a second-order system
 +
 
 +
\begin{equation} \tag{a1} \frac { d ^ { 2 } x ^ { i } } { d t ^ { 2 } } + g ^ { i } ( x , \dot { x } , t ) = 0 , \quad i = 1 , \dots , n, \end{equation}
 +
 
 +
for which each $g ^ { i }$ is $C ^ { \infty }$ in a neighbourhood of initial conditions $( ( x )_{ 0} , ( \dot { x } ) _ { 0 } , t _ { 0 } ) \in \Omega$.
  
 
Following D. Kosambi [[#References|[a8]]], one wishes to solve the problem of finding the intrinsic geometric properties (i.e., the basic differential invariants) of (a1) under non-singular coordinate transformations of the type
 
Following D. Kosambi [[#References|[a8]]], one wishes to solve the problem of finding the intrinsic geometric properties (i.e., the basic differential invariants) of (a1) under non-singular coordinate transformations of the type
  
<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/e/e120/e120150/e12015012.png" /></td> </tr></table>
+
\begin{equation*} \text{(A)} \left\{ \begin{array} { l } { \overline{x} \square ^ { i } = f ^ { i } ( x ^ { 1 } , \ldots , x ^ { n } ) , \quad i = 1 , \ldots , n, } \\ { \overline { t } = t .} \end{array} \right. \end{equation*}
  
A similar problem was solved by E. Cartan and S.S. Chern [[#References|[a4]]], [[#References|[a5]]], but in the real-analytic case with transformations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015013.png" /> replaced by
+
A similar problem was solved by E. Cartan and S.S. Chern [[#References|[a4]]], [[#References|[a5]]], but in the real-analytic case with transformations $( \text{A} )$ replaced by
  
<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/e/e120/e120150/e12015014.png" /></td> </tr></table>
+
\begin{equation*} (\text{B}) \left\{ \begin{array} { l } { \overline{x} \square ^ { i } = f ^ { i } ( x ^ { 1 } , \ldots , x ^ { n } , t ) , \quad i = 1 , \ldots , n, } \\ { \overline { t } = t. } \end{array} \right. \end{equation*}
  
Below, only <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015015.png" /> is considered; see the references for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015016.png" />.
+
Below, only $( \text{A} )$ is considered; see the references for $( \operatorname {B} )$.
  
Define the KCC-covariant differential of a contravariant vector field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015017.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015018.png" /> by
+
Define the KCC-covariant differential of a contravariant vector field $\xi ^ { i } ( x )$ on $\Omega$ by
  
<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/e/e120/e120150/e12015019.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a2)</td></tr></table>
+
\begin{equation} \tag{a2} \frac { \mathcal{D} \xi ^ { i } } { d t } = \frac { d \xi ^ { i } } { d t } + \frac { 1 } { 2 } g ^ { i } ;r \xi ^ { r }, \end{equation}
  
where the semi-colon indicates partial differentiation with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015020.png" />. Note that the Einstein [[summation convention]] on repeated upper and lower indices is used throughout. Using (a2), equation (a1) can be re-expressed as
+
where the semi-colon indicates partial differentiation with respect to $\dot { x } \square ^ { r }$. Note that the Einstein [[summation convention]] on repeated upper and lower indices is used throughout. Using (a2), equation (a1) can be re-expressed as
  
<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/e/e120/e120150/e12015021.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a3)</td></tr></table>
+
\begin{equation} \tag{a3} \frac { \mathcal{D} \dot { x } ^ { i } } { d t } = \varepsilon ^ { i } = \frac { 1 } { 2 } g ^ { i } ; r \dot { x } \square ^ { r } - g ^ { i }. \end{equation}
  
The quantity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015022.png" /> is a contravariant vector field on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015023.png" /> and constitutes the first KCC-invariant of (a1). It represents an  "external force" .
+
The quantity $\varepsilon ^ { i }$ is a contravariant vector field on $\Omega$ and constitutes the first KCC-invariant of (a1). It represents an  "external force" .
  
If the trajectories <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015024.png" /> of (a1) are varied into nearby ones according to
+
If the trajectories $x ^ { i } ( t )$ of (a1) are varied into nearby ones according to
  
<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/e/e120/e120150/e12015025.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a4)</td></tr></table>
+
\begin{equation} \tag{a4} \bar{x} \square ^ { i } ( t ) = x ^ { i } ( t ) + \xi ^ { i } ( t ) \eta, \end{equation}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015026.png" /> denotes a constant with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015027.png" /> small and the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015028.png" /> are the components of some contravariant vector defined along <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015029.png" />, substitution of (a4) into (a1) and taking the limit as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015030.png" /> results in the variational equations
+
where $ \eta $ denotes a constant with $| \eta |$ small and the $\xi ^ { i } ( t )$ are the components of some contravariant vector defined along $x ^ { i } = x ^ { i } ( t )$, substitution of (a4) into (a1) and taking the limit as $\eta \rightarrow 0$ results in the variational equations
  
<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/e/e120/e120150/e12015031.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a5)</td></tr></table>
+
\begin{equation} \tag{a5} \frac { d ^ { 2 } \xi ^ { i } } { d t ^ { 2 } } + g _ { ; r } ^ { i } \frac { d \xi ^ { r } } { d t } + g _ {, r } ^ { i } \xi ^ { r } = 0, \end{equation}
  
where the comma indicates partial differentiation with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015032.png" />. Using the KCC-covariant differential (a2), this can be re-expressed as
+
where the comma indicates partial differentiation with respect to $x ^ { r }$. Using the KCC-covariant differential (a2), this can be re-expressed as
  
<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/e/e120/e120150/e12015033.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a6)</td></tr></table>
+
\begin{equation} \tag{a6} \frac { \mathcal{D} ^ { 2 } \xi ^ { i } } { d t ^ { 2 } } = \mathcal{P} _ { r } ^ { i } \xi ^ { r }, \end{equation}
  
 
where
 
where
  
<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/e/e120/e120150/e12015034.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a7)</td></tr></table>
+
\begin{equation} \tag{a7} \mathcal{P} _ { j } ^ { i } = \end{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/e/e120/e120150/e12015035.png" /></td> </tr></table>
+
<table class="eq" style="width:100%;"> <tr><td style="width:94%;text-align:center;" valign="top"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015035.png"/></td> </tr></table>
  
The tensor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015036.png" /> is the second KCC-invariant of (a1). The third, fourth and fifth invariants are:
+
The tensor $\mathcal{P} _ { j } ^ { i }$ is the second KCC-invariant of (a1). The third, fourth and fifth invariants are:
  
<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/e/e120/e120150/e12015037.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a8)</td></tr></table>
+
<table class="eq" style="width:100%;"> <tr><td style="width:94%;text-align:center;" valign="top"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015037.png"/></td> <td style="width:5%;text-align:right;" valign="top">(a8)</td></tr></table>
  
The main result of KCC-theory is the following assertion: Two systems of the form (a1) on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015038.png" /> are equivalent relative to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015039.png" /> if and only if the five KCC-invariant tensors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015040.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015041.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015042.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015043.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015044.png" /> are equivalent. In particular, there exist coordinates <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015045.png" /> for which the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015046.png" /> all vanish if and only if all KCC-invariants are zero.
+
The main result of KCC-theory is the following assertion: Two systems of the form (a1) on $\Omega$ are equivalent relative to $( \text{A} )$ if and only if the five KCC-invariant tensors $\varepsilon ^ { i }$, $\mathcal{P} _ { j } ^ { i }$, $\mathcal{R} _ { j k } ^ { i }$, $\mathcal{B} _ { j k \text{l}} ^ { i }$, and $\mathcal{D} _ { j k \text{l} } ^ { i }$ are equivalent. In particular, there exist coordinates $( \bar{x} )$ for which the $g ^ { i } ( \bar{x} , \dot { \bar{x} } , t )$ all vanish if and only if all KCC-invariants are zero.
  
 
===Remarks.===
 
===Remarks.===
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015047.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015048.png" /> are positively homogeneous of degree two in the variable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015049.png" />. In this case, the structure of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015050.png" /> must accommodate possible non-differentiability in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015051.png" />. This happens in Finsler geometry, but not in affine and Riemannian geometries, where (a1) are geodesics or autoparallels of a [[Linear connection|linear connection]] whose coefficients are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015052.png" />. The latter are known as the coefficients of the [[Berwald connection|Berwald connection]] in Finsler geometry, and of the [[Levi-Civita connection|Levi-Civita connection]] for Riemannian theory [[#References|[a3]]], [[#References|[a9]]], [[#References|[a10]]]. Furthermore, in the Finsler case, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015053.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015054.png" /> are the Berwald torsion and curvature tensors. Also, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015055.png" /> is the Douglas tensor, whose vanishing is necessary and sufficient for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015056.png" /> to be quadratic in the variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015057.png" />. The latter is always zero in Riemannian and affine geometries, and also for Berwald spaces in Finsler theory [[#References|[a6]]], [[#References|[a3]]].
+
$\varepsilon ^ { i } = 0$ if and only if $g ^ { i } ( x , \dot { x } , t )$ are positively homogeneous of degree two in the variable $\dot { x } ^ { i }$. In this case, the structure of $\Omega$ must accommodate possible non-differentiability in $\dot { x } \square ^ { i }$. This happens in Finsler geometry, but not in affine and Riemannian geometries, where (a1) are geodesics or autoparallels of a [[Linear connection|linear connection]] whose coefficients are $g ^ { i }_{ ; j ; k } / 2$. The latter are known as the coefficients of the [[Berwald connection|Berwald connection]] in Finsler geometry, and of the [[Levi-Civita connection|Levi-Civita connection]] for Riemannian theory [[#References|[a3]]], [[#References|[a9]]], [[#References|[a10]]]. Furthermore, in the Finsler case, $\mathcal{R} _ { j k } ^ { i }$, $\mathcal{B} _ { j k \text{l}} ^ { i }$ are the Berwald torsion and curvature tensors. Also, $\mathcal{D} _ { j k \text{l} } ^ { i }$ is the Douglas tensor, whose vanishing is necessary and sufficient for all $g ^ { i }$ to be quadratic in the variables $\dot { x } \square ^ { i }$. The latter is always zero in Riemannian and affine geometries, and also for Berwald spaces in Finsler theory [[#References|[a6]]], [[#References|[a3]]].
  
 
Finally, the KCC-invariants can be readily computed in each of the two following cases:
 
Finally, the KCC-invariants can be readily computed in each of the two following cases:
Line 56: Line 64:
 
1)
 
1)
  
<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/e/e120/e120150/e12015058.png" /></td> </tr></table>
+
\begin{equation*} \ddot { x } + p \dot { x } + q x = 0, \end{equation*}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015059.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015060.png" /> are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015061.png" /> functions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015062.png" /> only. In this case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015063.png" /> and
+
where $p$, $q$ are $C ^ { \infty }$ functions of $t$ only. In this case $\varepsilon \neq 0$ and
  
<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/e/e120/e120150/e12015064.png" /></td> </tr></table>
+
\begin{equation*} {\cal P} _ { 1 } ^ { 1 } = \frac { 1 } { 4 } p ^ { 2 } + \frac { 1 } { 2 } \dot { p } - q = I. \end{equation*}
  
The trajectories of this equation are Lyapunov stable if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015065.png" />, and unstable if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015066.png" />;
+
The trajectories of this equation are Lyapunov stable if $I &lt; 0$, and unstable if $I \geq 0$;
  
 
2)
 
2)
  
<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/e/e120/e120150/e12015067.png" /></td> </tr></table>
+
\begin{equation*} \frac { d ^ { 2 x ^ { i } } } { d t ^ { 2 } } + \gamma ^ { i_{ j k} } ( x ) \frac { d x ^ { j } } { d t } \frac { d x ^ { k } } { d t } = \lambda _ { ( i ) } \frac { d x ^ { i } } { d t }, \end{equation*}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015068.png" /> are the coefficients of the Levi-Civita connection of a two-dimensional Riemannian metric, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015069.png" /> are fixed constants and where the bracket on the right-hand side indicates no summation, [[#References|[a3]]]. The KCC-invariants in the case where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015070.png" /> are close to Riemannian, but <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e120/e120150/e12015071.png" /> has a significant effect on [[Lyapunov stability|Lyapunov stability]].
+
where $\gamma _ { j k } ^ { i }$ are the coefficients of the Levi-Civita connection of a two-dimensional Riemannian metric, $\lambda _ { i }$ are fixed constants and where the bracket on the right-hand side indicates no summation, [[#References|[a3]]]. The KCC-invariants in the case where $\lambda _ { 1 } = \lambda _ { 2 }$ are close to Riemannian, but $\lambda _ { 1 } \neq \lambda _ { 2 }$ has a significant effect on [[Lyapunov stability|Lyapunov stability]].
  
 
Further applications of KCC-theory can be found in [[#References|[a2]]], [[#References|[a1]]]. The equivalence problem can be found in a more general context in [[#References|[a7]]], [[#References|[a11]]].
 
Further applications of KCC-theory can be found in [[#References|[a2]]], [[#References|[a1]]]. The equivalence problem can be found in a more general context in [[#References|[a7]]], [[#References|[a11]]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  P.L. Antonelli,  P. Auger,  "Aggregation and emergence in population dynamics"  ''Math. Compt. Mod.'' , '''27''' :  4  (1998)  (Edited volume)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  P.L. Antonelli,  R.H. Bradbury,  "Volterra–Hamilton models in the ecology and evolution of colonial organisms" , World Sci.  (1996)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  P.L. Antonelli,  R.S. Ingarden,  M. Matsumoto,  "The theory of sprays and finsler spaces with applications in physics and biology" , Kluwer Acad. Publ.  (1993)  pp. 350</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  E. Cartan,  "Observations sur le mémoire précédent"  ''Math. Z.'' , '''37'''  (1933)  pp. 619–622</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  S. Chern,  "Sur la géométrie d'un système d'équations differentielles du second ordre"  ''Bull. Sci. Math. II'' , '''63'''  (1939)  pp. 206–212  (Also: Selected Papers, Vol. II, Springer 1989, 52–57)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  J. Douglas,  "The general geometry of paths"  ''Ann. of Math.'' , '''29'''  (1928)  pp. 143–169</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  R.B. Gardner,  "The method of equivalence and its application" , ''CBMS'' , '''58''' , SIAM (Soc. Industrial Applied Math.)  (1989)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  D. Kosambi,  "Parallelism and path-spaces"  ''Math. Z.'' , '''37'''  (1933)  pp. 608–618</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  E. Kreyszig,  "Introduction to differential and Riemannian geometry" , Univ. Toronto Press  (1968)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  D. Laugwitz,  "Differential and Riemannian geometry" , Acad. Press  (1965)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  P.J. Olver,  "Equivalence, invariants, and symmetry" , Cambridge Univ. Press  (1995)</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  D. Kosambi,  "Systems of differential equations of second order"  ''Quart. J. Math. Oxford'' , '''6'''  (1935)  pp. 1–12</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  P.L. Antonelli,  P. Auger,  "Aggregation and emergence in population dynamics"  ''Math. Compt. Mod.'' , '''27''' :  4  (1998)  (Edited volume)</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  P.L. Antonelli,  R.H. Bradbury,  "Volterra–Hamilton models in the ecology and evolution of colonial organisms" , World Sci.  (1996)</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  P.L. Antonelli,  R.S. Ingarden,  M. Matsumoto,  "The theory of sprays and finsler spaces with applications in physics and biology" , Kluwer Acad. Publ.  (1993)  pp. 350</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  E. Cartan,  "Observations sur le mémoire précédent"  ''Math. Z.'' , '''37'''  (1933)  pp. 619–622</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  S. Chern,  "Sur la géométrie d'un système d'équations differentielles du second ordre"  ''Bull. Sci. Math. II'' , '''63'''  (1939)  pp. 206–212  (Also: Selected Papers, Vol. II, Springer 1989, 52–57)</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  J. Douglas,  "The general geometry of paths"  ''Ann. of Math.'' , '''29'''  (1928)  pp. 143–169</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  R.B. Gardner,  "The method of equivalence and its application" , ''CBMS'' , '''58''' , SIAM (Soc. Industrial Applied Math.)  (1989)</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  D. Kosambi,  "Parallelism and path-spaces"  ''Math. Z.'' , '''37'''  (1933)  pp. 608–618</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  E. Kreyszig,  "Introduction to differential and Riemannian geometry" , Univ. Toronto Press  (1968)</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  D. Laugwitz,  "Differential and Riemannian geometry" , Acad. Press  (1965)</td></tr><tr><td valign="top">[a11]</td> <td valign="top">  P.J. Olver,  "Equivalence, invariants, and symmetry" , Cambridge Univ. Press  (1995)</td></tr><tr><td valign="top">[a12]</td> <td valign="top">  D. Kosambi,  "Systems of differential equations of second order"  ''Quart. J. Math. Oxford'' , '''6'''  (1935)  pp. 1–12</td></tr></table>

Revision as of 17:01, 1 July 2020

Let $( x ^ { 1 } , \ldots , x ^ { n } ) = ( x )$, $( d x ^ { 1 } / d t , \ldots , d x ^ { n } / d t ) = ( d x / d t ) = ( \dot { x } )$, and $t$ be $2 n + 1$ coordinates in an open connected subset $\Omega$ of the Euclidean $( 2 n + 1 )$-dimensional space $\mathbf{R} ^ { n } \times \mathbf{R} ^ { n } \times \mathbf{R} ^ { 1 }$. Suppose that there is given a second-order system

\begin{equation} \tag{a1} \frac { d ^ { 2 } x ^ { i } } { d t ^ { 2 } } + g ^ { i } ( x , \dot { x } , t ) = 0 , \quad i = 1 , \dots , n, \end{equation}

for which each $g ^ { i }$ is $C ^ { \infty }$ in a neighbourhood of initial conditions $( ( x )_{ 0} , ( \dot { x } ) _ { 0 } , t _ { 0 } ) \in \Omega$.

Following D. Kosambi [a8], one wishes to solve the problem of finding the intrinsic geometric properties (i.e., the basic differential invariants) of (a1) under non-singular coordinate transformations of the type

\begin{equation*} \text{(A)} \left\{ \begin{array} { l } { \overline{x} \square ^ { i } = f ^ { i } ( x ^ { 1 } , \ldots , x ^ { n } ) , \quad i = 1 , \ldots , n, } \\ { \overline { t } = t .} \end{array} \right. \end{equation*}

A similar problem was solved by E. Cartan and S.S. Chern [a4], [a5], but in the real-analytic case with transformations $( \text{A} )$ replaced by

\begin{equation*} (\text{B}) \left\{ \begin{array} { l } { \overline{x} \square ^ { i } = f ^ { i } ( x ^ { 1 } , \ldots , x ^ { n } , t ) , \quad i = 1 , \ldots , n, } \\ { \overline { t } = t. } \end{array} \right. \end{equation*}

Below, only $( \text{A} )$ is considered; see the references for $( \operatorname {B} )$.

Define the KCC-covariant differential of a contravariant vector field $\xi ^ { i } ( x )$ on $\Omega$ by

\begin{equation} \tag{a2} \frac { \mathcal{D} \xi ^ { i } } { d t } = \frac { d \xi ^ { i } } { d t } + \frac { 1 } { 2 } g ^ { i } ;r \xi ^ { r }, \end{equation}

where the semi-colon indicates partial differentiation with respect to $\dot { x } \square ^ { r }$. Note that the Einstein summation convention on repeated upper and lower indices is used throughout. Using (a2), equation (a1) can be re-expressed as

\begin{equation} \tag{a3} \frac { \mathcal{D} \dot { x } ^ { i } } { d t } = \varepsilon ^ { i } = \frac { 1 } { 2 } g ^ { i } ; r \dot { x } \square ^ { r } - g ^ { i }. \end{equation}

The quantity $\varepsilon ^ { i }$ is a contravariant vector field on $\Omega$ and constitutes the first KCC-invariant of (a1). It represents an "external force" .

If the trajectories $x ^ { i } ( t )$ of (a1) are varied into nearby ones according to

\begin{equation} \tag{a4} \bar{x} \square ^ { i } ( t ) = x ^ { i } ( t ) + \xi ^ { i } ( t ) \eta, \end{equation}

where $ \eta $ denotes a constant with $| \eta |$ small and the $\xi ^ { i } ( t )$ are the components of some contravariant vector defined along $x ^ { i } = x ^ { i } ( t )$, substitution of (a4) into (a1) and taking the limit as $\eta \rightarrow 0$ results in the variational equations

\begin{equation} \tag{a5} \frac { d ^ { 2 } \xi ^ { i } } { d t ^ { 2 } } + g _ { ; r } ^ { i } \frac { d \xi ^ { r } } { d t } + g _ {, r } ^ { i } \xi ^ { r } = 0, \end{equation}

where the comma indicates partial differentiation with respect to $x ^ { r }$. Using the KCC-covariant differential (a2), this can be re-expressed as

\begin{equation} \tag{a6} \frac { \mathcal{D} ^ { 2 } \xi ^ { i } } { d t ^ { 2 } } = \mathcal{P} _ { r } ^ { i } \xi ^ { r }, \end{equation}

where

\begin{equation} \tag{a7} \mathcal{P} _ { j } ^ { i } = \end{equation}

The tensor $\mathcal{P} _ { j } ^ { i }$ is the second KCC-invariant of (a1). The third, fourth and fifth invariants are:

(a8)

The main result of KCC-theory is the following assertion: Two systems of the form (a1) on $\Omega$ are equivalent relative to $( \text{A} )$ if and only if the five KCC-invariant tensors $\varepsilon ^ { i }$, $\mathcal{P} _ { j } ^ { i }$, $\mathcal{R} _ { j k } ^ { i }$, $\mathcal{B} _ { j k \text{l}} ^ { i }$, and $\mathcal{D} _ { j k \text{l} } ^ { i }$ are equivalent. In particular, there exist coordinates $( \bar{x} )$ for which the $g ^ { i } ( \bar{x} , \dot { \bar{x} } , t )$ all vanish if and only if all KCC-invariants are zero.

Remarks.

$\varepsilon ^ { i } = 0$ if and only if $g ^ { i } ( x , \dot { x } , t )$ are positively homogeneous of degree two in the variable $\dot { x } ^ { i }$. In this case, the structure of $\Omega$ must accommodate possible non-differentiability in $\dot { x } \square ^ { i }$. This happens in Finsler geometry, but not in affine and Riemannian geometries, where (a1) are geodesics or autoparallels of a linear connection whose coefficients are $g ^ { i }_{ ; j ; k } / 2$. The latter are known as the coefficients of the Berwald connection in Finsler geometry, and of the Levi-Civita connection for Riemannian theory [a3], [a9], [a10]. Furthermore, in the Finsler case, $\mathcal{R} _ { j k } ^ { i }$, $\mathcal{B} _ { j k \text{l}} ^ { i }$ are the Berwald torsion and curvature tensors. Also, $\mathcal{D} _ { j k \text{l} } ^ { i }$ is the Douglas tensor, whose vanishing is necessary and sufficient for all $g ^ { i }$ to be quadratic in the variables $\dot { x } \square ^ { i }$. The latter is always zero in Riemannian and affine geometries, and also for Berwald spaces in Finsler theory [a6], [a3].

Finally, the KCC-invariants can be readily computed in each of the two following cases:

1)

\begin{equation*} \ddot { x } + p \dot { x } + q x = 0, \end{equation*}

where $p$, $q$ are $C ^ { \infty }$ functions of $t$ only. In this case $\varepsilon \neq 0$ and

\begin{equation*} {\cal P} _ { 1 } ^ { 1 } = \frac { 1 } { 4 } p ^ { 2 } + \frac { 1 } { 2 } \dot { p } - q = I. \end{equation*}

The trajectories of this equation are Lyapunov stable if $I < 0$, and unstable if $I \geq 0$;

2)

\begin{equation*} \frac { d ^ { 2 x ^ { i } } } { d t ^ { 2 } } + \gamma ^ { i_{ j k} } ( x ) \frac { d x ^ { j } } { d t } \frac { d x ^ { k } } { d t } = \lambda _ { ( i ) } \frac { d x ^ { i } } { d t }, \end{equation*}

where $\gamma _ { j k } ^ { i }$ are the coefficients of the Levi-Civita connection of a two-dimensional Riemannian metric, $\lambda _ { i }$ are fixed constants and where the bracket on the right-hand side indicates no summation, [a3]. The KCC-invariants in the case where $\lambda _ { 1 } = \lambda _ { 2 }$ are close to Riemannian, but $\lambda _ { 1 } \neq \lambda _ { 2 }$ has a significant effect on Lyapunov stability.

Further applications of KCC-theory can be found in [a2], [a1]. The equivalence problem can be found in a more general context in [a7], [a11].

References

[a1] P.L. Antonelli, P. Auger, "Aggregation and emergence in population dynamics" Math. Compt. Mod. , 27 : 4 (1998) (Edited volume)
[a2] P.L. Antonelli, R.H. Bradbury, "Volterra–Hamilton models in the ecology and evolution of colonial organisms" , World Sci. (1996)
[a3] P.L. Antonelli, R.S. Ingarden, M. Matsumoto, "The theory of sprays and finsler spaces with applications in physics and biology" , Kluwer Acad. Publ. (1993) pp. 350
[a4] E. Cartan, "Observations sur le mémoire précédent" Math. Z. , 37 (1933) pp. 619–622
[a5] S. Chern, "Sur la géométrie d'un système d'équations differentielles du second ordre" Bull. Sci. Math. II , 63 (1939) pp. 206–212 (Also: Selected Papers, Vol. II, Springer 1989, 52–57)
[a6] J. Douglas, "The general geometry of paths" Ann. of Math. , 29 (1928) pp. 143–169
[a7] R.B. Gardner, "The method of equivalence and its application" , CBMS , 58 , SIAM (Soc. Industrial Applied Math.) (1989)
[a8] D. Kosambi, "Parallelism and path-spaces" Math. Z. , 37 (1933) pp. 608–618
[a9] E. Kreyszig, "Introduction to differential and Riemannian geometry" , Univ. Toronto Press (1968)
[a10] D. Laugwitz, "Differential and Riemannian geometry" , Acad. Press (1965)
[a11] P.J. Olver, "Equivalence, invariants, and symmetry" , Cambridge Univ. Press (1995)
[a12] D. Kosambi, "Systems of differential equations of second order" Quart. J. Math. Oxford , 6 (1935) pp. 1–12
How to Cite This Entry:
Equivalence problem for systems of second-order ordinary differential equations. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Equivalence_problem_for_systems_of_second-order_ordinary_differential_equations&oldid=37608
This article was adapted from an original article by P.L. Antonelli (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article