# Piecewise

In mathematics, a **piecewise-defined function** (also called a **piecewise function** or a **hybrid function**) is a function which is defined by multiple sub-functions, each sub-function applying to a certain interval of the main function's domain (a sub-domain). Piecewise is actually a way of expressing the function, rather than a characteristic of the function itself, but with additional qualification, it can describe the nature of the function. For example, a **piecewise polynomial** function is a function that is a polynomial on each of its sub-domains, but possibly a different one on each.

The word *piecewise* is also used to describe any property of a piecewise-defined function that holds for each piece but not necessarily hold for the whole domain of the function. A function is **piecewise differentiable** or **piecewise continuously differentiable** if each piece is differentiable throughout its subdomain, even though the whole function may not be differentiable at the points between the pieces. In convex analysis, the notion of a derivative may be replaced by that of the subderivative for piecewise functions. Although the "pieces" in a piecewise definition need not be intervals, a function is not called "piecewise linear" or "piecewise continuous" or "piecewise differentiable" unless the pieces are intervals.

## Notation and interpretation

Piecewise functions are defined using the common functional notation, where the body of the function is an array of functions and associated subdomains. Crucially, in most settings, there must only be a *finite* number of subdomains, each of which must be an interval, in order for the overall function to be called "piecewise". For example, consider the piecewise definition of the absolute value function:

For all values of *x* less than zero, the first function (−*x*) is used, which negates the sign of the input value, making negative numbers positive. For all values of *x* greater than or equal to zero, the second function (*x*) is used, which evaluates trivially to the input value itself.

Consider the piecewise function *f*(*x*) evaluated at certain values of *x*:

x |
f(x) |
Function used |
---|---|---|

−3 | 3 | −x |

−0.1 | 0.1 | −x |

0 | 0 | x |

1/2 | 1/2 | x |

5 | 5 | x |

Thus, in order to evaluate a piecewise function at a given input value, the appropriate subdomain needs to be chosen in order to select the correct function and produce the correct output value.

## Continuity

A piecewise function is continuous on a given interval if the following conditions are met:

- it is defined throughout that interval
- its constituent functions are continuous on that interval
- there is no discontinuity at each endpoint of the subdomains within that interval.

The pictured function, for example, is piecewise continuous throughout its subdomains, but is not continuous on the entire domain. The pictured function contains a jump discontinuity at .

## See also

Wikibooks has a book on the topic of: Gnuplot#Piecewise-defined functions |

### Common examples

- Broken power law
- Piecewise constant function (step function)
- Piecewise linear function
- PDIFF
- Spline
- B-spline