In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, in the area of
harmonic analysis, the fractional Fourier transform (FRFT) is a family of
linear transformations generalizing the
Fourier transform. It can be thought of as the Fourier transform to the ''n''-th power, where ''n'' need not be an
integer
An integer is the number zero (0), a positive natural number (1, 2, 3, ...), or the negation of a positive natural number (−1, −2, −3, ...). The negations or additive inverses of the positive natural numbers are referred to as negative in ...
— thus, it can transform a function to any ''intermediate'' domain between time and
frequency. Its applications range from
filter design and
signal analysis to
phase retrieval and
pattern recognition
Pattern recognition is the task of assigning a class to an observation based on patterns extracted from data. While similar, pattern recognition (PR) is not to be confused with pattern machines (PM) which may possess PR capabilities but their p ...
.
The FRFT can be used to define fractional
convolution
In mathematics (in particular, functional analysis), convolution is a operation (mathematics), mathematical operation on two function (mathematics), functions f and g that produces a third function f*g, as the integral of the product of the two ...
,
correlation, and other operations, and can also be further generalized into the
linear canonical transformation (LCT). An early definition of the FRFT was introduced by
Condon, by solving for the
Green's function for phase-space rotations, and also by Namias, generalizing work of
Wiener on
Hermite polynomials.
However, it was not widely recognized in signal processing until it was independently reintroduced around 1993 by several groups. Since then, there has been a surge of interest in extending Shannon's sampling theorem for signals which are band-limited in the Fractional Fourier domain.
A completely different meaning for "fractional Fourier transform" was introduced by Bailey and Swartztrauber as essentially another name for a
z-transform, and in particular for the case that corresponds to a
discrete Fourier transform
In mathematics, the discrete Fourier transform (DFT) converts a finite sequence of equally-spaced Sampling (signal processing), samples of a function (mathematics), function into a same-length sequence of equally-spaced samples of the discre ...
shifted by a fractional amount in frequency space (multiplying the input by a linear
chirp) and evaluating at a fractional set of frequency points (e.g. considering only a small portion of the spectrum). (Such transforms can be evaluated efficiently by
Bluestein's FFT algorithm.) This terminology has fallen out of use in most of the technical literature, however, in preference to the FRFT. The remainder of this article describes the FRFT.
Introduction
The continuous
Fourier transform of a function
is a
unitary operator of
space that maps the function
to its frequential version
(all expressions are taken in the
sense, rather than pointwise):
and
is determined by
via the inverse transform
Let us study its
''n''-th iterated defined by
and
when ''n'' is a non-negative integer, and
. Their sequence is finite since
is a 4-periodic automorphism: for every function
,
.
More precisely, let us introduce the parity operator
that inverts
,
. Then the following properties hold:
The FRFT provides a family of linear transforms that further extends this definition to handle non-integer powers
of the FT.
Definition
Note: some authors write the transform in terms of the "order " instead of the "angle ", in which case the is usually times . Although these two forms are equivalent, one must be careful about which definition the author uses.
For any
real , the -angle fractional Fourier transform of a function ƒ is denoted by
and defined by:
For , this becomes precisely the definition of the continuous Fourier transform, and for it is the definition of the inverse continuous Fourier transform.
The FRFT argument is neither a spatial one nor a frequency . We will see why it can be interpreted as linear combination of both coordinates . When we want to distinguish the -angular fractional domain, we will let
denote the argument of
.
Remark: with the angular frequency ω convention instead of the frequency one, the FRFT formula is the
Mehler kernel,
Properties
The -th order fractional Fourier transform operator,
, has the properties:
Additivity
For any real angles ,
Linearity