The maximal variation of a bounded martingale

Let \(\chi _0^n = \left\{ {X_t } \right\}_0^n \) be a martingale such that 0≦X_i≦1;i=0, …,n. For 0≦p≦1 denote by ? _p ⁿ the set of all such martingales satisfying alsoE(X₀)=p. Thevariation of a martingale χ ₀ ⁿ is denoted byV ₀ ⁿ and defined by \(V(\chi _0^n ) = E\left( {\sum {_{l = 0}^{n - 1} } \left| {X_{l + 1} - X_l } \right|} \right)\) . It is proved that $$\mathop {\lim }\limits_{n \to \infty } \left\{ {\mathop {Sup}\limits_{x_0^n \in \mathcal{M}_p^n } \left[ {\frac{1}{{\sqrt n }}V(\chi _0^n )} \right]} \right\} = \phi (p)$$ , where ?(p) is the well known normal density evaluated at itsp-quantile, i.e. $$\phi (p) = \frac{1}{{\sqrt {2\pi } }}\exp ( - \frac{1}{2}\chi _p^2 ) where \int_{ - \alpha }^{x_p } {\frac{1}{{\sqrt {2\pi } }}\exp ( - \frac{1}{2}\chi ^2 )} dx = p$$ . A sequence of martingales χ ₀ ⁿ ,n=1,2, … is constructed so as to satisfy \(\lim _{n \to \infty } (1/\sqrt n )V(\chi _0^n ) = \phi (p)\) .     

Wavelet estimations for density derivatives

Donoho et al. in 1996 have made almost perfect achievements in wavelet estimation for a density function f in Besov spaces Bsr,q(R). Motivated by their work, we define new linear and nonlinear wavelet estimators flin,nm, fnonn,m for density derivatives f(m). It turns out that the linear estimation E(‖flinn,m-f(m)‖p) for f(m) ∈ Bsr,q(R) attains the optimal when r≥ p, and the nonlinear one E(‖fnonn,m-f(m)‖p) does the same if r≤p/2(s+m)+1 . In addition, our method is applied to Sobolev spaces with non-negative integer exponents as well.     

On the local structure of subspaces of Banach lattices

The conjecture that every Banach space contains uniformly complementedl _p ⁿ ’s for some 1≦p≦∞ is verified for subspaces of Banach lattices which do not containl _∞ ⁿ ’s uniformly.     

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

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 isometries ofC p

Theorem.Let 1≦p≦∞,p ≠ 2, and let V be an isometry of C_p onto itself. Then there exist two unitary operators u and w on l₂ so that V acts on C_p in one of the following forms: \((i) Vx = u \cdot x \cdot w; (ii) Vx = u \cdot x^T \cdot w\) (where x^T is the transpose of x).     

On coefficients of null-series and on sets of uniqueness of trigonometric and Walsh systems

