Convolution and Correlation Mathematical Notation and Definitions

Developer Reference for Intel® oneAPI Math Kernel Library for Fortran

Download PDF

ID 766686

Date 7/13/2023

Version

Public

A newer version of this document is available. Customers should click here to go to the newest version.

Convolution and Correlation Mathematical Notation and Definitions

The following notation is necessary to explain the underlying mathematical definitions used in the text:

`R = (-∞, +∞)`	The set of real numbers.
`Z = {0, ±1, ±2, ...}`	The set of integer numbers.
`Z^N = Z× ... ×Z`	The set of N-dimensional series of integer numbers.
`p = (p₁, ..., p_N) ∈Z^N`	N-dimensional series of integers.
`u`:Z^N→R	Function `u` with arguments from Z^N and values from R.
`u`(`p`) = `u`(`p`₁, ..., `p`_N)	The value of the function `u` for the argument (`p`₁, ..., `p`_N).
`w = u*v`	Function `w` is the convolution of the functions `u`, `v`.
`w = u•v`	Function `w` is the correlation of the functions `u`, `v`.

Given series p, q∈Z^N:

series r = p + q is defined as rⁿ = pⁿ + qⁿ for every n=1,...,N
series r = p - q is defined as rⁿ = pⁿ - qⁿ for every n=1,...,N
series r = sup{p, q} is defines as rⁿ = max{pⁿ, qⁿ} for every n=1,...,N
series r = inf{p, q} is defined as rⁿ = min{pⁿ, qⁿ} for every n=1,...,N
inequality p≤q means that pⁿ≤qⁿ for every n=1,...,N.

A function u(p) is called a finite function if there exist series P^min, P^max∈Z^N such that:

u(p) 
        ≠ 0

implies

 P^min≤p≤ P^max.

Operations of convolution and correlation are only defined for finite functions.

Consider functions u, v and series P^min, P^maxQ^min, Q^max∈Z^N such that:

u(p) ≠ 0 implies P^min≤p≤ P^max.
v(q) ≠ 0 implies Q^min≤q≤ Q^max.

Definitions of linear correlation and linear convolution for functions u and v are given below.

Linear Convolution

If function w = u*v is the convolution of u and v, then:

w(r) ≠ 0 implies R^min≤r≤R^max,
where R^min = P^min + Q^min and R^max = P^max + Q^max.

If R^min≤r≤R^max, then:

w(r) = ∑u(t)·v(r−t) is the sum for all t∈Z^N such that T^min≤t≤T^max,
where T^min = sup{P^min, r− Q^max} and T^max = inf{P^max, r− Q^min}.

Linear Correlation

If function w = u•v is the correlation of u and v, then:

w(r) ≠ 0 implies R^min≤r≤R^max,
where R^min = Q^min - P^max and R^max = Q^max - P^min.

If R^min≤r≤R^max, then:

w(r) = ∑u(t)·v(r+t) is the sum for all t∈Z^N such that T^min≤t≤T^max,
where T^min = sup{P^min, Q^min−r} and T^max = inf{P^max, Q^max−r}.

Representation of the functions u, v, was the input/output data for the Intel® oneAPI Math Kernel Library (oneMKL) convolution and correlation functions is described in theData Allocation.

Parent topic: Convolution and Correlation

Select Your Language

Using Intel.com Search

Quick Links

Recent Searches

Advanced Search

Only search in

Developer Reference for Intel® oneAPI Math Kernel Library for Fortran

Convolution and Correlation Mathematical Notation and Definitions

Linear Convolution

Linear Correlation