Linearity of differentiation

In calculus, the derivative of any linear combination of functions equals the same linear combination of the derivatives of the functions; this property is known as linearity of differentiation, the rule of linearity, or the superposition rule for differentiation. It is a fundamental property of the derivative that encapsulates in a single rule two simpler rules of differentiation, the sum rule (the derivative of the sum of two functions is the sum of the derivatives) and the constant factor rule (the derivative of a constant multiple of a function is the same constant multiple of the derivative). Thus it can be said that differentiation is linear, or the differential operator is a linear operator.

Statement and derivation

Let f and g be functions, with α and β constants. Now consider

${\frac {\mbox{d}}{{\mbox{d}}x}}(\alpha \cdot f(x)+\beta \cdot g(x)).$

By the sum rule in differentiation, this is

${\frac {\mbox{d}}{{\mbox{d}}x}}(\alpha \cdot f(x))+{\frac {\mbox{d}}{{\mbox{d}}x}}(\beta \cdot g(x)),$

and by the constant factor rule in differentiation, this reduces to

$\alpha \cdot f'(x)+\beta \cdot g'(x).$

Therefore,

${\frac {\mbox{d}}{{\mbox{d}}x}}(\alpha \cdot f(x)+\beta \cdot g(x))=\alpha \cdot f'(x)+\beta \cdot g'(x).$

Omitting the brackets, this is often written as:

$(\alpha \cdot f+\beta \cdot g)'=\alpha \cdot f'+\beta \cdot g'.$

Detailed Proofs/Derivations From Definition

We can prove the entire linearity principle at once, or, we can prove the individual steps (of constant factor and adding) individually. Here, both will be shown.

If we first prove linearity directly, we will have consequently have proven the constant coefficient/factor rule, the sum rule, and the difference rule. For the sum rule, you will set both the constant coefficients to be $1$, which, when the statement is simplified, will be the sum of the two functions. For the difference rule, you will set the first constant coefficient to $1$, and the second constant coefficient to $-1$, which, when simplified, will be the difference of the two functions. For the constant coefficient rule, we can just set either the second constant coefficient to $0$, or the second function itself to be equal to $0$, which, when simplified, will result in just being the first function being multiplied by a constant coefficient (Note: from a technical standpoint, you must take into consideration the domain of the second function - for simplicity, you could let the second function equal to the first function, and then have the second constant coefficient to be $0$, as this will avoid any problems involving the minute details involving domain problems and undefined values. You could also define both the constant coefficient and the second function to be 0, where the domain of the second function is a superset of the first function -- there are loads of possibilities).

On the contrary, if we first prove the constant coefficient law and the sum law, we can prove linearity and the difference law/rule. We can do this by defining the first and second functions as being two other functions that are being multiplied by constant coefficients. Then, as shown in the derivation from the previous section, we can first use the sum law while differentiation, and then use the constant coefficient law, which will reach our conclusion for linearity. In order to prove the difference law, we would just have to have only the second function be redefined as another function, which is being multiplied by the constant coefficient of $-1$. This would, when simplified, give us the difference law/rule for differentiation.

(In the proofs/derivations below, the coefficients $a,b$ are used -- they would correspond to the coefficients $\alpha ,\beta$ from above).

Linearity (Directly)

Let $a,b\in \mathbb {R}$. Let $f,g$ be functions. Let $j$ be a function, where $j$ is defined only where $f$ and $g$ are both defined. (In other words, the domain of $j$ is the intersection of the domains of $f$ and $g$). Let $x$ be in the domain of $j$. Let $j(x)=af(x)+bg(x)$.

We want to prove that $j^{\prime }(x)=af^{\prime }(x)+bg^{\prime }(x)$.

