Related papers: An extension of the classical derivative
We define a noncommutative differential calculus constructed from the inner derivation, then several relevant examples are showed. It is of interest to note that for certain $C^*$-algebra, this calculus is closely related to the classical…
Derivatives play a critical role in computational statistics, examples being Bayesian inference using Hamiltonian Monte Carlo sampling and the training of neural networks. Automatic differentiation is a powerful tool to automate the…
This article presents a natural extension of the tensor algebra. In addition to "left multiplications" by vectors, we can consider "derivations" by covectors as basic operators on this extended algebra. These two types of operators satisfy…
A pedagogical derivation of the Huygens cycloidal pendulum, suitable for high-school students, is here presented. Our derivation rests only on simple algebraic and geometrical tricks, without the need of any Calculus concept.
We consider an equation with drift and either critical or supercritical fractional diffusion. Under a regularity assumption for the vector field that is marginally stronger than what is required for Holder continuity of the solutions, we…
The purpose of this article is threefold. First, it provides the reader with a few useful and efficient tools which should enable her/him to evaluate nontrivial determinants for the case such a determinant should appear in her/his research.…
Belnap-Dunn logic, also knows as the logic of First-Degree Entailment, is a logic that can serve as the underlying logic of theories that are inconsistent or incomplete. For various reasons, different expansions of Belnap-Dunn logic with…
The purpose of this note is to consider in detail the construction of derived functors. The classical construction, such as in Cartan-Eilenberg or Grothendieck, is clarified, and it is shown, at the same time, that everything can be…
Treating differentials as independent algebraic units have a long history of use and abuse. It is generally considered problematic to treat the derivative as a fraction of differentials rather than as a holistic unit acting as a limit,…
Expansions of abelian categories are introduced. These are certain functors between abelian categories and provide a tool for induction/reduction arguments. Expansions arise naturally in the study of coherent sheaves on weighted projective…
We interpret tensors on a smooth manifold M as differential forms over a graded commutative algebra called the algebra of iterated differential forms over M. This allows us to put standard tensor calculus in a new differentially closed…
We define vector fields, leaves and trajectories for schemes. With these tools, we are able to give a geometrical interpretation and to generalize several results of differential Galois theory and constructions on differential schemes. We…
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…
This paper concerns an expansion of first-order Belnap-Dunn logic whose connectives and quantifiers all have a counterpart in classical logic. The language and logical consequence relation of this paradefinite logic are defined, a sequent…
Differential Calculus is a staple of the college mathematics major's diet. Eventually one becomes tired of the same routine, and wishes for a more diverse meal. The college math major may seek to generalize applications of the derivative…
This paper concerns the explicit treatment of substitutions in the lambda calculus. One of its contributions is the simplification and rationalization of the suspension calculus that embodies such a treatment. The earlier version of this…
There is a deformation of the ordinary differential calculus which leads from the continuum to a lattice (and induces a corresponding deformation of physical theories). We recall some of its features and relate it to a general framework of…
The notion of a separable extension is an important concept in Galois theory. Traditionally, this concept is introduced using the minimal polynomial and the formal derivative. In this work, we present an alternative approach to this…
A simple proof is given of the known fact that an m-times continuously differentiable function on the real line can be approximated along with its derivatives by an entire function and its respective derivatives.
A newly-generalized problem from a problem initially thought for the Mathematical Olympiad and the methods to solve it.