Blossoming

Das Blossoming-Prinzip stellt im Computer Aided Geometric Design eine Verbindung von Punkten einer Kurve und ihren Kontrollpunkten her. Es wurde 1984 von Paul de Casteljau entdeckt und 1987 von Lyle Ramshaw veröffentlicht.^[1] Im Falle von identischen Argumenten (der sog. Diagonalen) bestimmt das Blossom den Punkt einer Kurve, im Fall von konsekutiven Argumenten einen Kontrollpunkt dieser Kurve. Insbesondere verbindet das Blossoming die Theorien für Bézierkurven und B-Spline-Kurven und -Flächen, mithin den de-Casteljau-Algorithmus mit dem de-Boor-Algorithmus.

Definition

Als Blossom $𝐛 [t_{1}, \dots, t_{n}]$ des Polynoms $𝐛 (t)$ wird in der Mathematik, insbesondere im Computer Aided Design, eine Funktion mit $n$ Argumenten bezeichnet, die durch drei Eigenschaften definiert ist:

Sie ist symmetrisch in ihren Argumenten:

𝐛 [t_{1}, \dots, t_{n}] = 𝐛 [π (t_{1}, \dots, t_{n})],

(wobei

π

eine beliebige Permutation ihrer Argumente ist).

Sie ist multi-affin, also affin in jedem ihrer Argumente:

𝐛 [α r + β s, \dots] = α 𝐛 [r, \dots] + β 𝐛 [s, \dots], mit α + β = 1 .

Sie erfüllt die Diagonal-Eigenschaft:

𝐛 [t, \dots, t] = 𝐛 (t) .

Berechnung

Da sich jede rationale symmetrische Funktion in $t_{1}, \dots, t_{n}$ als ein Polynom in den elementarsymmetrischen Funktionen

σ_{1}^{n} = t_{1} + t_{2} + \dots + t_{n}

σ_{2}^{n} = t_{1} t_{2} + t_{1} t_{3} + \dots + t_{2} t_{3} + \dots + t_{n - 1} t_{n}

\dots

σ_{n}^{n} = t_{1} t_{2} t_{3} \dots t_{n}

schreiben lässt, können wir das Blossom des Polynoms

𝐛 (t) = 𝐚_{0} + \sum_{i = 1}^{n} 𝐚_{i} (\binom{n}{i}) t^{n}

algebraisch finden als

𝐛 [t_{1}, \dots, t_{n}] = 𝐚_{0} + \sum_{i = 1}^{n} 𝐚_{i} σ_{i}^{n}

Beispiel

Das Blossom des quartischen Polynoms

\begin{matrix} 𝐱 (t) & = 𝐚_{0} (\binom{4}{0}) t^{0} + 𝐚_{1} (\binom{4}{1}) t^{1} + 𝐚_{2} (\binom{4}{2}) t^{2} + 𝐚_{3} (\binom{4}{3}) t^{3} + 𝐚_{4} (\binom{4}{4}) t^{4} \\ = 𝐚_{0} + 4 𝐚_{1} t + 6 𝐚_{2} t^{2} + 4 𝐚_{3} t^{3} + 𝐚_{4} t^{4} \end{matrix}

ist das symmetrische, 4-affine Polynom

\begin{matrix} 𝐱 [t_{1}, \dots, t_{4}] = 𝐚_{0} & + 𝐚_{1} (t_{1} + t_{2} + t_{3} + t_{4}) \\ + 𝐚_{2} (t_{1} t_{2} + t_{1} t_{3} + t_{1} t_{4} + t_{2} t_{3} + t_{2} t_{4} + t_{3} t_{4}) \\ + 𝐚_{3} (t_{1} t_{2} t_{3} + t_{1} t_{2} t_{4} + t_{1} t_{3} t_{4} + t_{2} t_{3} t_{4}) \\ + 𝐚_{4} (t_{1} t_{2} t_{3} t_{4}) \end{matrix}

Anwendung

Blossoming einer Bézierkurve

De-Casteljau-Algorithmus für eine Bezier-Kurve 3. Grades

Am Beispiel einer Bézierkurve vom Grad $n = 3$ wird deutlich, wie mittels Blossoming sowohl Kurvenpunkte (im Bild $𝐛_{0}$ und $𝐛_{3}$ ) als auch Kontrollpunkte (im Bild $𝐛_{1}$ und $𝐛_{2}$ ) ermittelt werden können.

Das Blossom der Bézierkurve

\begin{matrix} 𝐛 (t) & = \sum_{i = 0}^{3} (\binom{3}{i}) t^{i} (1 - t)^{3 - i} 𝐛_{i} \\ = (1 - t)^{3} 𝐛_{0} + 3 t (1 - t)^{2} 𝐛_{1} + 3 t^{2} (1 - t) 𝐛_{2} + t^{3} 𝐛_{3} \end{matrix}

ist das symmetrische tri-affine Polynom

\begin{matrix} 𝐛 [t_{1}, t_{2}, t_{3}] & = 𝐛_{0} (1 - t_{1}) (1 - t_{2}) (1 - t_{3}) \\ + 𝐛_{1} [t_{1} (1 - t_{2}) (1 - t_{3}) + (1 - t_{1}) t_{2} (1 - t_{3}) + (1 - t_{1}) (1 - t_{2}) t_{3}] \\ + 𝐛_{2} [t_{1} t_{2} (1 - t_{3}) + t_{1} (1 - t_{2}) t_{3} + (1 - t_{1}) t_{2} t_{3}] \\ + 𝐛_{3} t_{1} t_{2} t_{3} \end{matrix}

Setzen wir für $t_{1}, t_{2}, t_{3}$ spezielle Werte ein, so ergibt sich:

