ハートレー変換のソースを表示

[[数学]]の分野における'''ハートレー変換'''（ハートレーへんかん、{{Lang-en|''Hartley transform''}}）は、[[フーリエ変換]]と非常に関係の深い、実数値関数を実数値関数へと写す[[積分変換]]である。1942年、[[ラルフ・ハートレー]]によりフーリエ変換の代替的なものとして提唱され、多くの知られている{{仮リンク|フーリエ関連変換|en|Fourier-related transforms}}の内の一つとなった。フーリエ変換と比較して、ハートレー変換には実関数を実関数へと変換し、逆変換がそれ自身となるという長所がある。

1983年、{{仮リンク|ロナルド・ブレイスウェル|en|Ronald N. Bracewell}}によりこの変換の離散版である{{仮リンク|離散ハートレー変換|en|Discrete Hartley transform}}が考案された。

二次元のハートレー変換は、{{仮リンク|光学フーリエ変換|en|optical Fourier transform}}と同様なあるアナログ光学処理によって計算される。その利点として、複素フェーズよりも振幅と符号のみが必要とされる、ということが提唱されている{{sfn|Villasenor|1994}}。しかし、光学ハートレー変換は未だ広く利用されてはいないようである。

==定義==  
実数値[[関数 (数学)|関数]] ''f''(''t'') のハートレー変換は

:<math>
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
</math>

により定義される。ここで、応用の場面での <math>\omega</math> の意味は[[角周波数]]であり、

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

は「余弦正弦（cosine-and-sine）」あるいは「ハートレー核」と呼ばれるものである。工学において、この変換は信号（関数）を時間領域からハートレースペクトル領域（[[周波数領域]]）へと写す。

===逆変換===
ハートレー変換は、それ自身が逆変換（[[対合]]）であるという便利な性質を持つ。すなわち

:<math>f = \{\mathcal{H} \{\mathcal{H}f \}\}</math>

が成立する。

===慣例===
上述の定義はハートレーによる元々の定義と一致するものである。しかし、様々な些細な点が慣例上の問題となっており、それらは本質的な性質を脅かすことなく変更することも出来る:

* 元の変換と逆変換を等しいものとする代わりに、元の変換から係数 <math>{1}/{\sqrt{2\pi}}</math> を除き、その代わりに逆変換に係数 <math>{1}/{2\pi}</math> を付けることも出来る。あるいは、実際、積が <math>{1}/{2\pi}</math> となるような組み合わせならどのような係数を用いて正規化してもよい（上の例のような非対称的な正規化は、純粋数学および工学のいずれの分野においても用いられる）。
* <math>\omega t</math> の代わりに  <math>2\pi\nu t</math> を用いることも出来る（すなわち、角周波数ではなく周波数を用いることも出来る）。そのような場合、係数 <math>{1}/{\sqrt{2\pi}}</math> は完全に取り除かれる。
*積分核として、cos+sin の代わりに cos&minus;sin を用いることも出来る。

==フーリエ変換との関係==
この変換は、積分核の選び方において従来のフーリエ変換 <math>F(\omega) = \mathcal{F} \{ f(t) \}(\omega)</math> とは異なるものである。フーリエ変換においては、指数関数核:
<math>\exp\left({-i\omega t}\right) = \cos(\omega t) - i \sin(\omega t) </math>
が用いられていた。ここで ''i'' は[[虚数|虚数単位]]である。

それら二つの変換は密接に関連している。特に、フーリエ変換は（正規化の系数として <math>1/\sqrt{2\pi}</math> を用いる時）、

:<math>F(\omega) = \frac{H(\omega) + H(-\omega)}{2} - i \frac{H(\omega) - H(-\omega)}{2}</math>

によって、ハートレー変換から得ることが出来る。つまり、フーリエ変換の実部と虚部は、それぞれハートレー変換の偶部分（even part）と奇部分（odd part）によって与えられることになる。

逆に、実数値関数 ''f''(''t'') に対して、ハートレー変換はフーリエ変換の実部と虚部を用いることで

:<math>\{ \mathcal{H} f \} = \Re \{ \mathcal{F}f \} - \Im \{ \mathcal{F}f \} = \Re \{ \mathcal{F}f \cdot (1+i) \}</math>

として得られる。ここで <math>\Re</math> および <math>\Im</math> は複素フーリエ変換の実部と虚部をそれぞれ表す。

==性質==
ハートレー変換は実[[線形作用素]]であり、[[対称行列|対称]]である（そして[[エルミート作用素|エルミート]]である）。その対称性および自己反転性により、ハートレー変換は[[ユニタリ作用素]]であることが分かる（実際、[[直交]]である）。

ハートレー変換について、[[重畳積分定理]]と類似な次のような議論がある。もし二つの関数 <math>x(t)</math> および <math>y(t)</math> にそれぞれハートレー変換 <math>X(\omega)</math> および <math>Y(\omega)</math> が存在するなら、それらの関数の[[畳み込み]] <math>z(t) = x * y</math> にも同様にハートレー変換が存在し、次のように与えられる:

:<math>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</math>

フーリエ変換と同様に、偶関数あるいは奇関数のハートレー変換はそれぞれ偶関数あるいは奇関数となる。

===余弦正弦（cas）===
余弦正弦（cas）関数の性質は、[[三角法]]およびその位相変換三角関数 <math>\mbox{cas}(t)=\sqrt{2} \sin (t+\pi /4)</math> としての定義により従う。例えば、

:<math>
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) \,
</math>

および

:<math> 
\mbox{cas} (a+b) = \cos (a) \mbox{cas} (b) + \sin (a) \mbox{cas} (-b) = \cos (b) \mbox{cas} (a) + \sin (b) \mbox{cas}(-a) \,
</math>

などが得られ、微分は

:<math>
\mbox{cas}'(a) = \frac{\mbox{d}}{\mbox{d}a} \mbox{cas} (a) = \cos (a) - \sin (a) = \mbox{cas}(-a)
</math>

となる。

==参考文献== 
* Hartley, R. V. L., [http://ieeexplore.ieee.org/search/wrapper.jsp?arnumber=1694454 A more symmetrical Fourier analysis applied to transmission problems], ''[[Proc. IRE]]'' '''30''', 144&ndash;150 (1942).

* Bracewell, R. N., ''The Fourier Transform and Its Applications'' (McGraw-Hill, 1965, 2nd ed. 1978, revised 1986) ''(also translated into Japanese and Polish)''

* Bracewell, R. N., ''The Hartley Transform'' (Oxford University Press, 1986) ''(also translated into German and Russian)''

* Bracewell, R. N., {{doi-inline|10.1109/5.272142|Aspects of the Hartley transform}}, ''[[Proc. IEEE]]'' '''82''' (3), 381-387 (1994).

* Millane, R. P., {{doi-inline|10.1109/5.272146|Analytic properties of the Hartley transform}}, ''Proc. IEEE'' '''82''' (3), 413-428 (1994).

* {{Cite journal|last=Villasenor|author=|first=John D.|year=1994|title=Optical Hartley transforms|journal=Proc. IEEE|volume=82|issue=3|page=|pages=391-399|ref=harv|doi=10.1109/5.272144}} 

* 吉村孝志、竹中博士、二宮市三：「高速ハートレ変換は高速フーリエ変換を超えるか？」、日本応用数理学会論文誌、Vol.3, No.3(1993), pp.245-255.

{{DEFAULTSORT:はあとれえへんかん}}
[[Category:フーリエ解析]]
[[Category:ラルフ・ハートレー]]
[[Category:数学のエポニム]]
[[Category:数学に関する記事]]