2
$\begingroup$

Consider the following (less general than possible) statement of Schauder's fixed point theorem:

Suppose that $X$ is a Banach space, that $B_1$ is the unit ball of $X$ and that $f: X \to X$ is a continuous function. If $f(B_1)$ is a compact subset of $B_1$, then $f$ has a fixed point in $B_1$.

Now let $B_{1+\epsilon}$ denote the ball around $0$ of radius $1+\epsilon$ and suppose that $f(B_1)$ is a compact subset of $B_{1+\epsilon}$ for some $\epsilon > 0$. Is there anything that can be said about possible fixed points of $f$? For example, is it possible to prove the existence of a point $x$ such that $\|f(x) - x\| < \epsilon$? Can anything at all be said about this scenario? Does anyone know of any works in which such functions have been examined in some detail?

Thanks in advance.

  • 2
    You are definitely guaranteed no fixed points in $B_1$. Consider the constant map to a point in $B_{1+\epsilon}$\ $B_1$.2011-12-15

2 Answers 2

5

The function $X \to X : x \mapsto \frac{1}{1+\varepsilon} f(x)$ maps $B_1$ to a compact subset of $B_1$. So by the standard fixed point theorem, there exists an $a \in B_1$ such that $\frac{1}{1 + \varepsilon}f(a) = a$, or $f(a) = (1+ \varepsilon)a$. Hence, $\| f(a) - a \| = \| \varepsilon a \| \leqslant \varepsilon$, since $\| a \| \leqslant 1$. $\quad {\small \square} $

In fact, this result is tight, in the sense that there are functions $f$ satisfying $\|f(x) - x\| \geqslant \varepsilon$ for all $x \in B_1$. [E.g., consider the constant function mapping all points to a fixed point of norm $1 + \varepsilon$.] In particular, $f$ is not guaranteed to have a fixed point inside $B_1$.

  • 0
    @PZZ Sure, do wait for other answers. That is the recommended practice.2019-03-08
0

Actually I have more of a question than an answer, but it is related to your topic. Is it possible to show in the general case that:

$ f(x)= x $ is given, with solution $x = \theta \gt 0 $

I would like to show :

$ \forall \epsilon \in (0,1), \forall x : 1/\epsilon > |x -\theta| > \epsilon => \inf_x |f(x) - x | > 0 $.

I guess it is not true in the general case, but what properties should the function f(x) have in orther this to be true?