On the difference equation y_{n + 1} = \frac{{\alpha + y_n^p }} {{\beta y_{n - 1}^p }} - \frac{{\gamma + y_{n - 1}^p }} {{\beta y_n^p }}

In this paper, we investigate the global stability and the periodic nature of solutions of the difference equation $y_{n + 1} = \frac{{\alpha + y_n^p }} {{\beta y_{n - 1}^p }} - \frac{{\gamma + y_{n - 1}^p }} {{\beta y_n^p }},n = 0,1,2,... $ where α, β, γ ∈ (0,∞), α(1 ? p) ? γ > 0, 0 < p < 1, every y _n ≠ 0 for n = ?1, 0, 1, 2, … and the initial conditions y?1, y0 are arbitrary positive real numbers. We show that the equilibrium point of the difference equation is a global attractor with a basin that depends on the conditions of the coefficients.     

Oscillation and Nonoscillation of Second Order Neutral Delay Difference Equations

Some new oscillation and nonoscillation criteria for the second order neutral delay difference equation

Oscillation of partial difference equations with continuous variables

In this paper, we consider the partial difference equation with continuous variables of the form P₁z(x + a, y + b) + p₂z (x + a, y) + p₃z (x, y + b) − p₄z (x, y) + P (x, y) z (x − τ, y − σ) = 0, where P ϵ C(R⁺ × R⁺, R⁺ − {0}), a, b, τ, σ are real numbers and p_i (i = 1, 2, 3, 4) are nonnegative constants. Some sufficient conditions for all solutions of this equation to be oscillatory are obtained.     

Existence of triple solutions of discrete (n,p) boundary value problems

We consider the following boundary value problem: −Δⁿy = F(k,y, Δy,…,Δⁿ⁻¹y), k ϵ Z[n − 1, N], Δⁱy(0) = 0, 0 ≤ i ≤ n − 2, Δ^py(N + n - p) = 0, where n ≥ 2 and p is a fixed integer satisfying 0 ≤ p ≤ n − 1. Using a fixed-point theorem for operators on a cone, we shall yield the existence of at least three positive solutions.     

Singular (k,n − k) boundary value problems between conjugate and right focal

For 1 ⩽k⩽n − 1 and 0 ⩽q⩽k − 1, solutions are obtained for the boundary value problem, (−1)^n−k = f(x,y), y⁽ⁱ⁾=0, 0⩽i⩽k − 1, and y⁽ⁱ⁾ = 0, q⩽j⩽n − k + q − 1, where f(x,y) is singular at y = 0. An application is made of a fixed point theorem for operators that are decreasing with respect to a cone.     

Upper bound for the product of nonhomogeneous linear forms

It is proved that for any unimodular lattice Λ with homogeneous minimum L>0 and any set of real numbers α₁, α₂,..., α_n there exists a point (y₁, y₂,..., y_n) of Λ such that $$\Pi _{1 \leqslant i \leqslant n} |y_i + \alpha _i | \leqslant 2^{ - n/2_\gamma n} (1 + 3L^{8/(3n)/(\gamma ^{2/3} - 2L^{8/(3n)} )} )^{ - n/2} ,$$ where γⁿ= n^n/(n?1).     

Bilinear Relative Equilibria of Identical Point Vortices

A new class of bilinear relative equilibria of identical point vortices in which the vortices are constrained to be on two perpendicular lines, conveniently taken to be the x- and y-axes of a Cartesian coordinate system, is introduced and studied. In the general problem we have m vortices on the y-axis and n on the x-axis. We define generating polynomials q(z) and p(z), respectively, for each set of vortices. A second-order, linear ODE for p(z) given q(z) is derived. Several results relating the general solution of the ODE to relative equilibrium configurations are established. Our strongest result, obtained using Sturm’s comparison theorem, is that if p(z) satisfies the ODE for a given q(z) with its imaginary zeros symmetric relative to the x-axis, then it must have at least n?m+2 simple, real zeros. For m=2 this provides a complete characterization of all zeros, and we study this case in some detail. In particular, we show that, given q(z)=z ²+η ², where η is real, there is a unique p(z) of degree n, and a unique value of η ²=A _n , such that the zeros of q(z) and p(z) form a relative equilibrium of n+2 point vortices. We show that $A_{n} \approx\frac{2}{3}n + \frac{1}{2}$ , as n→∞, where the coefficient of n is determined analytically, the next-order term numerically. The paper includes extensive numerical documentation on this family of relative equilibria.     

<Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">q</Emphasis>-Analogue of a linear transformation preserving log-convexity

In this paper, we establish the preserving log-convexity of linear transformation associated with p, q-analogue of Pascal triangle, i.e., if the sequence of nonnegative numbers {x_n}n is logconvex, then \({y_n} = {\sum\nolimits_{k = 0}^n {\left[ {\frac{n}{k}} \right]} _{pq}}{x_k}\) so is it for q ≠ p ≥ 1.     

