Приближение алгебра ическими многочлена ми классов функций, являющихся д робными интегралами от суммируемых функц ий

Approximation in the mean (E _n(f)₁) by algebraic polynomials of order ≦n is studied in the paper, for classesW ₁ ^r of functionsf, which can be represented as $$f(x) = \frac{1}{{\Gamma (r)}}\int\limits_{ - 1}^1 {(x - t)_ + ^{^{r - 1} } } \varphi (t)dt,$$ where??L ₁-1, 1], ∥?∥₁≧1, (x-t) ₊ ^r1 =[max(0, x-t)]^r1, Г (r) stands for Euler's gamma-function. It is proved that for all realr≧1 and positive integersn≧[r]?1 the relation sup E_n(f)₁:f?W₁ ^r=∥(S_n)_r∥_t8, is valid, where $$(s_\Lambda )_{_r } (t) = \frac{1}{{\Gamma (r)}}\int\limits_{ - 1}^1 {(x - t)_ + ^{r - 1} } $$ sgn sin (n+2) arc cosx dx.     

Multiplikatorsysteme der symplektischen Thetagruppe

Let Γ_θ be the subgroup of Siegel modular groupSp(n, ?) consisting of all matrices \(M = \left( {\begin{array}{*{20}c} {A B} \\ {C D} \\ \end{array} } \right)\) , such that the diagonal elements ofA ^t C andB ^t D are even. A multiplier system of weightr(∈?) is a system of complex numbers ν (M)≠0,M∈Γ_θ, such thatJ (M, Z)=ν(M) det(CZ+D) ^r is an automorphy factor (that isJ (M N, Z)=J (M, N Z) J (N, Z) forM, N ∈Sp(n,?) and $$Z \in S_n = \left\{ {Z = X + i Y \in M^{(n,n)} (\mathbb{C}); X = X^t , Y = Y^t > 0} \right\})$$ . We show that in casen≥2 such a multiplier system exists if and only if 2r∈?. A corollary of this fact is the following. From the cohomology theory of Siegel modular group we derive that in casen≥8 any Γ_θ-invariant divisor is the exact zero divisor of a modular form for Γ_θ. Therefore the zero divisor of classical theta function \(\theta (Z) = \sum\limits_{g \in \mathbb{Z}^n } {e^{\pi iZ[g]} } \) , a modular form of weight 1/2 is irreducible. In the second part of this paper we calculate the commutator factor group of Γ _{n, θ} forn≥2.     

The “Full Müntz Theorem” inL p[0, 1] for 0<p<∞

Denote by span {f ₁,f ₂, …} the collection of all finite linear combinations of the functionsf ₁,f ₂, … over ?. The principal result of the paper is the following. Theorem (Full Müntz Theorem in L_p(A) for p ∈ (0, ∞) and for compact sets A ? [0, 1] with positive lower density at 0). Let A ? [0, 1] be a compact set with positive lower density at 0. Let p ∈ (0, ∞). Suppose (λ _j ) _j=1 ^∞ is a sequence of distinct real numbers greater than ?(1/p). Then span {x ^λ1,x ^λ2,…} is dense in L_p(A) if and only if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ . Moreover, if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ , then every function from the L_p(A) closure of {x ^λ1,x ^λ2,…} can be represented as an analytic function on {z ∈ ? \ (?∞,0] : |z| < r_A} restricted to A ∩ (0, r_A) where $r_A : = \sup \left\{ {y \in \mathbb{R}:\backslash ( - \infty ,0]:\left| z \right|< r_A } \right\}$ (m(·) denotes the one-dimensional Lebesgue measure). This improves and extends earlier results of Müntz, Szász, Clarkson, Erdös, P. Borwein, Erdélyi, and Operstein. Related issues about the denseness of {x ^λ1,x ^λ2,…} are also considered.     

On the H p -L q boundedness of some fractional integral operators

Let A ₁, …, A _m be n × n real matrices such that for each 1 ? i ? m, A _i is invertible and A _i ? A _j is invertible for i ≠ j. In this paper we study integral operators of the form $$Tf(x) = \int {{k_1}(x - {A_{1y}}){k_2}(x - {A_{2y}}) \ldots {k_m}(x - {A_{my}})f(y){\rm{d}}y}$$ ${k_i}(y) = \sum\limits_{j \in z} {{2^{jn/{q_i}}}} \varphi i,j({2^j}y),1 \le {q_i} < \infty ,1/{q_1} + 1/q + ... + 1/q = 1 - r,0 \le r < 1, and \varphi i,j$ satisfying suitable regularity conditions. We obtain the boundedness of T: H ^p (? ⁿ ) → L ^q (? ⁿ ) for 0 < p < 1/r and 1/q = 1/p-r. We also show that we can not expect the H ^p -H ^q boundedness of this kind of operators.     

