Strong commutativity preserving maps on Lie ideals

Let A be a prime ring and let R be a noncentral Lie ideal of A. An additive map f:R→A is called strong commutativity preserving (SCP) on R if [f(x),f(y)]=[x,y] for all x,y∈R. In this paper we show that if f is SCP on R, then there exist λ∈C, λ²=1 and an additive map μ:R→Z(A) such that f(x)=λx+μ(x) for all x∈R where C is the extended centroid of A, unless charA=2 and A satisfies the standard identity of degree 4.     

Max-min of polynomials and exponential diophantine equations

In this paper we study the maximum-minimum value of polynomials over the integer ring Z. In particular, we prove the following: Let F(x,y) be a polynomial over Z. Then, maxx∈Z(T)miny∈Z|F(x,y)|=o(T1/2) as T→∞ if and only if there is a positive integer B such that maxx∈Zminy∈Z|F(x,y)|?B. We then apply these results to exponential diophantine equations and obtain that: Let f(x,y), g(x,y) and G(x,y) be polynomials over Q, G(x,y)∈(Q[x,y]−Q[x])∪Q, and b a positive integer. For every α in Z, there is a y in Z such that f(α,y)+g(α,y)bG(α,y)=0 if and only if for every integer α there exists an h(x)∈Q[x] such that f(x,h(x))+g(x,h(x))bG(x,h(x))≡0, and h(α)∈Z.     

On approximately additive functions

Let C be a convex symmetric subset of a real Banach space F and K be a subgroup of the group (F,+). Let E be a real linear space, h:E→F, and h(x+y)−h(x)−h(y)∈K+C for x,y∈E. We prove that under some additional assumptions h can be represented in the form: h=A+γ+κ with an additive (or linear) A:E→F and some γ:E→C, κ:E→K.     

On friendly index sets of 2-regular graphs

Let G be a graph with vertex set V and edge set E, and let A be an abelian group. A labeling f:V→A induces an edge labeling f^∗:E→A defined by f^∗(xy)=f(x)+f(y). For i∈A, let v_f(i)=card{v∈V:f(v)=i} and e_f(i)=card{e∈E:f^∗(e)=i}. A labeling f is said to be A-friendly if |v_f(i)−v_f(j)|≤1 for all (i,j)∈A×A, and A-cordial if we also have |e_f(i)−e_f(j)|≤1 for all (i,j)∈A×A. When A=Z₂, the friendly index set of the graph G is defined as {|e_f(1)−e_f(0)|:the vertex labelingf is Z₂-friendly}. In this paper we completely determine the friendly index sets of 2-regular graphs. In particular, we show that a 2-regular graph of order n is cordial if and only if n?2 (mod 4).     

Norm-linear and norm-additive operators between uniform algebras

Let A⊂C(X) and B⊂C(Y) be uniform algebras with Choquet boundaries δA and δB. A map T:A→B is called norm-linear if ‖λTf+μTg‖=‖λf+μg‖; norm-additive, if ‖Tf+Tg‖=‖f+g‖, and norm-additive in modulus, if ‖|Tf|+|Tg|‖=‖|f|+|g|‖ for each λ,μ∈C and all algebra elements f and g. We show that for any norm-linear surjection T:A→B there exists a homeomorphism ψ:δA→δB such that |(Tf)(y)|=|f(ψ(y))| for every f∈A and y∈δB. Sufficient conditions for norm-additive and norm-linear surjections, not assumed a priori to be linear, or continuous, to be unital isometric algebra isomorphisms are given. We prove that any unital norm-linear surjection T for which T(i)=i, or which preserves the peripheral spectra of C-peaking functions of A, is a unital isometric algebra isomorphism. In particular, we show that if a linear operator between two uniform algebras, which is surjective and norm-preserving, is unital, or preserves the peripheral spectra of C-peaking functions, then it is automatically multiplicative and, in fact, an algebra isomorphism.     

The pexiderized Go?a?b-Schinzel functional equation

Let X be a linear space over a commutative field K. We characterize a general solution f,g,h,k:X→K of the pexiderized Go?a?b-Schinzel equation f(x+g(x)y)=h(x)k(y), as well as real continuous solutions of the equation.     

Continuous on rays solutions of an equation of the Go?a?b-Schinzel type

