Abstract:Based on a vector-bundle formulation, we introduce a new family of nonlinear subdivision schemes for manifold-valued data. Any such nonlinear subdivision scheme is based on an underlying linear subdivision scheme. We show that if the underlying linear subdivision scheme reproduces Pi(k), then the nonlinear scheme satisfies an order k proximity condition with the linear scheme. We also develop a new "proximity double right arrow smoothness" theorem, improving the one in [J. Wallner, Constr. Approx., 24 (2006), pp. 289-318]. Combining the two results, we can conclude that if the underlying linear scheme is C(k) and stable, then the nonlinear scheme is also Ck. The family of manifold-valued data subdivision scheme introduced in this paper includes a variant of the log-exp scheme, proposed in [I. U. Rahman et al., Multiscale Model. Simul., 4 (2005), pp. 1201-1232], as a special case, but not the original log-exp scheme when the underlying linear scheme is non-interpolatory. The original log-exp scheme uses the same tangent plane for both the odd and the even rules, while the variant uses two different, judiciously chosen, tangent planes. We also present computational experiments that indicate that the original smoothness equivalence conjecture posted in [I. U. Rahman et al., Multiscale Model. Simul., 4 (2005), pp. 1201-1232] is unlikely to be true. Our result also generalizes the recent results in [G. Xie and T. P.-Y. Yu, SIAM J. Numer. Anal., 45 (2007), pp. 1200-1225], [G. Xie and T. P.-Y. Yu, IMA J. Numer. Anal., to appear], [P. Grohs, IMA J. Numer. Anal., to appear], [P. Grohs, Smoothness Equivalence Properties of Univariate Subdivision Schemes and Their Projection Analogues, manuscript, 2007]. It uses only the intrinsic smoothness structure of the manifold and (hence) does not rely on any embedding or Lie group or symmetric space or Riemannian structure. In particular, concepts such as geodesics, log and exp maps, or projection from ambient space play no explicit role in the theorem. Also, the underlying linear scheme need not be interpolatory.

Moduli of Smoothness and Polynomial Approximation on the Unit Sphere

Moduli Of Smoothness And Approximation On The Unit Sphere And The Unit Ball

The Equivalence Relations Between the Ditzian–Totik Moduli of Smoothness and Best Polynomial Approximation in the Besov Spaces

K -Functional, Weighted Moduli of Smoothness, and Best Weighted Polynomial Approximation on a Simplex

Moduli spaces as ball quotients I, local theory

GEOMETRY MODULI SPACES

A SURVEY OF POLYNOMIAL APPROXIMATION ON THE SPHERE

Recent Results on the Moduli Spaces of Riemann Surfaces

Polynomial approximation on $C^2$-domains

On moduli of smoothness with Jacobi weights

Polynomial Approximation in Sobolev Spaces on the Unit Sphere and the Unit Ball

Jackson inequality for Banach spaces on the sphere

Jackson-type Inequalities on High-Dimensional Spheres

Smoothness Equivalence Properties of Manifold-Valued Data Subdivision Schemes Based on the Projection Approach

A unified approach to inequalities for K-functionals and moduli of smoothness

Smoothness Equivalence Properties of Interpolatory Lie Group Subdivision Schemes

Smoothness Equivalence Properties of General Manifold-Valued Data Subdivision Schemes

Rough Singular Integrals and Maximal Operators with Mixed Homogeneity along Compound Curves

Equivalence of Measures of Smoothness in L > P(Sd-1), 1 < P < Infinity

On the Smoothness of Zero-Extensions