Quasikonvexe Multiplikatoren starker Konvergenz

пУсть {f _k; f _k ^* ?X×X^* — пОлНАь БИОРтОгОНАльНАь сИс тЕМА В БАНАхОВОМ пРОстРАН стВЕ X (X^* — сОпРьжЕННОЕ пРОст РАНстВО). пУсть (?→+0) $$\begin{gathered} S_n f = \sum\limits_{k = 0}^n {f_k^* (f)f_k ,} K(f,t) = \mathop {\inf }\limits_{g \in Z} (\left\| {f - g} \right\|_x + t\left| g \right|_z ), \hfill \\ X_0 = \{ f \in X:\mathop {\lim }\limits_{n \to \infty } \left\| {S_n f - f} \right\|_x = 0\} ,X_\omega = \{ f \in X:K(f,t) = 0(\omega (t))\} , \hfill \\ \end{gathered} $$ гДЕZ?X — НЕкОтОРОЕ пОД пРОстРАНстВО с пОлУН ОРМОИ ¦·¦ И Ω — МОДУль НЕпРЕРыВНО стИ УДОВлЕтВОРьУЩИИ Усл ОВИУ sup Ω(t)/t=∞. пОслЕДОВАтЕ льНОстьΤ={Τ _k} кОМплЕксНых ЧИ сЕл НАжыВАЕтсь МНОжИтЕл ЕМ сИльНОИ схОДИМОст И ДльX _Τ, жАпИсьΤ?М[X _Τ,X _Τ], ЕслИ Д ль кАжДОгО ЁлЕМЕНтАf?X _Τ сУЩЕстВ УЕт тАкОИ ЁлЕМЕНтf ^τ?х₀, ЧтОf _k ^* (f ^τ)=Τ_kf _k ^* (f) Дль ВсЕхk. ДОкА жАНО сРЕДИ ДРУгИх слЕДУУЩ ЕЕ УтВЕРжДЕНИЕ. тЕОРЕМА. пУсmь {f_k; f _k ^* } —Н ЕкОтОРыИ (с, 1)-БАжИс тАк ОИ, ЧтО ВыпОлНьУтсь НЕРАВЕН стВА тИпА НЕРАВЕНстВА ДжЕ ксОНА с пОРьДкОМ O(?_n) u тИ пА НЕРАВЕНстВА БЕРНшmЕИ НА с пОРьДкОМ O(1/?_n). ЕслИ пОслЕДОВАтЕл ьНОсть Τ кВАжИВыпУкл А И ОгРАНИЧЕНА, тО $$\tau \in M[X_{\omega ,} X_0 ] \Leftrightarrow \omega (\varphi _n )\tau _n \left\| {S_n } \right\|_{[X,X]} = o(1).$$ ЁтОт ОБЩИИ пОДхОД НЕМ ЕДлЕННО ДАЕт клАссИЧ ЕскИЕ РЕжУльтАты, ОтНОсьЩИ Есь к ОДНОМЕРНыМ тРИгОНОМЕтРИЧЕскИМ РьДАМ. НО тЕпЕРь ВОжМО жНы ДАльНЕИшИЕ пРИлОжЕН Иь, НАпРИМЕР, к РАжлОжЕНИьМ пО пОлИ НОМАМ лЕжАНДРА, лАгЕР РА ИлИ ЁРМИтА.     

Inversion complexity of self-correcting circuits for a certain sequence of boolean functions

The asymptotics L _k ^? (f ₂ ⁿ ) ?? n min{k+1, p} is obtained for the sequence of Boolean functions $f_2^n \left( {x_1 , \ldots ,x_n } \right) = \mathop \vee \limits_{1 \leqslant i < j \leqslant n}$ for any fixed k, p ?? 1 and growing n, here L _k ^? (f ₂ ⁿ ) is the inversion complexity of realization of the function f ₂ ⁿ by k-self-correcting circuits of functional elements in the basis B = {&, ?}, p is the weight of a reliable invertor.     

Interpolation in certain Hilbert spaces of analytic functions

In this article we study, for a Hilbert spaceB of analytic functions in the open unit disk, the dependence of the structure of the space of sequencesB(Z)={{f(z_k)} _k=1 ^∞ :f∈B} on the choice of the sequence Z={z_k} _k=1 ^∞ of distinct points of the unit disk [6].     

A system of functions

A system of functions $$f_k (x) = \sum\nolimits_{i = 1}^r a _i \varphi _\iota (x)^k + b_i \overline {\varphi _\iota } (x)^k , k = 1,2,...$$ is considered on the interval [0,l]. Under certain conditions on the? _i(x), it is proved that the system 1 ∪ {f_k(x)} _k=1 ^∞ is complete in the space L_p(0,l). In the case r=1 it is proved, under certain additional assumptions, that the system {f_k(x)} _k=0 ^∞ is minimal.     

On the growth order of the rectangular partial sums of multiple non-orthogonal series

Пустьd-натуральное ч исло,Z ^d — множество на боров k=(k ₁, ...,k _d ), состоящих из неотрицательных цел ыхk _j ,Z ₊ ^d =k∈Z ^d :k≧1. Предположи м, что системаf _k (x):k∈Z ₊ ^d ? ?L₂(X,A, μ) и последовател ьностьa _k :k∈Z ₊ ^d . таковы, чт о для всех b∈Z^d и m∈Z ₊ ^d выполн ены неравенства (2) $$\left\| {\sum\limits_{b + 1 \leqq k \leqq b + m} {a_k f_k (x)} } \right\|_2^2 \leqq w^2 (m)\sum\limits_{b + 1 \leqq k \leqq b + m} {a_k^2 } $$ где последовательно сть {w(m): m∈Z ₊ ^d положительн а и не убывает. Например, есл иf _k (х) — квазистационарная система, то для соотве тствующей последовательности {ω(m) (2) имeeт Меcтo ДЛЯ ЛЮбОЙ ПОС ЛеДОВатеЛЬНОСТИ {a_k}. В работе получены оце нки порядка роста пря моугольных частных суммS _m (x)= =∑ a_kf_k(x) при maxmj→∞ как в случ ае {a_k}∈l₂, таки для {a_k}l₂. Эти оценки явля1≦k≦m 1≦j≦d ются новыми даже для о ртогональных кратны х рядов. Показано, что упомяну тые оценки в общем слу чае являются точными.     

On the order of magnitude of Fourier coefficients with respect to uniformly bounded orthonormal systems

пУсть {Φ _k (x) ∶k>0} — РАВНО МЕРНО ОгРАНИЧЕННАь ОРтОНОРМИРОВАННАь с ИстЕМА НА пРОстРАНстВЕX с кО НЕЧНОИ пОлОжИтЕльНО И МЕРОИ. Дль ФУНкцИИf ?L ^p (X) Дль НЕкОтОРОгО 1≤p≤2 ВВОДИМ ЕЕ кОЁФФИцИЕН ты ФУРьЕc _k (f) пО сИстЕМЕΦ _k (x). Дль жАДАННОгОα>0 М ы РАссМАтРИВАЕМ пОслЕДОВАтЕльНОсть {λ _k ^α :k ≥ 0} пОлОжИтЕльНых ЧИсЕл тАкИх, ЧтО т.Е. тАкИх, ЧтО гДЕA _n ^α — тАк НАжыВАЕМыЕ ЧИслА ЧЕжАРО. Мы ИжУЧАЕМ ЁтУ жАДАЧУ Дль ДВОИНых ОРтОгОНА льНых сИстЕМ, А тАкжЕ Дль НЕпРЕРыВНых ФУНкцИИ. пРИ ДОкАжАтЕльстВЕ М ы кОМБИНИРУЕМ МЕтОДы т ЕОРИИ сУММИРОВАНИь И ФУНкцИОНАльНОгО АН АлИжА.     

L p-approximation by Kantorovič operators

Оператор Канторович а дляf∈L _p(I), I=[0,1], определяе тся соотношением $$P_n (f,x) = (n + 1)\sum\limits_{k = 0}^n {\left( {\begin{array}{*{20}c} n \\ k \\ \end{array} } \right)} x^k (1 - x)^{n - 1} \int\limits_{I_k } {f(t)dt,} $$ гдеI _k=[k/(n}+1),(k+1)/(n+ 1)],n∈N. Доказывается, что есл ир>1 иf∈W _p ² (I), т.е.f абсол ютно непрерывна наI иf″∈L _p(I), то $$\left\| {P_n f - f} \right\|_p = O(n^{ - 1} ).$$ Далее, установлено, чт о еслиf∈L _p(I),p>1 и ∥P _n f-f∥_р=О(n ^?1), тоf∈S, гдеS={f∶f аб-солютно непрерывна наI, x(1?x)f′(x)=∝ ₀ ^x h(t)dt, гдеh∈L _p(I) и ∝ ₀ ¹ h(t)dt=0}. Если жеf∈L_p(I),p>1, то из условия ∥P _n(f)?f∥_pL=o(n^?1) вытекает, чтоf постоянна почти всюду.     

Additive functions at consecutive integers

Additive functions f ₀,…,f _k satisfying the relation $$\liminf_{x\to\infty}\frac{1}{x}\sum_{n\leqq x} \|f_0(n)+ \dots+f_k(n+k) +\Gamma\| =0 $$ are characterized for those f _j for which ∥f _j (p)∥≦η holds for every prime p, and η is a suitable small positive number, $\|z\| =\min_{k\in\mathbb{Z}} {|z-k|}$ .     

Ergodic dynamical systems over the cartesian power of the ring of p-adic integers

For any 1-lipschitz ergodic map F: ? _p ^k ? ? _p ^k , k >1 ∈ ?, there are 1-lipschitz ergodic map G: ? _p ? ? _p and two bijections H _k , T _{k, P} that $G = H_k \circ T_{k,P} \circ F \circ H_k^{ - 1} andF = H_k^{ - 1} \circ T_{k,P - 1} \circ G \circ H_k $ .     

Limit ultraspherical series and their approximation properties

We study new series of the form $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ in which the general term $f_k^{ - 1} \hat P_k^{ - 1} (x)$ , k = 0, 1, …, is obtained by passing to the limit as α→?1 from the general term $\hat f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)$ of the Fourier series $\sum\nolimits_{k = 0}^\infty {f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)} $ in Jacobi ultraspherical polynomials $\hat P_k^{\alpha ,\alpha } (x)$ generating, for α> ?1, an orthonormal system with weight (1 ? x ₂)α on [?1, 1]. We study the properties of the partial sums $S_n^{ - 1} (f,x) = \sum\nolimits_{k = 0}^n {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ of the limit ultraspherical series $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ . In particular, it is shown that the operator S _n ^?1 (f) = S _n ^?1 (f, x) is the projection onto the subspace of algebraic polynomials p _n = p _n (x) of degree at most n, i.e., S _n (p _n ) = p _n ; in addition, S _n ^?1 (f, x) coincides with f(x) at the endpoints ±1, i.e., S _n ^?1 (f,±1) = f(±1). It is proved that the Lebesgue function Λ _n (x) of the partial sums S _n ^?1 (f, x) is of the order of growth equal to O(ln n), and, more precisely, it is proved that $\Lambda _n (x) \leqslant c(1 + \ln (1 + n\sqrt {1 - x^2 } )), - 1 \leqslant x \leqslant 1$ .     

Symmetric quasi-norms of sums of independent random variables in symmetric function spaces with the Kruglov property

Let X be a symmetric Banach function space on [0, 1] and let E be a symmetric (quasi)-Banach sequence space. Let f = {f _k } _k=1 ⁿ , n ≥ 1 be an arbitrary sequence of independent random variables in X and let {e _k } _k=1 ^∞ ? E be the standard unit vector sequence in E. This paper presents a deterministic characterization of the quantity

$||||\sum\limits_{k = 1}^n {{f_k}{e_k}|{|_E}|{|_X}} $

in terms of the sum of disjoint copies of individual terms of f. We acknowledge key contributions by previous authors in detail in the introduction, however our approach is based on the important recent advances in the study of the Kruglov property of symmetric spaces made earlier by the authors. Authors acknowledge support from the ARC.

     

Recurrent relations for the solutions of an infinite system of linear algebraic equations

We obtain recurrent relations for bounded solutions of the system of equations $$X_k - \sum\limits_{n = 0}^\infty {\frac{{(k + n)!}}{{k!n!}}} \alpha ^{k + n + 1} x_n = f_{k,} k = 0,1,..., \alpha \in (0,1/2),$$ with right-hand sides {f _k } _k=0 ^∞ ={δ _kj } _k=0 ^∞ ,j=0,1,..., where δ _kj is the Kronecker symbol.     

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

Methods of summation and best approximation

Let λ={λ _k ⁿ } be a triangular method of summation,f ε L_p (1 ≤ p ≤ ∞), $$U_n (f,x,\lambda ) = \frac{{a_0 }}{2} + \sum _{k = 1}^n \lambda _k^n (a_k \cos kx + b_k \sin kx).$$ Consideration is given to the problem of estimating the deviations ∥f ? U_n (f, λ) ∥ L_p in terms of a best approximation E_n (f) L_p in abstract form (for a sequence of projectors in a Banach space). Various generalizations of known inequalities are obtained.     

О разложениях в ряд ы о бобщенно-абсолютно-м онотонных функций

In an earlier paper [1] the notion of the so-called 〈?, GL_J>-absolutely monotonie functions was introduced, where ?≧1, {λ_{k k=0} ^∞ is an arbitrary non-increasing sequence of positive numbers. It was found that the condition \(\sum\limits_{\lambda _{k > 0} } {\lambda _k^{ - 1} } = + \infty \) is necessary in order to have the series expansion for any function f(x)∈〈?, λ_j). HereL ^k/? f/(x) are special integro-differential operators of fractional order, is a system of functions associated with the Mittag-Leffler type functions \(E_\varrho (z;\mu ) = \sum\limits_{k = 0}^\infty {z^n /\Gamma (\mu + \kappa /\varrho )} \) and with the sequence {λ_k}. In the present paper it is proved (in particular, see Theorem 3.2) that the expansion (*) is valid almost everywhere on (0,l) if ∑ λ _k ^?1 =+∞. This result contains, as a special case (when ?=1 and λ_k=0,k≧0) the known theorem of S. N. Bernstein on absolutely monotonic functions.     

The conjunction complexity asymptotic of self-correcting circuits for monotone symmetric functions with threshold 2

It is shown that the conjunction complexity L _k ^& (f ₂ ⁿ ) of monotone symmetric Boolean functions \(f_2^n (x_1 , \ldots ,x_n ) = \mathop \vee \limits_{1 \leqslant i < j \leqslant n} x_i x_j\) realized by k-self-correcting circuits in the basis B = {&, ?} asymptotically equals to (k + 2)n for growing n providing the price of a reliable conjunctor is ≥ k + 2.     

Expansions in Series of Suitable Systems of Functions

The paper is devoted to the study of expansions of functions ?, which are holomorphic in a circle Ω around 0, in a series of the form where the given system of functions (f_k) _k=0 ^? has the property that each function f_k has a representation as a power series of the form with a ₀ ^(k) = 1. It is the question if and where an expansion of the form (*) holds. We present sufficient conditions for the sequence (a _n ^(k) ) _k,n=0 ^∞ , under which there exists a subset Ω₀ of Ω such that for arbitrary ? the expansion (*) holds on Ω₀ and the series converges absolutely uniformly on compact subsets of Ω₀. The obtained results can be applied to prove expansions of analytic functions in a series of a suitable system of m-fold products of Bessel functions. Expansions of this type have been treated by many authors in special cases, but we are able to state a general expansion theorem.     

On Surface Attractors and Repellers in 3-Manifolds

We show that if f: M ³ → M ³ is an A diffeomorphism with a surface two-dimensional attractor or repeller $\mathcal{B}$ with support $M_\mathcal{B}^2$ , then $\mathcal{B} = M_\mathcal{B}^2$ and there exists a k ≥ 1 such that (1) $M_\mathcal{B}^2$ is the disjoint union M ₁ ² ? ? ? M _k ² of tame surfaces such that each surface M _i ² is homeomorphic to the 2-torus T ²; (2) the restriction of f ^k to M _i ² , i ∈ {1,..., k}, is conjugate to an Anosov diffeomorphism of the torus T ².     

On the boundedness of operators rearranging the Haar system in the spacesL p

Operators of the form Tπχ _n ^k =χ _n ^πn(k) where {χ _n ^k (t)} is the Haar system and π_n is a rearrangement of the numbers 1,2, ?.2ⁿ (n=1,2,?) are studied. Criterion for the boundedness of such operators from the spaceL _p intoL _p is obtained.     

Generalization of the steinhaus problem on the convergence of series with random signs

For series of random variables $\sum\limits_{k = 1}^\infty {a_k x_k }$ ,a _K ∈R ¹, {X _K } _K=1 ^∞ being an Ising system, i.e., for each n ≥ 2 the joint distribution of {X _K } _K=1 ⁿ has the form $$P_n (t_1 ,...,t_n ) = ch^{ - (n - 1)} J \cdot exp(J\sum\limits_{k - 1}^{n - 1} {t_k t_{k + 1} )\prod\limits_{k = 1}^n {\frac{1}{2}\delta (t_{k^{ - 1} }^2 ),J > 0} }$$ one obtains a criterion for almost everywhere convergence: $\sum\limits_{k = 1}^\infty {a_k^2< \infty }$ . The relation between the asymptotic behavior of large deviations of the sum and the rate of decrease of the sequence {a_k} of the coefficients is investigated.