Alberto Enciso, Willi Kepplinger, Daniel Peralta-Salas
{"title":"三维欧拉方程的孤立稳定解","authors":"Alberto Enciso, Willi Kepplinger, Daniel Peralta-Salas","doi":"10.1073/pnas.2414730122","DOIUrl":null,"url":null,"abstract":"We show that there exist closed three-dimensional Riemannian manifolds where the incompressible Euler equations exhibit smooth steady solutions that are isolated in the <jats:italic>C</jats:italic> <jats:sup>1</jats:sup> -topology. The proof of this fact combines ideas from dynamical systems, which appear naturally because these isolated states have strongly chaotic dynamics, with techniques from spectral geometry and contact topology, which can be effectively used to analyze the steady Euler equations on carefully chosen Riemannian manifolds. Interestingly, much of this strategy carries over to the Euler equations in Euclidean space, leading to the weaker result that there exist analytic steady solutions on <jats:inline-formula> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" display=\"inline\" overflow=\"scroll\"> <mml:msup> <mml:mrow> <mml:mi mathvariant=\"double-struck\">T</mml:mi> </mml:mrow> <mml:mn>3</mml:mn> </mml:msup> </mml:math> </jats:inline-formula> such that the only analytic steady Euler flows in a <jats:italic>C</jats:italic> <jats:sup>1</jats:sup> -neighborhood must belong to a certain linear space of dimension six. For comparison, note that in any <jats:italic>C</jats:italic> <jats:sup> <jats:italic>k</jats:italic> </jats:sup> -neighborhood of a shear flow, there are infinitely many linearly independent analytic shears.","PeriodicalId":20548,"journal":{"name":"Proceedings of the National Academy of Sciences of the United States of America","volume":"59 1","pages":""},"PeriodicalIF":9.4000,"publicationDate":"2025-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Isolated steady solutions of the 3D Euler equations\",\"authors\":\"Alberto Enciso, Willi Kepplinger, Daniel Peralta-Salas\",\"doi\":\"10.1073/pnas.2414730122\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We show that there exist closed three-dimensional Riemannian manifolds where the incompressible Euler equations exhibit smooth steady solutions that are isolated in the <jats:italic>C</jats:italic> <jats:sup>1</jats:sup> -topology. The proof of this fact combines ideas from dynamical systems, which appear naturally because these isolated states have strongly chaotic dynamics, with techniques from spectral geometry and contact topology, which can be effectively used to analyze the steady Euler equations on carefully chosen Riemannian manifolds. Interestingly, much of this strategy carries over to the Euler equations in Euclidean space, leading to the weaker result that there exist analytic steady solutions on <jats:inline-formula> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"> <mml:msup> <mml:mrow> <mml:mi mathvariant=\\\"double-struck\\\">T</mml:mi> </mml:mrow> <mml:mn>3</mml:mn> </mml:msup> </mml:math> </jats:inline-formula> such that the only analytic steady Euler flows in a <jats:italic>C</jats:italic> <jats:sup>1</jats:sup> -neighborhood must belong to a certain linear space of dimension six. For comparison, note that in any <jats:italic>C</jats:italic> <jats:sup> <jats:italic>k</jats:italic> </jats:sup> -neighborhood of a shear flow, there are infinitely many linearly independent analytic shears.\",\"PeriodicalId\":20548,\"journal\":{\"name\":\"Proceedings of the National Academy of Sciences of the United States of America\",\"volume\":\"59 1\",\"pages\":\"\"},\"PeriodicalIF\":9.4000,\"publicationDate\":\"2025-03-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the National Academy of Sciences of the United States of America\",\"FirstCategoryId\":\"103\",\"ListUrlMain\":\"https://doi.org/10.1073/pnas.2414730122\",\"RegionNum\":1,\"RegionCategory\":\"综合性期刊\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MULTIDISCIPLINARY SCIENCES\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the National Academy of Sciences of the United States of America","FirstCategoryId":"103","ListUrlMain":"https://doi.org/10.1073/pnas.2414730122","RegionNum":1,"RegionCategory":"综合性期刊","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MULTIDISCIPLINARY SCIENCES","Score":null,"Total":0}
Isolated steady solutions of the 3D Euler equations
We show that there exist closed three-dimensional Riemannian manifolds where the incompressible Euler equations exhibit smooth steady solutions that are isolated in the C1 -topology. The proof of this fact combines ideas from dynamical systems, which appear naturally because these isolated states have strongly chaotic dynamics, with techniques from spectral geometry and contact topology, which can be effectively used to analyze the steady Euler equations on carefully chosen Riemannian manifolds. Interestingly, much of this strategy carries over to the Euler equations in Euclidean space, leading to the weaker result that there exist analytic steady solutions on T3 such that the only analytic steady Euler flows in a C1 -neighborhood must belong to a certain linear space of dimension six. For comparison, note that in any Ck -neighborhood of a shear flow, there are infinitely many linearly independent analytic shears.
期刊介绍:
The Proceedings of the National Academy of Sciences (PNAS), a peer-reviewed journal of the National Academy of Sciences (NAS), serves as an authoritative source for high-impact, original research across the biological, physical, and social sciences. With a global scope, the journal welcomes submissions from researchers worldwide, making it an inclusive platform for advancing scientific knowledge.