Low-regularity exponential-type integrators for the Zakharov system with rough data in all dimensions

IF 4.6 Q2 MATERIALS SCIENCE, BIOMATERIALS
Hang Li, Chunmei Su
{"title":"Low-regularity exponential-type integrators for the Zakharov system with rough data in all dimensions","authors":"Hang Li, Chunmei Su","doi":"10.1090/mcom/3973","DOIUrl":null,"url":null,"abstract":"<p>We propose and analyze a type of low-regularity exponential-type integrators (LREIs) for the Zakharov system (ZS) with rough solutions. Our LREIs include a first-order integrator and a second-order one, and they achieve optimal convergence under weaker regularity assumptions on the exact solution compared to the existing numerical methods in literature. Specifically, the first-order integrator exhibits linear convergence in <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper H Superscript m plus 2 Baseline left-parenthesis double-struck upper T Superscript d Baseline right-parenthesis times upper H Superscript m plus 1 Baseline left-parenthesis double-struck upper T Superscript d Baseline right-parenthesis times upper H Superscript m Baseline left-parenthesis double-struck upper T Superscript d Baseline right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:msup>\n <mml:mi>H</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>m</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>2</mml:mn>\n </mml:mrow>\n </mml:msup>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msup>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">T</mml:mi>\n </mml:mrow>\n <mml:mi>d</mml:mi>\n </mml:msup>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mo>×<!-- × --></mml:mo>\n <mml:msup>\n <mml:mi>H</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>m</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n </mml:msup>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msup>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">T</mml:mi>\n </mml:mrow>\n <mml:mi>d</mml:mi>\n </mml:msup>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mo>×<!-- × --></mml:mo>\n <mml:msup>\n <mml:mi>H</mml:mi>\n <mml:mi>m</mml:mi>\n </mml:msup>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msup>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">T</mml:mi>\n </mml:mrow>\n <mml:mi>d</mml:mi>\n </mml:msup>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">H^{m+2}(\\mathbb {T}^d)\\times H^{m+1}(\\mathbb {T}^d)\\times H^m(\\mathbb {T}^d)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> for solutions in <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper H Superscript m plus 3 Baseline left-parenthesis double-struck upper T Superscript d Baseline right-parenthesis times upper H Superscript m plus 2 Baseline left-parenthesis double-struck upper T Superscript d Baseline right-parenthesis times upper H Superscript m plus 1 Baseline left-parenthesis double-struck upper T Superscript d Baseline right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:msup>\n <mml:mi>H</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>m</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>3</mml:mn>\n </mml:mrow>\n </mml:msup>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msup>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">T</mml:mi>\n </mml:mrow>\n <mml:mi>d</mml:mi>\n </mml:msup>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mo>×<!-- × --></mml:mo>\n <mml:msup>\n <mml:mi>H</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>m</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>2</mml:mn>\n </mml:mrow>\n </mml:msup>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msup>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">T</mml:mi>\n </mml:mrow>\n <mml:mi>d</mml:mi>\n </mml:msup>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mo>×<!-- × --></mml:mo>\n <mml:msup>\n <mml:mi>H</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>m</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n </mml:msup>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msup>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">T</mml:mi>\n </mml:mrow>\n <mml:mi>d</mml:mi>\n </mml:msup>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">H^{m+3}(\\mathbb {T}^d)\\times H^{m+2}(\\mathbb {T}^d)\\times H^{m+1}(\\mathbb {T}^d)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> if <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"m greater-than d slash 2\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>m</mml:mi>\n <mml:mo>></mml:mo>\n <mml:mi>d</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo>/</mml:mo>\n </mml:mrow>\n <mml:mn>2</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">m>d/2</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, meaning that only the boundedness of one additional derivative of the solution is required to achieve the first-order convergence. While for the second-order integrator, we show that it achieves second-order accuracy by requiring the boundedness of two additional spatial derivatives of the solution. The order of additional derivatives required is reduced by half compared to the classical trigonometric integrators. The main techniques to design the integrators include a reformulation by introducing new variables to exclude the loss of spatial regularity in the original ZS, accurate integration for the dominant term in the linear part of the equations and appropriate approximations (or averaging approximations) to the exponential phase functions involving the nonlinear interactions. Numerical comparisons with classical integrators confirm that our newly proposed LREIs are superior in accuracy and robustness for handling rough data.</p>","PeriodicalId":2,"journal":{"name":"ACS Applied Bio Materials","volume":null,"pages":null},"PeriodicalIF":4.6000,"publicationDate":"2024-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACS Applied Bio Materials","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/mcom/3973","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATERIALS SCIENCE, BIOMATERIALS","Score":null,"Total":0}
引用次数: 0