В работе доказываютс я следующие утвержде ния. Теорема I.Пусть ? _n ↓0u \(\sum\limits_{n = 0}^\infty {\varepsilon _n^2 = + \infty } \) .Тогд а существует множест во Е?[0, 1]с μЕ=0 такое что:1. Существует ряд \(\sum\limits_{n = 0}^\infty {a_n W_n } (t)\) с к оеффициентами ¦а _n ¦≦{in¦n¦, который сх одится к нулю всюду вне E и ε∥a_n∥>0.2. Если b _n ¦=о(ε _n )и ряд \(\sum\limits_{n = 0}^\infty {b_n W_n (t)} \) сх одится к нулю всюду вн е E за исключением быть может некоторого сче тного множества точе к, то b _n =0для всех п. Теорема 3.Пусть ? _n ↓0u \(\mathop {\lim \sup }\limits_{n \to \infty } \frac{{\varepsilon _n }}{{\varepsilon _{2n} }}< \sqrt 2 \) Тогд а существует множест во E?[0, 1] с υ E=0 такое, что:

1. Существует ряд \(\sum\limits_{n = - \infty }^{ + \infty } {a_n e^{inx} ,} \sum\limits_{n = - \infty }^{ + \infty } {\left| {a_n } \right|} > 0,\) кот орый сходится к нулю в сюду вне E и ¦a_n≦¦n¦ для n=±1, ±2, ...
2. Если ряд \(\sum\limits_{n = - \infty }^{ + \infty } {b_n e^{inx} } \) сходится к нулю всюду вне E и ¦b_v¦=о(ε ¦n¦), то b_n=0 для всех я. Теорема 5. Пусть послед овательности S⁽¹⁾={ε ₀ ⁽¹⁾ , ε ₁ ⁽¹⁾ , ε ₂ ⁽¹⁾ , ...} u S²=ε ₀ ⁽²⁾ , ε ₁ ⁽²⁾ . ε ₂ ⁽²⁾ монотонно стремятся к нулю, \(\mathop {\lim \sup }\limits_{n \to \infty } \varepsilon ^{(i)} /\varepsilon _{2n}^{(i)}< 2,i = 1,2\) , причем \(\mathop {\lim }\limits_{n \to \infty } \varepsilon _n^{(2)} /\varepsilon _n^{(i)} = + \infty \) . Тогда для каждого ε>O н айдется множество Е? [-π,π], μE >2π — ε, которое является U(S¹), но не U(S¹) — множеством для тригонометричес кой системы. Аналог теоремы 5 для си стемы Уолша был устан овлен в [7].

     

A new upper bound for the complex Grothendieck constant

Let ? denote the real function $$\varphi (k) = k\smallint _0^{\pi /2} \frac{{cos^2 t}}{{\sqrt {1 - k^2 sin ^2 t} }}dt, - 1 \leqq k \leqq 1$$ and letK _G ^C be the complex Grothendieck constant. It is proved thatK _G ^C ≦8/π(k ₀+1), wherek ₀ is the (unique) solution to the equation?(k)=1/8π(k+1) in the interval [0,1]. One has 8/π(k ₀+1) ≈ 1.40491. The previously known upper bound isK _G ^C ≦e ^1?y ≈ 1.52621 obtained by Pisier in 1976.     

Pointwise and uniform estimates for convex approximation of functions by algebraic polynomials

Let Δ ^q be the set of functionsf for which theqth difference, is nonnegative on the interval [? 1,1],P _n is the set of algebraic polynomials of degree not exceedingn, τ _k (f, δ) _p is the averaged Sendov-Popov modulus of smoothness in theL _p [?1,1] metric for 1≦p≦∞, ω _k (f, δ) and $\omega _\phi ^k (f,\delta ),\phi (x): = \sqrt {1 - x^2 } ,$ , are the usual modulus and the Ditzian-Totik modulus of smoothness in the uniform metric, respectively. For a functionf∈C[?1,1]?Δ² we construct a polynomialp _n ∈P _n ?Δ² such that $$\begin{gathered} \left| {f(x) - p_n (x)} \right| \leqslant C\omega _3 (f,n^{ - 1} \sqrt {1 - x^2 } + n^{ - 2} ),x \in [ - 1,1]; \hfill \\ \left\| {f - p_n } \right\|_\infty \leqslant C\omega _\phi ^3 (f,n^{ - 1} ); \hfill \\ \left\| {f - p_n } \right\|_p \leqslant C\tau _3 (f,n^{ - 1} )_p . \hfill \\ \end{gathered}$$ As a consequence, for a functionf∈C ²[?1,1]?Δ³ a polynomialp _n ^* ∈P _n ?Δ³ exists such that $$\left\| {f - p_n^* } \right\|_\infty \leqslant Cn^{ - 1} \omega _2 (f\prime ,n^{ - 1} ),$$ wheren≥2 andC is an absolute constant.     

The inverse eigenvalue problem of reflexive matrices with a submatrix constraint and its approximation

In this paper, we first consider the existence of and the general expression for the solution to the constrained inverse eigenvalue problem defined as follows: given a generalized reflection matrix P∈R ^n×n , a set of complex n-vectors {x _i } _i=1 ^m , a set of complex numbers {λ _i } _i=1 ^m , and an s-by-s real matrix C ₀, find an n-by-n real reflexive matrix C such that the s-by-s leading principal submatrix of C is C ₀, and {x _i } _i=1 ^m and {λ _i } _i=1 ^m are the eigenvectors and eigenvalues of C, respectively. We are then concerned with the best approximation problem for the constrained inverse problem whose solution set is nonempty. That is, given an arbitrary real n-by-n matrix $\tilde{C}$ , find a matrix C which is the solution to the constrained inverse problem such that the distance between C and $\tilde{C}$ is minimized in the Frobenius norm. We give an explicit solution and a numerical algorithm to the best approximation problem. An illustrative experiment is also presented.     

On positive linear interpolation operators

В этой работе мы даем о бобщение понятия нор мальной системы точек, введен ного Фейером [3]. Наше определ ение включает и случа й бесконечного интерв ала (0, ∞). Доказано, в частности, что систе ма точек 0<x ₁ ⁽ⁿ⁾ /(n)<... _n ⁽ⁿ⁾ <∞ является нормальной в смысле нашего определения тогда и т олько тогда, когда вып олняются оценки — фиксированное чис ло, 0≦?<1. Мы доказываем, что есл и точкиx _k ⁽ⁿ⁾ /(n) являются ну лями многочлена ЛагерраL _n ^(α) (x), то они образуют норма льную систему в том и т олько том случае, когда ?1<α≦0. Мы получаем, таким обр азом, положительный интерполяционный пр оцесс для каждой нормальной системы т очек и устанавливаем теорему сходимости для того с лучая, когда эти точки являются ну лямиL _n ^(α) (x) при — 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.     

Comparison Inequalities for One Sided Normal Probabilities

Several sharp upper and lower bounds for the ratio of two normal probabilities $\mathbb{P}\Biggl(\,\bigcap_{i=1}^{n}\bigl\{\xi^{(1)}_i\leq \mu_i\bigr\}\Biggr)\Big/\mathbb{P}\Biggl(\,\bigcap_{i=1}^{n}\bigl\{\xi^{(0)}_i\leq \mu_i\bigr\}\Biggr)$ are given in this paper for various cases, where (ξ ₁ ⁽⁰⁾ ,ξ ₂ ⁽⁰⁾ ,…,ξ _n ⁽⁰⁾ ) and (ξ ₁ ⁽¹⁾ ,ξ ₂ ⁽¹⁾ , …,ξ _n ⁽¹⁾ ) are standard normal random variables with covariance matrices R ⁰=(r _ij ⁰ ) and R ¹=(r _ij ¹ ), respectively.     

On finite groups with a sylowp-subgroup of type (m,n)

A finitep-groupP is of type (m, n) ifP has nilpotency classm-1,P/P'≌Z _p ⁿ ×Z _p ⁿ and all the lower central factorsK _i (P)/K _i+1 (P) are cyclic of orderp ⁿ . Our main result on finite groups with a Sylowp-subgroup of type (m, n) is (Theorem 4.1): Let G be a finite group with a Sylow p-subgroup P of type (m, n), n≧2 p≧3, m≧(n+5)(p?1)+1. For H≦G denote \(\bar H = HO_{p'} (G)/O_{p'} (G)\) . If O_p (G) is not cyclic and P'₁ ≠ 1, then \(\bar P \Delta \bar G\) and \(\bar G = \bar P \cdot \bar T\) is a semidirect product of \(\bar P\) and \(\bar T\) , where \(\bar T\) is cyclic of order t, t|p-1. Here P₁ is the subgroup defined in section 0. This theorem easily yields that under its assumptionsN _G (P)/O ^P (N _G (P))≌G/O ^P (G), it gives information on the conjugacy pattern ofp-elements ofG and gives information on the structure ofp-local subgroups ofG (Theorems 4.2, 4.3 and 4.4).     

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 ются новыми даже для о ртогональных кратны х рядов. Показано, что упомяну тые оценки в общем слу чае являются точными.     

Lacunary subsets of orthonormal sets

В РАБОтЕ РАссМАтРИВА УтсьS _Р-пОДсИстЕМы О. Н.с. В ЧАстНОстИ, ДОкАжыВА Етсь слЕДУУЩАь тЕОРЕ МА, кОтОРАь НЕУсИльЕМА. тЕОРЕМА.пУсть Р>2 —ЧЕ тНОЕ ЧИслО, δ — пРОИжВО льНОЕ ЧИслО, 0<δ≦p?2,Φ= {Φ _n(x)} _n=1 ^N —O.H.C.,x?[0,1],пРИЧЕМ ∥ Φ _n∥_p≦M, n=1,2,...,N, гДЕР=Р+δ, 0М<∞. тОгДА Иж сИстЕМы Ф МОж НО ВыБРАть пОДсИстЕМ У \(\Phi ' = \left\{ {\varphi _{n_k } } \right\}_{k = 1}^{N'} ,N' \geqq N^{\alpha (\delta )} ,\alpha (\delta ) = \frac{{2\delta }}{{p(p - 2 + \delta )}}\) , тАкУУ, ЧтО Дль лУБОгО п ОлИНОМА \(P(x) = \sum\limits_{k = 1}^{N'} {a_k \varphi _{n_k } (x)} \) ИМЕЕ т МЕстО ОцЕНкА $$(\mathop \sum \limits_{k = 1}^{{\rm N}'} a_k^2 )^{1/2} \leqq \left\| P \right\|_p \leqq c_{p,M,\delta } (\mathop \sum \limits_{k = 1}^{{\rm N}'} a_k^2 )^{1/2} $$ (c _p, m, δ — пОстОьННАь, жАВИ сьЩАь тОлькО Отp, M, δ, НО НЕ От N ИлИ кОЁФФИцИЕНтОВ пО лИ-НОМА). пРИВОДьтсь И ДРУгИЕ РЕжУльтАты А НАлОгИЧНОгО хАРАктЕ РА.     

