English
Related papers

Related papers: A first step toward higher order chain rules in ab…

200 papers

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…

Classical Analysis and ODEs · Mathematics 2025-04-15 Włodzimierz Fechner , Eszter Gselmann

We present theory for general partial derivatives of matrix functions on the form $f(A(x))$ where $A(x)$ is a matrix path of several variables ($x=(x_1,\dots,x_j)$). Building on results by Mathias [SIAM J. Matrix Anal. Appl., 17 (1996), pp.…

Numerical Analysis · Mathematics 2023-06-29 Emanuel H. Rubensson

In 2017, Bauer, Johnson, Osborne, Riehl, and Tebbe (BJORT) showed that the Abelian functor calculus provides an example of a Cartesian differential category. The definition of a Cartesian differential category is based on a differential…

Category Theory · Mathematics 2022-02-21 Robin Cockett , Jean-Simon Pacaud Lemay

Given two real functions on the real line f and g, the Faa di Bruno provides the higher order derivative of the composition of f and g, as a summation over the lower order derivatives of f and g individually. The corresponding…

Classical Analysis and ODEs · Mathematics 2014-10-28 Henry O. Jacobs

We develop the Benkhettou-Hassani-Torres fractional (noninteger order) calculus on time scales by proving two chain rules for the $\alpha$-fractional derivative and five inequalities for the $\alpha$-fractional integral. The results…

Classical Analysis and ODEs · Mathematics 2017-03-03 Eze R. Nwaeze , Delfim F. M. Torres

By solving an infinite nonlinear system of $q$-difference equations one constructs a chain of $q$-difference operators. The eigenproblems for the chain are solved and some applications, including the one related to $q$-Hahn orthogonal…

Mathematical Physics · Physics 2007-05-23 Alina Dobrogowska , Anatol Odzijewicz

In this work we analyze systems described by Lagrangians with higher order derivatives in the context of the Hamilton-Jacobi formalism for first order actions. Two different approaches are studied here: the first one is analogous to the…

High Energy Physics - Theory · Physics 2009-01-30 M. C. Bertin , B. M. Pimentel , P. J. Pompeia

Reverse differentiation is an essential operation for automatic differentiation. Cartesian reverse differential categories axiomatize reverse differentiation in a categorical framework, where one of the primary axioms is the reverse chain…

Logic in Computer Science · Computer Science 2025-09-26 Aaron Biggin , Jean-Simon Pacaud Lemay

We formulate and prove a chain rule for the derivative, in the sense of Goodwillie, of compositions of weak homotopy functors from simplicial sets to simplicial sets. The derivative spectrum dF(X) of such a functor F at a simplicial set X…

Algebraic Topology · Mathematics 2014-11-11 John R. Klein , John Rognes

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…

Classical Analysis and ODEs · Mathematics 2016-04-19 Abdon Atangana

Second order approximate ancillaries have evolved as the primary ingredient for recent likelihood development in statistical inference. This uses quantile functions rather than the equivalent distribution functions, and the intrinsic…

Statistics Theory · Mathematics 2010-11-29 Ailana M. Fraser , D. A. S. Fraser , Ana-Maria Staicu

Differential categories were introduced by Blute, Cockett, and Seely as categorical models of differential linear logic and have since lead to abstract formulations of many notions involving differentiation such as the directional…

Category Theory · Mathematics 2019-01-23 Jean-Simon P. Lemay

The fractional Leibniz rule is generalized by the Coifman-Meyer estimate. It is shown that the arbitrary redistribution of fractional derivatives for higher order with the corresponding correction terms.

Analysis of PDEs · Mathematics 2019-01-01 Kazumasa Fujiwara , Vladimir Georgiev , Tohru Ozawa

Causal functions of sequences occur throughout computer science, from theory to hardware to machine learning. Mealy machines, synchronous digital circuits, signal flow graphs, and recurrent neural networks all have behaviour that can be…

Logic in Computer Science · Computer Science 2019-04-25 David Sprunger , Bart Jacobs

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…

Representation Theory · Mathematics 2010-09-20 Xiao-Wu Chen , Henning Krause

When teaching an elementary logic course to students who have a general scientific background but have never been exposed to logic, we have to face the problem that the notions of deduction rule and of derivation are completely new to them,…

Logic in Computer Science · Computer Science 2016-01-08 Gilles Dowek

In his discussion of Davies and Gather [Ann. Statist. 33 (2005) 977--1035] [math.ST/0508497] Tyler pointed out that the theory developed there could not be applied to the case of directional data. He related the breakdown of directional…

Statistics Theory · Mathematics 2007-06-13 P. Laurie Davies , Ursula Gather

It is classical that univariate algebraic functions satisfy linear differential equations with polynomial coefficients. Linear recurrences follow for the coefficients of their power series expansions. We show that the linear differential…

Symbolic Computation · Computer Science 2008-04-03 Alin Bostan , Frédéric Chyzak , Bruno Salvy , Grégoire Lecerf , Éric Schost

In a recent paper A.Beardon and I.Short proposed to use chains of tangent horocycles as an extended tool describing continued fractions. We review the origin of such construction from the Moebius transformations point of view. Related…

Complex Variables · Mathematics 2018-06-19 Vladimir V. Kisil

In this paper, we show that those sequential products which were proposed by Liu and Shen and Wu in [J. Phys. A: Math. Theor. {\bf 42}, 185206 (2009), J. Phys. A: Math. Theor. {\bf 42}, 345203 (2009)] are just unitary equivalent to the…

Mathematical Physics · Physics 2010-09-15 Liu Weihua , Wu Zhaoqi , Wu Junde