In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, orthogonal functions belong to a
function space
In mathematics, a function space is a set of functions between two fixed sets. Often, the domain and/or codomain will have additional structure which is inherited by the function space. For example, the set of functions from any set into a vect ...
that is a
vector space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called '' vectors'', may be added together and multiplied ("scaled") by numbers called ''scalars''. Scalars are often real numbers, but can ...
equipped with a
bilinear form
In mathematics, a bilinear form is a bilinear map on a vector space (the elements of which are called '' vectors'') over a field ''K'' (the elements of which are called '' scalars''). In other words, a bilinear form is a function that is linea ...
. When the function space has an
interval as the
domain
Domain may refer to:
Mathematics
*Domain of a function, the set of input values for which the (total) function is defined
** Domain of definition of a partial function
** Natural domain of a partial function
**Domain of holomorphy of a function
* ...
, the bilinear form may be the
integral
In mathematics, an integral assigns numbers to functions in a way that describes displacement, area, volume, and other concepts that arise by combining infinitesimal data. The process of finding integrals is called integration. Along with ...
of the product of functions over the interval:
:
The functions
and
are
orthogonal
In mathematics, orthogonality is the generalization of the geometric notion of '' perpendicularity''.
By extension, orthogonality is also used to refer to the separation of specific features of a system. The term also has specialized meanings in ...
when this integral is zero, i.e.
whenever
. As with a
basis of vectors in a finite-dimensional space, orthogonal functions can form an infinite basis for a function space. Conceptually, the above integral is the equivalent of a vector dot-product; two vectors are mutually independent (orthogonal) if their dot-product is zero.
Suppose
is a sequence of orthogonal functions of nonzero
''L''2-norms
. It follows that the sequence
is of functions of ''L''
2-norm one, forming an
orthonormal sequence. To have a defined ''L''
2-norm, the integral must be bounded, which restricts the functions to being
square-integrable
In mathematics, a square-integrable function, also called a quadratically integrable function or L^2 function or square-summable function, is a real- or complex-valued measurable function for which the integral of the square of the absolute value ...
.
Trigonometric functions
Several sets of orthogonal functions have become standard bases for approximating functions. For example, the sine functions and are orthogonal on the interval
when
and ''n'' and ''m'' are positive integers. For then
:
and the integral of the product of the two sine functions vanishes.
Antoni Zygmund
Antoni Zygmund (December 25, 1900 – May 30, 1992) was a Polish mathematician. He worked mostly in the area of mathematical analysis, including especially harmonic analysis, and he is considered one of the greatest analysts of the 20th century. ...
(1935) '' Trigonometrical Series'', page 6, Mathematical Seminar, University of Warsaw Together with cosine functions, these orthogonal functions may be assembled into a
trigonometric polynomial In the mathematical subfields of numerical analysis and mathematical analysis, a trigonometric polynomial is a finite linear combination of functions sin(''nx'') and cos(''nx'') with ''n'' taking on the values of one or more natural numbers. The c ...
to approximate a given function on the interval with its
Fourier series
A Fourier series () is a summation of harmonically related sinusoidal functions, also known as components or harmonics. The result of the summation is a periodic function whose functional form is determined by the choices of cycle length (or '' ...
.
Polynomials
If one begins with the
monomial
In mathematics, a monomial is, roughly speaking, a polynomial which has only one term. Two definitions of a monomial may be encountered:
# A monomial, also called power product, is a product of powers of variables with nonnegative integer expon ...
sequence
on the interval