Infinite-Dimensional Representations of the Lie Algebra \mathfrak{g}\mathfrak{l}\left( {n,\mathbb{C}} \right) Related to Complex Analogs of the Gelfand–Tsetlin Patterns and General Hypergeometric Functions on the Lie Group GL\left( {n,\mathbb{C}} \right)

Complex analogs of the Gelfand–Tsetlin patterns are introduced. Infinite-dimensional representations of $\mathfrak{g}\mathfrak{l}\left( {n,\mathbb{C}} \right)$ in the vector spaces spanned on these patterns are constructed. Exponentials of these representations are described. These exponentials are operators T(x), x∈GL(n,C), defined only in neighborhoods of the identity element of GL(n,C). A system of differential-difference equations for matrix elements of operators T(x) is constructed. Explicit formulas for matrix elements are obtained for the case x∈Z ^±, where Z ⁺ and Z ^? are the triangular unipotent subgroups. Representations of $\mathfrak{g}\mathfrak{l}\left( {n,\mathbb{C}} \right)$ are also constructed; bases of these representations consist of Gelfand–Tsetlin patterns having infinitely many rows.     

Multiple recurrence and nilsequences

Aiming at a simultaneous extension of Khintchine(X,X,m,T)(X,\mathcal{X},\mu,T) and a set A ? XA\in\mathcal{X} of positive measure, the set of integers n such that A T^2nA T^knA)(A)^k+1-\mu(A{\cap} T^{n}A{\cap} T^{2n}A{\cap} \ldots{\cap} T^{kn}A)>\mu(A)^{k+1}-\epsilon is syndetic. The size of this set, surprisingly enough, depends on the length (k+1) of the arithmetic progression under consideration. In an ergodic system, for k=2 and k=3, this set is syndetic, while for kòf(x)f(Tⁿx)f(T²ⁿx)? f(T^knx)  dm(x)\int{f(x)f(T^{n}x)f(T^{2n}x){\ldots} f(T^{kn}x) \,d\mu(x)} , where k and n are positive integers and f is a bounded measurable function. We also derive combinatorial consequences of these results, for example showing that for a set of integers E with upper Banach density d^*(E)>0 and for all {n ? \mathbbZ\colon d^*(E?(E+n)?(E+2n)?(E+3n)) > d^*(E)⁴-e}\big\{n\in\mathbb{Z}{\colon} d^*\big(E\cap(E+n)\cap(E+2n)\cap(E+3n)\big) > d^*(E)^4-\epsilon\big\}     

Periodicities of partition functions and stirling numbers modulo p

If p(n, k) is the number of partitions of n into parts ≤k, then the sequence {p(k, k), p(k + 1, k),…} is periodic modulo a prime p. We find the minimum period Q = Q(k, p) of this sequence. More generally, we find the minimum period, modulo p, of {p(n; T)}_{n ≥ 0}, the number of partitions of n whose parts all lie in a fixed finite set T of positive integers. We find the minimum period, modulo p, of {S(k, k), S(k + 1, k),…}, where these are the Stirling numbers of the second kind. Some related congruences are proved. The methods involve the use of cyclotomic polynomials over Z_p[x].     

Note on the local growth of iterated polynomials

