# Questions tagged [fixed-point-theorems]

A fixed-point theorem is a result saying that a function $F$ will have at least one fixed point (a point $x$ for which $F(x) = x$), under some conditions on $F$ that can be stated in general terms.

186
questions

**3**

votes

**0**answers

60 views

### Non-closed trajectories in convex billiards

This is a weak version of this problem, written down in Lviv Scottish Book.
I start with necessary definitions.
Let $K=-K$ be a centrally symmetric compact convex body in the Euclidean space $\mathbb ...

**0**

votes

**0**answers

69 views

### Derivative at a fixed point

Let $k \geq 2$ be a positive integer and $m \in \{0,1,2,\dots,k-1\}.$ Fix $k$ and $m.$ Let $X$ be a binomial distribution with parameters $k$ and $p.$ Define the function $f:[0,1] \rightarrow [0,1]$ ...

**2**

votes

**3**answers

458 views

### How do I apply Brouwer fixed-point theorem in this claim?

Let $\zeta:\mathbb{R}\to [0,+\infty)$ be a continuous non-negative function such that $\zeta(0)=0$ and $\tau\mapsto \zeta(\tau)\tau$ is a non-decreasing differentiable function whose derivative is ...

**2**

votes

**0**answers

72 views

### Existence of infinite horizon values in dynamic programming

I am working through the book "Foundations of Stochastic Inventory Theory".
One of the results in the book is Theorem 11.2. The background to this theorem is as follows.
Given finite state ...

**2**

votes

**1**answer

286 views

### What is the fixed-point origin?

There is a fixed-point construction used in Anil Gupta & Nuel Belnap, The Revision Theory of Truth, MIT-Press 1993, p. 194: Use only $\wedge, \lnot$ and $\forall$ as primitive connectives and ...

**4**

votes

**1**answer

217 views

### Real eigenvectors of complex matrices

Let $A$ be a nonsingular complex $(3 \times 3)$-matrix (that is, an element of $\mathrm{GL}_3(\mathbb{C})$).
Then what are some of the best-known criteria which guarantee $A$ to have real eigenvectors ...

**7**

votes

**2**answers

213 views

### Fixed point for a map from $\{0,1\}^N$ to itself

Let $N\geq2.$ Let $F$ be a function from $\left\{ 0,1\right\} ^{N}$ to itself
dreceasing for the product order defined by $$ (x_1,x_2,\ldots,x_N)\leq (y_1,\ldots,y_N)\ \text{ if and only if for all }...

**0**

votes

**0**answers

45 views

### Central manifold and fixed point theorems

Let us consider a real dynamical system $s′=g(s)$. In order to study the stability of the central manifold, we reformulate the problem as follows: Let $d=d(y,z)$ be a function verifying $u<d<w$ ...

**2**

votes

**0**answers

26 views

### Fixed point iteration algorithm when the inputs have dependencies

A usual fixed point problem has the form $x_{k+1}=f(x_k)$, and you can efficiently solve it by finding the root to $f(x)-x$. What if I now have several dependent inputs $x_{k+1}=f(x_k, y_k)$, and $y_k=...

**4**

votes

**1**answer

311 views

### Construct closed chain of $k$-gon around $n$ points-$n, k$ are odd primes number

Question 1: I am looking for a proof of the conjectures 1, 2, 3 as follows?
Question 2: In conjecture 3, in general case, I can not give a formula of $X$. But I think, If $n, k$ are odd primes number ...

**4**

votes

**1**answer

193 views

### A closed chain of $2n+1$-gon around $2n+1$-points

