On a result of Hardy and Littlewood concerning Fourier series

Let f ∈ L ¹( $ \mathbb{T} $ ) and assume that $$ f\left( t \right) \sim \frac{{a_0 }} {2} + \sum\limits_{k = 1}^\infty {\left( {a_k \cos kt + b_k \sin kt} \right)} $$ Hardy and Littlewood [1] proved that the series $ \sum\limits_{k = 1}^\infty {\frac{{a_k }} {k}} $ converges if and only if the improper Riemann integral $$ \mathop {\lim }\limits_{\delta \to 0^ + } \int_\delta ^\pi {\frac{1} {x}} \left\{ {\int_{ - x}^x {f(t)dt} } \right\}dx $$ exists. In this paper we prove a refinement of this result.     

On theA-integral representation of the Hilbert transform and conjugate function

Рассматривается воп рос о представлении о ператора Гильберта и сопряжен ной функцииA-интегралом. Доказывается следую щая Теорема. Если ? - такая неотрицательная фун кция на [0, ∞), что х^?1?(х) монотонно не убывает на (0, ∞) и для н екоторого Н> 0 \(\mathop \smallint \limits_H^\infty \varphi ^{ - 1} (x)dx< \infty\) , а определенная на R функ ция fε?∩?(?), то почти всюду оператор Гильберта $$\tilde f(x) = - \frac{1}{\pi }(A)\mathop \smallint \limits_0^\infty \frac{{f(x + t) - f(x - t)}}{t}dt$$ . Из данной теоремы сле дует, что для функций и з ?^p, 1<р<#x221E;, оператор Гильберта и сопряженная функция представляютсяA-инте гралом. Что для функций из ?¹ п одобное утверждение неверно, показывает следующа я теорема. Теорема.Существует т акая суммируемая на R ф ункция f≧0, что почти всюду $$\mathop {\lim sup}\limits_{n \to \infty } \mathop \smallint \limits_0^\infty \left[ {\frac{{f(x + t) - f(x - t)}}{t}} \right]_n dt = \infty$$ .     

On Certain Integral Operators of Fractional Type

In this paper we study integral operators of the form $$T\,f\left( x \right) = \int {k_1 \left( {x - a_1 y} \right)k_2 \left( {x - a_2 y} \right)...k_m \left( {x - a_m y} \right)f\left( y \right)dy} ,$$ $$k_i \left( y \right) = \sum\limits_{j \in Z} {2^{\frac{{jn}}{{q_i }}} } \varphi _{i,j} \left( {2^j y} \right),\,1 \leqq q_i < \infty ,\frac{1}{{q_1 }} + \frac{1}{{q_2 }} + ... + \frac{1}{{q_m }} = 1 - r,$$ $0 \leqq r < 1$ , and $\varphi _{i,j}$ satisfying suitable regularity conditions. We obtain the boundedness of $T:L^p \left( {R^n } \right) \to T:L^q \left( {R^n } \right)$ for $1 < p < \frac{1}{r}$ and $\frac{1}{q} = \frac{1}{p} - r$ .     

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 simultaneous approximation by lagrange interpolating polynomials

This paper considers to replace △_m(x)=(1-x~2)~2(1/2)/n +1/n~2 in the following result for simultaneousLagrange interpolating approximation with (1-x~2)~2(1/2)/n: Let f∈C_(-1.1)~0 and r=[(q+2)/2],then|f~(k)(x)-P_~(k)(f,x)|=O(1)△_(n)~(a-k)(x)ω(f~(a),△(x))(‖L_n-‖+‖L_n‖),0≤k≤q,where P_n( f ,x)is the Lagrange interpolating polynomial of degree n+ 2r-1 of f on the nodes X_nU Y_n(see the definition of the text), and thus give a problem raised in [XiZh] a complete answer.     

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 the nonclassical approximation method for periodic functions by trigonometric polynomials

