Moment multipliers for power series

По определению после довательность {μ _n пр инадлежит классуG _s , если звезда М иттагЛеффлера произвольного степе нного ряда (1) $$\mathop \sum \limits_0^\infty a_n z^n , \mathop {lim sup}\limits_{n \to \infty } \left| {a_n } \right|^{1/n}< \infty $$ , совпадает со звёздам и Миттаг-Леффлера сте пенных рядов $$\mathop \sum \limits_0^\infty \mu _n a_n z^n ,\mathop \sum \limits_0^\infty \mu _n^{ - 1} a_n z^n $$ . В работе установлены следующие утвержден ия Теорема 1.Для произво льной последователь ности ? _n с условиями $$0< \varphi _n< 1,\mathop {lim}\limits_{n \to \infty } \varphi _n = 0,\mathop {lim}\limits_{n \to \infty } \varphi _n^{1/n} = 1$$ существует неубываю щая функция χ(t) такая, ч то моменты \(\mu _n = \int\limits_0^1 {t^n d\chi (t)} \) удовлетворяют условию 0<μ_nn звезда М иттаг-Леффлера любог о ряда (1) совпадает со звездой МиттагЛеффлера степенных рядов . Теорема 2. Для произвол ьной неотрицательно й последовательности {а_n} с условием {a _n } и для любой последов ательности {?_n} для к оторой 0n<1, \(\mathop {\lim }\limits_{n \to \infty } \varepsilon _n = 0\) сущест вуютπ={π _n }∈G _s и последовательнос ть {п_i} такие, что a_nμ_n≦1 (n≧n₀), \(a_{n_i } \mu _{\mu _i } \geqq exp( - \varepsilon _{n_i } )\) (i=1, 2, ...) и при эmom звезда Миттаг-Леффлера ряда (1) совпа дает со звездой Миттаг- Леффлера степенных р ядов .     

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

On the limit superior of sequences of sets

qVЕРхНИИ пРЕДЕл пОслЕД ОВАтЕльНОстИ МНОжЕс тВA _n ОпРЕДЕльЕтсь сООтНО шЕНИЕМ \(\mathop {\lim sup}\limits_{n \to \infty } A_n = \mathop \cap \limits_{k = 1}^\infty \mathop \cup \limits_{n = k}^\infty A_n . B\) стАтьЕ РАссМАтРИВА Етсь слЕДУУЩИИ ВОпРО с: ЧтО МОжНО скАжАть О ВЕРхНИх пРЕДЕлАх \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) , еслИ ИжВЕстНО, ЧтО пРЕсЕЧЕНИь \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) «МАлы» Дль кАж-ДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) ? ДОкАжыВАЕтсь, Ч тО

1. ЕслИ \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — кОНЕЧНОЕ МНО жЕстВО Дль кАжДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , тО НАИДЕтсь тАкАь пОДпО слЕДОВАтЕльНОсть, Дл ь кОтОРОИ МНОжЕстВО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) сЧЕтНО;
2. ЕслИ \(2^{\aleph _0 } = \aleph _1\) , тО сУЩЕстВУЕ т тАкАь пОслЕДОВАтЕл ьНОсть (A_n), ЧтО \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — сЧЕтНОЕ МНОжЕстВО Дль лУБОИ п ОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , НО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) ИМЕЕт МОЩ-НОсть кОНтИНУУМА;
3. ЕслИA _n — БОРЕлЕ ВскИЕ МНОжЕстВА В НЕкОтОРО М пОлНОМ сЕпАРАБЕльНО М МЕтРИЧЕскОМ пРОстРАНстВЕ, И \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — сЧЕт НОЕ МНОжЕстВО Дль кАж ДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , тО сУЩЕстВУЕт тАкАь п ОДпОслЕДОВАтЕльНОсть, ЧтО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) — сЧЕтНОЕ МНОжЕстВО. кРОМЕ тОгО, ДОкАжАНО, Ч тО В слУЧАьх А) И В) В пОслЕДОВАтЕльНОстИ (A _n ) сУЩЕстВУЕт схОДьЩА ьсь пОДпОслЕДОВАтЕльНО сть.

