Information AboutConvolution |
| CATEGORIES ABOUT CONVOLUTION | |
| functional analysis | |
| image processing | |
| binary operations | |
| fourier analysis | |
|
In Mathematics and, in particular, Functional Analysis , convolution is a mathematical Operator which takes two Function s ''f'' and ''g'' and produces a third function that in a sense represents the amount of overlap between ''f'' and a reversed and translated version of ''g''. Typically, one of the functions is taken to be a fixed filter Impulse Response , and is known as a ''kernel''. Such a convolution is a kind of generalized Moving Average , as one can see by taking the kernel to be an Indicator Function of an Interval . (in this case ) and make each waveform a function of this variable. Second, time-invert one of the waveforms (it does not matter which) and add ''t''. This allows the function to "slide" back and forth on the -axis while remaining stationary with respect to ''t''. (The front edge of the "travelling" waveform is always ''t–1'' in this case.) Finally, start one function at negative infinity and slide it all the way to positive infinity. Wherever the two functions intersect, find the integral of their product. The resulting waveform (not shown here) is the convolution of the two functions.]] DEFINITION
The integration range depends on the Domain on which the functions are defined; often a = -∞ and b = +∞. While the symbol is used above, it need not represent the time domain. In the case of a finite integration range, and are often considered to extend Periodic ally in both directions, so that the term does not imply a range violation. This use of periodic domains is sometimes called a cyclic, '''circular''' Or '''periodic Convolution''' . Of course, extension with zeros is also possible. Using zero-extended or infinite domains is sometimes called a '''linear convolution''', especially in the discrete case below. DISCRETE CONVOLUTION Normal convolution For discrete functions, one can use a discrete version of the convolution. It is given by
When multiplying two Polynomial s, the coefficients of the product are given by the convolution of the original coefficient Sequence s, in this sense (using extension with zeros as mentioned above). Generalizing the above cases, the convolution can be defined for any two Integrable functions defined on a Locally Compact Topological Group (see '' Convolutions On Groups '' below). A different generalization is the convolution of Distribution s. Evaluating discrete convolutions takes O (''N''2) arithmetic operations. Fast convolution In practice, Digital Signal Processing typically uses fast convolution to increase the speed of the convolution. Calculating convolution via a fast convolution algorithm consists of taking the fast Fourier transform (see FFT ) of two separate sequences, multiplying them together, and then computing the inverse fast Fourier transform, known as the IFFT . Fast convolution can be implemented using Circular Convolution . When using large sequences, evaluating fast discrete convolutions takes O(''N'' log ''N'') arithmetical operations. PROPERTIES Commutativity
Associativity
Distributivity
Identity element
where δ denotes the Dirac Delta Associativity with scalar multiplication
for any real (or complex) number . Differentiation rule
where denotes the Derivative of or, in the discrete case, the Difference Operator . Consequently, convolution can be viewed as a "smoothing" operation: the convolution of ''f'' and ''g'' is differentiable as many times as either ''f'' or ''g'' is, whichever is greater. Convolution theorem The Convolution Theorem states that where denotes the Fourier Transform of , and is a constant which depends upon the specific Normalization of the Fourier transform (e.g., if ). Versions of this theorem also hold for the Laplace Transform , Two-sided Laplace Transform , Z-transform and Mellin Transform . See also less trivial Titchmarsh Convolution Theorem . CONVOLUTIONS ON GROUPS If ''G'' is a suitable Group endowed with a Measure ''m'' (for instance, a Locally Compact Hausdorff Topological Group with the Haar Measure ) and if ''f'' and ''g'' are real or complex valued m- Integrable functions of G, then we can define their convolution by
The Circle Group T with the Lebesgue measure is an immediate example. For a fixed ''g'' in ''L''1(T), we have the following familiar operator acting on the Hilbert Space ''L''2(T): :
:
: which are precisely the Character s of T. Each convolution is a compact Multiplication Operator in this basis. This can be viewed as a version of the convolution theorem discussed above. The above example may convince one that convolutions arise naturally in the context of Harmonic Analysis on groups. For more general groups, it is also possible to give, for instance, a Convolution Theorem, however it is much more difficult to phrase and requires Representation Theory for these types of groups and the Peter-Weyl Theorem . It is very difficult to do these calculations without more structure, and Lie Group s turn out to be the setting in which these things are done. CONVOLUTION OF MEASURES
u)(A) = (\mu imes u)(\{\, (x,y) \in \mathbb{R}^2 \,:\, x+y \in A \,\}).
APPLICATIONS Convolution and related operations are found in many applications of engineering and mathematics.
SEE ALSO
EXTERNAL LINKS
|
|
|