Haar wavelet

{{Short description|First known wavelet basis}}

{{Use dmy dates|date=March 2024}}

Image:Haar wavelet.svg

In mathematics, the Haar wavelet is a sequence of rescaled "square-shaped" functions which together form a wavelet family or basis. Wavelet analysis is similar to Fourier analysis in that it allows a target function over an interval to be represented in terms of an orthonormal basis. The Haar sequence is now recognised as the first known wavelet basis and is extensively used as a teaching example.

The Haar sequence was proposed in 1909 by Alfréd Haar.see p. 361 in {{harvtxt|Haar|1910}}.

Haar used these functions to give an example of an orthonormal system for the space of square-integrable functions on the unit interval [0, 1]. The study of wavelets, and even the term "wavelet", did not come until much later. As a special case of the Daubechies wavelet, the Haar wavelet is also known as Db1.

The Haar wavelet is also the simplest possible wavelet. The technical disadvantage of the Haar wavelet is that it is not continuous, and therefore not differentiable. This property can, however, be an advantage for the analysis of signals with sudden transitions (discrete signals), such as monitoring of tool failure in machines.{{cite journal |first1=B. |last1=Lee |first2=Y. S. |last2=Tarng |title=Application of the discrete wavelet transform to the monitoring of tool failure in end milling using the spindle motor current |journal=International Journal of Advanced Manufacturing Technology |year=1999 |volume=15 |issue=4 |pages=238–243 |doi=10.1007/s001700050062 |s2cid=109908427 }}

The Haar wavelet's mother wavelet function \psi(t) can be described as

: \psi(t) = \begin{cases}

1 \quad & 0 \leq t < \frac{1}{2},\\

-1 & \frac{1}{2} \leq t < 1,\\

0 &\mbox{otherwise.}

\end{cases}

Its scaling function \varphi(t) can be described as

: \varphi(t) = \begin{cases}1 \quad & 0 \leq t < 1,\\0 &\mbox{otherwise.}\end{cases}

Haar functions and Haar system

For every pair n, k of integers in \mathbb{Z}, the Haar function ψn,k is defined on the real line \mathbb{R} by the formula

: \psi_{n,k}(t) = 2^{n / 2} \psi(2^n t-k), \quad t \in \mathbb{R}.

This function is supported on the right-open interval {{nowrap| In,k {{=}}}} {{nowrap|[ k2n, (k+1)2n)}}, i.e., it vanishes outside that interval. It has integral 0 and norm 1 in the Hilbert space L2(\mathbb{R}),

: \int_{\mathbb{R}} \psi_{n, k}(t) \, d t = 0, \quad \|\psi_{n, k}\|^2_{L^2(\mathbb{R})} = \int_{\mathbb{R}} \psi_{n, k}(t)^2 \, d t = 1.

The Haar functions are pairwise orthogonal,

: \int_{\mathbb{R}} \psi_{n_1, k_1}(t) \psi_{n_2, k_2}(t) \, d t = \delta_{n_1n_2} \delta_{k_1k_2},

where \delta_{ij} represents the Kronecker delta. Here is the reason for orthogonality: when the two supporting intervals I_{n_1, k_1} and I_{n_2, k_2} are not equal, then they are either disjoint, or else the smaller of the two supports, say I_{n_1, k_1}, is contained in the lower or in the upper half of the other interval, on which the function \psi_{n_2, k_2} remains constant. It follows in this case that the product of these two Haar functions is a multiple of the first Haar function, hence the product has integral 0.

The Haar system on the real line is the set of functions

: \{ \psi_{n,k}(t) \; : \; n \in \mathbb{Z}, \; k \in \mathbb{Z} \}.

It is complete in L2(\mathbb{R}): The Haar system on the line is an orthonormal basis in L2(\mathbb{R}).

Haar wavelet properties

The Haar wavelet has several notable properties:

