<p>This paper provides an original rendition of the heavy top that unravels the mysteries behind S. Kowalewski’s seminal work on the motions of a rigid body around a fixed point under the influence of gravity.The point of departure for understanding Kowalewski’s workbegins with Kirchhoff’s model for the equilibrium configurations of an elastic rod in <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11819_2025_7272_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb{R}}^{3}\)</EquationSource> </InlineEquation> subject to fixed bending and twisting moments at its ends [<CitationRef CitationID="CR17">17</CitationRef>]. This initial orientation to the elastic problem shows, first, that the Kowalewski type integrals discovered by I. V. Komarov and V. B. Kuznetsov [<CitationRef CitationID="CR24">24</CitationRef>, <CitationRef CitationID="CR25">25</CitationRef>] appear naturally on the Lie algebras associated with the orthonormal frame bundles of the sphere <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11819_2025_7272_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(S^{3}\)</EquationSource> </InlineEquation> and the hyperboloid <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11819_2025_7272_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^{3}\)</EquationSource> </InlineEquation> [<CitationRef CitationID="CR17">17</CitationRef>] and, secondly, it showsthat these integrals of motion can be naturally extracted from a canonical Poisson system on the dual of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11819_2025_7272_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(so(4,\mathbb{C})\)</EquationSource> </InlineEquation> generated byan affine quadratic Hamiltonian <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11819_2025_7272_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(H\)</EquationSource> </InlineEquation> (Kirchhoff – Kowalewski type).</p><p>The paper shows that the passage to complex variablesis synonymous with the representation of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11819_2025_7272_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(so(4,\mathbb{C})\)</EquationSource> </InlineEquation> as <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11819_2025_7272_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="126" /> </InlineMediaObject> <EquationSource Format="TEX">\(sl(2,\mathbb{C})\times sl(2,\mathbb{C})\)</EquationSource> </InlineEquation> and the embedding of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11819_2025_7272_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(H\)</EquationSource> </InlineEquation> into <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11819_2025_7272_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(sp(4,\mathbb{C})\)</EquationSource> </InlineEquation>, an important intermediate step towards uncovering the origins of Kowalewski’s integral. There is a quintessential Kowalewski type integral of motion on <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11819_2025_7272_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(sp(4,\mathbb{C})\)</EquationSource> </InlineEquation> that appears as a spectral invariant for the Poisson system associated with a Hamiltonian <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11819_2025_7272_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{H}\)</EquationSource> </InlineEquation> (a natural extension of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11819_2025_7272_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(H\)</EquationSource> </InlineEquation>) that satisfies Kowalewski’s conditions.</p><p>The text then demonstrates the relevance of this integral of motion for other studies in the existing literature [<CitationRef CitationID="CR7">7</CitationRef>, <CitationRef CitationID="CR35">35</CitationRef>]. The text also includes a self-contained treatment of the integration of the Kowalewski type equations based on Kowalewski’s ingenuous separation of variables, the hyperelliptic curve and the solutions on its Jacobian variety.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Sonya Kowalewski’s Legacy to Mechanics and Complex Lie Algebras

  • Velimir Jurdjevic

摘要

This paper provides an original rendition of the heavy top that unravels the mysteries behind S. Kowalewski’s seminal work on the motions of a rigid body around a fixed point under the influence of gravity.The point of departure for understanding Kowalewski’s workbegins with Kirchhoff’s model for the equilibrium configurations of an elastic rod in \({\mathbb{R}}^{3}\) subject to fixed bending and twisting moments at its ends [17]. This initial orientation to the elastic problem shows, first, that the Kowalewski type integrals discovered by I. V. Komarov and V. B. Kuznetsov [24, 25] appear naturally on the Lie algebras associated with the orthonormal frame bundles of the sphere \(S^{3}\) and the hyperboloid \(H^{3}\) [17] and, secondly, it showsthat these integrals of motion can be naturally extracted from a canonical Poisson system on the dual of \(so(4,\mathbb{C})\) generated byan affine quadratic Hamiltonian \(H\) (Kirchhoff – Kowalewski type).

The paper shows that the passage to complex variablesis synonymous with the representation of \(so(4,\mathbb{C})\) as \(sl(2,\mathbb{C})\times sl(2,\mathbb{C})\) and the embedding of \(H\) into \(sp(4,\mathbb{C})\) , an important intermediate step towards uncovering the origins of Kowalewski’s integral. There is a quintessential Kowalewski type integral of motion on \(sp(4,\mathbb{C})\) that appears as a spectral invariant for the Poisson system associated with a Hamiltonian \(\mathcal{H}\) (a natural extension of \(H\) ) that satisfies Kowalewski’s conditions.

The text then demonstrates the relevance of this integral of motion for other studies in the existing literature [7, 35]. The text also includes a self-contained treatment of the integration of the Kowalewski type equations based on Kowalewski’s ingenuous separation of variables, the hyperelliptic curve and the solutions on its Jacobian variety.