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.

Filter by
Sorted by
Tagged with
3
votes
0answers
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
0answers
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
3answers
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
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
2answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
2answers
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
1answer
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
0answers
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
1answer
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
1answer
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
3answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
2answers
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
1answer
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 ...