By definition, we can see that: $${\begin{aligned}j^{\prime }(x)&=\lim _{h\rightarrow 0}{\frac {j(x+h)-j(x)}{h}}\\&=\lim _{h\rightarrow 0}{\frac {\left(af(x+h)+bg(x+h)\right)-\left(af(x)+bg(x)\right)}{h}}\\&=\lim _{h\rightarrow 0}{\frac {af(x+h)+bg(x+h)-af(x)-bg(x)}{h}}\\&=\lim _{h\rightarrow 0}{\frac {af(x+h)-af(x)+bg(x+h)-bg(x)}{h}}\\&=\lim _{h\rightarrow 0}{\frac {(af(x+h)-af(x))+(bg(x+h)-bg(x))}{h}}\\&=\lim _{h\rightarrow 0}\left({\frac {af(x+h)-af(x)}{h}}+{\frac {bg(x+h)-bg(x)}{h}}\right)\\&=\lim _{h\rightarrow 0}\left({\frac {a(f(x+h)-f(x))}{h}}+{\frac {b(g(x+h)-g(x))}{h}}\right)\\&=\lim _{h\rightarrow 0}\left(a{\frac {f(x+h)-f(x)}{h}}+b{\frac {g(x+h)-g(x)}{h}}\right)\\\end{aligned}}$$

In order to use limits laws (sum of limits), we need to know that ${\textstyle \lim _{h\to 0}a{\frac {f(x+h)-f(x)}{h}}}$ and ${\textstyle \lim _{h\to 0}b{\frac {g(x+h)-g(x)}{h}}}$ both individually exist.

Now, for these smaller limits, to use limit laws (the coefficient law), we need to know that ${\textstyle \lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}}}$ and ${\textstyle \lim _{h\to 0}{\frac {g(x+h)-g(x)}{h}}}$ both individually exist.

Now, notice that ${\textstyle f^{\prime }(x)=\lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}}}$ and ${\textstyle g^{\prime }(x)=\lim _{h\to 0}{\frac {g(x+h)-g(x)}{h}}}$. So, if we know that $f^{\prime }(x)$ and $g^{\prime }(x)$ both exist, we will know that ${\textstyle \lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}}}$ and ${\textstyle \lim _{h\to 0}{\frac {g(x+h)-g(x)}{h}}}$ both individually exist. Great! Now that we know this, we can use the constant coefficient rule for limits, to see the following:

$$\lim _{h\to 0}a{\frac {f(x+h)-f(x)}{h}}=a\lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}}$$ and $$\lim _{h\to 0}b{\frac {g(x+h)-f(x)}{h}}=b\lim _{h\to 0}{\frac {g(x+h)-g(x)}{h}}.$$

Now with this, we can go back to apply the limit law for the sum of limits, since we know that ${\textstyle \lim _{h\rightarrow 0}a{\frac {f(x+h)-f(x)}{h}}}$ and ${\textstyle \lim _{h\rightarrow 0}b{\frac {g(x+h)-g(x)}{h}}}$ both individually exist. From here, we can directly go back to the derivative we were working on.

$${\begin{aligned}j^{\prime }(x)&=\lim _{h\rightarrow 0}{\frac {j(x+h)-j(x)}{h}}\\&\;\;\vdots \\&=\lim _{h\rightarrow 0}\left(a{\frac {f(x+h)-f(x)}{h}}+b{\frac {g(x+h)-g(x)}{h}}\right)\\&=\lim _{h\rightarrow 0}\left(a{\frac {f(x+h)-f(x)}{h}}\right)+\lim _{h\rightarrow 0}\left(b{\frac {g(x+h)-g(x)}{h}}\right)\\&=a\lim _{h\rightarrow 0}\left({\frac {f(x+h)-f(x)}{h}}\right)+b\lim _{h\rightarrow 0}\left({\frac {g(x+h)-g(x)}{h}}\right)\\&=af^{\prime }(x)+bg^{\prime }(x)\end{aligned}}$$

Finally, we have shown what we claimed in the beginning: $j^{\prime }(x)=af^{\prime }(x)+bg^{\prime }(x)$.

Sum

Let $f,g$ be functions. Let $j$ be a function, where $j$ is defined only where $f$ and $g$ are both defined. (In other words, the domain of $j$ is the intersection of the domains of $f$ and $g$). Let $x$ be in the domain of $j$. Let $j(x)=f(x)+g(x)$.

We want to prove that $j^{\prime }(x)=f^{\prime }(x)+g^{\prime }(x)$.

