22.10.2014 Views

Continuous Wavelet Transform on the Hyperboloid - Université de ...

Continuous Wavelet Transform on the Hyperboloid - Université de ...

Continuous Wavelet Transform on the Hyperboloid - Université de ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

We now have all <strong>the</strong> basic ingredients for formulating a useful c<strong>on</strong>voluti<strong>on</strong><br />

<strong>the</strong>orem in <strong>the</strong> Fourier-Helgas<strong>on</strong> domain. As we will now see <strong>the</strong> FH transform<br />

of a c<strong>on</strong>voluti<strong>on</strong> takes a simple form, provi<strong>de</strong>d <strong>on</strong>e of <strong>the</strong> kernels is rotati<strong>on</strong><br />

invariant.<br />

Theorem 3 (C<strong>on</strong>voluti<strong>on</strong>) Let f and s be two measurable functi<strong>on</strong>s, with<br />

f,s ∈ L 2 (H+) 2 and let s be rotati<strong>on</strong> invariant. The c<strong>on</strong>voluti<strong>on</strong> (s ∗ f)(y) is in<br />

L 1 (H+ 2 ) and its Fourier-Helgas<strong>on</strong> transform satisfies<br />

̂ (s ∗ f)(ν, ξ) = ˆf(ν, ξ)ŝ(ν). (57)<br />

Proof : The c<strong>on</strong>voluti<strong>on</strong> of s and f is given by:<br />

∫<br />

(s ∗ f)(y) = s([y] −1 x)f(x)dµ(x).<br />

H 2 +<br />

Since s is SO(2)-invariant, we write its argument in this equati<strong>on</strong> in <strong>the</strong> following<br />

way :<br />

⎛<br />

⎞ ⎛ ⎞ ⎛<br />

⎞<br />

cosh χ − sinh χ 0<br />

x 0<br />

x 0 cosh χ − x 1 sinh χ<br />

⎜ − sinh χ cosh χ 0<br />

⎟ ⎜ x 1<br />

=<br />

⎟ ⎜ −x 0 sinh χ + x 1 cosh χ<br />

, (58)<br />

⎟<br />

⎝<br />

⎠ ⎝ ⎠ ⎝<br />

⎠<br />

0 0 1 0<br />

0<br />

where x =(x 0 ,x 1 ,x 2 ) and we have used polar coordinates for y = y(χ, ϕ). On<br />

<strong>the</strong> o<strong>the</strong>r hand we can alternatively write this equati<strong>on</strong> in <strong>the</strong> form :<br />

⎛<br />

⎞ ⎛<br />

⎞ ⎛ ⎞<br />

x 0 cosh χ − x 1 sinh χ<br />

x 0 −x 1 0<br />

cosh χ<br />

⎜ −x 0 sinh χ + x 1 cosh χ<br />

=<br />

⎟ ⎜ −x 1 x 0 0<br />

⎟ ⎜ sinh χ<br />

. (59)<br />

⎟<br />

⎝<br />

⎠ ⎝<br />

⎠ ⎝ ⎠<br />

0<br />

0 0 1 0<br />

Thus we have<br />

s([y] −1 x)=s([x] −1 y). (60)<br />

Therefore, <strong>the</strong> c<strong>on</strong>voluti<strong>on</strong> with a rotati<strong>on</strong> invariant functi<strong>on</strong> is given by<br />

∫<br />

(s ∗ f)(y)=<br />

∫<br />

=<br />

H 2 +<br />

H 2 +<br />

f(x)s([y] −1 x)dµ(x) (61)<br />

f(x)s([x] −1 y)dµ(x). (62)<br />

17

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!