We study the approximation of functions by linear polynomial means of their Fourier series with a function-multiplier φ that is equal to 1 not only at zero, in contrast with classical methods of summability. The exact order of convergence to zero of the sequence $$ \mathop{\max}\limits_{{x\in \left[ {-\pi, \pi } \right]}}\left| {f(x)-\sum\limits_{{\left| k \right|\leq n}} {\varphi \left( {\frac{{k\pi }}{n}} \right){{\hat{f}}_k}{e^{ikx }}} } \right| $$ ( $ {{\hat{f}}_k} $ Fourier coefficients) as n→∞ is obtained. The answer is given in terms of the values of difference operators of a continuous function f and a special K-functional (step of $ \frac{\pi }{n} $ ). In addition, we obtain not only the sufficient conditions for φ but the necessary ones as well.     

Some approximation theorems for modified Bernstein-Durrmeyer operators

The modified Bernstein-Durrmeyer operators discussed in this paper are given byM_nf≡M_n(f,x)=(n+2)P_(n,k)∫_0~1p_n+1.k(t)f(t)dt,whereWe will show,for 0<α<1 and 1≤p≤∞     

Sharp weak-type inequalities for Hilbert transform and Riesz projection

The paper is devoted to the study of the weak norms of the classical operators in the vector-valued setting.

1. Let S, H denote the singular integral involution operator and the Hilbert transform on $L^p \left( {\mathbb{T}, \ell _\mathbb{C}^2 } \right)$ , respectively. Then for 1 ≤ p ≤ 2 and any f, $$\left\| {\mathcal{S}f} \right\|_{p,\infty } \leqslant \left( {\frac{1} {\pi }\int_{ - \infty }^\infty {\frac{{\left| {\tfrac{2} {\pi }\log \left| t \right|} \right|^p }} {{t^2 + 1}}dt} } \right)^{ - 1/p} \left\| f \right\|p,$$ $$\left\| {\mathcal{H}f} \right\|_{p,\infty } \leqslant \left( {\frac{1} {\pi }\int_{ - \infty }^\infty {\frac{{\left| {\tfrac{2} {\pi }\log \left| t \right|} \right|^p }} {{t^2 + 1}}dt} } \right)^{ - 1/p} \left\| f \right\|p.$$ Both inequalities are sharp.
2. Let P ₊ and P _? stand for the Riesz projection and the co-analytic projection on $L^p \left( {\mathbb{T}, \ell _\mathbb{C}^2 } \right)$ , respectively. Then for 1 ≤ p ≤ 2 and any f, $$\left\| {P + f} \right\|_{p,\infty } \leqslant \left\| f \right\|_p ,$$ $$\left\| {P - f} \right\|_{p,\infty } \leqslant \left\| f \right\|_p .$$ Both inequalities are sharp.
3. We establish the sharp versions of the estimates above in the nonperiodic case.

The results are new even if the operators act on complex-valued functions. The proof rests on the construction of an appropriate plurisubharmonic function and probabilistic techniques.     

Commutators of Marcinkiewicz integral with rough kernels on Sobolev spaces

In this paper, the authors give the boundedness of the commutator [b, ??_??,?? ] from the homogeneous Sobolev space $\dot L_\gamma ^p \left( {\mathbb{R}^n } \right)$ to the Lebesgue space L ^p (? ⁿ ) for 1 < p < ??, where ??_??,?? denotes the Marcinkiewicz integral with rough hypersingular kernel defined by $\mu _{\Omega ,\gamma } f\left( x \right) = \left( {\int_0^\infty {\left| {\int_{\left| {x - y} \right| \leqslant t} {\frac{{\Omega \left( {x - y} \right)}} {{\left| {x - y} \right|^{n - 1} }}f\left( y \right)dy} } \right|^2 \frac{{dt}} {{t^{3 + 2\gamma } }}} } \right)^{\frac{1} {2}} ,$ , with ?? ?? L ¹(S ^n?1) for $0 < \gamma < min\left\{ {\frac{n} {2},\frac{n} {p}} \right\}$ or ?? ?? L(log⁺ L) ^?? (S ^n?1) for $\left| {1 - \frac{2} {p}} \right| < \beta < 1\left( {0 < \gamma < \frac{n} {2}} \right)$ , respectively.     