By definition, we can see that: $${\begin{aligned}j^{\prime }(x)&=\lim _{h\rightarrow 0}{\frac {j(x+h)-j(x)}{h}}\\&=\lim _{h\rightarrow 0}{\frac {\left(f(x+h)+g(x+h)\right)-\left(f(x)+g(x)\right)}{h}}\\&=\lim _{h\rightarrow 0}{\frac {f(x+h)+g(x+h)-f(x)-g(x)}{h}}\\&=\lim _{h\rightarrow 0}{\frac {f(x+h)-f(x)+g(x+h)-g(x)}{h}}\\&=\lim _{h\rightarrow 0}{\frac {(f(x+h)-f(x))+(g(x+h)-g(x))}{h}}\\&=\lim _{h\rightarrow 0}\left({\frac {f(x+h)-f(x)}{h}}+{\frac {g(x+h)-g(x)}{h}}\right)\\\end{aligned}}$$

In order to use limits laws (the sum of limits law) here, we need to show that the individual limits, ${\textstyle \lim _{h\rightarrow 0}{\frac {f(x+h)-f(x)}{h}}}$ and ${\textstyle \lim _{h\rightarrow 0}{\frac {g(x+h)-g(x)}{h}}}$ both exists, on their own.

Notice that ${\textstyle f^{\prime }(x)=\lim _{h\rightarrow 0}{\frac {f(x+h)-f(x)}{h}}}$ and that ${\textstyle g^{\prime }(x)=\lim _{h\rightarrow 0}{\frac {g(x+h)-g(x)}{h}}}$.

That means that, when the derivatives ($f^{\prime }(x)$ and $g^{\prime }(x)$) exist, it will mean that the limits exist (because the derivatives equal their respective limits). So, assuming that the derivatives exist, we can proceed, as that means that the limits exist.

Continuing from what we had above: $${\begin{aligned}j^{\prime }(x)&=\lim _{h\rightarrow 0}{\frac {j(x+h)-j(x)}{h}}\\&\;\;\vdots \\&=\lim _{h\rightarrow 0}\left({\frac {f(x+h)-f(x)}{h}}+{\frac {g(x+h)-g(x)}{h}}\right)\\&=\lim _{h\rightarrow 0}{\frac {f(x+h)-f(x)}{h}}+\lim _{h\rightarrow 0}{\frac {g(x+h)-g(x)}{h}}\\&=f^{\prime }(x)+g^{\prime }(x)\end{aligned}}$$

Thus, we have shown what we wanted to show, that: $j^{\prime }(x)=f^{\prime }(x)+g^{\prime }(x)$.

Difference

Let $f,g$ be functions. Let $j$ be a function, where $j$ is defined only where $f$ and $g$ are both defined. (In other words, the domain of $j$ is the intersection of the domains of $f$ and $g$). Let $x$ be in the domain of $j$. Let $j(x)=f(x)-g(x)$.

We want to prove that $j^{\prime }(x)=f^{\prime }(x)-g^{\prime }(x)$.

