Hartley transform

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In mathematics, the Hartley transform is an integral transform closely related to the Fourier transform, but which transforms real-valued functions to real-valued functions. It was proposed as an alternative to the Fourier transform by R. V. L. Hartley in 1942, and is one of many known Fourier-related transforms. Compared to the Fourier transform, the Hartley transform has the advantages of transforming real functions to real functions (as opposed to requiring complex numbers) and of being its own inverse.

The discrete version of the transform, the Discrete Hartley transform, was introduced by R. N. Bracewell in 1983.

The two-dimensional Hartley transform can be computed by an analog optical process similar to an optical Fourier transform, with the proposed advantage that only its amplitude and sign need to be determined rather than its complex phase (Villasenor, 1994). However, optical Hartley transforms do not seem to have seen widespread use.

Definition[edit]

The Hartley transform of a function f(t) is defined by:


H(\omega) = \left\{\mathcal{H}f\right\}(\omega) =  \frac{1}{\sqrt{2\pi}}\int_{-\infty}^\infty
f(t) \, \mbox{cas}(\omega t) \mathrm{d}t,

where \omega can in applications be an angular frequency and


\mbox{cas}(t) = \cos(t) + \sin(t) = \sqrt{2} \sin (t+\pi /4) = \sqrt{2} \cos (t-\pi /4)\,

is the cosine-and-sine or Hartley kernel. In engineering terms, this transform takes a signal (function) from the time-domain to the Hartley spectral domain (frequency domain).

Inverse transform[edit]

The Hartley transform has the convenient property of being its own inverse (an involution):

f = \{\mathcal{H} \{\mathcal{H}f \}\}.

Conventions[edit]

The above is in accord with Hartley's original definition, but (as with the Fourier transform) various minor details are matters of convention and can be changed without altering the essential properties:

  • Instead of using the same transform for forward and inverse, one can remove the {1}/{\sqrt{2\pi}} from the forward transform and use {1}/{2\pi} for the inverse—or, indeed, any pair of normalizations whose product is {1}/{2\pi}. (Such asymmetrical normalizations are sometimes found in both purely mathematical and engineering contexts.)
  • One can also use 2\pi\nu t instead of \omega t (i.e., frequency instead of angular frequency), in which case the {1}/{\sqrt{2\pi}} coefficient is omitted entirely.
  • One can use cos−sin instead of cos+sin as the kernel.

Relation to Fourier transform[edit]

This transform differs from the classic Fourier transform F(\omega) = \mathcal{F} \{ f(t) \}(\omega) in the choice of the kernel. In the Fourier transform, we have the exponential kernel: \exp\left({-i\omega t}\right) = \cos(\omega t) - i \sin(\omega t), where i is the imaginary unit.

The two transforms are closely related, however, and the Fourier transform (assuming it uses the same 1/\sqrt{2\pi} normalization convention) can be computed from the Hartley transform via:

F(\omega) = \frac{H(\omega) + H(-\omega)}{2} - i \frac{H(\omega) - H(-\omega)}{2}.

That is, the real and imaginary parts of the Fourier transform are simply given by the even and odd parts of the Hartley transform, respectively.

Conversely, for real-valued functions f(t), the Hartley transform is given from the Fourier transform's real and imaginary parts:

\{ \mathcal{H} f \} = \Re \{ \mathcal{F}f \} - \Im \{ \mathcal{F}f \} = \Re \{ \mathcal{F}f \cdot (1+i) \}

where \Re and \Im denote the real and imaginary parts of the complex Fourier transform.

Properties[edit]

The Hartley transform is a real linear operator, and is symmetric (and Hermitian). From the symmetric and self-inverse properties, it follows that the transform is a unitary operator (indeed, orthogonal).

There is also an analogue of the convolution theorem for the Hartley transform. If two functions x(t) and y(t) have Hartley transforms X(\omega) and Y(\omega), respectively, then their convolution z(t) = x * y has the Hartley transform:

Z(\omega) = \{ \mathcal{H} (x * y) \} = \sqrt{2\pi} \left( X(\omega) \left[ Y(\omega) + Y(-\omega) \right]
                         + X(-\omega) \left[ Y(\omega) - Y(-\omega) \right] \right) / 2.

Similar to the Fourier transform, the Hartley transform of an even/odd function is even/odd, respectively.

cas[edit]

The properties of the cas function follow directly from trigonometry, and its definition as a phase-shifted trigonometric function \mbox{cas}(t)=\sqrt{2} \sin (t+\pi /4). For example, it has an angle-addition identity of:


2 \mbox{cas} (a+b) = \mbox{cas}(a) \mbox{cas}(b) + \mbox{cas}(-a) \mbox{cas}(b) + \mbox{cas}(a) \mbox{cas}(-b) - \mbox{cas}(-a) \mbox{cas}(-b). \,

Additionally:

 
\mbox{cas} (a+b) = \cos (a) \mbox{cas} (b) + \sin (a) \mbox{cas} (-b) = \cos (b) \mbox{cas} (a) + \sin (b) \mbox{cas}(-a) \,

and its derivative is given by:


\mbox{cas}'(a) = \frac{\mbox{d}}{\mbox{d}a} \mbox{cas} (a) = \cos (a) - \sin (a) = \mbox{cas}(-a).

References[edit]