A given function f(x) is "square integrable" if its "L2 norm" is finite (note the capital L, as distinct from the l2 norm used on a vector). The exact representation of the L2 norm is commonly written as follows:
/ ∞
/
\ 2
\ |f(x)| dx
/
/ -∞
Uses
A square integrable function f(x) falls under the Titchmarsh theorem, which relates Fourier transforms to both the boundedness of f(x) and Hilbert transforms.
In statistics, the variance of a function is related to its L2 norm: a given function has a defined variance iff it is square integrable.
Thanks to ariels for the reminder about the relationship to probabilities, and the simple fact that square integrability is an underpinning of many other things including being the first example of a Hilbert space.
Examples of square integrable functions
* Any probability distribution function which has a variance, e.g., normal distribution, poisson distribution (only in its piecewise form), gamma distribution, etc.
* Any piecewise function which is zero everywhere except a finite number of finite intervals which are all bounded, e.g., f(x) = x for x in (7, 20), 0 otherwise.
One Hilbert space in particular is "the set of all functions in R x R which are square integrable." This space also happens to be a Banach space (by consequence of the fact that every Hilbert space is also a Banach space).
Information gathered from the following locations:
Eric W. Weisstein. "Square Integrable." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/SquareIntegrable.html
Eric W. Weisstein. "L2-Norm." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/L2-Norm.html
Eric W. Weisstein. "Titchmarsh Theorem." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/TitchmarshTheorem.html
Eric W. Weisstein. "Hilbert Space." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/HilbertSpace.html