Abstract

We propose and analyze a type of low-regularity exponential-type integrators (LREIs) for the Zakharov system (ZS) with rough solutions. Our LREIs include a first-order integrator and a second-order one, and they achieve optimal convergence under weaker regularity assumptions on the exact solution compared to the existing numerical methods in literature. Specifically, the first-order integrator exhibits linear convergence in H m + 2 ( T d ) × H m + 1 ( T d ) × H m ( T d ) H^{m+2}(\mathbb {T}^d)\times H^{m+1}(\mathbb {T}^d)\times H^m(\mathbb {T}^d) for solutions in H m + 3 ( T d ) × H m + 2 ( T d ) × H m + 1 ( T d ) H^{m+3}(\mathbb {T}^d)\times H^{m+2}(\mathbb {T}^d)\times H^{m+1}(\mathbb {T}^d) if m > d / 2 m>d/2 , meaning that only the boundedness of one additional derivative of the solution is required to achieve the first-order convergence. While for the second-order integrator, we show that it achieves second-order accuracy by requiring the boundedness of two additional spatial derivatives of the solution. The order of additional derivatives required is reduced by half compared to the classical trigonometric integrators. The main techniques to design the integrators include a reformulation by introducing new variables to exclude the loss of spatial regularity in the original ZS, accurate integration for the dominant term in the linear part of the equations and appropriate approximations (or averaging approximations) to the exponential phase functions involving the nonlinear interactions. Numerical comparisons with classical integrators confirm that our newly proposed LREIs are superior in accuracy and robustness for handling rough data.

扎哈罗夫系统的低规则指数型积分器与所有维度的粗糙数据
我们针对具有粗糙解的扎哈罗夫系统(ZS)提出并分析了一种低正则指数型积分器(LREIs)。我们的 LREIs 包括一个一阶积分器和一个二阶积分器,与文献中现有的数值方法相比,它们在精确解的较弱规则性假设下实现了最佳收敛。具体来说一阶H m + 2 ( T d ) × H m + 1 ( T d ) × H m ( T d ) H^{m+2}(\mathbb {T}^d)\times H^{m+1}(\mathbb {T}^d)\times H^m(\mathbb {T}^d) 中的解的线性收敛性。 m + 3 ( T d ) × H m + 2 ( T d ) × H m + 1 ( T d ) H^{m+3}(\mathbb {T}^d)\times H^{m+2}(\mathbb {T}^d)\times H^{m+1}(\mathbb {T}^d) if m > d / 2 m>d/2 、这意味着只需要求解的一个额外导数的有界性就能实现一阶收敛。而对于二阶积分器,我们证明它通过要求解的两个额外空间导数的有界性来实现二阶精度。与经典的三角积分器相比,所需的额外导数阶数减少了一半。设计积分器的主要技术包括:通过引入新变量进行重新表述,以排除原始 ZS 中空间规则性的损失;对方程线性部分的主要项进行精确积分;对涉及非线性相互作用的指数相位函数进行适当近似(或平均近似)。与经典积分器的数值比较证实,我们新提出的 LREIs 在处理粗糙数据方面具有更高的准确性和鲁棒性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
ACS Applied Bio Materials
ACS Applied Bio Materials Chemistry-Chemistry (all)
CiteScore
9.40
自引率
2.10%
发文量
464
×
引用
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学术官方微信