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.     

The set of periodic scalar differential equations with cubic nonlinearities

We study the structure induced by the number of periodic solutions on the set of differential equations x^′=f(t,x) where f∈C³(R²) is T-periodic in t, fx³(t,x)<0 for every (t,x)∈R², and f(t,x)→?∞ as x→∞, uniformly on t. We find that the set of differential equations with a singular periodic solution is a codimension-one submanifold, which divides the space into two components: equations with one periodic solution and equations with three periodic solutions. Moreover, the set of differential equations with exactly one periodic singular solution and no other periodic solution is a codimension-two submanifold.     

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.     

Asymptotically stable sets and the stability of ω-limit sets

Let C be the collection of continuous self-maps of the unit interval I=[0,1] to itself. For f∈C and x∈I, let ω(x,f) be the ω-limit set of f generated by x, and following Block and Coppel, we take Q(x,f) to be the intersection of all the asymptotically stable sets of f containing ω(x,f). We show that Q(x,f) tells us quite a bit about the stability of ω(x,f) subject to perturbations of either x or f, or both. For example, a chain recurrent point y is contained in Q(x,f) if and only if there are arbitrarily small perturbations of f to a new function g that give us y as a point of ω(x,g). We also study the structure of the map Q taking (x,f)∈I×C to Q(x,f). We prove that Q is upper semicontinuous and a Baire 1 function, hence continuous on a residual subset of I×C. We also consider the map given by x?Q(x,f), and find that this map is continuous if and only if it is a constant map; that is, only when the set is a singleton.     

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.     

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.     

Hereditarily polaroid operators, SVEP and Weyl's theorem

A Banach space operator T∈B(X) is hereditarily polaroid, T∈HP, if every part of T is polaroid. HP operators have SVEP. It is proved that if T∈B(X) has SVEP and R∈B(X) is a Riesz operator which commutes with T, then T+R satisfies generalized a-Browder's theorem. If, in particular, R is a quasi-nilpotent operator Q, then both T+Q and T^∗+Q^∗ satisfy generalized a-Browder's theorem; furthermore, if Q is injective, then also T+Q satisfies Weyl's theorem. If A∈B(X) is an algebraic operator which commutes with the polynomially HP operator T, then T+N is polaroid and has SVEP, f(T+N) satisfies generalized Weyl's theorem for every function f which is analytic on a neighbourhood of σ(T+N), and f^∗(T+N) satisfies generalized a-Weyl's theorem for every function f which is analytic on, and constant on no component of, a neighbourhood of σ(T+N).     

Linear transformations of monotone functions on the discrete cube

For a function f:{0,1}ⁿ→R and an invertible linear transformation L∈GL_n(2), we consider the function Lf:{0,1}ⁿ→R defined by Lf(x)=f(Lx). We raise two conjectures: First, we conjecture that if f is Boolean and monotone then I(Lf)≥I(f), where I(f) is the total influence of f. Second, we conjecture that if both f and L(f) are monotone, then f=L(f) (up to a permutation of the coordinates). We prove the second conjecture in the case where L is upper triangular.     

Continuous selections avoiding extreme points

It is shown that if X is a countably paracompact collectionwise normal space, Y is a Banach space and φ:X→Y² is a lower semicontinuous mapping such that φ(x) is Y or a compact convex subset with Cardφ(x)>1 for each x∈X, then φ admits a continuous selection f:X→Y such that f(x) is not an extreme point of φ(x) for each x∈X. This is an affirmative answer to the problem posed by V. Gutev, H. Ohta and K. Yamazaki [V. Gutev, H. Ohta and K. Yamazaki, Selections and sandwich-like properties via semi-continuous Banach-valued functions, J. Math. Soc. Japan 55 (2003) 499-521].     

Strong commutativity preserving maps in prime rings with involution

Let A be a prime ring of characteristic not 2, with center Z(A) and with involution *. Let S be the set of symmetric elements of A. Suppose that f:S→A is an additive map such that [f(x),f(y)]=[x,y] for all x,y∈S. Then unless A is an order in a 4-dimensional central simple algebra, there exists an additive map μ:S→Z(A) such that f(x)=x+μ(x) for all x∈S or f(x)=-x+μ(x) for all x∈S.     

Lower quasicontinuity, joint continuity and related concepts

