On some properties of trigonometric series with monotone decreasing coefficients

В статье рассматрива ются одномерные и дву мерные тригонометрические ряды с моно-тонными коэффициентами. Дает ся пример двойного тригонометрическог о ряда (1) $$\mathop \sum \limits_{n,k = 1}^\infty a_{nk} \sin nx\sin ky,$$ , коэффициенты которо го монотонны поk и поп, любая последовательность \(\{ S_{n_k m_k } (x,y)\} _{k = 1}^\infty\) прямоугольных части чных сумм ряда (1), где min(n _k ,m _k )→∞ приk→∞, расходится по чти всюду на (0,n)². Кроме того, изучается мера множеств нулей ф ункций (2) $$f(x) = \frac{{a_0 }}{2} + \mathop \sum \limits_{n = 1}^{a_0 } a_n \cos nx\tilde f(x) = \mathop \sum \limits_{n = 1}^\infty a_n \sin nx,$$ , гдеа _n ↓ приn→ ∞, и доказ ьшается несколько те орем о скорости убывания ко эффициентовa _n рядов (2), если все част ичные суммыS _n (f,x) или \(S_n (\tilde f,x)\) дляn=1,2,... неотрицате ль-ны на (0,n).     

On the divergence of de la Vallée Poussin means of Fourier series

