Fachbereich Mathematik und Informatik WS 2007/2008 der Philipps-Universit¨at Marburg
Stephan Dahlke Manuel Werner
6. ¨ Ubungsblatt zur Vorlesung Computer Aided Geometric Design Abgabe: Donnerstag, 24.01.2008, vor der Vorlesung
Aufgabe 16: Eigenschaften der dividierten Differenzen
Weisen Sie die folgenden Eigenschaften der dividierten Differenzen nach.
i) [θ 0 , . . . , θ n ]P = 0 f¨ur alle P ∈ Π n−1 ;
ii) [ θ 0 , . . . , θ n ] f = [ θ π(0) , . . . , θ π(n) ] f f¨ur alle f ∈ C n ( R ), wobei π : {0 , . . . , n } → {0 , . . . , n } eine beliebige Permutation ist, d.h. die n -te dividierte Differenz ist unabh¨angig von der Reihenfolge der involvierten Koeffizienten;
iii) f¨ur θ i 6= θ j gilt die folgende Rekursionsformel
[θ 0 , . . . , θ n ]f = [ θ 0 , . . . , θ i−1 , θ i+1 , . . . θ n ] f − [ θ 0 , . . . , θ j−1 , θ j+1 , . . . θ n ] f
θ j − θ i ;
iv) f¨ur jedes f ∈ C n ( R ) gilt [θ 0 , . . . , θ n ]f =
Z
Σ
nf (n) (λ 0 θ 0 + · · · + λ n θ n )dλ 1 · · · dλ n , wobei Σ n := {(λ 0 , . . . , λ n ) ⊤ : P n
j=0 λ j = 1 , λ j ≥ 0 f¨ur j = 0, . . . , n} der n- dimensionale Standardsimplex ist;
v) [θ 0 , . . . , θ 0
| {z }
n+1
]f = f (n) ( θ 0 )
n! ;
vi) [θ 0 , . . . , θ n ]f = f (n) (θ)
n! f¨ur ein θ ∈ [θ 0 , . . . , θ n ] (konvexe H¨ulle der θ i );
vii) [θ 0 , . . . , θ n ](f g) = X n
j=0
([θ 0 , . . . , θ j ]f)[θ j , . . . , θ n ]g (Leibniz-Regel);
viii) f¨ur θ 0 < · · · < θ n :
[θ 0 , . . . , θ n ]f = X n
j=0
f ( θ j ) Q n
i=0
i6=j