- Research
- Open access
- Published:

# Interior fixed points of unit-sphere-preserving Euclidean maps

*Fixed Point Theory and Applications*
**volume 2012**, Article number: 183 (2012)

## Abstract

Schirmer proved that there is a class of smooth self-maps of the unit sphere in Euclidean *n*-space with the property that any smooth self-map of the unit ball that extends a map of that class must have at least one fixed point in the interior of the ball. We generalize Schirmer’s result by proving that a smooth self-map of Euclidean *n*-space that extends a self-map of the unit sphere of that class must have at least one fixed point in the interior of the unit ball.

**MSC:**55M20, 54C20.

## 1 Introduction

For spaces *X*, *Y* and subsets V\subseteq X, W\subseteq Y, a map f:X\to Y is an *extension* of a map \varphi :V\to W if f(x)=\varphi (x) for all x\in V. We denote by {B}^{n} the unit ball in {\mathbb{R}}^{n}, by {S}^{n-1} its boundary and by int({B}^{n}) its interior.

If f:{B}^{1}\to {B}^{1} is an extension of \varphi :{S}^{0}\to {S}^{0}=\{-1,1\} and *ϕ* has no fixed points, then *f* must have an *interior* fixed point, that is, a fixed point in int({B}^{1}). However, if *ϕ* has a fixed point, then there need not be any interior fixed points.

If n=2, the situation is more complicated. Of course the Brouwer fixed point theorem implies that a map f:{B}^{2}\to {B}^{2} must have at least one interior fixed point if it is an extension of a map \varphi :{S}^{1}\to {S}^{1} that has no fixed points. But it was proved in [1] (see also [2]) that if the extension *f* is smooth, it may still be required to have interior fixed points for certain maps *ϕ* that have many fixed points. Representing the points of {S}^{1} by complex numbers, let \varphi ={\varphi}_{d}:{S}^{1}\to {S}^{1}, for an integer *d*, be the *power map* defined by {\varphi}_{d}(z)={z}^{d}. If d\ge 2 and f:{B}^{2}\to {B}^{2} is a smooth extension of {\varphi}_{d}, then *f* has at least one interior fixed point. It is also demonstrated in [1] that interior fixed points of extensions need not exist if d\le 1 or if *f* is not smooth. Schirmer generalized this interior fixed point result to smooth extensions f:{B}^{n}\to {B}^{n} for n\ge 2 to show in Example 4.7 of [3] that if *f* is a smooth extension of a ‘sparse’ map \varphi :{S}^{n-1}\to {S}^{n-1}, a generalization of {\varphi}_{d} that is defined below, of degree *d* such that {(-1)}^{n}d\ge 2, then *f* must have at least one interior fixed point.

Returning to the case n=1, if we extend the map \varphi :{S}^{0}\to {S}^{0} without fixed points to a map f:{\mathbb{R}}^{1}\to {\mathbb{R}}^{1}, there still must be a fixed point of *f* in int({B}^{1}). The reason for the interior fixed points of the extension f:{B}^{1}\to {B}^{1} of the map of {S}^{0} without fixed points, namely that (-1,1) and (1,-1), lie in different components of {B}^{1}\times {B}^{1}\setminus \mathrm{\Delta}, where \mathrm{\Delta}=\{(x,x):x\in {B}^{1}\}, applies also to the extension f:{\mathbb{R}}^{1}\to {\mathbb{R}}^{1} since those points are also in different components of {B}^{1}\times {\mathbb{R}}^{1}\setminus \mathrm{\Delta}.

On the other hand, the reason for the presence of fixed points in int({B}^{n}) for smooth extensions of certain maps of {S}^{n-1} demonstrated in [3] is considerably more subtle. Therefore, it is reasonable to ask whether such fixed points would persist if, instead of smooth extensions f:{B}^{n}\to {B}^{n} of \varphi :{S}^{n-1}\to {S}^{n-1}, we consider extensions that are smooth *Euclidean maps*, that is, maps f:{\mathbb{R}}^{n}\to {\mathbb{R}}^{n}. Thus, we ask whether there still must be fixed points of *f* in int({B}^{n}) if we allow *f* to map points of int({B}^{n}) outside of {B}^{n}.

