Revisiting Kepler: New Symmetries of an Old Problem

Q3 Mathematics Arnold Mathematical Journal Pub Date : 2022-09-12 DOI:10.1007/s40598-022-00213-2
Gil Bor, Connor Jackman
{"title":"Revisiting Kepler: New Symmetries of an Old Problem","authors":"Gil Bor,&nbsp;Connor Jackman","doi":"10.1007/s40598-022-00213-2","DOIUrl":null,"url":null,"abstract":"<div><p>The <i>Kepler orbits</i> form a 3-parameter family of <i>unparametrized</i> plane curves, consisting of all conics sharing a focus at a fixed point. We study the geometry and symmetry properties of this family, as well as natural 2-parameter subfamilies, such as those of fixed energy or angular momentum. Our main result is that Kepler orbits is a ‘flat’ family, that is, the local diffeomorphisms of the plane preserving this family form a 7-dimensional local group, the maximum dimension possible for the symmetry group of a 3-parameter family of plane curves. These symmetries are different from the well-studied ‘hidden’ symmetries of the Kepler problem, acting on energy levels in the 4-dimensional phase space of the Kepler system. Each 2-parameter subfamily of Kepler orbits with fixed non-zero energy (Kepler ellipses or hyperbolas with fixed length of major axis) admits <span>\\(\\mathrm { PSL}_2(\\mathbb {R})\\)</span> as its (local) symmetry group, corresponding to one of the items of a classification due to Tresse (Détermination des invariants ponctuels de l’équation différentielle ordinaire du second ordre <span>\\(y^{\\prime \\prime }= \\omega (x, y, y^{\\prime })\\)</span>, vol. 32, S. Hirzel, 1896) of 2-parameter families of plane curves admitting a 3-dimensional local group of symmetries. The 2-parameter subfamilies with zero energy (Kepler parabolas) or fixed non-zero angular momentum are flat (locally diffeomorphic to the family of straight lines). These results can be proved using techniques developed in the nineteenth century by Lie to determine ‘infinitesimal point symmetries’ of ODEs, but our proofs are much simpler, using a projective geometric model for the Kepler orbits (plane sections of a cone in projective 3-space). In this projective model, all symmetry groups act globally. Another advantage of the projective model is a duality between Kepler’s plane and Minkowski’s 3-space parametrizing the space of Kepler orbits. We use this duality to deduce several results on the Kepler system, old and new.\n</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2022-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s40598-022-00213-2.pdf","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Arnold Mathematical Journal","FirstCategoryId":"1085","ListUrlMain":"https://link.springer.com/article/10.1007/s40598-022-00213-2","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"Mathematics","Score":null,"Total":0}
引用次数: 2

Abstract

The Kepler orbits form a 3-parameter family of unparametrized plane curves, consisting of all conics sharing a focus at a fixed point. We study the geometry and symmetry properties of this family, as well as natural 2-parameter subfamilies, such as those of fixed energy or angular momentum. Our main result is that Kepler orbits is a ‘flat’ family, that is, the local diffeomorphisms of the plane preserving this family form a 7-dimensional local group, the maximum dimension possible for the symmetry group of a 3-parameter family of plane curves. These symmetries are different from the well-studied ‘hidden’ symmetries of the Kepler problem, acting on energy levels in the 4-dimensional phase space of the Kepler system. Each 2-parameter subfamily of Kepler orbits with fixed non-zero energy (Kepler ellipses or hyperbolas with fixed length of major axis) admits \(\mathrm { PSL}_2(\mathbb {R})\) as its (local) symmetry group, corresponding to one of the items of a classification due to Tresse (Détermination des invariants ponctuels de l’équation différentielle ordinaire du second ordre \(y^{\prime \prime }= \omega (x, y, y^{\prime })\), vol. 32, S. Hirzel, 1896) of 2-parameter families of plane curves admitting a 3-dimensional local group of symmetries. The 2-parameter subfamilies with zero energy (Kepler parabolas) or fixed non-zero angular momentum are flat (locally diffeomorphic to the family of straight lines). These results can be proved using techniques developed in the nineteenth century by Lie to determine ‘infinitesimal point symmetries’ of ODEs, but our proofs are much simpler, using a projective geometric model for the Kepler orbits (plane sections of a cone in projective 3-space). In this projective model, all symmetry groups act globally. Another advantage of the projective model is a duality between Kepler’s plane and Minkowski’s 3-space parametrizing the space of Kepler orbits. We use this duality to deduce several results on the Kepler system, old and new.

Abstract Image

查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
重访开普勒:一个老问题的新对称性
开普勒轨道形成了一个非三参数平面曲线族,由所有在固定点共享焦点的圆锥组成。我们研究了这个族的几何和对称性质,以及自然的双参数亚族,例如固定能量或角动量的亚族。我们的主要结果是开普勒轨道是一个“平坦”族,即保持该族的平面的局部微分同胚形成一个7维局部群,这是平面曲线的3参数族的对称群可能的最大维数。这些对称性不同于研究充分的开普勒问题的“隐藏”对称性,它们作用于开普勒系统的4维相空间中的能级。具有固定非零能量的开普勒轨道的每个2-参数子族(长轴长度固定的开普勒椭圆或双曲线)都承认\(\mathrm{PSL}_2(\mathbb{R})\)为其(局部)对称群,对应于由Tresse(Détermination des不变量ponctuels de l’équation différentielle ordinaire du second ordre \(y^{\prime\prime}=\omega(x,y,y^})\),第32卷,S.Hirzel,1896)引起的平面曲线的2-参数族的分类的一个项目,其允许三维局部对称性组。具有零能量(开普勒抛物面)或固定非零角动量的2-参数亚族是平坦的(与直线族局部微分同胚)。这些结果可以使用李在19世纪开发的技术来证明,以确定常微分方程的“无穷小点对称性”,但我们的证明要简单得多,使用开普勒轨道的投影几何模型(投影3-空间中圆锥的平面截面)。在这个投影模型中,所有对称群都是全局作用的。投影模型的另一个优点是开普勒平面和闵可夫斯基3空间之间的对偶性,参数化了开普勒轨道的空间。我们利用这种对偶性来推导开普勒系统的几个结果,无论是旧的还是新的。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
Arnold Mathematical Journal
Arnold Mathematical Journal Mathematics-Mathematics (all)
CiteScore
1.50
自引率
0.00%
发文量
28
期刊介绍: The Arnold Mathematical Journal publishes interesting and understandable results in all areas of mathematics. The name of the journal is not only a dedication to the memory of Vladimir Arnold (1937 – 2010), one of the most influential mathematicians of the 20th century, but also a declaration that the journal should serve to maintain and promote the scientific style characteristic for Arnold''s best mathematical works. Features of AMJ publications include: Popularity. The journal articles should be accessible to a very wide community of mathematicians. Not only formal definitions necessary for the understanding must be provided but also informal motivations even if the latter are well-known to the experts in the field. Interdisciplinary and multidisciplinary mathematics. AMJ publishes research expositions that connect different mathematical subjects. Connections that are useful in both ways are of particular importance. Multidisciplinary research (even if the disciplines all belong to pure mathematics) is generally hard to evaluate, for this reason, this kind of research is often under-represented in specialized mathematical journals. AMJ will try to compensate for this.Problems, objectives, work in progress. Most scholarly publications present results of a research project in their “final'' form, in which all posed questions are answered. Some open questions and conjectures may be even mentioned, but the very process of mathematical discovery remains hidden. Following Arnold, publications in AMJ will try to unhide this process and made it public by encouraging the authors to include informal discussion of their motivation, possibly unsuccessful lines of attack, experimental data and close by research directions. AMJ publishes well-motivated research problems on a regular basis.  Problems do not need to be original; an old problem with a new and exciting motivation is worth re-stating. Following Arnold''s principle, a general formulation is less desirable than the simplest partial case that is still unknown.Being interesting. The most important requirement is that the article be interesting. It does not have to be limited by original research contributions of the author; however, the author''s responsibility is to carefully acknowledge the authorship of all results. Neither does the article need to consist entirely of formal and rigorous arguments. It can contain parts, in which an informal author''s understanding of the overall picture is presented; however, these parts must be clearly indicated.
期刊最新文献
Doodles and Blobs on a Ruled Page: Convex Quasi-envelops of Traversing Flows on Surfaces Kirillov Polynomials for the Exceptional Lie Algebra \(\mathfrak g_{2}\) Polynomial Superpotential for Grassmannian \({\text {Gr}}(k,n)\) from a Limit of Vertex Function A Note on Contact Manifolds with Infinite Fillings Higher Dimensional Versions of Theorems of Euler and Fuss
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1