By definition, we can see that: $${\begin{aligned}j^{\prime }(x)&=\lim _{h\rightarrow 0}{\frac {j(x+h)-j(x)}{h}}\\&=\lim _{h\rightarrow 0}{\frac {\left(f(x+h)-(g(x+h)\right)-\left(f(x)-g(x)\right)}{h}}\\&=\lim _{h\rightarrow 0}{\frac {f(x+h)-g(x+h)-f(x)+g(x)}{h}}\\&=\lim _{h\rightarrow 0}{\frac {f(x+h)-f(x)-g(x+h)+g(x)}{h}}\\&=\lim _{h\rightarrow 0}{\frac {(f(x+h)-f(x))+(-g(x+h)+g(x))}{h}}\\&=\lim _{h\rightarrow 0}{\frac {(f(x+h)-f(x))-(g(x+h)-g(x))}{h}}\\&=\lim _{h\rightarrow 0}\left({\frac {f(x+h)-f(x)}{h}}-{\frac {g(x+h)-g(x)}{h}}\right)\\\end{aligned}}$$

In order to use limits laws (the difference of limits law) here, we need to show that the individual limits, ${\textstyle \lim _{h\rightarrow 0}{\frac {f(x+h)-f(x)}{h}}}$ and ${\textstyle \lim _{h\rightarrow 0}{\frac {g(x+h)-g(x)}{h}}}$ both exists, on their own.

Notice that ${\textstyle f^{\prime }(x)=\lim _{h\rightarrow 0}{\frac {f(x+h)-f(x)}{h}}}$ and that ${\textstyle g^{\prime }(x)=\lim _{h\rightarrow 0}{\frac {g(x+h)-g(x)}{h}}}$.

That means that, when the derivatives ($f^{\prime }(x)$ and $g^{\prime }(x)$) exist, it will mean that the limits exist (because the derivatives equal their respective limits). So, assuming that the derivatives exist, we can proceed, as that means that the limits exist.

Continuing from what we had above:

$${\begin{aligned}j^{\prime }(x)&=\lim _{h\rightarrow 0}{\frac {j(x+h)-j(x)}{h}}\\&\;\;\vdots \\&=\lim _{h\rightarrow 0}\left({\frac {f(x+h)-f(x)}{h}}-{\frac {g(x+h)-g(x)}{h}}\right)\\&=\lim _{h\rightarrow 0}{\frac {f(x+h)-f(x)}{h}}-\lim _{h\rightarrow 0}{\frac {g(x+h)-g(x)}{h}}\\&=f^{\prime }(x)-g^{\prime }(x)\end{aligned}}$$

Thus, we have shown what we wanted to show, that: $j^{\prime }(x)=f^{\prime }(x)-g^{\prime }(x)$.

Constant Coefficient

Let $f$ be a function. Let $a\in \mathbb {R}$; $a$ will be the constant coefficient. Let $j$ be a function, where j is defined only where $f$ is defined. (In other words, the domain of $j$ is equal to the domain of $f$). Let $x$ be in the domain of $j$. Let $j(x)=af(x)$.

We want to prove that $j^{\prime }(x)=af^{\prime }(x)$.

By definition, we can see that: $${\begin{aligned}j^{\prime }(x)&=\lim _{h\rightarrow 0}{\frac {j(x+h)-j(x)}{h}}\\&=\lim _{h\rightarrow 0}{\frac {af(x+h)-af(x)}{h}}\\&=\lim _{h\rightarrow 0}{\frac {a\left(f(x+h)-f(x)\right)}{h}}\\&=\lim _{h\rightarrow 0}a{\frac {f(x+h)-f(x)}{h}}\\\end{aligned}}$$

Now, in order to use a limit law (constant coefficient) to show that $$\lim _{h\rightarrow 0}a{\frac {f(x+h)-f(x)}{h}}=a\lim _{h\rightarrow 0}{\frac {f(x+h)-f(x)}{h}}$$ we will need to show that ${\textstyle \lim _{h\rightarrow 0}{\frac {f(x+h)-f(x)}{h}}}$ exists. However, notice that ${\textstyle f^{\prime }(x)=\lim _{h\rightarrow 0}{\frac {f(x+h)-f(x)}{h}}}$, by the definition of the derivative. So, if $f^{\prime }(x)$ exists, that means that ${\textstyle \lim _{h\rightarrow 0}{\frac {f(x+h)-f(x)}{h}}}$ exists, because they are equal.

Thus, if we assume that $f^{\prime }(x)$ exists, we can use the limit law and continue our proof.

$${\begin{aligned}j^{\prime }(x)&=\lim _{h\rightarrow 0}{\frac {j(x+h)-j(x)}{h}}\\&\;\;\vdots \\&=\lim _{h\rightarrow 0}a{\frac {f(x+h)-f(x)}{h}}\\&=a\lim _{h\rightarrow 0}{\frac {f(x+h)-f(x)}{h}}\\&=af^{\prime }(x)\\\end{aligned}}$$

Thus, we have proven what we wanted to prove, and, as we desired, have shown that when $j(x)=af(x)$, it means that $j^{\prime }(x)=af^{\prime }(x)$.

See also

• Differentiation of integrals – Problem in mathematics
• Differentiation rules – Rules for computing derivatives of functions
• Distribution (mathematics) – Mathematical term generalizing the concept of function
• General Leibniz rule – Generalization of the product rule in calculus
• Integration by parts – Mathematical method in calculus
• Inverse functions and differentiation – Formula for the derivative of an inverse functionPages displaying short descriptions of redirect targets
• Product rule – Formula for the derivative of a product
• Quotient rule – Formula for the derivative of a ratio of functions