Exercise 1.4.6 (Leibniz formula)

Let f ( x ) and g ( x ) be n -times differentiable function. Show that the n th derivative of f ( x ) g ( x ) is

k = 0 n ( n k ) f ( k ) ( x ) g ( n k ) ( x ) .

Answers

Note: It is preferable to say “the function f ” than ’“the function f ( x ) " ( f ( x ) is a real).

Proof. Let f and g be n -times differentiable function on some interval I . We show by finite induction up to n that, for all x I , and p n ,

( fg ) ( p ) ( x ) = k = 0 p ( p k ) f ( k ) ( x ) g ( p k ) ( x ) .

Let 𝒫 ( p ) the property defined for n and 0 p n by

𝒫 ( p ) x I , ( fg ) ( p ) ( x ) = k = 0 p ( p k ) f ( k ) ( x ) g ( p k ) ( x ) ,

that is

𝒫 ( p ) ( fg ) ( p ) = k = 0 p ( p k ) f ( k ) g ( p k ) .

If p = 0 , then ( fg ) ( p ) ( x ) = ( fg ) ( 0 ) ( x ) = ( fg ) ( x ) , and

k = 0 p ( n k ) f ( k ) ( x ) g ( n k ) ( x ) = ( 0 0 ) f ( 0 ) ( x ) g ( 0 ) ( x ) = f ( x ) g ( x ) ( x I ) ,

thus 𝒫 ( 0 ) is true.

Assume that 𝒫 ( p ) is true for some p , p < n . So ( fg ) ( p ) = k = 0 p ( p k ) f ( k ) g ( p k ) . Since f , g are n -times differentiable, and p < n , then f ( k ) and g ( p k ) are differentiable on I for all k [ [ 0 , p ] ] , so ( fg ) p is differentiable on I , and

( fg ) ( p + 1 ) = ( ( fg ) ( p ) ) = k = 0 p ( p k ) ( f ( k ) g ( p k ) ) = k = 0 p ( p k ) ( f ( k + 1 ) g ( p k ) + f ( k ) g ( p k + 1 ) ) = k = 0 p ( p k ) f ( k + 1 ) g ( p k ) + k = 0 p ( p k ) f ( k ) g ( p k + 1 ) = f ( p + 1 ) + k = 0 p 1 ( p k ) f ( k + 1 ) g ( p k ) + k = 1 p ( p k ) f ( k ) g ( p k + 1 ) + g ( p + 1 ) = f ( p + 1 ) + j = 1 p ( p j 1 ) f ( j ) g ( p j + 1 ) + k = 1 p ( p k ) f ( k ) g ( p k + 1 ) + g ( p + 1 ) ( j = k + 1 ) = f ( p + 1 ) + k = 1 p ( p k 1 ) f ( k ) g ( p k + 1 ) + k = 1 p ( p k ) f ( k ) g ( p k + 1 ) + g ( p + 1 ) = f ( p + 1 ) + k = 1 p [ ( p k 1 ) + ( p k ) ] f ( k ) g ( p k + 1 ) + g ( p + 1 ) = f ( p + 1 ) + k = 1 p ( p + 1 k ) f ( k ) g ( p k + 1 ) + g ( p + 1 ) = k = 0 p + 1 ( p + 1 k ) f ( k ) g ( p + 1 k )

This gives 𝒫 ( p + 1 ) . The induction is done, so 𝒫 ( p ) is true up to n . In particular 𝒫 ( n ) is true: fg is n times differentiable on I , and

x I , ( fg ) ( n ) ( x ) = k = 0 n ( n k ) f ( k ) ( x ) g ( n k ) ( x ) .

User profile picture
2024-07-25 16:11
Comments