Cone Dependence—A Basic Combinatorial Concept

We call A ? $ \mathbb{E} $ ⁿ cone independent of B ? $ \mathbb{E} $ ⁿ , the euclidean n-space, if no a = (a ₁,..., a _n ) ∈ A equals a linear combination of B \ {a} with non-negative coefficients. If A is cone independent of A we call A a cone independent set. We begin the analysis of this concept for the sets P(n) = {A ? {0, 1} ⁿ ? $ \mathbb{E} $ ⁿ : A is cone independent} and their maximal cardinalities c(n) ? max{|A| : A ∈ P(n)}. We show that lim _{n → ∞} $ \frac{{c\left( n \right)}}{{2^n }} $ > $\frac{1}{2}$ , but can't decide whether the limit equals 1. Furthermore, for integers 1 < k < ? ≤ n we prove first results about c _n (k, ?) ? max{|A| : A ∈ P _n (k, ?)}, where P _n (k, ?) = {A : A ? V ⁿ _k and V ⁿ _? is cone independent of A} and V ⁿ _k equals the set of binary sequences of length n and Hamming weight k. Finding c _n (k, ?) is in general a very hard problem with relations to finding Turan numbers.     

On Ramsey—Turán type theorems for hypergraphs

LetH ^r be anr-uniform hypergraph. Letg=g(n;H ^r ) be the minimal integer so that anyr-uniform hypergraph onn vertices and more thang edges contains a subgraph isomorphic toH ^r . Lete =f(n;H ^r ,εn) denote the minimal integer such that everyr-uniform hypergraph onn vertices with more thane edges and with no independent set ofεn vertices contains a subgraph isomorphic toH ^r . We show that ifr>2 andH ^r is e.g. a complete graph then $$\mathop {\lim }\limits_{\varepsilon \to 0} \mathop {\lim }\limits_{n \to \infty } \left( {\begin{array}{*{20}c} n \\ r \\ \end{array} } \right)^{ - 1} f(n;H^r ,\varepsilon n) = \mathop {\lim }\limits_{n \to \infty } \left( {\begin{array}{*{20}c} n \\ r \\ \end{array} } \right)^{ - 1} g(n;H^r )$$ while for someH ^r with \(\mathop {\lim }\limits_{n \to \infty } \left( {\begin{array}{*{20}c} n \\ r \\ \end{array} } \right)^{ - 1} g(n;H^r ) \ne 0\) $$\mathop {\lim }\limits_{\varepsilon \to 0} \mathop {\lim }\limits_{n \to \infty } \left( {\begin{array}{*{20}c} n \\ r \\ \end{array} } \right)^{ - 1} f(n;H^r ,\varepsilon n) = 0$$ . This is in strong contrast with the situation in caser=2. Some other theorems and many unsolved problems are stated.     

The formula for the number of order-preserving selfmappings of a fence

LetY be a fence of sizem andr=?m?1/2?. The numberb(m) of order-preserving selfmappings ofY is equal toA _r-B_r-C_r-D_r, where, ifm is odd, $$\begin{gathered} A_r = 2(r + 1)\sum\limits_{s = 0}^r {\left( {\begin{array}{*{20}c} {r + s} \\ {2s} \\ \end{array} } \right)} 4^s , B_r = 2r\sum\limits_{s = 1}^r {\left( {\begin{array}{*{20}c} {r + s} \\ s \\ \end{array} } \right)\left( {\begin{array}{*{20}c} {r - 1} \\ {s - 1} \\ \end{array} } \right),} \hfill \\ C_r = 4r\sum\limits_{s = 0}^{r - 1} {\left( {\begin{array}{*{20}c} {r + s} \\ s \\ \end{array} } \right)\left( {\begin{array}{*{20}c} {r - 1} \\ s \\ \end{array} } \right), D_r = \sum\limits_{s = 0}^{r - 1} {(2s + 1)} \left( {\begin{array}{*{20}c} {r + s - 1} \\ s \\ \end{array} } \right)\left( {\begin{array}{*{20}c} {r - 1} \\ s \\ \end{array} } \right)} \hfill \\ \end{gathered} $$ . Ifm is even, a similar formula forb(m) is true. The key trick in the proof is a one-to-one correspondence between order-preserving selfmappings ofY and pairs consisted of a partition ofY and a strictly increasing mapping of a subfence ofY toY.     