The local behavior of the iterates of a real polynomial is investigated. The fundamental result may be stated as follows: THEOREM. Let x_i, for i=1, 2, ..., n+2, be defined recursively by x_i+1=f(x_i), where x₁ is an arbitrary real number and f is a polynomial of degree n. Let x_i+1?x_i≧1 for i=1, ..., n + 1. Then for all i, 1 ≦i≦n, and all k, 1≦k≦n+1?i, $$ - \frac{{2^{k - 1} }}{{k!}}< f\left[ {x_1 ,... + x_{i + k} } \right]< \frac{{x_{i + k + 1} - x_{i + k} + 2^{k - 1} }}{{k!}},$$ where f[x_i, ..., x_i+k] denotes the Newton difference quotient. As a consequence of this theorem, the authors obtain information on the local behavior of the solutions of certain nonlinear difference equations. There are several cases, of which the following is typical: THEOREM. Let {x_i}, i = 1, 2, 3, ..., be the solution of the nonlinear first order difference equation x_i+1=f(x_i) where x₁ is an arbitrarily assigned real number and f is the polynomial \(f(x) = \sum\limits_{j = 0}^n {a_j x^j } ,n \geqq 2\) . Let δ be positive with δ^n?1=|2^n?1/n!a_n|. Then, if n is even and a_n<0, there do not exist n + 1 consecutive increments Δx_i=x_i+1?x_i in the solution {x_i} with Δx_i≧δ. The special case in which the iterated polynomial has integer coefficients leads to a “nice” upper bound on a generalization of the van der Waerden numbers. Ap _k -sequence of length n is defined to be a strictly increasing sequence of positive integers {x ₁, ...,x _n } for which there exists a polynomial of degree at mostk with integer coefficients and satisfyingf(x _j )=x _j+1 forj=1, 2, ...,n?1. Definep _k (n) to be the least positive integer such that if {1, 2, ...,p _k (n)} is partitioned into two sets, then one of the two sets must contain ap _k -sequence of lengthn. THEOREM. p_n?2(n)≦(n!)^(n?2)!/2.     

Dichotomies and moving singularities

We consider a linear differential system ε ^σ Φ (t,ε)Y′ =A(t, ε)Y, with ε a small parameter and Φ(t, ε) a function which may vanish in the domain of definition. Under some conditions imposed on the eigenvalues of the matrixA(t, ε), there exists an invertible matrixH(t, ε) which is continuous on ([0,a] × [0, ε₀]). The transformationY=H(t, ε)Z takes then dimensional linear system into two differential systems of orderk andn?k respectively, withk. Thus the investigaton ofn dimensional systems encountered in singular perturbation as well as in stability theory is considerably simplified.     

Über Folgen,die BezÜglich Eines Mittels Rekurrent Sind

Let X be a convex subset of a finite-dimensional real vector space. A function M: X ^k → X is called a strict mean value, if M(x₁,…, x_k) lies in the convex hull of x₁,…, x_k), but does not coincide with one of its vertices. A sequence (x_n)_{n∈ ?} in X is called M-recursive if x_n+k = M(x_n, x_n+1,…, x_n+k?1) for all n. We prove that for a continuous strict mean value M every M-recursive sequence is convergent. We give a necessary and sufficient condition for a convergent sequence in X to be M-recursive for some continuous strict mean value M, and we characterize its limit by a functional equation. 39 B 72, 39 B 52, 40 A 05.     

Bell Numbers, Log-Concavity, and Log-Convexity

Let {b _k (n)} _n=0 ^∞ be the Bell numbers of order k. It is proved that the sequence {b _k (n)/n!} _n=0 ^∞ is log-concave and the sequence {b _k (n)} _n=0 ^∞ is log-convex, or equivalently, the following inequalities hold for all n?0, $$1 \leqslant \frac{{b_k (n + 2)b_k (n)}}{{b_k (n + 1)^2 }} \leqslant \frac{{n + 2}}{{n + 1}}$$ . Let {α(n)} _n=0 ^∞ be a sequence of positive numbers with α(0)=1. We show that if {α(n)} _n=0 ^∞ is log-convex, then α(n)α(m)?α(n+m), ?n,m?0. On the other hand, if {α(n)/n!} _n=0 ^∞ is log-concave, then $$\alpha (n + m) \leqslant \left( {\begin{array}{*{20}c} {n + m} \\ n \\ \end{array} } \right)\alpha (n)\alpha (m),{\text{ }}\forall n,m \geqslant 0$$ . In particular, we have the following inequalities for the Bell numbers $$b_k (n)b_k (m) \leqslant b_k (n + m) \leqslant \left( {\begin{array}{*{20}c} {n + m} \\ n \\ \end{array} } \right)b_k (n)b_k (m),{\text{ }}\forall n,m \geqslant 0$$ . Then we apply these results to characterization theorems for CKS-space in white noise distribution theory.     

