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

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) имеет порядок ?.     

Evaluation of the limits of maximal means

It is proved that the limit $$\mathop {\lim }\limits_{\Delta \to \infty } \mathop {\sup }\limits_\gamma \tfrac{1}{\Delta }\int_0^\Delta {f(\gamma (t))dt} $$ , wheref: ? → ? is a locally integrable (in the sense of Lebesgue) function with zero mean and the supremum is taken over all solutions of the generalized differential equation γ ∈ [ω1, ω2], coincides with the limit $$\mathop {\lim }\limits_{T \to \infty } \mathop {\sup }\limits_{c \geqslant 0} \varphi _f (k,{\mathbf{ }}T,{\mathbf{ }}c)$$ , where $$\varphi _f = \frac{{(k - 1)\bar I_f (T,c)}}{{1 + (k - 1)\bar \lambda _f (T,c)}},k = \frac{{\omega _2 }}{{\omega _1 }}$$ . Here ¯λf = λf /T, ¯ I_f =If/T, and λf is the Lebesgue measure of the set $$\{ \gamma \in [\gamma _0 ,\gamma _0 + T]:f(\gamma ) \geqslant c\} = A_f ,I_f = \int_{A_f } {f(\gamma )d\gamma } $$ . It is established that this limit always exists for almost-periodic functionsf.     

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

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.     

On a certain class of infinitely divisible distributions

We characterize the class of distribution functions Φ(x), which are limits in the following sense: there exist a sequence of independent and equally distributed random variables {ξ _n }, numerical sequences {a _k }, {b _k } and natural numbers {n _k } such that $$\mathop {lim}\limits_{k \to \infty } Prob\left\{ {\frac{1}{{a_k }}\mathop {\Sigma }\limits_{k = 1}^{n_k } \xi _k - b_k< x} \right\} = \Phi (x)$$ and $$\mathop {\lim \inf }\limits_{k \to \infty } (n_k /n_{k + 1} ) > 0$$ .     

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.     

On the continuity of functions in connection with a problem of V. G. Krotov

В РАБОтЕ ДАЕтсь ОтВЕт НА ОДИН ВОпРОс, пОстАВ лЕННыИ В. г. кРОтОВыМ. УстАНОВлЕН О, ЧтО ЕслИ Ф(х) — МОНОтОННО ВО жРАстАУЩАь ФУНкцИь,Ф (0)=0, Ф(2х)≦кФ(х), х[0, ∞), тО $$\left\{ {f:\left\| {\sum\limits_{k = 1}^\infty {\mu _k \Phi (\lambda _k \left| {S_k - f} \right|)} } \right\|_c< \infty } \right\} \subseteqq C \Leftrightarrow \sum\limits_{k = 1}^\infty {\mu _k } \Phi (\lambda _k ) = \infty $$ Дль пРОИжВОльНых НЕО тРИцАтЕльНых ЧИслОВ ых пОслЕДОВАтЕльНОстЕ И {Μ_k} И {λ_k}. (жДЕсьS _k ОБОжНАЧАЕт ЧАстНУУ с УММУ пОРьДкАk РьДА ФУ РьЕ ФУНкцИИf). УстАНОВлЕН О тАкжЕ, ЧтО ВО МНОгИх слУЧАьх $$\left\{ {f:\left\| {\sum\limits_{k = 1}^\infty {\mu _k \Phi (\lambda _k \left| {\tilde S_k - \tilde f} \right|)} } \right\|_c< \infty } \right\} \subseteqq C \Leftrightarrow \sum\limits_{k = 1}^\infty {\frac{1}{{k\lambda _k }}} \Phi ^{ - 1} \left( {\frac{1}{{k\mu _k }}} \right)< \infty .$$      

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

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

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.     

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

.     

О последовательност ях сумм Фурье-Уолша ограниченных функци й