Пусть {λ _{n 1} ^t8 — монотонн ая последовательнос ть натуральных чисел. Дл я каждой функции fεL(0, 2π) с рядом Фурье строятся обобщенные средние Bалле Пуссена $$V_n^{(\lambda )} (f;x) = \frac{{a_0 }}{2} + \mathop \sum \limits_{k = 1}^n (a_k \cos kx + b_k \sin kx) + \mathop \sum \limits_{k = n + 1}^{n + \lambda _n } \left( {1 - \frac{{k - n}}{{\lambda _n + 1}}} \right)\left( {a_k \cos kx + b_k \sin kx} \right).$$ Доказываются следую щие теоремы.

1. Если λ_n=o(n), то существуе т функция fεL(0, 2π), для кот орой последовательность {V_n ^(λ)(?;x)} расходится почти вс юду.
2. Если λ_n=o(n), то существуе т функция fεL(0, 2π), для кот орой последовательность $$\left\{ {\frac{1}{\pi }\mathop \smallint \limits_{ - \pi /\lambda _n }^{\pi /\lambda _n } f(x + t)\frac{{\sin (n + \tfrac{1}{2})t}}{{2\sin \tfrac{1}{2}t}}dt} \right\}$$ расходится почти всю ду

.     

On the modulus of continuity in connection with a problem of J. Szabados concerning strong approximation

Пустьf(x) — интегрируемая 2π-периодическая функция, aω(f,δ) иs _n(x)=s_n(f, x). соответственно, модуль непрерывности иn-ая сумма Фурье этой функции. В настоящей работе, продолжающей исследования Г. Фрейда, Л. Лейндлера—E. M. Никищина, И. Сабадоша и К. И. Осколкова, доказывается следующая теорема.Если Ω(u) — выпуклая или вогнутая непрерывная функция и если (1) 1 $$\left\| {\left. {\sum\limits_{k = 1}^\infty \Omega (|S_k (x) - f(x)|)} \right\|_C } \right.$$ то 1 $$\omega (f;\delta ) = O\left( {\delta \int\limits_\delta ^1 {\frac{{\bar \Omega (v)}}{{v^2 }}dv} } \right),$$ где ¯Ω(v) —функция, обратная к Ω(и). При этом существует функция f₀(х), удовлетворяющая условию (1), для которой $$\omega (f;\delta ) = c\delta \int\limits_\delta ^1 {\frac{{\bar \Omega (v)}}{{v^2 }}dv} (c > 0).$$ ЕслиΩ(u)— вогнутая функция, то интеграл \(\int\limits_\delta ^1 {\frac{{\bar \Omega (v)}}{{v^2 }}dv} \) можно заменить на \(\int\limits_{\bar \Omega (\delta )}^1 {\frac{{du}}{{\Omega (u)}}.} \) . Отсюда вытекает, что еслиΩ(u) — функция типа модуля непрерывности, то для того, чтобы (1) всегда влекло принадлежность f(x) классу Lip 1, необходимо и достаточно условие \(\int\limits_0^1 {\frac{{du}}{{\Omega (u)}}}< \infty .\)      

Existence of a solution of a difference scheme for one variational problem

The problem of minimizing the functional (A) $${}_a\smallint ^b \varphi (x,y,y',y'')dx$$ under the conditions (B) $$y(a) = a_0 ,y'(a) = a_1 ,y(b) = b_0 ,y'(b) = b_1$$ is replaced by the problem of finding the vector (y₁,y₂,...,y_n?1) on which the sum (C) $$\sum\limits_{\kappa = 0}^n {C_\kappa \varphi (x_\kappa ,y_\kappa ,\left. {\frac{{y_{\kappa + 1} - y_\kappa }}{h},\frac{{y_{\kappa + 1} - 2y_\kappa + y_{\kappa + 1} )}}{{h^2 }}} \right)}$$ takes a minimal value. Under certain conditions on ? andC _k it is proved that a solution exists for the difference scheme constructed. The method of differentiation with respect to a parameter is used for the proof.     

On strong summahility of Fourier series and differentiability of functions

ПустьS _n (f, x) — суммы Фурье периодической сумми руемой функцииf(x). Доказано, что если фун кцияФ(u), определенная, непрерывная и выпукл ая вверх для u≧0 (Ф(0)=0), удовлетворяет ус ловию (1) $$\int\limits_{ + 0} {\frac{{du}}{{\Phi (u)}}< \infty ,} $$ то имеет место следую щее вложение классов функций (2) $$S(\Phi ) = \left\{ {f:\mathop {\max }\limits_x \sum\limits_{n = o}^\infty \Phi (\left| {f(x) - S_n (fx)} \right|)< \infty } \right\} \subset Lip1,$$ и, более того, при услов ии (1) все функции из кла ссаS(Ф) непрерывно дифферен цируемы, а их производные имеют равномерно сходящие ся ряды Фурье. Установлено также, чт о если функция Ф удовл етворяет условию lim supФ(u/2)/Ф(u)<1, то условие (1) является н е только достаточным, но и необходимым для влож ения (2).     

On linear summation methods of Fourier series

Получены новые оценк иL-нормы тригонометр ических полиномов $$T_n (t) = \frac{{\lambda _0 }}{2} + \mathop \sum \limits_{k = 1}^n \lambda _k \cos kt$$ в терминах коэффицие нтовλ _k и их разностейΔλ _k=λ _k?λ _k?1: (1) $$\mathop \smallint \limits_{ - \pi }^\pi |T_n (t)|dt \leqq \frac{c}{n}\mathop \sum \limits_{k = 0}^n |\lambda _\kappa | + c\left\{ {x(n,\varphi )\mathop \sum \limits_{k = 0}^n \Delta \lambda _\kappa \mathop \sum \limits_{l = 0}^n \Delta \lambda _l \delta _{\kappa ,l} (\varphi )} \right\}^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} ,$$ где $$\kappa (n,\varphi ) = \mathop \smallint \limits_{1/n}^\pi [t^2 \varphi (t)]^{ - 1} dt, \delta _{k,1} (\varphi ) = \mathop \smallint \limits_0^\infty \varphi (t)\sin \left( {k + \frac{1}{2}} \right)t \sin \left( {l + \frac{1}{2}} \right)t dt,$$ a ?(t) — произвольная фун кция ≧0, для которой опр еделены соответствующие инт егралы. Из (1) следует, что методы $$\tau _n (f;t) = (N + 1)^{ - 1} \mathop \sum \limits_{k = 0}^{\rm N} S_{[2^{k^\varepsilon } ]} (f;t), n = [2^{N\varepsilon } ],$$ являются регулярным и для всех 0<ε≦1/2. ЗдесьS _m (f, x) частные суммы ряда Фу рье функцииf(x). В статье исследуется многомерный случай. П оказано, что метод суммирования (о бобщенный метод Рисса) с коэффиц иентами $$\lambda _{\kappa ,l} = (R^v - k^\alpha - l^\beta )^\delta R^{ - v\delta } (0 \leqq k^\alpha + l^\beta \leqq R^v ;\alpha \geqq 1,\beta \geqq 1,v< 0)$$ является регулярным, когда δ > 1.     

О суммируемости обоб щенных рядов Фурье

Consider a functionf satisfying the condition (1) $$\left| x \right|^\alpha f(x) \in L( - \pi ,\pi ),\alpha > 0,$$ , and define the positive integerm by the inequalitiesm ?1<α≦m. The trigonometric series Σ _n=1 ^∞ (a _n cosnx+-b _n sinnx) with coefficients $$\begin{gathered} a_n = \frac{1}{\pi }\int\limits_{ - \pi }^\pi {f(t)\left( {\cos nt - \sum\limits_{j = 0}^{[(m - 1)/2]} {\frac{{( - 1)^j (nt)^{2j} }}{{(2j)!}}} } \right)dt,} \hfill \\ b_n = \frac{1}{\pi }\int\limits_{ - \pi }^\pi {f(t)\left( {\sin nt - \sum\limits_{j = 1}^{[m/2]} {\frac{{( - 1)^{j + 1} (nt)^{2j - 1} }}{{(2j - 1)!}}} } \right)dt} \hfill \\ \end{gathered} $$ is then called the generalized Fourier series ofmth order off. The following result is proved. Let the 2π-periodic functionf satisfy condition (1) and letт ?1 < α≦m. Then the generalized Fourier series ofmth order off is summable almost everywhere tof(x) by the (C, α)-method. For an arbitrary α∈(0, 1) condition (1) is sharp.     

О раэложении мероморфных функций специального вида на простейщие дроби

The paper is devoted to study the entire functions L(λ) with simple real zeros λ_k, k = 1, 2, ..., that admit an expansion of Krein’s type: $$\frac{1}{{\mathcal{L}(\lambda )}} = \sum\limits_{k = 1}^\infty {\frac{{c_k }}{{\lambda - \lambda _k }}} ,\sum\limits_{k = 1}^\infty {\left| {c_k } \right| < \infty } .$$ We present a criterion for these expansions in terms of the sequence {L′ (λ _k )} _k=1 ^∞ . We show that this criterion is applicable to certain classes of meromorphic functions and make more precise a theorem of Sedletski? on the annihilating property in L ² systems of exponents.     

Pointwise estimates for Lagrange interpolation polynomials

Let f ∈ C[?1, 1]. Let the approximation rate of Lagrange interpolation polynomial of f based on the nodes $ \left\{ {\cos \frac{{2k - 1}} {{2n}}\pi } \right\} \cup \{ - 1,1\} $ be Δ _{n + 2}(f, x). In this paper we study the estimate of Δ _{n + 2}(f,x), that keeps the interpolation property. As a result we prove that $$ \Delta _{n + 2} (f,x) = \mathcal{O}(1)\left\{ {\omega \left( {f,\frac{{\sqrt {1 - x^2 } }} {n}} \right)\left| {T_n (x)} \right|\ln (n + 1) + \omega \left( {f,\frac{{\sqrt {1 - x^2 } }} {n}\left| {T_n (x)} \right|} \right)} \right\}, $$ where T _n (x) = cos (n arccos x) is the Chebeyshev polynomial of first kind. Also, if f ∈ C ^r [?1, 1] with r ≧ 1, then $$ \Delta _{n + 2} (f,x) = \mathcal{O}(1)\left\{ {\frac{{\sqrt {1 - x^2 } }} {{n^r }}\left| {T_n (x)} \right|\omega \left( {f^{(r)} ,\frac{{\sqrt {1 - x^2 } }} {n}} \right)\left( {\left( {\sqrt {1 - x^2 } + \frac{1} {n}} \right)^{r - 1} \ln (n + 1) + 1} \right)} \right\}. $$      

On certain properties of linear summation methods of Fourier series on the classesC(ɛ)

Для линейных методов суммирования рядов Ф урье (1) $$L_n (f;x) = \frac{1}{\pi }\mathop \smallint \limits_{ - \pi }^\pi f(x + t)\left( {\frac{1}{2} + \sum\limits_{k = 1}^n {\lambda _{k,n} } \cos kt} \right)dt$$ на классах $$C(\varepsilon ) = \{ f:E_n (f) \leqq \varepsilon _n ;\forall n \geqq 0\} ,\varepsilon = \{ \varepsilon _n \} _{n = 0.}^\infty \varepsilon _n \downarrow 0,$$ доказываются:

1. оценки для порядка р оста норм ∥{L_n∥, если из вестен порядок приближения операторами (1) некоторого классаС (?) (при этом, если опера торы (1) приближают класс С(е) с наилучшим порядком, то находится точная а симптотика возрастания норм {∥ L_n∥);
2. сравнительные оцен ки порядков приближе ния классовС(?) операторами (1), если известен порядок при ближения ими некотор ого более узкого класса С(?*).

В том случае, когда опе раторы (1) приближают кл асс С(?*) с наилучшим порядком, получаются точные по рядковые оценки для л юбого более широкого класса С(?).     

On the order of the error function of the square-full integers

LetL(x) denote the number of square full integers ≤x. By a square-full integer, we mean a positive integer all of whose prime factors have multiplicity at least two. It is well known that $$\left. {L(x)} \right| \sim \frac{{\zeta ({3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2})}}{{\zeta (3)}}x^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} + \frac{{\zeta ({2 \mathord{\left/ {\vphantom {2 3}} \right. \kern-\nulldelimiterspace} 3})}}{{\zeta (2)}}x^{{1 \mathord{\left/ {\vphantom {1 3}} \right. \kern-\nulldelimiterspace} 3}} ,$$ where ζ(s) denotes the Riemann Zeta function. Let Δ(x) denote the error function in the asymptotic formula forL(x). On the basis of the Riemann hypothesis (R.H.), it is known that \(\Delta (x) = O(x^{\tfrac{{13}}{{81}} + \varepsilon } )\) for every ε>0. In this paper, we prove the following results on the assumption of R.H.: (1) $$\frac{1}{x}\int\limits_1^x {\Delta (t)dt} = O(x^{\tfrac{1}{{12}} + \varepsilon } ),$$ (2) $$\int\limits_1^x {\frac{{\Delta (t)}}{t}\log } ^{v - 1} \left( {\frac{x}{t}} \right) = O(x^{\tfrac{1}{{12}} + \varepsilon } )$$ for any integer ν≥1. In fact, we prove some general results and deduce the above from them. On the basis of (1) and (2) above, we conjecture that \(\Delta (x) = O(x^{{1 \mathord{\left/ {\vphantom {1 {12}}} \right. \kern-0em} {12}} + \varepsilon } )\) under the assumption of R.H.     

On oscillatory integral Hilbert transformation with trigonometric polynomial phase

Let $ \mathcal{P}_n $ denote the set of algebraic polynomials of degree n with the real coefficients. Stein and Wpainger [1] proved that $$ \mathop {\sup }\limits_{p( \cdot ) \in \mathcal{P}_n } \left| {p.v.\int_\mathbb{R} {\frac{{e^{ip(x)} }} {x}dx} } \right| \leqslant C_n , $$ where C _n depends only on n. Later A. Carbery, S. Wainger and J. Wright (according to a communication obtained from I. R. Parissis), and Parissis [3] obtained the following sharp order estimate $$ \mathop {\sup }\limits_{p( \cdot ) \in \mathcal{P}_n } \left| {p.v.\int_\mathbb{R} {\frac{{e^{ip(x)} }} {x}dx} } \right| \sim \ln n. $$ . Now let $ \mathcal{T}_n $ denote the set of trigonometric polynomials $$ t(x) = \frac{{a_0 }} {2} + \sum\limits_{k = 1}^n {(a_k coskx + b_k sinkx)} $$ with real coefficients a _k , b _k . The main result of the paper is that $$ \mathop {\sup }\limits_{t( \cdot ) \in \mathcal{T}_n } \left| {p.v.\int_\mathbb{R} {\frac{{e^{it(x)} }} {x}dx} } \right| \leqslant C_n , $$ with an effective bound on C _n . Besides, an analog of a lemma, due to I. M. Vinogradov, is established, concerning the estimate of the measure of the set, where a polynomial is small, via the coefficients of the polynomial.     

On the convergence to infinity of Fourier series along dense subsequences of numbers

В статье доказываетс я Теорема.Какова бы ни была возрастающая последовательность натуральных чисел {H _k } _{k = 1} ^∞ c $$\mathop {\lim }\limits_{k \to \infty } \frac{{H_k }}{k} = + \infty$$ , существует функцияf∈L(0, 2π) такая, что для почт и всех x∈(0, 2π) можно найти возраст ающую последовательность номеров {n_k(x)} _k=1 ^∞ ,удовлетворяющую усл овиям 1) $$n_k (x) \leqq H_k , k = 1,2, ...,$$ 2) $$\mathop {\lim }\limits_{t \to \infty } S_{n_{2t} (x)} (x,f) = + \infty ,$$ 3) $$\mathop {\lim }\limits_{t \to \infty } S_{n_{2t - 1} (x)} (x,f) = - \infty$$ .     