We will prove that the interior fixed points do persist, even in this more general setting. As in the case of self-maps of balls, the interior fixed points of Euclidean maps are detected by means of a theorem that relates the index of a fixed point of \varphi :{S}^{n-1}\to {S}^{n-1} to its index as a fixed point of an extension. We will therefore devote Section 2 to a discussion of the properties of the fixed point index that we will use. In Section 3, we prove that a smooth extension f:{\mathbb{R}}^{2}\to {\mathbb{R}}^{2} of a power map {\varphi}_{d}:{S}^{1}\to {S}^{1} for d\ge 2 must have at least one interior fixed point. Section 4 then contains the proof that Schirmer’s result generalizes to smooth extensions f:{\mathbb{R}}^{n}\to {\mathbb{R}}^{n} of sparse maps \varphi :{S}^{n-1}\to {S}^{n-1} that satisfy the same degree restrictions.

## 2 The fixed point indices

Before extending the results of [1, 2] and [3] to the case of a smooth Euclidean map f:({\mathbb{R}}^{n},{S}^{n-1})\to ({\mathbb{R}}^{n},{S}^{n-1}) extending \varphi :{S}^{n-1}\to {S}^{n-1}, we need to define the relevant fixed point indices. We will consider the restriction f:({B}^{n},{S}^{n-1})\to ({\mathbb{R}}^{n},{S}^{n-1}). Since our goal is to establish conditions for the existence of fixed points on the interior of {B}^{n}, the behavior of the function outside of {B}^{n} is not relevant. Therefore, we will make use of the indices i({B}^{n},f,p) and i({S}^{n-1},\varphi ,p) of an isolated fixed point p\in {S}^{n-1}. We do so by generalizing the approach used in [1] (see also [4]).

For an isolated fixed point p\in {S}^{n-1}, we can choose a small enough neighborhood *U* so that it contains only this fixed point and no other. We then may write *f* in this neighborhood of *p* in terms of a local coordinate system in which U\cap {B}^{n} is contained in the upper half-space

in such a way that *p* is the origin **0** in this setting and U\cap {S}^{n-1} is contained in the subspace

In order to calculate the index of *p* in each space, we consider the map F:U\to {\mathbb{R}}^{n} defined by

Note that *F* sends the origin, lower half-plane and {\mathbb{R}}^{n-1} to itself respectively. Also, F(z)\ne z for z\ne 0. The index i({S}^{n-1},\varphi ,p) is equal to i({\mathbb{R}}^{n-1},F,\mathbf{0}) in this setting as in the traditional definition of the index. Moreover, i({B}^{n},f,p) is identified with i({\mathbb{R}}^{n},F,\mathbf{0}), which can be computed as the degree of the map \rho \circ F:{S}^{n-1}\to {S}^{n-1} where \rho :{\mathbb{R}}^{n}\mathrm{\setminus}\mathbf{0}\to {S}^{n-1} is the retraction defined by \rho (z)=z/|z|.

## 3 Unit-circle-preserving maps of the plane

Brown, Greene and Schirmer proved

*Let* f:{B}^{2}\to {B}^{2} *be a smooth map with a finite number of fixed points such that* f(\zeta )={\zeta}^{k} *for all* \zeta \in {S}^{1} *for some* k\ge 2, *where* {B}^{2} *is the closed two*-*dimensional ball with the boundary* {S}^{1}. *If* *π* *is a fixed point of* *f* *that lies in* {S}^{1}, *then either* i({B}^{2},f,\pi )=0 *or* i({B}^{2},f,\pi )=-1.

The contractibility of {B}^{2} implies the following corollary.

**Corollary 2** [2]

*Suppose* f:{B}^{2}\to {B}^{2} *is a smooth map such that* f(\zeta )={\zeta}^{k} *for all* \zeta \in {S}^{1}, *for some* k\ge 2. *Then there exists* z\in int({B}^{2}) *such that* f(z)=z.

