[论文解读] Analysis of a class of non linear subdivision schemes and associated multi-resolution transforms

Sergio Amat, K. Dadourian+1 more|ArXiv.org|Oct 7, 2008

Advanced Numerical Analysis Techniques参考文献 10被引用 7

一句话总结

本文通过将非线性细分格式建模为线性收敛格式的扰动，建立了该类非线性细分格式的收敛性和稳定性条件。证明了若非线性扰动满足压缩性条件，则所得格式收敛，且相应的多分辨率变换保持稳定，从而推广了对WENO、Power-P以及基于球坐标系的非线性格式的研究结果。

ABSTRACT

This paper is devoted to the convergence and stability analysis of a class of nonlinear subdivision schemes and associated multi-resolution transforms. These schemes are defined as a perturbation of a linear subdivision scheme. Assuming a contractivity property, stability and convergence are derived. These results are then applied to various schemes such as uncentered interpolatory linear scheme, WENO scheme [13], Power-P scheme [16] and a non linear scheme using local spherical coordinates [18].

研究动机与目标

• 建立一类广泛非线性细分格式及其相关多分辨率变换的通用收敛性和稳定性条件。
• 解决非线性格式不继承线性格式收敛性带来的稳定性这一挑战，与线性格式不同。
• 通过基于线性格式扰动的统一框架，推广先前针对特定格式（如PPH、WENO）的研究结果。
• 提供充分条件——特别是非线性扰动的压缩性——以确保收敛性和稳定性。
• 在多种格式上验证该框架，包括插值型、WENO、Power-P以及基于球坐标的非线性格式。

提出的方法

• 将非线性细分格式建模为一个线性收敛细分格式S的扰动，其中非线性部分F通过输入数据的差分定义。
• 将非线性算子F定义为一阶差分df和dx的函数，从而通过局部数据变化进行分析。
• 应用广义的Harten多分辨率框架，其中预测算子对应于细分格式。
• 通过验证非线性扰动F相对于差分ℓ∞范数的压缩性，建立收敛性。
• 通过将粗尺度上的误差以初始数据误差和细节系数误差的累积形式进行有界，证明多分辨率变换的稳定性。
• 利用几何和三角参数化（如球坐标系）分析涉及方向性或曲率感知重建的格式。

实验结果

研究问题

• RQ1 当非线性细分格式被定义为线性收敛格式的扰动时，在何种条件下其收敛于连续极限函数？
• RQ2 尽管非线性破坏了标准线性稳定性论证，如何保证其相关多分辨率变换的稳定性？
• RQ3 是否能在一个统一的理论框架下，对特定非线性格式（如WENO、Power-P、球坐标系格式）的收敛性和稳定性进行统一分析？
• RQ4 非线性扰动F的压缩性在确保收敛性和稳定性方面起什么作用？
• RQ5 如何形式化非线性格式对局部数据差分（df, dx）的依赖性，以支持通用收敛性证明？

主要发现

• 若非线性扰动F满足相对于差分df和dx的ℓ∞范数的压缩性条件，则非线性细分格式S_NL收敛于连续极限函数。
• 通过证明在尺度j处的误差被初始数据误差与累计细节系数误差的常数倍所控制，建立了多分辨率变换的稳定性。
• 当扰动函数h的导数h’(x)满足对所有x ∈ [−π, π]有 |1 - √2/π| < h’(x) < 1 + √2/π 时，基于球坐标系的非线性格式S_spherical被证明是收敛的。
• 通过三角恒等式和差分估计，对球坐标格式的压缩性条件进行了验证，即通过有界重构点的变化量。
• 该框架成功将WENO、Power-P及非中心插值格式的收敛性和稳定性证明统一为基于扰动的分析方法。
• 该证明技术可推广至多维情形，如二维球坐标格式中，通过分量的压缩性建立了收敛性。