用于解决多物理场时间演化问题的著名方法称为“分步法”或“分裂法”,通常适用于右侧有项和的偏微分方程,基本上它包括使用部分更新,一次一个术语。所以对于 PDE
分数步方法将导致像这样的时间步长方案
并且有一些变化可以提高准确性(斯特朗分裂等)
当然,在整个问题中使用针对物理的特定部分调整的专用方法(代码)有很大的优势,例如,对于处理非理想流体动力学,可以将一种特定于理想流体动力学的方法和扩散方程求解器结合起来。但这总是能保证有效吗?
如果我们有两个(或更多)复杂模型和可作为“黑匣子”(可能实现为单独的复杂代码),我们想研究自洽时间演化和在右手边,我们怎样才能让自己相信解决方案是正确的?一些信心可能基于改变时间步长的收敛性研究. 但即使结果确实在时间步内收敛,这真的保证解决方案是正确的吗?我想这个问题更广泛地适用于非线性方程的任何时间积分方法。如果时间积分方法是稳定的,则有 Lax 等价定理可以保证收敛到一致的有限差分近似的精确解,但它仅适用于线性时间演化问题。
对于哪类问题,可以证明分数步时间积分技术的解收敛于方程的精确解?对于哪些类别的问题可以证明这种技术不会导致正确的解决方案?