Related papers: Banach fixed point and flow approach for rough ana…

We study the computational difficulty of the problem of finding fixed points of nonexpansive mappings in uniformly convex Banach spaces. We show that the fixed point sets of computable nonexpansive self-maps of a nonempty, computably weakly…

We consider the sharp interface limit of the Allen-Cahn equation with Dirichlet or dynamic boundary conditions and give a varifold characterization of its limit which is formally a mean curvature flow with Dirichlet or dynamic boundary…

Let $D$ be a bounded domain in a complex Banach space. According to the Earle-Hamilton fixed point theorem, if a holomorphic mapping $F : D \mapsto D$ maps $D$ strictly into itself, then it has a unique fixed point and its iterates converge…

Using some basic notions from the theory of Hopf algebras and quasi-shuffle algebras, we introduce rigorously a new family of rough paths: the quasi-geometric rough paths. We discuss their main properties. In particular, we will relate them…

We prove a new linearization principle for the nonlinear stability of solutions to semilinear evolution equations of parabolic type. We assume that the set of equilibria forms a finite dimensional manifold of normally stable and normally…

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…

We consider a nonlinear Fokker-Planck equation driven by a deterministic rough path which describes the conditional probability of a McKean-Vlasov diffusion with "common" noise. To study the equation we build a self-contained framework of…

A recent result characterizes the fully order reversing operators acting on the class of lower semicontinuous proper convex functions in a real Banach space as certain linear deformations of the Legendre-Fenchel transform. Motivated by the…

We analyze common lifts of stochastic processes to rough paths/rough drivers-valued processes and give sufficient conditions for the cocycle property to hold for these lifts. We show that random rough differential equations driven by such…

In aggregation-fragmentation processes, a steady state is usually reached in the long time limit. This indicates the existence of a fixed point in the underlying system of ordinary differential equations. The next simplest possibility is an…

We develop a semismooth Newton framework for the numerical solution of fixed-point equations that are posed in Banach spaces. The framework is motivated by applications in the field of obstacle-type quasi-variational inequalities and…

We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…

We give explicit formulas for maps in a long exact sequence connecting bialgebra cohomology to Hochschild cohomology. We give a sufficient condition for the connecting homomorphism to be surjective. We apply these results to compute all…

McKean-Vlasov SDEs describe systems where the dynamics depend on the law of the process. The corresponding Fokker-Planck equation is a nonlinear, nonlocal PDE for the corresponding measure flow. In the presence of common noise and…

This paper is concerned with the development and analysis of a mathematical model that is motivated by interstitial hydrodynamics and tissue deformation mechanics (poro-elasto-hydrodynamics) within an in-vitro solid tumor. The classical…

This work establishes the existence and regularity of random pullback attractors for parabolic partial differential equations with rough nonlinear multiplicative noise under natural assumptions on the coefficients. To this aim, we combine…

If a differential equation in a Banach manifold is invariant or quasi-invariant under the action of one or more Lie groups, then its stationary points cannot be isolated, so that classical linearized stability theorem does not apply to it.…

In this article, utilizing the concept of w-distance, we prove the celebrated Banach's fixed point theorem in metric spaces equipped with an arbitrary binary relation. Necessarily our findings unveil another direction of relation-theoretic…

A finite set can be supplied with a group structure which can then be used to select (classes of) differential calculi on it via the notions of left-, right- and bicovariance. A corresponding framework has been developed by Woronowicz, more…

This is a review paper on recent work about the connections between rough path theory, the Connes-Kreimer Hopf algebra on rooted trees and the analysis of finite and infinite dimensional differential equation. We try to explain and motivate…