Une Formule Approximative de Dimension pour Certains Produits de Riesz

Consider the Riesz product $\mu _a = \mathop \prod \limits_{n = 1}^\infty (1 + r\cos (q^n t + \varphi _n ))$ . We prove the following approximative formula for the dimension ofμ _a. $$\dim \mu _a = 1 - \frac{1}{{\log q}}\int_0^{2\pi } {(1 + r\cos x)\log (1 + r\cos x)\frac{{dx}}{{2\pi }} + 0\left( {\frac{r}{{q^2 \log q}}} \right).}$$      

On the uniform complete convergence of estimates for multivariate density functions and regression curves

Let (X ₁,Y ₁),...(X _n ,Y _n ) be a random sample from the (k+1)-dimensional multivariate density functionf ^*(x,y). Estimates of thek-dimensional density functionf(x)=∫f ^*(x,y)dy of the form $$\hat f_n (x) = \frac{1}{{nb_1 (n) \cdots b_k (n)}}\sum\limits_{i = 1}^n W \left( {\frac{{x_1 - X_{i1} }}{{b_1 (n)}}, \cdots ,\frac{{x_k - X_{ik} }}{{b_k (n)}}} \right)$$ are considered whereW(x) is a bounded, nonnegative weight function andb ₁ (n),...,b _k (n) and bandwidth sequences depending on the sample size and tending to 0 asn→∞. For the regression function $$m(x) = E(Y|X = x) = \frac{{h(x)}}{{f(x)}}$$ whereh(x)=∫y(f) ^* (x, y)dy , estimates of the form $$\hat h_n (x) = \frac{1}{{nb_1 (n) \cdots b_k (n)}}\sum\limits_{i = 1}^n {Y_i W} \left( {\frac{{x_1 - X_{i1} }}{{b_1 (n)}}, \cdots ,\frac{{x_k - X_{ik} }}{{b_k (n)}}} \right)$$ are considered. In particular, unform consistency of the estimates is obtained by showing that \(||\hat f_n (x) - f(x)||_\infty \) and \(||\hat m_n (x) - m(x)||_\infty \) converge completely to zero for a large class of “good” weight functions and under mild conditions on the bandwidth sequencesb _k (n)'s.     

