Related papers: The Exterior Derivative - A direct approach
We have been working in many aspects of the problem of analyzing, understanding and solving ordinary differential equations (first and second order). As we have extensively mentioned, while working in the Darboux type methods, the most…
We generalize the concept of a number derivative, and examine one particular instance of a deformed number derivative for finite field elements. We find that the derivative is linear when the deformation is a Frobenius map and go on to…
The main aim of this note is to provide characterization theorems concerning real derivations. Among others the following implication will be verified: Assume that $\xi\colon \mathbb{R}\to \mathbb{R}$ is a given differentiable function and…
This paper presents a generalization for Differential and Integral Calculus. Just as the derivative is the instantaneous angular coefficient of the tangent line to a function, the generalized derivative is the instantaneous parameter value…
The aim of this paper is to study certain problems of calculus of variations, that are dependent upon a Lagrange function on a Caputo-type fractional derivative. This type of fractional operator is a generalization of the Caputo and the…
The main purpose of this paper is to obtain Leibniz's rule for generalized types of derivations via Newton's binomial formula. In fact, we provide a short formula to calculate the nth power of any kind of derivations.
The purpose of this paper is to introduce the notion of a generalized derivation which derivates a prescribed family of smooth vector-valued functions of several variables. The basic calculus rules are established and then a result derived…
This paper adapts the techniques of finite element exterior calculus to study and discretize the abstract Hodge-Dirac operator, which is a square root of the abstract Hodge-Laplace operator considered by Arnold, Falk, and Winther [Bull.…
An efficient approximate version of implicit Taylor methods for initial-value problems of systems of ordinary differential equations (ODEs) is introduced. The approach, based on an approximate formulation of Taylor methods, produces a…
It is commonly agreed that the success of future proof assistants will rely on their ability to incorporate computations within deduction in order to mimic the mathematician when replacing the proof of a proposition P by the proof of an…
We present a method for the numerical calculation of derivatives of functions of general complex matrices. The method can be used in combination with any algorithm that evaluates or approximates the desired matrix function, in particular…
In order to describe more complex problem using the concept of fractional derivatives, we introduce in this paper the concept of fractional derivatives with orders. The new definitions are based upon the concept of power law together with…
Derivation-based differential calculi are of great importance in noncommutative geometry, noncommutative gauge theory and integrable systems. In this paper, we propose the connection and curvature from a class of deformed derivation-based…
For a permutation $\pi$, and the corresponding permutation matrix, we introduce the notion of {\em discrete derivative}, obtained by taking differences of successive entries in $\pi$. We characterize the possible derivatives of…
The logic of constant domains is intuitionistic logic extended with the so-called forall-shift axiom, a classically valid statement which implies the excluded middle over decidable formulas. Surprisingly, this logic is constructive and so…
We show that a substantial portion of stochastic calculus can be developed along similar lines to ordinary calculus, with derivative-based concepts driving the development. We define a notion of stopping derivative, which is a form of right…
In this paper, we show how a construction of an implicit complexity model can be implemented using concepts coming from the core of von Neumann algebras. Namely, our aim is to gain an understanding of classical computation in terms of the…
We prove that the only natural operations between differential forms are those obtained using linear combinations, the exterior product and the exterior differential. Our result generalises work by Palais and Freed-Hopkins. As an…
The goal of this communication is to propose a generalized notion of the "traditional derivative". This generalization includes the fractional derivatives such as the Riemann-Liouville, Gruenwald-Letnikov, Weyl, Riesz, Caputo, Marchaud…
There is a generic way to add any new feature to a system. It involves 1) identifying the basic units which build up the system and 2) introducing the new feature to each of these basic units. In the case where the system is argumentation…