Blending based corner cutting subdivision scheme for nets of curves (Q631030)

Suppose we are given a continuous parametric surface defined over the rectangle \([0,nd]\times[0,md]\). By slicing the surface vertically along \(\{id\}\times[0,md]\) (\(0\leq i\leq n\)), we obtain continuous parametric curves \(\phi_i\). Similarly, we obtain curves \(\psi_j\) (\(0\leq j\leq m\)) by slicing horizontally along \([0,nd]\times\{jd\}\). These two collections of curves are necessarily compatible at intersection points: \(\phi_i(jd)=\psi_j(id)\). The inverse problem is to construct a surface from a compatible collection, or net, of continuous curves \(N_0\). We may view \(N_0\) as defining the boundaries of a surface patch over each square \([id,(i+1)d]\times[jd,(j+1)d]\). The values in each patch can be interpolated from the boundary curves in a standard way using a \textit{Coons patch}, and all such patches taken together form a piecewise continuous surface \({\mathcal C}(N_0)\). However, the first order derivatives will not be continuous across patch boundaries, even if the curves in \(N_0\) are smooth. In a previous article, the authors defined a subdivision scheme by taking \(N_{k+1}\) (\(k\geq 0\)) to be the compatible net of continuous curves obtained by slicing the Coons patches of \({\mathcal C}(N_k)\) along \(\{(i+\tfrac{s}{4})d_k\}\times[0,md]\) and \([0,nd]\times\{(j+\tfrac{s}{4})d_k\}\) for \(s=1,3\), where \(d_k\doteq 2^{-k}d\). The resulting surface was shown to be continuous, although not smooth. With the current article, the authors modify the above construction by introducing a \textit{corner cutting} construction to the curves obtained by slicing \({\mathcal C}(N_k)\). This construction takes a continuous function with a single jump discontinuity, and subtracts off a piecewise linear function in such a way as to remove the discontinuity, albeit at the expense of changing the values of the first derivative at the end points. The surface that results from the modified subdivision scheme is shown to be continuous, and with continuous first derivatives whenever the curves in \(N_0\) have a bounded second derivative. It is also shown that if \(N_0\) is sampled from a smooth surface, the surface obtained through their subdivision scheme approximates the original surface to second order in the parameter \(d\). The article is intended for an audience knowledgeable in subdivision schemes for curves and surfaces. It is well-organized, although there are occasional typographical errors.