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.     

Structural and geometric characteristics of sets of convergence and divergence of multiple Fourier series with J k -lacunary sequence of rectangular partial sums

We study multiple trigonometric Fourier series of functions f in the classes $L_p \left( {\mathbb{T}^N } \right)$ , p > 1, which equal zero on some set $\mathfrak{A}, \mathfrak{A} \subset \mathbb{T}^N , \mu \mathfrak{A} > 0$ (µ is the Lebesgue measure), $\mathbb{T}^N = \left[ { - \pi ,\pi } \right]^N$ , N ≥ 3. We consider the case when rectangular partial sums of the indicated Fourier series S _n (x; f) have index n = (n ₁, ..., n _N ) ∈ ? ^N , in which k (k ≥ 1) components on the places {j ₁, ..., j _k } = J _k ? {1, ..., N} are elements of (single) lacunary sequences (i.e., we consider multiple Fourier series with J _k -lacunary sequence of partial sums). A correlation is found of the number k and location (the “sample” J _k ) of lacunary sequences in the index n with the structural and geometric characteristics of the set $\mathfrak{A}$ , which determines possibility of convergence almost everywhere of the considered series on some subset of positive measure $\mathfrak{A}_1$ of the set $\mathfrak{A}$ .     

An Erdös-Ko-Rado theorem for the subcubes of a cube

LetP be that partially ordered set whose elements are vectors x=(x ₁, ...,x _n ) withx _i ε {0, ...,k} (i=1, ...,n) and in which the order is given byx≦y iffx _i =y _i orx _i =0 for alli. LetN _i (P)={x εP : |{j:x _j ≠ 0}|=i}. A subsetF ofP is called an Erdös-Ko-Rado family, if for allx, y εF it holdsx ≮y, x ≯ y, and there exists az εN ₁(P) such thatz≦x andz≦y. Let ? be the set of all vectorsf=(f ₀, ...,f _n ) for which there is an Erdös-Ko-Rado familyF inP such that |N _i (P) ∩F|=f _i (i=0, ...,n) and let 〈?〉 be its convex closure in the (n+1)-dimensional Euclidean space. It is proved that fork≧2 (0, ..., 0) and \(\left( {0,...,0,\overbrace {i - component}^{\left( {\begin{array}{*{20}c} {n - 1} \\ {i - 1} \\ \end{array} } \right)}k^{i - 1} ,0,...,0} \right)\) (i=1, ...,n) are the vertices of 〈?〉.     

Subcoercivity and subelliptic operators on Lie groups I: Free nilpotent groups