Singularities of carleman type for subsystems of a trigonometric system

We prove that for arbitrary ε>0 there exists a sequence of positive integers {n_k} such that a) the system { cos n_k X, sin n_k X} is a basis with respect to the C[-π, π] norm in the closure of its linear hull, and b) a continuous functionf(x) belonging to the closure of the linear hull of the system can be found such that its Fourier coefficientsa _n and b_n satisfy the relation $$\sum\nolimits_{n = 1}^\infty {\left| {a_n } \right|^{2 - \varepsilon } + \left| {b_n } \right|^{2 - \varepsilon } } = \infty $$ .     

On the strong summation of Fourier series with variable exponents

Пустьf 2π-периодическ ая суммируемая функц ия, as _k (x) еë сумма Фурье порядк аk. В связи с известным ре зультатом Зигмунда о сильной суммируемости мы уст анавливаем, что если λn→∞, то сущес твует такая функцияf, что почти всюду $$\mathop {\lim \sup }\limits_{n \to \infty } \left\{ {\frac{1}{n}\mathop \sum \limits_{k = n + 1}^{2n} |s_k (x) - f(x)|^{\lambda _{2n} } } \right\}^{1/\lambda _{2n} } = \infty .$$ Отсюда, в частности, вы текает, что если λn?∞, т о существует такая фун кцияf, что почти всюду $$\mathop {\lim \sup }\limits_{n \to \infty } \left\{ {\frac{1}{n}\mathop \sum \limits_{k = 0}^n |s_k (x) - f(x)|^{\lambda _k } } \right\}^{1/\lambda _n } = \infty .$$ Пусть, далее, ω-модуль н епрерывности и $$H^\omega = \{ f:\parallel f(x + h) - f(x)\parallel _c \leqq K_f \omega (h)\} .$$ . Мы доказываем, что есл и λ _n ?∞, то необходимым и достаточным условие м для того, чтобы для всехf∈H ^ω выполнялос ь соотношение $$\mathop {\lim }\limits_{n \to \infty } \left\{ {\frac{1}{n}\mathop \sum \limits_{k = n + 1}^{2n} |s_k (x) - f(x)|^{\lambda _n } } \right\}^{1/\lambda _n } = 0(x \in [0;2\pi ])$$ является условие $$\omega \left( {\frac{1}{n}} \right) = o\left( {\frac{1}{{\log n}} + \frac{1}{{\lambda _n }}} \right).$$ Это же условие необхо димо и достаточно для того, чтобы выполнялось соотнош ение $$\mathop {\lim }\limits_{n \to \infty } \frac{1}{{n + 1}}\mathop \sum \limits_{k = 0}^n |s_k (x) - f(x)|^{\lambda _k } = 0(f \in H^\omega ,x \in [0;2\pi ]).$$      