On the restriction of cross characteristic representations of 2 F 4(q) to proper subgroups

We prove that the restriction of any nontrivial representation of the Ree groups ² F ₄(q), q = 2²ⁿ⁺¹ ≥ 8 in odd characteristic to any proper subgroup is reducible. We also determine all triples (K, V, H) such that ${K \in \{^2F_4(2), ^2F_4(2)'\} }We prove that the restriction of any nontrivial representation of the Ree groups ² F ₄(q), q = 2²ⁿ⁺¹ ≥ 8 in odd characteristic to any proper subgroup is reducible. We also determine all triples (K, V, H) such that K ? {²F₄(2), ²F₄(2)￠}{K \in \{^2F_4(2), ^2F_4(2)'\} } , H is a proper subgroup of K, and V is a representation of K in odd characteristic restricting absolutely irreducibly to H.     

Optimal methods for the approximate calculation of functional on classesW r L ∞

Пусть T_n(f)={L₁(f), ..., L_n(f)} — набор линейных функционал ов, заданных на простран стве \(C_{(r - 1)} (\parallel f\parallel _{C_{(r - 1)} } = \mathop {\max }\limits_{0 \leqq i \leqq r - 1} \parallel f^{(i)} \parallel _C );A_{n,r}\) — множество всех так их наборов функцио налов; С_{2n, 2} — множество всех н аборов из 2n функциона лов вида $$T_{2n} (f) = \{ f(x_1 ), \ldots ,f(x_n ),f'(x_1 ), \ldots ,f'(x_n )\}$$ и s: Е_n→Е₁. Доказано, что е слиW _∞ ^r множество всех 2π-периодических функ цийfεW∞0, 2π_r, то приr=1,2,3,... ирε(1, ∞) и $$\begin{gathered} \mathop {\inf }\limits_{T_{2n} \in A_{2n,r} } \parallel \mathop {\inf }\limits_s \mathop {\sup }\limits_{f \in W_\infty ^r } |f( \cdot ) - s(T_{2n} ,f, \cdot )|\parallel _p = \parallel \varphi _{n,r} \parallel _p \hfill \\ \mathop {\inf }\limits_{T_{2n} \in C_{2n,2} } \parallel \mathop {\inf }\limits_s \mathop {\sup }\limits_{f \in W_\infty ^r } |f( \cdot ) - s(T_{2n} ,f, \cdot )|\parallel _p = \parallel \parallel \varphi _{n,r} \parallel _\infty - \varphi _{n,r} \parallel _p , \hfill \\ \end{gathered}$$ где ?_n,r —r-й периодичес кий интеграл, в средне м равный нулю на периоде, от фун кции ?_n, 0t=sign sinnt. При этом указан ы оптимальные методы приближенного вычис ления.     

Zeros ofA p functions and related classes of analytic functions

The functionf(z), analytic in the unit disc, is inA ^p if \(\int {\int {_{\left| z \right|< 1} \left| {f(z)} \right|^p dxdy< \infty } } \) . A necessary condition on the moduli of the zeros ofA ^p functions is shown to be best possible. The functionf(z) belongs toB ^p if \(\int {\int {_{\left| z \right|< 1} \log ^ + \left| {f(z)} \right|)^p } } \) . Let {z _n } be the zero set of aB ^p function. A necessary condition on |z _n | is obtained, which, in particular, implies that Σ(1?|z _n |)^1+(1/p)+g <∞ for all ε>0 (p≧1). A condition on the Taylor coefficients off is obtained, which is sufficient for inclusion off inB ^p. This in turn shows that the necessary condition on |z _n | is essentially the best possible. Another consequence is that, forq≧1,p<q, there exists aB ^p zero set which is not aB ^q zero set.     

Convergence rates in the law of large numbers for random variables on partially ordered sets

