<p>This paper studies the numerical solution of the semiclassical nonlinear Schrödinger equation on the <i>d</i>-dimensional torus <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathbb {T}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">T</mi> </mrow> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation>, with highly oscillatory initial data depending on a small parameter <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\varepsilon \in (0,1]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>. We first show that a WKB-type approximation attains an <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal {O}(\varepsilon )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">O</mi> <mo stretchy="false">(</mo> <mi>ε</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> error in the <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> norm for <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(H^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>H</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> initial data theoretically, although its accuracy deteriorates as <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\varepsilon \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ε</mi> </math></EquationSource> </InlineEquation> increases. To address this limitation, we propose a numerical scheme that (i) applies a Galilean transform to remove the oscillations in the initial data, (ii) establishes sharp space–time estimates for the transformed equation, and (iii) employs a new low-regularity integrator to achieve second-order accuracy under the minimal <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(H^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>H</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> regularity, which is weaker than the regularity assumptions in the literature. Furthermore, our analysis shows that the CFL-type conditions linking <i>h</i>, <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\varepsilon \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ε</mi> </math></EquationSource> </InlineEquation>—typically imposed in the semiclassical regime in the literature—are not required in our scheme to obtain second-order convergence with respect to <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation> and <i>h</i>, uniformly with respect to <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\varepsilon \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ε</mi> </math></EquationSource> </InlineEquation>, under the weaker regularity condition. Numerical experiments support the theoretical results and demonstrate the robustness of the method across a wide range of <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\varepsilon \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ε</mi> </math></EquationSource> </InlineEquation>.</p>

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

Second-order uniformly accurate method for the semiclassical nonlinear Schrödinger equation with initial data in \({{\text {H}}^2}\)

  • Buyang Li,
  • Yifei Wu,
  • Fangyan Yao

摘要

This paper studies the numerical solution of the semiclassical nonlinear Schrödinger equation on the d-dimensional torus \(\mathbb {T}^d\) T d , with highly oscillatory initial data depending on a small parameter \(\varepsilon \in (0,1]\) ε ( 0 , 1 ] . We first show that a WKB-type approximation attains an \(\mathcal {O}(\varepsilon )\) O ( ε ) error in the \(L^2\) L 2 norm for \(H^2\) H 2 initial data theoretically, although its accuracy deteriorates as \(\varepsilon \) ε increases. To address this limitation, we propose a numerical scheme that (i) applies a Galilean transform to remove the oscillations in the initial data, (ii) establishes sharp space–time estimates for the transformed equation, and (iii) employs a new low-regularity integrator to achieve second-order accuracy under the minimal \(H^2\) H 2 regularity, which is weaker than the regularity assumptions in the literature. Furthermore, our analysis shows that the CFL-type conditions linking h, \(\tau \) τ , and \(\varepsilon \) ε —typically imposed in the semiclassical regime in the literature—are not required in our scheme to obtain second-order convergence with respect to \(\tau \) τ and h, uniformly with respect to \(\varepsilon \) ε , under the weaker regularity condition. Numerical experiments support the theoretical results and demonstrate the robustness of the method across a wide range of \(\varepsilon \) ε .