Namespaces
Variants
Actions

Difference between revisions of "Lebesgue function"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
Line 1: Line 1:
 +
<!--
 +
l0578401.png
 +
$#A+1 = 10 n = 0
 +
$#C+1 = 10 : ~/encyclopedia/old_files/data/L057/L.0507840 Lebesgue function
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
A function
 
A function
  
<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/l/l057/l057840/l0578401.png" /></td> </tr></table>
+
$$
 +
L _ {n}  ^  \Phi  ( t)  = \int\limits _ { a } ^ { b }
 +
\left | \sum _ { k= } 1 ^ { n }  \phi _ {k} ( x) \phi _ {k} ( t) \right |  d x ,\  t \in [ a , b ] ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057840/l0578402.png" /> is a given system of functions, orthonormal with respect to the Lebesgue measure on the interval <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057840/l0578403.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057840/l0578404.png" />. Lebesgue functions are defined similarly in the case when an orthonormal system is specified on an arbitrary measure space. One has
+
where $  \Phi = \{ \phi _ {k} \} _ {k=} 1  ^  \infty  $
 +
is a given system of functions, orthonormal with respect to the Lebesgue measure on the interval $  [ a , b ] $,
 +
$  n = 1 , 2 , . . . $.  
 +
Lebesgue functions are defined similarly in the case when an orthonormal system is specified on an arbitrary measure space. One has
  
<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/l/l057/l057840/l0578405.png" /></td> </tr></table>
+
$$
 +
L _ {n}  ^  \Phi  ( t)  = \
 +
\sup _ {f : \| f \| _ {C [ a , b ] }
 +
\leq  1 }  | S _ {n} ( f  ) | ,\ \
 +
t \in [ a , b ] ,
 +
$$
  
 
where
 
where
  
<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/l/l057/l057840/l0578406.png" /></td> </tr></table>
+
$$
 +
S _ {n} ( f  ) ( t)  = \sum _ { k= } 1 ^ { n }
 +
c _ {k} ( f  ) \phi _ {k} ( t)
 +
$$
  
is the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057840/l0578407.png" />-th partial sum of the [[Fourier series|Fourier series]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057840/l0578408.png" /> with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057840/l0578409.png" />. In the case when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057840/l05784010.png" /> is the [[Trigonometric system|trigonometric system]], the Lebesgue functions are constant and reduce to the [[Lebesgue constants|Lebesgue constants]]. They were introduced by H. Lebesgue.
+
is the $  n $-
 +
th partial sum of the [[Fourier series|Fourier series]] of $  f $
 +
with respect to $  \Phi $.  
 +
In the case when $  \Phi $
 +
is the [[Trigonometric system|trigonometric system]], the Lebesgue functions are constant and reduce to the [[Lebesgue constants|Lebesgue constants]]. They were introduced by H. Lebesgue.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  S. Kaczmarz,  H. Steinhaus,  "Theorie der Orthogonalreihen" , Chelsea, reprint  (1951)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  S. Kaczmarz,  H. Steinhaus,  "Theorie der Orthogonalreihen" , Chelsea, reprint  (1951)</TD></TR></table>

Revision as of 22:16, 5 June 2020


A function

$$ L _ {n} ^ \Phi ( t) = \int\limits _ { a } ^ { b } \left | \sum _ { k= } 1 ^ { n } \phi _ {k} ( x) \phi _ {k} ( t) \right | d x ,\ t \in [ a , b ] , $$

where $ \Phi = \{ \phi _ {k} \} _ {k=} 1 ^ \infty $ is a given system of functions, orthonormal with respect to the Lebesgue measure on the interval $ [ a , b ] $, $ n = 1 , 2 , . . . $. Lebesgue functions are defined similarly in the case when an orthonormal system is specified on an arbitrary measure space. One has

$$ L _ {n} ^ \Phi ( t) = \ \sup _ {f : \| f \| _ {C [ a , b ] } \leq 1 } | S _ {n} ( f ) | ,\ \ t \in [ a , b ] , $$

where

$$ S _ {n} ( f ) ( t) = \sum _ { k= } 1 ^ { n } c _ {k} ( f ) \phi _ {k} ( t) $$

is the $ n $- th partial sum of the Fourier series of $ f $ with respect to $ \Phi $. In the case when $ \Phi $ is the trigonometric system, the Lebesgue functions are constant and reduce to the Lebesgue constants. They were introduced by H. Lebesgue.

References

[1] S. Kaczmarz, H. Steinhaus, "Theorie der Orthogonalreihen" , Chelsea, reprint (1951)
How to Cite This Entry:
Lebesgue function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Lebesgue_function&oldid=47601
This article was adapted from an original article by B.S. Kashin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article