Related papers: Tame nonsmooth inverse mapping theorems
We consider a class of generalized nonexpansive mappings introduced by Karapinar [5] and seen as a generalization of Suzuki (C)-condition. We prove some weak and strong convergence theorems for approximating fixed points of such mappings…
We show a Wolff-Denjoy type theorem in the case of a one-parameter continuous semigroups of nonexpansive mappings in which there is a compact mapping. Using the notion of attractor we are also able to prove some specific properties directly…
In this paper, we give a complete topological and smooth classification of non-invertible Anosov maps on torus. We show that two non-invertible Anosov maps on torus are topologically conjugate if and only if their corresponding periodic…
We study continuous countably (strictly) monotone maps defined on a tame graph, i.e., a special Peano continuum for which the set containing branchpoints and endpoints has a countable closure. In our investigation we confine ourselves to…
We prove a general theorem on the persistence of Whitney infinitely smooth families of invariant tori in the reversible context 2 of KAM theory. This context refers to the situation where dim Fix G < (codim T)/2 where Fix G is the fixed…
We present new real algebraic maps of non-positive codimensions with prescribed images whose boundaries consist of explicit non-singular real algebraic hypersurfaces satisfying so-called "transversality" as follows. Explicit information on…
If $F$ is a set-valued mapping from $\R^n$ into $\R^m$ with closed graph, then $y\in \R^m$ is a critical value of $F$ if for some $x$ with $y\in F(x)$, $F$ is not metrically regular at $(x,y)$. We prove that the set of critical values of a…
We give the first examples of groups which admit a tame combing with linear radial tameness function with respect to any choice of finite presentation, but which are not minimally almost convex on a standard generating set. Namely, we…
In our previous work, we have constructed explicit smooth real algebraic functions which may have both compact and non-compact preimages on smooth real algebraic manifolds. This paper presents its variant. Our result is new in obtaining…
Taking an elementary and straightforward approach, we develop the concept of a regular value for a smooth map f: O -> P between smooth orbifolds O and P. We show that Sard's theorem holds and that the inverse image of a regular value is a…
We demonstrate the existence of quasiconformal mappings on closed manifolds that cannot be decomposed as a composition of mappings with arbitrarily small conformal distortion.
The Yamabe invariant is an invariant of a closed smooth manifold defined using conformal geometry and the scalar curvature. Recently, Petean showed that the Yamabe invariant is non-negative for all closed simply connected manifolds of…
In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or…
The idea of partial smoothness in optimization blends certain smooth and nonsmooth properties of feasible regions and objective functions. As a consequence, the standard first-order conditions guarantee that diverse iterative algorithms…
We prove that if the minors of degree $k$ of a Sobolev map $\mathbb{R}^d \to \mathbb{R}^d$ are smooth then the map is smooth, when $k,d$ are not both even. We use this result to derive a simple, self-contained proof of the famous Liouville…
We develop a sheaf theory approach to toric noncommutative geometry which allows us to formalize the concept of mapping spaces between two toric noncommutative spaces. As an application we study the `internalized' automorphism group of a…
We investigate global properties of the mappings entering the description of symmetries of integrable spin and vertex models, by exploiting their nature of birational transformations of projective spaces. We give an algorithmic analysis of…
We compute the invariant subspace of the rational group ring of a surface, truncated by powers of the augmentation ideal, under the action of the mapping class group. The surface is compact, oriented with one boundary component. This…
This article is devoted to the study of mappings with branch points whose characteristics satisfy integral-type constraints. We have proved theorems concerning their local and global behavior. In particular, we established the…
Jacobian conjectures (that nonsingular implies invertible) for rational everywhere defined maps of real n-space to itself are considered, with no requirement for a constant Jacobian determinant or a rational inverse. The associated…