Fixed-point theorem is a result about existence of fixed points, i.e. points fulfilling F(x)=x, under some conditions on the function F. Results of this type appear in many areas of mathematics, e.g. functional analysis (Banach), algebraic topology (Brouwer), lattice theory (Knaster-Tarski, ...

learn more… | top users | synonyms

1
vote
0answers
72 views

Banach Fixed Point Theorem. Measurable version.

The Banach fixed point theorem has the following statement THEOREM ( Banach contraction principle). Let $(Y,d)$ be a complete metric space and $F:Y\to Y$ be contractive . Then $F$ has a uniqe ...
5
votes
1answer
236 views

Can the proof of fixed point theorems ever be constructive?

Overall, Brouwer fixed point theorem and Kakutani fixed theorem are non-constructive. Is there any established paper that demonstrates that there exists constructive proofs that do exactly what these ...
0
votes
0answers
40 views

Use of closed and convex set in fixed point property

Let $(X, ||.||)$ be a Banach space and C a subset of X. A mapping $T:C{\to}C$ is non-expansive if $||Tx-Ty||\leq||x-y||$ for all $x, y \in C.$ A Banach space is said to satisfy the fixed point (FPP) ...
0
votes
1answer
36 views

Continuity of fixed points of an equation

Say I have a function $f(x,\theta)$ such that for each value of $\theta$ the function $f$ has a unique fixed point $x^*(\theta)$, i.e. $$x^{*}(\theta) = f(x^{*}(\theta),\theta)$$ My question is when ...
1
vote
0answers
41 views

Use a fixed point argument to show there exists a unique solution to the following BVP

Show using a fixed point argument that there exists a unique solution $f\in C[0,1]$ to $$ -f''(x)+\sin(f(x))=\sin(x) , x\in (0,1), y(0)=y'(1)=0 $$ This is what I have so far: We can show ...
2
votes
0answers
36 views

Dense subgroup of an extremely amenble group is extremely amenable??

Recall that a topological group $G$ is called extremely amenable if every continuous action of $G$ on a compact space $K$ admit a fixed point. i.e there is a point $\xi\in K$ such that $g.\xi=\xi$ for ...
2
votes
1answer
42 views

Derivative of the Solution to a Fixed Point Iteration

Let $\theta_s$ is the solution to a fixed point equation $$\theta=f(\theta,\lambda)$$ Let $d(\theta,\lambda)$ be another function of $\theta,\ \lambda$. I know $f$ but I have no explicit expression ...
0
votes
0answers
49 views

How to compute the Lefschetz number

Given a continuous function $f: X \to X$ how do you compute: $$ \Lambda_f = \sum_{k \geq 0} (-1)^k \mathrm{Tr}(f_*|H_k(X,\mathbb{Q})) $$ which is known as the Lefschetz number. For instance let $X: ...
3
votes
1answer
89 views

How to prove $F$ is a contraction mapping?

Given a $n\times n$ matrix $\mathbf{D}$ in which each entry $\mathbf{D}_{ij} \in [0,1]$. Let $i$-th row vector of $\mathbf{D}$ denote by $\mathbf{D}_{i\ast}$. The mapping $F:[0,1]^n \mapsto [0,1]^n$, ...
4
votes
0answers
80 views

A question on fixed point property

Assume that $0<k<n-1$, Note that $\mathbb{C}P^{k}$ can be considered as a closed subset of $\mathbb{C}P^{n}$, in a natural way. We collapse $\mathbb{C}P^{k}$ to a point. The resulting space is ...
4
votes
5answers
252 views

Why $e^x$ never equal $x$?

Je veux savoir pourquoi $x=e^x$ n'a aucune solution dans $\Bbb R$. Lorsque j'ai essayé de tracer le graphe de la fonction $e^x$, j'ai trouvé en fait qu'elle est une fonction strictement croissante ...
5
votes
0answers
80 views

Converse to Lefschetz fixed point theorem (counterexample)

The celebrated Lefschetz fixed point theorem, in its simplest form, says (following Wikipedia) that if $f\colon X \to X$ is a continuous map of a compact triangulable space $X$ to itself, then $f$ has ...
1
vote
1answer
18 views

completeness of $A=\{(x_1,x_2)\in\mathbb R^2| \max\{ |x_1|,|x_2|\}<1\}$

Let $A=\{(x_1,x_2)\in\mathbb R^2| \max\{ |x_1|,|x_2|\}<1\}$ and $g(x_1,x_2)=\frac14(x_1^2x_2,x_1+1)$. I want to show that $g$ has a fixed point in $A$. So ...
1
vote
0answers
46 views

Fixed point method where the derivative is one - does it converge

I'm trying to see if the iterative method $x_n=g(x_{n-1})$ where $g(x)=2\sqrt{x-1}$ will converge to $2$, if I take $x_0$ that is sufficiently close to $2$. Indeed notice that $g(2)=2$. and we have a ...
1
vote
0answers
18 views

Existence of Galerkin approximations to PDE

Given a weak PDE $$ \langle b(u),v \rangle +\langle a(\nabla u), \nabla v\rangle=\langle f, v \rangle,\qquad v\in H^1_0 $$ where $b\in C(\mathbb{R})$ and $a\in C(\mathbb{R}^n,\mathbb{R}^n)$ grow ...
1
vote
0answers
22 views

Statement of Markov-Kakutani fixed-point theorem

Markov-Kakutani fixed-point theorem is usually stated as follows: "Let $E$ be a locally convex topological vector space. Let $C$ be a compact convex subset of $E$. Let $S$ be a commuting family of ...
1
vote
1answer
30 views

Trouble understanding the steps to go from $x^x = 1000$ to the fixed point of $f(x) = \frac{log(1000)}{log(x)}$

I'm following through the Structure and Interpretation of Computer Programs, and in an example, they talk about finding fixed points of function (where $f(x) = x$) They then go on to say, if we want ...
1
vote
1answer
57 views

quotient of an amenable group

I have a question about amenable groups. The notion of amenability I am using is: The action of $G$ on $k$ ($k$ locally compact in a topological vector space) is amenable if there exists a point $x ...
2
votes
0answers
38 views

Identification of (Centers of) Cycles in a Discrete Time Dynamical System

I am studying dynamics on nonlinear Discrete Time Dynamical System of the form $$ \vec{X}_{t+1} = D(\vec{X}_t), $$ where D is some nonlinear function. I was looking for a (relatively) quick ...
4
votes
1answer
90 views

Unique fixed point of a contraction defined on a closed ball which maps the boundary back into the ball

Let $X$ be a Banach space, $r > 0$, $A: K_r(X) \rightarrow X$ a contraction (where $K_r(X)$ is the closed ball of radius $r$ and center $0$ in $X$), with contraction constant $0<q<1$, which ...
1
vote
1answer
68 views

An application of Banach fixed point theorem for initial value problem

Find a condition for $\beta>0$ which implies that the differential equation system \begin{align} x'(t)&=x(t)+y(t) ,\\ y'(t)&=t^{2}+tx(t) \end{align} with initial conditions $x(0)=0, ...
2
votes
0answers
46 views

Fixed-Points Limit Set

Let $f : \mathbb{R}^n \rightarrow X$ be continuous and $X \subset \mathbb{R}^n$ be compact and convex. For all $p \in \mathbb{R}$, consider $A_p \in \mathbb{R}^{n \times n}$, with $p \mapsto A_p$ ...
1
vote
1answer
55 views

An application of Banach fixed theorem on an integral equation

I'm learning some applications of the Banach Fixed Point Theorem and I have the following question: Consider the integral equation $\displaystyle x(t)=\int_{0}^{\frac{\pi}{2}}\arctan ...
3
votes
1answer
39 views

Is there a proof for the Central Limit Theorem via some fixed point theorem?

This question arose in my mind when I learned that the Gaussian is a fixed point for the Fourier transform. On the other hand, in e.g. the Banach fixed point theorem we have convergence to a fixed ...
1
vote
2answers
232 views

if $f_{n}(x)=f(f_{n-1}(x))$then $f_{10}(x)=x,x\in [0,1]$

Define the function $f:[0,1]\to[0,1]$ by the following. $$f(x)=\begin{cases} x+\dfrac{1}{2},&0\le x\le\dfrac{1}{2}\\ 2(1-x),&\dfrac{1}{2}<x\le 1. \end{cases}$$ Let $f_1(x)=f(x)$ and ...
2
votes
1answer
66 views

Show that $f$ has infinitely many fixed points

Let $f:ℂ→ℂ$ be an entire function. Assume that the equation $f(s)=a$ has infinitely many real solutions for all reals $a$. Show that $f$ has infinitely many fixed points, i.e., there exists infinitely ...
4
votes
1answer
97 views

Continuous function on closed unit ball

Take a continuous mapping $f: \bar{B^{n}} \rightarrow \bar{B^{n}}$, where $\bar{B^{n}}$ is a closed unit ball in $\mathbb{R}^{n}$. Assume that $f(x) \neq x$ for every $x \in \bar{B^{n}}$. Define ...
2
votes
0answers
33 views

A basic question about upper hemicontinuity

Given a correspondence $f:X\rightarrow 2^X$, suppose X is a closed simplex in $\mathbb{R}^n$, and $f$ is compact-valued. We say $f$ is upper hemicontinuous if, $\forall x\in X$ and every open subset ...
0
votes
0answers
45 views

Example of continuous function without fixed point.

I need to find an example of a continuous function without a fixed point, and this is what I've come up with: As {1} is not in the (co)domain, I can evade all $x$ for which $f(x)=x$ up until I ...
3
votes
2answers
211 views

Banach fixed point theorem and Picard-Lindelöf applied to this equation (explanation needed)

Consider the following equation which holds for all $w$ in some space, $$\langle v(t), w \rangle = \langle v(0), w \rangle - \int_0^t \langle F(s,v(s)), w \rangle$$ where $\langle F(s,v),w \rangle$ is ...
0
votes
0answers
7 views

Discrete map: local linearized instability implies nonlinear instability

Let a discrete uni dimensional map $x_{n+1}=f(x_n)=f^{n}(x_0)$. If its linearized version is local instable, that is, $\frac{df}{dx}(x_p)>1$, where $x_p$ is such that $f(x_p)=x_p$ then there is a ...
2
votes
1answer
104 views

Every increasing function from a certain set to itself has at least one fixed point

I need a hint for the following question: Let $S$ be a nonempty ordered set such that every nonempty subset $E\subseteq S$ has both a least upper bound and a greatest lower bound. Suppose $f:S ...
2
votes
0answers
50 views

fixed point iteration $x_{k+1}=f(x_k)$ with multiple fixed points

I have a fixed point iteration problem in my research, as below: $$x_{k+1}=f(x_k)$$ where $$f(x)=\frac{\lambda r}{g}\sum_{i,j}\pi_if_{ij}\left[1- \exp\left\{\displaystyle ...
0
votes
0answers
16 views

Kakutani's FP theorem for $F:X\to 2^Y$

The Kakutani Fixed Point Theorem is postulated for mappings of the form $F:X\to 2^X$, where $2^X$ stands for the powerset of $X$, $X$ is nonempty and $F(x)\neq \varnothing$ for all $x\in X$, $F$ is ...
1
vote
0answers
26 views

On a Variational Inequality

Let $H$ be a Hilbert space with real inner product. Consider $f: C \rightarrow C$, where $C \subset H$ is closed and convex. I am not sure about the variational inequality problem: find $x \in H$ ...
0
votes
0answers
33 views

What Projections preserve Pseudocontractiveness?

Let $f: \mathbb{R}^n \rightarrow \mathbb{R}^n$ be a pseudocontraction, i.e., $$ \left\| f(x) - f(y) \right\|^2 \leq \left\| x-y\right\|^2 + \left\| f(x) - f(y) - (x-y) \right\|^2 $$ for all $x,y \in ...
1
vote
1answer
49 views

Conditions yielding a unique fixed point of a continuous differentiable function.

Let $f$ be a function defined on $[0,1]$ which is continuous for each point in $[0,1]$ and differentiable for each point in $(0,1)$. Suppose that $f^\prime (x) \neq 1$ for every $x \in (0,1)$. ...
12
votes
1answer
190 views

Converse of a fixed-point theorem

I'm having some trouble furnishing a proof here. Let $(E, d)$ be a metric space such that any $k$-Lipschitz function has a fixed point for $0 < k < 1$. Does it follow, then, that $E$ is ...
0
votes
1answer
48 views

Constructive fixed-point theorems where finite iteration yields the fixed point

I would like to show that $p$, a fixed point of some effective map $f : S\rightarrow S$, can be constructed effectively. Ideally, I would like there to exist a finite $n$ such that $p = f^n(p_0)$, ...
0
votes
2answers
52 views

How to show this is a contraction

Let's say I want to find a fun way to write a number $l$. I can procede by doing so: (as I saw here Can we get just $3$ from $\pi$?) Let $f(x) = \sqrt{2lx - l^2}$. The only fixed point is $f(x) = x ...
1
vote
1answer
31 views

Is the composition of monotone operators monotone?

Let $H$ be a real Hilbert space with inner product $\langle\cdot, \cdot \rangle: H \times H \rightarrow \mathbb{R}$, and induced norm $\left\| \cdot \right\|: H \rightarrow \mathbb{R}_{\geq 0}$. Let ...
0
votes
0answers
30 views

The constant of fixed-point iteration

I saw some sentences and proofs related to fixed-point iteration in my numerical method textbook: $$e_{k+1} = g'(\theta) e_{k}$$ if $|g'(x^\ast)|<1$, there is a constant such that $|g'(\theta)|\le ...
0
votes
2answers
33 views

Fixed Point of a Function

I am trying to answer the following question: Prove the function $f(x)=1-x^2$ has a fixed point on $[0,1]$. Find the value of this fixed point explicitly. I know how to prove that it has a fixed ...
1
vote
0answers
59 views

Aitkens Extrapolation

The Aitken's extrapolation can be written as $$X^n = X_{n-2} + \dfrac{(X_{n-1}- X_{n-2})^2}{(X_{n-1}- X_{n-2})-(X_n- X_{n-1})}$$ Verify it? And $X^n$ can be viewed being defined recursively by ...
1
vote
1answer
97 views

Definition of upper hemicontinuity of a correspondence.

When using and examining Kakutani's fixed-point theorem, I've got a question about upper hemicontinuity. A correspondence $f:X\rightarrow2^Y$ is a point-to-set mapping. One way to define upper ...
0
votes
0answers
31 views

Convex Feasibility problem on Hilbert space

Let $H$ be a Hilbert space with real inner product $\langle\cdot, \cdot \rangle: H \times H \rightarrow \mathbb{R}$. Consider a closed convex set $X \subset H$ and let $P_X: H \rightarrow X$ be the ...
1
vote
1answer
72 views

How to use Markov-Kakutani fixed point theorem to show that abelian groups are amenable?

Recall that a group $\Gamma$ is amenable if there exists a state $\mu$ on $l^{\infty}(\Gamma)$ which is invariant under the left translation action: for all $s\in \Gamma$ and $f\in ...
0
votes
0answers
26 views

Heuristics for sequence convergence

Having a finite sequence of double precision floating point numbers (obtained using the fixed point iteration of a function), is there any algorithm which can be used to determine that this sequence ...
1
vote
2answers
58 views

fixed point iteration algebra problem

I am looking at an example which finds the root of: $$ f(x) = \cos(3x) \tag 1$$ using the fixed point iteration method. It uses $$ g(x) = \frac{2x+\cos(3x)}{2} \tag 2$$ However, it was my ...
2
votes
1answer
47 views

Strictly increasing on R

Choose correct options , more than one may be correct Let f be the function defined by $$h(x)=e^x (x-1)+x^2$$ we've : $h$ is positive on $(0,\infty)$ $h$ is negative on $(0,1)$ $h$ is ...