Related papers: Rough integrators on Banach manifolds
In this paper we lay the foundations for the Morse theoretical study of strongly indefinite functionals on Banach manifolds by developing the local theory for a specific model class that captures several key analytical features also arising…
We verify that the $p$-integrable Teichm\"uller space $T_p$ admits the canonical complex Banach manifold structure for any $p \geq 1$. Moreover, we characterize a quasisymmetric homeomorphism corresponding to an element of $T_p$ in terms of…
We introduce a notion of distributional $k$-forms on $d$-dimensional manifolds which can be integrated against suitably regular $k$-submanifolds. Our approach combines ideas from Whitney's geometric integration [Whi57] with those of sewing…
The aim of this article is twofold. First, we develop the notion of a Banach halo, similar to that of a Banach ring, except that the usual triangular inequality is replaced by the inequality $|a + b| \leq (|a| , |b|)_p$ involving the p-norm…
Given a category of objects, it is both useful and important to know if all the objects in the category may be realised as sub-objects -- via morphisms in the given category -- of a single object in that category enjoying some nice…
We present a formalisation of the existence and uniqueness theorems of integral curves of vector fields on Banach manifolds in the Lean theorem prover. First, we formalize properties of differential equations on Banach spaces (the…
The weighted Moore-Penrose inverse will be introduced and studied in the context of Banach algebras. In addition, weighted EP Banach algebra elements will be characterized. The Banach space operator case will be also considered.
We show how to use geometric arguments to prove that the terminal solution to a rough differential equation driven by a geometric rough path can be obtained by driving the same equation by a piecewise linear path. For this purpose, we…
We investigate rough differential equations with a time-dependent reflecting lower barrier, where both the driving (rough) path and the barrier itself may have jumps. Assuming the driving signals allow for Young integration, we provide…
We construct an explicit transitive free action of a Banach space of H\"older functions on the space of branched rough paths, which yields in particular a bijection between theses two spaces. This endows the space of branched rough paths…
We study the complexity of Banach space valued integration in the randomized setting. We are concerned with $r$-times continuously differentiable functions on the $d$-dimensional unit cube $Q$, with values in a Banach space $X$, and…
We establish a new scale of $p$-variation estimates for martingale paraproducts, martingale transforms, and It\^o integrals, of relevance in rough paths theory, stochastic, and harmonic analysis. As an application, we introduce rough…
In this paper, we build the foundation for a theory of controlled rough paths on manifolds. A number of natural candidates for the definition of manifold valued controlled rough paths are developed and shown to be equivalent. The theory of…
We describe a new approach to the problem of constructing gluing parameterizations for open neighborhoods of boundary points of moduli spaces of anti-self-dual connections over closed four-dimensional manifolds. Our approach employs general…
In this paper we provide necessary and sufficient conditions for invariance of finite dimensional submanifolds for rough differential equations (RDEs) with values in a Banach space. Furthermore, we apply our findings to the particular…
We introduce a notion of rough paths on embedded submanifolds and demonstrate that this class of rough paths is natural. On the way we develop a notion of rough integration and an efficient and intrinsic theory of rough differential…
We show that some previous results concerning the boundedness of differentiation and integration operators on weighted spaces given by radial weights in the unit disk or the complex plane might fail without some natural additional…
We give an overview of the recent approach to the integration of rough paths that reduces the problem to classical Young integration. As an application, we extend an argument of Schwartz to rough differential equations, and prove the…
This is an attempt to build Banach space valued theory for certain singular integrals on Hamming cube. Of course all estimates below are dimension independent, and we tried to find ultimate sharp assumptions on the Banach space for a…
In this paper, we introduce the notions uniformly p-convergent sets and weakly p-sequentially continuous differentiable mappings. Then we obtain a sufficient condition for those Banach spaces which either contain no copy of $\ell_1$ or have…