On the recursive sequence

Our aim in this paper is to investigate the global asymptotic stability of all positive solutions of the higher order nonlinear difference equation

where B, C and α, β, γ are positive, k {1, 2, 3, … }, and the initial conditions x_−2k+1, … , x₋₁, x₀ are positive real numbers. We show that the unique positive equilibrium of the equation is globally asymptotically stable and has some basins that depend on certain conditions posed on the coefficients. Our concentration is on invariant intervals, the character of semicycles, and the boundedness of the above mentioned equation. Our final comments are about informative examples.     

Global well-posedness and scattering for the defocusing -subcritical Hartree equation in

We prove the global well-posedness and scattering for the defocusing -subcritical (that is, 2<γ<3) Hartree equation with low regularity data in , d3. Precisely, we show that a unique and global solution exists for initial data in the Sobolev space with s>4(γ−2)/(3γ−4), which also scatters in both time directions. This improves the result in [M. Chae, S. Hong, J. Kim, C.W. Yang, Scattering theory below energy for a class of Hartree type equations, Comm. Partial Differential Equations 33 (2008) 321–348], where the global well-posedness was established for any s>max(1/2,4(γ−2)/(3γ−4)). The new ingredients in our proof are that we make use of an interaction Morawetz estimate for the smoothed out solution Iu, instead of an interaction Morawetz estimate for the solution u, and that we make careful analysis of the monotonicity property of the multiplier m(ξ)ξ^p. As a byproduct of our proof, we obtain that the H^s norm of the solution obeys the uniform-in-time bounds.     

The implicitization problem for

We develop in this paper methods for studying the implicitization problem for a rational map defining a hypersurface in , based on computing the determinant of a graded strand of a Koszul complex. We show that the classical study of Macaulay resultants and Koszul complexes coincides, in this case, with the approach of approximation complexes and we study and give a geometric interpretation for the acyclicity conditions.Under suitable hypotheses, these techniques enable us to obtain the implicit equation, up to a power, and up to some extra factor. We give algebraic and geometric conditions for determining when the computed equation defines the scheme theoretic image of , and, what are the extra varieties that appear. We also give some applications to the problem of computing sparse discriminants.     

Screw invariant marginally trapped surfaces in Minkowski 4-space

A spacelike surface in a Lorentzian manifold whose mean curvature vector is lightlike everywhere is called marginally trapped. The classification of marginally trapped surfaces in Minkowski 4-space which are invariant under a subgroup of the Lorentz group that leaves invariant a lightlike direction, i.e. the so-called screw invariant surfaces, is obtained. As corollaries, the screw invariant marginally trapped surfaces with harmonic mean curvature vector and with prescribed Gaussian curvature are explicitly described.     

Double point self-transverse immersions of

A self-transverse immersion of a smooth manifold M^8k in has a double point self-intersection set which is the image of an immersion of a smooth four-dimensional manifold, cobordent to P⁴, P²×P², P⁴+P²×P² or a boundary. We will prove that for any value of k>1 the double point self-intersection set is a boundary. If k=1, then there exists an immersion of P²×P²×P²×P² in with double point manifold boundary and odd number of triple points. In particular any immersion of oriented manifold in this dimension has double point manifold cobordant to a boundary.     

Generalized type theorems in topological spaces with applications

In this work, some new generalized type theorems for generalized mappings with compactly open values are established in topological spaces without any convexity assumptions. As applications, a Ky Fan type matching theorem, fixed point theorem and coincidence theorem are obtained in topological spaces. These results generalize some known results from the recent literature.     

Strictly positive definite functions in

We give a sufficient condition for strictly positive definiteness in . The result is based on the question how sparse subsets of can be to guarantee linear independence of the exponentials.     

On the mean value of

Let χ be the Dirichlet character modulo q3 and L(s,χ) denote the corresponding Dirichlet L-function. The mean value of is studied and a few asymptotic formulae are given. Hybrid mean value of , general Kloosterman sums and general quadratic Gauss sums are considered.     

A characterization of the natural embedding of the split Cayley hexagon in by intersection numbers

In this paper, we prove that a set of q⁵+q⁴+q³+q²+q+1 lines of with the properties that (1) every point of is incident with either 0 or q+1 elements of , (2) every plane of is incident with either 0, 1 or q+1 elements of , (3) every solid of is incident with either 0, 1, q+1 or 2q+1 elements of , and (4) every hyperplane of is incident with at most q³+3q²+3q members of , is necessarily the set of lines of a regularly embedded split Cayley generalized hexagon in .     

Semifields of order with left nucleus and center

