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

The set of all fixed points of a continuous function $f:[0,1] \to [0,1]$ , satisfying $f \circ f=f$ , is a non-empty interval?

Let $f:[0,1] \to [0,1]$ be a continuous function such that $f \circ f=f$ on $[0,1]$ , then is it true that the set $\{x \in [0,1] : f(x)=x \}$ is a non-empty interval? I can show that it is ...
2
votes
1answer
39 views

give a counter example that $T^n$ is contraction will not imply that $T$ is contraction.

Let $T$ be a contraction map then $T^n$ is contraction.. We can prove this result by induction on n.. But the converse is not true... help me to give a counter example that $T^n$ is contraction will ...
0
votes
1answer
42 views

Fixed Point Iteration - Numerical Analysis

please help me solve the following question. Qsn: Solve the following system by Fixed Point Iteration. $$ x^2-2x+y^2-2y=3$$ $$x+y=-1$$ Progress: So I know that we have to assume one of the ...
0
votes
0answers
38 views

When does a continuous function defined on a closed and bounded convex set has a fixed point?

For a function $f$ defined from a domain $K$ to itself, we have a point $x$ in $K$ is said to be a fixed point of $f$ if $f$ maps $x$ to itself. When the domain K is a compact convex set with some ...
3
votes
1answer
89 views

Holomorphic function with a unique fixed point

Let $\omega \subset \mathbb C$ be a simple connected set and $\,f:\omega \to A$ is an analytic function where $A \subset \omega$ is compact. Show that $f$ has an unique fixed point. I think we can ...
0
votes
1answer
29 views

Proving Theorem: subspace of polynomials of degree two or less?

How can I prove that the set $S$ of polynomials of degree $2$ or less, whose coefficients sum to zero, is a subspace of all polynomials with degree $2$ or less? I know I need to show that $a+b+c=0$ ...
7
votes
0answers
142 views

Why use the Lefschetz Zeta function?