On some local properties of the sum of lacunary trigonometric series

В статье изучается по ведение суммы лакуна рного тригонометрическог о ряда при приближени и к некоторой фиксиров анной произвольной т очке. Первая половина рабо ты посвящена изложен ию метода исследования локаль ных свойств суммы лакунарного ря да, разработанного ав тором. Вторая половина рабо ты посвящена приложе ниям этого метода. Здесь в частно сти, получаются необходи мые и достаточные усл овия для интегрируемости сум мы лакунарного ряда с весом при широк их условиях на вес. При ведем соответствующий рез ультат. Пусть?р(x) — сумма ряда \(a + \sum\limits_{n = 1}^\infty {a_n \cos (\lambda _n x + \psi _n )} \) , гдеа, а _n ,λ _n ,ψ _n — действительные числа,εa _n ^/2 <∞,a _n ≧0,λ _n >0 приn≧1 и \(\mathop {\inf }\limits_{n \geqq 1} \lambda _{n + 1} /\lambda _n > 1\) . При этих условиях функция?(х) определена почти всю ду. Пустьр>0 иω(х) — положительная неуб ывающая функция, определенная при все хх>0, которая при некот оромC>0 удовлетворяет услов ию:ω(2x)≦ ≦Cω(х) при всехх>0. Тогда имеет место Теорема. Для того, чтоб ы интеграл \(\int\limits_{ + 0} {|\varphi (x)|^p \frac{{dx}}{{\omega (x)}}} \) сходился, необходимо и достато чно, чтобы сходились все р яды $$\begin{gathered} \sum\limits_{n = 1}^\infty {D_n (\sum\limits_{k = n}^\infty {a_k^2 } )^{p/2} ,} \sum\limits_{n = 2}^\infty {D_n |a_n + \sum\limits_{k = 1}^{n - 1} {a_k \cos } \psi _k |^p ,} \hfill \\ \sum\limits_{n = 2}^\infty {D_n (pj)|\sum\limits_{k = 1}^{n - 1} {a_k \lambda _k^j \cos (\psi _k + \pi j/2)} |^p ,} j = 1,2,..., \hfill \\ \end{gathered} $$ , где $$D_n = \int\limits_{I_n } {\frac{{dx}}{{\omega (x)}},} D_n (pj) = \int\limits_{I_n } {\frac{{x^{pj} dx}}{{\omega (x)}},} a I_n = [\pi \lambda _n^{ - 1} ,\pi \lambda _{n - 1}^{ - 1} ]$$      

Convergence of Riemann sums for functions which can be represented by trigonometric series with coefficients forming a monotonic sequence

The following theorem is proved. If $$f(x) = \frac{{\alpha _0 }}{2} + \sum\nolimits_k^\infty \alpha _k \cos 2\pi kx + b_k \sin 2\pi kx,$$ wherea _k ↓ 0 and b_k ↓ 0, then $$\mathop {\lim }\limits_{n \to \infty } \frac{1}{n}\sum\nolimits_{s = 0}^{n - 1} {f\left( {x + \frac{s}{n}} \right) = \frac{{\alpha _0 }}{2}} $$ on (0, 1) in the sense of convergence in measure. If in additionf(x) ε L² (0, 1), then this relation holds for almost all x.