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

0
votes
1answer
56 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
202 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
35 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
68 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
25 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
33 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
63 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
51 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
77 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
70 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
143 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 ...
0
votes
0answers
19 views

Every finite group of congruences of the $n$-dimensional Euclidean space has a fixed point

Is there an "absolute" proof of the fact that if $G$ is a finite group of congruences of the $n$-dimensional Euclidean space, then $G$ has a fixed point?
1
vote
1answer
43 views

Second order DE with Banach fixed point theorem

Let's consider such a problem: $$\left\{\begin{matrix} &u''-u=f(u)+g(x) & \\ &u'(0)=u'(1)=0 & \end{matrix}\right.$$ for $x\in(0,1)$, where $u=u(x)$ isn't known and $f \in ...
0
votes
1answer
50 views

Fixed Point Iteration Method - Starting Point

If $g(x):=21^{1/2}x^{-1/2}$, then $21^{1/3}$ is a fixed point of $g$. Question: Using the Fixed Point Iteration Method, are there conditions on the starting point $x_0$ in order for the method to ...
0
votes
1answer
32 views

Prove that there is a unique $\phi \in C([a,b])$ such that $\phi (x) = A(x) + \int_a^xK(x,y)\phi(y)dy$

Contraction Map Question I was reviewing another question on here (linked above), and I wanted to expand on it with another question (I hope this is the correct way to do such a thing). Here is my ...
0
votes
1answer
31 views

Set of all contraction maps