Given a compact, triangulable space $X$ and a continuous function $f: X\rightarrow X$, then we define the Lefschetz number $\Lambda_{f}$ by $$\Lambda_{f} = \sum_{k\geq0}(-1)^{k}Tr(f_{\ast}\vert ...
1
vote
1answer
70 views

Proof of Tarski's self-reference lemma

In http://www.math.hawaii.edu/~dale/godel/godel.html, Tarksi's self reference lemma is mentioned but the proof is omitted. Tarski's Self-Reference Lemma. For any formula $p(x)$ in an adequate ...
0
votes
3answers
56 views

What are the conditions to apply Brouwer fixed-point theorem (one dimentional case)?

Does this theorem work for a continuous function $f : ]a,b[ \rightarrow ]a,b[$ with $a, b \in \mathbb{\bar{R}}$ ? Thanks in advance.
0
votes
1answer
114 views

Determine $p$, $q$ and $r$ so that the order of the fixed point iteration for computing $a^{1/3}$ becomes as high as possible

So I'm given the following equation for computing $a^{1/3}$ $$x_{k+1}=px_k + \frac{qa}{x_k^2} + \frac{ra^2}{x_k^5}$$ and I have to find the p, q, and r so that this equation converges to $a^{1/3}$ as ...
1
vote
0answers
55 views

Nullclines for differential equations

Consider the system of differential equations $$\dot {x}=y-x^2$$ $$\dot {y}=x-y$$ a. Determine the fixed points (1,1) (0,0) b. Determine the nullclines and the signs of $\dot {x}$ and $\dot {y}$ ...
3
votes
1answer
73 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 ...
1
vote
1answer
31 views

Differential equations, stability of fixed points

Consider the differential equations: $$\dot{x}=x^2-9$$ $$\dot{x}=x(x-1)(2-x)=-x^3+3x^2-2x$$ a. Find the stability type of each fixed point. (I am not sure about the stability of the points. Do I ...
2
votes
1answer
72 views

Fixed Point Equivalences of Axiom of Choice

Axiom of Choice has many known equivalences. Also there are many known fixed point theorems (unproved statements) which provide useful information about existence of fixed points for particular ...
3
votes
1answer
47 views

Contraction vs. iterated function convergence

Let $X$ be a Banach space with norm $|x|_X$. (For example $X=\mathbb R$) We assume that a function $F: X \rightarrow X$ is Lipschitz continuous but not a contraction map, hence: $$ | F(x) - F(y) |_X ...
0
votes
1answer
38 views

Computing the fixed point for $cosx$

While studying about Compiler Design I came with the term 'fixed point'.I looked in wikipedia and got the definition of fixed point but couldn't get how fixed point is computed for $cosx$ as said in ...
0
votes
1answer
31 views

Fixed Point Summary

I know someone has given me resources for this before but I can't seem to find them... Would someone please summarize stable vs unstable, attracting vs repelling, and node, saddle,etc fixed points? I ...
-1
votes
1answer
54 views

Fixed points and stability of them

Find the fixed points and classify them for the system of equations: $$x'=v$$ $$v'=-x+wx^3$$ $$w'=-w$$ $$0=v$$ $$0=-x+wx^3$$ $$1=wx^2$$ $$0=w$$ is the only fixed point (0,0,0)?? jacobian: ...
0
votes
1answer
79 views

System of differential equations, phase portraits and stability of fixed points

Consider the system of differential equations: $$x'=-x-y+4$$ $$y'=3-xy$$ a. Find the fixed points. $x'=-x-y+4$ $x+y=4$ $x+3/x=4$ x=3,x=1 $y'=3-xy$ $y=3/x$ fixed points: (1,3), (3,1) b. ...
2
votes
2answers
63 views

History of fixed point theory

I am looking for encyclopedic references for fixed point theory and its applications. What is the best reference for this subject? thank you.
0
votes
1answer
62 views

System of differential equations, phase portrait

Consider the system of differential equations: $$x'=-2x+y-x^3$$ $$y'=-y+x^2$$ a. Determine the fixed points. (Am I correct in thinking that to determine the fixed points, I must set x' and y'=0? I'm ...
1
vote
1answer
73 views

Show that operator T is a contraction mapping

I want to check whether the operator T defined as: $Tf(x) = \beta \left\lbrace \sum_{\theta} \mu_\theta \left[ h_\theta(x) + \int f(x') Q_\theta(x,dx') \right]^\alpha \right\rbrace^{1/\alpha} $ is a ...
3
votes
1answer
81 views

Role of determinant of the matrix of any Homology group.

I was thinking about the proof of the Lefschetz's Fixed point theorem and the ingeniuty of the Hopf's Trace formula, i.e. associating the trace of the matrix for deciding about the fixed points. Now ...
0
votes
2answers
109 views

Stability of fixed points for a differential equation

Consider the differential equation $x'=x^2-9$ I am pretty lost on this problem.. a. find the stability type of each fixed point To find the fixed points, I set this equal to $0$, right? Would ...
1
vote
2answers
31 views

On subgroups of isometries and their respective fixed-points

I am working on the following problemset: Let $G < \DeclareMathOperator{\Iso}{Iso}\Iso(E)$ be a finite subgroup of the isometries in the euclidean plane. Denote: $$G = \{g_1, \ldots , g_n \} ...
6
votes
2answers
84 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 ≤ ...
2
votes
0answers
55 views

Find Lyapunov function for $\dot{x} = -\sin(x)$

$$\dot{x} = -\sin(x)$$ Find the fixed points and also find out if it is attractive or repelling Find Lyapunov function for each of the attractive fixed points. I thought: Fixed points are ...
1
vote
1answer
30 views

Find fixed points and give the nullclines of the following system ($\dot{x} = \(y)$ and $\dot{y} = \cos(x)$)

Given the following system: $\dot{x} = \sin(y)$ $\dot{y} = \cos(x)$ Find the fixed points and check their stability Give the nullclines So I thought: fixed points are ...
2
votes
3answers
94 views

Validity of this proof that any continuous function with domain and range in [0,1] must have a fixed point.

The following proof was given in a solutions manual to a question asking to prove that a continuous function with domain and range in $[0,1]$ must have a fixed point: Consider the function $F(x) = ...
3
votes
1answer
290 views

Leray-Schauder fixed point theorem

I know the proof of the Schauder fixed point theorem which states Schauder fixed point theorem : If $D$ is a non-empty , convex and compact subset of Banach space $B$ and $T:D \to D$ a ...
7
votes
0answers
177 views

Fixed points in computability and logic

I asked this question on CS.SE, too: http://cstheory.stackexchange.com/questions/27322/fixed-points-in-computability-and-logic I would like to understand better the relation between fixed point ...
1
vote
1answer
29 views

Real 2D Analysis Question using Brouwer's Fixed Point Theorem

My question is as above. Currently I am stuck at the very start, part (i)! I can't come up with an appropriate $f$, even though I've been thinking about it for ages! If someone would be able to ...
5
votes
1answer
132 views

Composition of projections has a fixed point in a Hilbert space

Let Let H be a Hilbert space with an inner product ⟨⋅,⋅⟩ : H×H→R, and induced norm $∥⋅∥ : H→R_+$ Let $C_1$ and $C_2$ be closed, convex, nonempty, disjoint subsets of $H$ with at least one of ...
1
vote
0answers
58 views

Does this function have a unique fixed point?

Consider the following equations in fixed-point form: $$\mathbf{x}=F(\mathbf{x})=[f_1(\mathbf{x}),f_2(\mathbf{x}),\cdots,f_n(\mathbf{x})]^T$$ where the function $f_i$ is defined as ...
1
vote
0answers
84 views

Newton method and the Banach fixed-point theorem

I try to combine the Newton method and the Banach fixed-point theorem but I have still some questions: Let $I \subset \mathbb{R}$ a closed interval and $\phi: I \rightarrow I$ Lipschitz continous. ...
1
vote
0answers
21 views

A proviso in l'Hospitals rule

L'Hospital's Rule, which states that: $\displaystyle\lim_{x\to a}\frac{f(x)}{g(x)} = \displaystyle\lim_{x\to a}\frac{f'(x)}{g'(x)}$ can be applied when: (1) f, g are differentiable, (2) g'(z) ≠ 0 ...
0
votes
0answers
19 views

Can Banach fixed-point theorem be generalized to the case where each term depends on multiple previous terms in recurrence sequence

Banach fixed-point theorem http://en.wikipedia.org/wiki/Banach_fixed-point_theorem I'm wondering if the theorem still applies if the recurrence relation is, for example, ...
1
vote
1answer
92 views

Banach fixed point theorem (application)

Let $X$ and $Y$ be Banach Spaces, and $T: X \to Y$, where T is continuous, linear and bijective, and let $S: X \to Y$ (where $S$ is continuous and linear) with $|S|\cdot|T^{-1}|< 1$. Show that ...
5
votes
2answers
133 views

Fun with Newton's Method - Infinitely many cycles

I'd like to preface this problem by saying that I have absolutely no clue if it is solvable or not. This is just the result of some musings, and I'm looking for either some guidance, or to be pointed ...
0
votes
1answer
51 views

Fixed Point Theorem in finite dimensional Euclidean space

A fixed point theorem says that: "any continuous mapping of $\mathbb{R}^n$ into a bounded subset of $\mathbb{R}^n$ has a fixed point". So consider $f: \mathbb{R}^n \rightarrow X \subset ...
6
votes
2answers
603 views

There exists x on closed interval such that f(x)=x

If $f$ is a continuous function on a closed interval, how can I show that there exists some $x$ on $f$ that $f(x)=x$? I know it will require the Intermediate Value Theorem. Initially I thought of ...
0
votes
0answers
42 views

Stability of a fixed point

Determine the stability of all the fixed points of the following functions: So basically I understand how to find fixed points and whether they are attracting/repelling...but I am confused on how to ...
0
votes
1answer
54 views

$\phi : S^n \to S^n$ with no fixed point

The question is as follows: "Find a continuous map from $S^1$ to $S^1$ with no fixed points. What about for $n > 1$?" I want to write $S^n = \{(1, \theta_1, \dots, \theta_n) | 0 \leq \theta_i < ...
1
vote
0answers
27 views

Question about Computability

Q:Suppose $U(n,x)$ is Gödel Universal Function, show that there is $n$ such that $U(n,x)=n+x$ for all $x$ I did some proof but I am mot sure if I am right. Let's consider a computable binary function ...
1
vote
3answers
105 views

Proof regarding a fixed point [duplicate]

Show that for any strictly increasing function $f:[0,1]\to[0,1]$ there is a fixed point such that $f(x)=x$. ( The function isn't necessarily continuous) . Any ideas ?
1
vote
1answer
51 views

If $f:[a,b]\to[a,b]$ is a nondecreasing function then $\exists x_0\in[a,b]$ such that $f(x_0)=x_0$

I got this problem: Prove that if $f:[a,b]\to[a,b]$ is a nondecreasing function then $\exists x_0\in[a,b]$ such that $f(x_0)=x_0$ (i.e. $f$ has a fixed point). (Hint: set $A=\{x\in[a,b]|x\leq ...
0
votes
0answers
38 views

Newton map homework help

Let $p(x)=(x-x_0)^kg(x)$, with k>1 and $g(x_0)\ne0$. Assume that $p(x)$ and $g(x)$ have at least two continuous derivatives. Show that the derivative of the Newton map for $p$ at $x_0$ is $(k-1)/k$, ...
0
votes
1answer
51 views

Logistic Maps Homework Help

Consider the logistic map $G(x) = 4x(1-x)$. Let $q_0=0<q_1<q_2<q_3...<q_7$ be the eight points left fixed by $G^3$. Determine which are the two fixed points and which other points are ...
0
votes
1answer
33 views

Stability of a Fixed Point Homework Help

Determine the stability of all the fixed points of the following function: $f(x)=2\sin(x)$. I've found the fixed points. They are $x=0$ and $x=1.895$. How can I determine the stability now?
0
votes
1answer
40 views

Non-uniform contraction

Let $(X,d)$ be a metric space. A map $f: X \longrightarrow X$ is called contracting if there exists a $\lambda < 1$ such that for any $x, y \in X$ $$d(f(x),f(y)) \leq \lambda d(x,y)$$ It is well ...