On the Riesz basis property of the eigen- and associated functions of periodic and antiperiodic Sturm-Liouville problems

The paper deals with the Sturm-Liouville operator $$ Ly = - y'' + q(x)y, x \in [0,1], $$ generated in the space L ₂ = L ₂[0, 1] by periodic or antiperiodic boundary conditions. Several theorems on the Riesz basis property of the root functions of the operator L are proved. One of the main results is the following. Let q belong to the Sobolev spaceW ₁ ^p [0, 1] for some integer p ≥ 0 and satisfy the conditions q ^(k)(0) = q ^(k)(1) = 0 for 0 ≤ k ≤ s ? 1, where s ≤ p. Let the functions Q and S be defined by the equalities $$ Q(x) = \int_0^x {q(t)dt, S(x) = Q^2 (x)} $$ and let q _n , Q _n , and S _n be the Fourier coefficients of q, Q, and S with respect to the trigonometric system $ \{ e^{2\pi inx} \} _{ - \infty }^\infty $ . Assume that the sequence q _2n ? S _2n + 2Q ₀ Q _2n decreases not faster than the powers n ^?s?2. Then the system of eigenfunctions and associated functions of the operator L generated by periodic boundary conditions forms a Riesz basis in the space L ₂[0, 1] (provided that the eigenfunctions are normalized) if and only if the condition $$ q_{2n} - s_{2n} + 2Q_0 Q_{2n} \asymp q_{ - 2n} - s_{2n} + 2Q_0 Q_{ - 2n} , n > 1, $$ holds.     

Study of Some Fundamental Projective Quadrics Associated with a Standard Pseudo-Hermitian Space H p,q

This self-contained short note deals with the study of the properties of some real projective compact quadrics associated with a a standard pseudo-hermitian space H _p,q , namely [(Q(p, q))\tilde], [(Q_2p+1,1)\tilde], [(Q_1,2q+1)\tilde], [(H_p,q)\tilde].  [(Q(p, q))\tilde]{\widetilde{Q(p, q)}, \widetilde{Q_{2p+1,1}}, \widetilde{Q_{1,2q+1}}, \widetilde{H_{p,q}}. \, \widetilde{Q(p, q)}} is the (2n – 2) real projective quadric diffeomorphic to (S ^2p–1 × S ^2q–1)/Z ₂. inside the real projective space P(E ₁), where E ₁ is the real 2n-dimensional space subordinate to H _p,q . The properties of [(Q(p, q))\tilde]{\widetilde{Q(p, q)}} are investigated. [(H_p,q)\tilde]{\widetilde{H_p,q}} is the real (2n – 3)-dimensional compact manifold-(projective quadric)- associated with H _p,q , inside the complex projective space P(H _p,q ), diffeomorphic to (S ^2p–1 × S ^2q–1)/S ¹. The properties of [(H_p,q)\tilde]{\widetilde{H_{p,q}}} are studied. [(Q_2p+1,1)\tilde]{\widetilde{Q_{2p+1,1}}} is a 2p-dimensional standard real projective quadric, and [(Q_1,2q+1)\tilde]{\widetilde{Q_{1,2q+1}}} is another standard 2q-dimensional projective quadric. [(Q_2p+1,1)\tilde] è[(Q_1,2q+1)\tilde]{\widetilde{Q_{2p+1,1}} \cup \widetilde{Q_{1,2q+1}}}, union of two compact quadrics plays a part in the understanding of the "special pseudo-unitary conformal compactification" of H _p,q . It is shown how a distribution y → D _y , where y ? H\{0},H{y \in H\backslash\{0\},H} being the isotropic cone of H _p,q allows to [(H_p+1,q+1)\tilde]{\widetilde{H_{p+1,q+1}}} to be considered as a "special pseudo-unitary conformal compactified" of H _p,q × R. The following results precise the presentation given in [1,c].     

New oscillation criteria for third order nonlinear neutral difference equations

In this paper, we are concerned with oscillation of the third-order nonlinear neutral difference equation $\Delta (c_n [\Delta (d_n \Delta (x_n + p_n x_{n - \tau } ))]^\gamma ) + q_n f(x_{g(n)} ) = 0,n \geqslant n_0 ,$ where γ > 0 is the quotient of odd positive integers, c _n , d _n , p _n and q _n are positive sequences of real numbers, τ is a nonnegative integer, g(n) is a sequence of nonnegative integers and f ∈ C(?,?) such that uf(u) > 0 for u ≠ 0. Our results extend and improve some previously obtained ones. Some examples are considered to illustrate the main results.     

