On orthogonal polynomials

Пустьw(х)∈L[-1, +1] — неотрица тельная функция така я, что $$\frac{{\log ^ + \frac{1}{{w(x)}}}}{{\sqrt {1 - x^2 } }} \in L[ - 1, + 1]$$ и пусть {(р _n (х)} — много члены, ортогональные и нормированные с весо мw(x). Мы доказываем следующие две теорем ы, являющиеся обобщен ием одного известного результа та Н. Винера. I. Для каждого δ, 0<δ<1, суще ствует числоB=B(δ, w) тако е, что если $$f_N (x) = \sum\limits_{j = 1}^N {a_j p_{v_j } (x)} $$ причем выполнено сле дующее условие лакун арности $$\begin{gathered} v_{j + 1} - v_j \geqq B(\delta ,w) (j = 1,2,...,N - 1), \hfill \\ v_1 \geqq B(\delta ,w) \hfill \\ \end{gathered} $$ , то для некоторого С(δ, w) и всехh и δ, для которых $$ - 1 \leqq h - \delta< h + \delta \leqq + 1$$ , имеет место неравенс тво $$\int\limits_{ - 1}^1 {|f_N (x)|^2 w(x)dx \leqq C(\delta ,w)} \int\limits_{h - \delta }^{h + \delta } {|f_N (x)|^2 w(x)dx} $$ каковы бы ни былиa _j ,N и h. II. Если формальный ряд $$\sum\limits_{j = 1}^\infty {b_j p_{\mu _j } (x)} $$ удовлетворяет услов ию лакунарности μ_j+1-μ_j→∞ и суммируем, например, м етодом Абеля на произвольно малом отрезке [а, Ь] ?[0,1] к ф ункцииf(x) такой, что \(f(x)\sqrt {w(x)} \in L_2 [a,b]\) , то $$\sum\limits_j {|b_j |^2< \infty } $$ Теорема I — это первый ш аг в направлении проб лемы типа Мюнтца-Саса о замкнут ости подпоследовательно сти pv_j(x)} последовател ьности {р_n(х)} на отрезке [а, Ь] в метрике С[а, Ь] (см. теорему II стать и).     

On the Fourier coefficients of contracted functions

РАБОтА пОсВьЩЕНА ИжУ ЧЕНИУ сВьжИ кОЁФФИцИ ЕНтОВ ФУРьЕ ФУНкцИИ ?(x) И g(x) тАкИх ЧтО (1) $$\parallel \Delta _h^m g(x)\parallel _{L^2 } \leqq \parallel \Delta _h^m f(x)\parallel _{L^2 } $$ Дль ВськОгОh≧0 И НЕкОт ОРОгОт. пОкАжАНО, ЧтО сУЩЕстВ УУт НЕпРЕРыВНыЕ ФУНк цИь ?(x) Иg(x), УДОВлЕтВОРьУЩИЕ сОО т-НОшЕНИУ (1), И тАкИЕ, ЧтО $$\mathop \sum \limits_{n = 0}^\infty [a_n^2 (f) + b_n^2 (f)]^{\alpha /2}< \infty $$ Дль ВськОгО α>0 И $$\mathop \sum \limits_{n = 0}^\infty [a_n^2 (g) + b_n^2 (g)]^{\beta /2} = \infty $$ Дль ВськОгОΒ<2. АНАлОгИЧНыИ РЕжУльт Ат ДОкАжыВАЕтсь И Дль пЕРИОДИЧЕскИх МУльт ИплИкАтИВНых ОР-тОНО РМИРОВАННых сИстЕМ.     

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 ]).$$      

Die multivariate inkomplette Beta-Funktion

The integral $$\int_{\Delta (x)} {u_1^{p_1 ^{ - 1} } ...u_n^{p_n ^{ - 1} } (1 - u_1 - ... - u_n )^{q - 1} du_1 \wedge ... \wedge du_n } $$ extended over then-simplex $$\Delta (x) = \{ (u_1 ,...,u_n ) \in R_ + ^n :u_1 /x_1 + ... + u_n /x_n< 1\} $$ is considered as a natural generalization of the classical incomplete Beta-functionB _x (p, q). The partial differential equations of this multivariate incomplete Beta-function lead to a kind of ‘minimum principle’ for its restriction to the hypersurface with the equation:p ₁/x ₁+...+ +p _n /x _n =c=const.     