We will extend Theorem 1 to maps f:({B}^{2},{S}^{1})\to ({\mathbb{R}}^{2},{S}^{1}) by modifying the proof of Theorem 1 in [2]. Corollary 2 will then extend to maps f:({\mathbb{R}}^{2},{S}^{1})\to ({\mathbb{R}}^{2},{S}^{1}).

**Theorem 3** *Let* f:({B}^{2},{S}^{1})\to ({\mathbb{R}}^{2},{S}^{1}) *be a smooth map with a finite number of fixed points such that* f(\zeta )={\zeta}^{k} *for all* \zeta \in {S}^{1} *for some* k\ge 2. *If* *π* *is a fixed point of* *f* *that lies in* {S}^{1}, *then either* i({B}^{2},f,\pi )=0 *or* i({B}^{2},f,\pi )=-1.

*Proof* Let *π* be a fixed point of *f* in {S}^{1}. We can write this fixed point in the polar coordinates (r,\theta ) as (1,{\theta}_{0}). We will introduce new coordinates on a neighborhood *U* of *π* as follows:

In the new coordinate setting, the fixed point *π* is the origin and U\cap {S}^{1} corresponds to the {x}_{1}-axis near 0, and the portion of the interior of the unit ball in *U* is contained in the upper half-plane. Consider the following map (as described in Section 2) in the new coordinate setting:

Now write F=({F}_{1},{F}_{2}) and define g({x}_{1})={F}_{1}({x}_{1},0). Since f(\zeta )={\zeta}^{k} for \zeta \in {S}^{1}, we have

Since the map *f* is defined to be smooth on {B}^{2}, the map *F* is smooth on the upper half-plane. Let {F}^{+} denote the restriction of *F* to the upper half-plane. We will see that smoothness is only required in a neighborhood of the fixed point at 0. Since we are assuming that k\ge 2, then

and the smoothness of {F}^{+} implies that

for ({x}_{1},{x}_{2}) in an *ϵ*-neighborhood of the origin, for \u03f5>0 sufficiently small and for {x}_{2}\ge 0. Let Γ be a circle of radius \u03f5/2 about the origin.

Let {\mathrm{\Gamma}}^{+} and {\mathrm{\Gamma}}^{-} denote the half-circles above and below the {x}_{1}-axis respectively. Since *F* takes the lower half-plane to itself, we know that *F* maps {\mathrm{\Gamma}}^{-} to the lower half-plane. Calculating the fixed point index of *f* at the origin in {\mathbb{R}}^{2} is equivalent to finding the winding number of F(\mathrm{\Gamma}) around 0. Thus, we need to understand F({\mathrm{\Gamma}}^{+}). Since {\mathrm{\Gamma}}^{+} lies in the upper half-plane, we only consider {F}^{+}. Assuming *F* has only a finite number of fixed points, we can choose *ϵ* small enough so that only one point on Γ or its interior that *F* maps to the origin is the origin itself. Therefore, we can homotope the restriction of {F}^{+} to {\mathrm{\Gamma}}^{+} in {\mathbb{R}}^{2}\mathrm{\setminus}0 to the restriction of {F}^{+} to the curve {\mathrm{\Gamma}}_{\delta}^{+} for \delta >0 given by

where 0\le t\le 1.

We write the restriction of {F}^{+} to {\mathrm{\Gamma}}_{\delta}^{+} in coordinates as

The key idea of the proof is that for *δ* sufficiently small, the smoothness of {F}^{+} and the fact that

for all *t*. This tells us that the {x}_{1}-coordinate of the curve {F}^{+}({\mathrm{\Gamma}}_{\delta}^{+}(t)) is a strictly monotone function of *t*. In particular, the curve {F}^{+}({\mathrm{\Gamma}}_{\delta}^{+}(t)) only crosses the {x}_{2}-axis once. This implies the desired result since the winding number of F(\mathrm{\Gamma}) can then only be either 0 or −1.

