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
16 views

Relating to representation of real numbers.

Can someone tell me which representation is better for representing real numbers: fixed point representation or floating point representation? If the answer is circumstance dependent, please specify ...
2
votes
0answers
13 views

Solution Space for a Fixed Point Problem

Hi I need to find the criteria for which the following has a solution: $$X= K_1 (a_1-b_1X)^{c_1} (a_2-b_2 X)^{c_2} (a_3-b_3X)^{c_3} X^{c_4}$$ where $K_1>0; a_1>0; c_1>1; (b_2 b_3)\leq0; ...
0
votes
1answer
40 views

Product of Two systems with the same asymptotically stable fixed points

I am trying to figure out the nature of a new dynamical system that is equal to the product of two dynamical systems with the same asymptotically stable fixed point. For instance, if i have $x' = ...
0
votes
0answers
54 views

Sketching Region of a Fixed Point Iteration [closed]

Suppose we have the fixed point iteration of $$x_{n+1}=\frac{-x_n^2-c}{2b}$$ in which $b, c$ are some fixed real parameters. Now, when $x_n\to x$, then what does $x$ yield? How would I sketch the ...
0
votes
0answers
26 views

Existence of a solution of a limit of Fixed point equations

I am considering a setting where I am given an iid sample of symmetric positive matrices $\{S_i\}$, $i=1,\dots, n$, of a matrix valued random variable $S$ with distribution $F$. The support of $F$ is ...
0
votes
0answers
45 views

Equivalence between optimisers in the limit

