On the period five trichotomy of all positive solutions of xn+1=(p+xn−2)/xn

We study the behavior of all positive solutions of the difference equation in the title, where p is a positive real parameter and the initial conditions x₋₂,x₋₁,x₀ are positive real numbers. For all the values of the positive parameter p there exists a unique positive equilibrium x? which satisfies the equation

     

A residual transcendental extension of a valuation on K to K(x1, … , xn)

Let v be a valuation of a field K, G_v its value group and k_v its residue field. Let w be an extension of v to K(x₁, … , x_n). w is called a residual transcendental extension of v if k_w/k_v is a transcendental extension. In this study a residual transcendental extension w of v to K(x₁, … , x_n) such that transdegk_w/k_v = n is defined and some considerations related with this valuation are given.     

On a continuous analogue of the stochastic difference equation Xn=ρXn-1+Bn

Let B₁, B₂, ... be a sequence of independent, identically distributed random variables, letX₀ be a random variable that is independent ofB_n forn?1, let ρ be a constant such that 0<ρ<1 and letX₁,X₂, ... be another sequence of random variables that are defined recursively by the relationshipsX_n=ρX_n-1+B_n. It can be shown that the sequence of random variablesX₁,X₂, ... converges in law to a random variableX if and only ifE[log⁺¦B₁¦]<∞. In this paper we let {B(t):0≦t<∞} be a stochastic process with independent, homogeneous increments and define another stochastic process {X(t):0?t<∞} that stands in the same relationship to the stochastic process {B(t):0?t<∞} as the sequence of random variablesX₁,X₂,...stands toB₁,B₂,.... It is shown thatX(t) converges in law to a random variableX ast →+∞ if and only ifE[log⁺¦B(1)¦]<∞ in which caseX has a distribution function of class L. Several other related results are obtained. The main analytical tool used to obtain these results is a theorem of Lukacs concerning characteristic functions of certain stochastic integrals.     

Periodic solutions of the Lyness max equation

We investigate the periodic nature of solutions of a “max-type” difference equation sometimes referred to as the “Lyness max” equation. The equation we consider is x_n+1=max{x_n,A}/x_n−1, n=0,1,…, where A is a positive real parameter and the initial conditions are arbitrary positive numbers. We also present related results for a similar equation sometimes referred to as the “period 7 max” equation.     

A stability property of the unit vector basis ofl p

Let {e _n} be the unit vector basis ofl _p, l<p<∞, and letx _n=a_ne_n?b_nen+1. Necessary and sufficient conditions are given for the operatorT:l _p → span {x _n} defined byTe _i=x_i to be invertible.     

The diophantine equation x3 + 3y3 = 2n

It is proved that the equation of the title has a finite number of integral solutions (x, y, n) and necessary conditions are given for (x, y, n) in order that it can be a solution (Theorem 2). It is also proved that for a given odd x₀ there is at most one integral solution (y, n), n ≥ 3, to x₀³ + 3y³ = 2ⁿ and for a given odd y₀ there is at most one integral solution (x, n), n ≥ 3, to x³ + 3y₀³ = 2ⁿ.     

Partial difference equations in m1⩾m2⩾⋯⩾mn⩾0 and their applications to combinatorics

Various discrete functions encountered in Combinatorics are solutions of Partial Difference Equations in the subset of Nⁿ given by m₁?m₂???m_n?0. Given a partial difference equation, it is described how to pass from the standard “easy” solution of an equation in Nⁿ to a solution of the same equation subject to certain “Dirichlet” or “Neumann” boundary conditions in the domain m₁?m₂???m_n?0 and related domains. Applications include a rather quick derivation of MacMahon's generating function for plane partitions, a generalization and q-analog of the Ballot problem, and a joint analog of the Ballot problem and Simon Newcomb's problem.     

A note on contiguity and L1-norm

The interrelationship between the property of contiguity of two sequences of probability measures {P_n} and {Q_n} and the convergence to zero of ∥P_n ? Q_n∥ is extendended and clarified.     

On the completeness of the system of function {e sin λnx}n = 1

In this paper, the biorthogonal system corresponding to the system {e^−αnx sin nx}_{n = 1}^∞ is represented in an appropriate form so that it is possible to obtain sufficiently good estimates of its norm. Then, by the stability of a completeness property we prove that the system of functions {e^−αλ_nx sin λ_nx}_{n = 1}^∞ is complete.     

Dynamics of the max-type difference equation x_{n}=\max\{\frac{ 1}{ x_{n-m}} , \frac{A_{n} }{x_{n-r} }\}

In this paper, we study the periodicity, the boundedness and the convergence of the following max-type difference equation $$x_n =\max\biggl\{\frac{ 1}{ x_{n-m}} , \frac{A_n }{x_{n-r} }\biggr \},\quad n =0, 1,2,\ldots,$$ where $\{A_{n}\}^{+\infty}_{n=0}$ is a periodic sequence with period k and A _n ??(0,1) for every n??0, m??{1,2} and r??{2,3,??} with m<r, the initial values x _?r ,??,x _?1??(0,+??). The special case when $m = 1, r = 2, \{A_{n}\}^{+\infty}_{ n=0}$ is a periodic sequence with period k and A _n ??(0,1) for every n??0 has been completely investigated by Y.?Chen. Here we extend his results to the general case.     

Distribution of roots of quasianalytic functions