On the primitive divisors of the recurrent sequence $$u_{n+1}=(4\rm{cos}^2(2\pi/7)-1)\it{u}_{n}-u_{n-\rm{1}}$$ with applications to group theory

Consider the sequence of algebraic integers u_n given by the starting values u₀ = 0, u₁ = 1 and the recurrence \(u_{n+1}=(4\rm{cos}^2(2\pi/7)-1)\it{u}_{n}-u_{n-\rm{1}}\). We prove that for any n ? {1, 2, 3, 5, 8, 12, 18, 28, 30} the n-th term of the sequence has a primitive divisor in \(\mathbb{Z}[2\rm{cos}(2\pi/7)]\). As a consequence we deduce that for any suffciently large n there exists a prime power q such that the group PSL₂(q) can be generated by a pair x, y with \(x^2=y^3=(xy)^7=1\) and the order of the commutator [x, y] is exactly n. The latter result answers in affrmative a question of Holt and Plesken.     

The maximal solution of a restricted subadditive inequality in numerical analysis

For a fixed non-negative integerp, letU _2p = {U _2p (n)},n ≥ 0, denote the sequence that is defined by the initial conditions $$U_{2p} (0) = U_{2p} (1) = U_{2p} (2) = = U_{2p} (2p) = 1$$ and the restricted subadditive recursion $$U_{2p} (n + 2p + 1) = \mathop {\min }\limits_{0 \leqslant / \leqslant p} (U_{2p} (n + l) + U_{2p} (n + 2p - l)),n \geqslant 0$$ U _2p is of importance in the theory of sequential search for simple real zeros of real valued continuous 2p-th derivatives In this paper, several closed form expressions forU _2p (n), n > 2p, are determined, thereby providing insight into the structure ofU _2p Two of the properties thus illuminated are (a) the existence of exactlyp + 1 limit points (1 + 1/(p + 1 +i), 0 ≤i ≤p) of the associated sequence {U _2p (n + 1)/U _2p (n)},n ≥ 0, and (b) the relevance toU _2p of the classic number theoretic function ord     

Sharp estimates for the convergence rate of “hyperbolic” partial sums of double fourier series in orthogonal polynomials

Two-variable functions f(x, y) from the class L ₂ = L ₂((a, b) × (c, d); p(x)q(y)) with the weight p(x)q(y) and the norm $$\left\| f \right\| = \sqrt {\int\limits_a^b {\int\limits_c^d {p(x)q(x)f^2 (x,y)dxdy} } }$$ are approximated by an orthonormal system of orthogonal P _n (x)Q _n (y), n, m = 0, 1, ..., with weights p(x) and q(y). Let $$E_N (f) = \mathop {\inf }\limits_{P_N } \left\| {f - P_N } \right\|$$ denote the best approximation of f ?? L ₂ by algebraic polynomials of the form $$\begin{array}{*{20}c} {P_N (x,y) = \sum\limits_{0 < n,m < N} {a_{m,n} x^n y^m ,} } \\ {P_1 (x,y) = const.} \\ \end{array}$$ . Consider a double Fourier series of f ?? L ₂ in the polynomials P _n (x)Q _m (y), n, m = 0, 1, ..., and its ??hyperbolic?? partial sums $$\begin{array}{*{20}c} {S_1 (f;x,y) = c_{0,0} (f)P_o (x)Q_o (y),} \\ {S_N (f;x,y) = \sum\limits_{0 < n,m < N} {c_{n,m} (f)P_n (x)Q_m (y), N = 2,3, \ldots .} } \\ \end{array}$$ A generalized shift operator Fh and a kth-order generalized modulus of continuity ?? _k (A, h) of a function f ?? L ₂ are used to prove the following sharp estimate for the convergence rate of the approximation: $\begin{gathered} E_N (f) \leqslant (1 - (1 - h)^{2\sqrt N } )^{ - k} \Omega _k (f;h),h \in (0,1), \hfill \\ N = 4,5,...;k = 1,2,... \hfill \\ \end{gathered} $ . Moreover, for every fixed N = 4, 9, 16, ..., the constant on the right-hand side of this inequality is cannot be reduced.     

Two problems in metric diophantine approximation,II

For an arbitrary sequence {α_n} of nonnegative real numbers there is no known necessary and sufficient condition that for almost all x (in the sense of Lebesgue measure) there are infinitely many fractions $\text{p}\text{q}$ satisfying $\text{|x ?}\text{p}\text{q}\text{| <}\text{α}{}_{\mathrm{q}}\text{q}$. With a restriction on {α_n} weaker than any previously used, except in a recent result of Erdös, we solve this problem and the analogous problem where p and q are required to be relatively prime.     

Isometric embed-dings between classical Banach spaces,cubature formulas,and spherical designs

