Legendre wavelet

Associated Legendre polynomials are the colatitudinal part of the spherical harmonics which are common to all separations of Laplace's equation in spherical polar coordinates.[2] The radial part of the solution varies from one potential to another, but the harmonics are always the same and are a consequence of spherical symmetry. Spherical harmonics ${\displaystyle P_{n}(z)}$ are solutions of the Legendre ${\displaystyle 2^{nd}}$-order differential equation, n integer:

${\displaystyle \left(1-z^{2}\right){\frac {d^{2}y}{dz^{2}}}-2z{\frac {dy}{dz}}+n(n+1)y=0.}$

${\displaystyle P_{n}(\cos(\theta ))}$ polynomials can be used to define the smoothing filter ${\displaystyle H(\omega )}$ of a multiresolution analysis (MRA).[6] Since the appropriate boundary conditions for an MRA are ${\displaystyle |H(0)|=1}$ and ${\displaystyle |H(\pi )|=0}$, the smoothing filter of an MRA can be defined so that the magnitude of the low-pass ${\displaystyle |H(\omega )|}$ can be associated to Legendre polynomials according to: ${\displaystyle \nu =2n+1.}$

${\displaystyle |H_{\nu }(\omega )|=\left|{\frac {P_{\nu }\left(\cos \left({\frac {\omega }{2}}\right)\right)}{P_{\nu }\cos(0)}}\right|}$

Illustrative examples of filter transfer functions for a Legendre MRA are shown in figure 1, for ${\displaystyle \nu =1,3,5.}$ A low-pass behaviour is exhibited for the filter H, as expected. The number of zeroes within ${\displaystyle -\pi <\omega <\pi }$ is equal to the degree of the Legendre polynomial. Therefore, the roll-off of side-lobes with frequency is easily controlled by the parameter ${\displaystyle \nu }$.

Figure 1 - Magnitude of the transfer function for Legendre multiresolution smoothing filters. Filter ${\displaystyle |H_{\nu }(\omega )|}$ for orders 1, 3, and 5.

The low-pass filter transfer function is given by

${\displaystyle H_{\nu }(\omega )=-e^{-j\nu {\frac {\omega -\pi }{2}}}P_{\nu }\left(\cos \left({\tfrac {\omega }{2}}\right)\right)}$

The transfer function of the high-pass analysing filter ${\displaystyle G_{\nu }(\omega )}$ is chosen according to Quadrature mirror filter condition,[6][7] yielding:

${\displaystyle H_{\nu }(\omega )=-e^{-j{(\nu -2)}{\frac {\omega }{2}}}P_{\nu }\left(\sin \left({\tfrac {\omega }{2}}\right)\right)}$

Indeed, ${\displaystyle |G_{\nu }(0)|=0}$ and ${\displaystyle |G_{\nu }(\pi )|=1}$, as expected.

A suitable phase assignment is done so as to properly adjust the transfer function ${\displaystyle H_{\nu }(\omega )}$ to the form

${\displaystyle H_{\nu }(\omega )={\frac {1}{\sqrt {2}}}\sum _{k\in Z}h_{k}^{\nu }e^{-j\omega k}}$

The filter coefficients ${\displaystyle \{h_{k}\}_{k\in \mathbb {Z} }}$ are given by:

${\displaystyle h_{k}^{\nu }=-{\frac {\sqrt {2}}{2^{2\nu }}}{\binom {2k}{k}}{\binom {2\nu -2k}{\nu -k}}}$

from which the symmetry:

${\displaystyle {h_{k}^{\nu }}={h_{\nu -k}^{\nu }},}$

follows. There are just ${\displaystyle \nu +1}$ non-zero filter coefficients on ${\displaystyle H_{n}(\omega )}$, so that the Legendre wavelets have compact support for every odd integer ${\displaystyle \nu }$.

Table I - Smoothing Legendre FIR filter coefficients for ${\displaystyle \nu =1,3,5}$ (${\displaystyle N}$ is the wavelet order.)

	${\displaystyle \nu =1(N=1)}$	${\displaystyle \nu =3(N=2)}$	${\displaystyle \nu =5(N=3)}$
