Convergence and \(C^1\) analysis of subdivision schemes on manifolds by proximity (Q2574271)

Curve subdivision schemes on manifolds and in Lie groups are constructed from linear subdivision schemes by first representing the rules of affinely invariant linear schemes in terms of repeated affine averages, and then replacing the operation of affine average either by a geodesic average or by projection of the affine averages onto a surface. The analysis of such a nonlinear scheme is performed by its proximity to the corresponding linear scheme which it was derived from. It is shown that if the linear scheme is convergent, the proximity condition leads to the convergence of any analogous nonlinear scheme, and to the continuity of its limit curves, provided that the distances of consecutive points in the initial control polygon are small enough. Moreover, if the linear scheme satisfies a certain condition which is sufficient for \(C^1\) limit curves, then each of its analogous convergent nonlinear schemes generate \(C^1\) limit curves. Furthermore, the limit curves generated from the same initial control polygon by different nonlinear schemes, all derived from the same linear scheme, are close to each other.