Let X and Y be topological spaces, let Z be a metric space, and let f:X×Y→Z be a mapping. It is shown that when Y has a countable base B, then under a rather general condition on the set-valued mappings X∋x→fx(B)∈Z², B∈B, there is a residual set R⊂X such that for every (a,b)∈R×Y, f is jointly continuous at (a,b) if (and only if) fa:Y→Z is continuous at b. Several new results are also established when the notion of continuity is replaced by that of quasicontinuity or by that of cliquishness. Our approach allows us to unify and improve various results from the literature.     

Generalizations of weakly peripherally multiplicative maps between uniform algebras

Let A and B be uniform algebras on first-countable, compact Hausdorff spaces X and Y, respectively. For f∈A, the peripheral spectrum of f, denoted by σπ(f)={λ∈σ(f):|λ|=‖f‖}, is the set of spectral values of maximum modulus. A map T:A→B is weakly peripherally multiplicative if σπ(T(f)T(g))∩σπ(fg)≠∅ for all f,g∈A. We show that if T is a surjective, weakly peripherally multiplicative map, then T is a weighted composition operator, extending earlier results. Furthermore, if T₁,T₂:A→B are surjective mappings that satisfy σπ(T₁(f)T₂(g))∩σπ(fg)≠∅ for all f,g∈A, then T₁(f)T₂(1)=T₁(1)T₂(f) for all f∈A, and the map f?T₁(f)T₂(1) is an isometric algebra isomorphism.     

Identity theorem for bounded p-adic meromorphic functions

Let K be a complete ultrametric algebraically closed field. We investigate several properties of sequences (an)_n∈N in a disk d(0,R⁻) with regards to bounded analytic functions in that disk: sequences of uniqueness (when f(an)=0∀n∈N implies f=0), identity sequences (when limn→+∞f(an)=0 implies f=0) and analytic boundaries (when lim supn→∞|f(an)|=‖f‖). Particularly, we show that identity sequences and analytic boundary sequences are two equivalent properties. For certain sequences, sequences of uniqueness and identity sequences are two equivalent properties. A connection with Blaschke sequences is made. Most of the properties shown on analytic functions have continuation to meromorphic functions.     

o-Boundedness of free topological groups

Assuming the absence of Q-points (which is consistent with ZFC) we prove that the free topological group F(X) over a Tychonov space X is o-bounded if and only if every continuous metrizable image T of X satisfies the selection principle fin_?(O,Ω) (the latter means that for every sequence 〈un〉_n∈ω of open covers of T there exists a sequence 〈vn〉_n∈ω such that vn∈[un]^<ω and for every F∈[X]^<ω there exists n∈ω with F⊂?vn). This characterization gives a consistent answer to a problem posed by C. Hernándes, D. Robbie, and M. Tkachenko in 2000.     

Multiplication operators in Köthe-Bochner spaces

Let X be a Banach space and E an order continuous Banach function space over a finite measure μ. We prove that an operator T in the Köthe-Bochner space E(X) is a multiplication operator (by a function in L^∞(μ)) if and only if the equality T(g〈f,x^∗〉x)=g〈T(f),x^∗〉x holds for every g∈L^∞(μ), f∈E(X), x∈X and x^∗∈X^∗.     

Limit sets of typical continuous functions

Given a metrizable compact topological n-manifold X with boundary and a finite positive Borel measure μ on X, we prove that for the typical continuous function , it is true that for every point x in a full μ-measure subset of X the limit set ω(f,x) is a Cantor set of Hausdorff dimension zero, f maps ω(f,x) homeomorphically onto itself, each point of ω(f,x) has a dense orbit in ω(f,x) and f is non-sensitive at each point of ω(f,x); moreover, the function x→ω(f,x) is continuous μ-almost everywhere.     

The existence and uniqueness of strong kings in tournaments

A king x in a tournament T is a player who beats any other player y directly (i.e., x→y) or indirectly through a third player z (i.e., x→z and z→y). For x,y∈V(T), let b(x,y) denote the number of third players through which x beats y indirectly. Then, a king x is strong if the following condition is fulfilled: b(x,y)>b(y,x) whenever y→x. In this paper, a result shows that for a tournament on n players there exist exactly k strong kings, 1?k?n, with the following exceptions: k=n-1 when n is odd and k=n when n is even. Moreover, we completely determine the uniqueness of tournaments.