arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 0912.2882math.NAcs.NAmath.DS
收藏

非线性PDE分裂近似的哈密顿插值

Hamiltonian interpolation of splitting approximations for nonlinear PDEs

INRIA(法国国家信息与自动化研究所);ENS Cachan Bretagne(巴黎高等师范学院布列塔尼分校);Laboratoire de Mathématiques Jean Leray, Université de Nantes(南特大学让·勒雷数学实验室)

Erwan Faou, Benoit Grebert

AI总结:

针对半线性哈密顿偏微分方程的时间分裂方法,通过构造修正的插值哈密顿方程,证明了在非共振条件下数值流与连续流在指数长时间内保持接近。

摘要:

我们考虑一大类半线性哈密顿偏微分方程及其时间分裂方法的近似。假设非线性项是多项式的,并且数值轨迹相对于线性算子的特征基(通常是傅里叶基)至少保持一致可积。我们证明存在一个修正的插值哈密顿方程,其精确解在每一步时间步长上与离散流重合,且长时间依赖于步长满足的非共振条件。我们引入了一类满足该条件的高阶修正分裂格式,并证明对于这些格式,数值流与连续流在关于步长的指数长时间内保持接近。对于标准分裂或隐式-显式格式,这种后向误差分析结果在依赖于高频截断条件(CFL条件)的时间上成立。该分析适用于线性算子具有离散(有界域)或连续(全空间)谱的情况。

英文摘要:

We consider a wide class of semi linear Hamiltonian partial differential equa- tions and their approximation by time splitting methods. We assume that the nonlinearity is polynomial, and that the numerical tra jectory remains at least uni- formly integrable with respect to an eigenbasis of the linear operator (typically the Fourier basis). We show the existence of a modified interpolated Hamiltonian equation whose exact solution coincides with the discrete flow at each time step over a long time depending on a non resonance condition satisfied by the stepsize. We introduce a class of modified splitting schemes fulfilling this condition at a high order and prove for them that the numerical flow and the continuous flow remain close over exponentially long time with respect to the step size. For stan- dard splitting or implicit-explicit scheme, such a backward error analysis result holds true on a time depending on a cut-off condition in the high frequencies (CFL condition). This analysis is valid in the case where the linear operator has a discrete (bounded domain) or continuous (the whole space) spectrum.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