LassenF( x , n ) =∏Nk = 1v ( kXk)
. Dann können wir schreiben
F( x , n ) = v ( nXN)∏k = 1n − 1v ( kXk) = v ( nXN) f( x , n − 1 ) .
Dann
F'( x , n ) =v'( nXN)N2Xn − 1F( x , n − 1 ) + v ( nXN)F'( x , n − 1 ) .
Jetzt
F'( x , n − 1 )
kann auf die gleiche Weise berechnet werden, also
F'( x , n ) =v'( nXN)N2Xn − 1F( x , n − 1 ) + v ( nXN) [v'( ( n − 1 )Xn − 1) ( n − 1)2Xn − 2F( x , n − 2 )+ v ( ( n − 1 )Xn − 1)F'( x , n − 2 ) ]
=N2v'( nXN) f( x , n − 1 )Xn − 1+ ( n − 1)2v ( nXN) f( x , n − 2 )v'( ( n − 1 )Xn − 1)Xn − 2+ v ( nXN) v ( ( n − 1 )Xn − 1)F'( x , n − 2 )
Dies endet schließlich als Summe von
N
Bedingungen, mit der
J
-ten Term (derjenige, der enthält
Xj − 1
) Sein
J2Xj − 1[ v ( nXN) ⋅ v ( ( n − 1 )Xn − 1) ⋯ v ( ( j + 1 )Xj + 1) ⋅ v ( ( j − 1 )Xj − 1) ⋯ v ( x ) ]v'( jXJ) .
Das Produkt in den eckigen Klammern ist fast das gesamte Produkt
∏Nk = 1v ( kXk)
, jedoch der Faktor
v ( jXJ)
wurde weggelassen. Daher können wir das Produkt in den eckigen Klammern kompakt schreiben als
1v ( jXJ)∏k = 1Nv ( kXk) =F( x , n )v ( jXJ).
Alle zusammen bekommen wir
F'( x , n ) =∑j = 1NJ2Xj − 1v ( jXJ)F( x , n )v'( jXJ) = f( x , n )∑j = 1NJ2Xj − 1v'( jXJ)v ( jXJ).
Randy Marsch
Grayson Granda