Questions tagged [contraction-mapping]

The tag has no usage guidance.

14 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
5 votes
0 answers
157 views

Steps of the MMP "in family"

Let $\pi\colon X\to Y$ be a morphism between irreducible varieties with terminal singularities (let us say smooth if you want). I suppose that I have an open subset $U$ of $Y$ over which the fibres ...
Jérémy Blanc's user avatar
5 votes
0 answers
411 views

Is there an appropriate weighted Sobolev space to include exponential map and projection map?

Observe that given a non negative function $\omega: \mathbb{R^2} \rightarrow [0, \infty)$, we can define the weighted $L^{p}(\mathbb{R}^2, \omega) $ spaces. They are measurable functions $f: \...
Ritwik's user avatar
  • 3,235
4 votes
0 answers
66 views

Can a nonlinear dynamical system be rewritten in terms of constraints?

My question is based on thoughts after reading to a specific section in the paper "On Contraction Analysis for Nonlinear Systems" by W. Lohmiller and JJ. Slotine, Section 4.2 Constrained Systems. ...
AzJ's user avatar
  • 141
4 votes
0 answers
230 views

On contractive properties of a nonlinear matrix algorithm

I’m stuck in a problem that concerns a nonlinear iterative matrix algorithm. Although the problem is quite complicated to explain I’ll try to describe it in a simple way, neglecting unnecessary ...
Ludwig's user avatar
  • 2,682
3 votes
0 answers
55 views

A question about the existence of surjective contractions

A few years ago I was doing some research in origami, and was motivated to as the following questions: Consider $\mathbb{R}^2$ with the Euclidean metric and Lebesgue measure. Does there exist a ...
abacaba's user avatar
  • 344
3 votes
0 answers
102 views

Solving for a monotone function - contraction operator for functions?

I want to solve a problem for an increasing function $g(x)$, for $x \in [0,1]$ and with $g(0) = 0$ and $g(1) = 1$. The solution will be solution to the following equation $\forall x$, $f_1(x) = f_2(g(...
G. Ander's user avatar
2 votes
0 answers
169 views

Multivariate extensions of Ledoux--Talagrand contraction principle

Let $\{\varepsilon_i\}_{i=1}^n$ be a sequence of independent Radecmacher (i.e., symmetric Bernoulli) variables, and let $\phi_i :\mathbb R \to \mathbb R$ be contraction (i.e., 1-Lipschitz) mappings ...
passerby51's user avatar
  • 1,639
2 votes
0 answers
227 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 ...
Dušan Bajović's user avatar
2 votes
0 answers
54 views

Notion of contractive map for certain set-valued functions

A map $f:\mathbb{C} \to \mathbb{C}$ is contractive (and Lipschitz) if for every $z_1,z_2$, we have $|f(z_1)-f(z_2)|\le K|z_1-z_2|$ for some positive $K<1$. This implies the existence of a unique, ...
Per Alexandersson's user avatar
1 vote
0 answers
45 views

Finding a distance so that this function is a contraction mapping

Let $f(x,y)=(y,\frac{2}{x+y})$ defined on $(0,\infty)\times (0,\infty)$. Is there a distance $d$ on $(0,\infty)\times (0,\infty)$ such that $f$ is a contraction of the metric space $((0,\infty)\times (...
J.Mayol's user avatar
  • 489
1 vote
0 answers
95 views

Determining the behavior of a contraction mapping with undefined points

Label $X$ as the real interval $[0, a]$ where $a \in \mathbb{R}^+$, so that $\text{int}(X) = (0, a)$ labels the interior of $X$ and $\partial X$ labels the boundary of $X$. I have a function $f:\text{...
user918212's user avatar
  • 1,005
1 vote
0 answers
40 views

A exemple of a strongly-continuous contraction semigroup : how to prove the contraction?

I am trying to prove that $P_t := e^{\lambda t (P-I)}$ (where $Pf:= \int f(y) P(\cdot , dy)\in \mathcal{C}_0(\mathbb{R}^d)$, for $f\in \mathcal{C}_0(\mathbb{R}^d)$, $P$ being a probability kernel), is ...
Netchaiev's user avatar
  • 111
1 vote
0 answers
64 views

Unfolding subspace algebraic space

Let $ Y \subset X$ be a closed subspace of an algebraic space of finite type over $\mathbb{C}$. Let $p : Y' \rightarrow Y$ be a proper map of algebraic spaces. Artin proved that there exists a ...
Libli's user avatar
  • 7,210
0 votes
0 answers
102 views

Existence of distance-preserving mappings for general norm in vector space

We say a mapping $f:\mathbb R^n\to \mathbb R^n$ be 1-Lipschitz with respect to a norm $\|\cdot\|$ if $\|f(x)-f(z)\|\le\|x-z\|$ holds for all $x,z\in\mathbb R^n$. Such a mapping are sometimes called a ...
zbh2047's user avatar
  • 601