On certain estimates for orthogonal polynomials depending on parameters

Рассматривается сис тема ортогональных м ногочленов {P _n (z)} ₀ ^∞ , удовлетворяющ их условиям $$\frac{1}{{2\pi }}\int\limits_0^{2\pi } {P_m (z)\overline {P_n (z)} d\sigma (\theta ) = \left\{ {\begin{array}{*{20}c} {0,m \ne n,P_n (z) = z^n + ...,z = \exp (i\theta ),} \\ {h_n > 0,m = n(n = 0,1,...),} \\ \end{array} } \right.} $$ где σ (θ) — ограниченная неу бывающая на отрезке [0,2π] функция с бесчисленным множе ством точек роста. Вводится последовательность параметров {а_{n 0} ^∞ , независимых дру г от друга и подчиненных единств енному ограничению { ¦а_n¦<1} ₀ ^∞ ; все многочлены {Р _n (z)} 0/∞ можно найти по формуле $$P_0 = 1,P_{k + 1(z)} = zP_k (z) - a_k P_k^ * (z),P_k^ * (z) = z^k \bar P_k \left( {\frac{1}{z}} \right)(k = 0,1,...)$$ . Многие свойства и оце нки для {P _n (z)} ₀ ^∞ и (θ) можн о найти в зависимости от этих параметров; например, условие \(\mathop \Sigma \limits_{n = 0}^\infty \left| {a_n } \right|^2< \infty \) , бо лее общее, чем условие Г. Cerë, необходимо и достато чно для справедливости а симптотической форм улы в области ¦z¦>1. Пользуясь этим ме тодом, можно найти также реш ение задачи В. А. Стекло ва.     

Γ-inverses of Bounded Linear Operators

Let B(H) be the algebra of all the bounded linear operators on a Hilbert space H.For A,P and Q in B(H),if there exists an operator X∈ B(H) such thatAP X QA=A,X QAP X=X,(QAP X)*=QAP X and(X QAP)*=X QAP,then X is said to be the Γ-inverse of A associated with P and Q,and denoted by AP,Q+.In this note,we present some necessary and su?cient conditions for which A+P,Qexists,and give an explicit representation of AP,Q+(if AP,Q+exists).     

Скорость рациональн ой аппроксимации и дифференциальные с войства функций

The paper deals with the order of best rational approximation of some classes of functions, depending on their differentiability properties. Improvements and generalizations of some results by P. P. Petrushev, V. A. Popov and the author are obtained. The proofs are based on the author's direct rational approximation theorems received recently. One of the results reads as follows. LetR _n (f,L _p ) denote the value of the best approximation of a functionf inL _p ,f∈L _p [0,1], by rational fractions of degree not exceedingn, n≧1. Suppose that 0<p≦∞,s∈NU{0}, andp≠∞ fors=0. Iff is thes-th primitive of some function of bounded variation on [0,1], then $$\sum\limits_{n = 1}^\infty {\frac{1}{n}(n^{s + 1} R_n (f,L_p ))^2< \infty } $$ . This statement is exact. Namely, for everys, s∈NU {0}, and every sequence {a _n } _n=1 ^∞ , $$a_n \geqq a_{n + 1} and \sum n^{ - 1} (n^{s + 1} a_n )^2< \infty ,$$ , there exists a functiong of the classC ^s+1 [0,1] satisfying the inequalities $$R_n (g, L_p ) \geqq c(p)a_{12} , n = 1, 2, \ldots ,$$ , for everyp, p∈(0, ∞).     

On the cosets of the 2q-power group in the unit group modulop

Letp be a prime number ≡ 3 mod 4,G ^p the unit group of ?/p?, andg a generator ofG _p. Letq be an odd divisor ofp - 1 andG _p ^2q = {t ^2q;t ∈G _pthe subgroup of index2q inG _p. The groupG _p ² / _p ^2q consists of the classes \(\bar g^{2j} \) ,j = 0,...,q – 1. In this paper we study the ’excesses’ of the classes \(\bar g^{2j} \) in {l,...,(_p–l)/2}, i.e., the numbers \(\Phi _j = \left| {\left\{ {k;1 \leqslant k \leqslant \left( {p - 1} \right)/2,\bar k \in \bar g^{2j} } \right\}} \right| - \left| {\left\{ {k;\left( {p - 1} \right)/2 \leqslant k \leqslant p - 1,\bar k \in \bar g^{2j} } \right\}} \right|\) ,j = 0.....q — 1. First we express therelative class number h _2q of the subfieldK _2q? ?(e^2#x03C0;i/p ) of degree [K _2q: ?] =2q in terms of these excesses. We use this formula to establish certaincongruences for the Ф^j. E.g., ifq ∈ {3,5,11}, each number Фj is congruent modulo 4 to each other iff 2 dividesh _2q ^- . Finally we study thevariance of the excesses, i.e., the number \(\sigma ^2 = ((\Phi _0 - \hat \Phi )^2 + \ldots + (\Phi _{q - 1} - \hat \Phi )^2 )/(q - 1)\) , where \(\hat \Phi \) is the mean value of the numbers Ф_j. We obtain an explicit lower bound for σ² in terms ofh _2q ^- /h ₂ ^- . Moreover, we show that log σ² is asymptotically equal to 21og(h _2q ^- h ₂ ^- )/(q - 1) forp→∞. Three tables illustrate the results.