кРОМЕ тОгО, ДОкАжАНО, Ч тО В слУЧАьх А) И В) В пОслЕДОВАтЕльНОстИ (А _n ) сУЩЕстВУЕт схОДьЩ Аьсь пОДпОслЕДОВАтЕльНО сть.     

On the regular summability of multiple function series and Lebesgue functions

Основной целью работ ы является обобщение одного результата Кратца и Т раутнера [4], известного для одном ерных функциональны х рядов, на кратные ряды. Этот рез ультат касается суммируемо сти функционального ряда почти всюду при слабых пред положениях. В частности, он примен им к суммируемости по Чезаро и по Риссу. Мы рассматриваемd-кр атный ряд $$\mathop \sum \limits_{k_1 = 0}^\infty \cdots \mathop \sum \limits_{k_d = 0}^\infty c_{k_1 ,...,k_d } f_{k_1 ,...,k_d } (x), \mathop \sum \limits_{k_1 = 0}^\infty \cdots \mathop \sum \limits_{k_d = 0}^\infty c_{k_1 ,...,k_d }^2< \infty $$ и предполагается, что функции \(f_{k_1 ,...,k_d } (x)\) интегрируе мы по пространству с полож ительной мерой и имеют почти вс юду ограниченные фун кции Лебега для метода суммирова ния Т. Метод Т определяетсяd-мерной матрицей \(T = \{ a_{m_1 ,...,m_d ;k_1 ,...,k_d } \} \) сл едующим образом: $$t_{m_1 ,...,m_d } (x) = \mathop \sum \limits_{k_1 = 0}^\infty \cdots \mathop \sum \limits_{k_d = 0}^\infty a_{m_1 ,...,m_d ;k_1 ,...,k_d } c_{k_1 ,...,k_d } f_{k_1 ,...,k_d } (x).$$ Эти средние существу ют, поскольку мы предп олагаем, что \(a_{m_1 ,...,m_d ;k_1 ,...,k_d } = 0\) ,если max(k ₁,...,k _d) достаточно вели к (в зависимости, конеч но, отm ₁,...,m _d). При некоторых дополнительных усло виях на матрицуТ (см. (7)– (9) в разделе 3) устанавлива ется почти всюду регулярная схо димость средних \(t_{m_1 ,...,m_d } (x) \user2{} \user2{(}m_1 \user2{,}...\user2{,}m_d \user2{)} \to \infty \) . Как вспомогательный результат, в работе об общается теорема Алексича [1] о сх одимости почти всюду некоторы х подпоследовательн остей частных сумм функцио нального ряда.     

The convergence of moments in the central limit theorem for stationary ϕ-mixing processes

Пусть {X_j} - строго стац ионарная последоват ельностьс ?перемешиванием, EXj-Q,E¦-X _j¦^r<∞ для некоторогоr>2. Положим \(S_n = \mathop \sum \limits_{j = 1}^n X_j \) . Ибрагимов (1962) доказал, что если приn →∞, то 1 $$\mathop {\lim }\limits_{n \to \infty } P\{ S_n /\sigma _n< x\} = (2\pi )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} \mathop \smallint \limits_{ - \infty }^x e^{{{ - u^2 } \mathord{\left/ {\vphantom {{ - u^2 } 2}} \right. \kern-\nulldelimiterspace} 2}} du.$$ В работе установлено, что при указанных выш е условиях в этой центральной пр едельной теореме имеет место т акже и сходимостьr-ых абсолютных моментов, т.е. если σ _n ² →∞ приn→ ∞, то $$\mathop {\lim }\limits_{n \to \infty } E|S_n /\sigma _n |^r = (2\pi )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} \mathop \smallint \limits_{ - \infty }^{ + \infty } |u|^r e^{ - u^2 /2} du.$$ Этот результат обобщ ает один более ранний результат автора (1980 г.).     

Асимптотические рав енства для интеграло в от модуля суммы кратн ого ряда из синусов

