Knot insertion from a blossoming point of view (Q1116265)

Zu jeder polynomialen Abbildung F: \({\mathbb{R}}\to {\mathbb{R}}^ d\) vom Grad n existiert genau eine Abbildung (``blossom'') f: \({\mathbb{R}}\to {\mathbb{R}}^ d\) mit den Eigenschaften (i) \(f(u_ 1,...,u_ n)\) ist invariant gegenüber Permutationen der \(u_ i\); (ii) \(f(u_ 1,...,u_ n)\) ist affin-linear in jedem Argument \(u_ i\); (iii) es besteht die Identität \(F(t)=f(t,...,t)\) [cf. \textit{L. Ramshaw}, Béziers and B-Splines as multiaffine maps, in: Theoretical Foundations of Computer Graphics and CAD, Proc. NATO International Advanced Study Institute, Italy, July 87, Springer, New York. (1987) and Blossoming: A Connect-the-Dots Approach to Splines, Digital Systems Research Center, Palo Alto (1987)]. Beispiel: zu \(F(t)=t^ 2(1-t)\) gehört \(f(u_ 1,u_ 2,u_ 3)=1/3[u_ 1u_ 2(1- u_ 3)+u_ 2u_ 3(1-u_ 1)+u_ 3u_ 1(1-u_ 2)]\). Gegeben sei nun eine B-Spline-Kurve der Ordnung k (Grad k-1) mit der Darstellung \(F(t)=\sum_{i}\underline d_ iN_{ik}(t)\) \((N_{ik}\) B-Splines zu den vorgegebenen Knoten \(t_ 0,t_ 1,...;d_ i\in {\mathbb{R}}^ d)\); die zur Einschränkung von F auf das Knotenintervall \((t_ j,t_{j+1})\) gehörige Abbildung mit (i), (ii), (iii) sei \(f_ j\). Es wird gezeigt, wie sich bei Einfügen eines zusätzlichen Knotens \(t^*\) die de Boor- Punkte ḏ\({}^*_ i\) der neuen Darstellung für die gegebene Kurve aus den \(f_ j\) ermitteln lassen; dies eröffnet einen weiteren Zugang zu der von \textit{W. Boehm} [Inserting new knots into B-spline curves, Comput. Aided Design 12, 199-201 (1980)] angegeben algorithmischen Vorschrift.