Let L^∞ denote the space of measurable 1-periodic essentially bounded functionsf(x) with ∥f∥=vrai sup ¦f(x)¦,S _k (f, x) thek-th partial sum of the Walsh-Fourier series off(x),L _k thek-th Lebesgue constant. The following theorem is proved. Theorem. Letλ={λ _K } be a sequence of nonnegative numbers, $$\left\| \lambda \right\|_1 = \mathop \sum \limits_{k = 1}^\infty \lambda _k< \infty ,\left\| \lambda \right\|_2 = (\mathop \sum \limits_{k = 1}^\infty \lambda _k^2 )^{1/2} ,m = log[(\left\| \lambda \right\|_1 /\left\| \lambda \right\|_2 )]$$ .Then for an arbitrary function f∈L ^∞ the following inequalities hold true $$\begin{gathered} \left\| {\mathop \sum \limits_{k = 1}^\infty \lambda _k \left| {S_k (f,x)} \right|} \right\| \leqq \mathop \sum \limits_{k = 1}^\infty \lambda _k (L_{[k2 - 2m]} + c)\left\| f \right\|, \hfill \\ \hfill \\ \mathop \sum \limits_{k = 1}^\infty \lambda _k \left\| {S_k (f)} \right\| \leqq \mathop \sum \limits_{k = 1}^\infty \lambda _k (L_{[k2 - m]} + c)\left\| f \right\| \hfill \\ \end{gathered} $$ , where[y] denotes integral part of a number y>0 and c is an absolute constant. A corollary of the above theorem is that for each functionfεL ^∞ the Lebesgue estimate can be refined for a certain sequence of indices, while the growth order of Lebesgue constants along that sequence can be arbitrarily close to the logarithmic one. “In the mean”, however, the Lebesgue estimate is exact. A further corollary deals with strong summability.     

On the approximation by de la Vallée Poussin sums and interpolatory polynomials in Lipschitz norms

ПустьM ^m,α - множество 2π-п ериодических функци йf с конечной нормой $$||f||_{p,m,\alpha } = \sum\limits_{k = 1}^m {||f^{(k)} ||_{_p } + \mathop {\sup }\limits_{h \ne 0} |h|^{ - \alpha } ||} f^{(m)} (o + h) - f^{(m)} (o)||_{p,} $$ где1 ≦ p ≦ ∞, 0≦α≦1. Рассмотр им средние Bалле Пуссе на $$(\sigma _{n,1} f)(x) = \frac{1}{\pi }\int\limits_0^{2x} {f(u)K_{n,1} (x - u)du} $$ и $$(L_{n,1} f)(x) = \frac{2}{{2n + 1}}\sum\limits_{k = 1}^{2n} {f(x_k )K_{n,1} } (x - x_k ),$$ де0≦l≦n и x _k=2kπ/(2n+1). В работе по лучены оценки для вел ичин \(||f - \sigma _{n,1} f||_{p,r,\beta } \) и $$||f - L_{n,1} f||_{p,r,\beta } (r + \beta \leqq m + \alpha ).$$      

On the properties of the strong Cesàro summability and strong convergence of series

Говорят, что ряд \(\mathop \sum \limits_{k = 0}^\infty a_k \) сумм ируется к s в смысле (С, gа), gа >?1, если $$\sigma _n^{(k)} - s = o(1),n \to \infty ,$$ в смысле [C,α] _λ , α<0, λ>0, если $$\frac{1}{{n + 1}}\mathop \sum \limits_{k = 0}^n \left| {\sigma _k^{(\alpha - 1)} - s} \right|^\lambda = o(1),n \to \infty ,$$ и в смысле [C,0] _λ , λ>0, если $$\frac{1}{{n + 1}}\mathop \sum \limits_{k = 0}^n \left| {(k + 1)(s_k - 1) - k(s_{k - 1} - 1)} \right|^\lambda = o(1),n \to \infty ,$$ где σ _n ^(α) обозначаетn-ое ч езаровское среднее р яда. Суммируемость [C,α] _λ , α>?1, λ ≧1 о значает, что $$\mathop \sum \limits_{k = 0}^\infty k^{\lambda - 1} \left| {\sigma _k^{(\alpha )} - \sigma _{k - 1}^{(\alpha )} } \right|^\lambda< \infty .$$ В данной статье содер жится продолжение ис следований свойств [C,α] _λ -суммиру емо сти, которые начали Винн, Х ислоп, Флетт, Танович-М иллер и автор, в частности свя зей между указанными методами суммирования. Наконец, даны некотор ые простые приложени я к вопросам суммируемости ортог ональных рядов.     