{{ordered list

| Any continuous real function with compact support can be approximated uniformly by linear combinations of \varphi(t),\varphi(2t),\varphi(4t),\dots,\varphi(2^n t),\dots and their shifted functions. This extends to those function spaces where any function therein can be approximated by continuous functions.

| Any continuous real function on [0, 1] can be approximated uniformly on [0, 1] by linear combinations of the constant function 1, \psi(t),\psi(2t),\psi(4t),\dots,\psi(2^n t),\dots and their shifted functions.As opposed to the preceding statement, this fact is not obvious: see p. 363 in {{harvtxt|Haar|1910}}.

| Orthogonality in the form

:

\int_{-\infty}^{\infty}2^{(n+n_1)/2}\psi(2^n t-k)\psi(2^{n_1} t - k_1)\, dt = \delta_{nn_1}\delta_{kk_1}.

Here, \delta_{ij} represents the Kronecker delta. The dual function of ψ(t) is ψ(t) itself.

| Wavelet/scaling functions with different scale n have a functional relationship:{{cite book |last=Vidakovic |first=Brani |title=Statistical Modeling by Wavelets |series=Wiley Series in Probability and Statistics |year=2010 |edition=2 |doi=10.1002/9780470317020 |pages=60, 63|isbn=9780470317020 }} since

:

\begin{align}

\varphi(t) &= \varphi(2t)+\varphi(2t-1)\\[.2em]

\psi(t) &= \varphi(2t)-\varphi(2t-1),

\end{align}

it follows that coefficients of scale n can be calculated by coefficients of scale n+1:

If \chi_w(k, n)= 2^{n/2}\int_{-\infty}^\infty x(t)\varphi(2^nt-k)\, dt

and \Chi_w(k, n)= 2^{n/2}\int_{-\infty}^\infty x(t)\psi(2^nt-k)\, dt

then

: \chi_w(k,n)= 2^{-1/2} \bigl( \chi_w(2k,n+1)+\chi_w(2k+1,n+1) \bigr)

: \Chi_w(k,n)= 2^{-1/2} \bigl( \chi_w(2k,n+1)-\chi_w(2k+1,n+1) \bigr).

}}

= The Faber&ndash;Schauder system =

The Faber–Schauder systemFaber, Georg (1910), "Über die Orthogonalfunktionen des Herrn Haar", Deutsche Math.-Ver (in German) 19: 104–112. {{issn|0012-0456}};

http://www-gdz.sub.uni-goettingen.de/cgi-bin/digbib.cgi?PPN37721857X ; http://resolver.sub.uni-goettingen.de/purl?GDZPPN002122553Schauder, Juliusz (1928), "Eine Eigenschaft des Haarschen Orthogonalsystems", Mathematische Zeitschrift 28: 317–320.{{eom|id=f/f038020

|title=Faber–Schauder system|first=B.I.|last= Golubov}}

is the family of continuous functions on [0, 1] consisting of the constant function 1, and of multiples of indefinite integrals of the functions in the Haar system on [0, 1], chosen to have norm 1 in the maximum norm. This system begins with s0 = 1, then {{nowrap| s1(t) {{=}} t}} is the indefinite integral vanishing at 0 of the function 1, first element of the Haar system on [0, 1]. Next, for every integer {{nowrap|n ≥ 0}}, functions {{nowrap| sn,k}} are defined by the formula

:

s_{n, k}(t) = 2^{1 + n/2} \int_0^t \psi_{n, k}(u) \, d u, \quad t \in [0, 1], \ 0 \le k < 2^n.

These functions {{nowrap| sn,k}} are continuous, piecewise linear, supported by the interval {{nowrap| In,k}} that also supports {{nowrap| ψn,k}}. The function {{nowrap| sn,k}} is equal to 1 at the midpoint {{nowrap| xn,k}} of the interval {{nowrap| In,k}}, linear on both halves of that interval. It takes values between 0 and 1 everywhere.

The Faber–Schauder system is a Schauder basis for the space C([0, 1]) of continuous functions on [0, 1].

For every f in C([0, 1]), the partial sum