Assume that the coefficients of the series $$\mathop \sum \limits_{k \in N^m } a_k \mathop \Pi \limits_{i = 1}^m \sin k_i x_i $$ satisfy the following conditions: a) a_k → 0 for k₁ + k₂ + ...+k_m →∞, b) \(\delta _{B,G}^M (a) = \mathop {\mathop \sum \limits_{k_i = 1}^\infty }\limits_{i \in B} \mathop {\mathop \sum \limits_{k_j = 2}^\infty }\limits_{j \in G} \mathop {\mathop \sum \limits_{k_v = 0}^\infty }\limits_{v \in M\backslash (B \cup G)} \mathop \Pi \limits_{i \in B} \frac{1}{{k_i }}|\mathop \sum \limits_{I_j = 1}^{[k_j /2]} (\nabla _{l_G }^G (\Delta _1^{M\backslash B} a_k ))\mathop \Pi \limits_{j \in G} l_j^{ - 1} |< \infty ,\) for ∨B?M, ∨G?M,B∩G, where M={1,2, ...,m}, $$\begin{gathered} \,\,\,\,\,\,\,\,\,\,\,\,\Delta _1^j a_k = a_k - a_{k_{M\backslash \{ j\} } ,k_{j + 1} } ,\Delta _1^B a_k = \Delta _1^{B\backslash \{ j\} } (\Delta _1^j a_k ), \hfill \\ \Delta _{l_j }^j a_k = a_{k_{M\backslash \{ j\} } ,k_j - l_j } - a_{k_{M\backslash \{ j\} } ,k_j + l_j } ,\nabla _{l_G }^G a_k = \nabla _{l_{G\backslash \{ j\} } }^{G\backslash \{ j\} } (\nabla _{l_j }^j a_k ). \hfill \\ \end{gathered} $$ Then for all n∈N^m the following asymptotic equation is valid: $$\mathop \smallint \limits_{{\rm T}_{\pi /(2n + 1)}^m } |\mathop \sum \limits_{k \in N^m } a_k \mathop \Pi \limits_{i \in M} \sin k_i x_i |dx = \mathop \sum \limits_{k = 1}^n \left| {a_k } \right|\mathop \Pi \limits_{i \in M} k^{ - 1} + O(\mathop {\mathop \sum \limits_{B,{\mathbf{ }}G \subset M} }\limits_{B \ne M} \delta _{B,G}^M (a)).$$ Here \(T_{\pi /(2n + 1)}^m = \left\{ {x = (x1,x2,...,xm):\pi /(2n + 1) \leqq xi \leqq \pi ;i = \overline {1,m} } \right\}\) . In the one-dimensional case such an equation was proved by S. A. Teljakovskii.     

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

A class of inequalities for non-negative sequences

В работе для неотрица тельных последовате льностей (...,a _?1 ⁱ ), aa ₀ ⁱ ),a ₁ ⁱ ), ...), удовлетв оряющих условию \(0< \mathop {\sup }\limits_k a_k^{(i)}< \infty\) (i=1,...,т), доказ а но неравенство (1) $$\begin{gathered} \mathop \sum \limits_{k = - \infty }^\infty \mathop {\sup }\limits_{k \leqq k_1 + \ldots + k_m \leqq k + l} (a_{k_1 }^{(1)} \ldots a_{k_m }^{(m)} ) \geqq \hfill \\ \geqq \mathop \prod \limits_{i = 1}^m (\mathop {\sup }\limits_{ - \infty< k< \infty } a_k^{(i)} )\left[ {\mathop \sum \limits_{i = 1}^m \frac{{\mathop \sum \limits_{k = - \infty }^\infty (a_k^{(i)} )^{p_i } }}{{(\mathop {\sup }\limits_{ - \infty< k< \infty } a_k^{(i)} )^{p_i } }} + l - m + 1} \right], \hfill \\ \end{gathered}$$ гдеl произвольное не отрицательное целое число, 1≦p ₁, ...,p _m ≦∞ и \(\mathop \sum \limits_{i = 1}^m p_i^{ - 1} = 1\) . Это неравенство явля ется обобщением и уто чнением неравенств А. Прекопа, Ш. Данча и Л. Лейндлера. Доказано также, что ес ли все последователь ности содержат только коне чное число ненулевых членов, то н еобходимым условием для равенства в (1) является существование такого числа α>0, чтоa _k( ⁱ )=а илиa _k( ⁱ )=0 для всехi=1,...,m;?∞<k<∞.     

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 the unconditional convergence of orthogonal series

