Related papers: Counterexamples in Scale Calculus

We survey a (nonlinear) Fredholm theory for a new class of ambient spaces called polyfolds, and develop the analytical foundations for some of the applications of the theory. The basic feature of these new spaces, which can be finite and…

We state a generalization of the Connes-Tretkoff-Moscovici Rearrangement Lemma and give a surprisingly simple (almost trivial) proof of it. Secondly, we put on a firm ground the multivariable functional calculus used implicitly in the…

We show how a rescaling of fractional operators with bounded kernels may help circumvent their documented deficiencies, for example, the inconsistency at zero or the lack of inverse integral operator. On the other hand, we build a novel…

Within the gossamer numbers which extend the real numbers to include infinitesimals and infinities we prove the Fundamental Theorem of Calculus (FTC). Riemann sums are also considered in the gossamer number system, and their non-uniqueness…

We introduce a natural method of computing antiderivatives of a large class of functions which stems from the observation that the series expansion of an antiderivative differs from the series expansion of the corresponding integrand by…

{We explore a simple {\it geometric model} for functions between spaces of the same dimension (in infinite dimensions, we require that Jacobians be Fredholm operators of index zero). The model combines standard results in analysis and…

We describe a very general (nonlinear) Fredholm theory for a new class of ambient spaces, called polyfolds. This theory is applicable to Gromov-Witten and Floer Theory as well as Symplectic Field Theory. It should also be applicable to a…

Building upon ideas of Hironaka, Bierstone-Milman, Malgrange and others we generalize the inverse and implicit function theorem (in differential, analytic and algebraic setting) to sets of functions of larger multiplicities (or ideals).…

We prove a scalar curvature rigidity theorem for convex polytopes. The proof uses the Fredholm theory for Dirac operators on manifolds with boundary. A variant of a theorem of Fefferman and Phong plays a central role in our analysis.

Classical spectral theory provides powerful tools for analyzing linear operators, but does not extend naturally to nonlinear or compositional settings. In particular, there is no general way to transport spectral invariants in a functorial…

This paper develops an infinitesimal order of magnitude coupled with overflow technique that allows nonnumerical proofs of nondegenerate and degenerate inverse mapping theorems for mappings minimally regular at a point. This approach is…

Slicing a module into semisimple ones is useful to study modules. Loewy structures provide a means of doing so. To establish the Loewy structures of projective modules over a finite dimensional symmetric algebra over a field $F$, the…

J. Hadamard's ideas of correct formulation of problems of mathematical physics as well as related Banach's theorem on the inverse operator are analyzed. Modern techniques of numerical simulations are shown to be in drastic contradiction to…

In a recent paper [5] a smooth function f : [0; 1] --> R with all derivatives vanishing at 0 has been considered and a global condition, showing that f is indeed identically 0, has been presented. The purpose of this note is to replace the…

In this paper we prove an inverse function theorem in derived differential geometry. More concretely, we show that a morphism of curved $L_\infty$ spaces which is a quasi-isomorphism at a point has a local homotopy inverse. This theorem…

We introduce group actions on polyfolds and polyfold bundles. We prove quotient theorems for polyfolds, when the group action has finite isotropy. We prove that the sc-Fredholm property is preserved under quotient if the base polyfold is…

In an influential paper, Tadmor, Nezzar and Vese (Multiscale Model. Simul. (2004)) introduced a hierarchical decomposition of an image as a sum of constituents of different scales. Here we construct analogous hierarchical expansions for…

Starting from the Colombeau's full generalized functions, the sharp topologies and the notion of generalized points, we introduce a new kind differential calculus (for functions between totally disconnected spaces). We study generalized…

This paper shows how internal models for polymorphic lambda calculi arise in any 2-category with a notion of discreteness. We generalise to a 2-categorical setting the famous theorem of Peter Freyd saying that there are no sufficiently…

Based on operators borrowed from scattering theory, several concrete realizations of index theorems are proposed. The corresponding operators belong to some C*-algebras of pseudo-differential operators with coefficients which either have…