Optimal recovery methods for the integral on classes of differentiable functions

Найдены методы восст ановления интеграла по информации $$I\left( f \right) = \left\{ {f^{(j)} \left( {x_i } \right)\left( {j = 0, ..., \gamma _i - 1; i = 1, ..., n; 1 \leqq \gamma _i \leqq r; \gamma _i + ... + \gamma _n \leqq N} \right.} \right\},$$ оптимальные на класс ахW _p ^r ,r=1,2,...; 1≦p≦∞. Это позволило, в частност и, получить наилучшие для классаW _p ^r квадратурные форму лы вида $$\mathop \smallint \limits_0^1 f\left( x \right)dx = \mathop \Sigma \limits_{i = 1}^n \mathop \Sigma \limits_{j = 1}^{\gamma _i - 1} a_{ij} f^{(j)} \left( {x_i } \right) + \mathop \Sigma \limits_{j = 1}^{[{r \mathord{\left/ {\vphantom {r 2}} \right. \kern-\nulldelimiterspace} 2}]} b_j f^{(2j - 1)} \left( 0 \right) + \mathop \Sigma \limits_{k = 1}^{[{r \mathord{\left/ {\vphantom {r 2}} \right. \kern-\nulldelimiterspace} 2}]} c_k f^{(2k - 1)} \left( 1 \right) + R\left( f \right)$$ И $$\mathop \smallint \limits_0^1 f\left( x \right)dx = af\left( 0 \right) + \mathop \Sigma \limits_{i = 1}^n \mathop \Sigma \limits_{j = 0}^{\gamma _i - 1} a_{ij} f^{(j)} \left( {x_i } \right) + bf\left( 1 \right) + \mathop \Sigma \limits_{j = 1}^{[{r \mathord{\left/ {\vphantom {r 2}} \right. \kern-\nulldelimiterspace} 2}]} b_j f^{(2j - 1)} \left( 0 \right) + \mathop \Sigma \limits_{k = 1}^{[{r \mathord{\left/ {\vphantom {r 2}} \right. \kern-\nulldelimiterspace} 2}]} c_k f^{(2k - 1)} \left( 1 \right) + R\left( f \right).$$      

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

Л. Лейндлер поставил з адачу о том, следует ли при 0<р<1 из условия $$\mathop {\max }\limits_x \sum\limits_{k = 0}^\infty {\left| {S_k (x) - f(x)} \right|^p< \infty } $$ принадлежность функ цииf классу Lip 1 (здесьS _k (x) — сумма Фурье порядкаk функц ииf). В работе дан положите льный ответ на этот во прос. Рассматриваются так же различные обобщен ия этой задачи.     

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

An asymptotically optimal maximal inequality

Доказывается следую щая теорема Пусть φ(t) — неубывающая па [0,+∞] непрерывная сле ва функция, φ(0)=0.Пусть дале е \(\Phi (t) = \mathop \smallint \limits_0^t \varphi (s) ds u \mathop {sup}\limits_{t > 0} \frac{{t\varphi (t)}}{{\Phi (t)}}< \infty \) .Если X ₁ Х ₂, ... —такая последовательность случайных величин, что $$E\left( {\Phi \left( {\left| {\mathop \sum \limits_{i = m + 1}^{m + n} X_i } \right|} \right)} \right) \leqq g^\alpha (F_{m, n} ) (m \geqq 0, n \geqq 1)$$ , где α>1, а g(F_m,n) — некоторый функционал, зависящи й от совместного распред еления X_i и удовлетворяющий ус ловиям $$g(F_{m, n} ) + g(F_{m + k, n} ) \leqq g(F_{m, n + k} ) (m \geqq 0, n \geqq 1, k \geqq 1)$$ ,k ≧1), moсправедливы оценки $$E\left( {\Phi \left( {\mathop {\max }\limits_{1 \leqq k \leqq n} \left| {\mathop \sum \limits_{i = m + 1}^{m + n} X_i } \right|} \right)} \right) = Kg^\alpha (F_{m, n} ) (m \geqq 0, n \geqq 1)$$ ,где множитель К конеч ен и не зависит от т. п.