Riemann function

The Riemann function in the theory of trigonometric series is a function introduced by B. Riemann (1851) (see [1]) for studying the problem of the representation of a function by a trigonometric series. Let a series

$$ \tag{* }

\frac{a _ {0} }{2}

+ \sum _ { n= 1} ^  \infty   ( a _ {n}  \cos  nx + b _ {n}  \sin  nx )

$$

with bounded sequences $ \{ a _ {n} \} , \{ b _ {n} \} $ be given. The Riemann function for this series is the function $ F $ obtained by twice term-by-term integration of the series:

$$ F( x) = \frac{a _ {0} x ^ {2} }{4}

- \sum _ { n= 1 }^  \infty   

\frac{1}{n ^ {2} }

( a _ {n}  \cos  nx + b _ {n}  \sin  nx ) + Cx + D,

$$

$$ C, D = \textrm{ const } . $$

Riemann's first theorem: Let the series (*) converge at a point $ x _ {0} $ to a number $ S $. The Schwarzian derivative (cf. Riemann derivative) $ D _ {2} F( x _ {0} ) $ then equals $ S $. Riemann's second theorem: Let $ a _ {n} , b _ {n} \rightarrow 0 $ as $ n \rightarrow \infty $. Then at any point $ x $,

$$ \lim\limits _ {n \rightarrow \infty } \frac{F( x+ h) + F( x- h) - 2F( x) }{h}

 =  0;

$$

moreover, the convergence is uniform on any interval, that is, $ F $ is a uniformly smooth function.

If the series (*) converges on $ [ 0, 2 \pi ] $ to $ f( x) $ and if $ f \in L[ 0, 2 \pi ] $, then $ D _ {2} F( x) = f( x) $ for each $ x \in [ 0, 2 \pi ] $ and

$$ F( x) = \int\limits _ { 0 } ^ { x } dt \int\limits _ { 0 } ^ { t } f( u) du + Cx + D. $$

Let $ a _ {n} , b _ {n} $ be real numbers tending to $ 0 $ as $ n \rightarrow \infty $, let

$$ \underline{S} ( x) = \ \lim\limits _ {\overline{ {n \rightarrow \infty }}\; } S _ {n} ( x) \ \textrm{ and } \ \overline{S}\; ( x) = \overline{\lim\limits}\; _ {n \rightarrow \infty } S _ {n} ( x) $$

be finite at a point $ x $, and let

$$ S( x) = \frac{1}{2}

( \underline{S} ( x) + \overline{S}\; ( x)),\ \ 

\delta ( x) = \frac{1}{2}

( \overline{S}\; ( x) - \underline{S} ( x)).

$$

Then the upper and lower Schwarzian derivatives $ \overline{D}\; _ {2} F( x) $ and $ \underline{D} _ {2} F( x) $ belong to $ [ S - \mu \delta , S + \mu \delta ] $, where $ \mu $ is an absolute constant. (The du Bois-Reymond lemma.)

References

[1]	B. Riemann, "Ueber die Darstellbarkeit einer Function durch eine trigonometrische Reihe" , Gesammelte Math. Abhandlungen , Dover, reprint (1957) pp. 227–264
[2]	N.K. [N.K. Bari] Bary, "A treatise on trigonometric series" , Pergamon (1964) (Translated from Russian)

Comments

See also Riemann summation method.

For Riemann's function in the theory of differential equations see Riemann method.