On a theorem of Jackson

We prove that $$\mathop {L_n \in Z_n }\limits^{\inf } \mathop \omega \limits^{sup^* } \mathop {f \in H_\omega }\limits^{\sup } \frac{{\left\| {f - L_n \left( f \right)} \right\|}}{{\omega \left( {\frac{\pi }{{n + 1}}} \right)}} = 1\left( {n = 0,1,2,...} \right)$$ (n=0,1,2,...), where \(\mathop {L_n \in Z_n }\limits^{\inf } \) is taken over all linear polynomial approximation methods of degree not higher than n and \(\mathop \omega \limits^{sup^* } \) over all convex moduli of continuity ω(δ).     

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

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.     

Randomly weighted sums of dependent subexponential random variables*

We consider the randomly weighted sums $ \sum\nolimits_{k = 1}^n {{\theta_k}{X_k},n \geqslant 1} $ , where $ \left\{ {{X_k},1 \leqslant k \leqslant n} \right\} $ are n real-valued random variables with subexponential distributions, and $ \left\{ {{\theta_k},1 \leqslant k \leqslant n} \right\} $ are other n random variables independent of $ \left\{ {{X_k},1 \leqslant k \leqslant n} \right\} $ and satisfying $ a \leqslant \theta \leqslant b $ for some $ 0 < a \leqslant b < \infty $ and all $ 1 \leqslant k \leqslant n $ . For $ \left\{ {{X_k},1 \leqslant k \leqslant n} \right\} $ satisfying some dependent structures, we prove that $$ {\text{P}}\left( {\mathop {{\max }}\limits_{1 \leqslant m \leqslant n} \sum\limits_{k = 1}^m {{\theta_k}{X_k} > x} } \right)\sim {\text{P}}\left( {\sum\limits_{k = 1}^m {{\theta_k}{X_k} > x} } \right)\sim {\text{P}}\left( {\mathop {{\max }}\limits_{1 \leqslant k \leqslant n} {\theta_k}{X_k} > x} \right)\sim \sum\limits_{k = 1}^m {{\text{P}}\left( {{\theta_k}{X_k} > x} \right)} $$ as x??????.     

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 .

     

Note on the distribution of zeros of polynomials

Let \(\mathfrak{M}\) be the set of zeros of the polynomial \(P(z) = \sum\nolimits_{k = 0}^m {A_k S_k (z)} \) , where S_k(z) are functions defined in some region B and the coefficients A_k are arbitrary numbers from the ring $$0 \leqslant \tau _k \leqslant |A_k - a_k | \leqslant R_{_k }< \infty $$ . Conditions necessary and sufficient to ensure that z ∈ \(\mathfrak{M}\) are obtained.     

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.     

A property of an autonomous minimax optimal control problem

A control system \(\dot x = f\left( {x,u} \right)\) ,u) with cost functional $$\mathop {ess \sup }\limits_{T0 \leqslant t \leqslant T1} G\left( {x\left( t \right),u\left( t \right)} \right)$$ is considered. For an optimal pair \(\left( {\bar x\left( \cdot \right),\bar u\left( \cdot \right)} \right)\) ,ū(·)), there is a maximum principle of the form $$\eta \left( t \right)f\left( {\bar x\left( t \right),\bar u\left( t \right)} \right) = \mathop {\max }\limits_{u \in \Omega \left( t \right)} \eta \left( t \right)f\left( {\bar x\left( t \right),u} \right).$$ By means of this fact, it is shown that \(\eta \left( t \right)f\left( {\bar x\left( t \right),\bar u\left( t \right)} \right)\) is equal to a constant almost everywhere.     

Interpolation of states by vector states on certain operator algebras