Let (χ, G, U) be a continuous representation of a Lie groupG by bounded operatorsg →U(g) on the Banach space χ and let (χ, $\mathfrak{g}$ ,dU) denote the representation of the Lie algebra $\mathfrak{g}$ obtained by differentiation. Ifa ₁, ...,a _d′ is a Lie algebra basis of $\mathfrak{g}$ ,A _i=dU(a _i) and $A^\alpha = A_{i_1 } ...A_{i_k } $ whenever α=(i ₁, ...,i _k) we consider the operators $$H = \mathop \sum \limits_{\alpha ;|\alpha | \leqslant 2n} c_\alpha A^\alpha $$ where thec _α are complex coefficients satisfying a subcoercivity condition. This condition is such that the class of operators considered encompasses all the standard second-order subelliptic operators with real coefficients, all operators of the form $\sum _{i = 1}^{d'} \lambda _i ( - A_i^2 )^n $ with Re λ _i >0 together with operators of the form $$H = ( - 1)^n \mathop \sum \limits_{\alpha ;|\alpha | = n} \mathop \sum \limits_{\beta ;|\beta | = n} c_{\alpha ,\beta } A^{\alpha _* } A^\beta $$ where α_*=(i _k, ...,i ₁) if α=(i ₁, ...,i _k) and the real part of the matrix (c _{α β}) is strictly positive. In case the Lie algebra $\mathfrak{g}$ is free of stepr, wherer is the rank of the algebraic basisa ₁, ...,a _d′,G is connected andU is the left regular representation inG we prove that the closure $\overline H $ ofH generates a holomorphic semigroupS. Moreover, the semigroupS has a smooth kernel and we derive bounds on the kernel and all its derivatives. This will be a key ingredient for the paper [13] in which the above results will be extended to general groups and representations.     

The analytic spread of codimension two monomial varieties

Let ${\rm} A=k[{u_{1}^{a_{1}}},{u_{2}^{a_{2}}},\dots,{u_{n}^{a_{n}}},{u_{1}^{c_{1}}} \dots {u_{n}^{c_{n}}},{u_{1}^{b_{1}}} \dots {u_{n}^{b_{n}}}]\ \subset k[{u_{1}}, \dots {u_{n}}],$ where, a_j, b_j, C_j ∈ ?, a_j > 0, (b_j, C_j) ≠ (0,0) for 1 ≤ j ≤ n, and, further ${\underline b}:=\ ({b_{1}}, \dots,{b_{n}})\ \not=\ 0 $ and ${\underline c}:=\ ({c_{1}}, \dots,{c_{n}})\ \not=\ 0 $ . The main result says that the defining ideal I ? m = (x₁,…, x_n, y, z) ? k[x₁,…, x_n, y, z] of the semigroup ring A has analytic spread ?(I_m) at most three.     

Weighted inequalities for fractional type operators with some homogeneous kernels

In this paper, we study integral operators of the form Tαf(x)=∫Rn|x-A1y|-α1 ··· |x-Amy|-αmf(y)dy,where Ai are certain invertible matrices, αi 0, 1 ≤ i ≤ m, α1 + ··· + αm = n-α, 0 ≤α n. For 1/q = 1/p-α/n , we obtain the Lp (Rn, wp)-Lq(Rn, wq) boundedness for weights w in A(p, q) satisfying that there exists c 0 such that w(Aix) ≤ cw(x), a.e. x ∈ Rn , 1 ≤ i ≤ m.Moreover, we obtain theappropriate weighted BMO and weak type estimates for certain weights satisfying the above inequality. We also give a Coifman type estimate for these operators.     

Some results on starlike trees and sunlike graphs

A tree is called starlike if it has exactly one vertex of degree greater than two. In [4] it was proved that two starlike treesG andH are cospectral if and only if they are isomorphic. We prove here that there exist no two non-isomorphic Laplacian cospectral starlike trees. Further, letG be a simple graph of ordern with vertex setV(G)={1,2, …,n} and letH={H ₁,H ₂, ...H _n } be a family of rooted graphs. According to [2], the rooted productG(H) is the graph obtained by identifying the root ofH _i with thei-th vertex ofG. In particular, ifH is the family of the paths $P_{k_1 } , P_{k_2 } , ..., P_{k_n } $ with the rooted vertices of degree one, in this paper the corresponding graphG(H) is called the sunlike graph and is denoted byG(k ₁,k ₂, …,k _n ). For any (x ₁,x ₂, …,x _n ) ∈I _* ⁿ , whereI _*={0,1}, letG(x ₁,x ₂, …,x _n ) be the subgraph ofG which is obtained by deleting the verticesi ₁, i₂, …,i _j ∈ V(G) (0≤j≤n), provided that $x_{i_1 } = x_{i_2 } = ... = x_{i_j } = 0$ . LetG(x ₁,x ₂,…, x _n] be the characteristic polynomial ofG(x ₁,x ₂,…, x _n ), understanding thatG[0, 0, …, 0] ≡ 1. We prove that $$G[k_1 , k_2 ,..., k_n ] = \Sigma _{x \in ^{I_ * ^n } } \left[ {\Pi _{i = 1}^n P_{k_i + x_i - 2} (\lambda )} \right]( - 1)^{n - (\mathop \Sigma \limits_{i = 1}^n x_i )} G[x_1 , x_2 , ..., x_n ]$$ where x=(x ₁,x ₂,…,x _n );G[k ₁,k ₂,…,k _n ] andP _n (γ) denote the characteristic polynomial ofG(k ₁,k ₂,…,k _n ) andP _n , respectively. Besides, ifG is a graph with λ₁(G)≥1 we show that λ₁(G)≤λ₁(G(k ₁,k ₂, ...,k _n )) < for all positive integersk ₁,k ₂,…,k _n , where λ₁ denotes the largest eigenvalue.     

Functional equations for vector products and quaternions

In our paper we find all functions ${f : \mathbb {R} \times \mathbb {R}^{3} \rightarrow \mathbb {H}}$ and ${g : \mathbb {R}^{3} \rightarrow \mathbb {H}}$ satisfying ${f (r, {\bf v}) f (s, {\bf w}) = -\langle{\bf v},{\bf w}\rangle + f (rs, s{\bf v} + r{\bf w} + {\bf v} \times {\bf w})}$ ${(r, s \in \mathbb {R}, {\bf v},{\bf w} \in \mathbb {R}^{3})}$ , and ${g({\bf v})g({\bf w}) = -\langle{\bf v}, {\bf w}\rangle + g({\bf v} \times {\bf w})}$ $({{\bf v},{\bf w} \in \mathbb {R}^{3}})$ . These functional equations were motivated by the well-known identities for vector products and quaternions, which can be obtained from the solutions f (r, (v ₁, v ₂, v ₃)) = r + v ₁ i + v ₂ j + v ₃ k and g((v ₁ ,v ₂, v ₃)) = v ₁ i + v ₂ j + v ₃ k.     

On the distribution of integer random variables related by a certain linear inequality: III

We consider tuples {N _jk }, j = 1, 2, ..., k = 1, ..., q _j , of nonnegative integers such that $$ \sum\limits_{j = 1}^\infty {\sum\limits_{k = 1}^{q_j } {jN_{jk} } } \leqslant M. $$ Assuming that q _j ～ j ^d?1, 1 < d < 2, we study how the probabilities of deviations of the sums $ \sum\nolimits_{j = j_1 }^{j_2 } {\sum\nolimits_{k = 1}^{q_j } {N_{jk} } } $ N _jk from the corresponding integrals of the Bose-Einstein distribution depend on the choice of the interval [j ₁,j ₂].     

On the positive nonoscillatory solutions of the difference equation Xn＋1=α＋（xn-k/xn-m）^p

The aim of this paper is to show that the following difference equation：Xn＋1=α＋（xn-k/xn-m）^p, n=0,1,2,…,
where α 〉 -1, p 〉 O, k,m ∈ N are fixed, 0 ≤ m 〈 k, x-k, x-k＋1,…,x-m,…,X-1, x0 are positive, has positive nonoscillatory solutions which converge to the positive equilibrium x=α＋1. It is interesting that the method described in the paper, in some cases can also be applied when the parameter α is variable.     

Generalized latin square

LetX be a n-set and letA = [a_ij] be an xn matrix for whichaij ?X, for 1 ≤i, j ≤n. A is called a generalized Latin square onX, if the following conditions is satisfied: $ \cup _{i = 1}^n a_{ij} = X = \cup _{j = 1}^n a_{ij} $ . In this paper, we prove that every generalized Latin square has an orthogonal mate and introduce a H_v -structure on a set of generalized Latin squares. Finally, we prove that every generalized Latin square of ordern, has a transversal set.     

Oscillatory Properties of Solutions of Impulsive Differential Equations With Several Retarded Arguments

The impulsive differential equation $\begin{gathered} x\prime (t) + \sum\limits_{i = 1}^m {p_i (t)x(t - \tau _i ) = 0,} {\text{ }}t \ne \xi _k , \\ \Delta x(\xi _k ) = b_k x(\xi _k ) \\ \end{gathered} $ with several retarded arguments is considered, where p _i(t) ≥ 0, 1 + b _k > 0 for i = 1, ..., m, t ≥ 0, $k \in \mathbb{N}$ . Sufficient conditions for the oscillation of all solutions of this equation are found.     

Isothermic Submanifolds

We propose an answer to a question raised by F. Burstall: Is there any interesting theory of isothermic submanifolds of ? ⁿ of dimension greater than two? We call an n-immersion f(x) in ? ^m isothermic _k if the normal bundle of f is flat and x is a line of curvature coordinate system such that its induced metric is of the form $\sum_{i=1}^{n} g_{ii}\,\mathrm{d} x_{i}^{2}$ with $\sum_{i=1}^{n} \epsilon_{i} g_{ii}=0$ , where ?? _i =1 for 1??i??n?k and ?? _i =?1 for n?k<i??n. A smooth map (f ₁,??,f _n ) from an open subset ${\mathcal{O}}$ of ? ⁿ to the space of m×n matrices is called an n-tuple of isothermic _k n-submanifolds in ? ^m if each f _i is an isothermic _k immersion, $(f_{i})_{x_{j}}$ is parallel to $(f_{1})_{x_{j}}$ for all 1??i,j??n, and there exists an orthonormal frame (e ₁,??,e _n ) and a GL(n)-valued map (a _ij ) such that $\mathrm{d}f_{i}= \sum_{j=1}^{n} a_{ij} e_{j}\,\mathrm {d} x_{j}$ for 1??i??n. Isothermic₁ surfaces in ?³ are the classical isothermic surfaces in ?³. Isothermic _k submanifolds in ? ^m are invariant under conformal transformations. We show that the equation for n-tuples of isothermic _k n-submanifolds in ? ^m is the $\frac{O(m+n-k,k)}{O(m)\times O(n-k,k)}$ -system, which is an integrable system. Methods from soliton theory can therefore be used to construct Christoffel, Ribaucour, and Lie transforms, and to describe the moduli spaces of these geometric objects and their loop group symmetries.     

Моносплайны и наилуч шие квадратурные фор мулы для некоторых классо в непериодических фу нкций

The following quadrature formulae are considered: $$\int\limits_0^1 {f(x)dx = \mathop \sum \limits_{k = 1}^n a_k f(x_k ) + \mathop \sum \limits_{i = 1}^l } b_i f^{(\alpha _i )} (0) + \mathop \sum \limits_{j = 1}^m c_j f^{(\beta _j )} (1) + R(f),$$ where 0≦x₁2<...n≦1 0≦α _i , β_j≦r?1;l, m, n, andr are positive integers. The problem of existence and uniqueness of the best quadrature formula is solved for the classesW ^r L _p (r=1, 2, ...; 1<p≦∞), obtaining the characteristic properties of its nodesx _k and weightsa _k ,b _i , andc _j .     

Eine Erweiterung des Riemann-Lebesgue-Lemmas

It is proved that iff∈L ₁(?),f'∈L ₁(?) and ∫∣x∣ ⁱ ∣f(x)∣dx<∞ fori=1, ...,k?1 and ifA=(a _ij ) is a (k×k)-matrix with non-vanishing determinant, for $$\tilde f_A (\zeta ): = \smallint \exp (i\zeta _1 \sum\limits_{j = 1}^k {a_{1j} x^j } + ... + i\zeta _k \sum\limits_{j = 1}^k {a_{kj} x^j } )f(x)dx$$ the following relation holds: $$\tilde f_A (\zeta ) = O(\left\| \zeta \right\|)^{ - b_k } with b_k : = (\sum\limits_{j = 1}^k {j!)^{ - 1} } for k \in \mathbb{N}$$ .     

On Bipartite Distance-Regular Graphs with Intersection Numbers c i = (q i ? 1)/(q ? 1)

Let q denote an integer at least two. Let ?? denote a bipartite distance-regular graph with diameter D ?? 3 and intersection numbers c _i = (q ⁱ ? 1)/(q ? 1), 1 ?? i ?? D. Let X denote the vertex set of ?? and let ${V = \mathbb{C}^X}$ denote the vector space over ${\mathbb{C}}$ consisting of column vectors whose coordinates are indexed by X and whose entries are in ${\mathbb{C}}$ . For ${z \in X}$ , let ${{\hat z}}$ denote the vector in V with a 1 in the z-coordinate and 0 in all other coordinates. Fix ${x, y \in X}$ such that ?(x, y) = 2, where ? denotes the path-length distance function. For 0 ?? i, j ?? D define ${w_{ij} = \sum {\hat z}}$ , where the sum is over all ${z \in X}$ such that ?(x, z) = i and ?(y, z) = j. We define W?=?span{w _ij | 0 ?? i, j ?? D}. In this paper we consider the space ${MW={\rm span} \{mw \mid m \in M, w \in W\}}$ , where M is the Bose?CMesner algebra of ??. We observe that MW is the minimal A-invariant subspace of V which contains W, where A is the adjacency matrix of ??. We give a basis for MW that is orthogonal with respect to the Hermitean dot product. We compute the square-norm of each basis vector. We compute the action of A on the basis. For the case in which ?? is the dual polar graph D _D (q) we show that the basis consists of the characteristic vectors of the orbits of the stabilizer of x and y in the automorphism group of ??.     

An inverse problem of the three-dimensional wave equation for a general annular vibrating membrane with piecewise smooth boundary conditions

This paper deals with the very interesting problem about the influence of piecewise smooth boundary conditions on the distribution of the eigenvalues of the negative Laplacian inR ³. The asymptotic expansion of the trace of the wave operator $\widehat\mu (t) = \sum\limits_{\upsilon = 1}^\infty {\exp \left( { - it\mu _\upsilon ^{1/2} } \right)} $ for small ?t? and $i = \sqrt { - 1} $ , where $\{ \mu _\nu \} _{\nu = 1}^\infty $ are the eigenvalues of the negative Laplacian $ - \nabla ^2 = - \sum\limits_{k = 1}^3 {\left( {\frac{\partial }{{\partial x^k }}} \right)} ^2 $ in the (x ¹,x ²,x ³), is studied for an annular vibrating membrane Ω inR ³ together with its smooth inner boundary surfaceS ₁ and its smooth outer boundary surfaceS ₂. In the present paper, a finite number of Dirichlet, Neumann and Robin boundary conditions on the piecewise smooth componentsS ^* _i(i=1, …,m) ofS ₁ and on the piecewise smooth componentsS ^* _i(i=m+1, …,n) ofS ₂ such that $S_1 = \bigcup\limits_{i = 1}^m {S_i^* } $ and $S_2 = \bigcup\limits_{i = m + 1}^n {S_i^* } $ are considered. The basic problem is to extract information on the geometry of the annular vibrating membrane ω from complete knowledge of its eigenvalues by analyzing the asymptotic expansions of the spectral function $\widehat\mu (t)$ for small ?t?.     

An estimate of an incomplete linear form in several algebraic numbers

Letμ>m?1, letν be a rational number, and letω _k=b _k ^v , where b_k ≠ 0 are distinct numbers of an imaginary quadratic field K, which satisfy some additional conditions. Then $$\begin{gathered} |{}_1x_1 \omega _1 + ... + x_m \omega _m | > X^{ - \mu } , \hfill \\ X = \max |x_k | \geqslant X, > 0, \hfill \\ 1 \leqslant k \leqslant m \hfill \\ \end{gathered}$$ where x₁, ..., x_m are integers of the field K, and X₀ is an effective constant.     

Wolff’s inequality in multi-parameter Morrey spaces

We prove Wolff inequalities for multi-parameter Riesz potentials and Wolff potentials in Lebesque spaces L ^p (R ^d ) and multi-parameter Morrey spaces ${L^p_\lambda (R^d)}$ , where ${R^d=R^{n_1} \times R^{n_2} \times \cdots \times R^{n_k},\, \lambda = (\lambda _1,\ldots ,\lambda _k})$ and 0?<?λ _i ≤ n _i , 1?≤ i ≤ k, in the dyadic case as well as in the non-dyadic (continuous) case.     

On certain forms and quadrics related to symplectic dual polar spaces in characteristic 2

Let V be a 2n-dimensional vector space over a field ${\mathbb {F}}$ and ξ a non-degenerate alternating form defined on V. Let Δ be the building of type C _n formed by the totally ξ-isotropic subspaces of V and, for 1 ≤ k ≤ n, let ${\mathcal {G}_k}$ and Δ _k be the k-grassmannians of PG(V) and Δ, embedded in ${W_k=\wedge^kV}$ and in a subspace ${V_k\subseteq W_k}$ respectively, where ${{\rm dim}(V_k)={2n \choose k} - {2n \choose {k-2}}}$ . This paper is a continuation of Cardinali and Pasini (Des. Codes. Cryptogr., to appear). In Cardinali and Pasini (to appear), focusing on the case of k = n, we considered two forms α and β related to the notion of ‘being at non maximal distance’ in ${\mathcal {G}_n}$ and Δ _n and, under the hypothesis that ${{\rm char}(\mathbb {F}) \neq 2}$ , we studied the subspaces of W _n where α and β coincide or are opposite. In this paper we assume that ${{\rm char}(\mathbb {F}) = 2}$ . We determine which of the quadrics associated to α or β are preserved by the group ${G= {\rm Sp}(2n, \mathbb {F})}$ in its action on W _n and we study the subspace ${\mathcal {D}}$ of W _n formed by vectors v such that α(v, x) = β(v, x) for every ${x \in W_n}$ . Finally, we show how properties of ${\mathcal {D}}$ can be exploited to investigate the poset of G-invariant subspaces of V _k for k = n ? 2i and ${1\leq i \leq \lfloor n/2\rfloor}$ .