0
votes
0answers
8 views

Firm non-expansiveness in the context of proximal operators

$\newcommand{\prox}{\operatorname{prox}}$ Probably the most remarkable property of the proximal operator is the fixed point property: The point $x^*$ minimizes $f$ if and only if $x^* = \prox_f(x^*) ...
0
votes
0answers
23 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 ...
1
vote
1answer
26 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 ...
2
votes
2answers
64 views

Has this theorem (on existence of inverse) an analogous for unbounded operators?

Let $S,T:X\to X$ be bounded linear operators, where $X$ is a Banach space. It's a consequence of the Banach Fixed Point Theorem that if $T$ is invertible and $\|T-S\|\|T^{-1}\|<1$ than $S$ is ...
1
vote
0answers
131 views

Fixpoint of monotone operators

Let $X$ be some set and let $F$ be the set of all functions with a domain $X$ and a range $[0,1]$. We consider $F$ to be a partially ordered set with $f\leq g$ if and only if $f(x)\leq g(x)$ for all ...
3
votes
0answers
132 views

Fixed point: general case

This is the second part of the question Fixed point: linear operators. Here I would like to ask you about the general case. A lot of concepts can be described or even defined as a solution of a ...
6
votes
0answers
303 views

Fixed point: linear operators

I ask my question in two parts: though the topic is similar, I would like to distinguish linear and general cases since methods may be too different while my questions are broad. Consider a space $X$ ...