Let (A, ≤) be a partially ordered set, {X _α} a collection of i. i. d. random variables, indexed byA. Let \(S_\alpha = \sum _{\beta \leqslant \alpha } X_\beta \) , |α|=card {β∈A, β∈α}. We study the convergence rates ofS _α/|α|. We derive for a large class of partially ordered sets theorems, like the following one: For suitabler, t with 1/2< <r/t≤1:E|X| ^t M (|X| ^t/r )<∞ andEX=μ if and only if $$S_\alpha = \sum _{\beta \leqslant \alpha } X_\beta $$ for all ε>0, where \(M(x) = \sum _{j< x} d(j)\) withd(j)=card {α∈A, |α|=j}.     

A theorem on arrangements of lines in the plane

LetA be an arrangement ofn lines in the plane. IfR ₁, …,R _r arer distinct regions ofA, andR _i is ap _i-gon (i=1, …,r) then we show that . Further we show that for allr this bound is the best possible ifn is sufficiently large. Financial support for this research was provided by the Carnegie Trust for the Universities of Scotland.     

The cyclic structure of random permutations

Letα _r denote the number of cycles of length r in a random permutation, taking its values with equal probability from among the set S_n of all permutations of length n. In this paper we study the limiting behavior of linear combinations of random permutationsα ₁, ...,α _r having the form $$\zeta _{n, r} = c_{r1^{a_1 } } + ... + c_{rr} a_r $$ in the case when n, r→∞. We shall show that the class of limit distributions forξ _n,r as n, r→∞ and r In r/h→0 coincides with the class of unbounded divisible distributions. For the random variables η_n, r=α ₁+2α ₂+... rα _r, equal to the number of elements in the permutation contained in cycles of length not exceeding r, we find' limit distributions of the form r In r/n→0 and r=γ ⁿ, 0<γ<1.     

Неравенства типа Джексона-Стечкина и значения поперечников некоторых классов функций из L 2

The exact values of diverse n-widths of periodical functions belong L ₂ space and satisfying the following condition: $\left( {\int_0^h {t\tilde \Omega _m^p (f^{(r)} ,t)dt} } \right)^{1/p} \leqslant \Phi (h),$ , where m, n, r ∈ ?, 2/r < p ≤ 2, h ∈ ?₊, $\tilde \Omega _m (f^{(r)} ,t)$ is the generalized modulus of continuity of m-order derivative f ^(r) ∈ L ₂, r ∈ ?, while Φ(t) is an arbitrary increasing function and Φ(0) = 0 are found in the article.     

Trisecant lemma for nonequidimensional varieties

Let X be an irreducible projective variety over an algebraically closed field of characteristic zero. For ≥ 3, if every (r−2)-plane , where the x _i are generic points, also meets X in a point x _r different from x ₁,..., x _r−1, then X is contained in a linear subspace L such that codim _L X ≥ r − 2. In this paper, our purpose is to present another derivation of this result for r = 3 and then to introduce a generalization to nonequidimensional varieties. For the sake of clarity, we shall reformulate our problem as follows. Let Z be an equidimensional variety (maybe singular and/or reducible) of dimension n, other than a linear space, embedded into ℙ^r, where r ≥ n + 1. The variety of trisecant lines of Z, say V _1,3(Z), has dimension strictly less than 2n, unless Z is included in an (n + 1)-dimensional linear space and has degree at least 3, in which case dim V _1,3(Z) = 2n. This also implies that if dim V _1,3(Z) = 2n, then Z can be embedded in ℙ ^{n + 1}. Then we inquire the more general case, where Z is not required to be equidimensional. In that case, let Z be a possibly singular variety of dimension n, which may be neither irreducible nor equidimensional, embedded into ℙ^r, where r ≥ n + 1, and let Y be a proper subvariety of dimension k ≥ 1. Consider now S being a component of maximal dimension of the closure of . We show that S has dimension strictly less than n + k, unless the union of lines in S has dimension n + 1, in which case dim S = n + k. In the latter case, if the dimension of the space is strictly greater than n + 1, then the union of lines in S cannot cover the whole space. This is the main result of our paper. We also introduce some examples showing that our bound is strict. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 12, No. 2, pp. 71–87, 2006.     

Summation of weakly dependent sequences by Cesàro methods