: f_{n+1} = a_0 s_0 + a_1 s_1 + \sum_{m = 0}^{n-1} \Bigl( \sum_{k=0}^{2^m - 1} a_{m,k} s_{m, k} \Bigr) \in C([0, 1])

of the series expansion of f in the Faber–Schauder system is the continuous piecewise linear function that agrees with f at the {{nowrap|2n + 1}} points {{nowrap|k2n}}, where {{nowrap| 0 ≤ k ≤ 2n}}. Next, the formula

: f_{n+2} - f_{n+1} = \sum_{k=0}^{2^n - 1} \bigl( f(x_{n,k}) - f_{n+1}(x_{n, k}) \bigr) s_{n, k} = \sum_{k=0}^{2^n - 1} a_{n, k} s_{n, k}

gives a way to compute the expansion of f step by step. Since f is uniformly continuous, the sequence {fn} converges uniformly to f. It follows that the Faber–Schauder series expansion of f converges in C([0, 1]), and the sum of this series is equal to f.

= The Franklin system =

The Franklin system is obtained from the Faber–Schauder system by the Gram–Schmidt orthonormalization procedure.see Z. Ciesielski, Properties of the orthonormal Franklin system. Studia Math. 23 1963 141–157.Franklin system. B.I. Golubov (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Franklin_system&oldid=16655

Since the Franklin system has the same linear span as that of the Faber–Schauder system, this span is dense in C([0, 1]), hence in L2([0, 1]). The Franklin system is therefore an orthonormal basis for L2([0, 1]), consisting of continuous piecewise linear functions. P. Franklin proved in 1928 that this system is a Schauder basis for C([0, 1]).Philip Franklin, A set of continuous orthogonal functions, Math. Ann. 100 (1928), 522-529. {{doi|10.1007/BF01448860}}

The Franklin system is also an unconditional Schauder basis for the space Lp([0, 1]) when {{nowrap|1 < p < ∞}}.S. V. Bočkarev, Existence of a basis in the space of functions analytic in the disc, and some properties of Franklin's system. Mat. Sb. 95 (1974), 3–18 (Russian). Translated in Math. USSR-Sb. 24 (1974), 1–16.

The Franklin system provides a Schauder basis in the disk algebra A(D).

This was proved in 1974 by Bočkarev, after the existence of a basis for the disk algebra had remained open for more than forty years.The question appears p. 238, §3 in Banach's book, {{citation|first=Stefan|last=Banach|author-link=Stefan Banach|url=http://matwbn.icm.edu.pl/kstresc.php?tom=1&wyd=10|title=Théorie des opérations linéaires|publication-place=Warszawa|publisher=Subwencji Funduszu Kultury Narodowej|year=1932|series=Monografie Matematyczne|volume=1|zbl=0005.20901}}. The disk algebra A(D) appears as Example 10, p. 12 in Banach's book.

Bočkarev's construction of a Schauder basis in A(D) goes as follows: let f be a complex valued Lipschitz function on [0, π]; then f is the sum of a cosine series with absolutely summable coefficients. Let T(f) be the element of A(D) defined by the complex power series with the same coefficients,

: \left\{ f : x \in [0, \pi] \rightarrow \sum_{n=0}^\infty a_n \cos(n x) \right\} \longrightarrow \left\{ T(f) : z \rightarrow \sum_{n=0}^\infty a_n z^n, \quad |z| \le 1 \right\}.

Bočkarev's basis for A(D) is formed by the images under T of the functions in the Franklin system on [0, π]. Bočkarev's equivalent description for the mapping T starts by extending f to an even Lipschitz function g1 on [−π, π], identified with a Lipschitz function on the unit circle T. Next, let g2 be the conjugate function of g1, and define T(f) to be the function in A(D) whose value on the boundary T of D is equal to {{nowrap|g1 + ig2}}.

When dealing with 1-periodic continuous functions, or rather with continuous functions f on [0, 1] such that {{nowrap|f(0) {{=}} f(1)}}, one removes the function {{nowrap| s1(t) {{=}} t}} from the Faber–Schauder system, in order to obtain the periodic Faber–Schauder system. The periodic Franklin system is obtained by orthonormalization from the periodic Faber–-Schauder system.See p. 161, III.D.20 and p. 192, III.E.17 in {{citation

| last=Wojtaszczyk | first= Przemysław

| title = Banach spaces for analysts

| series = Cambridge Studies in Advanced Mathematics

| volume = 25

| publisher = Cambridge University Press

| location = Cambridge

| year= 1991

| pages = xiv+382

| isbn = 0-521-35618-0

}}

One can prove Bočkarev's result on A(D) by proving that the periodic Franklin system on [0, 2π] is a basis for a Banach space Ar isomorphic to A(D).

The space Ar consists of complex continuous functions on the unit circle T whose conjugate function is also continuous.

Haar matrix

The 2×2 Haar matrix that is associated with the Haar wavelet is

: H_2 = \begin{bmatrix} 1 & 1 \\ 1 & -1 \end{bmatrix}.

Using the discrete wavelet transform, one can transform any sequence (a_0,a_1,\dots,a_{2n},a_{2n+1}) of even length into a sequence of two-component-vectors \left(\left(a_0,a_1\right),\left(a_2,a_3\right),\dots,\left(a_{2n},a_{2n+1}\right)\right) . If one right-multiplies each vector with the matrix H_2 , one gets the result \left(\left(s_0,d_0\right),\dots,\left(s_n,d_n\right)\right) of one stage of the fast Haar-wavelet transform. Usually one separates the sequences s and d and continues with transforming the sequence s. Sequence s is often referred to as the averages part, whereas d is known as the details part.{{cite book |first1=David K. |last1=Ruch |first2=Patrick J. |last2=Van Fleet |title=Wavelet Theory: An Elementary Approach with Applications |year=2009 |publisher=John Wiley & Sons|isbn=978-0-470-38840-2 }}

If one has a sequence of length a multiple of four, one can build blocks of 4 elements and transform them in a similar manner with the 4×4 Haar matrix

: H_4 = \begin{bmatrix} 1 & 1 & 1 & 1 \\ 1 & 1 & -1 & -1 \\ 1 & -1 & 0 & 0\\ 0 & 0 & 1 & -1 \end{bmatrix},

which combines two stages of the fast Haar-wavelet transform.

Compare with a Walsh matrix, which is a non-localized 1/–1 matrix.

Generally, the 2N×2N Haar matrix can be derived by the following equation.

: H_{2N} = \begin{bmatrix} H_{N} \otimes [1, 1] \\ I_{N} \otimes [1, -1] \end{bmatrix}

:where I_{N} = \begin{bmatrix} 1 & 0 & \dots & 0 \\ 0 & 1 & \dots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \dots & 1 \end{bmatrix} and \otimes is the Kronecker product.

The Kronecker product of A \otimes B, where A is an m×n matrix and B is a p×q matrix, is expressed as

: A \otimes B = \begin{bmatrix} a_{11}B & \dots & a_{1n}B \\ \vdots & \ddots & \vdots \\ a_{m1}B & \dots & a_{mn}B\end{bmatrix}.

An un-normalized 8-point Haar matrix H_8 is shown below

: H_{8} = \begin{bmatrix} 1&1&1&1&1&1&1&1 \\ 1&1&1&1&-1&-1&-1&-1 \\ 1&1&-1&-1&0&0&0&0& \\ 0&0&0&0&1&1&-1&-1 \\ 1&-1&0&0&0&0&0&0& \\ 0&0&1&-1&0&0&0&0 \\ 0&0&0&0&1&-1&0&0& \\ 0&0&0&0&0&0&1&-1 \end{bmatrix}.

Note that, the above matrix is an un-normalized Haar matrix. The Haar matrix required by the Haar transform should be normalized.

From the definition of the Haar matrix H, one can observe that, unlike the Fourier transform, H has only real elements (i.e., 1, -1 or 0) and is non-symmetric.

Take the 8-point Haar matrix H_8 as an example. The first row of H_8 measures the average value, and the second row of H_8 measures a low frequency component of the input vector. The next two rows are sensitive to the first and second half of the input vector respectively, which corresponds to moderate frequency components. The remaining four rows are sensitive to the four section of the input vector, which corresponds to high frequency components.{{cite web |url=http://fourier.eng.hmc.edu/e161/lectures/Haar/index.html |title=haar |publisher=Fourier.eng.hmc.edu |date=30 October 2013 |access-date=23 November 2013 |archive-date=21 August 2012 |archive-url=https://web.archive.org/web/20120821004423/http://fourier.eng.hmc.edu/e161/lectures/Haar/index.html |url-status=dead }}

Haar transform

The Haar transform is the simplest of the wavelet transforms. This transform cross-multiplies a function against the Haar wavelet with various shifts and stretches, like the Fourier transform cross-multiplies a function against a sine wave with two phases and many stretches.[http://sepwww.stanford.edu/public/docs/sep75/ray2/paper_html/node4.html The Haar Transform]{{clarify|Is this comparing the kernels being integrated over, and decomposing exponentials into sine and cosine to treat the Fourier kernel as a space of sines, changing the parametrization accordingly? If so, we can give more specific, linkable language than "cross-multiplies", talk about inner products or projections and integrating them, and then lucidly compare that to a convolutional treatment.|date=June 2018}}

= Introduction =

The Haar transform is one of the oldest transform functions, proposed in 1910 by the Hungarian mathematician Alfréd Haar. It is found effective in applications such as signal and image compression in electrical and computer engineering as it provides a simple and computationally efficient approach for analysing the local aspects of a signal.

The Haar transform is derived from the Haar matrix. An example of a 4×4 Haar transformation matrix is shown below.

:H_4 = \frac{1}{2}

\begin{bmatrix} 1 & 1 & 1 & 1 \\ 1 & 1 & -1 & -1 \\ \sqrt{2} & -\sqrt{2} & 0 & 0 \\ 0 & 0 & \sqrt{2} & -\sqrt{2}\end{bmatrix}

The Haar transform can be thought of as a sampling process in which rows of the transformation matrix act as samples of finer and finer resolution.

Compare with the Walsh transform, which is also 1/–1, but is non-localized.

= Property =

The Haar transform has the following properties

  1. No need for multiplications. It requires only additions and there are many elements with zero value in the Haar matrix, so the computation time is short. It is faster than Walsh transform, whose matrix is composed of +1 and −1.
  2. Input and output length are the same. However, the length should be a power of 2, i.e. N = 2^k, k\in \mathbb{N}.
  3. It can be used to analyse the localized feature of signals. Due to the orthogonal property of the Haar function, the frequency components of input signal can be analyzed.

= Haar transform and Inverse Haar transform =

The Haar transform yn of an n-input function xn is

: y_n = H_n x_n

The Haar transform matrix is real and orthogonal. Thus, the inverse Haar transform can be derived by the following equations.

: H = H^*, H^{-1} = H^T, \text{ i.e. } HH^T = I

: where I is the identity matrix. For example, when n = 4

: H_4^{T}H_4 = \frac{1}{2}\begin{bmatrix} 1&1&\sqrt{2}&0 \\ 1&1&-\sqrt{2}&0 \\ 1&-1&0&\sqrt{2} \\ 1&-1&0&-\sqrt{2}\end{bmatrix}

\cdot\; \frac{1}{2}\begin{bmatrix} 1&1&1&1 \\ 1&1&-1&-1 \\ \sqrt{2}&-\sqrt{2}&0&0 \\ 0&0&\sqrt{2}&-\sqrt{2}\end{bmatrix}

= \begin{bmatrix} 1&0&0&0 \\ 0&1&0&0 \\ 0&0&1&0 \\ 0&0&0&1 \end{bmatrix}

Thus, the inverse Haar transform is

: x_{n} = H^{T}y_{n}

= Example =

The Haar transform coefficients of a n=4-point signal x_{4} = [1,2,3,4]^{T} can be found as

: y_{4} = H_4 x_4 =

\frac{1}{2}\begin{bmatrix} 1&1&1&1 \\ 1&1&-1&-1 \\ \sqrt{2}&-\sqrt{2}&0&0 \\ 0&0&\sqrt{2}&-\sqrt{2}\end{bmatrix} \begin{bmatrix} 1 \\ 2 \\ 3 \\ 4\end{bmatrix}

= \begin{bmatrix} 5 \\ -2 \\ -1/\sqrt{2} \\ -1/\sqrt{2}\end{bmatrix}

The input signal can then be perfectly reconstructed by the inverse Haar transform

: \hat{x_{4}} = H_{4}^{T}y_{4} =

\frac{1}{2}\begin{bmatrix} 1&1&\sqrt{2}&0 \\ 1&1&-\sqrt{2}&0 \\ 1&-1&0&\sqrt{2} \\ 1&-1&0&-\sqrt{2}\end{bmatrix} \begin{bmatrix} 5 \\ -2 \\ -1/\sqrt{2} \\ -1/\sqrt{2}\end{bmatrix}

= \begin{bmatrix} 1 \\ 2 \\ 3 \\ 4 \end{bmatrix}

See also

Notes

{{Reflist}}

References

  • {{citation

| last = Haar |first = Alfréd | author-link = Alfréd Haar

| title = Zur Theorie der orthogonalen Funktionensysteme

| journal = Mathematische Annalen

| volume = 69

| year = 1910

| issue = 3

| pages = 331–371

| doi=10.1007/BF01456326 | hdl = 2027/uc1.b2619563|s2cid = 120024038 | hdl-access = free}}

  • Charles K. Chui, An Introduction to Wavelets, (1992), Academic Press, San Diego, {{ISBN|0-585-47090-1}}
  • English Translation of Haar's seminal article: [https://web.archive.org/web/20120123124430/https://www.uni-hohenheim.de/~gzim/Publications/haar.pdf]

=Haar transform=

  • {{cite web|url=http://cnx.org/content/m11087/latest/|title=The Haar Transform|archive-url=https://web.archive.org/web/20060419183057/http://cnx.org/content/m11087/latest/|archive-date=19 April 2006|first=Nick|last=Kingsbury}}
  • {{cite web|url=http://math.hws.edu/eck/math371/applets/Haar.html|title=Haar Transform Demo Applets|first=David|last=Eck|date=31 January 2006}}
  • {{cite web|url=http://online.redwoods.cc.ca.us/instruct/darnold/laproj/Fall2002/ames/paper.pdf|title=Image Compression|archive-url=https://web.archive.org/web/20110125080404/http://online.redwoods.cc.ca.us/instruct/darnold/laproj/Fall2002/ames/paper.pdf|archive-date=25 January 2011|first=Greg|last=Ames|date=7 December 2002}}
  • {{cite web|url=http://scien.stanford.edu/class/ee368/projects2000/project12/2.html|title=MOSMAT 500. A photomosaic generator. 2. Theory|archive-url=https://web.archive.org/web/20080318071618/http://scien.stanford.edu/class/ee368/projects2000/project12/2.html|archive-date=18 March 2008|first1=Anne|last1=Aaron|first2=Michael|last2=Hill|first3=Anand|last3=Srivatsa|date=}}
  • {{cite web|url=http://fourier.eng.hmc.edu/e161/lectures/Haar/index.html|title=Haar Transform|archive-url=https://web.archive.org/web/20120821004423/http://fourier.eng.hmc.edu/e161/lectures/Haar/index.html |archive-date=21 August 2012 |first1=Ruye|last=Wang|date=4 December 2008}}

{{DEFAULTSORT:Haar Wavelet}}

Category:Orthogonal wavelets