Piecewise
{{ safesubst:#invoke:Unsubst||$N=Unreferenced |date=__DATE__ |$B= {{#invoke:Message box|ambox}} }} 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: 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 may not 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 isn't 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 .