${\displaystyle h_{0}}$	${\displaystyle -{\tfrac {\sqrt {2}}{2}}}$	${\displaystyle -5{\tfrac {\sqrt {2}}{16}}}$	${\displaystyle -63{\tfrac {\sqrt {2}}{256}}}$
${\displaystyle h_{1}}$	${\displaystyle -{\tfrac {\sqrt {2}}{2}}}$	${\displaystyle -3{\tfrac {\sqrt {2}}{16}}}$	${\displaystyle -35{\tfrac {\sqrt {2}}{256}}}$
${\displaystyle h_{2}}$		${\displaystyle -3{\tfrac {\sqrt {2}}{16}}}$	${\displaystyle -30{\tfrac {\sqrt {2}}{256}}}$
${\displaystyle h_{3}}$		${\displaystyle -5{\tfrac {\sqrt {2}}{16}}}$	${\displaystyle -30{\tfrac {\sqrt {2}}{256}}}$
${\displaystyle h_{4}}$			${\displaystyle -35{\tfrac {\sqrt {2}}{256}}}$
${\displaystyle h_{5}}$			${\displaystyle -63{\tfrac {\sqrt {2}}{256}}}$

N.B. The minus signal can be suppressed.

Legendre wavelets can be easily loaded into the MATLAB wavelet toolbox—The m-files to allow the computation of Legendre wavelet transform, details and filter are (freeware) available. The finite support width Legendre family is denoted by legd (short name). Wavelets: 'legdN'. The parameter N in the legdN family is found according to ${\displaystyle 2N=\nu +1}$ (length of the MRA filters).

Legendre wavelets can be derived from the low-pass reconstruction filter by an iterative procedure (the cascade algorithm). The wavelet has compact support and finite impulse response AMR filters (FIR) are used (table 1). The first wavelet of the Legendre's family is exactly the well-known Haar wavelet. Figure 2 shows an emerging pattern that progressively looks like the wavelet's shape.

Figure 2 - Shape of Legendre Wavelets of degree ${\displaystyle \nu =3}$ (legd2) derived after 4 and 8 iteration of the cascade algorithm, respectively. Shape of Legendre Wavelets of degree ${\displaystyle \nu =5}$ (legd3) derived by the cascade algorithm after 4 and 8 iterations of the cascade algorithm, respectively.

The Legendre wavelet shape can be visualised using the wavemenu command of MATLAB. Figure 3 shows legd8 wavelet displayed using MATLAB. Legendre Polynomials are also associated with windows families.[8]

Figure 3 - legd8 wavelet display over MATLAB using the wavemenu command.

Wavelet packets (WP) systems derived from Legendre wavelets can also be easily accomplished. Figure 5 illustrates the WP functions derived from legd2.

Figure 5 - Legendre (legd2) Wavelet Packets W system functions: WP from 0 to 9.

• M.M.S. Lira, H.M. de Oliveira, M.A. Carvalho Jr, R.M.C.Souza, Compactly Supported Wavelets Derived from Legendre Polynomials: Spherical Harmonic Wavelets, In: Computational Methods in Circuits and Systems Applications, N.E. Mastorakis, I.A. Stahopulos, C. Manikopoulos, G.E. Antoniou, V.M. Mladenov, I.F. Gonos Eds., WSEAS press, pp. 211–215, 2003. ISBN 960-8052-88-2. Available at ee.ufpe.br
• A. A. Colomer and A. A. Colomer, Adaptive ECG Data Compression Using Discrete Legendre Transform, Digital Signal Processing, 7, 1997, pp. 222–228.
• A.G. Ramm, A.I. Zaslavsky, X-Ray Transform, the Legendre Transform, and Envelopes, J. of Math. Analysis and Appl., 183, pp. 528–546, 1994.
• C. Herley, M. Vetterli, Orthogonalization of Compactly Supported Wavelet Bases, IEEE Digital Signal Process. Workshop, 13-16 Sep., pp. 1.7.1-1.7.2, 1992.
• S. Mallat, A Theory for Multiresolution Signal Decomposition: The Wavelet Representation, IEEE Transactions on Pattern Analysis and Machine Intelligence, 11, July pp. 674–693, 1989.
• M. Vetterli, C. Herly, Wavelets and Filter Banks: Theory and Design, IEEE Trans. on Acoustics, Speech, and Signal Processing, 40, 9, p. 2207, 1992.
• M. Jaskula, New Windows Family Based on Modified Legendre Polynomials, IEEE Instrum. And Measurement Technol. Conf., Anchorage, AK, May, 2002, pp. 553–556.