LetT be an operator on an infinite dimensional Hilbert space \(\mathcal{H}\) with eigenvectorsv _i , ‖v _i ‖=1,i=1, 2, ..., andsp{v _i ?i∈n} dense in \(\mathcal{H}\) . Suppose that {v _i } is a Schauder basis for \(\mathcal{H}\) . We denote byA _T the ultraweakly closed algebra generated byT andI, the identity operator on \(\mathcal{H}\) . For any nonnegative sequence of scalars \(\left\{ {\alpha ,with = \sum\nolimits_1^\infty {\alpha _1 } = 1} \right\},\) , we associate an ultraweakly (normal) continuous linear functional \(\phi _\alpha = \sum\nolimits_1^\infty {\alpha _j } \omega _v\) where \(\phi _\alpha \left( A \right) = \lim _n \sum\nolimits_1^n {\alpha _j } \omega _v ,\) , and \(\omega _v ,\left( A \right) =< Av_1 ,v_1 >\) for allA∈A _T . We denote the set of all such linear functionals onA TbyF(T). The question that we investigate in this paper is whether each linear functional φ_α inF(T) is a vector state, i.e. does φ_α=ωx for some unit vectorx in \(\mathcal{H}\) ?     

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 Wiener--Hopf Integral Equation in the Supercritical Case

We consider the scalar homogeneous equation $S(x) = \int_0^\infty {K(x - t)S(t)dt,{\text{ }}x \in \mathbb{R}^ + \equiv (0,\infty ),}$ with symmetric kernel $K:K( - x) = K(x),{\text{ }}x \in \mathbb{R}_1$ satisfying the conditions $0 \leqslant K \in L_1 (\mathbb{R}^ + ) \cap C^{\left( 2 \right)} (\mathbb{R}^ + )$ , $\int_0^\infty {K(t)dt > \frac{1}{2}} $ , $K' \leqslant 0{\text{ }}and 0 \leqslant K'' \downarrow {\text{ }}on \mathbb{R}^ + $ . We prove the existence of a real solution S of the equation given above with asymptotic behavior $S(x) = O(x){\text{ as }}x \to + \infty $ .     

Arrangements of Hyperplanes and the Number of Threshold Functions

Two approaches on estimating the number of threshold functions which were recently developed by the author are discussed. Let P(K,n) denote the number of threshold functions in K-valued logic. The first approach establishes that $$P(K,n + 1) \geqslant \frac{1}{2}\left( {\mathop {K^{n - 1} }\limits_{\left\lfloor {n - 4 - 2\frac{n}{{\log _K n}}} \right\rfloor } } \right)P\left( {K,\left\lfloor {{\text{2}}\frac{n}{{\log _K n}} + 3} \right\rfloor } \right).$$ The key argument of investigation is the generalization of the result of Odlyzko on subspaces spanned by random selections of ±1-vectors. Let $E_K = \{ 0,1 \ldots ,K - 1\} $ and let E denote the set of all vectors $w_i ,i = 1, \ldots ,K^n $ , which have the form $(1,a_1 , \ldots ,a_n ),a_i \in E_K $ . Denote by $\Lambda _n (K)$ the number of all collections of different vectors $(w_{i_1 } , \ldots ,w_{i_n } ),2 \leqslant i_1 , \ldots ,i_n \leqslant \mathbb{K}^n $ , such that, for any k, $1 \leqslant k \leqslant n$ , the vector $w_{i_k } $ is minimal among all vectors from the set $E \cap {\text{span}}(w_{i_k } , \ldots ,w_{i_n } )$ . The second approach is based on topology-combinatorical techniques and allows to establish the following inequality $P(K,n) \geqslant 2\Lambda _n (K)$ .     

A discreteness criterion for the spectrum of a quasielliptic operator

For the spectrum of the operator $$u = \sum\nolimits_{j = 1}^n {( - 1)^{m_j } D_j^{2m_j } u + q(x)u,} $$ to be discrete, where the m_j are arbitrary positive integers such that \(\sum\nolimits_{j = 1}^n {\tfrac{1}{{2m_j }}< 1} \) , and q(x) ≥ 1, it is necessary and sufficient that \(\int\limits_K {q (x) dx \to \infty } \) , when the cube K tends to infinity while preserving its dimensions.     

