Breaking Down Leibniz’s Theorem

Leibniz’s Theorem

Leibniz's theorem is an important concept in maths that has special application in calculus and vector algebra which can teach one how to calculate the derivative of a product of two functions. This theorem finds application in physics, engineering, and computer science basically because it is an easy way of doing complicated calculations.

1.0What is Leibniz’s Theorem?

Leibniz's theorem deals with the differentiation of a product of two functions. If we have two functions, Leibniz's theorem provides a rule to find their derivatives when multiplied.

It states that:

Definition 1: It states that if

$f (x) and g (x)$ are differentiable functions, then the derivative of their product is given by:

$\frac{d}{d x} [f (x) \cdot g (x)] = f^{'} (x) \cdot g (x) + f (x) \cdot g^{'} (x)$

Definition 2: If f(x) and g(x) two functions are n-times differentiable, then the nth derivative of their product f(x), g(x) is given by:

$(f g)^{n} = \sum_{k = 0}^{n} (k n) f^{n - k} g^{k}$

Here,

$(k n) = \frac{n !}{k ! ( n - k )!}$

Leibniz's theorem formula is known as the product rule and is a special case of Leibniz's theorem, a more general statement about functions raised to powers and multiplied together.

2.0Leibniz Theorem Proof

The proof of the Leibniz theorem is typically done by induction. The formula is true for the n-th derivative and then deduces that it is true for the (n + 1)-th derivative by using the product rule repeatedly. The generalised form of Leibniz theorem is:

