Related papers: On subcartesian spaces Leibniz' rule implies the c…
We combine two recent ideas: cartesian differential categories, and restriction categories. The result is a new structure which axiomatizes the category of smooth maps defined on open subsets of $\R^n$ in a way that is completely algebraic.…
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…
This paper presents an algebraic approach to characterizing higher-order differential operators. While the foundational Leibniz rule addresses first-order derivatives, its extension to higher orders typically involves identities relating…
The two closely related Lorentz-invariant partial orders of space-time are distinguished with respect to the existence of antichain cutsets and the possibility of grading. World lines of particles with or without mass are the maximal chains…
A type of fractional derivative, referred to as \alpha-derivative, is studied. The \alpha-derivative of fractional type obeys Leibnitz rule. Based on the definition of \alpha-derivative the operations of analysis and differential geometry…
We give an upper bound for the degree of rational curves in a family that covers a given birational ruled surface in projective space. The upper bound is stated in terms of the degree, sectional genus and arithmetic genus of the surface. We…
Although conservative Hamiltonian systems with constraints can be formulated in terms of Dirac structures, a more general framework is necessary to cover also dissipative systems such as gradient and metriplectic systems with constraints.…
A chain rule for power product is studied with fractional differential operators in the framework of Sobolev spaces. The fractional differential operators are defined by the Fourier multipliers. The chain rule is considered newly in the…
We propose a new formulation of lattice theory. It is given by a matrix form and suitable for satisfying Leibniz rule on lattice. The theory may be interpreted as a multi-flavor system. By realizing the difference operator as a commutator,…
The purpose of this paper is to give a definition and prove the fundamental properties of Besov spaces generated by the Neumann Laplacian. As a by-product of these results, the fractional Leibniz rule in these Besov spaces is obtained.
Let $X$ be a perfect, compact subset of the complex plane, and let $D^{(1)}(X)$ denote the (complex) algebra of continuously complex-differentiable functions on $X$. Then $D^{(1)}(X)$ is a normed algebra of functions but, in some cases,…
The Leibniz rule for derivations is invariant under cyclic permutations of co-multiples within the arguments of derivations. We explore the implications of this principle: in effect, we construct a class of noncommutative bundles in which…
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:…
Containers conveniently represent a wide class of inductive data types. Their derivatives compute representations of types of one-hole contexts, useful for implementing tree-traversal algorithms. In the category of containers and cartesian…
Le Donne and the author introduced the so-called intrinsically Lipschitz sections of a fixed quotient map $\pi$ in the context of metric spaces. Moreover, the author introduced the concept of intrinsic Cheeger energy when the quotient map…
Derivations extend the concept of differentiation from functions to algebraic structures as linear operators satisfying the Leibniz rule. In Lie algebras, derivations form a Lie algebra via the commutator bracket of linear endomorphisms.…
A generalization of the classical Leibniz rule for the covariant derivative on a vector bundle is obtained.
It is well-known that the coefficients in Faa di Bruno's chain rule for higher derivatives can be expressed via numeration of partitions. It turns out that this has a natural form as a formula for the vector case. To this formula two proofs…
We study inheritance of path-pairability in the Cartesian product of graphs, and prove different (such as additive and multiplicative) inheritance patterns of path-pairability, depending on the size of the Cartesian product. We present…
On metric spaces equipped with doubling measures, we prove that a differentiability theorem holds for Lipschitz functions if and only if the space supports nontrivial (metric) derivations in the sense of Weaver that satisfy an additional…