The characteristic function of a subset
of a larger set, sometimes also called
the indicator function, is the function
defined to be identically one on
,
and is zero elsewhere. Characteristic functions are
sometimes denoted using the so-called Iverson bracket,
and can be useful descriptive devices since it is easier to say, for example, "the
characteristic function of the primes"
rather than repeating a given definition. A characteristic function
is a special case of a simple function.
The term characteristic function is used in a different way in probability. For any random
variable , it is
for real
. When
has a probability
density function
,
this equals the Fourier transform of the probability density function using
Fourier transform parameters
. If
for some
, the following raw
moment expansion is valid for
:
|
(1)
| |||
|
(2)
| |||
|
(3)
| |||
|
(4)
| |||
|
(5)
|
where
(sometimes also denoted
)
is the
th
raw moment and
(Abramowitz and Stegun 1972, p. 928; Morrison
1995).
Every statistical distribution is uniquely specified by its characteristic function,
even when its moments do not exist. A distribution
need not be uniquely specified by all its moments.
If
is absolutely integrable, the distribution
has a continuous probability
density function given by
|
(6)
|
(Papoulis 1991, p. 116).
If , the characteristic function
can be used to generate the
th raw moment,
|
(7)
|
Under the exponential-moment hypothesis above, its logarithm, with the branch chosen so that ,
generates the cumulants
near zero:
|
(8)
|