In [G. Marino, O. Polverino, R. Trombetti, On -linear sets of PG(3,q³) and semifields, J. Combin. Theory Ser. A 114 (5) (2007) 769–788] it has been proven that there exist six non-isotopic families (i=0,…,5) of semifields of order q⁶ with left nucleus and center , according to the different geometric configurations of the associated -linear sets. In this paper we first prove that any semifield of order q⁶ with left nucleus , right and middle nuclei and center is isotopic to a cyclic semifield. Then, we focus on the family by proving that it can be partitioned into three further non-isotopic families: , , and we show that any semifield of order q⁶ with left nucleus , right and middle nuclei and center belongs to the family .     

Compactness in

This paper is concerned with compactness for some topologies on the collection of bounded linear operators on Banach spaces. New versions of the Eberlein–Šmulian theorem and Day's lemma in the collection are established. Also we obtain a partial solution of the dual problem for the quasi approximation property, that is, it is shown that for a Banach space X if X^** is separable and X^* has the quasi approximation property, then X has the quasi approximation property.     

Coboundaries in

Let T be an ergodic automorphism of a probability space, f a bounded measurable function, . It is shown that the property that the probabilities μ(|S_n(f)|>n) are of order n^−p roughly corresponds to the existence of an approximation in L^∞ of f by functions (coboundaries) g−g○T, gL^p. Similarly, the probabilities μ(|S_n(f)|>n) are exponentially small iff f can be approximated by coboundaries g−g○T where g have finite exponential moments.

Résumé

Soit T un automorphisme ergodique d'un espace probabilisé, f une fonction bornée mesurable et . Une correspondance est établie entre l'existence de l'estimation des probabilités μ(|S_n(f)|>n) d'ordre n^−p et l'existence de l'approximation dans L^∞ de la fonction f par des cobords g−g○T où g est “presque” dans L^p. De manière similaire, les probabilités μ(|S_n(f)|>n) sont d'ordre e^−cn, pour un certain c>0, n=1,2… , si et seulement si f admet une approximation dans L^∞ par des cobords g−g○T avec g ayant des moments exponentiels.     

Classification of Lorentzian surfaces with parallel mean curvature vector in pseudo-Euclidean spaces

Spatial surfaces with parallel mean curvature vector in pseudo-Euclidean spaces of arbitrary dimension and index were classified by B.Y. Chen. In this work, we give a complete classification of Lorentzian surfaces with parallel mean curvature vector in pseudo-Euclidean spaces of arbitrary dimension and index. Consequently, the problem to classify all the surfaces with parallel mean curvature vector in pseudo-Euclidean spaces has been solved.     

Trace formulae for irreducible polynomials over with minimal order roots in

The extension field where q is a prime divisor of (P−1), has a unique structure. This paper describes this unique structure and uses it to derive formulas relating the trace values for elements in . These formulas can be refined for certain elements to produce a formula for the trace.     

The operator equation

The solution of the linear operator equation:A^n-1X+A^n-2XB++AXB^n-2+XB^n-1=Y is given by if the spectra of A and B are in the sector {z:z≠0,-π/n<argz<π/n}.     

On matrix equations and

With the help of the concept of Kronecker map, an explicit solution for the matrix equation X−AXF=C is established. This solution is neatly expressed by a symmetric operator matrix, a controllability matrix and an observability matrix. In addition, the matrix equation is also studied. An explicit solution for this matrix equation is also proposed by means of the real representation of a complex matrix. This solution is neatly expressed by a symmetric operator matrix, two controllability matrices and two observability matrices.     

Generalized rough approximations in

In this paper we will treat a generalization of inner and outer approximations of fuzzy sets, which we will call -inner and -outer approximations respectively ( being any finite set of rational numbers in [0,1]). In particular we will discuss the case of those fuzzy sets which are definable in the logic by means of step functions from the hypercube [0,1]^k and taking value in an arbitrary (finite) subset of . Then, we will show that if a fuzzy set is definable as truth table of a formula of , then both its -inner and -outer approximation are definable as truth table of formulas of . Finally, we will introduce a generalization of abstract approximation spaces and compare our approach with the notion of fuzzy rough set.     

Varieties of modules for

Let k be an algebraically closed field of characteristic 2. We prove that the restricted nilpotent commuting variety , that is the set of pairs of (n×n)-matrices (A,B) such that A²=B²=[A,B]=0, is equidimensional. can be identified with the ‘variety of n-dimensional modules’ for , or equivalently, for k[X,Y]/(X²,Y²). On the other hand, we provide an example showing that the restricted nilpotent commuting variety is not equidimensional for fields of characteristic >2. We also prove that if e²=0 then the set of elements of the centralizer of e whose square is zero is equidimensional. Finally, we express each irreducible component of as a direct sum of indecomposable components of varieties of -modules.     

On Rado numbers for

For all integers m3 and all natural numbers a₁,a₂,…,a_m−1, let n=R(a₁,a₂,…,a_m−1) represent the least integer such that for every 2-coloring of the set {1,2,…,n} there exists a monochromatic solution to

a₁x₁+a₂x₂++a_m−1x_m−1=x_m.