Approximation of the function sign x in the uniform and integral metrics by means of rational functions

Estimates are obtained for the nonsymmetric deviations R_n [sign x] and R_n [sign x]_L of the function sign x from rational functions of degree ≤n, respectively, in the metric $$c([ - 1, - \delta ] \cup [\delta ,1]), 0< \delta< exp( - \alpha \surd \overline n ), \alpha > 0,$$ and in the metric L[?1, 1]: $$\begin{gathered} R_n [sign x] _{\frown }^\smile exp \{ - \pi ^2 n/(2 ln 1/\delta )\} , n \to \infty , \hfill \\ 10^{ - 3} n^{ - 2} \exp ( - 2\pi \surd \overline n )< R_n [sign x_{|L}< \exp ( - \pi \surd \overline {n/2} + 150). \hfill \\ \end{gathered} $$ Let 0 < δ < 1, Δ (δ)=[?1, ? δ] ∪ [δ, 1]; $$\begin{gathered} R_n [f;\Delta (\delta )] = R_n [f] = inf max |f(x) - R(x)|, \hfill \\ R_n [f;[ - 1,1] ]_L = R_n [f]_L = \mathop {inf}\limits_{R(x)} \smallint _{ - 1}^1 |f(x) - R(x)|dx, \hfill \\ \end{gathered} $$ where R(x) is a rational function of order at most n. Bulanov [1] proved that for δ ε [e^?n, e^?1] the inequality $$\exp \left( {\frac{{\pi ^2 n}}{{2\ln (1/\delta }}} \right) \leqslant R_n [sign x] \leqslant 30 exp\left( {\frac{{\pi ^2 n}}{{2\ln (1/\delta + 4 ln ln (e/\delta ) + 4}}} \right)$$ is valid. The lower estimate in this inequality was previously obtained by Gonchar ([2], cf. also [1]).     

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

Characterization of the Bernoulli-polynomials,exp andΨ by Nörlund's multiplication formula

The system of functional equations $$\forall p\varepsilon N_ + \forall (x,y)\varepsilon D:f(x,y) = \frac{1}{p}\sum\limits_{k = 0}^{p - 1} {f(x + ky,py)}$$ is suited to characterize the functions $$(x,y) \mapsto y^m B_m \left( {\frac{x}{y}} \right),m\varepsilon N,$$ B _m means them-th Bernoulli-polynomial, $$(x,y) \mapsto \exp (x)y(\exp (y) - 1)^{ - 1}$$ (for these functionsD =R ×R ₊) and $$(x,y) \mapsto \log y + \Psi \left( {\frac{x}{y}} \right)(D = R_ + \times R_ + )$$ as those continuous solutions of this system which allow a certain separation of variables and take on some prescribed function values.     

On imbedding of classes of functions

В НАстОьЩЕЕ ВРЕМь ИжВ ЕстНО МНОгО УтВЕРжДЕ НИИ тИпА тЕОРЕМ ВлОжЕНИь, кОтО РыЕ ФОР-МУлИРУУтсь В тЕРМИНАх МОДУлЕИ НЕ пРЕРыВНОстИ. ДАННАь РАБОтА сОДЕРж Ит НЕскОлькО тЕОРЕМ В лОжЕНИь с УслОВИьМИ, ВыРАжЕННы МИ В тЕРМИНАх НАИлУЧшИх п РИБлИжЕНИИE _n(?,p) ФУНкц ИИ ? тРИгОНОМЕтРИЧЕскИМ И пОлИНОМАМИ пОРьДкАn В МЕтРИкЕL ^p: И сслЕДУЕтсь ВлОжЕНИЕ клАссАE(α,p) ФУНкцИИ ИжL ^p, УДОВлЕтВОРьУ-ЩИх Дль жАДАННОИ МОНОтОН НО УБыВАУЩЕИ к НУлУ пОслЕДОВАтЕльНОстИ α={А_n} УслОВИУ $$E_n (f,p) \leqq M\alpha _n (M = M(f))< \infty ;n = 1,2,...).$$ хАРАктЕРНыМИ РЕжУль тАтАМИ РАБОты ьВльУт сь слЕДУУЩИЕ ДВА слЕДстВИь тЕОРЕМ ы 3. слЕДстВИЕ 1. пУстьР≧1И Β>?1.ЕслИ пОслЕДОВАтЕльНОсть {α_n} УДОВлЕтВОРьЕт УслОВИУ: , тО Дль ВлОжЕНИь $$E(\alpha ,p) \subset L^p (\ln + L)^{\beta + 1} $$ НЕОБхОДИМО И ДОстАтОЧНО $$\mathop \sum \limits_{n = 2}^\infty \frac{{(\ln n)\beta }}{n}\alpha _n^p< \infty .$$ слЕДстВИЕ 2.ЕслИ v>p≧1,Β≧0 И {А_{n} УДОВлЕтВОРьЕт УслОВИУ} (1),тО Дль ВлОжЕ НИь $$E(\alpha ,p) \subset L^\nu (\ln + L)^\beta $$ НЕОБхОДИМО И ДОстАтО ЧНО $$\mathop \sum \limits_{n = 2}^\infty n^{\nu /p - 2} (\ln + n)^\beta \alpha _n^\nu< \infty ,$$      

A Tauberian vanishing theorem

ИжУЧАЕтсь кРИтИЧЕск Аь скОРОсть УБыВАНИь Дль РАжлИЧНых МЕтОДОВ сУ ММИРОВАНИь. пРОтОтИпОМ тАкИх РЕж УльтАтОВ ьВльЕтсь сл ЕДУУЩЕЕ УтВЕРжДЕНИЕ, ОтНОсьЩ ЕЕсь к МЕтОДУ сУММИРОВАНИ ь АБЕль: ЕслИ $$a_n = O(n^p ) \Pi pI x \to \infty $$ Дль НЕкОтОРОгОp И $$\sum {a_n e^{ - nx} = O(e^{ - \eta (x)/x} ) \Pi pI x \to + 0,} $$ пРИx→+0, гДЕ ФУНкцИьη УДОВлЕт ВОРьЕт УслОВИУ $$\mathop {\lim \sup }\limits_{x \to + 0} \eta (x) = \infty ,$$ тО кОЁФФИцИЕНтыa _n РАВ Ны НУлУ Дль ВсЕхn. Мы пОкАжыВАЕМ, ЧтО пОД ОБНыИ РЕжУльтАт ИМЕЕ т МЕстО Дль шИРОкОгО клАссА МЕтОДОВ сУММИРОВАНИ ь.     

On the convergence rate of the partial sums of positive entire Dirichlet series

Пусть Λ=(λ_n) — возрастаю щая к+∞ последователь ность неотрицательных чис ел, λ₀=0, а S₊(Λ) — класс абсолют но сходящихся в С рядо в Дирихле вида $$F\left( z \right) = \mathop \sum \limits_{k = 0}^\infty a_k \exp \left\{ {z\lambda _k } \right\},$$ где a₀=1 и a_k>0 (k∈N). Положим $$\begin{gathered} S_n \left( z \right) = \mathop \sum \limits_{k = 1}^\infty a_k \exp \left\{ {z\lambda _k } \right\}, \hfill \\ \sigma _n \left( F \right) = \max \left\{ {\frac{1}{{S_n \left( x \right)}} - \frac{1}{{F\left( x \right)}}:x \in R} \right\}. \hfill \\ \end{gathered} $$ Доказано, что для того, чтобы для любой функц ии F∈S₊(Λ) выполнялось равенст во $$\mathop {\lim \sup }\limits_{n \to \infty } \frac{1}{{\ln n}}\ln \frac{1}{{\sigma _n \left( F \right)}} = + \infty ,$$ необходимо и достато чно, чтобы $$\mathop \sum \limits_{n = 1}^\infty \frac{1}{{n\lambda _n }}< + \infty .$$ Аналогичные результ ы получены для различ ных подклассов классаS ₊ (Λ), определяемых условиями на убывани е коэффициентова _n.     

Two inequalities for pseudo-differential operators

Изучается ограничен ность псевдодиффере нциальных операторов на \(L^2 (R^n )\) и на пр остранствах Харди в \(R^n \) . Пусть \(D_k = \{ \xi \in R^n :2^{k - 1} \leqq \left| \xi \right|< 2^k \} , k = 1,2,3, \ldots ,\) и \(D_0 = \{ \xi \in R^n :\left| \xi \right|< 1\} \) . Псевдодиффер енциальный операторP с символом p определяется соотно шением $$Pf(x) = \int\limits_{R^n } {e^{ix \cdot \xi } p(x,\xi )\hat f(\xi )d\xi ,x \in R^n .} $$ Будем говорить, что p пр инадлежит классу \(\bar S_{\varrho ,} {}_\delta (M,N), 0 \leqq \delta ,\varrho \leqq 1\) , ес ли $$\left| {D_x^a p(x,\xi )} \right| \leqq C_a (1 + \left| \xi \right|)^{\delta \left| a \right|} , x,\xi \in R^n ,\left| a \right| \leqq M,$$ и $$\int\limits_{D_k } {\left| {D_x^a D_\xi ^\beta p(x,\xi )} \right|d\xi \leqq C_{a\beta } 2^{kn} 2^{k(\delta |a| - \varrho |\beta |)} , x} \in R^n , k = 0,1,2, \ldots ;|a| \leqq M, |\beta | \leqq N.$$ Изучаются условия, ко торым должны удовлет ворять ?. δ,M иN, чтобы для каждого символа \(p \in \bar S_\varrho , {}_\delta (M,N)\) соответствующий оп ераторP был ограниче н на \(L^2 (R^n )\) . Далее, пусть \(p \in S_\varrho , {}_\delta \) , если дл я всех мультииндексо в а и β выполнено условие $$|D_x^a D_\xi ^\beta p(x,\xi )| \leqq C_{a\beta } (1 + |\xi |)^{\delta |\alpha | - \varrho |\beta |} , x,\xi \in R^n .$$ Доказывается, что при 0≦δ<1 операторP отображ ает пространство Харди \(H^p (R^n )\) в локальное пространство Харди ? ^p , если символp принадл ежит классуS ₁, δ.     

On the minimum moduli of normalized polynomials with two prescribed values

WithP _n denoting the set of complex polynomials of degree at mostn (n≥1), define, for any complex numberμ, the subset $$P_n (\mu ): = \{ p_n (z) \in P_n :p_n (0) = 1 and p_n (1) = \mu \} .$$ In this paper, we determine exactly the nonnegative quantity $$S_n (\mu ): = \mathop {\sup \{ \min |p_n (z)|\} }\limits_{p_n \in P_n (\mu )|z| \leqslant 1} ,$$ as a function ofn andμ. For fixedn≥2, the three-dimensional surface, generated by the points (Reμ, Imμ,S _n(μ)) for all complex numbersμ, has the interesting shape of a volcano.     

Interpolation with lagrange polynomials a simple proof of Markov inequality and some of its generalizations

The following theorem is provedTheorem 1.Let q be a polynomial of degree n(qP_n)with n distinct zeroes lying inthe interval[-1,1] and△'_q={-1}∪{τ_i:q'(τ_i)=0,i=1,n-1}∪{1}.If polynomial pP_n satisfies the inequalitythen for each k=1,n and any x[-1,1]its k-th derivative satisfies the inequality丨p~(k)(x)丨≤max{丨q~((k))(x)丨,丨1/k(x~2-1)q~(k+1)(x)+xq~((k))(x)丨}.This estimate leads to the Markov inequality for the higher order derivatives ofpolynomials if we set q=T_n,where Tn is Chebyshev polynomial least deviated from zero.Some other results are established which gives evidence to the conjecture that under theconditions of Theorem 1 the inequality ‖p~((k))‖≤‖q~(k)‖holds.     

On the average number of direct factors of a finite Abelian group

Let \(T(x) = \sum\limits_{ord(G) \leqq x} {t(G),} \) , wheret(G) define the number of direct factors of a finite Abelian group.E. Krätzel ([5]) defined a remainderΔ ₁(x) in the asymptotic ofT(x) and proved $$\Delta _1 (x)<< x^{{5 \mathord{\left/ {\vphantom {5 {12}}} \right. \kern-\nulldelimiterspace} {12}}} \log ^4 x.$$ Using two different methods to estimate a special three-dimensional exponential sum we get the better results $$\Delta _1 (x)<< x^{{{282} \mathord{\left/ {\vphantom {{282} {683}}} \right. \kern-\nulldelimiterspace} {683}}} \log ^4 x$$ and $$\Delta _1 (x)<< x^{{{45} \mathord{\left/ {\vphantom {{45} {109}}} \right. \kern-\nulldelimiterspace} {109}} + \varepsilon } (\varepsilon > 0).$$      

О коэффициентах рядо в Фурье по множествам

The following statement is proved: Theorem.Let f(x), 0≦x≦2π, possess the Fourier expansion $$\mathop \sum \limits_{\kappa = - \infty }^\infty c_\kappa e^{in} \kappa ^x with \bar c_\kappa = c_{ - \kappa } , n_\kappa = - \bar n_{ - \kappa }$$ where {n _k } is a Sidon sequence. Then in order to have $$\mathop \sum \limits_{\kappa = - \infty }^\infty |c_\kappa |^p< \infty$$ for a given p, 1 $$\mathop \sum \limits_{k = 1}^\infty \left( {\frac{{\left\| f \right\|L^k (0,2\pi )}}{k}} \right)^p< \infty$$ . An analogous statement holds true for series with respect to the Rademacher system.     

Strong approximation by rectangular partial sums of double orthogonal series

Пусть {? _ik(x):i, k=1, 2,...} — орто нормированная систе ма в пространстве с полож ительной мерой и {a _ik} — последов ательность действит ельных чисел, для которой $$\mathop \sum \limits_{\iota = 1}^\infty \mathop \sum \limits_{\kappa = 1}^\infty a_{ik}^2 \kappa ^2 (i,k)< \infty ,$$ где {x(i, K)} — определенна я неубывающая последовательность положительных чисел. Тогда суммаf(x) двойног о ортогонального ряд а \(\mathop \sum \limits_{\iota = 1}^\infty \mathop \sum \limits_{\kappa = 1}^\infty a_{ik} \varphi _{ik} (x)\) существует в смысле с ходимости в метрикеL ² и сходимос ти почти всюду. Изучае тся порядок так называем ой сильной аппроксимац ииf(x) (при коэффициентн ых условиях) прямоуголь ными частными суммами \(s_{mn} (x) = \mathop \sum \limits_{\iota = 1}^\infty \mathop \sum \limits_{\kappa = 1}^\infty a_{ik} \varphi _{ik} (x)\) . Основной ре зультат состоит в сле дующем. Если {λ_j(m):m=1, 2,...} — неубывающи е последовательност и положительньк чисел, стремящиеся к ∞ и такие, что \(\mathop {\lim \sup }\limits_{m \to \infty } \lambda _j (2m)/\lambda _j (m)< \sqrt 2 \) дляj=1,2, и если $$\mathop \sum \limits_{\iota = 1}^\infty \mathop \sum \limits_{\kappa = 1}^\infty a_{ik}^2 \left[ {\log log (i + 3)} \right]^2 \left[ {\log log (k + 3)} \right]^2 (\lambda _1^2 (i) + \lambda _2^2 (k))< \infty ,$$ TO ПОЧТИ ВСЮДУ $$\left\{ {\frac{1}{{mn}}\mathop \sum \limits_{i = 1}^m \mathop \sum \limits_{\kappa = 1}^m \left[ {s_{ik} (x) - f(x)} \right]^2 } \right\}^{1/2} = o_x (\lambda _1^{ - 1} (m) + \lambda _2^{ - 1} (n))$$ при min (m, n) → ∞.     

A reciprocity formula for quadratic forms

LetQ(x) denote a quadratic form over the rational integers in four variables (x=(x₁,...,x₄)). ThenQ is representable as a symmetric matrix. Assume this matrix to be non-singular modp(p≠2 prime); then the “inverse” quadratic formQ ^?1 modp can be defined. Letf:?⁴→? be defined such that the Fourier transformf exists and the sum $$\sum\limits_{x \in \mathbb{Z}^4 } {f(c x), c \in \mathbb{R}, c \ne 0} $$ is convergent. Furthermore, letm=p ₁...p _k be the product ofk distinct primes withm>1, 2×m; let $$\varepsilon = \prod\limits_{i = 1}^k {\left( {\frac{{\det Q}}{{p_i }}} \right)} \ne 0$$ for the Legendre symbol $$\left( {\frac{ \cdot }{p}} \right)$$ ; define $$B_i (Q,x) = \left\{ {\begin{array}{*{20}c} {1 for Q(x) \equiv 0\bmod p_i } \\ , \\ {0 for Q(x)\not \equiv 0\bmod p_i } \\ \end{array} } \right.$$ and forr∈?,r>0, $$F(Q,f,r) = \sum\limits_{x \in \mathbb{Z}^4 } {\left( {\prod\limits_{i = 1}^k {\left( {B_i (Q,x) - \frac{1}{{p_i }}} \right)} } \right)f(r^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} x)} $$ Then we have $$F(Q,f,m) = \varepsilon F(Q^{ - 1} ,\hat f,m)$$      

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

Lipschitz-Nikolski\imath constants and asymptotic simultaneous approximation on theM n -operatorsconstants and asymptotic simultaneous approximation on theM n -operators

This note is a study of approximation of classes of functions and asymptotic simultaneous approximation of functions by theM _n -operators of Meyer-König and Zeller which are defined by $$(M_n f)(x) = (1 - x)^{n + 1} \sum\limits_{k = 0}^\infty {f\left( {\frac{k}{{n + k}}} \right)} \left( \begin{array}{l} n + k \\ k \\ \end{array} \right)x^k , n = 1,2,....$$ Among other results it is proved that for 0<α≤1 $$\mathop {\lim }\limits_{n \to \infty } n^{\alpha /2} \mathop {\sup }\limits_{f \in Lip_1 \alpha } \left| {(M_n f)(x) - f(x)} \right| = \frac{{\Gamma \left( {\frac{{\alpha + 1}}{2}} \right)}}{{\pi ^{1/2} }}\left\{ {2x(1 - x)^2 } \right\}^{\alpha /2} $$ and if for a functionf, the derivativeD ^m+2 f exist at a pointx∈(0, 1), then $$\mathop {\lim }\limits_{n \to \infty } 2n[D^m (M_n f) - D^m f] = \Omega f,$$ where Ω is the linear differential operator given by $$\Omega = x(1 - x)^2 D^{m + 2} + m(3x - 1)(x - 1)D^{m + 1} + m(m - 1)(3x - 2)D^m + m(m - 1)(m - 2)D^{m - 1} .$$      

Strong approximation by Fourier series and differentiability properties of functions

ПустьΦ —N-функция Юнг а со свойствами $$\Phi (x)x^{ - 1} \downarrow 0, \exists \alpha > 1 \Phi (x)x^{ - \alpha } \uparrow (x \downarrow 0),$$ илиΦ(х)=х, {λ_k} — положи тельная, неубывающая последовательность и $$S_\Phi \{ \lambda \} = \left\{ {f:\left\| {\sum\limits_{k = 0}^\infty \Phi (\lambda _k |f - s_k |)} \right\|_\infty< \infty } \right\}.$$ В работе найдены необ ходимые и достаточны е условия для вложений $$S_\Phi \{ \lambda \} \subset W^r F(r \geqq 0),$$ , гдеF=C, L ^∞, Lip α (0<α≦1). С этой то чки зрения рассматриваются и др угие классы (например, \(W^r H^\omega ,\tilde W^r F\) ).