1983年、ロナルド・ブレイスウェル(英語版)によりこの変換の離散版である離散ハートレー変換(英語版)が考案された。
二次元のハートレー変換は、光学フーリエ変換(英語版)と同様なあるアナログ光学処理によって計算される。その利点として、複素フェーズよりも振幅と符号のみが必要とされる、ということが提唱されている。しかし、光学ハートレー変換は未だ広く利用されてはいないようである。
定義
実数値関数 f(t) のハートレー変換は
![{\displaystyle 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}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/e3489dbba61a01c9bcee14d1bc1ef255c0bba0cd)
により定義される。ここで、応用の場面での
の意味は角周波数であり、
![{\displaystyle {\mbox{cas}}(t)=\cos(t)+\sin(t)={\sqrt {2}}\sin(t+\pi /4)={\sqrt {2}}\cos(t-\pi /4)\,}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/28947b103a4d68c17de97434b08cf43bdfc71eb5)
は「余弦正弦(cosine-and-sine)」あるいは「ハートレー核」と呼ばれるものである。工学において、この変換は信号(関数)を時間領域からハートレースペクトル領域(周波数領域)へと写す。
逆変換
ハートレー変換は、それ自身が逆変換(対合)であるという便利な性質を持つ。すなわち
![{\displaystyle f=\{{\mathcal {H}}\{{\mathcal {H}}f\}\}}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/570cedbcd17c57156d0a7d96f2d671922d4911de)
が成立する。
慣例
上述の定義はハートレーによる元々の定義と一致するものである。しかし、様々な些細な点が慣例上の問題となっており、それらは本質的な性質を脅かすことなく変更することも出来る:
- 元の変換と逆変換を等しいものとする代わりに、元の変換から係数
を除き、その代わりに逆変換に係数
を付けることも出来る。あるいは、実際、積が
となるような組み合わせならどのような係数を用いて正規化してもよい(上の例のような非対称的な正規化は、純粋数学および工学のいずれの分野においても用いられる)。
の代わりに
を用いることも出来る(すなわち、角周波数ではなく周波数を用いることも出来る)。そのような場合、係数
は完全に取り除かれる。
- 積分核として、cos+sin の代わりに cos−sin を用いることも出来る。
フーリエ変換との関係
この変換は、積分核の選び方において従来のフーリエ変換
とは異なるものである。フーリエ変換においては、指数関数核:
が用いられていた。ここで i は虚数単位である。
それら二つの変換は密接に関連している。特に、フーリエ変換は(正規化の系数として
を用いる時)、
![{\displaystyle F(\omega )={\frac {H(\omega )+H(-\omega )}{2}}-i{\frac {H(\omega )-H(-\omega )}{2}}}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/61e44fed4e4522adcceae61d5ae16262de106cfe)
によって、ハートレー変換から得ることが出来る。つまり、フーリエ変換の実部と虚部は、それぞれハートレー変換の偶部分(even part)と奇部分(odd part)によって与えられることになる。
逆に、実数値関数 f(t) に対して、ハートレー変換はフーリエ変換の実部と虚部を用いることで
![{\displaystyle \{{\mathcal {H}}f\}=\Re \{{\mathcal {F}}f\}-\Im \{{\mathcal {F}}f\}=\Re \{{\mathcal {F}}f\cdot (1+i)\}}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/ccd737d1f61070269f67ff7d0724f0ffc7422c92)
として得られる。ここで
および
は複素フーリエ変換の実部と虚部をそれぞれ表す。