Let X be a real linear space. We characterize continuous on rays solutions f,g:X→R of the equation f(x+g(x)y)=f(x)f(y). Our result refers to papers of J. Chudziak (2006) [14] and J. Brzd?k (2003) [11].     

Generic uniqueness of equilibrium points

Let X be a nonempty, convex and compact subset of normed linear space E (respectively, let X be a nonempty, bounded, closed and convex subset of Banach space E and A be a nonempty, convex and compact subset of X) and f:X×X→R be a given function, the uniqueness of equilibrium point for equilibrium problem which is to find x^∗∈X (respectively, x^∗∈A) such that f(x^∗,y)≥0 for all y∈X (respectively, f(x^∗,y)≥0 for all y∈A) is studied with varying f (respectively, with both varying f and varying A). The results show that most of equilibrium problems (in the sense of Baire category) have unique equilibrium point.     

Characterizations of isomorphisms and derivations of some algebras

Let ? be a zero-product preserving bijective bounded linear map from a unital algebra A onto a unital algebra B such that ?(1)=k. We show that if A is a CSL algebra on a Hilbert space or a J-lattice algebra on a Banach space then there exists an isomorphism ψ from A onto B such that ?=kψ. For a nest algebra A in a factor von Neumann algebra, we characterize the linear maps on A such that δ(x)y+xδ(y)=0 for all x,y∈A with xy=0.     

Density of sets of natural numbers and the Lévy group

Let N denote the set of positive integers. The asymptotic density of the set A⊆N is d(A)=limn→∞|A∩[1,n]|/n, if this limit exists. Let AD denote the set of all sets of positive integers that have asymptotic density, and let SN denote the set of all permutations of the positive integers N. The group L^? consists of all permutations f∈SN such that A∈AD if and only if f(A)∈AD, and the group L^* consists of all permutations f∈L^? such that d(f(A))=d(A) for all A∈AD. Let be a one-to-one function such that d(f(N))=1 and, if A∈AD, then f(A)∈AD. It is proved that f must also preserve density, that is, d(f(A))=d(A) for all A∈AD. Thus, the groups L^? and L^* coincide.     

An Erd?s-Ko-Rado theorem for partial permutations

Let [n] denote the set of positive integers {1,2,…,n}. An r-partial permutation of [n] is a pair (A,f) where A⊆[n], |A|=r and f:A→[n] is an injective map. A set A of r-partial permutations is intersecting if for any (A,f), (B,g)∈A, there exists x∈A∩B such that f(x)=g(x). We prove that for any intersecting family A of r-partial permutations, we have .It seems rather hard to characterize the case of equality. For 8?r?n-3, we show that equality holds if and only if there exist x₀ and ε₀ such that A consists of all (A,f) for which x₀∈A and f(x₀)=ε₀.     

Asymptotic estimates of sums involving the Moebius function

Let p(n) denote the smallest prime factor of an integer n>1 and let p(1)=∞. We study the asymptotic behavior of the sum M(x,y)=Σ_{1≤n≤x,p(n)>y}μ(n) and use this to estimate the size of A(x)=max_|f|≤1|Σ_2≤n<xμ(n)f(p(n))|, where μ(n) is the Moebius function. Applications of bounds for A(x), M(x,y) and similar quantities are discussed.     

Zero product preserving maps on Banach algebras of Lipschitz functions

