1
$\begingroup$

I have some function from $R^n$ to $R^n$ defined as: $$T(v) = u + f(v) F$$ where u is some vector, f is some non-linear function and F is a n,n matrix. i want to prove that there is a unique fixed point. i know the following is true:

  1. the spectral radius of is stricly less that 1 ($\rho(F) < 1$)
  2. every entry of F is between 0 and 1 and the sum of each row is <= 1
  3. for every $i$, $(f(v))_i \leq v_i$
  4. $f(f(v)) = f(v)$, meaning that $f$ sends v to some area where $f$ acts as identity.
  5. $|Df(v)|_{\ell_\infty} \leq 1$, $|Df(v)|_{\ell_1} < 2$ where $Df(v)$ is the jacobian of $f$

The problem is cant show that T is a contraction since $F$ is contraction iin defferent norm than $f$. can anyone give me any ideas?

Edit:

To understand how $f$ looks like, we can say the following the gives us more information about $f$. For every vector $v$ (of size $n$) we can split $v$ to vectors of size $k$, and we have some consts $c_1, ..., c_{n/k}$. now we can split $f$ to n/k functions $f_1, ..., f_{n/k}$, and v to $n/k$ vectoros of size $k$: $v_1, ..., v_{n/k}$. So for every $i\in[n/k]$: $\sum_{j=1}^k(f_i(v_i))_j \leq c_i$. if this sum before aplying $f$ was less than $c_i$, f is the identity. Meaning that $f$ reduces the sum (if needed) to $c_i$.

That actually means that v can be splited to smaller vectors of equall sizes, such that f reduces the sum of each of these sub-vectors to be $c_i$, and it does this by reducing each of the components differently. We can further state that $f_i$ multiply each of its components by some weight $0 \leq w_i(v_i) \leq 1$, and each of the weights is a function of the subvector and the index. i.e $(f_i(v_i))_j=(w_i(v_i))_j*(v_i)_j$

This explain (4), since after applying $f$, the $f(v)$ is in the area where each of the sub vector's sums is $\leq$ the capcity $c_i$

New contributor
flikhamud45 is a new contributor to this site. Take care in asking for clarification, commenting, and answering. Check out our Code of Conduct.
$\endgroup$
4
  • $\begingroup$ Does you third assumption mean that each component of $f$ (which is vectorial) is non-increasing entrywise? That is a strong assumption combined with the fourth, because then any two points in the image of $f$ must be uncomparable. $\endgroup$ Commented yesterday
  • $\begingroup$ @ChristopheBoilley i think i mised explained 3. 3 means that for every i, $f(v)_i \leq v_i$. i will fix the post $\endgroup$ Commented yesterday
  • $\begingroup$ Is there any example of $f$ apart from the identity map? $\endgroup$ Commented yesterday
  • $\begingroup$ @user1551 i just edited and gave more information about $f$ that might explian this for you. $\endgroup$ Commented 3 hours ago

0

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.