Namespaces
Variants
Actions

Difference between revisions of "User:Maximilian Janisch/latexlist/Ablowitz–Kaup–Newell–Segur hierarchy"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Undo revision 49856 by Maximilian Janisch (talk))
Tag: Undo
(AUTOMATIC EDIT (latexlist): Replaced 103 formulas out of 103 by TEX code with an average confidence of 0.6629767474517604 and a minimal confidence of 0.095.)
Line 1: Line 1:
<div class="Vorlage_Achtung" style="border: 0.18em solid #FF6666; border-left:1em solid #FF6666; margin:0.5em 0em; overflow:hidden; padding:0.5em; text-align: left;">
+
{{TEX|done}}<div class="Vorlage_Achtung" style="border: 0.18em solid #FF6666; border-left:1em solid #FF6666; margin:0.5em 0em; overflow:hidden; padding:0.5em; text-align: left;">
 
This page is a copy of the article [[AKNS-hierarchy]] in order to test [[User:Maximilian_Janisch/latexlist|automatic LaTeXification]]. This article is not my work.
 
This page is a copy of the article [[AKNS-hierarchy]] in order to test [[User:Maximilian_Janisch/latexlist|automatic LaTeXification]]. This article is not my work.
 
</div>
 
</div>
Line 6: Line 6:
 
An infinite tower of non-linear evolution equations that derives its name from the simplest non-trivial system of equations contained in it, the AKNS-equations
 
An infinite tower of non-linear evolution equations that derives its name from the simplest non-trivial system of equations contained in it, the AKNS-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/a/a130/a130130/a1301301.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table>
+
\begin{equation} \tag{a1} \left. \begin{array} { l } { i \frac { \partial } { \partial t } q ( x , t ) = i q t = - \frac { 1 } { 2 } q x x + q ^ { 2 } r } \\ { i \frac { \partial } { \partial t } r ( x , t ) = i r t = \frac { 1 } { 2 } r x - q r ^ { 2 } } \end{array} \right. \end{equation}
  
 
It were M.J. Ablowitz, D.J. Kaup, A.C. Newell, and H. Segur who showed that the initial value problem of this system of equations (cf. also [[Differential equation, partial, discontinuous initial (boundary) conditions|Differential equation, partial, discontinuous initial (boundary) conditions]]) could be solved with the inverse scattering transform (cf. also [[Korteweg–de Vries equation|Korteweg–de Vries equation]]). To get a natural embedding of the AKNS-equations in a larger system, one rewrites (a1) in zero-curvature form as
 
It were M.J. Ablowitz, D.J. Kaup, A.C. Newell, and H. Segur who showed that the initial value problem of this system of equations (cf. also [[Differential equation, partial, discontinuous initial (boundary) conditions|Differential equation, partial, discontinuous initial (boundary) conditions]]) could be solved with the inverse scattering transform (cf. also [[Korteweg–de Vries equation|Korteweg–de Vries equation]]). To get a natural embedding of the AKNS-equations in a larger system, one rewrites (a1) in zero-curvature form 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/a/a130/a130130/a1301302.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a2)</td></tr></table>
+
\begin{equation} \tag{a2} \frac { \partial } { \partial t } P _ { 1 } - \frac { \partial } { \partial x } Q _ { 2 } + [ P _ { 1 } , Q _ { 2 } ] = 0 \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/a/a130/a130130/a1301303.png" /></td> </tr></table>
+
\begin{equation*} P _ { 1 } = \left( \begin{array} { c c c } { 0 } &amp; { \square } &amp; { q } \\ { r } &amp; { \square } &amp; { 0 } \end{array} \right) , Q _ { 2 } = \left( \begin{array} { c c } { - \frac { i } { 2 } q r } &amp; { \frac { i } { 2 } q x } \\ { - \frac { i } { 2 } r _ { x } } &amp; { \frac { i } { 2 } q r } \end{array} \right) \end{equation*}
  
Consider now the following polynomial expressions in the parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a1301304.png" />:
+
Consider now the following polynomial expressions in the parameter $8$:
  
<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/a/a130/a130130/a1301305.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a3)</td></tr></table>
+
\begin{equation} \tag{a3} P = P _ { 0 } z + P _ { 1 } : = \left( \begin{array} { c c } { - i } &amp; { 0 } \\ { 0 } &amp; { i } \end{array} \right) z + \left( \begin{array} { l l } { 0 } &amp; { q } \\ { r } &amp; { 0 } \end{array} \right) \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/a/a130/a130130/a1301306.png" /></td> </tr></table>
+
\begin{equation*} Q ^ { ( n ) } : = Q _ { 0 } z ^ { n } + Q _ { 1 } z ^ { n - 1 } \ldots Q _ { n } \end{equation*}
  
where the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a1301307.png" /> are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a1301308.png" />-valued functions depending on the variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a1301309.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013010.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013011.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013012.png" />. For these data the zero-curvature equations read
+
where the $Q$ are $s l _ { 2 }$-valued functions depending on the variables $\pi$, $t = ( t _ { x } )$, and $Q _ { 0 } = P _ { 0 }$ and $Q _ { 1 } = P _ { 1 }$. For these data the zero-curvature equations read
  
<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/a/a130/a130130/a13013013.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a4)</td></tr></table>
+
\begin{equation} \tag{a4} \frac { \partial } { \partial t _ { m } } P - \frac { \partial } { \partial x } Q ^ { ( m ) } + [ P , Q ^ { ( r ) } ] = 0 \Leftrightarrow \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/a/a130/a130130/a13013014.png" /></td> </tr></table>
+
\begin{equation*} \Leftrightarrow [ \frac { \partial } { \partial x } - P , \frac { \partial } { \partial t _ { n } } - Q ^ { ( n ) } ] = 0 \end{equation*}
  
