Fourier-Zernike series of compactly supported convolutions on \(SE(2)\) (Q2238039)

The Zernike polynomials \(Z_{nm}\), where \(m \in \mathbb Z\) and \(n > 0\) an integer with \(n \geq |m|,\) \(n-|m|\) even, is given by \[Z_{nm}(r) = \sum_{j=0}^{\frac{n-|m|}{2}}~(-1)^j~\frac{(n-j)!}{j! (\frac{n+|m|}{2} - j)! (\frac{n-|m|}{2}-j)}~r^{n-2j} , \qquad r \in [0, 1].\] For a fixed \(m,\) they satisfy the orthogonality relations \[ \int_0^1~Z_{n_1 m}(r)~Z_{n_2 m}(r)~r\,dr = \frac{1}{2n_1 + 2}~\delta_{n_1,n_2}.\] Dilating and normalizing we get that \[ \mathcal{E}_{m}^a = \{ \mathcal{Z}_{nm}^a:~n \geq |m| , \ n-|m|~\text{is even}\}\] is an orthonormal basis for \(L^2( [0, a], r\,dr)\) where \[ \mathcal{Z}_{nm}^a(r) = \frac{\sqrt{(2n+2)}}{a}~Z_{nm}(a^{-1}r).\] Consequently, the functions \[V_{nm}^a(r, \phi) = \mathcal{Z}_{nm}^a(r)~e^{im \phi}\] form an orthonormal basis for \(L^2(\mathbb B_a)\), where \(\mathbb B_a = \{x \in \mathbb R^2:~ |x| \leq a \}.\) Let \(SE(2) = \mathbb R^2 \ltimes SO(2)\) be the motion group on \(\mathbb R^2\) and let \(\mathbb D_a = \mathbb B_a \times SO(2).\) Then, \[\mathcal{V}_\ell^a(g) = V_{nm}^a(\boldsymbol t)~e^{ik \theta} = V_{nm}^a(r, \phi) e^{ik \theta},\] where \(g = (\boldsymbol t, \theta) \in \mathbb D_a\) and \(\ell = (m, n , k) \in \mathbb Z^3\), is an orthonormal basis for \(L^2 (\mathbb D_a).\) Any function \(\xi \in L^2 (\mathbb D_a)\) can be expanded using this basis; \[ \xi = \sum C_\ell^a(\xi) \mathcal{V}_\ell^a\] and the coefficients \(C_\ell^a(\xi)\) can be explicitly computed using Bessel functions integrated against matrix entries of the group Fourier transform of the function \(\xi.\) Under certain conditions it is proved that the series converges uniformly. Coefficients of convolution of functions are also studied.