Пусть {f _n } _n=1 ^∞ — после довательность измер имых функций, а {ω(n)} _n=1 ^∞ — неу бывающая последовательность положительных чисел. Система {f _n }∈W(uc, ω (n)), есл и всякий ряд (1) $$\mathop \Sigma \limits_{n = 1}^\infty a_n f_n \left( t \right)$$ после любой перестан овки членов сходится почти всюду, как только $$\mathop \Sigma \limits_{n = 1}^\infty a_n^2 \omega \left( n \right)< \infty $$ то есть {ω (n)} является множителем Вейля для безусловной сходимо сти рядов вида (1). Если {f _n }∈W(uc, ω (n)), но для л юбой последовательн остиγ(n)=o(ω(n)) приn→∞ система {f _n }?W(uc, γ (n)) то {ω (n)} называют точным множителем Вейля для безусловной сходимости рядов вид а (1). Основной результат: с уществует полная ортонормированная с истема, которая имеет точный множитель Вей ля для безусловной сх одимости.     

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 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 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 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. АНАлОгИЧНыИ РЕжУльт Ат ДОкАжыВАЕтсь И Дль пЕРИОДИЧЕскИх МУльт ИплИкАтИВНых ОР-тОНО РМИРОВАННых сИстЕМ.     

Absolute tauberian conditions for absolute hausdorff and quasi-hausdorff methods

The purpose of this paper is to prove that for a large set of absolute Hausdorff and quasi-Hausdorff methods the condition $$\sum\limits_{k = 1}^\infty {\left| {\lambda _n a_n - \lambda _{n - 1} a_{n - 1} } \right|< } \infty $$ is a Tauberian condition, i.e., its fulfillment together with the absolute summability of \(\sum\limits_{n = 0}^\infty {a_n } \) tos implies that \(\sum\limits_{n = 0}^\infty {\left| {a_n } \right|}< \infty \) and \(\sum\limits_{n = 0}^\infty {a_n } = s.\) a _n =s.     

A conjecture of Erdős and Reddy and the rational approximation of Mittag-Leffler type functions

Пусть \(f(z) = \mathop \sum \limits_{k = 0}^\infty a_k z^k ,a_0 \ne 0, a_k \geqq 0 (k \geqq 0)\) — целая функци я,π _n — класс обыкновен ных алгебраических мног очленов степени не вы ше \(n,a \lambda _n (f) = \mathop {\inf }\limits_{p \in \pi _n } \mathop {\sup }\limits_{x \geqq 0} |1/f(x) - 1/p(x)|\) . П. Эрдеш и А. Редди высказали пр едположение, что еслиf(z) имеет порядок ?ε(0, ∞) и $$\mathop {\lim sup}\limits_{n \to \infty } \lambda _n^{1/n} (f)< 1, TO \mathop {\lim inf}\limits_{n \to \infty } \lambda _n^{1/n} (f) > 0$$ В данной статье показ ано, что для целой функ ции $$E_\omega (z) = \mathop \sum \limits_{n = 0}^\infty \frac{{z^n }}{{\Gamma (1 + n\omega (n))}}$$ , где выполняется $$\lambda _n^{1/n} (E_\omega ) \leqq \exp \left\{ { - \frac{{\omega (n)}}{{e + 1}}} \right\}$$ , т.е. $$\mathop {\lim sup}\limits_{n \to \infty } \lambda _n^{1/n} (E_\omega ) \leqq \exp \left\{ { - \frac{1}{{\rho (e + 1)}}} \right\}< 1, a \mathop {\lim inf}\limits_{n \to \infty } \lambda _n^{1/n} (E_\omega ) = 0$$ . ФункцияE _ω (z) имеет порядок ?.     

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.     

Riemann—Lebesgue theorem

Пусть?(x) — ограниченн ая функция на отрезке [0,1] и ее функция распределен ияΦ(t) удовлетворяет услов ию $$\Phi \left( t \right) + \Phi \left( { - t} \right) = 1.$$ Еслиf(x) — конечная поч ти всюду функция, то дл яF _n (t) — функции распределе ния произведенияf(x)?(nx) — вы полнены соотношения и В частности, еслиf(x) — и нтегрируемая функци я, то из (1) следует, что $$\mathop {\lim }\limits_{n \to \infty } \mathop \smallint \limits_0^1 f\left( x \right)\varphi \left( {nx} \right)dx = 0 $$