Notice that it is never specified that *f* maps {B}^{2} into itself. In considering the map F(z)=z-f(z), although it is assumed that *F* maps the exterior of the disc to the exterior of the disc, the proof allows the image of the interior of the disc under *F* to lie anywhere in {\mathbb{R}}^{2}. □

Let \overline{f}:{B}^{2}\to {\mathbb{R}}^{2} be the restriction of f:({\mathbb{R}}^{2},{S}^{1})\to ({\mathbb{R}}^{2},{S}^{1}) to {B}^{2}. Since {B}^{2} is contractible, the sum of the indices of \rho \overline{f}:{B}^{2}\to {B}^{2} equals one, and therefore \rho \overline{f}(x)=x for some x\in int({B}^{2}). But then f(x)=x as well, so f:({\mathbb{B}}^{2},{S}^{1})\to ({\mathbb{R}}^{2},{S}^{1}) has a fixed point in the interior of {B}^{2}. Therefore, we can extend Corollary 2 as the following result.

**Corollary 4** *Let* f:({\mathbb{R}}^{2},{S}^{1})\to ({\mathbb{R}}^{2},{S}^{1}) *be a smooth map such that* f(\zeta )={\zeta}^{k} *for all* \zeta \in {S}^{1} *for some* k\ge 2. *Then there exist* z\in int({B}^{2}) *such that* f(z)=z.

## 4 Interior fixed points of a map f:({\mathbb{R}}^{n},{S}^{n-1})\to ({\mathbb{R}}^{n},{S}^{n-1})

**Definition 1** ([3], p.34)

A smooth map \varphi :{S}^{n-1}\to {S}^{n-1} with finitely many fixed points is *transversely fixed* if d{\varphi}_{p}-I:{T}_{p}({S}^{n-1})\to {T}_{p}({S}^{n-1}) is a nonsingular linear map for each fixed point *p*. For F=\{{p}_{1},\dots ,{p}_{r}\} a fixed point class of *ϕ*, let

The *transverse Nielsen number* {N}_{\u22d4}(\varphi ) is defined by

where \mathfrak{F} is the set of fixed point classes of *ϕ*.

A smooth map \varphi :{S}^{n-1}\to {S}^{n-1} is *sparse* if it is transversely fixed and it has {N}_{\u22d4}(\varphi ) fixed points.

In [3], p.45 Schirmer obtained the following result.

**Theorem 5** *Let* \varphi :{S}^{n-1}\to {S}^{n-1} *be a sparse map of degree* *d* *and suppose* f:({B}^{n},{S}^{n-1})\to ({B}^{n},{S}^{n-1}) *is a smooth map extending* *ϕ*. *If* {(-1)}^{n}d\ge 2, *then* *f* *must have a fixed point in* int({B}^{n}).

We will extend this result as a consequence of the following

**Theorem 6** *Given a smooth map* \varphi :{S}^{n-1}\to {S}^{n-1} *and a smooth map* f:({B}^{n},{S}^{n-1})\to ({\mathbb{R}}^{n},{S}^{n-1}) *extending* *ϕ*, *suppose that* p\in {S}^{n-1} *is an isolated fixed point of f and that* d{\varphi}_{p}-I:{T}_{p}({S}^{n-1})\to {T}_{p}({S}^{n-1}) *is a nonsingular linear transformation*. *Then either* i({B}^{n},f,p)=0 *or* i({B}^{n},f,p)=i({S}^{n-1},\varphi ,p).

*Proof* The following proof is a modified version of Theorem 5.1 in [1]. We again write *f* in a small ball that contains p\in {S}^{n-1} as described in Section 2 and the map *F* is also as defined there. Moreover, for \epsilon >0 small enough, let

This then means that the index i({B}^{n},f,p)=i({B}^{n},{D}_{\epsilon},\mathbf{0}) is the degree of \rho \circ {D}_{\epsilon}:{S}^{n-1}\to {S}^{n-1}, where \rho (x)=x/|x| for x\in {\mathbb{R}}^{n}\mathrm{\setminus}\mathbf{0}.

Note that

