Difference between revisions of "Haar system"
m (some TeX) |
m (some TeX) |
||
Line 3: | Line 3: | ||
\chi_1(t) \equiv 1\quad \text{ on } [0,1]; | \chi_1(t) \equiv 1\quad \text{ on } [0,1]; | ||
$$ | $$ | ||
− | |||
− | |||
if $n=2^m+k$, $k=1,\dots, 2^m$, $m=0,1,\dots$, then | if $n=2^m+k$, $k=1,\dots, 2^m$, $m=0,1,\dots$, then | ||
Line 16: | Line 14: | ||
At interior points of discontinuity a Haar function is put equal to half the sum of its limiting values from the right and from the left, and at the end points of $[0,1]$ to its limiting values from within the interval. | At interior points of discontinuity a Haar function is put equal to half the sum of its limiting values from the right and from the left, and at the end points of $[0,1]$ to its limiting values from within the interval. | ||
− | The system | + | The system $\{\chi_n\}$ was defined by A. Haar in [[#References|[1]]]. It is orthonormal on the interval $[0,1]$. The Fourier series of any continuous function on $[0,1]$ with respect to this system converges uniformly to it. Moreover, if $\omega(\sigma, f)$ is the modulus of continuity of $f$ on $[0,1]$, then the partial sums $S_n(f)$ of order $n$ of the Fourier–Haar series of $f$ satisfy the inequality |
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046070/h04607018.png" /></td> </tr></table> | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046070/h04607018.png" /></td> </tr></table> |
Revision as of 17:11, 3 November 2015
One of the classical orthonormal systems of functions. The Haar functions $\chi_n$ of this system are defined on the interval $[0,1]$ as follows: $$ \chi_1(t) \equiv 1\quad \text{ on } [0,1]; $$
if $n=2^m+k$, $k=1,\dots, 2^m$, $m=0,1,\dots$, then $$ \chi_n = \begin{cases} \sqrt{2^m} \quad &&\text{ for } t\in\left(\frac{2k-2}{2^{m+1}}, \frac{2k-1}{2^{m+1}} \right),\\ -\sqrt{2^m} \quad &&\text{ for } t\in\left(\frac{2k-1}{2^{m+1}}, \frac{2k}{2^{m+1}} \right),\\ 0 \quad &&\text{ for } t\not\in\left(\frac{k-1}{2^{m}}, \frac{k}{2^{m}} \right). \end{cases} $$
At interior points of discontinuity a Haar function is put equal to half the sum of its limiting values from the right and from the left, and at the end points of $[0,1]$ to its limiting values from within the interval.
The system $\{\chi_n\}$ was defined by A. Haar in [1]. It is orthonormal on the interval $[0,1]$. The Fourier series of any continuous function on $[0,1]$ with respect to this system converges uniformly to it. Moreover, if $\omega(\sigma, f)$ is the modulus of continuity of $f$ on $[0,1]$, then the partial sums $S_n(f)$ of order $n$ of the Fourier–Haar series of $f$ satisfy the inequality
![]() |
The Haar system is a basis in the space ,
. If
and
is the integral modulus of continuity of
in the metric of
, then (see [3])
![]() |
The Haar system is an unconditional basis in for
(see [6]).
If is Lebesgue integrable on
, then its Fourier–Haar series converges to it at any of its Lebesgue points; in particular, almost-everywhere on
. Here convergence (and absolute convergence) of the Fourier–Haar series at a fixed point of
depends only on the values of the function in any arbitrarily small neighbourhood of this point.
For Fourier–Haar series the following properties differ substantially from each other: a) absolute convergence everywhere; b) absolute convergence almost-everywhere; c) absolute convergence on a set of positive measure; and d) absolute convergence of the series of Fourier coefficients. For trigonometric series all these properties are equivalent.
The properties of the Fourier–Haar coefficients differ sharply from those of the trigonometric Fourier coefficients. For example, if a function is continuous on the interval
and if
are its Fourier coefficients with respect to the system
, then the following inequality holds:
![]() |
which implies that
![]() |
However, the Fourier–Haar coefficients of continuous functions cannot decrease too rapidly: If is continuous on
and if
![]() |
then on
(see [6]).
For functions ,
, the following estimates hold (see [3]):
![]() |
![]() |
![]() |
If is of bounded variation
on
, then
![]() |
All these inequalities are sharp in the sense of the order of decrease of their right-hand sides as (in the corresponding classes) (see [3]).
Almost-everywhere unconditionally-converging series of the form
![]() | (*) |
are distinguished by an interesting peculiarity: If a series of the form (*) for any order of its terms converges almost-everywhere on a set of positive Lebesgue measure (the exceptional set of measure 0 may depend on the order of the terms of the series (*)), then this series converges absolutely almost-everywhere on
. For series of the form (*) the following criterion holds: For a series (*) to converge almost-everywhere on a measurable set
it is necessary and sufficient that the series
converges almost-everywhere on
(see [6]).
Haar series may serve as representations of measurable functions: For any measurable function that is finite almost-everywhere on
there exists a series of the form (*) that converges almost-everywhere on
to
. Here the finiteness of the function
is essential: There is no series of the form (*) that converges to
(or
) on a set of positive Lebesgue measure.
References
[1] | A. Haar, "Zur Theorie der orthogonalen Funktionensysteme" Math. Ann. , 69 (1910) pp. 331–371 |
[2] | G. Alexits, "Convergence problems of orthogonal series" , Pergamon (1961) (Translated from Russian) |
[3] | P.L. Ul'yanov, "On Haar series" Mat. Sb. , 63 : 3 (1964) pp. 356–391 |
[4] | P.L. Ul'yanov, "Absolute and uniform convergence of Fourier series" Math. USSR Sb. , 1 : 2 (1967) pp. 169–197 Mat. Sb. , 72 : 2 (1967) pp. 193–225 |
[5] | B.I. Golubov, "Series with respect to the Haar system" J. Soviet Math. , 1 (1971) pp. 704–726 Itogi. Nauk. Mat. Anal. 1970 (1971) pp. 109–143 |
[6] | B.S. Kashin, A.A. Saakyan, "Orthogonal series" , Moscow (1984) (In Russian) |
Comments
For a generalization to Banach spaces see [a1], [a2].
References
[a1] | I.M. Singer, "Bases in Banach spaces" , 1–2 , Springer (1970–1981) |
[a2] | J. Lindenstrauss, L. Tzafriri, "Classical Banach spaces" , 1–2 , Springer (1977–1979) |
Haar system. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Haar_system&oldid=36818