Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [fixed-point-theorems]

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, Kleene) etc.

5
votes
1answer
162 views

Only one fixed point for $f:\bar{\mathbb{D}}\rightarrow\bar{\mathbb{D}}$ on the boundary.

We know for Brouwer theorem that $f$ (continuous bijective function) have a fixed point. My questions are: 1) Is there a function with only one fixed point $x_0\in Int(\bar{\mathbb{D}}) $ (open disk)?...
5
votes
4answers
3k views

Must a holomorphic function from $D(0,1)$ to $D(0,1)$ have a fixed point?

Must every holomorphic function $f:D(0,1)\longrightarrow D(0,1)$ have a fixed point? I know that any holomorphic function with two fixed points is the identity: $f=Id$, but I can't find out an ...
5
votes
1answer
1k views

In a complete lattice every monotone function has a fixpoint (Knaster–Tarski Theorem)

L is a complete lattice, so every subset has a supremum and infimum. In addition, there exists a function $f:L \rightarrow L$ such that $a \leq b$ implies $f(a) \leq f(b)$. Prove that there exists ...
5
votes
2answers
412 views

Is there a fixed point theorem I could use to solve this problem?

let $E = C([0,1]),\,\,$ $K : E \to E, \,\, (Kf)(x) = \int_0^1K(x,y)f(y)dy$ also $\|K\| \leq a < 1$ I want to prove that there for $g \in E$ there exists a unique $f_g \in E$ that satisfies the ...
5
votes
2answers
802 views

How to show something is a contraction?

If we let $X$ be a complete metric space, and let $S:X\to X$ be a map, such that $S^m$ is a contraction. We now want to show, that $S$ has a unique fixed point This is what I've thought so far: Due ...
5
votes
2answers
2k views

Contraction mapping does not hold in metric space

Let $X=\mathbb{Q}\cap [1,2]$, i.e $X$ is the set of rational number between 1 and 2 inclusive. We can consider $X$ to be a metric space by endowing it with the usual distance function, i.e for $x,y \...
5
votes
1answer
268 views

No fixed points imply no periodic points