because *F* is a {C}^{1} function. We also have

for some C>0 independent of *ε* and ({x}_{1},{x}_{2},\dots ,{x}_{n}) due to the fact that d{F}_{p}=-(d{f}_{p}-I) is nonsingular by hypothesis.

Since d{F}_{p} is a nonsingular linear map, this last degree is easily seen to be 0, or ±1. But the images of {D}_{\epsilon} of the upper and lower hemisphere are each contained entirely in either the lower or upper half-space. This means that {D}_{\epsilon} is of degree 0 or {D}_{\epsilon} is homotopic in {\mathbb{R}}^{n}\mathrm{\setminus}\mathbf{0} to the suspension of {D}_{\epsilon}{|}_{{S}^{n-2}}. □

We can use Theorem 6 to extend Theorem 5 to the case f:({\mathbb{R}}^{n},{S}^{n-1})\to ({\mathbb{R}}^{n},{S}^{n-1}). The following is a modified version of part of [3]. Note that despite the fact that the case n=2 is solved in the previous section, the new material presented below extends the solution to all the cases.

Suppose we have \varphi :{S}^{n-1}\to {S}^{n-1} and a smooth map f:({\mathbb{R}}^{n},{S}^{n-1})\to ({\mathbb{R}}^{n},{S}^{n-1}) extending *ϕ*. A fixed point class *F* of *f* is called a *common fixed point class* of *f* and *ϕ* if there exists an essential fixed point class \overline{F} of *ϕ* which is contained in *F*.

We will again consider the restriction f:({B}^{n},{S}^{n-1})\to ({\mathbb{R}}^{n},{S}^{n-1}). In the notation of [3], p.39, let

Then *F* is a *transversally common fixed point class* of *f* and *ϕ* if

**Definition 2** The *boundary transversal Nielsen number* of f:({B}^{n},{S}^{n-1})\to ({\mathbb{R}}^{n},{S}^{n-1}) is

where N(f,{\varphi}_{\u22d4}) is the number of essential and transversally common fixed point classes of *f* and *ϕ*.

Suppose that \varphi :{S}^{n-1}\to {S}^{n-1} has degree *d*. Then f:{B}^{n}\to {\mathbb{R}}^{n} has one fixed point class *F* with i(F)=1, and so l(F)\le 0<i(F). If n=2, then *ϕ* has |1-d| essential fixed point classes, each of the same index, and \sum i({S}^{1},\varphi ,\overline{F})=L(\varphi )=1-d. Hence, i(F)\le u(F) if and only if d\le 0, and

If n\ge 3, then *ϕ* has one fixed point class \overline{F} with i({S}^{n-1},\varphi ,\overline{F})=1+{(-1)}^{n-1}d and so

Note that this formula is still true for the case n=2.

If \varphi :{S}^{n-1}\to {S}^{n-1} is a sparse map of degree *d* then {N}_{\u22d4}(\varphi )=|1-{(-1)}^{n}d| for all *d* and all n\ge 2.

Since N(f)=1, for the case that {(-1)}^{n}d\le 0, the boundary transversal Nielsen number is

As for the case that {(-1)}^{n}d>0, the boundary transversal Nielsen number is

Hence, we have just proven the following

**Proposition 7** *If* f:({B}^{n},{S}^{n-1})\to ({\mathbb{R}}^{n},{S}^{n-1}) *is a smooth extension of a sparse map* \varphi :{S}^{n-1}\to {S}^{n-1} *of degree* *d*, *with* n\ge 2, *then the boundary transversal Nielsen number is*

As defined in [1], p.2, *the extension Nielsen number* N(f|\varphi ) is a lower bound for the number of fixed points on {S}^{n-1} of continuous extensions of a continuous map *ϕ*. It is equal to the number of essential (classical) fixed point classes *F* of *f* with F\cap {S}^{n-1}=\mathrm{\varnothing}. A fixed point class *F* is *representable* on {S}^{n-1} if there exists a subset {F}^{\prime}\subset F\cap {S}^{n-1} with i({B}^{n},f,F)=i({S}^{n-1},\varphi ,{F}^{\prime}). The *smooth extension number* {N}^{1}(f|\varphi ) is the number of essential (classical) fixed point classes *F* of *f* which are not representable on {S}^{n-1}. It is a lower bound for the number of fixed points in {S}^{n-1} of a smooth extension of a smooth and transversally fixed map *ϕ*.