I posed a generalization of Theorem 3.2 In my paper
Conjecture: Let $P_1, P_2,....,P_{2n+1}$ and $O$ be $2n+2$ points in plane. Construct a chain $2n+1$ regular ${2n+1}$-gons $A_{1\;1}A_{1\;2}...A_{1\;...

**0**

votes

**1**answer

99 views

### On proving the absence of limit cycles in a dynamical system

I'm studying this classical paper in nonlinear dynamics in biophysics and I want to understand it properly. I'm stuck at this two-variable problem which I've struggled with for too long now.
$$ \dot M ...

**2**

votes

**1**answer

92 views

### $x '(t) + g (x (t)) = f (t),\quad \forall t\in \mathbb R$ have periodic solution $\iff\; \frac 1T \int_0 ^ T f (t) dt \in g (\mathbb R) $

I have a research work concerning the equation: $$x '(t) + g (x (t)) = f (t),\quad \forall t\in \mathbb R$$
f and g are defined and continuous in $\mathbb R$ and with values in $\mathbb R$.
...

**0**

votes

**0**answers

35 views

### Terminology: Almost stable states

I have a question about fixed points which are almost stable.
I have an increasing transition function $f:[0,1]\rightarrow[0,1]$ where $f(0)>0$ and $f(1)<1$ but I don't necessarily have ...

**2**

votes

**0**answers

89 views

### The contraction principle in quasi metric spaces

I am researching contractive mappings and I need the article of I. A. Bakhtin "The contraction principle in quasi metric spaces"(1989) or at least part where explanation is given for ...

**2**

votes

**0**answers

81 views

### Can Schauder's fixed point theorem apply to a metric space?

I am currently reading the existence proof of Mean Field Game equation, which is a coupled system of Hamilton-Jacobi-Bellman equation and Fokker-Planck equation, see page 42 of the paper here. The ...

**4**

votes

**2**answers

81 views

### From a point and continuing reflection in $2n+1$ points then midpoint of the end point and the first point is fixed

Given $2n+1$ fixed points: $A_1, A_2,....,A_{2n+1}$ and point $P$. Let $B_1$ is the reflection of $P$ in $A_1$, $B_2$ is the reflection of $B_1$ in $A_2$,...., $B_{2n+1}$ is the reflection of $B_{2n}$ ...

**0**

votes

**0**answers

46 views

### Does the following operator have a unique fixed function? Do iterations of the operator converge?

The functions considered are positive real for positive real $x$, and monotonically increasing to infinity. Given such a function $f(x)$, define the (nonlinear) operator $f\mapsto f^*$ by
$$
f^*(x) := ...

**3**

votes

**0**answers

145 views

### Constructive proof of the approximate Brouwer's Fixed Point Theorem for $\Delta^n$

The approximate Brouwer Fixed Point Theorem (aBFPT) for the standard $n$-simplex is:
Let $f$ be a uniformly continuous function from $\Delta^n$ into itself.
Then for each $\varepsilon>0$ there ...

**1**

vote

**0**answers

196 views

### Is my ansatz for finding $n$-periodic-points of the exponential-function exhaustive?

The following is about getting help for a proof on existence and indexability of periodic points of the exponential-function, here with base $e:=\exp(1)$.
Update The question is a complete rewriting ...

**3**

votes

**0**answers

65 views

### Convergence of a nonlinear iterative sequence

I have the following iterative sequence:
\begin{eqnarray*}
a_{t+1} &=& (1+\alpha-\beta)^2a_{t} - 2\alpha(1+\alpha-\beta)b_{t} +\alpha^2a_{t-1}+\frac{L}{a_{t}}, \\
b_{t+1} &=& (1+\alpha-...

**-4**

votes

**1**answer

204 views

### Function satisfying $f(x)^{f^{-1}(x)}=x^2$ with $ f^{-1}$ is a compositional inverse of $f$ and $f:\mathbb{R+}\to \mathbb{R+}$?

Let $f$ be a function such that :$f:\mathbb{R+}\to \mathbb{R+}$ and $f^{-1}$ is a compositional inverse of $f$ , I have tried to find solution of the following functional $f(x)^{f^{-1}(x)}=x^2$, I ...

**2**

votes

**1**answer

88 views

### Convergence of estimator given by a fixed point

Let $X$ be a non-negative random variable with cdf $F$ and define
$$G(s) = E[\max(0,u(X)-sX)],$$ where $u$ is some real function.
Let $s_0$ be the unique fixed point of $G$.
Now let $X_1,\dots,X_t$ ...

**4**

votes

**0**answers

222 views

### On some characteristics of continuous maps $S^n \to \mathbb{R}^n$

I've asked this question about two month ago in math exchange but there were no answer to it.
Any information or paper relating to this question is appreciated.
By the Borsuk-Ulam theorem we know ...

**2**

votes

**1**answer

144 views

### Dual fixed point

Let $E$ be a Banach space, let $T:E\to E$ have norm $1$ and let $\nu\in E^*\setminus\{0\}$ be such that $T^*\nu=\nu$. Under which conditions there is $e\in E$ such that $Te=e$ and $\langle e,\nu\...

**4**

votes

**2**answers

204 views

### Contactomorphisms have in general no fixed points

Let $(V, \xi = \ker \alpha)$ be a cooriented contact manifold. A contactomorphism of $(V, \xi)$ is a diffeomorphism $\phi$ which preserves the contact structure $\xi$ and its coorientation. In other ...

**3**

votes

**1**answer

128 views

### Is this sum of nonexpansive maps itself nonexpansive?

For Hilbert spaces $\mathcal{H}_X$, $\mathcal{H}_Y$ and $\mathcal{K}$, consider a linear map $f\colon \mathcal{K} \oplus \mathcal{H}_X \to \mathcal{K} \oplus \mathcal{H}_Y$ that is given as a matrix
$...

**2**

votes

**0**answers

130 views

### Browder's Fixed Point Theorem in uniformly convex Banach spaces with non-identical image

This is in fact an exercise from Dirk Werner's book "Funktionalanalysis", but I do think that the result is quite interesting and up to now, I can only partly solve this problem. From the point of my ...

**2**

votes

**1**answer

118 views

### Is there a fixed-point index theorem that treats the fixed points on the boundary?

Suppose $f$ is a continuous function from a unit cube $[0,1]^n$ to itself, then $f$ has at least a fixed point. Further suppose $f$ is smooth, $0$ is a regular value of $f(x)-x$, and the fixed points ...

**5**

votes

**1**answer

248 views

### “Determinant” rather than “trace” in the alternative formula “Lefschetz number”

For a self map $f$ on a topological space $X$ we replace "trace" with "determinant" in the alternative Lefschetz formula $$\Lambda(f)=\sum(-1)^i trace(f^*)|H^i(X,\mathbb{Q})$$
So we have
$$\...

**5**

votes

**3**answers

574 views

### Fixed points under a finite group action on projective variety

Let us have an algebraic action by a finite group G on a complex projective variety $X=\bigcup\limits_{i=1}^N X_i$, whose irreducible components $X_i$ are all smooth and of the same dimension $d$, and ...

**0**

votes

**1**answer

73 views

### Sufficient and necessary condition for the global uniqueness of fix-points

https://www.ams.org/journals/proc/1976-060-01/S0002-9939-1976-0423137-6/S0002-9939-1976-0423137-6.pdf
This paper gives a sufficient condition for the uniqueness of SCHAUDER fix point. I wonder if ...

**2**

votes

**0**answers

72 views

### Existence of a fixed point for this operator

I'm looking for some mathematical results that I might be able to apply to see if an operator I'm considering has a fixed point.
In particular consider,
$$ Ag(x) = \Big\{ \xi(x) + K(g(x))^\frac{1}{\...

**2**

votes

**0**answers

77 views

### $n$-point map $S$ from $k$-manifold $X$ to $\mathbb{R}^k$

It is known that for every continuous map $M:S^1\to \mathbb{R}$ there are infinitely many double points. Also by the Borsuk-Ulam theorem, this is true for each continuous map $N:S^n\to \mathbb{R}^n$, $...

**1**

vote

**0**answers

157 views

### Why is $\widetilde{W}$ closed?

We consider $(x _{n})$ a sequence of almost fixed points for $T$ in $C _{0}$. Since $C _{0}$ is weakly compact, we can assume that $(x _{n})$ is weak compact. Also, since the problem of the fixed ...

**1**

vote

**0**answers

89 views

### When are quadratic integer programs “easy to solve”?

Let $N_i=\{0,1,\dots,\bar{n}_i\}$ and define $N=N_1\times \dots \times N_I$. I want to maximize $f$ on $N$. $f$ has the following form
$$
f(n) = \sum_i A_i n_i -\sum_i \sum_{j\neq i} B_{ij} (n_i-n_j)^...

**0**

votes

**1**answer

137 views

### $B _{\ell ^{2}} ^{+}$ with the norm $\lVert\lvert \cdot \rvert\rVert _{\sqrt{2}}$ doesn't have normal structure

$\newcommand\binorm[1]{\lVert#1\rVert}\newcommand\trinorm[1]{\lVert\lvert#1\rvert\rVert}$Consider the space $\ell ^{2}$ with the standard norm
\begin{align*}
\binorm x_{2} = \left( \sum _{i =1} ^{\...

**17**

votes

**1**answer

756 views

### How is this fixed point theorem related to the axiom of choice?

I'm hoping the answer to this is well-known.
Let $X$ be an ordered set (i.e. poset). An inflationary operator $f$ on $X$ is a function $f: X \to X$, not necessarily order-preserving, such that $f(x) \...

**3**

votes

**0**answers

227 views

### On the existence of fixed points of a matrix iteration

Let $A\in\mathbb{R}^{n\times n}$ be a Hurwitz stable matrix (i.e. all eigenvalues of $A$ have negative real part). Let $\succeq$ denote the standard partial order in the cone of positive semidefinite ...

**9**

votes

**1**answer

342 views

### Does the Banach space $( \ell ^2 \oplus \ell ^2 )$ have F.P.P?

The space $( \ell^2 ,\lVert \cdot \rVert _2 )$ is a Hilbert space. The space
$X=(\ell^2 \oplus \ell^2 , \lVert \cdot \rVert_\infty )$ is a Banach space. Does X have fixed point property? (For any ...

**1**

vote

**1**answer

85 views

### Takahashi minimization theorem for lower pseudo-continuous functions on complete metric spaces

Takahashi minimization theorem says : Let $(X,d)$ is a complete metric space, $f:X\to \mathbb{R}\cup\{+\infty\}$ is a proper(not constantly +$\infty$) lower semi continuous function, which is bounded ...

**1**

vote

**0**answers

139 views

### Property of Fixed Point Function

Given an operator $\mathcal{T}$ that maps from a function $f: \mathbb{R}^d\rightarrow \mathbb{R}$ to another function $f': \mathbb{R}^d\rightarrow \mathbb{R}$, we are interested in the fixed point $f^*...

**0**

votes

**1**answer

176 views

### On the notion of multiplicity of a fixed point [closed]

I am trying to understand the notion of multiplicity of a fixed point of a map $f: M \to M$, say, $M$ being a smooth closed manifold, and $f$ being a smooth diffeomorphism.
There is a notion of ...

**5**

votes

**0**answers

184 views

### Betti sum, cup-length, Lusternik-Schnirelmann category, and critical points

I am trying to make some order in the notions of cup-length, sum of Betti numbers, LS category, critical points of functions.
Let $M$ be smooth closed compact manifold. We denote by Crit($M$) the ...

**1**

vote

**0**answers

328 views

### On Lefschetz theorem and sum of Betti numbers as lower bounds for fixed points

Let $M$ be a closed manifold with holomorphic cell decomposition (if it is complex), or at least with only even cohomology. In particular, its Euler characteristic is equal to the sum of its Betti ...

**5**

votes

**0**answers

133 views

### Integrand in equivariant Atiyah-Patodi-Singer index theorem

I am trying to determine the integrand in the equivariant Atiyah-Patodi-Singer index theorem by Donnelli ("Eta invariants for G-spaces") for spin manifolds if one only has isolated fixed points. In "...

**3**

votes

**0**answers

143 views

### Fixed-point properties for affine actions of topological groups

T. Mitchell [Illinois J. Math. 14 (1970) 630--641] defined four properties of a topological semigroup, and in particular of a topological group $G$.
Two of them are:
(F2) Every jointly continuous ...

**5**

votes

**2**answers

393 views

### Existence of Solution, System of Equations

Suppose $P(\lambda, i)$ is the probability that a Poisson random variable with average $\lambda$ is equal to $i$, i.e. $\frac{\lambda^i}{e^{\lambda}i!}$
I think the following system of equations ...

**8**

votes

**2**answers

267 views

### Is it possible to continuously select a probability distribution over fixed points in Brouwer's fixed point theorem?

According to Brouwer's fixed point theorem, for compact convex $K\subset\mathbb{R}^n$, every continuous map $K\rightarrow K$ has a fixed point.
However, these fixed points cannot be chosen ...

**1**

vote

**1**answer

195 views

### Question on K.Gobel's paper 1969

Let $X$ be uniformly convex Banach space. $f:K\rightarrow K$, such that $\parallel fx-fy\parallel \leq\parallel x-y\parallel\,\,\forall x,y\in K $, with $K$ a nonempty, closed, convex, bounded subset ...