For functions of certain quasianalytic classes C{m_n} on (?∞, ∞) we determine a function ξ (x), depending on {m_n}, which is such that a sequence {x_k} is a sequence of the roots off(x) ε C{m_n} if and only if for somea $$\int_a^\infty {\tfrac{{dn(x)}}{{\xi (x - a}}< \infty ,} $$ where n(x) is a distribution function of the sequence {x_k}.     

On symmetric basic sequences in lorentz sequence spaces II

It is shown that if {y _n} is a block of type I of a symmetric basis {x _n} in a Banach spaceX, then {y _n} is equivalent to {x _n} if and only if the closed linear span [y _n] of {y _n} is complemented inX. The result is used to study the symmetric basic sequences of the dual space of a Lorentz sequence spaced(a, p). Let {x _n,f _n} be the unit vector basis ofd(a, p), for 1≤p<+∞. It is shown that every infinite-dimensional subspace ofd(a, p) (respectively, [f _n] has a complemented subspace isomorphic tol _p (respectively,l _q, 1/p+1/q=1 when 1<p<+∞ andc ₀ whenp=1) and numerous other results on complemented subspaces ofd(a, p) and [f _n] are obtained. We also obtain necessary and sufficient conditions such that [f _n] have exactly two non-equivalent symmetric basic sequences. Finally, we exhibit a Banach spaceX with symmetric basis {x _n} such that every symmetric block basic sequence of {x _n} spans a complemented subspace inX butX is not isomorphic to eitherc ₀ orl _p, 1≤p<+∞.     

On the diophantine equation x(x + 1)(x + 2)…(x + (m − 1)) =g(y)

Let g(y) ? Q[Y] be an irreducible polynomial of degree n ≥ 3. We prove that there are only finitely many rational numbers x, y with bounded denominator and an integer m ≥ 3 satisfying the equation x(x + 1) (x + 2)…(x + (m − 1) ) = g(y). We also obtain certain finiteness results when g(y) is not an irreducible polynomial.     

Iterative solution of nonlinear equations of accretive and pseudocontractive types

Let E be a real uniformly smooth Banach space. Let A:D(A)=E→2E be an accretive operator that satisfies the range condition and A⁻¹(0)≠∅. Let {λ_n} and {θ_n} be two real sequences satisfying appropriate conditions, and for z∈E arbitrary, let the sequence {x_n} be generated from arbitrary x₀∈E by x_n+1=x_n−λ_n(u_n+θ_n(x_n−z)), u_n∈Ax_n, n?0. Assume that {u_n} is bounded. It is proved that {x_n} converges strongly to some x∗∈A−1(0). Furthermore, if K is a nonempty closed convex subset of E and T:K→K is a bounded continuous pseudocontractive map with F(T):={Tx=x}≠∅, it is proved that for arbitrary z∈K, the sequence {x_n} generated from x₀∈K by x_n+1=x_n−λ_n((I−T)x_n+θ_n(x_n−z)), n?0, where {λ_n} and {θ_n} are real sequences satisfying appropriate conditions, converges strongly to a fixed point of T.     

The crossing number of C3 × Cn

The crossing number of the Cartesian product C₃ × C_n of a 3-cycle and an n-cycle is shown to be n.     

Strong convergence theorems obtained by a generalized projections hybrid method for families of mappings in Banach spaces

Let C be a nonempty, closed and convex subset of a uniformly convex and smooth Banach space and let {T_n} be a family of mappings of C into itself such that the set of all common fixed points of {T_n} is nonempty. We consider a sequence {x_n} generated by the hybrid method by generalized projection in mathematical programming. We give conditions on {T_n} under which {x_n} converges strongly to a common fixed point of {T_n} and generalize the results given in [12], [14], [13] and [11].     

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.     

Approximate fixed point sequences and convergence theorems for asymptotically pseudocontractive mappings

Let K be a nonempty closed convex and bounded subset of a real Banach space E and T:K→K be uniformly L-Lipschitzian, uniformly asymptotically regular with sequence {ε_n}, and asymptotically pseudocontractive with constant {k_n}, where {k_n} and {ε_n} satisfy certain mild conditions. Let a sequence {x_n} be generated from x₁∈K by x_n+1:=(1−λ_n)x_n+λ_nTⁿx_n−λ_nθ_n(x_n−x₁), for all integers n?1, where {λ_n} and {θ_n} are real sequences satisfying appropriate conditions, then ‖x_n−Tx_n‖→0 as n→∞. Moreover, if E is reflexive, and has uniform normal structure with coefficient N(E) and L<N(E)^1/2 and has a uniformly Gâteaux differentiable norm, and T satisfies an additional mild condition, then {x_n} also converges strongly to a fixed point of T.     

Unbounded solutions of the max-type difference equation x_{n + 1} = max\left\{ {\frac{{A_n }} {{X_n }},\frac{{B_n }} {{X_{n - 2} }}} \right\}

We investigate the boundedness nature of positive solutions of the difference equation $$ x_{n + 1} = max\left\{ {\frac{{A_n }} {{X_n }},\frac{{B_n }} {{X_{n - 2} }}} \right\},n = 0,1,..., $$ where {A _n } _n=0 ^∞ and {B _n } _n=0 ^∞ are periodic sequences of positive real numbers.     

Moufang Loops of Odd Orderpq1 ··· qnr1 ··· rm

LetLbe a Moufang loop of odd orderpαqα11···qnαnwherepandqiare primes with 3 ≤ p < q1 < ··· < qnand αi ≤ 2. In this paper, we prove thatLis a group ifpandqiare primes with 3 ≤ p < q1 < ··· < qn: (i) α ≤ 3, or (ii) α ≤ 4,p ≥ 5.