Consider $(X, d)$ be a compact metric space, and let $Con(X)$ denote the set of all contraction maps on $X$. We shall define the “distance” between two maps $f, g ∈ Con(X)$ as follows, $$d_{Con(X)}(f, ...
0
votes
1answer
190 views

Contractive composite function

A question arises when we are dealing with a function that is not known to be contraction but the composites of that function to itself is a contraction (it is called eventually contractive). More ...
0
votes
1answer
162 views

Is fixed point property a topological property?

Is fixed point property a topological property? I already came up with some examples, and think the answer may be yes. But I don't know theoretical proof to get that.
1
vote
1answer
22 views

Fixed point in a special continuous mapping

Show that a continuous mapping $f:[0,1]\to [0,1]$ which satisfies $f(f(x))=x$ for each $x \in [0,1]$, and for which $f(x)$ does not equal x for at least one x in [0,1], must have exactly one fixed ...
1
vote
1answer
72 views

Contraction Map (Fredholm integral type)

I have been stuck on this problem for a little while. I think the proof might be similar to that of proving the Fredhom integral of the second type, however I am not sure. I am a little confused on ...
0
votes
0answers
25 views

How can I find the roots of x^2+px+q=0 by using contractive mapping theorem?

Basically, Contractive mapping theorem guarantees that if F is contractive on some interval, then there exists a unique fixed point. However, $x^2+px+q=0$ has two different solutions as long as ...
4
votes
2answers
75 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?
0
votes
0answers
48 views

Diffeomorphism on $S^2$ to $S^2$ with at least two fixed points

Let $f:S^2\to S^2$ diffeomorphism orientation-preserving such that for every fixed point of $f$, $1$ is not an eigenvalue of $df_p$. Then $f$ admits at least two fixed points. I'd to ...
1
vote
0answers
27 views

Convergence of autonomous system / time-scale separation

Let $x \in \Delta_n$, where $\Delta_n = \{u \in \mathbf{R}^n_{\ge 0} \mid \sum u_i = 1\}$ is the probability simplex. Suppose that I have an (autonomous) dynamical system $$ \dot{x} = A(x) \cdot x $$ ...
2
votes
2answers
57 views

Convergence of fixed point iteration when $g'(p)=1$.

I am dealing with a function $f(x)=e^{-\frac{1}{x^2}}$, which has a root $p$ of infinite multiplicity at 0. I am struggling with the convergence rate of the resulting standard Newton fixed point ...
0
votes
0answers
64 views

Inverse function theorem - good proof

I am looking for a reference which give a full demonstration of the inverse function theorem (let say in Banach spaces) where we can have estimates of the bounds of the neighbourhoods that we build to ...
0
votes
0answers
28 views

Is this map defined from an ODE a contraction?

Let $f:\mathbb{R}^+\to \mathbb{R}$ be a $T$ periodic function, i.e. $f(t+T) = f(t)$ for all $t\in \mathbb{R}^+$. Let $\sigma\in \mathbb{R}^+$. Define a weighted $\mathcal{l}_2$ norm, $\left\| \cdot ...
0
votes
0answers
52 views

Fixed point problem with matrix

I am looking for guidance for the following fixed point problem. $A$ is an $n\times n$ matrix. The rows of $A=(A_{i})_{i\in N}$ are in the set $A_{i}\in\mathcal{A}$, where $\mathcal{A}$ is the set ...
0
votes
0answers
19 views

Fixed Point equivalence proof

Given two finite-state LTSs $L$ and $M$ (where $M$ is a "specific" subgraph of $L$) and the Hennessy-Milner-Logic monotone interpretation function $\Theta_F(S)$, where $F$ is the HML formula and $S$ ...
1
vote
1answer
84 views

If $X$ is a compact space and $A:X\rightarrow X$ is such that $\rho(Ax,Ay)<\rho(x,y)$, $x\neq y, \Rightarrow A $ have only one fix point on X.

I have problems with this demostration can anybody help me please? If $X$ is a compact space and $A:X\rightarrow X$ is such that $\rho(Ax,Ay)<\rho(x,y)$, $x\neq y, \Rightarrow A $ have only one ...
0
votes
0answers
25 views

Compare two fixed points component-wisely

Tarski fixed point theorem conclude that a isotone from a complete lattice to itself have a largest fixed point. Now suppose I have two isotone on defined on the same lattice, and one isotone is ...
3
votes
1answer
46 views

Polynomials in two variables over $\mathbb{F}_p$ fixed by $\operatorname{SL}_2(\mathbb{F}_p)$

Let $A=(a_{ij})\in\operatorname{SL}_2(\mathbb{F}_p)$. Consider the ring map $A:\mathbb{F}_p[x,y]\to\mathbb{F}_p[x,y]$ defined by $$A(x)=a_{11}x+a_{21}y$$ $$A(y)=a_{12}x+a_{22}y$$ and extended ...
1
vote
3answers
174 views

Prove that the equation $\cos x - x -1/2 = 0$ has a unique real solution

Prove that the equation $\cos x - x -1/2 = 0$ has a unique real solution. My solution: I was starting with a function $F(x) = \cos x - 1/2$ and the interval $[0,\pi/4]$ and trying to show that the ...
1
vote
2answers
64 views

3 fixed points proof

The problem: Suppose $g(x)$ is continously differentiable and has exactly 3 distinct fixed points $r_1 < r_2 < r_3$ with $\lvert g \prime (r_1) \rvert = .5$ and $\lvert g \prime (r_3) \rvert = ...
2
votes
0answers
48 views

Proof that the function on $C[0,b]$ is a contraction

Question : Let $a$,$b$ be real numbers with $0\lt b\lt 1$ . Consider the subset $X\subset C[0,b]$ consisting of the functions $f$ s.t $f(0)=a$ .Then $X$ is closed in $C[0,b]$. ...
1
vote
1answer
43 views

Given $y_0\in(0,b)$ and $y_{k+1}=\frac{1}{2}y_k(3-y_k^2)$ converges. Find $b$.

Given $y_0\in(0,b)$ and $y_{k+1}=\frac{1}{2}y_k(3-y_k^2)$ converges to $1$. Find $b$. I know the sequence converges quadratically. But I have no idea how to find $b$.
0
votes
2answers
159 views

Finding roots by Fixed Point Iteration

How to know or how to find the root of the equation by Fixed Point Iteration? In FPI is there any definition/theorem of when root exists? Or is it correct that when ...
0
votes
1answer
31 views

Help me find a fixed point.

I want to find a fixed point of $1/(x+1)$. I set: $p = 1/(p+1)$ $p^2+p-1=0$ $p= (-1\pm\sqrt(5))/2$ But I plug in $f((-1 + \sqrt(5))/2)$ and $(-1 - \sqrt(5))/2$ but I don't get the same output to ...
1
vote
1answer
27 views

If $G<S_n$ is transitive, calculate $1/|G| \cdot \sum_{g \in G} f(G)$

$G<S_n$ is transitive calculate $1/|G| * \sum_{g \in G} f(g)$ where $G<S_n$ and $f(g) = |\{ 1 \le i \le n | g(i) = i \}|$ I tried to use the orbit stabiliser theorem but didn't get anywhere ...
5
votes
1answer
80 views

If $f:S^2\to S^2$ is homotopic to the identity does it have a fixed point? [duplicate]

Question: Let $f:S^2\to S^2$ be a continuous map that is homotopic to the identity. Does $f$ necessarily have a fixed point? I thought about this question after learning the proof of Brouwer ...
1
vote
1answer
98 views

Fixed point property for the total space of the canonical line bundle over $\mathbb{C}P^{2n}$

It is well known that the even dimensional complex projective pace $\mathbb{C}P^{2n}$ has the fixed point property. What about the total space of the canonical line bundle over $\mathbb{C}P^{2n}$? ...
0
votes
1answer
45 views

Finding the condition number of an iterative method.

I'm trying to find the condition number on the function $A$ for the iterative method below however I'm struggling to begin. $$p_{n+1}=p_n-A(p_n)\frac{f(p_n)}{f'(p_n)}=g(p_n)$$ In particular, the ...
2
votes
0answers
71 views

Example of Measure of non-compactness?

I can't understand the following example of measure of non-compactness, which was given in a research article. Definition: A nonnegative function $\phi$ defined on the bounded subsets of $X$ will ...
0
votes
1answer
55 views

How does banach fixed point theorem related to matrix analysis?

As stated by Banach fixed point theorem, a contraction mapping has only one fixed point. In plain words it means that the contraction mapping T has only one solution that satisfy $Tx = x$. A ...
0
votes
1answer
35 views

Fixed point iteration, finding g(x)

I have struggle on finding this function g(x). Assume function $f(x) = 5x^3 -20x + 3$ and it is specified to find root in [0, 1]. So I guess, first thing is to find function g(x). $$g_1(x) = ...
9
votes
1answer
115 views

Does the fixed point in the Brouwer's Fixed-Point Theorem have to be an interior point?

As the question suggests, does the fixed point in the Brouwer's Fixed-Point Theorem have to be an interior point? Many thanks in advance. To be clear, I'm using the statement of Brouwer's Fixed-Point ...
2
votes
4answers
293 views

Exam question on fixed point iteration

I am solving the following exam problem. Problem: An iterative scheme is given by $$ x_{n+1}= \frac{1}{5}\left(16-\frac{12}{x_n} \right).$$ Such a scheme with suitable initial approximation $x_0$ ...