fbpx
Wikipedia

Haar wavelet

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 wavelet

The Haar sequence was proposed in 1909 by Alfréd Haar.[1] 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.[2]

The Haar wavelet's mother wavelet function can be described as

Its scaling function can be described as

Haar functions and Haar system edit

For every pair n, k of integers in  , the Haar function ψn,k is defined on the real line   by the formula

 

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

 

The Haar functions are pairwise orthogonal,

 

where   represents the Kronecker delta. Here is the reason for orthogonality: when the two supporting intervals   and   are not equal, then they are either disjoint, or else the smaller of the two supports, say  , is contained in the lower or in the upper half of the other interval, on which the function   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

 

It is complete in L2( ): The Haar system on the line is an orthonormal basis in L2( ).

Haar wavelet properties edit

The Haar wavelet has several notable properties:

  1. Any continuous real function with compact support can be approximated uniformly by linear combinations of   and their shifted functions. This extends to those function spaces where any function therein can be approximated by continuous functions.
  2. Any continuous real function on [0, 1] can be approximated uniformly on [0, 1] by linear combinations of the constant function 1,   and their shifted functions.[3]
  3. Orthogonality in the form
     
    Here,   represents the Kronecker delta. The dual function of ψ(t) is ψ(t) itself.
  4. Wavelet/scaling functions with different scale n have a functional relationship:[4] since
     
    it follows that coefficients of scale n can be calculated by coefficients of scale n+1:
    If  
    and  
    then
     
     

Haar system on the unit interval and related systems edit

In this section, the discussion is restricted to the unit interval [0, 1] and to the Haar functions that are supported on [0, 1]. The system of functions considered by Haar in 1910,[5] called the Haar system on [0, 1] in this article, consists of the subset of Haar wavelets defined as

 

with the addition of the constant function 1 on [0, 1].

In Hilbert space terms, this Haar system on [0, 1] is a complete orthonormal system, i.e., an orthonormal basis, for the space L2([0, 1]) of square integrable functions on the unit interval.

The Haar system on [0, 1] —with the constant function 1 as first element, followed with the Haar functions ordered according to the lexicographic ordering of couples (n, k)— is further a monotone Schauder basis for the space Lp([0, 1]) when 1 ≤ p < ∞.[6] This basis is unconditional when 1 < p < ∞.[7]

There is a related Rademacher system consisting of sums of Haar functions,

 

Notice that |rn(t)| = 1 on [0, 1). This is an orthonormal system but it is not complete.[8][9] In the language of probability theory, the Rademacher sequence is an instance of a sequence of independent Bernoulli random variables with mean 0. The Khintchine inequality expresses the fact that in all the spaces Lp([0, 1]), 1 ≤ p < ∞, the Rademacher sequence is equivalent to the unit vector basis in ℓ2.[10] In particular, the closed linear span of the Rademacher sequence in Lp([0, 1]), 1 ≤ p < ∞, is isomorphic to ℓ2.

The Faber–Schauder system edit

The Faber–Schauder system[11][12][13] 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 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 n ≥ 0, functions sn,k are defined by the formula

 

These functions sn,k are continuous, piecewise linear, supported by the interval In,k that also supports ψn,k. The function sn,k is equal to 1 at the midpoint xn,k of the interval  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].[6] For every f in C([0, 1]), the partial sum

 

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

 

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 edit

The Franklin system is obtained from the Faber–Schauder system by the Gram–Schmidt orthonormalization procedure.[14][15] 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]).[16] The Franklin system is also an unconditional Schauder basis for the space Lp([0, 1]) when 1 < p < ∞.[17] The Franklin system provides a Schauder basis in the disk algebra A(D).[17] 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.[18]

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,

 

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 g1 + ig2.

When dealing with 1-periodic continuous functions, or rather with continuous functions f on [0, 1] such that f(0) = f(1), one removes the function 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.[19] 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).[19] The space Ar consists of complex continuous functions on the unit circle T whose conjugate function is also continuous.

Haar matrix edit

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

 

Using the discrete wavelet transform, one can transform any sequence   of even length into a sequence of two-component-vectors  . If one right-multiplies each vector with the matrix  , one gets the result   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.[20]

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

 

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.

 
where   and   is the Kronecker product.

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

 

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

 

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  , one can observe that, unlike the Fourier transform,   has only real elements (i.e., 1, -1 or 0) and is non-symmetric.

