<p>In this paper, we introduce an algorithm that provides approximate solutions to semi-linear ordinary differential equations with highly oscillatory solutions, which, after an appropriate change of variables, can be rewritten as non-autonomous systems with a <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10915_2025_2880_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\((2\pi /\omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mn>2</mn> <mi>π</mi> <mo stretchy="false">/</mo> <mi>ω</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-periodic dependence on <i>t</i>. The proposed approximate solutions are given in closed form as functions <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10915_2025_2880_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\(X(\omega t,t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo stretchy="false">(</mo> <mi>ω</mi> <mi>t</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10915_2025_2880_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(X(\theta ,t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo stretchy="false">(</mo> <mi>θ</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is (i) a truncated Fourier series in <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10915_2025_2880_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>θ</mi> </math></EquationSource> </InlineEquation> for fixed <i>t</i> and (ii) a truncated Taylor series in <i>t</i> for fixed <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10915_2025_2880_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>θ</mi> </math></EquationSource> </InlineEquation>, which motivates the name of the method. These approximations are uniformly accurate in <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10915_2025_2880_Article_IEq6.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ω</mi> </math></EquationSource> </InlineEquation>, meaning that their accuracy does not degrade as <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10915_2025_2880_Article_IEq7.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega \rightarrow \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>. In addition, Taylor–Fourier approximations enable the computation of high-order averaging equations for the original semi-linear system, as well as related maps that are particularly useful in the highly oscillatory regime (i.e., for sufficiently large <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10915_2025_2880_Article_IEq6.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ω</mi> </math></EquationSource> </InlineEquation>). The main goal of this paper is to develop an efficient procedure for computing such approximations by combining truncated power series arithmetic with the Fast Fourier Transform (FFT). We present numerical experiments that illustrate the effectiveness of the proposed method, including applications to the nonlinear Schrödinger equation with non-smooth initial data and a perturbed Kepler problem from satellite orbit dynamics.</p>

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

Taylor–Fourier Approximation

  • M. P. Calvo,
  • J. Makazaga,
  • A. Murua

摘要

In this paper, we introduce an algorithm that provides approximate solutions to semi-linear ordinary differential equations with highly oscillatory solutions, which, after an appropriate change of variables, can be rewritten as non-autonomous systems with a \((2\pi /\omega )\) ( 2 π / ω ) -periodic dependence on t. The proposed approximate solutions are given in closed form as functions \(X(\omega t,t)\) X ( ω t , t ) , where \(X(\theta ,t)\) X ( θ , t ) is (i) a truncated Fourier series in \(\theta \) θ for fixed t and (ii) a truncated Taylor series in t for fixed \(\theta \) θ , which motivates the name of the method. These approximations are uniformly accurate in \(\omega \) ω , meaning that their accuracy does not degrade as \(\omega \rightarrow \infty \) ω . In addition, Taylor–Fourier approximations enable the computation of high-order averaging equations for the original semi-linear system, as well as related maps that are particularly useful in the highly oscillatory regime (i.e., for sufficiently large \(\omega \) ω ). The main goal of this paper is to develop an efficient procedure for computing such approximations by combining truncated power series arithmetic with the Fast Fourier Transform (FFT). We present numerical experiments that illustrate the effectiveness of the proposed method, including applications to the nonlinear Schrödinger equation with non-smooth initial data and a perturbed Kepler problem from satellite orbit dynamics.