$\frac{d}{d x} [f_{1} (x) . f_{2} (x) \dots f_{n} (x) = \sum_{k = 1}^{n} (f_{1} (x) \dots\dots ... f_{k - 1 (x)}$

Step 1: Proof for the product of Two Functions

Let’s consider the case for two functions f₁(x) and f₂(x). The product rule says that:

$\frac{d}{d x} [f_{1} (x) \cdot f_{2} (x)] = f_{1}^{'} (x) \cdot f_{2} (x) + f_{1} (x) \cdot f_{2}^{'} (x)$

Step 2: Proof for the product of three functions

differentiate the product f₁(x)⋅f₂(x) as a whole, and treat f₃(x) as a constant:

$\frac{d}{d x} [f_{1} (x) \cdot f_{2} (x) \cdot f_{3} (x)] = \frac{d}{d x} [f_{1} (x) \cdot f_{2} (x)] \cdot f_{3} (x)$

Use the product rule on f₁(x).f₂(x):

$\frac{d}{d x} [f_{1} (x) \cdot f_{2} (x)] = f^{'}_{1} (x) \cdot f_{2} (x) + f_{1} (x) \cdot f_{2}^{'} (x)$

Hence, the derivative becomes:

f₁’(x).f₂(x).f₃(x) + f₁.f₂’(x).f₃(x)

Now, the final equation will be:

$\frac{d}{d x} [f_{1} (x) \cdot f_{2} (x) \cdot f_{3} (x)] = f_{1}^{'} (x) \cdot f_{2} (x) \cdot f_{3} (x) + f_{1} (x) \cdot f_{2}^{'} (x) \cdot f_{3} (x) + f_{1} (x) \cdot f_{2} (x) \cdot f_{3}^{'} (x)$

Step 3: General Proof using Mathematical induction

The Leibniz theorem can be proved with the help of Mathematical induction for n-terms. Here’s how it works:

Base Case:

For n=2,

$\frac{d}{d x} [f_{1} (x) \cdot f_{2} (x)] = f_{1}^{'} (x) \cdot f_{2} (x) + f_{1} (x) \cdot f_{2}^{'} (x)$

So, the base case holds.

Inductive Step:

Assume that the Leibniz theorem holds for the product of

n function, i.e., for functions,

$f (x), f_{2} (x), \dots, f_{n} (x)$ , the derivative is:

$\frac{d}{d x} [f_{1} (x) \cdot f_{2} (x) \dots .. f_{n} (x)] = \sum_{k = 1}^{n} (f_{1} (x) \dots . f_{k - 1} (x) \cdot f_{1} (x) \cdot f_{k} + f_{1} (x) \dots f_{n} (x))$

Now, let’s prove it for n+1 functions. Consider the product of n+1 functions

$f_{1} (x), f_{2} (x), \dots f_{n} (x), f_{n} + f_{1} (x)$ . We want to differentiate:

$\frac{d}{d x} [f_{1} (x) \cdot f_{2} (x) \dots ... f_{n} (x) \cdot f_{n} + 1 (x)]$

We can treat the product of the first n functions

$f_{1} (x) \cdot f_{2} (x) \dots .. f_{n} (x)$ as a single function, say

$g (x) + f_{1} (x) \cdot f_{2} (x) \dots ... f_{n} (x)$ . Then, the derivative of the product becomes:

$\frac{d}{d x} [g (x) \cdot f_{n} + 1 (x)] = g^{'} (x) \cdot f_{n} + 1 (x) + g (x) \cdot f_{n}^{'} + 1 (x)$

By applying the inductive hypothesis g(x), we know that:

$g^{'} (x) = \sum_{k = 1}^{n} (f_{1} (x) \dots f_{k - 1} (x) \cdot f_{k}^{'} (x) \cdot f_{k + 1} (x) \dots\dots f_{n} (x))$

Thus, the derivative of the product of n+1 functions is:

$\frac{d}{d x} [f_{1} (x) \cdot f_{2} (x) \dots f_{n} (x) \cdot f_{n + 1} (x)] = \sum_{k = 1}^{n} (f_{1} (x) \dots .. f_{k - 1 (x)} \cdot f_{k}^{'} (x) \cdot f_{k + 1} (x) \dots .. f_{n} (x)) + (f_{1} (x) \dots f_{n} (x) \cdot f_{n + 1}^{'} (x))$

Thus, the inductive step is true, and by induction, the Leibniz theorem holds for any number of functions.

3.0Leibniz Theorem Examples

To Get a better understanding of the theorem, let’s see some Leibniz Theorem Solved Examples:

Example 1: Differentiate

$f (x) = (x^{2} + 3 x) (5 x^{2} - 2 x)$ using Leibniz’s rule.

Solution:

$f (x) = (x^{2} + 3 x) (5 x^{2} - 2 x)$

In the given function use each factor as a separate function.

$u (x) = x^{2} + 3 x and v (x) = 5 x^{2} - 2 x$

By applying the product rule (Leibniz Rule):

$\frac{d}{d x} [u (x) \cdot v (x)] = u^{'} (x) \cdot v (x) + u (x) \cdot v^{'} (x)$

Differentiate u(x) and v(x)

$u^{'} (x) = 2 x + 3 and v^{'} (x) = 10 x - 2$

Now, apply the product rule,

$f^{'} (x) = \frac{d}{d x} [(x^{2} + 3 x) (5 x^{2} - 2 x)] = (2 x + 3) (5 x^{2} - 2 x) + (x^{2} + 3 x) (10 x - 2)$

$f^{'} (x) = 2 x (5 x^{2} - 2 x) + 3 (5 x^{2} - 2 x) + x^{2} (10 x - 2) + 3 x (10 x - 2)$

$f^{'} (x) = 10 x^{3} + 11 x - 6 x + 10 x^{3} + 28 x^{2} - 6 x$

$f^{'} (x) = 20 x^{3} + 39 x^{2} - 12 x$

Example 2: Find the derivative of

$f (x) = x^{2} \cdot e^{x}$ with the help of Leibniz’s Theorem.

Solution: we have,

$f (x) = x^{2} \cdot e^{x}$

$u^{'} (x) = 2 x and v^{'} (x) = e^{x}$

Applying the theorem,

$f^{'} (x) = \frac{d}{d x} [u (x) \cdot v (x)] = u^{'} (x) \cdot v (x) + u (x) \cdot v^{'} (x)$

$f^{'} (x) = (2 x) (e^{x}) + (x^{2}) (e^{x})$

$f^{'} (x) = 2 x e^{x} + x^{2} e^{x}$

$f^{'} (x) = e^{x} (2 x + x^{2})$

Example 3: Find the 4th derivative of f(x) = (x²+ 3x + 5)e^2x

Solution: Using the Leibniz's theorem, the nth derivative of the product f(x) = u(x)v(x) is given by:

$(u (x) . v (x))^{n} = \sum_{k = 0}^{n} (k n) u (x)^{k} v (x)^{n - k}$

Let u(x) = x² + 3x + 5 and v(x) = e^2x

Computing the required derivatives of u(x) and v(x)

u(x) = x² + 3x + 5

u'(x) = 2x+3, u"(x) = 2, u'" = 0, and u"" = 0

v(x) = e^2x

v'(x) = 2e^2x, v"(x) = 4e^2x, v'"(x) = 8e^2x, and v""(x) = 16e^2x

Applying n = 4 in Leibniz’s theorem

$(u (x) . v (x))^{4} = \sum_{k = 0}^{4} (k 4) u (x)^{k} v (x)^{4 - k}$

Now, compute each term:

For k = 0

$\frac{4 !}{0 ! ( 4 - 0 )!} \times u^{^{''''}} (x) \times v (x) = 10 e^{2 x} = 0$

For k = 1

$\frac{4 !}{1 ! ( 4 - 1 )!} \times u^{^{'''}} (x) \times v^{'} (x) = 402 e^{2 x} = 0$

For k = 2

$\frac{4 !}{2 ! ( 4 - 2 )!} \times u " (x) \times v " (x) = 624 e^{2 x} = 48 e^{2 x}$

For k = 3

$\frac{4 !}{3 ! ( 4 - 3 )!} \times u^{'} (x) \times v^{'''} (x) = 4 (2 x + 3) 8 e^{2 x} = 32 (2 x + 3) e^{2 x}$

For k = 4:

$\frac{4 !}{4 ! ( 4 - 4 )!} \times u (x) \times v^{''''} (x) = 1 \times (x^{2} + 3 x + 5) \times 16 e^{2 x} = 16 (x^{2} + 3 x + 5) e^{2 x}$

Adding up all the values:

$(u (x) . v (x))^{4} = 0 + 0 + 48 e^{2 x} + 32 (2 x + 3) e^{2 x} + 16 (x^{2} + 3 x + 5) e^{2} x$

$(u (x) . v (x))^{4} = 48 e^{2 x} + (64 x + 96) e^{2 x} + (16 x^{2} + 48 x + 80) e^{2 x}$

$(u (x) . v (x))^{4} = 16 x^{2} e^{2 x} + (64 x + 48 x) e^{2 x} + (48 + 96 + 80) e^{2 x}$

$(u (x) . v (x))^{4} = 16 x^{2} e^{2 x} + 112 x e^{2 x} + 224 e^{2 x}$

So, the 4th derivative is:

$[f (x)]^{4} = 16 x^{2} e^{2 x} + 112 x e^{2 x} + 224 e^{2 x}$

Frequently Asked Questions

Differentiate each function, keeping the others constant and add up the results.

He uses it to differentiate products of more than two functions: polynomials, exponential, and trigonometric.

Yes, Leibniz's rule applies to any number of products and not only to the number of two functions.

The general form involves finding the derivatives of each function summed while keeping one function fixed at a time.

Join ALLEN!

(Session 2025 - 26)

Name

Mobile Number

Class

Choose class

Goal

Choose your goal

Preferred Programs

Preferred Mode

State

Choose State

I agree to

I authorise ALLEN Career Institute Pvt Ltd to send me regular updates via Phone calls, Whatsapp, SMS, Robocalls (Automated Calls), Emails, or on postal address.

Leibniz’s Theorem

1.0What is Leibniz’s Theorem?

2.0Leibniz Theorem Proof

Step 1: Proof for the product of Two Functions

Step 2: Proof for the product of three functions

Step 3: General Proof using Mathematical induction

3.0Leibniz Theorem Examples

Table of Contents

Frequently Asked Questions

How do you differentiate the product of three functions using Leibniz's rule?

The Leibniz Theorem has what practical application?

Can you use the Leibniz Theorem Questions rule for more than two functions?

What is the general form of Leibniz's theorem?

Join ALLEN!