1
vote
0answers
13 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. ...
0
votes
0answers
12 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, ...
0
votes
1answer
36 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
494 views

Real Analysis: Prove that there exists some x ∈ [0,1] such that f(x)=x

If $f\colon [0,1] \to [0,1]$ is a continuous function on $[0,1]$, how can I show that there exists some $x \in [0,1]$ such that $f(x)=x$? I know it will require the Intermediate Value Theorem. ...
1
vote
1answer
42 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 ...
5
votes
1answer
50 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 ...
0
votes
1answer
39 views

Fixed points and periodic orbits of $F(x)=x^2-1.1$

A question asked me to find the fixed points of $F(x)=x^2-1.1$, then use the fact that these points were also solutions of $F^2(x)=x$ to find the cycle of the prime period 2 for F. How do I go about ...
0
votes
0answers
29 views

Fixed point of projected operator

Let $X \subset \mathbb{R}^n$ be a compact convex set and let $f: X \rightarrow X$ be Lipschitz continuous and such that $$ \left( f(x) - f(y) \right)^\top \left( x-y\right) \leq 0 $$ for all $x, y ...
0
votes
2answers
54 views

$|f(x)-f(y)|<|x-y|$ on a non-empty closed bounded set of real numbers

Let $A$ be a non-empty closed bounded set of real numbers and $f: A \to A $ be a function such that $|f(x)-f(y)|<|x-y| , \forall x,y\in A$ , then how to show that $f$ has a unique fixed point ?
2
votes
4answers
158 views

Fixed point for a continuous function on a compact set?

If $f:X \rightarrow X$ is continuous and X is compact, will $f$ have a fixed point? We know that a contraction will have a fixed point but I have not come across an example of a continuous function ...
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 ...
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
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 ...
2
votes
0answers
45 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$ ...
4
votes
1answer
95 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
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 ...
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
29 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
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 ...
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 ...
0
votes
1answer
42 views

Proving Banach's fixed point theorem

The hint tells me how to proceed but I am stuck. I define the sequence ${z_n}$ as is stated in the hint, First off, I want to prove that $|z_{n+k} - z_n| < \epsilon$ I add $z_{n+k-1}$ and ...
1
vote
1answer
66 views

Root of a function? (Proof with Banach theorem)

Given is a function $f$: $\left [ -1,1 \right ]\rightarrow \mathbb{R}$, which is continuous and differentiable. The function $g$: $\left [ -1,1 \right ]\rightarrow \left [ -2,2 \right ]$ is a ...
2
votes
1answer
60 views

Limit of a monotone function

Let $f\colon [a,b] \to[a,b]$ be a non-decreasing function in a sense that $f(x)\leq f(y)$ whenever $x\leq y$. Although there may be several fixpoints of $f$, at least one does always exist and there ...
3
votes
1answer
93 views

Fixed point in a metric space with distance at most 1

The question is: Suppose that $X$ is a complete metric space such that the distance function is at most 1, and $f:X\rightarrow X$ is such that $d(f(x),f(y))\le d(x,y)−1/2(d(f(x),f(y)))^2$. Prove that ...
4
votes
2answers
154 views

Prove the Contraction Mapping Theorem.

Prove the Contraction Mapping Theorem. Let $(X,d)$ be a complete metric space and $g : X \rightarrow X$ be a map such that $\forall x,y \in X, d(g(x), g(y)) \le \lambda d(x,y)$ for some ...
1
vote
4answers
167 views

Fix-Point Theorem Proof.

Firstly, the assignment: Let $a,b \in\mathbb{R}$ and $a < b$. Furthermore let $f: [a,b] \rightarrow [a,b]$ be monotone increasing. Show that if $x:= \mathbf {sup}\{y \in [a,b] \| \ y ≤ f(y)\}$ ...
4
votes
1answer
196 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 ...
1
vote
3answers
625 views

Fixed-Point Theorem Proof

Merry Christmas everybody. Let $a,b\in\mathbb{R}$ and $a<b$. Prove that: If $f: [a,b] \rightarrow [a,b]$ is continuous, then there is a fixed-point in $f$. So basically, if f is continous I ...
3
votes
1answer
160 views

Brouwer Fixed Point Theorem via the Jordan Curve Theorem

There is a proof of the Brouwer Fixed Point Theorem via the Jordan Curve Theorem ? The Brouwer Fixed Point Theorem. Let $B=\{x\in \mathbb R^2 :∥x∥≤1\}$ be the closed unit ball in $\mathbb R^2$ . ...
1
vote
1answer
87 views

Brouwer Fixed Point Theorem $f(S^1)\subset B$

I have a question about the Brouwer Fixed Point Theorem: Theorem 1.(Brouwer Fixed Point Theorem) Let $B=\{x\in \mathbb R^2 :∥x∥≤1\}$ be the closed unit ball in $\mathbb R^2$ . Any continuous ...
1
vote
1answer
187 views

Function iteration and intervals of attraction for fixed points

I am currently studying iteration sequences and I am a bit hung up on one specific bit which involves determining intervals of attraction of fixed points. I've been given a graphical method to ...
0
votes
2answers
69 views

Number of Fixed points of an odd degree polynomial

Let $p(x)$ be a polynomial of degree $2n+1$ with real coefficients. then $p(x)$ has (I) exactly $2n+1$ fixed points (II) at least one fixed point (III) at most one fixed point (Iv) $n$ fixed ...
0
votes
1answer
78 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 ...
2
votes
0answers
63 views

