Nonstandard Liouville tori and caustics in asymptotics in the form of Airy and Bessel functions for 2D standing coastal waves

IF 0.7 4区 数学 Q2 MATHEMATICS
A. Anikin, S. Dobrokhotov, V. Nazaikinskii, A. Tsvetkova
{"title":"Nonstandard Liouville tori and caustics in asymptotics in the form of Airy and Bessel functions for 2D standing coastal waves","authors":"A. Anikin, S. Dobrokhotov, V. Nazaikinskii, A. Tsvetkova","doi":"10.1090/spmj/1696","DOIUrl":null,"url":null,"abstract":"<p>The spectral problem <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"minus mathematical left-angle nabla comma upper D left-parenthesis x right-parenthesis nabla psi mathematical right-angle equals lamda psi\">\n <mml:semantics>\n <mml:mrow>\n <mml:mo>−<!-- − --></mml:mo>\n <mml:mo fence=\"false\" stretchy=\"false\">⟨<!-- ⟨ --></mml:mo>\n <mml:mi mathvariant=\"normal\">∇<!-- ∇ --></mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi>D</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>x</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mi mathvariant=\"normal\">∇<!-- ∇ --></mml:mi>\n <mml:mi>ψ<!-- ψ --></mml:mi>\n <mml:mo fence=\"false\" stretchy=\"false\">⟩<!-- ⟩ --></mml:mo>\n <mml:mo>=</mml:mo>\n <mml:mi>λ<!-- λ --></mml:mi>\n <mml:mi>ψ<!-- ψ --></mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">-\\langle \\nabla ,D(x)\\nabla \\psi \\rangle = \\lambda \\psi</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> in a bounded two-dimensional domain <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"normal upper Omega\">\n <mml:semantics>\n <mml:mi mathvariant=\"normal\">Ω<!-- Ω --></mml:mi>\n <mml:annotation encoding=\"application/x-tex\">\\Omega</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> is considered, where <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper D left-parenthesis x right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>D</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>x</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">D(x)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> is a smooth function positive inside the domain and zero on the boundary whose gradient is different from zero on the boundary. This problem arises in the study of long waves trapped by the shore and by bottom irregularities. For its asymptotic solutions as <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"lamda right-arrow normal infinity\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>λ<!-- λ --></mml:mi>\n <mml:mo stretchy=\"false\">→<!-- → --></mml:mo>\n <mml:mi mathvariant=\"normal\">∞<!-- ∞ --></mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\lambda \\rightarrow \\infty</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, explicit formulas are given when <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper D left-parenthesis x right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>D</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>x</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">D(x)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> has a special form that guarantees the complete integrability of the Hamiltonian system corresponding to the Hamiltonian <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper H left-parenthesis x comma p right-parenthesis equals upper D left-parenthesis x right-parenthesis p squared\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>H</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>x</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi>p</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mo>=</mml:mo>\n <mml:mi>D</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>x</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:msup>\n <mml:mi>p</mml:mi>\n <mml:mn>2</mml:mn>\n </mml:msup>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">H(x,p)=D(x)p^2</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. Since the problem is degenerate, the relevant Liouville tori are not in the standard phase space <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper T Superscript asterisk Baseline normal upper Omega\">\n <mml:semantics>\n <mml:mrow>\n <mml:msup>\n <mml:mi>T</mml:mi>\n <mml:mo>∗<!-- ∗ --></mml:mo>\n </mml:msup>\n <mml:mi mathvariant=\"normal\">Ω<!-- Ω --></mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">T^*\\Omega</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, but in the “extended” phase space <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"bold upper Phi superset-of upper T Superscript asterisk Baseline normal upper Omega\">\n <mml:semantics>\n <mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"bold\">Φ<!-- Φ --></mml:mi>\n </mml:mrow>\n <mml:mo>⊃<!-- ⊃ --></mml:mo>\n <mml:msup>\n <mml:mi>T</mml:mi>\n <mml:mo>∗<!-- ∗ --></mml:mo>\n </mml:msup>\n <mml:mi mathvariant=\"normal\">Ω<!-- Ω --></mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathbf {\\Phi }\\supset T^*\\Omega</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, while their restrictions to <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper T Superscript asterisk Baseline normal upper Omega\">\n <mml:semantics>\n <mml:mrow>\n <mml:msup>\n <mml:mi>T</mml:mi>\n <mml:mo>∗<!-- ∗ --></mml:mo>\n </mml:msup>\n <mml:mi mathvariant=\"normal\">Ω<!-- Ω --></mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">T^*\\Omega</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> are not compact and “go to infinity” with respect to momenta near the boundary of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"normal upper Omega\">\n <mml:semantics>\n <mml:mi mathvariant=\"normal\">Ω<!-- Ω --></mml:mi>\n <mml:annotation encoding=\"application/x-tex\">\\Omega</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. As a result, nonstandard caustics emerge, formed by the boundary or its part, near which asymptotic eigenfunctions are expressed in terms of a Bessel function of composite argument. Standard caustics (within the domain) may also appear, which yield Airy functions in the asymptotics.</p>","PeriodicalId":51162,"journal":{"name":"St Petersburg Mathematical Journal","volume":null,"pages":null},"PeriodicalIF":0.7000,"publicationDate":"2022-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"St Petersburg Mathematical Journal","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/spmj/1696","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0

Abstract

The spectral problem , D ( x ) ψ = λ ψ -\langle \nabla ,D(x)\nabla \psi \rangle = \lambda \psi in a bounded two-dimensional domain  Ω \Omega is considered, where D ( x ) D(x) is a smooth function positive inside the domain and zero on the boundary whose gradient is different from zero on the boundary. This problem arises in the study of long waves trapped by the shore and by bottom irregularities. For its asymptotic solutions as λ \lambda \rightarrow \infty , explicit formulas are given when D ( x ) D(x) has a special form that guarantees the complete integrability of the Hamiltonian system corresponding to the Hamiltonian H ( x , p ) = D ( x ) p 2 H(x,p)=D(x)p^2 . Since the problem is degenerate, the relevant Liouville tori are not in the standard phase space T Ω T^*\Omega , but in the “extended” phase space  Φ T Ω \mathbf {\Phi }\supset T^*\Omega , while their restrictions to  T Ω T^*\Omega are not compact and “go to infinity” with respect to momenta near the boundary of Ω \Omega . As a result, nonstandard caustics emerge, formed by the boundary or its part, near which asymptotic eigenfunctions are expressed in terms of a Bessel function of composite argument. Standard caustics (within the domain) may also appear, which yield Airy functions in the asymptotics.

二维驻波的Airy和Bessel函数形式的非标准Liouville复曲面和渐近线中的焦散
考虑有界二维域Ω\Omega中的谱问题−⟨Ş,D(x)Şψ⟩=λψ-\langle\nabla,D(x)\nabla\psi\rangle=\lambda\psi,其中D(x)D(x)是域内正的光滑函数,并且在其梯度不同于边界上的零的边界上为零。这个问题出现在对被海岸和底部不规则性捕获的长波的研究中。对于其渐近解为λ→ ∞ \λ\rightarrow\infty,当D(x)D(x。由于问题是退化的,因此相关的Liouville tori不在标准相空间T*ΩT^*\Omega中,而是在“扩展”相空间Φ⊃T*Ω\mathbf{\Phi}\supset T^*\ Omega中,而它们对T*ΩT^*\Omega的限制不是紧致的,并且相对于Ω\Omega边界附近的动量“去无穷大”。结果,出现了由边界或其部分形成的非标准焦散,在边界附近,渐近本征函数用复合变元的贝塞尔函数表示。标准焦散(在域内)也可能出现,从而在渐近线中产生Airy函数。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
CiteScore
1.00
自引率
12.50%
发文量
52
审稿时长
>12 weeks
期刊介绍: This journal is a cover-to-cover translation into English of Algebra i Analiz, published six times a year by the mathematics section of the Russian Academy of Sciences.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信