Some new estimates of the Fourier-Bessel transform in the space \mathbb{L}_2 \left( {\mathbb{R}_ + } \right)

The Fourier-Bessel integral transform $$g\left( x \right) = F\left[ f \right]\left( x \right) = \frac{1} {{2^p \Gamma \left( {p + 1} \right)}}\int\limits_0^{ + \infty } {t^{2p + 1} f\left( x \right)j_p \left( {xt} \right)dt}$$ is considered in the space $\mathbb{L}_2 \left( {\mathbb{R}_ + } \right)$ . Here, j _p (u) = ((2 ^p Γ(p+1))/(u ^p ))J _p (u) and J _p (u) is a Bessel function of the first kind. New estimates are proved for the integral $$\delta _N^2 \left( f \right) = \int\limits_N^{ + \infty } {x^{2p + 1} g^2 \left( x \right)dx, N > 0,}$$ in $\mathbb{L}_2 \left( {\mathbb{R}_ + } \right)$ for some classes of functions characterized by a generalized modulus of continuity.     

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.     

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.     

Criterion of polynomial increase of a function and its derivatives

ДОкАжАНО, ЧтО Дль тОгО, ЧтОБы Дльr РАж ДИФФЕРЕНцИРУЕМОИ НА пРОМЕжУткЕ [А, + ∞) ФУНкцИИf сУЩЕстВОВА л тАкОИ МНОгОЧлЕН (1) $$P(x) = \mathop \Sigma \limits_{\kappa = 0}^{r - 1} a_k x^k ,$$ , ЧтО (2) $$\mathop {\lim }\limits_{x \to + \infty } (f(x) - P(x))^{(k)} = 0,k = 0,1,...,r - 1,$$ , НЕОБхОДИМО И ДОстАтО ЧНО, ЧтОБы схОДИлсь ИН тЕгРАл (3) $$\int\limits_a^{ + \infty } {dt_1 } \int\limits_{t_1 }^{ + \infty } {dt_2 ...} \int\limits_{t_{r - 1} }^{ + \infty } {f^{(r)} (t)dt.}$$ ЕслИ ЁтОт ИНтЕгРАл сх ОДИтсь, тО Дль кОЁФФИц ИЕНтОВ МНОгОЧлЕНА (1) ИМЕУт МЕс тО ФОРМУлы $$\begin{gathered} a_{r - m} = \frac{1}{{(r - m)!}}\left( {\mathop \Sigma \limits_{j = 1}^m \frac{{( - 1)^{m - j} f^{(r - j)} (x_0 )}}{{(m - j)!}}} \right.x_0^{m - j} + \hfill \\ + ( - 1)^{m - 1} \left. {\mathop \Sigma \limits_{l = 0}^{m - 1} \frac{{x_0^l }}{{l!}}\int\limits_a^{ + \infty } {dt_1 } \int\limits_{t_1 }^{ + \infty } {dt_2 ...} \int\limits_{t_{m - l - 1} }^{ + \infty } {f^{(r)} (t_{m - 1} )dt_{m - 1} } } \right),m = 1,2,...,r. \hfill \\ \end{gathered}$$ ДОстАтОЧНыМ, НО НЕ НЕОБхОДИМыМ Усл ОВИЕМ схОДИМОстИ кРА тНОгО ИНтЕгРАлА (3) ьВльЕтсь схОДИМОсть ИНтЕгРАл А \(\int\limits_a^{ + \infty } {x^{r - 1} f^{(r)} (x)dx}\)      

On a problem of L. Leindler concerning strong approximation by Fourier series and Lipschitz classes