Proving $\frac{k-1}{k}$ is an attractor of the logistic map $kx(1-x)$.

Consider the logistic map $f(x) = kx(1-x)$ defined on $\mathbb{R}$. We already know $\frac{k-1}{k}$ is a fixed point of $f$, but my issue is showing it's an attractor when $k \in [1,3]$. There is an ...
0
votes
1answer
39 views

How to decide if these two maps are proper?

We define a mapping $f$ of a topological space $X$ into a topological space $Y$ to be proper if the subspace $f^{-1}(C)$ is compact in $X$ whenever $C$ is a compact subspace of $Y$. Now how to ...
5
votes
1answer
156 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 ...
1
vote
1answer
121 views

upper semi-continuity of a multi-valued function $T$ and lower semi-continuity of $d(x,T(x))$

Let $(X,d)$ be a complete metric space, $CB(X)$ the set of closed and bounded subsets of $X$, and $T:X\rightarrow C(X)$ be a multi-valued function. How can you prove this: If $T$ is upper ...
0
votes
1answer
68 views

Fixed point and non-fixed point function

For constructing another proof I need two functions explicitly and therefore I was wondering whether there exists a function that has nowhere a fixed point and a function that (maybe depending on the ...
6
votes
0answers
149 views

A fixed point theorem [duplicate]

Let $\emptyset \not = X\subseteq \Bbb{R}^n$ be convex and compact and let $\cal{A}$ be a family of affine maps from $\Bbb{R}^n$ into $\Bbb{R}^n$ such that $X$ is invariant under each element of $\cal ...
0
votes
0answers
39 views

correctness of functional iteration and contraction proof

I need to prove: If $F$ is contractive from $[a, b]$ to $[a, b]$ and $x_{n+1} = F(x_n)$ with $x_0\in[a,b]$ then $|x_n -s| \leq C\lambda^n$ for an appropriate $C$ where $s$ is a fixed point of $F(x)$. ...
1
vote
2answers
55 views

Brouwer fixed poin in 1-D

In $\mathbb R_{+}$ (non-negative) I realize that any nonnegative valued continuous function $f\colon X \rightarrow Y$ where $X, Y \subseteq \mathbb R_{+}$ with a negative finite gradient has a fixed ...
0
votes
1answer
82 views

A smooth or analytic function from $\mathbb{R}$ to $\mathbb{R}$ that has fixed points at $kn^2$ where $n$ is prime and $k$ is integer

In A continuous function from $\mathbb{R}$ to $\mathbb{R}$ that has fixed points at $kn^2$ where $n$ is prime and $k$ is integer, I asked about continuous function. This time, I would like to ask the ...
0
votes
2answers
60 views

A continuous function from $\mathbb{R}$ to $\mathbb{R}$ that has fixed points at $kn^2$ where $n$ is prime and $k$ is integer

Can we find a continuous function from $\mathbb{R}$ to $\mathbb{R}$ that has fixed points at $kn^2$ for every integer $k$ and every prime number $n$? And other points other than these are not fixed ...
1
vote
1answer
251 views

How many fixed points can a differentiable function have?

Let $f$ be a differentiable function on $\mathbb{R}$. Then could any one tell me which of the following statements are necessarily true? If $f'(x)\le r<1$ for all $x$ then $f$ has at least one ...
4
votes
1answer
109 views

Unique solution to $x^4 + 7x -1 = 0 $ on $[0,1]$ (Banach's fixed point theorem)

I want to show that $x^4 + 7x -1 = 0 $ has a unique solution on $[0,1]$. The idea is to use Banach's fixed point theorem. However, I see a problem with this as the statement of the theorem says that ...
3
votes
1answer
355 views

Application of Banach fixed-point theorem

I am looking for a function $f:[0,1]\rightarrow\mathbb R$ which satifies $\int_{0}^{1}\frac{\sin(f(t)-y)}{2}\,\mathrm dy=f(t)$ for $t\in[0,1]$. The first thing I do is to define a function ...
1
vote
2answers
138 views

Limit of a sequence of fixed points also a fixed point?

Suppose I have a continuous function $f : [0,1]^n \rightarrow [0,1]^n$ (maybe $n$ is infinite). Suppose I have a sequence $\{a_n\}_{n=1}^\infty$ of points in $[0,1]^n$ where each $a_n$ is a fixed ...
1
vote
1answer
81 views

Fixed Point Iteration and contraction principle.

So I have this function $g(x$) which is continuously differentiable on some domain in $R$ such that there exists a value $c$ with $|g'(c)| \lt 1$ and $g(c)=c$ i.e. the fixed point. I have already ...
3
votes
1answer
81 views

Brouwer's fixed point theorem for infinite dimensional real space in subsystems of second order arithmetic

$\text{WKL}_0$ proves Brouwer's fixed point theorem for continuous functions on $\lbrack 0,1 \rbrack^n$, when $n$ is finite. What subsystem of second order arithmetic is needed to prove Brouwer's ...
3
votes
1answer
88 views

$x_{n+1}=\frac{2x_n+3f(x_n)}{5}$ showing $f$ has a fixed point

Let $f: \Bbb{R} \rightarrow \Bbb{R}$ be a differentiable function , and suppose that there is a constant $A<1$ such that $|f'(t)|\le A$ for all real $t$. Define a sequence $\{x_n\}$ by $ ...