Related papers: Diffeological Spaces with a Non-Smooth Derivation

We study how the notion of tangent space can be extended from smooth manifolds to diffeological spaces, which are generalizations of smooth manifolds that include singular spaces and infinite-dimensional spaces. We focus on two definitions.…

We consider the class of profinite diffeological spaces, that is, diffeological spaces which diffeologies are deduced by pull-back of diffeologies on finite-dimensional manifolds through a system of projection mappings. This class includes…

We study tangent spaces in the setting of diffeological spaces. Several distinct tangent functors have been introduced, each of which extends the classical tangent functor from smooth manifolds. In this paper, we construct infinitely many…

We define the tangential derivative, a notion of directional derivative which is invariant under diffeomorphisms. In particular this derivative is invariant under changes of chart and is thus well-defined for functions defined on a…

We introduce a class of diffeological spaces, called elastic, on which the left Kan extension of the tangent functor of smooth manifolds defines an abstract tangent functor in the sense of Rosicky. On elastic spaces there is a natural…

Diffeological spaces firstly introduced by J.M. Souriau in the 1980s are a natural generalization of smooth manifolds. However, optimization techniques are only known on manifolds so far. Generalizing these techniques to diffeological…

Connections between Lie derivatives and the deviation equation has been investigated in spaces with affine connection. The deviation equations of the geodesics as well as deviation equations of non-geodesics trajectories have been obtained…

This paper proposes a new notion of smoothness of algebras, termed differential smoothness, that combines the existence of a top form in a differential calculus over an algebra together with a strong version of the Poincar\'e duality…

We show that derivations of the differential structure of a subcartesian space satisfy the chain rule and have maximal integral curves.

Taylor series is a useful mathematical tool when describing and constructing a function. With the series representation, some properties of fractional calculus can be revealed clearly. This paper investigates two typical applications:…

We introduce a differential structure for the space of weakly geometric p rough paths over a Banach space V for 2<p<3. We begin by considering a certain natural family of smooth rough paths and differentiating in the truncated tensor…

A diffeological space is a set equipped with a smooth structure, known as a diffeology, which allows us to extend certain notions from manifolds to these more general spaces. We study a generalized notion of tangent space to a point of a…

We demonstrate that a violation of the Leibniz rule is a characteristic property of derivatives of non-integer orders. We prove that all fractional derivatives D^a, which satisfy the Leibniz rule D^(fg)=(D^a f) g + f (D^a g), should have…

We show on the example of the discrete heat equation that for any given discrete derivative we can construct a nontrivial Leibniz rule suitable to find the symmetries of discrete equations. In this way we obtain a symmetry Lie algebra,…

Diffeology extends differential geometry to spaces beyond smooth manifolds. This paper explores diffeology's key features and illustrates its utility with examples including singular and quotient spaces, and applications in symplectic…

Diffeological and differential spaces are generalisations of smooth structures on manifolds. We show that the "intersection" of these two categories is isomorphic to Fr\"olicher spaces, another generalisation of smooth structures. We then…

We consider one possible definition of a diffeological connection on a diffeological vector pseudo-bundle. It is different from the one proposed in [7] and is in fact simpler, since it is obtained by a straightforward adaption of the…

We consider the class of smooth convex functions defined over an open convex set. We show that this class is essentially different than the class of smooth convex functions defined over the entire linear space by exhibiting a function that…

We consider nonhomogeneous fractional $p$-Laplace equations defined on a bounded nonsmooth domain which goes beyond the Lipschitz category. Under a sufficient flatness assumption on the domain in the sense of Reifenberg, we establish…

This paper deals with some basic constructions of linear and multilinear algebra on finite-dimensional diffeological vector spaces. We consider the diffeological dual formally checking that the assignment to each space of its dual defines a…