Sum rule in differentiation

related topics
{math, number, function}
{rate, high, increase}

In calculus, the sum rule in differentiation is a method of finding the derivative of a function that is the sum of two other functions for which derivatives exist. This is a part of the linearity of differentiation. The sum rule in integration follows from it. The rule itself is a direct consequence of differentiation from first principles.

The sum rule tells us that for two functions u and v:

This rule also applies to subtraction and to additions and subtractions of more than two functions

Proof

Let y be a function given by the sum of two functions u and v, such that:

Now let y, u and v be increased by small increases Δy, Δu and Δv respectively. Hence:

So:

Now divide throughout by Δx:

Let Δx tend to 0:

Now recall that y = u + v, giving the sum rule in differentiation:

The rule can be extended to subtraction, as follows:

Now use the special case of the constant factor rule in differentiation with k=−1 to obtain:

Therefore, the sum rule can be extended so it "accepts" addition and subtraction as follows:

The sum rule in differentiation can be used as part of the derivation for both the sum rule in integration and linearity of differentiation.

Generalization to sums

Assume we have some set of functions f1, f2,..., fn. Then

so

In other words, the derivative of any sum of functions is the sum of the derivatives of those functions.

This follows easily by induction; we have just proven this to be true for n = 2. Assume it is true for all n < k, then define

Then

and it follows from the proof above that

By the inductive hypothesis,

so

which ends our proof.

References

Full article ▸

related documents
Column vector
Abelian category
Product of rings
Endomorphism
Elias delta coding
Brun's constant
Category of sets
Complete category
Inverse functions and differentiation
Sharp-P
Hamiltonian path problem
Double precision
Characteristic subgroup
Mutual recursion
Inequation
Kleene star
Additive function
Random sequence
AVL tree
Baire category theorem
Identity matrix
Sophie Germain prime
Axiom of union
Up to
Hausdorff maximal principle
Row and column spaces
Subset
Lagged Fibonacci generator
Zero divisor
RP (complexity)