**Proposition 8** *If* \varphi :{S}^{n-1}\to {S}^{n-1} *is sparse*, *then*

*Proof* Our proof is modeled on the proofs of Proposition 4.3 and Corollary 4.4 in [3]. For any essential fixed point class *F* of *f*, since *ϕ* is sparse, F\cap {S}^{n-1} contains u(F) fixed points *p* such that i({S}^{n-1},\varphi ,p)=1 and l(F) fixed points *p* such that i({S}^{n-1},\varphi ,p)=-1. This means that *F* is representable on {S}^{n-1} if and only if l(F)\le i(F)\le u(F). By the definitions of all the Nielsen numbers involved, we have the result stated above for {N}^{1}(f|\varphi ).

The result for N(f|\varphi ) can be obtained in a similar manner by using Corollary 2.6 from [1] along with the fact that all fixed point classes of a sparse map are essential. □

By the definitions of N(f,\varphi ) in [5] and the definition of {N}^{1}(f|\varphi ) defined early, we obtain

**Proposition 9** *If* \varphi :{S}^{n-1}\to {S}^{n-1} *is sparse*, *then the number of essential fixed point classes of* *f* *which are common but not transversally common is*

We are now ready to prove the following Theorem.

**Theorem 10** *Let* n\ge 2, *and let* \varphi :{S}^{n-1}\to {S}^{n-1} *be a sparse map of degree* *d* *and suppose* f:({B}^{n},{S}^{n-1})\to ({\mathbb{R}}^{n},{S}^{n-1}) *is a smooth map extending* *ϕ*. *If* {(-1)}^{n}d\ge 2, *then* *f* *must have a fixed point in* int({B}^{n}).

*Proof* Since *ϕ* has degree *d* and it is sparse, by definition

and

Applying Proposition 7, we have

Thus, every smooth extension over {B}^{n} of a sparse map of {S}^{n-1} of degree *d* with {(-1)}^{n}d\ge 2 has a fixed point on the interior of {B}^{n}. □

## References

Brown RF, Greene RE, Schirmer H: Fixed points of map extensions. Lecture Notes in Math. 1411. In

*Topological Fixed Point Theory and Applications*. Springer, Berlin; 1989:24–45.Brown RF, Greene RE: An interior fixed point property of the disc.

*Am. Math. Mon.*1994, 101(1):39–47. 10.2307/2325123Schirmer H: Nielsen theory of transversal fixed point sets.

*Fundam. Math.*1992, 141(1):31–59. With an appendix by Robert E. GreeneDold A: Fixed point index and fixed point theorem for Euclidean neighborhood retract.

*Topology*1965, 4: 1–9. 10.1016/0040-9383(65)90044-3Schirmer H: A relative Nielsen number.

*Pac. J. Math.*1986, 122: 459–473. 10.2140/pjm.1986.122.459

## Acknowledgements

This work originated with Catherine Lee’s PhD dissertation under the supervision of Professor Robert F. Brown. The first author has been supported by the Thailand Research Fund grant number MRG5580232 under the mentorship of Professor Robert F. Brown of the Department of Mathematics, UCLA and Professor Sompong Dhompongsa of the Department of Mathematics, Chiang Mai University. She wishes to thank TRF as well. Last but not least, the authors would like to express their appreciation to both reviewers for their thorough reviews and many useful suggestions and comments.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors read and approved the final manuscript.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Khamsemanan, N., Brown, R.F., Lee, C. *et al.* Interior fixed points of unit-sphere-preserving Euclidean maps.
*Fixed Point Theory Appl* **2012**, 183 (2012). https://doi.org/10.1186/1687-1812-2012-183

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1687-1812-2012-183