Related papers: An implicit function theorem for non-smooth maps b…
We discuss smooth functions which are Morse on preimages of values not being local extrema. We call such a function internally Morse or I-Morse. The Reeb graph of a smooth function is the space of all connected components of preimages of…
In this paper we consider partial metric spaces in the sense of O'Neill. We introduce the notions of strong partial metric spaces and Cauchy functions. We prove a fixed point theorem for such spaces and functions that improves Matthews'…
We prove the little Grothendieck theorem for any 2-convex noncommutative symmetric space. Let $\M$ be a von Neumann algebra equipped with a normal faithful semifinite trace $\t$, and let $E$ be an r.i. space on $(0, \8)$. Let $E(\M)$ be the…
If a real-valued function is continuous on a real interval and it takes on two different values, then it will also take any value in between those two, by the Intermediate Value Theorem. It is not immediately clear what would be a natural…
We discuss the asymmetric sandwich theorem, a generalization of the Hahn-Banach theorem. As applications, we derive various results on the existence of linear functionals that include bivariate, trivariate and quadrivariate generalizations…
This paper is devoted to the construction and analysis of a Moser-Steffensen iterative scheme. The method has quadratic convergence without evaluating any derivative nor inverse operator. We present a complete study of the order of…
The authors study the classical Lagrange inversion theorem--an antecedent of the modern implicit function theorem--in the smooth case. Examples are given to show that the result is sharp.
In this short note we prove that, if (C[a,b],{A_n}) is an approximation scheme and (A_n) satisfies de La Vall\'ee-Poussin Theorem, there are instances of continuous functions on [a,b], real analytic on (a,b], which are poorly approximable…
We deduce an effective version of Schmidt's subspace theorem on a smooth projective variety X over function fields of characteristic zero for hypersurfaces located in N-subgeneral position with respect to X.
The paper deals with a comprehensive theory of mappings, whose local behavior can be described by means of linear subspaces, contained in the graphs of two (primal and dual) generalized derivatives. This class of mappings includes the…
We study the Borel map, which maps infinitely differentiable functions on an interval to the jets of their Taylor coefficients at a given point in the interval. Our main results include a complete description of the image of the Borel map…
Matroids generalize the familiar notion of linear dependence from linear algebra. Following a brief discussion of founding work in computability and matroids, we use the techniques of reverse mathematics to determine the logical strength of…
We explore Birkhoff-James orthogonality of two elements in a complex Banach space by using the directional approach. Our investigation illustrates the geometric distinctions between a smooth point and a non-smooth point in a complex Banach…
The Nash-Kuiper Theorem states that the collection of $C^1$-isometric embeddings from a Riemannian manifold $M^n$ into $\mathbb{E}^N$ is $C^0$-dense within the collection of all smooth 1-Lipschitz embeddings provided that $n < N$. This…
We prove a kind of "reverse Schwarz--Pick lemma" for holomorphic self-maps of the disk. The result becomes especially clear-cut for inner functions and casts new light on their derivatives.
We prove a Morse index theorem for action functionals on paths that are allowed to reflect at a hypersurface (either in the interior or at the boundary of a manifold). Both fixed and periodic boundary conditions are treated.
We outline the construction of a proper C^2-smooth function on R^4 such that its Hamiltonian flow has no periodic orbits on at least one regular level set. This result can be viewed as a C^2-smooth counterexample to the Hamiltonian Seifert…
We prove an effective version of the inverse theorem for the Gowers $U^3$-norm for functions supported on high-rank quadratic level sets in finite vector spaces. For configurations controlled by the $U^3$-norm (complexity-two…
In spaces of nonpositive curvature the existence of isometrically embedded flat (hyper)planes is often granted by apparently weaker conditions on large scales. We show that some such results remain valid for metric spaces with non-unique…
We extend Pisier's abstract version of Grothendieck's theorem to general non-locally convex quasi-Banach spaces. We also prove a related result on factoring operators through a Banach space and apply our results to the study of…