Пусть (X, A, u) — пространст во с конечной мерой, (ξ_k) ₁ ^∞ — последовательност ь функций, \(\xi _k \varepsilon L_{2r} (X), r > 1, \int\limits_X {\xi _k d\mu = 0} \) . Изучаются условия, п ри которых справедли вgа - у. з. б.ч., т. e. (ξ _k) суммируется к ну лю почти всюду методо м (С, а),а > 0. Приведем два резу льтата. 1) Если (ξ _k) — слабо мульт ипликативная систем а (в частности, мартингал-разности или независимая сист ема), то условие $$\mathop \sum \limits_1^\infty \mathop {\smallint }\limits_X \left| {\xi _k } \right|^{2r} d\mu \cdot c_r (k,\alpha )< \infty $$ влечетβ - у.з.б.ч. Здесьc _r(k,α)=k ^-2rα при 0<α<(r+1)/2r, c_r=k^?(r+1) In3r-1 k приа=(r+1)/2r, с_r=k^?(r+1) при а >(r+1)/2r. 2) Если (ξ _k) независимы,Mξ _k=0, (r+1)/2r<α=1, то условия $$\mathop \sum \limits_{k = 1}^\infty \frac{{(M\xi _k^2 )^r }}{{k^{r + 1} }}< \infty ,\mathop \sum \limits_{k = 1}^\infty \frac{{M|\xi _k |^{2r} }}{{k^{2r\alpha } }}< \infty $$ влекут за собой а - у. з. б. ч.     

Schur convexity and Schur multiplicative convexity for a class of symmetric functions with applications

For x = (x ₁, x ₂, …, x _n ) ∈ (0, 1 ] ⁿ and r ∈ { 1, 2, … , n}, a symmetric function F _n (x, r) is defined by the relation

Erdos-Ko-Rado Theorems of Labeled Sets

For k = (k1, ··· , kn) ∈ Nn, 1 ≤ k1 ≤···≤ kn, let Lkr be the family of labeled r-sets on k given by Lkr := {{(a1, la1), ··· , (ar, lar)} : {a1, ··· , ar} ■[n],lai ∈ [kai],i = 1, ··· , r}. A family A of labeled r-sets is intersecting if any two sets in A intersect. In this paper we give the sizes and structures of intersecting families of labeled r-sets.     

Monotonicity properties of interpolation spaces

For any interpolation pair (A ₀ A ₁), Peetre’sK-functional is defined by: $$K\left( {t,a;A_0 ,A_1 } \right) = \mathop {\inf }\limits_{a = a_0 + a_1 } \left( {\left\| {a_0 } \right\|_{A_0 } + t\left\| {a_1 } \right\|_{A_1 } } \right).$$ It is known that for several important interpolation pairs (A ₀,A ₁), all the interpolation spacesA of the pair can be characterised by the property ofK-monotonicity, that is, ifa∈A andK(t, b; A₀, A₁)≦K(t, a; A₀, A₁) for all positivet thenb∈A also. We give a necessary condition for an interpolation pair to have its interpolation spaces characterized byK-monotonicity. We describe a weaker form ofK-monotonicity which holds for all the interpolation spaces of any interpolation pair and show that in a certain sense it is the strongest form of monotonicity which holds in such generality. On the other hand there exist pairs whose interpolation spaces exhibit properties lying somewhere betweenK-monotonicity and weakK-monotonicity. Finally we give an alternative proof of a result of Gunnar Sparr, that all the interpolation spaces for (L _v ^p , L _w ^q ) areK-monotone.     

Simultaneous approximation by algebraic polynomials

Some estimates for simultaneous polynomial approximation of a function and its derivatives are obtained. These estimates are exact in a certain sense. In particular, the following result is derived as a corollary: Forf∈C ^r[?1,1],m∈N, and anyn≥max{m+r?1, 2r+1}, an algebraic polynomialP _n of degree ≤n exists that satisfies $$\left| {f^{\left( k \right)} \left( x \right) - P_n^{\left( k \right)} \left( {f,x} \right)} \right| \leqslant C\left( {r,m} \right)\Gamma _{nrmk} \left( x \right)^{r - k} \omega ^m \left( {f^{\left( r \right)} ,\Gamma _{nrmk} \left( x \right)} \right),$$ for 0≤k≤r andx ∈ [?1,1], where ω^υ(f^(k),δ) denotes the usual vth modulus of smoothness off ^(k), and Moreover, for no 0≤k≤r can (1?x ²)( ^{r?k+1)/(r?k+m)}(1/n²)^{(m?1)/(r?k+m)} be replaced by (1-x²)^αkn^2αk-2, with α_k>(r-k+a)/(r-k+m).