Пусть? — возрастающа я непрерывная фцнкци я на [0,π],?(0)=0 и $$\mathop \smallint \limits_0^h \frac{{\varphi \left( t \right)}}{t}dt = O\left( {\varphi \left( h \right)} \right){\text{ }}\left( {h \to 0} \right).$$ Положим $$\psi \left( h \right) = h\mathop \smallint \limits_h^\pi \frac{{\varphi \left( t \right)}}{{t^2 }}dt \left( {h \in (0, \pi ]} \right).$$ Доказывается следую щая теорема.Пусть f∈ С[?π, π], ω(f, δ)=О(?(δ))) и $$\mathop {\lim }\limits_{h \to 0} \frac{1}{{\varphi \left( {\left| h \right|} \right)}}\left| {f\left( {x + h} \right) - f\left( x \right)} \right| = 0$$ для x∈E?[?π, π], ¦E¦>0. Тогда д ля сопряженной функц ии f почти всюду на E выполн яется соотношение $$\mathop {\lim }\limits_{h \to 0} \frac{1}{{\psi \left( {\left| h \right|} \right)}}\left| {\tilde f\left( {x + h} \right) - \tilde f\left( x \right)} \right| = 0.$$ Из этой теоремы вытек ает положительное ре шение одной задачи Л. Лейндлера.     

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 .\)      

Estimation of the remainder of a cubature formula on a Chebyshev grid

Let C(Q) denote the space of continuous functions f(x, y) in the square Q = [?1, 1] × [?1, 1] with the norm $\begin{gathered} \left\| f \right\| = \max \left| {f(x,y)} \right|, \hfill \\ (x,y) \in Q. \hfill \\ \end{gathered} $ On a Chebyshev grid, a cubature formula of the form $\int\limits_{ - 1}^1 {\int\limits_{ - 1}^1 {\frac{1} {{\sqrt {(1 - x^2 )(1 - y^2 )} }}f(x,y)dxdy = \frac{{\pi ^2 }} {{mn}}\sum\limits_{i = 1}^n {\sum\limits_{j = 1}^m {f\left( {\cos \frac{{2i - 1}} {{2n}}\pi ,\cos \frac{{2j - 1}} {{2m}}\pi } \right)} + R_{m,n} (f)} } } $ is considered in some class H(r ₁, r ₂) of functions f ?? C(Q) defined by a generalized shift operator. The remainder R _{m, n} (f) is proved to satisfy the estimate $\mathop {\sup }\limits_{f \in H(r_1 ,r_2 )} \left| {R_{m,n} (f)} \right| = O(n^{ - r_1 + 1} + m^{ - r_2 + 1} ), $ where r ₁, r ₂ > 1; ??^?1 ?? n/m ?? ?? with ?? > 0; and the constant in O(1) depends on ??.     

Su un legame tra metriche di un dominio fattoriale e del suo campo delle frazioni

We introduce in a U. F. D.,A, and in its quotient fieldK two metricsd and \(\bar d\) connected to the (p)-adic topology onA and its extension toK; we prove that: \(\bar d\left( {\frac{x}{y},\frac{{x'}}{{y'}}} \right) = \inf \left( {\frac{{d(xy',yx')}}{{2d(yy',0)}},1} \right)\) .     

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

LetL(x) denote the number of square-full integers not exceedingx. It is well-known that $$L\left( x \right) \sim \frac{{\zeta \left( {{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \right)}}{{\zeta \left( 3 \right)}}x^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} + \frac{{\zeta \left( {{2 \mathord{\left/ {\vphantom {2 3}} \right. \kern-\nulldelimiterspace} 3}} \right)}}{{\zeta \left( 2 \right)}}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 assumption of the Riemann hypothesis (R.H.), it is known that $$\Delta x = O\left( {x^{13/81 + 8} } \right)$$ for everyε > 0. In this paper, we prove on the assumption of R.H. that $$\frac{1}{x}\int\limits_x^1 {\left| {\Delta \left( t \right)} \right|dt = O\left( {x^{1/10 + ^8 } } \right)} .$$ In fact, we prove a more general result. We conjecture that $$\Delta x = O\left( {x^{1/10 + ^8 } } \right)$$ under the assumption of the R.H.     

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\}$$ расходится почти всю ду

.