Consider the optimisation problem $$ \begin{array}{cl} \displaystyle \min_{x_1, \ldots, x_K} & \displaystyle \sum_{k=1}^{K} \left\{ f_k(x_k) + \left( \frac{1}{K} \sum_{i=1}^{K} x_i \right)^T A ...
0
votes
0answers
19 views

Common fixed point of commuting monotonic functions

Let $P$ be a chain-complete poset with a least element, and let $f_1,f_2,\ldots,f_n$ be order-preserving maps $P\to P$ such that $\forall i,j: f_i \circ f_j = f_j\circ f_i$. Claim. The functions ...
0
votes
1answer
42 views

Poset where every monotonic function has a least fixed point

Let $P$ be a poset such that every order-preserving map $f:P\to P$ has a least fixed point. Must $P$ be chain-complete?
0
votes
1answer
50 views

Chain-complete and least element iff every order-preserving map has least fixed point

Let $P$ be a poset. I want to show the following are equivalent. $P$ is chain-complete and it has a least element. For every order-preserving map $f:P\to P$, the set $P_f$ of fixed points of $f$ has ...
3
votes
1answer
49 views

Least fixed point of restricted function

Let $P$ be a poset with the property that every order-preserving map $f:P\to P$ has a least fixed point $\mu(f)$. Now for any $p\in P$, the poset $\downarrow(p)=\{x\in P|x\leq p\}$ must also have ...
4
votes
1answer
75 views

Fixed point property of spaces having same homotopy type

Suppose X and Y have same homotopy type.X as a topological space has fixed point property.Can we conclude anything about fixed point property of Y?
2
votes
1answer
46 views

Fixed point without the constant

If $d(Fx,Fy)<d(x,y)$ for all $x,y$ in a closed bounded subset $X$ of Euclidean space and $F\colon X\rightarrow X$ then there is a unique fixed point $x_0$ and $\lim \limits _{n\to\infty} ...
0
votes
2answers
25 views

Derivative test for contraction mapping on open sets

I have a question on the derivative test for showing that a function is a contraction. The proposition that I know is in this version: Let $I$ be a closed bounded set of $\mathbb{R}^l$ and $f : I ...
0
votes
0answers
34 views

Rate of Convergence of $x_{k+1} = \frac 14 (x_k^2 +sin(x_k) + 1)$

I have shown that the fix point Iteration $$x_{k+1} = \frac 14 (x_k^2 +\sin(x_k) + 1)$$ has exactly one fix point $x^*\in[0,1]$ for every $x_0 \in [0,1]$ with the Banach theorem. Now I want to find ...
1
vote
2answers
31 views

Proving a function is not a contraction

Let $\psi: C([0,1]; \mathbb{R}) \mapsto C([0,1]; \mathbb{R}) $, be such that if $x \in [0,1]$ then $$\psi(f)(x) = \int\limits_{0}^{x} f(t) dt $$ I am asked to show that $\psi$ is not a contraction ...
0
votes
2answers
48 views

Show that mapping is a contraction?

Show that the mapping $f:\Bbb R \to \Bbb R $, $f(x)=1-xe^x$ is a contraction. I tried everything i could think of but i cant get it to work. Witch is not much since i couldn't really find any ...
2
votes
0answers
34 views

Equilibrium points of $\dot x(t)=-2\cdot x^3(t)$

The following differential equation is given: $$ \dot x(t)=-2\cdot x^3(t)\qquad x(t)\in\mathbb R $$ I am asked to find the equilibrium points of the system. By definition, the equilibrium points are: ...
0
votes
1answer
39 views

Fixed point Iteration: Convergence & Divergence from geometrical figure

I want to understand the geometrical interpretation of Convergence & Divergence of Fixed point iteration method. The figure is here IMAGE: CLICK HERE In Figure 2.4(a) Left panel: if we draw a ...
4
votes
0answers
25 views

Literature on the convergence of $x_{n+1} = f(x_n)$ in general

When faced with a recurrence of the form $x_{n+1} = f(x_n)$, my toolbelt for proving convergence is very limited: if $f$ isn't $k$-lipschitzian with $k<1$, and/or if I can't find some complete set ...
5
votes
2answers
103 views

How can I prove $x_{n+1} = e^{-x_n}$ is convergent?

I'm doing a practice problem which asks to prove that the sequence defined by $x_{n+1} = e^{-x_n}$ is convergent (or rather "study the convergence of $(x_n)$"). So I'd like to try and find some ...
1
vote
1answer
55 views

Banach fixed point theorem - Find $x$ such that $f(x) = 0$.

Let $f: \mathbb R \to \mathbb R$ be a continuous function with a continuous derivative. In short $f \in C^1$. We know that $0<c\leq f'(x) \leq d < \infty$. We want to prove that $\exists! x_0 ...
12
votes
1answer
103 views

Algebraic fixed point theorem

I was wondering if there are some "algebraic" fixed point theorems, in group theory. More precisely, given a group $G$ and a group morphism $f : G \to G$, what conditions on $G$ and $f$ should we ...
3
votes
5answers
106 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 ...
0
votes
1answer
33 views

Proving a function to be a contraction

I'm studying contractions and I am trying to understand under which conditions a function is actually a contraction. I have understood that a continuous function $f: [a,b]\rightarrow\mathbb{R}$ is a ...
2
votes
2answers
43 views

Whether a continuous function has fixed point or not when the domain and range are not $[0,1]$

Which of the following is false $?$ $A.$ Any continuous function from $[0,1]$ to $[0,1]$ has a fixed point. $B.$ Any homeomorphism from $[0,1)$ to $[0,1)$ has a fixed point. $C.$ Any bounded ...
1
vote
0answers
24 views

The conjugate of a complex function

This may be a stupid question. I am trying to explain/prove the following: Let $f$ be a complex rational function of degree $d ≥ 2$ with fix point $z_0 \neq 0$. It is always possible to conjugate ...
5
votes
3answers
311 views

unique fixed point problem

Let $f: \mathbb{R}_{\ge0} \to \mathbb{R} $ where $f$ is continuous and derivable in $\mathbb{R}_{\ge0}$ such that $f(0)=1$ and $|f'(x)| \le \frac{1}{2}$. Prove that there exist only one $ x_{0}$ such ...
0
votes
1answer
45 views

Does any continuous function from the open unit interval $(0,1)$ to itself has a fixed point?

I know that the result is true for closed interval $[0,1]$ by using intermediate value property. But in the case where we consider open interval $(0,1)$ does the solution change?
0
votes
1answer
20 views

Stating if a function being a contraction

I have to state if a function $f:\mathbb{R}\rightarrow\mathbb{R}$ is a contraction on the interval $I\subset \mathbb{R}$ and say if it admits fixed points. The function is $f(x)=\left\{ ...
1
vote
1answer
44 views

$r\rightarrow1/r$ invariant

(Not sure the tags are appropriate, but can't think of better ones. Please suggest better.) Suppose you have a function $f(x,y,z,...;g(r))$ with the requirement that $r\rightarrow1/r$ leaves $f$ ...
0
votes
1answer
15 views

Problem in Topology related to continuous functions

Let $\mathbb{R-Q}$ be the subspace of $\mathbb{R}$ with the usual metric. Is there a function, $f:\mathbb{R-Q} \rightarrow \mathbb{R-Q}$ such that f is continuous and $f$ does not have a fixed ...
0
votes
1answer
29 views

Lefschetz number of a transformation of the sphere.

In differential topology the Lefschetz number of an automorphism of a compact manifold is the oriented intersection number of the graph of that automorphism with the diagonal. I would like a proof or ...
2
votes
0answers
41 views

Edelstein Fixed Point Theorem

Let $(M,d)$ be a metric space, $M$ compact. If $f:M \to M$ is continuous and weakly contractive (i.e. $d(f(x), f(y)) < d(x,y) , \forall x,y \in M$), then $\exists x_0 \in M $ unique s.t ...
2
votes
1answer
20 views

Proof there is no fixpoint

I want to proof that a certain function (in this case tan(x) on (0, 1/4)) doesn't have a fixpoint. Is there a general approach to try that? For example an "iff" fixpoint theorem?
0
votes
1answer
52 views

Existance of a fixed point of a bijective, smooth function:

Let $[a,b],\,\, [c,d]$ be two bounded closed intervals of $\mathbb{R}$ such that $$[a,b]\cap[c,d]\not=\emptyset$$ and $f:[a,b]\to[c,d]$ be a bijective, smooth function. We know that, if ...
0
votes
0answers
14 views

Fixed Point Convergence Guarantee

Does following type of a fixed point iteration guaranteed to converge to a solution ? $x_{n+1} = \exp(f(x_n))$ I found similar iteration on a paper, but they don't talk about any convergence. So I ...
0
votes
1answer
53 views

Fixed point iteration methods lead to division by zero

So I need to prove that for $f(x) = ((x - x^*)^2)h(x)$ assuming $f''(x) \neq 0$ and assuming $f(x)$ be twice continuously differentiable, that Newton's method converges linearly in this case. So $g(x) ...
0
votes
2answers
19 views

Weak contraction mapping preserves order?

Suppose I have a function $\varphi$ on the unit interval such that $|\varphi (x)-\varphi (y)|<|x-y|$. Is it true that if $0 \leqslant c \leqslant 1$ then $\varphi (0) \leqslant \varphi (c) ...
2
votes
4answers
134 views

Fixed point iteration convergence of $\sin(x)$ in Java [duplicate]

Is it mathematically correct to say that $\sin(x)$ converges to zero as $x$ approaches $0$? If the $\sin(x)$ iteration is done starting at $\dfrac{\pi}{2}$ in Java, for $10^9$ iterations, the result ...
0
votes
1answer
51 views

What is meant when saying a function has a solution?

I have to code the solutions to these questions in Python. But before even thinking about coding, I have to understand what I have to do here. Table 1: Observed frequency distribution of Y ...
0
votes
2answers
29 views

Solution of an equation involving Banach fixed point.

I find this queistion in my textbook: QUESTION) Let $T \in \mathcal{L}(\mathcal{B})$, where $\mathcal{B}$ is a Banach Space. If exists $n$ with $||T^{n}|| < 1$, show that, given $\eta \in ...
0
votes
1answer
42 views

Newton's Method and Banach Fixed Point Theorem

This might be a dumb question, but I want to see how Newton's method can be understood in the context of Banach fixed point theorem (BFPT): A closed subset of a complete metric space is complete. If ...
1
vote
1answer
21 views

showing $Ax=b$ has a unique solution by finding the fixed points of a function

Let $n ∈ \mathbb N$. Consider an $(n×n)$-matrix A with real components and a column vector $b ∈ \mathbb R^n$. They give rise to an affine transformation $T : \mathbb R^n → \mathbb R^n$ with $T(x) = ...
0
votes
0answers
29 views

Criteria for being below the least fixed point

Given a complete partial order $(D,\, {\leq})$ and a Scott-continuous function $F\colon D \rightarrow D$ and some fixed point $X = F(X)$. Are there any criteria that ensure that $X \leq \mathsf{lfp} ...
0
votes
1answer
35 views

Banach Fixed Point Theorem and the function $f(x)=x+e^{-x}$

let $X = [0,\infty)$ equipped with the standard metric $d(x,y) = |x-y|$. Let $f: X \rightarrow X$ be defined by $f(x)=x+e^{-x}$ Explain why this function doesn't contradict Banach's Fixed Point ...
1
vote
1answer
40 views

Fixed-Point Applications

Let $1<a<e^{1/e}$, and define $f(x)=a^x$ (b) Show that if $x_1$ is any point in the interval $(1,e)$ and $p$ is a fixed point of $f(x)$ in the interval $(1,e)$, then $$|f(x_1) - p | <|x_1 - ...
1
vote
1answer
36 views

“Comparing” fixed point Theorems.

In class, I saw Banach's (Picard) fixed point theorem: Given a complete metric space and a contractive mapping, it admits a unique fixed point. And Brouwer's: Given a continuous function in ...
7
votes
1answer
75 views

Free $\mathbb{Z}_{2}$ action on the plane

Motivated by the following question we ask: Is there a free action of $\mathbb{Z}_{2}$ by homeomorphism on $\mathbb{R}^{2}$? Lie groups with no free $\mathbb{Z}/2\mathbb{Z}$ action
4
votes
1answer
63 views

Application of Banach Fixed Point Theorem to sequences

I have the following question Show that there is unique real bounded sequence $(a_n: n \in \mathbb{N})$ such that $$a_n = \frac{n+1}{n}+\sum^\infty_{m=1}\frac{\sqrt{3a^2_{m+n}+1}}{4m^2}$$ for all $n ...
1
vote
1answer
93 views

What is the relationship between eigenvector and computing PageRank?

I read several papers about PageRank and didn't get stuck in understanding the idea of PageRank because it is simple, but I got stuck in computing PageRank, those papers talk about some mathematical ...