Universally L 1 good sequences with gaps tending to infinity

We construct a sequence (n _k ) such that n _{k + 1} − n _k → ∞ and for any ergodic dynamical system (X, Σ, μ, T) and f ε L ¹(μ) the averages converge to ∝ _X f dμ for μ almost every x. Since the above sequence is of zero Banach density this disproves a conjecture of J. Rosenblatt and M. Wierdl about the nonexistence of such sequences. Research supported by the Hungarian National Foundation for Scientific research T049727.     

On convergence of a generalized Pál interpolation process

Let f∈C _[−1,1] ^″ (r≥1) and R_n(f,α,β,x) be the generalized Pál interpolation polynomials satisfying the conditions R_n(f,α,β,x_k)=f(x_k),R_n ^′(f,α,β,x_k)=f′(x_k)(k=1,2,…,n), where {x_k} are the roots of n-th Jacobi polynomial P_n(α,β,x),α,β>−1 and {x _k ^″ } are the roots of (1−x²)P_n″(α,β,x). In this paper, we prove that holds uniformly on [0,1]. In Memory of Professor M. T. Cheng Supported by the Science Foundation of CSBTB and the Natural Science Foundatioin of Zhejiang.     

Copositive pointwise approximation

We prove that if a functionf ∈C ⁽¹⁾ (I),I: = [?1, 1], changes its signs times (s ∈ ?) within the intervalI, then, for everyn > C, whereC is a constant which depends only on the set of points at which the function changes its sign, andk ∈ ?, there exists an algebraic polynomialP _n =P _n (x) of degree ≤n which locally inherits the sign off(x) and satisfies the inequality $$\left| {f\left( x \right) - P_n \left( x \right)} \right| \leqslant c\left( {s,k} \right)\left( {\frac{1}{{n^2 }} + \frac{{\sqrt {1 - x^2 } }}{n}} \right)\omega _k \left( {f'; \frac{1}{{n^2 }} + \frac{{\sqrt {1 - x^2 } }}{n}} \right), x \in I$$ , where ω _k (f′;t) is thekth modulus of continuity of the functionf’. It is also shown that iff ∈C (I) andf(x) ≥ 0,x ∈I then, for anyn ≥k ? 1, there exists a polynomialP _n =P _n (x) of degree ≤n such thatP _n (x) ≥ 0,x ∈I, and |f(x) ?P _n (x)| ≤c(k)ω _k (f;n ^?2 +n ^?1 √1 ?x ²),x ∈I.     

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

Bifurcation of the Point of Equilibrium in Systems with Zero Roots of the Characteristic Equation

We consider the following real autonomous system of 2d differential equations with a small positive parameter ε: $\dot x_i = x_{i + d} + X_i^{(n + 1)} (x,\varepsilon ), \dot x_{i + d} = - x_i^{2n - 1} + X_{i + d}^{(2n)} (x,\varepsilon ), i = 1,...,d,$ where d≥ 2, n≥2, and the $X_j^{(k)} $ are continuous functions continuously differentiable with respect to x and ε the required number of times in the neighborhood of zero; their expansion begins with order k if we assume that the variables x _i are of first order of smallness, ε is of second order, and the variables x _i+d are of order n. We write out a finite number of explicit conditions on the coefficients of the lower terms in the expansion of the right-hand side of this system guaranteeing that for any sufficiently small ε> 0 the system has one or several d-dimensional invariant tori with infinitely small frequencies of motions on them.     

TheT-ideal generated by the standard identitys 3[x 1,x 2,x 3]

LetK = T_o(s₃), {c_n} its codimensions, {l_n} its colengths and {Χ_n} its sequence of co-characters. For 9≦n, c_n =2n - 1 or c_n =n(n + l)/2- 1, 3≦l_n ≦4 and χ_n =[n] + 2[n-1,1] + α[n-2,2] + β[2²,1^n?4] where α + β≦l.     

Strong convergence theorem for uniformly L-Lipschitzian asymptotically pseudocontractive mapping in real Banach space

Let E be a real Banach space. Let K be a nonempty closed and convex subset of E, a uniformly L-Lipschitzian asymptotically pseudocontractive mapping with sequence {kn}_n?0⊂[1,+∞), limn→∞kn=1 such that F(T)≠∅. Let {αn}_n?0⊂[0,1] be such that _∑n?0αn=∞, and _∑n?0αn(kn−1)<∞. Suppose {xn}_n?0 is iteratively defined by xn+1=(1−αn)xn+αnTnxn, n?0, and suppose there exists a strictly increasing continuous function , ?(0)=0 such that 〈Tnx−x^∗,j(x−x^∗)〉?kn‖x−x^∗‖2−?(‖x−x^∗‖), ∀x∈K. It is proved that {xn}_n?0 converges strongly to x^∗∈F(T). It is also proved that the sequence of iteration {xn} defined by xn+1=anxn+bnTnxn+cnun, n?0 (where {un}_n?0 is a bounded sequence in K and {an}_n?0, {bn}_n?0, {cn}_n?0 are sequences in [0,1] satisfying appropriate conditions) converges strongly to a fixed point of T.     

A note on properties of locally finitely convergent sequences with respect to median filter

Let F_k be a mapping from R^Z to R^Z, satisfying that for x∈R^Z and n∈Z, F_k(x)(n) is the (k+1)th largest value (median value) of the 2k+1 numbers x(n−k),…,x(n),…,x(n+k). In [3] [W.Z. Ye, L. Wang, L.G. Xu, Properties of locally convergent sequences with respect to median filter, Discrete Mathematics 309 (2009) 2775–2781], we conjectured that for k∈{2,3}, if there exists n₀∈Z such that x is locally finitely convergent with respect to F_k on {n₀,…,n₀+k−1}, then x is finitely convergent with respect to F_k. In this paper, we obtain some sufficient conditions for a sequence finitely converging with respect to median filters. Based on these results, we prove that the conjecture is true.     

Weighted restriction theorems for Bessel potentials

Пустьk-мерное евклид ово пространствоR ^k рассматривается как подмножествоR ⁿ . Зафиксируемр, 1<р<∞ иα >(n?k)/p, α≠п. Как обычно, бесселев потенциалJαf обобщенной функции Шварцаf наR ⁿ определяется с помощ ью ее преобразования Фурь е \((\widehat{G_\alpha f})(\xi ) = (2\pi )^{ - n/2} [1 + |\xi |^2 ]^{\alpha /2} f(\xi ), \xi \in R^n .B\) , ξ∈R ⁿ . В работе характ еризуются положител ьные весовые функцииw(x ₁,...,x _k ), которые при продолжении наR ⁿ с помощью равенстваw(x ₁,...,x _k ,...,x _n )=w(x ₁, ...,x _k ) обладают с ледующим свойством: существует числос>0, не зависящее отf, такое, что $$\begin{gathered} \int\limits_{R^k } {|(G_\alpha f)(x_1 ,...,x_k ,0,...,0)w(x_1 ,...,x_k )|^p dx_1 ...dx_k \leqq } \hfill \\ \leqq C\int\limits_{R^n } {|f(x_1 ,...,x_n )w(x_1 ,...,x_n )|^p dx_1 ...dx_n } \hfill \\ \end{gathered} $$      

On the asymptotic behavior of the bestL ∞-approximation by polynomials

LetE _n (f) denote the sup-norm-distance (with respect to the interval [?1, 1]) betweenf and the set of real polynomials of degree not exceedingn. For functions likee ^x , cosx, etc., the order ofE _n (f) asn→∞ is well known. A typical result is $$2^{n - 1} n!E_{n - 1} (e^x ) = 1 + 1/4n + O(n^{ - 2} ).$$ It is shown in this paper that 2 ^n?1 n!E _n?1(e ^x ) possesses a complete asymptotic expansion. This result is contained in the more general result that for a wide class of entire functions (containing, for example, exp(cx), coscx, and the Bessel functionsJ _k (x)) the quantity $$2^{n - 1} n!E_{n - 1} \left( f \right)/f^{(n)} \left( 0 \right)$$ possesses a complete asymptotic expansion (providedn is always even (resp. always odd) iff is even (resp. odd)).     

Singularities of carleman type for subsystems of a trigonometric system

We prove that for arbitrary ε>0 there exists a sequence of positive integers {n_k} such that a) the system { cos n_k X, sin n_k X} is a basis with respect to the C[-π, π] norm in the closure of its linear hull, and b) a continuous functionf(x) belonging to the closure of the linear hull of the system can be found such that its Fourier coefficientsa _n and b_n satisfy the relation $$\sum\nolimits_{n = 1}^\infty {\left| {a_n } \right|^{2 - \varepsilon } + \left| {b_n } \right|^{2 - \varepsilon } } = \infty $$ .     