Uniform regularization of the problem of calculating the values of an operator

Let X and Y be linear normed spaces, W a set in X, A an operator from W into Y, and \(\mathfrak{W}\) the set of all operators or the set ? of linear operators from X into Y. With δ>0 we put $$v\left( {\delta ,\mathfrak{M}} \right) = \mathop {\inf }\limits_{T \in \mathfrak{M}} \mathop {\sup }\limits_{x \in W} \mathop {\sup }\limits_{\left\| {\eta - x} \right\|_X \leqslant \delta } \left\| {Ax - T\eta } \right\|_Y $$ . We discuss the connection of \(v\left( {\delta , \mathfrak{M}} \right)\) with the Stechkin problem on best approximation of the operator A in W by linear bounded operators. Estimates are obtained for \(v\left( {\delta , \mathfrak{M}} \right)\) e.g., we write the inequality , where H(Y) is Jung's constant of the space Y, and Ω(t) is the modulus of continuity of A in W.     

Distribution of integral functionals of a Brownian motion process

In this paper one considers methods which enable one to determine the distribution of certain functionals of a Brownian motion process. Among such functionals we have: the positive continuous additive functional of a Brownian motion, defined by the formula $$A\left( t \right) = \int\limits_{ - \infty }^\infty {\hat t\left( {t, y} \right)dF\left( y \right),} $$ where \(\hat t\left( {t, y} \right)\) is the Brownian local time process while F(y) is a monotonically increasing right continuous function; the functional $$B\left( t \right) = \mathop {\mathop \smallint \limits_{ - \infty } }\nolimits^\infty f\left( {y,\hat t\left( {t, y} \right)} \right)dy,$$ where f(y, x) is a continuous function; and the functional $$C\left( t \right) = \mathop {\mathop \smallint \limits_0 }\nolimits^t f\left( {w\left( s \right),\hat t\left( {sr} \right)} \right)ds$$ As an application of these methods one considers some concrete functionals such that \(\hat t^{ - 1} \left( z \right) = \min \left\{ {s:\hat t\left( {s, o} \right) = z} \right\},\mathop {\mathop \smallint \limits_{ - \infty } }\nolimits^\infty \hat t^2 \left( {t, y} \right)dy,\mathop {\sup }\limits_{y \in R^1 } \hat t\left( {T, y} \right)\) , where T is an exponential random time, independent of \(\hat t\left( {t, y} \right)\) .     

Lower Bounds for the Riemann Zeta Function on the Critical Line

We establish a relation between the lower bound for the maximum of the modulus of $\zeta (1/2 + iT + s)$ in the disk $|s| \leqslant H$ and the lower bound for the maximum of the modulus of $\zeta (1/2 + iT + it)$ on the closed interval $|t| \leqslant H$ for $0 < H(T) \leqslant {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2}$ . We prove a theorem on the lower bound for the maximum of the modulus of $0 < H(T) \leqslant {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2}$ on the closed interval $|t| \leqslant H$ for $40 \leqslant H(T) \leqslant \log \log T$ .     

Approximation of Dirichlet polynomials in cases of sparse exponents

Let \(0< \lambda \kappa \uparrow \infty ,\sum\nolimits_{\kappa = 1}^\infty {\lambda _\kappa ^{ - 1}< \infty } \) , and let γ be an analytic arc. For the Dirichlet polynomial \(P(z) = \sum\nolimits_1^n {a_k e^{\lambda _k .z} } \) , in angle \(E - \pi /2 + \varphi _0< \arg [ - (z - \alpha )]< \pi /2 + \varphi _0 ,0< \varphi _0< \pi /2,\operatorname{Re} \alpha< \beta = \mathop {\max }\limits_{t \in \gamma } \operatorname{Re} t\) we obtain the estimate $|P(z)|< A\mathop {\max }\limits_{t \in \gamma } |P(t)|$ where A depends only on angle E and {λ_k}. When γ is a segment, an estimate was obtained by L. Schwartz.