非线性演化方程流的符号操作及其在分裂步时间积分器分析中的应用
数值分析
2016-05-03 v1
摘要
我们描述了一个用 Julia 编程语言实现的包,该包执行应用于非线性演化方程、其流以及此类对象的交换子的符号操作。该工具被用于执行在算子分裂方法的局部误差分析中出现的复杂计算。它使得基本方法的收敛性证明以及基于缺陷的误差估计量的渐近正确性证明成为可能。我们通过若干示例展示了该包的性能。
引用
@article{arxiv.1605.00453,
title = {Symbolic Manipulation of Flows of Nonlinear Evolution Equations, with Application in the Analysis of Split-Step Time Integrators},
author = {Winfried Auzinger and Harald Hofstaetter and Othmar Koch},
journal= {arXiv preprint arXiv:1605.00453},
year = {2016}
}