Related papers: Integral Curves and Flows on Banach Manifolds in L…

We prove a generalized implicit function theorem for Banach spaces, without the usual assumption that the subspaces involved being complemented. Then we apply it to the problem of parametrization of fibers of differentiable maps, the Lie…

We present a compensated compactness theorem in Banach spaces established recently, whose formulation is originally motivated by the weak rigidity problem for isometric immersions of manifolds with lower regularity. As a corollary, a…

Lenia is a continuous generalization of Conway's Game of Life. Bert Wang-Chak Chan has discovered and published many seemingly organic dynamics in his Lenia simulations since 2019. These simulations follow the Euler curve algorithm starting…

This article is concerned with the representation of curves by means of integral invariants. In contrast to the classical differential invariants they have the advantage of being less sensitive with respect to noise. The integral invariant…

We give an alternative proof of the stable manifold theorem as an application of the (right and left) inverse mapping theorem on a space of sequences. We investigate the diffeomorphism class of the global stable manifold, a problem which in…

We prove that the classical integrability condition for almost complex structures on finite-dimensional smooth manifolds also works in infinite dimensions in the case of almost complex structures that are real analytic on real analytic…

This paper introduces the notions of vector field and flow on a general differentiable stack. Our main theorem states that the flow of a vector field on a compact proper differentiable stack exists and is unique up to a uniquely determined…

We extend the Cauchy residue theorem to a large class of domains including differential chains that represent, via canonical embedding into a space of currents, divergence free vector fields and non-Lipschitz curves. That is, while the…

We study a few basic properties of Banach-Lie groupoids and algebroids, adapting some classical results on finite dimensional Lie groupoids. As an illustration of the general theory, we show that the notion of locally transitive Banach-Lie…

We give a new and self-contained proof of the existence and unicity of the flow for an arbitrary (not necessarily homogeneous) smooth vector field on a real supermanifold, and extend these results to the case of holomorphic vector fields on…

A general local center manifold theorem around stationary trajectories is proved for nonlinear cocycles acting on measurable fields of Banach spaces.

We report on our experience formalizing differential geometry with mathlib, the Lean mathematical library. Our account is geared towards geometers with no knowledge of type theory, but eager to learn more about the formalization of…

We study how the "full hierarchy" of invariant manifolds for nonautonomous integrodifference equations on the Banach spaces of $p$-integrable functions behaves under spatial discretization of Galerkin type. These manifolds include the…

This work is devoted to the study of a class of linear time-inhomogeneous evolution equations in a scale of Banach spaces. Existence, uniquenss and stability for classical solutions is provided. We study also the associated dual Cauchy…

We devise in this work a simple mechanism for constructing flows on a Banach space from approximate flows, and show how it can be used in a simple way to reprove from scratch and extend the main existence and well-posedness results for…

In this paper we provide a unifying approach to the study of Banach ideals of linear and multilinear operators defined, or characterized, by the transformation of vector-valued sequences. We investigate and apply the linear and multilinear…

Investigating the existence, uniqueness, stability, continuous dependence of data among other properties of solutions of fractional differential equations, has been the object of study by an important range of researchers in the scientific…

The existence of a Banach limit as a translation invariant positive continuous linear functional on the space of bounded scalar sequences which is equal to 1 at the constant sequence (1,1,...,1,...) is proved in a first course on functional…

After a short review of the classical Lie theorem, a finite dimensional Lie algebra of vector fields is considered and the most general conditions under which the integral curves of one of the fields can be obtained by quadratures in a…

This paper provides a functional analytic approach to differential equations on Banach space with slowly evolving parameters. We develop a Fenichel-like theory for attracting subsets of critical manifolds via a Lyapunov-Perron method. This…