Piecewise linear function

From Wikipedia, the free encyclopedia

In mathematics, a piecewise linear function is a function composed of straight-line sections.^[1] It is a piecewise-defined function whose pieces are affine functions.

If the function is continuous, the graph will be a polygonal curve.

Examples

A continuous piecewise linear function

The function defined by:

$f(x)={\begin{cases}-x-3&{\text{if }}x\leq -3\\x+3&{\text{if }}-3<x<0\\-2x+3&{\text{if }}0\leq x<3\\x-6&{\text{if }}x\geq 3\end{cases}}$

is piecewise linear with four pieces. (The graph of this function is shown to the right.) Since the graph of a linear function is a line, the graph of a piecewise linear function consists of line segments and rays.

Other examples of piecewise linear functions include the absolute value function, the square wave, the sawtooth function, and the floor function.

Fitting to a curve

A function (blue) and a piecewise linear approximation to it (red).

An approximation to a known curve can be found by sampling the curve and interpolating linearly between the points. An algorithm for computing the most significant points subject to a given error tolerance has been published.^[2]

Fitting to data

If partitions are already known, linear regression can be performed independently on these partitions. However, continuity is not preserved in that case. A stable algorithm with this case has been derived.^[3]

If partitions are not known, the residual sum of squares can be used to choose optimal separation points.^[4]

A variant of decision tree learning called model trees learns piecewise linear functions.^[5]

Notation

A piecewise linear function in two dimensions (top) and the convex polytopes on which it is linear (bottom).

The notion of a piecewise linear function makes sense in several different contexts. Piecewise linear functions may be defined on n-dimensional Euclidean space, or more generally any vector space or affine space, as well as on piecewise linear manifolds, simplicial complexes, and so forth. In each case, the function may be real-valued, or it may take values from a vector space, an affine space, a piecewise-linear manifold, or a simplicial complex. (In these contexts, the term “linear” does not refer solely to linear transformations, but to more general affine linear functions.)

In dimensions higher than one, it is common to require the domain of each piece to be a polygon or polytope. This guarantees that the graph of the function will be composed of polygonal or polytopal pieces.

Important sub-classes of piecewise linear functions include the continuous piecewise linear functions and the convex piecewise linear functions. In general, for every n dimensional continuous piecewise linear function $f:{\mathbb {R}}^{n}\to {\mathbb {R}}$ , there is a

$\Pi \in {\mathcal {P}}({\mathcal {P}}({\mathbb {R}}^{{n+1}}))$

such that:

$f({\vec {x}})=\min _{{\Sigma \in \Pi }}\max _{{({\vec {a}},b)\in \Sigma }}{\vec {a}}\cdot {\vec {x}}+b.$

If $f$ is convex as well as continuous, then there is a

$\Sigma \in {\mathcal {P}}({\mathbb {R}}^{{n+1}})$

such that:

$f({\vec {x}})=\max _{{({\vec {a}},b)\in \Sigma }}{\vec {a}}\cdot {\vec {x}}+b.$

Splines generalize piecewise linear functions to higher-order polynomials, which are in turn contained in the category of piecewise-differentiable functions, PDIFF .

References

↑ Stanley, William D. (2004). Technical Analysis And Applications With Matlab. Cengage Learning. p. 143. ISBN 1401864813.
↑ Hamann, B.; Chen, J. L. (1994). "Data point selection for piecewise linear curve approximation". Computer Aided Geometric Design 11 (3): 289. doi:10.1016/0167-8396(94)90004-3.
↑ Golovchenko, Nikolai. "Least-squares Fit of a Continuous Piecewise Linear Function". Retrieved 6 Dec 2012.
↑ Vieth, E. (1989). "Fitting piecewise linear regression functions to biological responses". Journal of applied physiology (Bethesda, Md. : 1985) 67 (1): 390–396. PMID 2759968.
↑ Landwehr, N.; Hall, M.; Frank, E. (2005). "Logistic Model Trees". Machine Learning 59: 161. doi:10.1007/s10994-005-0466-3.