\begin{matrix} 𝐛_{000} : = 𝐛 [0, 0, 0] & = 𝐛_{0} \\ 𝐛_{001} & = 𝐛_{1} \\ 𝐛_{011} & = 𝐛_{2} \\ 𝐛_{111} & = 𝐛_{3} \end{matrix}

Mehr noch, wir können auch die Zwischenpunkte des de-Casteljau-Algorithmus direkt berechnen als:

\begin{matrix} 𝐛_{00 t} : = 𝐛 [0, 0, t] & = 𝐛_{0}^{1} \\ 𝐛_{0 t 1} & = 𝐛_{1}^{1} & 𝐛_{0 t t} & = 𝐛_{0}^{2} \\ 𝐛_{t 11} & = 𝐛_{2}^{1} & 𝐛_{t t 1} & = 𝐛_{1}^{2} & 𝐛_{t t t} & = 𝐛_{0}^{3} = 𝐛 (t) \end{matrix}

Blossoming einer B-Splinekurve

Wir fügen polynomiale Kurven stückweise zusammen zur B-Spline-Kurve

\begin{matrix} 𝐬 (u) & = \sum_{i = 1}^{n} 𝐜_{i} N_{i}^{n} (u) \end{matrix}

mit B(asis)-Splines $N_{i}^{n}$ . Fügt man die zugrundeliegenden Parameter-Intervalle aneinander, so ergeben sie eine Knotenfolge $u_{1}, u_{2}, \dots, u_{n}$ . Blossoming auf den Teilintervallen führt zu den jeweiligen Bézierkurven bzw. den Kontrollpunkten des de-Casteljau-Algorithmus, also etwa

\begin{matrix} 𝐬_{333} : = 𝐬 [u_{3}, u_{3}, u_{3}] & = 𝐛_{0} \\ 𝐬_{334} & = 𝐛_{1} \\ 𝐬_{344} & = 𝐛_{2} \\ 𝐬_{444} & = 𝐛_{3} \end{matrix}

Blossoming über die Teilintervalle hinaus führt zu den Kontrollpunkten des de-Boor-Algorithmus:

\begin{matrix} 𝐬_{123} : = 𝐬 [u_{1}, u_{2}, u_{3}] & = 𝐜_{0} \\ 𝐬_{234} & = 𝐜_{1} \\ 𝐬_{345} & = 𝐜_{2} \\ 𝐬_{456} & = 𝐜_{3} \end{matrix}

Blossom und Oskulante

Zu einer polynomialen Kurve $𝐱 (t)$ vom Grad n definieren wir

Δ_{a} 𝐱 (t) : = 𝐱 (t) + \dot{𝐱} (t) \frac{a - t}{n}

als die erste Oskulante von $𝐱 (t)$ zum Knoten $a$ . Sie ist eine polynomiale Kurve vom Grad $n - 1$ in $t$ und hat mit $𝐱 (t)$ nur den Punkt $𝐱 (a)$ gemeinsam, an welchem die Kurven einen Kontakt der Ordnung $n - 1$ haben.

Zu $Δ_{a} 𝐱$ lässt sich zu einem Knoten $b$ erneut eine Oskulante bestimmen. Sie ist die zweite Oskulante von $𝐱$ zu den Knoten $a$ und $b$ :

\begin{matrix} Δ_{a b} 𝐱 & = Δ_{b} (Δ_{a} 𝐱) \\ = Δ_{b} 𝐱 + Δ_{b} (\dot{𝐱} (t) \frac{a - t}{n}) \\ = 𝐱 + \dot{𝐱} \frac{(a - t) + (b - t)}{n} + \ddot{𝐱} \frac{(a - t) (b - t)}{n - 1} \end{matrix}

Eigenschaften der Oskulante

Oskulanten besitzen folgende Eigenschaften:

Sie sind symmetrisch in den Knoten:

Δ_{a b} 𝐱 = Δ_{b a} 𝐱

Sie sind affin in den Knoten: Aus $a = p \cdot (1 - t) + q \cdot t$ folgt

Δ_{a} 𝐱 = (1 - t) \cdot Δ_{p} 𝐱 + t \cdot Δ_{q} 𝐱

Ihre Diagonale ist identisch mit der Kurve:

Δ_{t}^{n} 𝐱 = Δ_{t \dots t} 𝐱 = 𝐱 (t)

Oskulanten wurden 1886 von Stanislaus Jolles in seiner Habilitationsschrift eingeführt. Sie sind im parametrischen Fall identisch mit den Blossoms von de Casteljau und Ramshaw und lassen sich mittels Blossoming einfach herleiten: Für eine kubische Bézierkurve mit den Kontrollpunkten $𝐛_{000}, 𝐛_{001}, 𝐛_{011}, 𝐛_{111}$ wird die Oskulante zum Knoten $t$ durch die folgenden Bézier-Kontrollpunkte definiert: $𝐛_{00 t}, 𝐛_{0 t 1}, 𝐛_{t 11}$

Literatur

Einzelnachweise

↑ Vorlage:Internetquelle

[Ramshaw1-1] Vorlage:Internetquelle

[1]

Blossoming

Inhaltsverzeichnis

Definition

Berechnung

Beispiel

Anwendung

Blossoming einer Bézierkurve

Blossoming einer B-Splinekurve

Blossom und Oskulante

Eigenschaften der Oskulante

Literatur

Einzelnachweise

Navigationsmenü

Blossoming

Definition

Berechnung

Beispiel

Anwendung

Blossoming einer Bézierkurve

Blossoming einer B-Splinekurve

Blossom und Oskulante

Eigenschaften der Oskulante

Literatur

Einzelnachweise

Navigationsmenü

Suche