Zolotarev's first problem — the best approximation by polynomials of degree ≤n − 2 tox n − nσx n−1 in [−1, 1]

Chebyshev determined $$\mathop {\min }\limits_{(a)} \mathop {\max }\limits_{ - 1 \le x \le 1} |x^n + a_1 x^{n - 1} + \cdots + a_n |$$ as 2^1?n , which is attained when the polynomial is 2^1?n T _n(x), whereT _n(x) = cos(n arc cosx). Zolotarev's First Problem is to determine $$\mathop {\min }\limits_{(a)} \mathop {\max }\limits_{ - 1 \le x \le 1} |x^n - n\sigma x^{n - 1} + a_2 x^{n - 2} + \cdots + a_n |$$ as a function ofn and the parameter σ and to find the extremal polynomials. He solved this in 1878. Another discussion was given by Achieser in 1928, and another by Erdös and Szegö in 1942. The case when 0≤|σ|≤ tan²(π/2n) is quite simple, but that for |σ|> tan²(π/2n) is quite different and very complicated. We give two new versions of the proof and discuss the change in character of the solution. Both make use of the Equal Ripple Theorem.     

Uniform ergodic convergence and averaging along Markov chain trajectories

LetP(x, A) be a transition probability on a measurable space (S, Σ) and letX _n be the associated Markov chain.Theorem. Letf∈B(S, Σ). Then for anyx∈S we haveP _x a.s. $$\mathop {\underline {\lim } }\limits_{n \to \infty } \frac{1}{n}\sum\limits_{k = 1}^n {f(X_k ) \geqslant } \mathop {\underline {\lim } }\limits_{n \to \infty } \mathop {\inf }\limits_{x \in S} \frac{1}{n}\sum\limits_{k = 1}^n {P^k f(x)} $$ and (implied by it) a corresponding inequality for the lim. If 1/n∑ _k=1 ⁿ P ^k f converges uniformly, then for everyx∈S, 1/n ∑ _k=1 ⁿ f(X _k ) convergesP _x a.s. Applications are made to ergodic random walks on amenable locally compact groups. We study the asymptotic behavior of 1/n∑ _k=1 ⁿ μ ^k *f and of 1/n∑ _k=1 ⁿ f(X _k ) via that ofΨ _n *f(x)=m(A _n )^?1∫ _An f(xt), where {A _n } is a Følner sequence, in the following cases: (i)f is left uniformly continuous (ii) μ is spread out (iii)G is Abelian. Non-Abelian Example: Let μ be adapted and spread-out on a nilpotent σ-compact locally compact groupG, and let {A _n } be a Følner sequence. If forf∈B(G, ∑) m(A _n )^?1∫ _An f(xt)dm(t) converges uniformly, then 1/n∑ _k=1 ⁿ f(X _k ) converges uniformly, andP _x convergesP _x a.s. for everyx∈G.