If an isometric embeddingl _p ^m →l _q ⁿ with finitep, q>1 exists, thenp=2 andq is an even integer. Under these conditions such an embedding exists if and only ifn?N(m, q) where $$\left( {\begin{array}{*{20}c} {m + q/2 - 1} \\ {m - 1} \\ \end{array} } \right) \leqslant N(m,q) \leqslant \left( {\begin{array}{*{20}c} {m + q - 1} \\ {m - 1} \\ \end{array} } \right).$$ To construct some concrete embeddings, one can use orbits of orthogonal representations of finite groups. This yields:N(2,q)=q/2+1 (by regular (q+2)-gon),N(3, 4)=6 (by icosahedron),N(3, 6)?11 (by octahedron), etc. Another approach is based on relations between embeddings, Euclidean or spherical designs and cubature formulas. This allows us to sharpen the above lower bound forN(m, q) and obtain a series of concrete values, e.g.N(3, 8)=16 andN(7, 4)=28. In the cases (m, n, q)=(3, 6, 10) and (3, 8, 15) some ε-embeddings with ε ～ 0.03 are constructed by the orbit method. The rigidness of spherical designs in Bannai's sense and a similar property for the embeddings are considered, and a conjecture of [7] is proved for any fixed (m, n, q).     

Regularity for weakly (K<Subscript>1</Subscript>, K<Subscript>2</Subscript>)-quasiregular mappings

In this paper, we first give the definition of weakly (K₁,K₂-quasiregular mappings, and then by using the Hodge decomposition and the weakly reverse Hölder inequality, we obtain their regularity property: For anyq ₁ that satisfies\(0< K_1 n^{(n + 4)/2} 2^{n + 1} \times 100^{n^2 } [2^{3n/2} (2^{5n} + 1)](n - q_1 )< 1\), there existsp ₁=p ₁(n,q ₁,K ₁,K ₂)>n, such that any (K₁, K₂)-quasiregular mapping\(f \in W_{loc}^{1,q_1 } (\Omega ,R^n )\) is in fact in\(W_{loc}^{1,p_1 } (\Omega , R^n )\). That is, f is (K₁,K₂)-quasiregular in the usual sense.     

Zeros of polynomials embedded in an orthogonal sequence

Let $\{x_{k,n}\}_{k=1}^n$ and $\{x_{k,n+1}\}_{k=1}^{n+1}$ , n?????, be two given sets of real distinct points with x _1,n?+?1?<?x _1,n ?<?x _2,n?+?1?<?...?<?x _n,n ?<?x _n?+?1,n?+?1. Wendroff (cf. Proc Am Math Soc 12:554?C555, 1961) proved that if $p_n(x)=\displaystyle{\prod\limits_{k=1}^n(x-x_{k,n})}$ and $p_{n+1}(x)=\displaystyle \prod\limits_{k=1}^{n+1}(x-x_{k,n+1})$ then p _n and p _n?+?1 can be embedded in a non-unique infinite monic orthogonal sequence $\{p_n\}_{n=0}^{\infty}$ . We investigate the connection between the zeros of p _n?+?2 and the two coefficients b _n?+?1????? and ?? _n?+?1?>?0, which are chosen arbitrarily, that define p _n?+?2 via the three term recurrence relation $$ p_{n+2}(x)=(x-b_{n+1})p_{n+1}(x)-\lambda_{n+1}p_n(x). $$      

Minimal quadratic residue cyclic codes of lengthp n(p odd prime)

The explicit expressions for the 2n + 1 primitive idempotents in $R_{p^ - } = F[x]/< x^{p^ - } - 1 > $ , whereF is the field of prime power orderq and the multiplicative order ofq modulop ⁿ is ?(p ⁿ)/2 (n ≥ 1 andp is an odd prime), are obtained. An algorithm for computing the generating polynomials of the minimal QR cyclic codes of lengthp ⁿ, generated by these primitive idempotents, is given and hence some bounds on the minimum distance of some QR codes of prime length overGF(q)(q = 2, 3, ...) are obtained.     

How many integer homogeneous polynomials at small coprime integers have value of a univariate polynomial?

Let p(y) = p _m y ^m + p _m?1 y ^m?1 + ?+ p ₀ ?? $ \mathbb{Z} $ [y] be a polynomial of degree m > 0 in an integer variable. We estimate the number of times it equals some homogeneous polynomial in two variables with integer coefficients, degree at most n, and Euclidean norm at most N evaluated at a pair of small coprime integers (we count this number with the occurring multiplicities). For pairs of coprime integers of absolute value at most $ H<N/\sqrt{n} $ , this estimate is ?? _n,p (H)N ^n+1/m + O(N ^n+1/m?1 H ³ + N ⁿ H ²), where ?? _n,p (H) does not depend on N.