Let (K,d) be a non-empty, compact metric space and α∈]0,1[. Let A be either lipα(K) or Lipα(K) and let B be a commutative unital Banach algebra. We show that every continuous linear map T:A→B with the property that T(f)T(g)=0 whenever f,g∈A are such that fg=0 is of the form T=wΦ for some invertible element w in B and some continuous epimorphism Φ:A→B.     

The total graph and regular graph of a commutative ring

Let R be a commutative ring. The total graph of R, denoted by T(Γ(R)) is a graph with all elements of R as vertices, and two distinct vertices x,y∈R, are adjacent if and only if x+y∈Z(R), where Z(R) denotes the set of zero-divisors of R. Let regular graph of R, Reg(Γ(R)), be the induced subgraph of T(Γ(R)) on the regular elements of R. Let R be a commutative Noetherian ring and Z(R) is not an ideal. In this paper we show that if T(Γ(R)) is a connected graph, then . Also, we prove that if R is a finite ring, then T(Γ(R)) is a Hamiltonian graph. Finally, we show that if S is a commutative Noetherian ring and Reg(S) is finite, then S is finite.     

Endomorphisms of the shift dynamical system, discrete derivatives, and applications

All continuous endomorphisms f_∞ of the shift dynamical system S on the 2-adic integers Z₂ are induced by some , where n is a positive integer, B_n is the set of n-blocks over {0, 1}, and f_∞(x)=y₀y₁y₂… where for all i∈N, y_i=f(x_ix_i+1…x_i+n−1). Define D:Z₂→Z₂ to be the endomorphism of S induced by the map {(00,0),(01,1),(10,1),(11,0)} and V:Z₂→Z₂ by V(x)=−1−x. We prove that D, V°D, S, and V°S are conjugate to S and are the only continuous endomorphisms of S whose parity vector function is solenoidal. We investigate the properties of D as a dynamical system, and use D to construct a conjugacy from the 3x+1 function T:Z₂→Z₂ to a parity-neutral dynamical system. We also construct a conjugacy R from D to T. We apply these results to establish that, in order to prove the 3x+1 conjecture, it suffices to show that for any m∈Z⁺, there exists some n∈N such that R⁻¹(m) has binary representation of the form or .     

Stability problem for the Go?a?b-Schinzel type functional equations

Let X be a vector space over a field K of real or complex numbers, n∈N and λ∈K?{0}. We study the stability problem for the Go?a?b-Schinzel type functional equations

f(x+fn(x)y)=λf(x)f(y)     

New results on value functions and applications to MaxSup and MaxInf problems

In this paper, in the setting of sequential spaces, we consider the value functions v_S and v_I defined by v_S(x)=sup_y∈K(x)f(x,y) and v_I(x)=inf_y∈K(x)f(x,y), and we introduce sufficient conditions on the value functions and on the data, weaker than upper semicontinuity, which guarantee the existence of maximum for such functions. Various examples illustrate the results and the connections with previous results.     

Recurrent points and non-wandering points of graph maps

Let G be a graph and f:G→G be a continuous map. Denote by P(f), R(f) and Ω(f) the sets of periodic points, recurrent points and non-wandering points of f, respectively. In this paper we show that: (1) If L=(x,y) is an open arc contained in an edge of G such that {fm(x),fk(y)}⊂(x,y) for some m,k∈N, then R(f)∩(x,y)≠∅; (2) Any isolated point of P(f) is also an isolated point of Ω(f); (3) If x∈Ω(f)−Ω(fn) for some n∈N, then x is an eventually periodic point. These generalize the corresponding results in W. Huang and X. Ye (2001) [9] and J. Xiong (1983, 1986) [17] and [19] on interval maps or tree maps.     

Finite metrics in switching classes

Let g:D×D→R be a symmetric function on a finite set D satisfying g(x,x)=0 for all x∈D. A switch g^σ of g w.r.t. a local valuation σ:D→R is defined by g^σ(x,y)=σ(x)+g(x,y)+σ(y) for x≠y and g^σ(x,x)=0 for all x. We show that every symmetric function g has a unique minimal semimetric switch, and, moreover, there is a switch of g that is isometric to a finite Manhattan metric. Also, for each metric on D, we associate an extension metric on the set of all nonempty subsets of D, and we show that this extended metric inherits the switching classes on D.     

Adding machines, kneading maps, and endpoints

Given a unimodal map f, let I=[c₂,c₁] denote the core and set E={(x₀,x₁,…)∈(I,f)|xi∈ω(c,f) for all i∈N}. It is known that there exist strange adding machines embedded in symmetric tent maps f such that the collection of endpoints of (I,f) is a proper subset of E and such that limk→∞Q(k)≠∞, where Q(k) is the kneading map.We use the partition structure of an adding machine to provide a sufficient condition for x to be an endpoint of (I,f) in the case of an embedded adding machine. We then show there exist strange adding machines embedded in symmetric tent maps for which the collection of endpoints of (I,f) is precisely E. Examples of this behavior are provided where limk→∞Q(k) does and does not equal infinity, and in the case where limk→∞Q(k)=∞, the collection of endpoints of (I,f) is always E.