The generalized Leibniz rule follows by mathematical induction. The case is the identity . Suppose the formula holds for and differentiate every term using the product rule:
For an interior index , the coefficient of becomes by Pascal's identity. The two endpoint coefficients are one. This proves
Only finitely many derivatives are involved; it suffices that both functions are times differentiable.
For and , the derivatives of beyond order two vanish. The three surviving terms of the generalized Leibniz rule give
The simplified expression works for every integer , including the two cases where one or more of the three terms are absent.
For and , use . Again only three terms survive. With , they are
Since and , this becomes
The factors and remove the nonexistent terms when or .

Articles by others on the same topic (0)

There are currently no matching articles.