Take the 8-point Haar matrix   as an example. The first row of   measures the average value, and the second row of   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.[21]

Haar transform edit

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.[22][clarification needed]

Introduction edit

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.

 

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 edit

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.  .
  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 edit

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

 

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

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

Thus, the inverse Haar transform is

 

Example edit

The Haar transform coefficients of a n=4-point signal   can be found as

 

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

 

See also edit

Notes edit

  1. ^ see p. 361 in Haar (1910).
  2. ^ Lee, B.; Tarng, Y. S. (1999). "Application of the discrete wavelet transform to the monitoring of tool failure in end milling using the spindle motor current". International Journal of Advanced Manufacturing Technology. 15 (4): 238–243. doi:10.1007/s001700050062. S2CID 109908427.
  3. ^ As opposed to the preceding statement, this fact is not obvious: see p. 363 in Haar (1910).
  4. ^ Vidakovic, Brani (2010). Statistical Modeling by Wavelets. Wiley Series in Probability and Statistics (2 ed.). pp. 60, 63. doi:10.1002/9780470317020. ISBN 9780470317020.
  5. ^ p. 361 in Haar (1910)
  6. ^ a b see p. 3 in J. Lindenstrauss, L. Tzafriri, (1977), "Classical Banach Spaces I, Sequence Spaces", Ergebnisse der Mathematik und ihrer Grenzgebiete 92, Berlin: Springer-Verlag, ISBN 3-540-08072-4.
  7. ^ The result is due to R. E. Paley, A remarkable series of orthogonal functions (I), Proc. London Math. Soc. 34 (1931) pp. 241-264. See also p. 155 in J. Lindenstrauss, L. Tzafriri, (1979), "Classical Banach spaces II, Function spaces". Ergebnisse der Mathematik und ihrer Grenzgebiete 97, Berlin: Springer-Verlag, ISBN 3-540-08888-1.
  8. ^ "Orthogonal system", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
  9. ^ Walter, Gilbert G.; Shen, Xiaoping (2001). Wavelets and Other Orthogonal Systems. Boca Raton: Chapman. ISBN 1-58488-227-1.
  10. ^ see for example p. 66 in J. Lindenstrauss, L. Tzafriri, (1977), "Classical Banach Spaces I, Sequence Spaces", Ergebnisse der Mathematik und ihrer Grenzgebiete 92, Berlin: Springer-Verlag, ISBN 3-540-08072-4.
  11. ^ Faber, 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?GDZPPN002122553
  12. ^ Schauder, Juliusz (1928), "Eine Eigenschaft des Haarschen Orthogonalsystems", Mathematische Zeitschrift 28: 317–320.
  13. ^ Golubov, B.I. (2001) [1994], "Faber–Schauder system", Encyclopedia of Mathematics, EMS Press
  14. ^ see Z. Ciesielski, Properties of the orthonormal Franklin system. Studia Math. 23 1963 141–157.
  15. ^ Franklin system. B.I. Golubov (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Franklin_system&oldid=16655
  16. ^ Philip Franklin, A set of continuous orthogonal functions, Math. Ann. 100 (1928), 522-529. doi:10.1007/BF01448860
  17. ^ a b 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.
  18. ^ The question appears p. 238, §3 in Banach's book, Banach, Stefan (1932), Théorie des opérations linéaires, Monografie Matematyczne, vol. 1, Warszawa: Subwencji Funduszu Kultury Narodowej, Zbl 0005.20901. The disk algebra A(D) appears as Example 10, p. 12 in Banach's book.
  19. ^ a b See p. 161, III.D.20 and p. 192, III.E.17 in Wojtaszczyk, Przemysław (1991), Banach spaces for analysts, Cambridge Studies in Advanced Mathematics, vol. 25, Cambridge: Cambridge University Press, pp. xiv+382, ISBN 0-521-35618-0
  20. ^ Ruch, David K.; Van Fleet, Patrick J. (2009). Wavelet Theory: An Elementary Approach with Applications. John Wiley & Sons. ISBN 978-0-470-38840-2.
  21. ^ . Fourier.eng.hmc.edu. 30 October 2013. Archived from the original on 21 August 2012. Retrieved 23 November 2013.
  22. ^ The Haar Transform

References edit

  • Haar, Alfréd (1910), "Zur Theorie der orthogonalen Funktionensysteme", Mathematische Annalen, 69 (3): 331–371, doi:10.1007/BF01456326, hdl:2027/uc1.b2619563, S2CID 120024038
  • Charles K. Chui, An Introduction to Wavelets, (1992), Academic Press, San Diego, ISBN 0-585-47090-1
  • English Translation of Haar's seminal article:

External links edit

  • "Haar system", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
  • Free Haar wavelet filtering implementation and interactive demo
  • Free Haar wavelet denoising and lossy signal compression

Haar transform edit

  • Kingsbury, Nick. . Archived from the original on 19 April 2006.
  • Eck, David (31 January 2006). "Haar Transform Demo Applets".
  • Ames, Greg (7 December 2002). (PDF). Archived from the original (PDF) on 25 January 2011.
  • Aaron, Anne; Hill, Michael; Srivatsa, Anand. . Archived from the original on 18 March 2008.
  • Wang, Ruye (4 December 2008). . Archived from the original on 21 August 2012.

haar, wavelet, mathematics, sequence, rescaled, square, shaped, functions, which, together, form, wavelet, family, basis, wavelet, analysis, similar, fourier, analysis, that, allows, target, function, over, interval, represented, terms, orthonormal, basis, haa. 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 waveletThe Haar sequence was proposed in 1909 by Alfred Haar 1 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 2 The Haar wavelet s mother wavelet function ps t displaystyle psi t can be described as ps t 1 0 t lt 1 2 1 1 2 t lt 1 0 otherwise displaystyle psi t begin cases 1 quad amp 0 leq t lt frac 1 2 1 amp frac 1 2 leq t lt 1 0 amp mbox otherwise end cases Its scaling function f t displaystyle varphi t can be described as f t 1 0 t lt 1 0 otherwise displaystyle varphi t begin cases 1 quad amp 0 leq t lt 1 0 amp mbox otherwise end cases Contents 1 Haar functions and Haar system 2 Haar wavelet properties 3 Haar system on the unit interval and related systems 3 1 The Faber Schauder system 3 2 The Franklin system 4 Haar matrix 5 Haar transform 5 1 Introduction 5 2 Property 5 3 Haar transform and Inverse Haar transform 5 4 Example 6 See also 7 Notes 8 References 9 External links 9 1 Haar transformHaar functions and Haar system editFor every pair n k of integers in Z displaystyle mathbb Z nbsp the Haar function psn k is defined on the real line R displaystyle mathbb R nbsp by the formula ps n k t 2 n 2 ps 2 n t k t R displaystyle psi n k t 2 n 2 psi 2 n t k quad t in mathbb R nbsp This function is supported on the right open interval In k k2 n k 1 2 n i e it vanishes outside that interval It has integral 0 and norm 1 in the Hilbert space L2 R displaystyle mathbb R nbsp R ps n k t d t 0 ps n k L 2 R 2 R ps n k t 2 d t 1 displaystyle int mathbb R psi n k t dt 0 quad psi n k L 2 mathbb R 2 int mathbb R psi n k t 2 dt 1 nbsp The Haar functions are pairwise orthogonal R ps n 1 k 1 t ps n 2 k 2 t d t d n 1 n 2 d k 1 k 2 displaystyle int mathbb R psi n 1 k 1 t psi n 2 k 2 t dt delta n 1 n 2 delta k 1 k 2 nbsp where d i j displaystyle delta ij nbsp represents the Kronecker delta Here is the reason for orthogonality when the two supporting intervals I n 1 k 1 displaystyle I n 1 k 1 nbsp and I n 2 k 2 displaystyle I n 2 k 2 nbsp are not equal then they are either disjoint or else the smaller of the two supports say I n 1 k 1 displaystyle I n 1 k 1 nbsp is contained in the lower or in the upper half of the other interval on which the function ps n 2 k 2 displaystyle psi n 2 k 2 nbsp 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 ps n k t n Z k Z displaystyle psi n k t n in mathbb Z k in mathbb Z nbsp It is complete in L2 R displaystyle mathbb R nbsp The Haar system on the line is an orthonormal basis in L2 R displaystyle mathbb R nbsp Haar wavelet properties editThe Haar wavelet has several notable properties Any continuous real function with compact support can be approximated uniformly by linear combinations of f t f 2 t f 4 t f 2 n t displaystyle varphi t varphi 2t varphi 4t dots varphi 2 n t dots nbsp 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 ps t ps 2 t ps 4 t ps 2 n t displaystyle psi t psi 2t psi 4t dots psi 2 n t dots nbsp and their shifted functions 3 Orthogonality in the form 2 n n 1 2 ps 2 n t k ps 2 n 1 t k 1 d t d n n 1 d k k 1 displaystyle 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 nbsp Here d i j displaystyle delta ij nbsp represents the Kronecker delta The dual function of ps t is ps t itself Wavelet scaling functions with different scale n have a functional relationship 4 since f t f 2 t f 2 t 1 ps t f 2 t f 2 t 1 displaystyle begin aligned varphi t amp varphi 2t varphi 2t 1 2em psi t amp varphi 2t varphi 2t 1 end aligned nbsp it follows that coefficients of scale n can be calculated by coefficients of scale n 1 If x w k n 2 n 2 x t f 2 n t k d t displaystyle chi w k n 2 n 2 int infty infty x t varphi 2 n t k dt nbsp and X w k n 2 n 2 x t ps 2 n t k d t displaystyle mathrm X w k n 2 n 2 int infty infty x t psi 2 n t k dt nbsp then x w k n 2 1 2 x w 2 k n 1 x w 2 k 1 n 1 displaystyle chi w k n 2 1 2 bigl chi w 2k n 1 chi w 2k 1 n 1 bigr nbsp X w k n 2 1 2 x w 2 k n 1 x w 2 k 1 n 1 displaystyle mathrm X w k n 2 1 2 bigl chi w 2k n 1 chi w 2k 1 n 1 bigr nbsp Haar system on the unit interval and related systems editIn this section the discussion is restricted to the unit interval 0 1 and to the Haar functions that are supported on 0 1 The system of functions considered by Haar in 1910 5 called the Haar system on 0 1 in this article consists of the subset of Haar wavelets defined as t 0 1 ps n k t n N 0 0 k lt 2 n displaystyle t in 0 1 mapsto psi n k t n in mathbb N cup 0 0 leq k lt 2 n nbsp with the addition of the constant function 1 on 0 1 In Hilbert space terms this Haar system on 0 1 is a complete orthonormal system i e an orthonormal basis for the space L2 0 1 of square integrable functions on the unit interval The Haar system on 0 1 with the constant function 1 as first element followed with the Haar functions ordered according to the lexicographic ordering of couples n k is further a monotone Schauder basis for the space Lp 0 1 when 1 p lt 6 This basis is unconditional when 1 lt p lt 7 There is a related Rademacher system consisting of sums of Haar functions r n t 2 n 2 k 0 2 n 1 ps n k t t 0 1 n 0 displaystyle r n t 2 n 2 sum k 0 2 n 1 psi n k t quad t in 0 1 n geq 0 nbsp Notice that rn t 1 on 0 1 This is an orthonormal system but it is not complete 8 9 In the language of probability theory the Rademacher sequence is an instance of a sequence of independent Bernoulli random variables with mean 0 The Khintchine inequality expresses the fact that in all the spaces Lp 0 1 1 p lt the Rademacher sequence is equivalent to the unit vector basis in ℓ2 10 In particular the closed linear span of the Rademacher sequence in Lp 0 1 1 p lt is isomorphic to ℓ2 The Faber Schauder system edit The Faber Schauder system 11 12 13 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 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 n 0 functions sn k are defined by the formula s n k t 2 1 n 2 0 t ps n k u d u t 0 1 0 k lt 2 n displaystyle s n k t 2 1 n 2 int 0 t psi n k u du quad t in 0 1 0 leq k lt 2 n nbsp These functions sn k are continuous piecewise linear supported by the interval In k that also supports psn k The function sn k is equal to 1 at the midpoint xn k of the interval 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 6 For every f in C 0 1 the partial sum f n 1 a 0 s 0 a 1 s 1 m 0 n 1 k 0 2 m 1 a m k s m k C 0 1 displaystyle 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 nbsp of the series expansion of f in the Faber Schauder system is the continuous piecewise linear function that agrees with f at the 2n 1 points k2 n where 0 k 2n Next the formula f n 2 f n 1 k 0 2 n 1 f x n k f n 1 x n k s n k k 0 2 n 1 a n k s n k displaystyle 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 nbsp 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 edit The Franklin system is obtained from the Faber Schauder system by the Gram Schmidt orthonormalization procedure 14 15 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 16 The Franklin system is also an unconditional Schauder basis for the space Lp 0 1 when 1 lt p lt 17 The Franklin system provides a Schauder basis in the disk algebra A D 17 This was proved in 1974 by Bockarev after the existence of a basis for the disk algebra had remained open for more than forty years 18 Bockarev s construction of a Schauder basis in A D goes as follows let f be a complex valued Lipschitz function on 0 p 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 f x 0 p n 0 a n cos n x T f z n 0 a n z n z 1 displaystyle left f x in 0 pi rightarrow sum n 0 infty a n cos nx right longrightarrow left T f z rightarrow sum n 0 infty a n z n quad z leq 1 right nbsp Bockarev s basis for A D is formed by the images under T of the functions in the Franklin system on 0 p Bockarev s equivalent description for the mapping T starts by extending f to an even Lipschitz function g1 on p p 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 g1 ig2 When dealing with 1 periodic continuous functions or rather with continuous functions f on 0 1 such that f 0 f 1 one removes the function 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 19 One can prove Bockarev s result on A D by proving that the periodic Franklin system on 0 2p is a basis for a Banach space Ar isomorphic to A D 19 The space Ar consists of complex continuous functions on the unit circle T whose conjugate function is also continuous Haar matrix editThe 2 2 Haar matrix that is associated with the Haar wavelet is H 2 1 1 1 1 displaystyle H 2 begin bmatrix 1 amp 1 1 amp 1 end bmatrix nbsp Using the discrete wavelet transform one can transform any sequence a 0 a 1 a 2 n a 2 n 1 displaystyle a 0 a 1 dots a 2n a 2n 1 nbsp of even length into a sequence of two component vectors a 0 a 1 a 2 a 3 a 2 n a 2 n 1 displaystyle left left a 0 a 1 right left a 2 a 3 right dots left a 2n a 2n 1 right right nbsp If one right multiplies each vector with the matrix H 2 displaystyle H 2 nbsp one gets the result s 0 d 0 s n d n displaystyle left left s 0 d 0 right dots left s n d n right right nbsp 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 20 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 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 displaystyle H 4 begin bmatrix 1 amp 1 amp 1 amp 1 1 amp 1 amp 1 amp 1 1 amp 1 amp 0 amp 0 0 amp 0 amp 1 amp 1 end bmatrix nbsp 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 2 N H N 1 1 I N 1 1 displaystyle H 2N begin bmatrix H N otimes 1 1 I N otimes 1 1 end bmatrix nbsp where I N 1 0 0 0 1 0 0 0 1 displaystyle I N begin bmatrix 1 amp 0 amp dots amp 0 0 amp 1 amp dots amp 0 vdots amp vdots amp ddots amp vdots 0 amp 0 amp dots amp 1 end bmatrix nbsp and displaystyle otimes nbsp is the Kronecker product The Kronecker product of A B displaystyle A otimes B nbsp where A displaystyle A nbsp is an m n matrix and B displaystyle B nbsp is a p q matrix is expressed as A B a 11 B a 1 n B a m 1 B a m n B displaystyle A otimes B begin bmatrix a 11 B amp dots amp a 1n B vdots amp ddots amp vdots a m1 B amp dots amp a mn B end bmatrix nbsp An un normalized 8 point Haar matrix H 8 displaystyle H 8 nbsp is shown below H 8 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 displaystyle H 8 begin bmatrix 1 amp 1 amp 1 amp 1 amp 1 amp 1 amp 1 amp 1 1 amp 1 amp 1 amp 1 amp 1 amp 1 amp 1 amp 1 1 amp 1 amp 1 amp 1 amp 0 amp 0 amp 0 amp 0 amp 0 amp 0 amp 0 amp 0 amp 1 amp 1 amp 1 amp 1 1 amp 1 amp 0 amp 0 amp 0 amp 0 amp 0 amp 0 amp 0 amp 0 amp 1 amp 1 amp 0 amp 0 amp 0 amp 0 0 amp 0 amp 0 amp 0 amp 1 amp 1 amp 0 amp 0 amp 0 amp 0 amp 0 amp 0 amp 0 amp 0 amp 1 amp 1 end bmatrix nbsp 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 displaystyle H nbsp one can observe that unlike the Fourier transform H displaystyle H nbsp has only real elements i e 1 1 or 0 and is non symmetric Take the 8 point Haar matrix H 8 displaystyle H 8 nbsp as an example The first row of H 8 displaystyle H 8 nbsp measures the average value and the second row of H 8 displaystyle H 8 nbsp 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 21 Haar transform editThe 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 22 clarification needed Introduction edit The Haar transform is one of the oldest transform functions proposed in 1910 by the Hungarian mathematician Alfred 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 1 2 1 1 1 1 1 1 1 1 2 2 0 0 0 0 2 2 displaystyle H 4 frac 1 2 begin bmatrix 1 amp 1 amp 1 amp 1 1 amp 1 amp 1 amp 1 sqrt 2 amp sqrt 2 amp 0 amp 0 0 amp 0 amp sqrt 2 amp sqrt 2 end bmatrix nbsp 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 edit The Haar transform has the following properties 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 Input and output length are the same However the length should be a power of 2 i e N 2 k k N displaystyle N 2 k k in mathbb N nbsp 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 edit The Haar transform yn of an n input function xn is y n H n x n displaystyle y n H n x n nbsp 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 i e H H T I displaystyle H H H 1 H T text i e HH T I nbsp where I displaystyle I nbsp is the identity matrix For example when n 4H 4 T H 4 1 2 1 1 2 0 1 1 2 0 1 1 0 2 1 1 0 2 1 2 1 1 1 1 1 1 1 1 2 2 0 0 0 0 2 2 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 displaystyle H 4 T H 4 frac 1 2 begin bmatrix 1 amp 1 amp sqrt 2 amp 0 1 amp 1 amp sqrt 2 amp 0 1 amp 1 amp 0 amp sqrt 2 1 amp 1 amp 0 amp sqrt 2 end bmatrix cdot frac 1 2 begin bmatrix 1 amp 1 amp 1 amp 1 1 amp 1 amp 1 amp 1 sqrt 2 amp sqrt 2 amp 0 amp 0 0 amp 0 amp sqrt 2 amp sqrt 2 end bmatrix begin bmatrix 1 amp 0 amp 0 amp 0 0 amp 1 amp 0 amp 0 0 amp 0 amp 1 amp 0 0 amp 0 amp 0 amp 1 end bmatrix nbsp Thus the inverse Haar transform is x n H T y n displaystyle x n H T y n nbsp Example edit The Haar transform coefficients of a n 4 point signal x 4 1 2 3 4 T displaystyle x 4 1 2 3 4 T nbsp can be found as y 4 H 4 x 4 1 2 1 1 1 1 1 1 1 1 2 2 0 0 0 0 2 2 1 2 3 4 5 2 1 2 1 2 displaystyle y 4 H 4 x 4 frac 1 2 begin bmatrix 1 amp 1 amp 1 amp 1 1 amp 1 amp 1 amp 1 sqrt 2 amp sqrt 2 amp 0 amp 0 0 amp 0 amp sqrt 2 amp sqrt 2 end bmatrix begin bmatrix 1 2 3 4 end bmatrix begin bmatrix 5 2 1 sqrt 2 1 sqrt 2 end bmatrix nbsp The input signal can then be perfectly reconstructed by the inverse Haar transform x 4 H 4 T y 4 1 2 1 1 2 0 1 1 2 0 1 1 0 2 1 1 0 2 5 2 1 2 1 2 1 2 3 4 displaystyle hat x 4 H 4 T y 4 frac 1 2 begin bmatrix 1 amp 1 amp sqrt 2 amp 0 1 amp 1 amp sqrt 2 amp 0 1 amp 1 amp 0 amp sqrt 2 1 amp 1 amp 0 amp sqrt 2 end bmatrix begin bmatrix 5 2 1 sqrt 2 1 sqrt 2 end bmatrix begin bmatrix 1 2 3 4 end bmatrix nbsp See also editDimension reduction Walsh matrix Walsh transform Wavelet Chirplet Signal Haar like feature Stromberg wavelet Dyadic transformationNotes edit see p 361 in Haar 1910 Lee B Tarng Y S 1999 Application of the discrete wavelet transform to the monitoring of tool failure in end milling using the spindle motor current International Journal of Advanced Manufacturing Technology 15 4 238 243 doi 10 1007 s001700050062 S2CID 109908427 As opposed to the preceding statement this fact is not obvious see p 363 in Haar 1910 Vidakovic Brani 2010 Statistical Modeling by Wavelets Wiley Series in Probability and Statistics 2 ed pp 60 63 doi 10 1002 9780470317020 ISBN 9780470317020 p 361 in Haar 1910 a b see p 3 in J Lindenstrauss L Tzafriri 1977 Classical Banach Spaces I Sequence Spaces Ergebnisse der Mathematik und ihrer Grenzgebiete 92 Berlin Springer Verlag ISBN 3 540 08072 4 The result is due to R E Paley A remarkable series of orthogonal functions I Proc London Math Soc 34 1931 pp 241 264 See also p 155 in J Lindenstrauss L Tzafriri 1979 Classical Banach spaces II Function spaces Ergebnisse der Mathematik und ihrer Grenzgebiete 97 Berlin Springer Verlag ISBN 3 540 08888 1 Orthogonal system Encyclopedia of Mathematics EMS Press 2001 1994 Walter Gilbert G Shen Xiaoping 2001 Wavelets and Other Orthogonal Systems Boca Raton Chapman ISBN 1 58488 227 1 see for example p 66 in J Lindenstrauss L Tzafriri 1977 Classical Banach Spaces I Sequence Spaces Ergebnisse der Mathematik und ihrer Grenzgebiete 92 Berlin Springer Verlag ISBN 3 540 08072 4 Faber Georg 1910 Uber 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 GDZPPN002122553 Schauder Juliusz 1928 Eine Eigenschaft des Haarschen Orthogonalsystems Mathematische Zeitschrift 28 317 320 Golubov B I 2001 1994 Faber Schauder system Encyclopedia of Mathematics EMS Press 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 amp oldid 16655 Philip Franklin A set of continuous orthogonal functions Math Ann 100 1928 522 529 doi 10 1007 BF01448860 a b S V Bockarev 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 question appears p 238 3 in Banach s book Banach Stefan 1932 Theorie des operations lineaires Monografie Matematyczne vol 1 Warszawa Subwencji Funduszu Kultury Narodowej Zbl 0005 20901 The disk algebra A D appears as Example 10 p 12 in Banach s book a b See p 161 III D 20 and p 192 III E 17 in Wojtaszczyk Przemyslaw 1991 Banach spaces for analysts Cambridge Studies in Advanced Mathematics vol 25 Cambridge Cambridge University Press pp xiv 382 ISBN 0 521 35618 0 Ruch David K Van Fleet Patrick J 2009 Wavelet Theory An Elementary Approach with Applications John Wiley amp Sons ISBN 978 0 470 38840 2 haar Fourier eng hmc edu 30 October 2013 Archived from the original on 21 August 2012 Retrieved 23 November 2013 The Haar TransformReferences editHaar Alfred 1910 Zur Theorie der orthogonalen Funktionensysteme Mathematische Annalen 69 3 331 371 doi 10 1007 BF01456326 hdl 2027 uc1 b2619563 S2CID 120024038 Charles K Chui An Introduction to Wavelets 1992 Academic Press San Diego ISBN 0 585 47090 1 English Translation of Haar s seminal article 1 External links edit nbsp Wikimedia Commons has media related to Haar wavelet Haar system Encyclopedia of Mathematics EMS Press 2001 1994 Free Haar wavelet filtering implementation and interactive demo Free Haar wavelet denoising and lossy signal compressionHaar transform edit Kingsbury Nick The Haar Transform Archived from the original on 19 April 2006 Eck David 31 January 2006 Haar Transform Demo Applets Ames Greg 7 December 2002 Image Compression PDF Archived from the original PDF on 25 January 2011 Aaron Anne Hill Michael Srivatsa Anand MOSMAT 500 A photomosaic generator 2 Theory Archived from the original on 18 March 2008 Wang Ruye 4 December 2008 Haar Transform Archived from the original on 21 August 2012 Retrieved from https en wikipedia org w index php title Haar wavelet amp oldid 1162044231 Haar transform, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.