Let $f:\mathbb{R}^n\to \mathbb{R}^n$ be a smooth injective function with $\operatorname{det}[f'(x)]\not=0 $ for all $x\in\mathbb{R}^n$. Moreover assume that $f$ has no fixed points. Can $f$ have a ...
5
votes
3answers
3k views

Why does Fixed Point Iteration work?

I have searched online for an answer, but everyone gave the method, and no one explained why is it working. I'll first write what I do understand. Let $f(x)$ be a continuous function at $[a,b]$. ...
5
votes
2answers
197 views

Contractive Operators on Compact Spaces

Suppose that $T: M \to M$ is a compact contractive Operator on a nonempty compact subset $M$ of a complete metric space $X$. Show that $T$ has a unique fixed point. Further show that the sequence ...
5
votes
1answer
230 views

Does the sequence $(x_n)$ given by $x_{n+1} = -16+6x_n+\frac{12}{x_n}$ converge?

Question. If $x_0$ is sufficiently close to $2$, then will the sequence obtained as $$x_{n+1} = -16+6x_n+\frac{12}{x_n}$$ converge to 2 ? My attempt : I have shown that if $x_0$ is close to ...
5
votes
2answers
813 views

Prove that a function is contractive

I'm stuck with the following. I need to prove that in $D:=[0,1]\times[0,1]$ the function $F$ is contractive, where $F:\mathbb{R}^2\rightarrow\mathbb{R}^2$ is defined as: \begin{align} F(x,y):=(\frac{...
5
votes
2answers
149 views

Path Connectedness and fixed points

We have the following given to us, Let $α, β \colon [0, 1] \to [0, 1]$ be (not necessarily continuous) functions such that $α(x) ≤ β(x)$, for all $x ∈ [0, 1]$. The set $K = \{\,(x, y); α(x) ≤ y ≤ β(...
5
votes
1answer
87 views

Show that there exists $\xi\in [a,b]: f(\xi)=\xi$.

Let $a,b\in\mathbb{R},~a<b$ and consider $f\colon[a,b]\to [a,b]$ continuous. Show that $f$ has a fixed point. i.e. that there exists a $\xi\in [a,b]$ with $f(\xi)=\xi$. My idea is to consider ...
5
votes
2answers
188 views

Existence of infinite iteration of functions $f_\infty$?

Given a sequence of functions $\{f_n\}$ satisifying an iterated relation such as $f_n(x)=g(x+f_{n-1}(x))$ $f_n(x)=g(xf_{n-1}(x))$ $f_n(x)=g(x/f_{n-1}(x))$ Where $g:=f_1$ is ...
5
votes
1answer
2k views

Local Truncation Error of Implicit Euler

The LTE of an implicit Euler method is $O(h^2)$ because the method has order $O(h)$, but I'm not sure where to get started in proving this arithmetically. Any help would be appreciated. Thank you!
5
votes
1answer
49 views

Function on a Power Set

Let $f\colon \mathcal{P}(A)\mapsto \mathcal{P}(A)$ be a function such that $U \subseteq V$ implies $f(U) \subseteq f(V)$ for every $U, V \in \mathcal{P}(A)$. Show there exists a $W \in \mathcal{P}(A)$ ...
5
votes
1answer
525 views

Proof that the solution to cosx = x, is the limit of a recursive sequence.

So I've got this question. Exists a sequence $a_n$ such that: $$a_0 = \frac \pi4, a_n=\cos\left(a_{n-1}\right)$$ Prove that $\lim_{n\rightarrow\infty} a_n = \alpha$ Where $\alpha$ is the solution to $...
5
votes
2answers
161 views

System of equations $a(1 - b^2) = b(1 -c^2) = c(1 -d^2) = d(1 - a^2)$

Given a positive real number $t$, find the number of real solutions $a, b, c, d$ of the system $$a(1 - b^2) = b(1 -c^2) = c(1 -d^2) = d(1 - a^2) = t$$ I have a solution Let $f(x)=\frac t{1-x^2}$ ...
5
votes
1answer
98 views

If $q(x)=x^2+1$, does $q^{\circ 1/2}$ exist? [duplicate]

I've been doing a lot of research about functional half-iteration, and I posed the following question to myself: Consider the function $q:\mathbb R\mapsto\mathbb R$ defined as $$q(x)=x^2+1$$ ...
5
votes
1answer
86 views

Quotient Spaces Defined By Bijection

I was working with a question in topology and came to the following statement that I can't seem to figure out: Let $f:\mathbb R^2\rightarrow\mathbb R^2$ be a homeomorphism with no fixed points. ...
5
votes
1answer
529 views

What is the role of fixed point theorems in modern mathematics?

About Fixed Point Theorems, Wikipedia says: Results of this kind are amongst the most generally useful in mathematics. This seems an accurate statement: indeed, there are many journals ...
5
votes
1answer
65 views

Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables

There is a definition (actually a description of how it could be defined) of a fixed-point logic formula. The formula is in inflationary fixed point logic (IFP) in this case but it could also be ...
5
votes
1answer
978 views

Show that sequence approaches fixed point of a function

Problem Let $f(x)$ be a differentiable function on $\Bbb R$ with $\left|\,f ' (x)\right| \leq r < 1$, where $r$ is constant. Then consider the sequence $\{x_n\}$ such that $x_1 = 0$, $x_{n+1} = f(...
5
votes
1answer
350 views

Fixed Point of a complex dynamical spiral system

Last semester I finished my first class on complex variables and of course we had to show that $i^i$ was real. That got me wondering about quantities like $i^{i^i}$ and similar power towers. For my ...
5
votes
0answers
74 views

Proving Talagrand's contraction lemma for Gaussian processes with the Banach fixed-point theorem

I've done the standard proof of Talagrand's contraction lemma for Gaussian processes (see Exercise 7.2.13 in Vershynin's High-Dimensional Probability) using the Sudakov-Fernique inequality as ...
5
votes
0answers
125 views

Reference request: equivalence between formulas in fixed point and first-order logic

I'm looking for materials on the relationship between first-order and fixed-point logics, specifically on the condition for a formula in some sort of fixed-point logic to have an equivalent first-...
5
votes
2answers
223 views

Why does the fixed point theorem hold for every lambda term?

Can someone give a clear and simple answer for why the fixed point theorem holds for every $\lambda$-term, in contrast with the fact that not all numerical function have a fixed point?
5
votes
0answers
212 views

Showing a sequence $x_{n+1} = Tx_n$ forms a contraction mapping

I want to show that the sequence given by $$x_{n+1} = Tx_n = x_n-\frac{(x_n^2-2)}{x_n+x_{n-1}}$$ forms a contraction mapping. That is $$|Tx_1-Tx_2|\leq c|x_1-x_2|.$$ Where $c$ is to be determined. I ...
5
votes
0answers
382 views

Vector valued contraction

I am familiar with the Banach Fixed Point Theorem and I have used it to prove existence and uniqueness of functional equations in Banach spaces like $C(X)$, the space of bounded continuous function $f:...
4
votes
2answers
562 views

To prove : If $f^n$ has a unique fixed point $b$ then $f(b)=b$

If $f: \mathbb R \to \mathbb R$ be a function such that for some $n_o \in \mathbb N$ , the $n_o$th iterate of $f$ has a unique fixed point $b$ , then how to prove that $f(b)=b$ ? I cant think of ...
4
votes
2answers
345 views

Where is my mistake using the Banach theorem for $x^2 - 2 = 0$?

Consider example $x^2 - 2 = 0$. I can rewrite so I get $x^2 + x - 2 = x$. If I define $\phi(x) = x^2 + x - 2$, I need to solve $\phi(x) = x$. $\phi$ is Lipschitz-continuous, since it's differentiable. ...
4
votes
5answers
1k views

Picard's existence theorem, successive approximations and the global solution

Picard's existence theorem states that if $U$ is an open subset of $\mathbb{R}^2$ and $f$ is a continuous function on $U$ that is Lipschitz continuous with respect to the second variable then there is ...
4
votes
1answer
1k views

Showing that $f$ has exactly one fixed point

Let $\gamma$ be the circle $\{z \in \mathbb{C}: \lvert z\rvert=1 \}$. Suppose $f$ is a function analytic on an open set containing $\gamma$ and its interior and that $\lvert\, f(z)\rvert<1$ for ...
4
votes
3answers
324 views

Can't find all roots to function with fixed point method

I have a function $f(x) = x^2-8x-10\cos(2x)+15$ and I'm supposed to via Matlab find all roots for this function. I can see graphically that it has $4$ roots and I've written a matlab function to find ...
4
votes
4answers
718 views

Newton's method with no real roots

So as the title would suggest I'm currently reading about Newton's method for finding roots. I'm having trouble understanding the reasoning for a function without a root. It reads as following: "...
4
votes
3answers
99 views

How many fixed points are there for $f:[0,4]\to [1,3]$

Let , $f:[0,4]\to [1,3]$ be a differentiable function such that $f'(x)\not=1$ for all $x\in [0,4]$. Then which is correct ? (A) $f$ has at most one fixed point. (B) $f$ has unique fixed point. (C) $...
4
votes
3answers
124 views

Convergence to a fixed point [duplicate]

Let $f : [a,b] \rightarrow [a,b]$ be a continuous function s.t. $f'(x)$ is defined on $(a,b)$ and $\left\lvert f'(x)\right\rvert \leqq t$ where $0<t<1$. Prove that for any point $x_0$ in $[a,b]$ ...
4
votes
1answer
97 views

Continuous map in $\mathbb{R}^2$ has a (scaled) fixed point

Let $\phi:\mathbb{R}^2\rightarrow \mathbb{R}^2$ be a continuous map. How do I prove that there exist $a>0$ and $x\in\mathbb{R}^2$ such that $\phi(x)=ax$? What I know: I thought maybe this can ...
4
votes
3answers
134 views

Prove $(x_n)$ defined by $x_n= \frac{x_{n-1}}{2} + \frac{1}{x_{n-1}}$ converges when $x_0>1$

$x_n= \dfrac{x_{n-1}}{2} + \dfrac{1}{x_{n-1}}$ I know it converges to $\sqrt2$ and I do not want the answer. I just want a prod in the right direction. I have tried the following and none have ...
4
votes
2answers
219 views

How to explain powers of $(x+1)^{2^n}$ appearing in the Babylonian approximation of $\sqrt x$?

I'm working with this iteration used for approximating square roots and trying to see what I can draw out from it, and in doing so I found something very strange that I can't logically explain. I'm ...
4
votes
4answers
290 views

generalization of Banach fixed-point theorem on short maps?

If $ \ T:X \longrightarrow X \ $ is contraction, then using Banach fixed-point theorem we know that the fixed point exists and all other points converge to that point. But what happens if $T$ is not ...
4
votes
1answer
455 views

Is $f : [0,\infty]\rightarrow [0,\infty]$ which is continuous and bounded has a fixed point

Question is to check if : $f : [0,\infty]\rightarrow [0,\infty]$ which is continuous and bounded has a fixed point. I have first of all considered boundedness. So, $f(x)$ should not have $x$ as ...
4
votes
1answer
83 views

Fix point of squaring numbers mod p

Take the set of integers $\{0, 1, .., p-1\}$, square each element, you get the (smaller) set of quadratic residues. Repeat until you get a fix point set. The size of this set is a function of $p$. ...
4
votes
1answer
191 views

Is there any way to give sense to a geometric/visual proof?

Suppose one is given the following visual proof that $$\lim\limits_{n \to \infty} \sum_{k=1}^n \frac{1}{2^k} = 1$$ which is the following construction over $[0,1]\times[0,1]$ What this is ...
4
votes
1answer
232 views

Fixed point property of Cayley plane

I want to know whether the Cayley plane has fixed point property or not. I think it is so but I am not able to prove this. It certainly does not admit maps of period two without fixed points. By fixed ...
4
votes
1answer
105 views

Continuous on the unit ball – odd on the unit sphere – does it have a fixed point?

For $n\in\mathbb N$, let \begin{align*} B^n\equiv&\;\{\mathbf x\in\mathbb R^n\,|\,\lVert \mathbf x\rVert\leq 1\}\text{ and}\\ S^{n-1}\equiv&\;\{\mathbf x\in\mathbb R^n\,|\,\lVert \mathbf x\...
4
votes
2answers
112 views

Counterexample to a “modified” Banach Fixed Point Theorem?

The Banach theorem states that if a (self) map on a complete metric space is Lipschitz with ratio $< 1$, it has a unique fixed point. What about modifying the hypotheses to say that the only ...
4
votes
2answers
157 views

Continuous mapping and fixed points

Does a continuous mapping $f\colon \mathbb R \to \mathbb R$ which satisfies $f(f(x))=x$ for each $x \in \mathbb R$ necessarily have a fixed point?