{"title":"Uniform error bounds of an exponential wave integrator for the Klein–Gordon–Schrödinger system in the nonrelativistic and massless limit regime","authors":"Jiyong Li, Minghui Yang","doi":"10.1016/j.matcom.2025.01.027","DOIUrl":null,"url":null,"abstract":"<div><div>We propose an exponential wave integrator Fourier pseudo-spectral (EWI-FP) method and establish the uniform error bounds for the Klein–Gordon–Schrödinger system (KGSS) with <span><math><mrow><mi>ɛ</mi><mo>∈</mo><mrow><mo>(</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>]</mo></mrow></mrow></math></span>. In the nonrelativistic and massless limit regime (<span><math><mrow><mn>0</mn><mo><</mo><mi>ɛ</mi><mo>≪</mo><mn>1</mn></mrow></math></span>), the solution of KGSS propagates waves with wavelength <span><math><mrow><mi>O</mi><mrow><mo>(</mo><mi>ɛ</mi><mo>)</mo></mrow></mrow></math></span> in time and amplitude at <span><math><mrow><mi>O</mi><mrow><mo>(</mo><msup><mrow><mi>ɛ</mi></mrow><mrow><msup><mrow><mi>α</mi></mrow><mrow><mi>†</mi></mrow></msup></mrow></msup><mo>)</mo></mrow></mrow></math></span> where <span><math><mrow><msup><mrow><mi>α</mi></mrow><mrow><mi>†</mi></mrow></msup><mo>=</mo><mo>min</mo><mrow><mo>{</mo><mi>α</mi><mo>,</mo><mi>β</mi><mo>+</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>}</mo></mrow></mrow></math></span> with two parameters <span><math><mi>α</mi></math></span> and <span><math><mi>β</mi></math></span>. The parameters satisfy <span><math><mrow><mi>α</mi><mo>≥</mo><mn>0</mn></mrow></math></span> and <span><math><mrow><mi>β</mi><mo>≥</mo><mo>−</mo><mn>1</mn></mrow></math></span>. In this regime, due to the oscillation in time, it is very difficult to develop efficient schemes and make the corresponding error analysis for KGSS. In this paper, firstly, in order to overcome the difficulty of controlling the nonlinear terms, we transform the KGSS into a system with higher derivative. Then we construct an EWI-FP method and provide the error estimates with two bounds at <span><math><mrow><mi>O</mi><mrow><mo>(</mo><msup><mrow><mi>h</mi></mrow><mrow><mi>σ</mi><mo>+</mo><mn>2</mn></mrow></msup><mo>+</mo><mo>min</mo><mrow><mo>{</mo><mi>τ</mi><mo>/</mo><msup><mrow><mi>ɛ</mi></mrow><mrow><mn>1</mn><mo>−</mo><msup><mrow><mi>α</mi></mrow><mrow><mo>∗</mo></mrow></msup></mrow></msup><mo>,</mo><msup><mrow><mi>τ</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>/</mo><msup><mrow><mi>ɛ</mi></mrow><mrow><mn>2</mn><mo>−</mo><msup><mrow><mi>α</mi></mrow><mrow><mi>†</mi></mrow></msup></mrow></msup><mo>}</mo></mrow><mo>)</mo></mrow></mrow></math></span> and <span><math><mrow><mi>O</mi><mrow><mo>(</mo><msup><mrow><mi>h</mi></mrow><mrow><mi>σ</mi><mo>+</mo><mn>2</mn></mrow></msup><mo>+</mo><msup><mrow><mi>τ</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>+</mo><msup><mrow><mi>ɛ</mi></mrow><mrow><msup><mrow><mi>α</mi></mrow><mrow><mi>†</mi></mrow></msup></mrow></msup><mo>)</mo></mrow></mrow></math></span>, respectively, where <span><math><mrow><msup><mrow><mi>α</mi></mrow><mrow><mo>∗</mo></mrow></msup><mo>=</mo><mo>min</mo><mrow><mo>{</mo><mn>1</mn><mo>,</mo><mi>α</mi><mo>,</mo><mn>1</mn><mo>+</mo><mi>β</mi><mo>}</mo></mrow></mrow></math></span>, <span><math><mi>σ</mi></math></span> has to do with the smoothness of the solution in space, <span><math><mi>h</mi></math></span> is mesh size and <span><math><mi>τ</mi></math></span> is time step. From the two error bounds, we obtain the error estimates <span><math><mrow><mi>O</mi><mrow><mo>(</mo><msup><mrow><mi>h</mi></mrow><mrow><mi>σ</mi><mo>+</mo><mn>2</mn></mrow></msup><mo>+</mo><msup><mrow><mi>τ</mi></mrow><mrow><msup><mrow><mi>α</mi></mrow><mrow><mi>†</mi></mrow></msup></mrow></msup><mo>)</mo></mrow></mrow></math></span> for <span><math><mrow><mi>α</mi><mo>≥</mo><mn>0</mn></mrow></math></span> and <span><math><mrow><mi>β</mi><mo>≥</mo><mo>−</mo><mn>1</mn></mrow></math></span>. Hence, we get uniform second-order error bounds at <span><math><mrow><mi>O</mi><mrow><mo>(</mo><msup><mrow><mi>h</mi></mrow><mrow><mi>σ</mi><mo>+</mo><mn>2</mn></mrow></msup><mo>+</mo><msup><mrow><mi>τ</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></mrow></mrow></math></span> in time when <span><math><mrow><mi>α</mi><mo>≥</mo><mn>2</mn></mrow></math></span> and <span><math><mrow><mi>β</mi><mo>≥</mo><mn>1</mn></mrow></math></span>, and uniformly accurate first-order error estimates for any <span><math><mrow><mi>α</mi><mo>≥</mo><mn>1</mn></mrow></math></span> and <span><math><mrow><mi>β</mi><mo>≥</mo><mn>0</mn></mrow></math></span>. We also get uniformly accurate spatial spectral accuracy for any <span><math><mrow><mi>α</mi><mo>≥</mo><mn>0</mn></mrow></math></span> and <span><math><mrow><mi>β</mi><mo>≥</mo><mo>−</mo><mn>1</mn></mrow></math></span>. Our numerical results support our conclusions.</div></div>","PeriodicalId":49856,"journal":{"name":"Mathematics and Computers in Simulation","volume":"233 ","pages":"Pages 237-258"},"PeriodicalIF":4.4000,"publicationDate":"2025-02-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematics and Computers in Simulation","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0378475425000357","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS","Score":null,"Total":0}
引用次数: 0
Abstract
We propose an exponential wave integrator Fourier pseudo-spectral (EWI-FP) method and establish the uniform error bounds for the Klein–Gordon–Schrödinger system (KGSS) with . In the nonrelativistic and massless limit regime (), the solution of KGSS propagates waves with wavelength in time and amplitude at where with two parameters and . The parameters satisfy and . In this regime, due to the oscillation in time, it is very difficult to develop efficient schemes and make the corresponding error analysis for KGSS. In this paper, firstly, in order to overcome the difficulty of controlling the nonlinear terms, we transform the KGSS into a system with higher derivative. Then we construct an EWI-FP method and provide the error estimates with two bounds at and , respectively, where , has to do with the smoothness of the solution in space, is mesh size and is time step. From the two error bounds, we obtain the error estimates for and . Hence, we get uniform second-order error bounds at in time when and , and uniformly accurate first-order error estimates for any and . We also get uniformly accurate spatial spectral accuracy for any and . Our numerical results support our conclusions.
期刊介绍:
The aim of the journal is to provide an international forum for the dissemination of up-to-date information in the fields of the mathematics and computers, in particular (but not exclusively) as they apply to the dynamics of systems, their simulation and scientific computation in general. Published material ranges from short, concise research papers to more general tutorial articles.
Mathematics and Computers in Simulation, published monthly, is the official organ of IMACS, the International Association for Mathematics and Computers in Simulation (Formerly AICA). This Association, founded in 1955 and legally incorporated in 1956 is a member of FIACC (the Five International Associations Coordinating Committee), together with IFIP, IFAV, IFORS and IMEKO.
Topics covered by the journal include mathematical tools in:
•The foundations of systems modelling
•Numerical analysis and the development of algorithms for simulation
They also include considerations about computer hardware for simulation and about special software and compilers.
The journal also publishes articles concerned with specific applications of modelling and simulation in science and engineering, with relevant applied mathematics, the general philosophy of systems simulation, and their impact on disciplinary and interdisciplinary research.
The journal includes a Book Review section -- and a "News on IMACS" section that contains a Calendar of future Conferences/Events and other information about the Association.