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 ) сУЩЕстВУЕт схОДьЩ Аьсь пОДпОслЕДОВАтЕльНО сть.     

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.     

ОБ ИНтЕРпОлИРОВАНИИ В кОМплЕксНОИ ОБлАст И

LetD be a simply connected domain, the boundary of which is a closed Jordan curveγ; \(\mathfrak{M} = \left\{ {z_{k, n} } \right\}\) , 0≦k≦n; n=1, 2, 3, ..., a matrix of interpolation knots, \(\mathfrak{M} \subset \Gamma ; A_c \left( {\bar D} \right)\) the space of the functions that are analytic inD and continuous on \(\bar D; \left\{ {L_n \left( {\mathfrak{M}; f, z} \right)} \right\}\) the sequence of the Lagrange interpolation polynomials. We say that a matrix \(\mathfrak{M}\) satisfies condition (B _m ), \(\mathfrak{M}\) ∈(B _m ), if for some positive integerm there exist a setB _m containingm points and a sequencen _{p p=1} ^∞ of integers such that the series \(\mathop \Sigma \limits_{p = 1}^\infty \frac{1}{{n_p }}\) diverges and for all pairsn _i ,n _j ∈{n _p } _p=1 ^∞ the set \(\left( {\bigcap\limits_{k = 0}^{n_i } {z_{k, n_i } } } \right)\bigcap {\left( {\bigcup\limits_{k = 0}^{n_j } {z_{k, n_j } } } \right)} \) is contained inB _m . The main result reads as follows. {Let D=z: ¦z¦ \(\Gamma = \partial \bar D\) and let the matrix \(\mathfrak{M} \subset \Gamma \) satisfy condition (B_m). Then there exists a function \(f \in A_c \left( {\bar D} \right)\) such that the relation $$\mathop {\lim \sup }\limits_{n \to \infty } \left| {L_n \left( {\mathfrak{M}, f, z} \right)} \right| = \infty $$ holds almost everywhere on γ.     

The value of two-person zero-sum repeated games with lack of information on both sides

We consider repeated two-person zero-sum games in which each player has only partial information about a chance move that takes place at the beginning of the game. Under some conditions on the information pattern it is proved that \(\mathop {\lim }\limits_{n \to \infty } v_n\) exists,v _n being the value of the game withn repetitions. Two functional equations are given for which \(\mathop {\lim }\limits_{n \to \infty } v_n\) is the only simultaneous solutions. We also find the least upper bound for the error term \(\left| {v_n - \mathop {\lim }\limits_{n \to \infty } v_n } \right|\) .     

The CF table

Letf be a continuous function on the circle ¦z¦=1. We present a theory of the (untruncated) “Carathéodory-Fejér (CF) table” of best supremumnorm approximants tof in the classes \(\tilde R_{mn} \) of functions $${{\tilde r(z) = \sum\limits_{k = - \infty }^m {a_k z^k } } \mathord{\left/ {\vphantom {{\tilde r(z) = \sum\limits_{k = - \infty }^m {a_k z^k } } {\sum\limits_{k = 0}^n {b_k } z^k ,}}} \right. \kern-\nulldelimiterspace} {\sum\limits_{k = 0}^n {b_k } z^k ,}}$$ , where the series converges in 1< ¦z¦ <∞. (The casem=n is also associated with the names Adamjan, Arov, and Krein.) Our central result is an equioscillation-type characterization: \(\tilde r \in \tilde R_{mn} \) is the unique CF approximant \(\tilde r^* \) tof if and only if \(f - \tilde r\) has constant modulus and winding numberω≥ m+ n+1?δ on ¦z¦=1, whereδ is the “defect” of \(\tilde r\) . If the Fourier series off converges absolutely, then \(\tilde r^* \) is continuous on ¦z¦=1, andω can be defined in the usual way. For general continuousf, \(\tilde r^* \) may be discontinuous, andω is defined by a radial limit. The characterization theorem implies that the CF table breaks into square blocks of repeated entries, just as in Chebyshev, Padé, and formal Chebyshev-Padé approximation. We state a generalization of these results for weighted CF approximation on a Jordan region, and also show that the CF operator \(K:f \mapsto \tilde r^* \) is continuous atf if and only if (m, n) lies in the upper-right or lower-left corner of its square block.     

О рядах по системе Фра нклина

In this paper some basis properties are proved for the series with respect to the Franklin system, which are analogous to those of the series with respect to the Haar system. In particular, the following statements hold:

1. The Franklin series \(\mathop \Sigma \limits_{n = 0}^\infty a_n f_n (x)\) converges a.e. onE if and only if \(\mathop \Sigma \limits_{n = 0}^\infty a_n^2 f_n^2 (x)< + \infty \) a.e. onE;
2. If the series \(\mathop \Sigma \limits_{n = 0}^\infty a_n f_n (x)\) , with coefficients ¦a _n ¦↓0, converges on a set of positive measure, then it is the Fourier-Franklin series of some function from \(\bigcap\limits_{p< \infty } {L_p } \) ;
3. The absolute convergence at a point for Fourier—Franklin series is a local property;
4. If an integrable function (fx) has a discontinuity of the first kind atx=x ₀, then its Fourier-Franklin series diverges atx=x ₀.

     

Rational approximations of real numbers

For anyx ∈ r put $$c(x) = \overline {\mathop {\lim }\limits_{t \to \infty } } \mathop {\min }\limits_{(p,q\mathop {) \in Z}\limits_{q \leqslant t} \times N} t\left| {qx - p} \right|.$$ . Let [x₀; x₁,..., x_n, ...] be an expansion of x into a continued fraction and let \(M = \{ x \in J,\overline {\mathop {\lim }\limits_{n \to \infty } } x_n< \infty \}\) .Forx∈M put D(x)=c(x)/(1?c(x)). The structure of the set \(\mathfrak{D} = \{ D(x),x \in M\}\) is studied. It is shown that $$\mathfrak{D} \cap (3 + \sqrt 3 ,(5 + 3\sqrt 3 )/2) = \{ D(x^{(n,3} )\} _{n = 0}^\infty \nearrow (5 + 3\sqrt 3 )/2,$$ where \(x^{(n,3)} = [\overline {3;(1,2)_n ,1} ].\) This yields for \(\mu = \inf \{ z,\mathfrak{D} \supset (z, + \infty )\}\) (“origin of the ray”) the following lower bound: μ?(5+3√3)/2=5.0n>(5 + 3/3)/2=5.098.... Suppose a∈n. Put \(M(a) = \{ x \in M,\overline {\mathop {\lim }\limits_{n \to \infty } } x_n = a\}\) , \(\mathfrak{D}(a) = \{ D(x),x \in M(a)\}\) . The smallest limit point of \(\mathfrak{D}(a)(a \geqslant 2)\) is found. The structure of (a) is studied completely up to the smallest limit point and elucidated to the right of it.     

Universelle Approximation durch Riesz-Transformierte der geometrischen Reihe

Let p={p_v} be a fixed sequence of complex numbers. Define \(p_n : = \mathop \Sigma \limits_{\nu = o}^n p_\nu \) and suppose that \(p_{m_k } \ne o\) for a subsequence M={m_k} of nonnegative integers. The matrix A=(α_kv) with the elements $$\alpha _{k\nu } = p_\nu /p_{m_k } if o \leqslant \nu \leqslant m_k ,\alpha _{k\nu } = oif \nu > m_k $$ generates a summability method (R,p,M) which is a refinement of the well known Riesz methods. The (R,p,M) methods have been introduced in [4]. In the present paper we are concerned with the summability of the geometric series \(\mathop \Sigma \limits_{\nu = o}^n z^\nu \) by (R,p,M) methods. We prove the following theorem. Suppose G is a simply connected domain with \(\{ z:|z|< 1\} \subset G,1 \varepsilon | G \) . Then there exists a universal, regular (R,p,M) method having the following properties: (1) \(\mathop \Sigma \limits_{\nu = o}^\infty z^\nu \) is compactly summable (R,p,M) to \(\tfrac{1}{{1 - z}}\) on G. (2) For every compact set B?¯G^c which has a connected complement and for every function f which is continuous on B and analytic in its interior there exists a subsequence M(B,f) of M such that \(\mathop \Sigma \limits_{\nu = o}^\infty z^\nu \) is uniformly summable (R,p,M(B,f)) to f(z) on B. (3) For every open set U?G^c which has simply connected components in ? and for every function f which is analytic on U there exists a subsequence M(U,f) of M such that \(\mathop \Sigma \limits_{\nu = o}^\infty z^\nu \) is compactly summable (R,p,M(U,f)) to f(z) on U.     

Analytische Fortsetzbarkeit von zufälligen Potenzreihen bezüglich abhängiger Zufallsvariabler

Рассматриваются слу чайная величина \(\mathfrak{X} = (X_n (\omega ))\) , удовлетворяющая усл овиюE(X _n ⁴ )≦M, и соответствующ ий случайный степенн ой ряд \(f_x (z;\omega ) = \mathop \sum \limits_{n = 0}^\infty a_n X_n (\omega )z^n\) . Устанавливаются тео ремы непродолжимост и почти наверное:

1. дляf _x при условиях с лабой мультипликати вности на \(\mathfrak{X}\) ,
2. для \(f_{\tilde x}\) , где \(\mathop \mathfrak{X}\limits^ \sim = (\mathop X\limits^ \sim _n )\) есть подп оследовательность в \(\mathfrak{X}\) ,
3. для по крайней мере од ного из рядовf _x′ илиf _x″ , где \(\mathfrak{X}'\) и \(\mathfrak{X}''\) — некоторые п ерестановки \(\mathfrak{X}\) , выбираемые универс ально, т. е. независимо от коэффициентовa _n .

     

Asymptotics for the minimization of a Ginzburg-Landau functional

LetΩ ? ?² be a smooth bounded simply connected domain. Consider the functional $$E_\varepsilon (u) = \frac{1}{2}\int\limits_\Omega {\left| {\nabla u} \right|^2 + \frac{1}{{4\varepsilon ^2 }}} \int\limits_\Omega {(|u|^2 - 1)^2 } $$ on the classH _g ¹ ={u εH ¹(Ω; ?);u=g on ?Ω} whereg:?Ω? → ? is a prescribed smooth map with ¦g¦=1 on ?Ω? and deg(g, ?Ω)=0. Let uu _ε be a minimizer for E_ε onH _g ¹ . We prove that u_ε → u₀ in \(C^{1,\alpha } (\bar \Omega )\) as ε → 0, where u₀ is identified. Moreover \(\left\| {u_\varepsilon - u_0 } \right\|_{L^\infty } \leqslant C\varepsilon ^2 \) .     

On the representation of measurable functions by martingales

Пусть (gW, ?,P) - вероятност ное пространство, ?₁??₂?...?? _n ?...,? _n ?? -последовательност ь σ-алгебр и ?_∞ - порожден ная ими минимальная σ-алгебра. В статье указано необ ходимое и достаточно е условие на последовательность σ-алгебр {? _n }, при выполнении кото рого для любой ?_∞-измер имой функцииf(x) существует ряд \(\mathop \sum \limits_{n = 1}^\infty \varphi _n (x)\) центрированных отн осительно {? _n } функций {? _n } _n=1 ^∞ такой, что

1. \(\mathop \sum \limits_{n = 1}^\infty \varphi _n (x)\) абсолютно почти вс юду сходится кf(x) на множестве {x: ¦f(x)¦<+∞};
2. \(\mathop \sum \limits_{n = 1}^\infty \varphi _n (x)\) сходится по мере кf(x) на множестве {х: ¦f(х)¦=+∞ }.

Полученные результа ты представляют обоб щения и усиления доказанных ранее теорем Р. Ганди и Г. Ламба о пре дставлении ?_∞-измерим ых функций мартингалам и {? _n ,? _n } (см. [1] и [2]).     

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) совпа дает со звездой Миттаг- Леффлера степенных р ядов .     

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] о сх одимости почти всюду некоторы х подпоследовательн остей частных сумм функцио нального ряда.     

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

The algebraic independence of certain transcendental continued fractions

In the present note the algebraic independence of certain continued fractions is proved. Especially, we prove that the Böhmer-Mahler's series \(\sum\limits_{K = 1}^\infty {\left[ {\omega _v k} \right]} {\text{ }}g_\mu ^{ - k} \left( {1 \leqslant \mu \leqslant s,1 \leqslant v \leqslant t} \right)\) are algebraically independent, where \(\mathop \omega \nolimits_1 {\text{ , }}...{\text{ , }}\mathop \omega \nolimits_{\text{t}} \) , ..., \(\mathop g\nolimits_1 {\text{ , }}...{\text{ , }}\mathop g\nolimits_s \) are some irrational numbers andg ₁, ...,g _s are distinct positive integers.     

On the permutability of Backlund transformations

Let(?)=B_ηu:2(q-(?))+(⊿((?)-2q))+(2q_x+(?)_x))η=0,2(r-(?)+(⊿(2(?)-r)+(r_x+2(?)_x))η=0,u=(q,r)~Tbe the Backlund transformation (BT) of the hierarchy of AKNS equations,where η is a parameterand Δ=integral from -∞ to x (qr-(?))dx′.It is shown in this paper the infinitesimal BT B_(η+ε)B_η~(-1) admits thefollowing expansionB_(η+ε)B_η~(-1)u=u+εsum from n=0 to ∞ β_n(JL~(n+1)u)η~n,β_n=1+(-1)~n2~(-n-1),where L is the recurrence operator of the hierarchy and ε is an infinitesimal parameter.Thisexpansion implies the equivalence between the permutabiliy of BTs and the involution in pairs ofconserved densities.     

Analogs of the arcsine distribution for sequences linearly generated by independent random variables

Let {ξ_k}, kz ...?1,0,1, ..., be a sequence of independent identically distributed random variables with . Let {C_k} be a numerical sequence such that \(\Sigma _{ - \infty }^\infty c_k^2< \infty \) Let $$X_n = \sum\limits_{ - \infty }^\infty {c_{k - n} \xi _k } , S_n = \sum\limits_1^n {X_k } $$ . This article investigates the limit behavior of the distributions of functionals of the following type: $$\mathcal{V}_n = \tfrac{1}{n}\sum\limits_1^n {h\left( {S_k } \right)} $$ , where h is a bounded function on R¹.