# Concept of equality conditional to existence of one side

## Contents

## General concept

There are a number of theorems in mathematics which are of the following form:

with a *conditionality* caveat as follows:

- Whenever the right side expression makes sense, the left side expression also makes sense and they are equal.
- It may, however, happen that the right side expression does not make sense but the left side expression does.

This concept occurs in theorems about limits and derivatives of pointwise combinations (sums, differences, products, quotients), as well as composites.

## More on the mechanics of how we get results like this

### Example of differentiation being additive

Consider the statement that differentiation is linear; one component of this statement is the assertion that differentiation is additive, i.e., that:

This is an example of a statement that is true whenever the right side is defined; however, it is possible for the left side to be defined at a point and the right side to *not* be defined at that point.

For instance, consider the function and .

- is differentiable for all , with derivative . At 0, the derivative is undefined, with a vertical cusp.
- is differentiable for all , with derivative . At 0, the derivative is undefined, with a vertical cusp.
- is identically the zero function, so its derivative is also everywhere.

We can see based on the above, that for all :

However, at , is defined, whereas is not defined.

So we see in this case that the equality holds whenever the right side is defined, but the left side can be defined at some points where the right side isn't defined, and in those cases the equality fails to hold.

### Similar examples for product rule and chain rule

Similar examples can be obtained for the product rule for differentiation and the chain rule for differentiation:

- For the product rule for differentiation, consider and . Neither is differentiable at , so the product rule for differentiation cannot be used at 0. However, the product is the function , which is differentiable everywhere,
- For the chain rule for differentiation, consider and . The latter is not differentiable at , so the chain rule for differentiation cannot be used at 0. However, the composite is the function , which is differentiable everywhere.

### What is going on? Cancellation, accumulation, and restitution

There are a few different ways of thinking about what is going on with the above examples.

The simplest idea, that can be seen most easily in the addition example, is that of *cancellation*, or more descriptively, "bad and bad cancel out". Both and have an unusual, singular behavior at , but these behaviors cancel out when we add the functions. As a result, does not have the singular behavior at the point.

The product rule example can be better thought of in terms of *accumulation*, or more descriptively, "mediocre and mediocre combine to good". To understand this, it's worth noting that power functions are differentiable at 0 when . What's happening with the product rule example is that the two functions individually are not crossing that threshold, but when multiplied together, we get to the threshold.

The chain rule example can be thought of as *restitution*, or more descriptively, "the good washes out the bad". To understand this, it's worth noting that power functions are differentiable at 0 when . In the chain rule example, is good enough (high enough exponent) to wash out the "bad" exponent of and bring us to the threshold.

### What is really going on?

Given the subtle differences between the mechanisms for each of the examples, we may ask if there is any common thread to them. The underlying idea behind all of them is that, by combining functions in various ways, we can overcome the challenges that cause them to not be differentiable. The method needed can differ based on the type of operation (addition, multiplication, composition). Thus, the newly constructed function (sum, product, composite) may be differentiable at points where one or both of the original functions were not.

Another way of thinking about this is that combining functions through addition, multiplication, and composition is not reversible. So we "lose" information about individual functions when we combine them. With care, it is possible to specifically lose non-differentiability at specific points; basically, to smooth out the non-smooth behaviors.