which is an infinite tower of equations extending the system (a1). The system (a4) generalizes from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013015.png" /> to a general simple complex [[Lie algebra|Lie algebra]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013016.png" />, a [[Regular element|regular element]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013017.png" /> in a [[Cartan subalgebra|Cartan subalgebra]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013018.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013019.png" /> and an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013020.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013021.png" />, see [[#References|[a4]]] and [[#References|[a10]]]. Solutions of the equations (a4) can be obtained by the Zakharov–Shabat dressing method (cf. also [[Soliton|Soliton]]). Namely, consider the function
+
which is an infinite tower of equations extending the system (a1). The system (a4) generalizes from $SL _ { 2 } ( C )$ to a general simple complex [[Lie algebra|Lie algebra]] $8$, a [[Regular element|regular element]] $P$ in a [[Cartan subalgebra|Cartan subalgebra]] $h$ of $8$ and an element $0.00$ in $h$, see [[#References|[a4]]] and [[#References|[a10]]]. Solutions of the equations (a4) can be obtained by the Zakharov–Shabat dressing method (cf. also [[Soliton|Soliton]]). Namely, consider the function
  
<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/a/a130/a130130/a13013022.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a5)</td></tr></table>
+
\begin{equation} \tag{a5} \phi ( x , t , z ) = \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/a/a130/a130130/a13013023.png" /></td> </tr></table>
+
\begin{equation*} = \operatorname { exp } ( x P _ { 0 } z + \sum _ { r = 1 } ^ { \infty } Q _ { 0 } z ^ { r } ) g ( z ) . . \operatorname { exp } ( - x P _ { 0 } z - \sum _ { r = 1 } ^ { \infty } Q _ { 0 } z ^ { \gamma } ) \end{equation*}
  
with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013024.png" /> belonging to the loop group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013025.png" />. If this <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013026.png" /> factorizes as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013027.png" />, with
+
with $g ( z )$ belonging to the loop group $C ^ { \infty } ( s ^ { 1 } , SL _ { 2 } ( C ) )$. If this $( 1 )$ factorizes as $\phi = \phi _ { - } \phi _ { + }$, with
  
<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/a/a130/a130130/a13013028.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a6)</td></tr></table>
+
\begin{equation} \tag{a6} \phi _ { - } ( x , t , z ) = \operatorname { exp } ( \sum _ { i = 1 } ^ { \infty } \chi _ { i } ( x , t ) z ^ { - 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/a/a130/a130130/a13013029.png" /></td> </tr></table>
+
\begin{equation*} \phi _ { + } = \operatorname { exp } ( \sum _ { j = 1 } ^ { \infty } \phi _ { j } ( x , t ) z ^ { j } ) \end{equation*}
  
then conjugating the trivial connections (cf. also [[Connections on a manifold|Connections on a manifold]]) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013030.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013031.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013032.png" /> gives connections of the required form:
+
then conjugating the trivial connections (cf. also [[Connections on a manifold|Connections on a manifold]]) $( \partial / \partial x ) - P _ { 0 } z$ and $( \partial / \partial t _ { x } ) - Q _ { 0 } z ^ { x }$ with $\phi$ gives connections of the required form:
  
<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/a/a130/a130130/a13013033.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a7)</td></tr></table>
+
\begin{equation} \tag{a7} \phi - ^ { 1 } ( \frac { \partial } { \partial x } - P _ { 0 z } ) \phi _ { - } = \frac { \partial } { \partial x } - P \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/a/a130/a130130/a13013034.png" /></td> </tr></table>
+
\begin{equation*} \phi _ { - } ^ { - 1 } \frac { \partial } { \partial t _ { \mu } } - Q _ { 0 } z ^ { \mu } \phi _ { - } = \frac { \partial } { \partial t _ { \mu } } - Q ^ { ( n ) } \end{equation*}
  
Since flatness is preserved by this procedure, this leads to solutions of (a4). If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013035.png" />, as in the AKNS-case, one can take just as well <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013036.png" />.
+
Since flatness is preserved by this procedure, this leads to solutions of (a4). If $Q _ { 0 } = P _ { 0 }$, as in the AKNS-case, one can take just as well $\partial / \partial x = \partial / \partial t _ { 1 }$.
  
It was observed by H. Flaschka, Newell and T. Ratiu [[#References|[a5]]] that the equations (a4) for the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013037.png" />-case could be captured in the system
+
It was observed by H. Flaschka, Newell and T. Ratiu [[#References|[a5]]] that the equations (a4) for the $SL _ { 2 } ( C )$-case could be captured in the system
  
<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/a/a130/a130130/a13013038.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a8)</td></tr></table>
+
\begin{equation} \tag{a8} \frac { \partial } { \partial t _ { n } } Q = [ Q ^ { ( n ) } , Q ] , n \geq 1 \end{equation}
  
 
for the single series
 
for the single series
  
<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/a/a130/a130130/a13013039.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a9)</td></tr></table>
+
\begin{equation} \tag{a9} Q = \sum _ { j = 0 } ^ { \infty } Q _ { j } z ^ { - j } , Q _ { j } = \left( \begin{array} { c c } { h _ { j } } &amp; { e _ { j } } \\ { f _ { j } } &amp; { - h _ { j } } \end{array} \right) \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/a/a130/a130130/a13013040.png" /></td> </tr></table>
+
\begin{equation*} Q ^ { ( n ) } = \sum _ { j = 0 } ^ { n } Q _ { j } z ^ { n - j } \end{equation*}
  
They showed that these equations are commuting Hamiltonian flows (cf. also [[Hamiltonian system|Hamiltonian system]]) on the Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013041.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013042.png" />, with respect to natural [[Poisson brackets|Poisson brackets]]. Further, they introduced the flux tensor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013043.png" /> by
+
They showed that these equations are commuting Hamiltonian flows (cf. also [[Hamiltonian system|Hamiltonian system]]) on the Lie algebra $\sum _ { i = 0 } ^ { \infty } X _ { i } z ^ { - i }$, $X _ { i } \in \operatorname { sl } _ { 2 } ( C )$, with respect to natural [[Poisson brackets|Poisson brackets]]. Further, they introduced the flux tensor $F _ { j k }$ 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/a/a130/a130130/a13013044.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a10)</td></tr></table>
+
\begin{equation} \tag{a10} F _ { j k } = \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/a/a130/a130130/a13013045.png" /></td> </tr></table>
+
\begin{equation*} = \frac { 1 } { 2 } \operatorname { Tr } ( \sum _ { r = 0 } ^ { j } ( j - r ) Q _ { r } Q _ { k + j - r } + \frac { 1 } { 2 } \sum _ { r = 0 } ^ { j } ( r - k ) Q _ { r } Q _ { k + j - r } ) \end{equation*}
  
 
and proved the local conservation laws of the system, namely
 
and proved the local conservation laws of the system, namely
  
<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/a/a130/a130130/a13013046.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a11)</td></tr></table>
+
\begin{equation} \tag{a11} \frac { \partial } { \partial t _ { k } } F _ { i j } = \frac { \partial } { \partial t _ { i } } F _ { j k } \end{equation}
  
The left-hand side of (a11) is, in fact, even symmetric under permutations of the indices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013047.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013048.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013049.png" /> and this property made them introduce a potential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013050.png" /> by
+
The left-hand side of (a11) is, in fact, even symmetric under permutations of the indices $i$, $i$, $k$ and this property made them introduce a potential $\pi$ 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/a/a130/a130130/a13013051.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a12)</td></tr></table>
+
\begin{equation} \tag{a12} F _ { j k } = \frac { \partial } { \partial t _ { j } } \frac { \partial } { \partial t _ { k } } \operatorname { log } ( \tau ) \end{equation}
  
 
The equations (a8) are called the Lax equations of the AKNS-hierarchy. As such, the AKNS-hierarchy is a natural reduction of the two-component KP-hierarchy (cf. also [[KP-equation|KP-equation]]; [[#References|[a7]]]), a fact that enables a description in the Grassmannian of that hierarchy.
 
The equations (a8) are called the Lax equations of the AKNS-hierarchy. As such, the AKNS-hierarchy is a natural reduction of the two-component KP-hierarchy (cf. also [[KP-equation|KP-equation]]; [[#References|[a7]]]), a fact that enables a description in the Grassmannian of that hierarchy.
Line 76: Line 76:
 
It was shown by M.J. Bergvelt and A.P.E. ten Kroode [[#References|[a1]]] that it is natural to consider a system of zero-curvature relations (a4) labelled by the root lattice of the Lie algebra, where the operators at different sites of the lattice are linked by Toda-type differential-difference equations. For example, for nearest neighbour sites there holds
 
It was shown by M.J. Bergvelt and A.P.E. ten Kroode [[#References|[a1]]] that it is natural to consider a system of zero-curvature relations (a4) labelled by the root lattice of the Lie algebra, where the operators at different sites of the lattice are linked by Toda-type differential-difference equations. For example, for nearest neighbour sites there holds
  
<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/a/a130/a130130/a13013052.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a13)</td></tr></table>
+
\begin{equation} \tag{a13} q ^ { ( l + 1 ) } = - ( q ^ { ( l ) } ) ^ { 2 } r ^ { ( l ) } + q ^ { ( l ) } \operatorname { log } ( q ^ { ( l ) } ) , r ^ { ( l + 1 ) } = \frac { 1 } { q ^ { ( l ) } } \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/a/a130/a130130/a13013053.png" /></td> </tr></table>
+
\begin{equation*} P ^ { ( l ) } = \left( \begin{array} { c c } { - i } &amp; { 0 } \\ { 0 } &amp; { i } \end{array} \right) z + \left( \begin{array} { c c } { 0 } &amp; { q ^ { ( l ) } } \\ { r ^ { ( l ) } } &amp; { 0 } \end{array} \right) \end{equation*}
  
This phenomenon is due to the fact that there is a natural lattice group that commutes with the commuting flows corresponding to the parameters <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013054.png" />.
+
This phenomenon is due to the fact that there is a natural lattice group that commutes with the commuting flows corresponding to the parameters $t _ { n }$.
  
In the representation-theoretic approach to soliton equations (see [[#References|[a3]]], [[#References|[a8]]]), the soliton equations occur as the equations describing the group orbit of the highest weight vector. A similar description holds for these combined differential-difference equations. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013055.png" /> be the basic representation of the Kac–Moody Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013056.png" /> (cf. also [[Kac–Moody algebra|Kac–Moody algebra]]). In <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013057.png" /> one takes the homogeneous Heisenberg algebra
+
In the representation-theoretic approach to soliton equations (see [[#References|[a3]]], [[#References|[a8]]]), the soliton equations occur as the equations describing the group orbit of the highest weight vector. A similar description holds for these combined differential-difference equations. Let $L ( \Lambda _ { 0 } )$ be the basic representation of the Kac–Moody Lie algebra $A _ { 1 } ^ { ( 1 ) }$ (cf. also [[Kac–Moody algebra|Kac–Moody algebra]]). In $A _ { 1 } ^ { ( 1 ) }$ one takes the homogeneous Heisenberg algebra
  
<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/a/a130/a130130/a13013058.png" /></td> </tr></table>
+
\begin{equation*} s = \sum _ { i &gt; 0 } C \lambda ^ { i } \left( \begin{array} { c c } { - 1 } &amp; { 0 } \\ { 0 } &amp; { 1 } \end{array} \right) \oplus \sum _ { i &gt; 0 } C \lambda ^ { - i } \left( \begin{array} { c c } { - 1 } &amp; { 0 } \\ { 0 } &amp; { 1 } \end{array} \right) \oplus C _ { i } \end{equation*}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013059.png" /> is the central element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013060.png" /> that is in the kernel of the projection of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013061.png" /> onto the loop algebra of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013062.png" />. The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013063.png" />-module <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013064.png" /> decomposes with respect to the action of the homogeneous Heisenberg algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013065.png" /> as a direct sum of irreducible <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013066.png" />-modules <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013067.png" /> labelled by the root lattice. Thus, one can write each element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013068.png" /> as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013069.png" />. The group orbit of the highest weight vector can then be characterized by a set of so-called Hirota bilinear relations for the components <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013070.png" />. By using the representation theory one constructs a series of elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013071.png" /> in a suitable completion of the Kac–Moody group associated with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013072.png" /> such that the vacuum expectation value of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013073.png" /> is exactly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013074.png" />. The Birkhoff decomposition of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013075.png" /> in that group then enables one to construct solutions of the lattice zero-curvature equations, [[#References|[a2]]]. In particular, the operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013076.png" /> from (a13) obtained in this way can be expressed in the components <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013077.png" /> by
+
where $i$ is the central element of $A _ { 1 } ^ { ( 1 ) }$ that is in the kernel of the projection of $A _ { 1 } ^ { ( 1 ) }$ onto the loop algebra of $SL _ { 2 } ( C )$. The $A _ { 1 } ^ { ( 1 ) }$-module $L ( \Lambda _ { 0 } )$ decomposes with respect to the action of the homogeneous Heisenberg algebra $5$ as a direct sum of irreducible $5$-modules $C [ t ] = C [ t _ { 1 } , t _ { 2 } , \ldots$ labelled by the root lattice. Thus, one can write each element of $L ( \Lambda _ { 0 } )$ as $\tau ( t ) = ( \tau _ { l } ( t ) ) _ { l \in Z }$. The group orbit of the highest weight vector can then be characterized by a set of so-called Hirota bilinear relations for the components $( \tau _ { l } )$. By using the representation theory one constructs a series of elements $( g )$ in a suitable completion of the Kac–Moody group associated with $A _ { 1 } ^ { ( 1 ) }$ such that the vacuum expectation value of $Q$ is exactly $T$. The Birkhoff decomposition of the $( g )$ in that group then enables one to construct solutions of the lattice zero-curvature equations, [[#References|[a2]]]. In particular, the operators $P ^ { ( l ) }$ from (a13) obtained in this way can be expressed in the components $( \tau _ { l } )$ 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/a/a130/a130130/a13013078.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a14)</td></tr></table>
+
\begin{equation} \tag{a14} q ^ { ( l ) } = 2 i \frac { \tau _ { l } + 1 } { \tau _ { l } } , r ^ { ( l ) } = - 2 i \frac { \tau _ { l } - 1 } { \tau _ { l } } \end{equation}
  
 
By using the adjoint action of the Kac–Moody group, Bergvelt and ten Kroode also showed [[#References|[a2]]] that the
 
By using the adjoint action of the Kac–Moody group, Bergvelt and ten Kroode also showed [[#References|[a2]]] that the
  
<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/a/a130/a130130/a13013079.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a15)</td></tr></table>
+
\begin{equation} \tag{a15} F _ { j k } ^ { ( l ) } : = \frac { \partial } { \partial t _ { j } } \frac { \partial } { \partial t _ { k } } \operatorname { log } ( \tau _ { l } ) \end{equation}
  
 
give exactly the flux tensor from (a10), thus furnishing a representation-theoretic basis for the results in [[#References|[a5]]].
 
give exactly the flux tensor from (a10), thus furnishing a representation-theoretic basis for the results in [[#References|[a5]]].
  
A geometric way to look at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013081.png" />-functions, see e.g. [[#References|[a9]]], is to consider a [[Homogeneous space|homogeneous space]] over the relevant loop group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013082.png" />, a holomorphic line [[Bundle|bundle]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013083.png" /> over this space and its pull-back over the corresponding central extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013084.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013085.png" />. If this last line bundle has a global holomorphic section, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013086.png" />-functions measure the failure of equivariance of partial liftings from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013087.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013088.png" /> with respect to this section. With this point of view, one can also arrive at the formulas in (a14) by lifting the discrete group of transformations that commute with the flows from (a6) appropriately, see [[#References|[a11]]].
+
A geometric way to look at $\pi$-functions, see e.g. [[#References|[a9]]], is to consider a [[Homogeneous space|homogeneous space]] over the relevant loop group $L$, a holomorphic line [[Bundle|bundle]] $C$ over this space and its pull-back over the corresponding central extension $t$ of $L$. If this last line bundle has a global holomorphic section, then $\pi$-functions measure the failure of equivariance of partial liftings from $L$ to $t$ with respect to this section. With this point of view, one can also arrive at the formulas in (a14) by lifting the discrete group of transformations that commute with the flows from (a6) appropriately, see [[#References|[a11]]].
  
An important class of equations associated with the AKNS-hierarchy are the so-called stationary AKNS-equations. These are the differential equations for the functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013089.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013090.png" /> from the first-order differential operator
+
An important class of equations associated with the AKNS-hierarchy are the so-called stationary AKNS-equations. These are the differential equations for the functions $h$ and $N$ from the first-order differential operator
  
<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/a/a130/a130130/a13013091.png" /></td> </tr></table>
+
\begin{equation*} L : = P _ { 0 } \frac { d } { d x } + P _ { 1 } = \left( \begin{array} { c c } { - i } &amp; { 0 } \\ { 0 } &amp; { i } \end{array} \right) \frac { d } { d x } + \left( \begin{array} { c c } { 0 } &amp; { q } \\ { r } &amp; { 0 } \end{array} \right) \end{equation*}
  
resulting from the existence of a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013092.png" />-matrix-valued differential operator
+
resulting from the existence of a $( 2 \times 2 )$-matrix-valued differential operator
  
<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/a/a130/a130130/a13013093.png" /></td> </tr></table>
+
\begin{equation*} P _ { n + 1 } = \sum _ { i = 0 } ^ { n + 1 } u _ { i } ( \frac { d } { d x } ) ^ { i } \end{equation*}
  
that commutes with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013094.png" />. Such a pair is naturally associated with a [[Hyper-elliptic curve|hyper-elliptic curve]] of genus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013095.png" /> and that is why one calls <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013096.png" /> an algebro-geometric AKNS-potential. The elliptic algebro-geometric AKNS-potentials have been characterized in [[#References|[a6]]]. They correspond exactly to the potentials for which the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013097.png" /> has a meromorphic [[Fundamental system of solutions|fundamental system of solutions]] with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013098.png" /> for all values of the spectral parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a13013099.png" />.
+
that commutes with $L$. Such a pair is naturally associated with a [[Hyper-elliptic curve|hyper-elliptic curve]] of genus $12$ and that is why one calls $P _ { 1 }$ an algebro-geometric AKNS-potential. The elliptic algebro-geometric AKNS-potentials have been characterized in [[#References|[a6]]]. They correspond exactly to the potentials for which the equation $L ( \psi ) = z \psi$ has a meromorphic [[Fundamental system of solutions|fundamental system of solutions]] with respect to $\pi$ for all values of the spectral parameter $z \in C$.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M.J. Bergvelt,  A.P.E. ten Kroode,  "Differential-difference <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a130130100.png" /> equations and homogeneous Heisenberg algebras"  ''J. Math. Phys.'' , '''28'''  (1987)  pp. 302–306</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  M.J. Bergvelt,  A.P.E. ten Kroode,  "<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a130130101.png" />-functions and zero curvature equations of Toda–AKNS type"  ''J. Math. Phys.'' , '''29'''  (1988)  pp. 1308–1320</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  E. Date,  M. Jimbo,  M. Kashiwara,  T. Miwa,  "Transformation groups for soliton equations" , ''Non-linear Integrable Systems; Classical Theory and Quantum Theory (Proc. RIMS Symp.)'' , World Sci.  (1983)  pp. 41–119</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  V.G. Drinfel'd,  V.V. Sokolov,  "Lie algebras and equations of Korteweg de Vries type"  ''Itogi Nauki i Tekhn. Ser. Sovrem. Probl. Mat.'' , '''24'''  (1984)  pp. 81–180  (In Russian)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  H. Flaschka,  A.C. Newell,  T. Ratiu,  "Kac–Moody Lie algebras and soliton equations II. Lax equations associated with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a130130102.png" />"  ''Physica'' , '''9D'''  (1983)  pp. 300–323</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  F. Gesztesy,  R. Weikard,  "A characterization of all elliptic algebro-geometric solutions of the AKNS hierarchy"  ''Acta Math.'' , '''181'''  (1998)  pp. 63–108</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  G.F. Helminck,  G.F. Post,  "A convergent framework for the multicomponent <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a130130103.png" />-hierarchy"  ''Trans. Amer. Math. Soc.'' , '''324''' :  1  (1991)  pp. 271–292</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  V.G. Kac,  "Infinite dimensional Lie algebras" , Cambridge Univ. Press  (1989)  (Edition: Third)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  G. Segal,  G. Wilson,  "Loop groups and equations of KdV type"  ''Publ. Math. IHES'' , '''63'''  (1985)  pp. 1–64</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  G. Wilson,  "The modified Lax and two-dimensional Toda lattice equations associated with simple Lie algebras"  ''Ergod. Th. Dynam. Syst.'' , '''1'''  (1981)  pp. 361–380</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  G. Wilson,  "The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130130/a130130104.png" />-functions of the AKNS equations" , ''Integrable Systems: the Verdier Memorial Conf. (Actes Colloq. Internat. Luminy)'' , ''Progress in Math.'' , '''115'''  (1993)  pp. 131–145</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  M.J. Bergvelt,  A.P.E. ten Kroode,  "Differential-difference $A K N S$ equations and homogeneous Heisenberg algebras"  ''J. Math. Phys.'' , '''28'''  (1987)  pp. 302–306</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  M.J. Bergvelt,  A.P.E. ten Kroode,  "$\pi$-functions and zero curvature equations of Toda–AKNS type"  ''J. Math. Phys.'' , '''29'''  (1988)  pp. 1308–1320</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  E. Date,  M. Jimbo,  M. Kashiwara,  T. Miwa,  "Transformation groups for soliton equations" , ''Non-linear Integrable Systems; Classical Theory and Quantum Theory (Proc. RIMS Symp.)'' , World Sci.  (1983)  pp. 41–119</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  V.G. Drinfel'd,  V.V. Sokolov,  "Lie algebras and equations of Korteweg de Vries type"  ''Itogi Nauki i Tekhn. Ser. Sovrem. Probl. Mat.'' , '''24'''  (1984)  pp. 81–180  (In Russian)</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  H. Flaschka,  A.C. Newell,  T. Ratiu,  "Kac–Moody Lie algebras and soliton equations II. Lax equations associated with $A _ { 1 } ^ { ( 1 ) }$"  ''Physica'' , '''9D'''  (1983)  pp. 300–323</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  F. Gesztesy,  R. Weikard,  "A characterization of all elliptic algebro-geometric solutions of the AKNS hierarchy"  ''Acta Math.'' , '''181'''  (1998)  pp. 63–108</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  G.F. Helminck,  G.F. Post,  "A convergent framework for the multicomponent $K P$-hierarchy"  ''Trans. Amer. Math. Soc.'' , '''324''' :  1  (1991)  pp. 271–292</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  V.G. Kac,  "Infinite dimensional Lie algebras" , Cambridge Univ. Press  (1989)  (Edition: Third)</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  G. Segal,  G. Wilson,  "Loop groups and equations of KdV type"  ''Publ. Math. IHES'' , '''63'''  (1985)  pp. 1–64</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  G. Wilson,  "The modified Lax and two-dimensional Toda lattice equations associated with simple Lie algebras"  ''Ergod. Th. Dynam. Syst.'' , '''1'''  (1981)  pp. 361–380</td></tr><tr><td valign="top">[a11]</td> <td valign="top">  G. Wilson,  "The $\pi$-functions of the AKNS equations" , ''Integrable Systems: the Verdier Memorial Conf. (Actes Colloq. Internat. Luminy)'' , ''Progress in Math.'' , '''115'''  (1993)  pp. 131–145</td></tr></table>

Revision as of 13:29, 1 July 2020

This page is a copy of the article AKNS-hierarchy in order to test automatic LaTeXification. This article is not my work.


An infinite tower of non-linear evolution equations that derives its name from the simplest non-trivial system of equations contained in it, the AKNS-equations

\begin{equation} \tag{a1} \left. \begin{array} { l } { i \frac { \partial } { \partial t } q ( x , t ) = i q t = - \frac { 1 } { 2 } q x x + q ^ { 2 } r } \\ { i \frac { \partial } { \partial t } r ( x , t ) = i r t = \frac { 1 } { 2 } r x - q r ^ { 2 } } \end{array} \right. \end{equation}

It were M.J. Ablowitz, D.J. Kaup, A.C. Newell, and H. Segur who showed that the initial value problem of this system of equations (cf. also Differential equation, partial, discontinuous initial (boundary) conditions) could be solved with the inverse scattering transform (cf. also Korteweg–de Vries equation). To get a natural embedding of the AKNS-equations in a larger system, one rewrites (a1) in zero-curvature form as

\begin{equation} \tag{a2} \frac { \partial } { \partial t } P _ { 1 } - \frac { \partial } { \partial x } Q _ { 2 } + [ P _ { 1 } , Q _ { 2 } ] = 0 \end{equation}

where

\begin{equation*} P _ { 1 } = \left( \begin{array} { c c c } { 0 } & { \square } & { q } \\ { r } & { \square } & { 0 } \end{array} \right) , Q _ { 2 } = \left( \begin{array} { c c } { - \frac { i } { 2 } q r } & { \frac { i } { 2 } q x } \\ { - \frac { i } { 2 } r _ { x } } & { \frac { i } { 2 } q r } \end{array} \right) \end{equation*}

Consider now the following polynomial expressions in the parameter $8$:

\begin{equation} \tag{a3} P = P _ { 0 } z + P _ { 1 } : = \left( \begin{array} { c c } { - i } & { 0 } \\ { 0 } & { i } \end{array} \right) z + \left( \begin{array} { l l } { 0 } & { q } \\ { r } & { 0 } \end{array} \right) \end{equation}

\begin{equation*} Q ^ { ( n ) } : = Q _ { 0 } z ^ { n } + Q _ { 1 } z ^ { n - 1 } \ldots Q _ { n } \end{equation*}

where the $Q$ are $s l _ { 2 }$-valued functions depending on the variables $\pi$, $t = ( t _ { x } )$, and $Q _ { 0 } = P _ { 0 }$ and $Q _ { 1 } = P _ { 1 }$. For these data the zero-curvature equations read

\begin{equation} \tag{a4} \frac { \partial } { \partial t _ { m } } P - \frac { \partial } { \partial x } Q ^ { ( m ) } + [ P , Q ^ { ( r ) } ] = 0 \Leftrightarrow \end{equation}

\begin{equation*} \Leftrightarrow [ \frac { \partial } { \partial x } - P , \frac { \partial } { \partial t _ { n } } - Q ^ { ( n ) } ] = 0 \end{equation*}

which is an infinite tower of equations extending the system (a1). The system (a4) generalizes from $SL _ { 2 } ( C )$ to a general simple complex Lie algebra $8$, a regular element $P$ in a Cartan subalgebra $h$ of $8$ and an element $0.00$ in $h$, see [a4] and [a10]. Solutions of the equations (a4) can be obtained by the Zakharov–Shabat dressing method (cf. also Soliton). Namely, consider the function

\begin{equation} \tag{a5} \phi ( x , t , z ) = \end{equation}

\begin{equation*} = \operatorname { exp } ( x P _ { 0 } z + \sum _ { r = 1 } ^ { \infty } Q _ { 0 } z ^ { r } ) g ( z ) . . \operatorname { exp } ( - x P _ { 0 } z - \sum _ { r = 1 } ^ { \infty } Q _ { 0 } z ^ { \gamma } ) \end{equation*}

with $g ( z )$ belonging to the loop group $C ^ { \infty } ( s ^ { 1 } , SL _ { 2 } ( C ) )$. If this $( 1 )$ factorizes as $\phi = \phi _ { - } \phi _ { + }$, with

\begin{equation} \tag{a6} \phi _ { - } ( x , t , z ) = \operatorname { exp } ( \sum _ { i = 1 } ^ { \infty } \chi _ { i } ( x , t ) z ^ { - i } ) \end{equation}

\begin{equation*} \phi _ { + } = \operatorname { exp } ( \sum _ { j = 1 } ^ { \infty } \phi _ { j } ( x , t ) z ^ { j } ) \end{equation*}

then conjugating the trivial connections (cf. also Connections on a manifold) $( \partial / \partial x ) - P _ { 0 } z$ and $( \partial / \partial t _ { x } ) - Q _ { 0 } z ^ { x }$ with $\phi$ gives connections of the required form:

\begin{equation} \tag{a7} \phi - ^ { 1 } ( \frac { \partial } { \partial x } - P _ { 0 z } ) \phi _ { - } = \frac { \partial } { \partial x } - P \end{equation}

\begin{equation*} \phi _ { - } ^ { - 1 } \frac { \partial } { \partial t _ { \mu } } - Q _ { 0 } z ^ { \mu } \phi _ { - } = \frac { \partial } { \partial t _ { \mu } } - Q ^ { ( n ) } \end{equation*}

Since flatness is preserved by this procedure, this leads to solutions of (a4). If $Q _ { 0 } = P _ { 0 }$, as in the AKNS-case, one can take just as well $\partial / \partial x = \partial / \partial t _ { 1 }$.

It was observed by H. Flaschka, Newell and T. Ratiu [a5] that the equations (a4) for the $SL _ { 2 } ( C )$-case could be captured in the system

\begin{equation} \tag{a8} \frac { \partial } { \partial t _ { n } } Q = [ Q ^ { ( n ) } , Q ] , n \geq 1 \end{equation}

for the single series

\begin{equation} \tag{a9} Q = \sum _ { j = 0 } ^ { \infty } Q _ { j } z ^ { - j } , Q _ { j } = \left( \begin{array} { c c } { h _ { j } } & { e _ { j } } \\ { f _ { j } } & { - h _ { j } } \end{array} \right) \end{equation}

\begin{equation*} Q ^ { ( n ) } = \sum _ { j = 0 } ^ { n } Q _ { j } z ^ { n - j } \end{equation*}

They showed that these equations are commuting Hamiltonian flows (cf. also Hamiltonian system) on the Lie algebra $\sum _ { i = 0 } ^ { \infty } X _ { i } z ^ { - i }$, $X _ { i } \in \operatorname { sl } _ { 2 } ( C )$, with respect to natural Poisson brackets. Further, they introduced the flux tensor $F _ { j k }$ by

\begin{equation} \tag{a10} F _ { j k } = \end{equation}

\begin{equation*} = \frac { 1 } { 2 } \operatorname { Tr } ( \sum _ { r = 0 } ^ { j } ( j - r ) Q _ { r } Q _ { k + j - r } + \frac { 1 } { 2 } \sum _ { r = 0 } ^ { j } ( r - k ) Q _ { r } Q _ { k + j - r } ) \end{equation*}

and proved the local conservation laws of the system, namely

\begin{equation} \tag{a11} \frac { \partial } { \partial t _ { k } } F _ { i j } = \frac { \partial } { \partial t _ { i } } F _ { j k } \end{equation}

The left-hand side of (a11) is, in fact, even symmetric under permutations of the indices $i$, $i$, $k$ and this property made them introduce a potential $\pi$ by

\begin{equation} \tag{a12} F _ { j k } = \frac { \partial } { \partial t _ { j } } \frac { \partial } { \partial t _ { k } } \operatorname { log } ( \tau ) \end{equation}

The equations (a8) are called the Lax equations of the AKNS-hierarchy. As such, the AKNS-hierarchy is a natural reduction of the two-component KP-hierarchy (cf. also KP-equation; [a7]), a fact that enables a description in the Grassmannian of that hierarchy.

It was shown by M.J. Bergvelt and A.P.E. ten Kroode [a1] that it is natural to consider a system of zero-curvature relations (a4) labelled by the root lattice of the Lie algebra, where the operators at different sites of the lattice are linked by Toda-type differential-difference equations. For example, for nearest neighbour sites there holds

\begin{equation} \tag{a13} q ^ { ( l + 1 ) } = - ( q ^ { ( l ) } ) ^ { 2 } r ^ { ( l ) } + q ^ { ( l ) } \operatorname { log } ( q ^ { ( l ) } ) , r ^ { ( l + 1 ) } = \frac { 1 } { q ^ { ( l ) } } \end{equation}

where

\begin{equation*} P ^ { ( l ) } = \left( \begin{array} { c c } { - i } & { 0 } \\ { 0 } & { i } \end{array} \right) z + \left( \begin{array} { c c } { 0 } & { q ^ { ( l ) } } \\ { r ^ { ( l ) } } & { 0 } \end{array} \right) \end{equation*}

This phenomenon is due to the fact that there is a natural lattice group that commutes with the commuting flows corresponding to the parameters $t _ { n }$.

In the representation-theoretic approach to soliton equations (see [a3], [a8]), the soliton equations occur as the equations describing the group orbit of the highest weight vector. A similar description holds for these combined differential-difference equations. Let $L ( \Lambda _ { 0 } )$ be the basic representation of the Kac–Moody Lie algebra $A _ { 1 } ^ { ( 1 ) }$ (cf. also Kac–Moody algebra). In $A _ { 1 } ^ { ( 1 ) }$ one takes the homogeneous Heisenberg algebra

\begin{equation*} s = \sum _ { i > 0 } C \lambda ^ { i } \left( \begin{array} { c c } { - 1 } & { 0 } \\ { 0 } & { 1 } \end{array} \right) \oplus \sum _ { i > 0 } C \lambda ^ { - i } \left( \begin{array} { c c } { - 1 } & { 0 } \\ { 0 } & { 1 } \end{array} \right) \oplus C _ { i } \end{equation*}

where $i$ is the central element of $A _ { 1 } ^ { ( 1 ) }$ that is in the kernel of the projection of $A _ { 1 } ^ { ( 1 ) }$ onto the loop algebra of $SL _ { 2 } ( C )$. The $A _ { 1 } ^ { ( 1 ) }$-module $L ( \Lambda _ { 0 } )$ decomposes with respect to the action of the homogeneous Heisenberg algebra $5$ as a direct sum of irreducible $5$-modules $C [ t ] = C [ t _ { 1 } , t _ { 2 } , \ldots$ labelled by the root lattice. Thus, one can write each element of $L ( \Lambda _ { 0 } )$ as $\tau ( t ) = ( \tau _ { l } ( t ) ) _ { l \in Z }$. The group orbit of the highest weight vector can then be characterized by a set of so-called Hirota bilinear relations for the components $( \tau _ { l } )$. By using the representation theory one constructs a series of elements $( g )$ in a suitable completion of the Kac–Moody group associated with $A _ { 1 } ^ { ( 1 ) }$ such that the vacuum expectation value of $Q$ is exactly $T$. The Birkhoff decomposition of the $( g )$ in that group then enables one to construct solutions of the lattice zero-curvature equations, [a2]. In particular, the operators $P ^ { ( l ) }$ from (a13) obtained in this way can be expressed in the components $( \tau _ { l } )$ by

\begin{equation} \tag{a14} q ^ { ( l ) } = 2 i \frac { \tau _ { l } + 1 } { \tau _ { l } } , r ^ { ( l ) } = - 2 i \frac { \tau _ { l } - 1 } { \tau _ { l } } \end{equation}

By using the adjoint action of the Kac–Moody group, Bergvelt and ten Kroode also showed [a2] that the

\begin{equation} \tag{a15} F _ { j k } ^ { ( l ) } : = \frac { \partial } { \partial t _ { j } } \frac { \partial } { \partial t _ { k } } \operatorname { log } ( \tau _ { l } ) \end{equation}

give exactly the flux tensor from (a10), thus furnishing a representation-theoretic basis for the results in [a5].

A geometric way to look at $\pi$-functions, see e.g. [a9], is to consider a homogeneous space over the relevant loop group $L$, a holomorphic line bundle $C$ over this space and its pull-back over the corresponding central extension $t$ of $L$. If this last line bundle has a global holomorphic section, then $\pi$-functions measure the failure of equivariance of partial liftings from $L$ to $t$ with respect to this section. With this point of view, one can also arrive at the formulas in (a14) by lifting the discrete group of transformations that commute with the flows from (a6) appropriately, see [a11].

An important class of equations associated with the AKNS-hierarchy are the so-called stationary AKNS-equations. These are the differential equations for the functions $h$ and $N$ from the first-order differential operator

\begin{equation*} L : = P _ { 0 } \frac { d } { d x } + P _ { 1 } = \left( \begin{array} { c c } { - i } & { 0 } \\ { 0 } & { i } \end{array} \right) \frac { d } { d x } + \left( \begin{array} { c c } { 0 } & { q } \\ { r } & { 0 } \end{array} \right) \end{equation*}

resulting from the existence of a $( 2 \times 2 )$-matrix-valued differential operator

\begin{equation*} P _ { n + 1 } = \sum _ { i = 0 } ^ { n + 1 } u _ { i } ( \frac { d } { d x } ) ^ { i } \end{equation*}

that commutes with $L$. Such a pair is naturally associated with a hyper-elliptic curve of genus $12$ and that is why one calls $P _ { 1 }$ an algebro-geometric AKNS-potential. The elliptic algebro-geometric AKNS-potentials have been characterized in [a6]. They correspond exactly to the potentials for which the equation $L ( \psi ) = z \psi$ has a meromorphic fundamental system of solutions with respect to $\pi$ for all values of the spectral parameter $z \in C$.

References

[a1] M.J. Bergvelt, A.P.E. ten Kroode, "Differential-difference $A K N S$ equations and homogeneous Heisenberg algebras" J. Math. Phys. , 28 (1987) pp. 302–306
[a2] M.J. Bergvelt, A.P.E. ten Kroode, "$\pi$-functions and zero curvature equations of Toda–AKNS type" J. Math. Phys. , 29 (1988) pp. 1308–1320
[a3] E. Date, M. Jimbo, M. Kashiwara, T. Miwa, "Transformation groups for soliton equations" , Non-linear Integrable Systems; Classical Theory and Quantum Theory (Proc. RIMS Symp.) , World Sci. (1983) pp. 41–119
[a4] V.G. Drinfel'd, V.V. Sokolov, "Lie algebras and equations of Korteweg de Vries type" Itogi Nauki i Tekhn. Ser. Sovrem. Probl. Mat. , 24 (1984) pp. 81–180 (In Russian)
[a5] H. Flaschka, A.C. Newell, T. Ratiu, "Kac–Moody Lie algebras and soliton equations II. Lax equations associated with $A _ { 1 } ^ { ( 1 ) }$" Physica , 9D (1983) pp. 300–323
[a6] F. Gesztesy, R. Weikard, "A characterization of all elliptic algebro-geometric solutions of the AKNS hierarchy" Acta Math. , 181 (1998) pp. 63–108
[a7] G.F. Helminck, G.F. Post, "A convergent framework for the multicomponent $K P$-hierarchy" Trans. Amer. Math. Soc. , 324 : 1 (1991) pp. 271–292
[a8] V.G. Kac, "Infinite dimensional Lie algebras" , Cambridge Univ. Press (1989) (Edition: Third)
[a9] G. Segal, G. Wilson, "Loop groups and equations of KdV type" Publ. Math. IHES , 63 (1985) pp. 1–64
[a10] G. Wilson, "The modified Lax and two-dimensional Toda lattice equations associated with simple Lie algebras" Ergod. Th. Dynam. Syst. , 1 (1981) pp. 361–380
[a11] G. Wilson, "The $\pi$-functions of the AKNS equations" , Integrable Systems: the Verdier Memorial Conf. (Actes Colloq. Internat. Luminy) , Progress in Math. , 115 (1993) pp. 131–145
How to Cite This Entry:
Maximilian Janisch/latexlist/Ablowitz–Kaup–Newell–Segur hierarchy. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Maximilian_Janisch/latexlist/Ablowitz%E2%80%93Kaup%E2%80%93Newell%E2%80%93Segur_hierarchy&oldid=49858