{"title":"Regular Polygonal Vortex Filament Evolution and Exponential Sums","authors":"Fernando Chamizo, Francisco de la Hoz","doi":"10.1007/s10440-024-00697-4","DOIUrl":null,"url":null,"abstract":"<div><p>When taking a regular planar polygon of <span>\\(M\\)</span> sides and length <span>\\(2\\pi \\)</span> as the initial datum of the vortex filament equation, <span>\\(\\mathbf{X}_{t}= \\mathbf{X}_{s}\\wedge \\mathbf{X}_{ss}\\)</span>, the solution becomes polygonal at times of the form <span>\\(t_{pq} = (p/q)(2\\pi /M^{2})\\)</span>, with <span>\\(\\gcd (p,q)=1\\)</span>, and the corresponding polygon has <span>\\(Mq\\)</span> sides, if <span>\\(q\\)</span> is odd, and <span>\\(Mq/2\\)</span> sides, if <span>\\(q\\)</span> is even. Moreover, that polygon is skew (except when <span>\\(q = 1\\)</span> or <span>\\(q = 2\\)</span>, where the initial shape is recovered), and the angle <span>\\(\\rho \\)</span> between two adjacent sides is a constant. In this paper, we give a rigorous proof of the conjecture that states that, at a time <span>\\(t_{pq}\\)</span>, <span>\\(\\cos ^{q}(\\rho /2) = \\cos (\\pi /M)\\)</span>, if <span>\\(q\\)</span> is odd, and <span>\\(\\cos ^{q}(\\rho /2) = \\cos ^{2}(\\pi /M)\\)</span>, if <span>\\(q\\)</span> is even. Since the transition of one side of the polygon to the next one is given by a rotation in <span>\\(\\mathbb{R}^{3}\\)</span> determined by a generalized Gauss sum, the idea of the proof consists in showing that a certain product of those rotations is a rotation of angle <span>\\(2\\pi /M\\)</span>, which is equivalent to proving that some exponential sums with arithmetic content are purely imaginary.</p></div>","PeriodicalId":53132,"journal":{"name":"Acta Applicandae Mathematicae","volume":"194 1","pages":""},"PeriodicalIF":1.2000,"publicationDate":"2024-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10440-024-00697-4.pdf","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Acta Applicandae Mathematicae","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s10440-024-00697-4","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 0
Abstract
When taking a regular planar polygon of \(M\) sides and length \(2\pi \) as the initial datum of the vortex filament equation, \(\mathbf{X}_{t}= \mathbf{X}_{s}\wedge \mathbf{X}_{ss}\), the solution becomes polygonal at times of the form \(t_{pq} = (p/q)(2\pi /M^{2})\), with \(\gcd (p,q)=1\), and the corresponding polygon has \(Mq\) sides, if \(q\) is odd, and \(Mq/2\) sides, if \(q\) is even. Moreover, that polygon is skew (except when \(q = 1\) or \(q = 2\), where the initial shape is recovered), and the angle \(\rho \) between two adjacent sides is a constant. In this paper, we give a rigorous proof of the conjecture that states that, at a time \(t_{pq}\), \(\cos ^{q}(\rho /2) = \cos (\pi /M)\), if \(q\) is odd, and \(\cos ^{q}(\rho /2) = \cos ^{2}(\pi /M)\), if \(q\) is even. Since the transition of one side of the polygon to the next one is given by a rotation in \(\mathbb{R}^{3}\) determined by a generalized Gauss sum, the idea of the proof consists in showing that a certain product of those rotations is a rotation of angle \(2\pi /M\), which is equivalent to proving that some exponential sums with arithmetic content are purely imaginary.
期刊介绍:
Acta Applicandae Mathematicae is devoted to the art and techniques of applying mathematics and the development of new, applicable mathematical methods.
Covering a large spectrum from modeling to qualitative analysis and computational methods, Acta Applicandae Mathematicae contains papers on different aspects of the relationship between theory and applications, ranging from descriptive papers on actual applications meeting contemporary mathematical standards to proofs of new and deep theorems in applied mathematics.