English
Related papers

Related papers: A few calculus rules for chain differentials

200 papers

This paper determines the general formula for describing differentials of composite functions in terms of differentials of their factor functions. This generalises the formula commonly attributed to Faa di Bruno to functions in locally…

Functional Analysis · Mathematics 2013-10-11 Daniel E. Clark , Jeremie Houssineau

We generalize the classical calculus rules satisfied by functions of bounded variation to the framework of RCD spaces. In the infinite dimensional setting we are able to define an analogue of the distributional differential and on finite…

Functional Analysis · Mathematics 2022-04-11 Camillo Brena , Nicola Gigli

One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated differentials and a version of the multivariable chain rule…

Logic · Mathematics 2022-11-10 Samuel Allen Alexander

Here are considered some categorical aspects of "Differential calculus" archetype of local approximation of arbitrary morphisms by "linear" ones.

Category Theory · Mathematics 2007-05-23 Vladimir Molotkov

Many modern numerical methods in computational science and engineering rely on derivatives of mathematical models for the phenomena under investigation. The computation of these derivatives often represents the bottleneck in terms of…

Computational Complexity · Computer Science 2021-10-27 Uwe Naumann

The calculus of finite differences is a solid foundation for the development of operations such as the derivative and the integral for infinite sequences. Here we showed a way to extend it for finite sequences. We could then define…

Discrete Mathematics · Computer Science 2018-11-06 Sérgio Martins Filho

We propose a novel foundation for calculus that focuses on the notion of approximations while avoiding the use of limits altogether. Continuity is defined as approximation at a point, while differentiability is defined as approximation with…

History and Overview · Mathematics 2025-10-27 Michael P. Lamoureux , Matt Yedlin

We explore the possibility to derive basic calculus rules for some subdifferential constructions associated to set-valued maps between normed vector spaces. Then, we use these results in order to write optimality conditions for a special…

Optimization and Control · Mathematics 2023-11-28 Marius Durea , Elena-Andreea Florea

We derive exact calculus rules for the directed subdifferential defined for the class of directed subdifferentiable functions. We also state optimality conditions, a chain rule and a mean-value theorem. Thus we extend the theory of the…

Optimization and Control · Mathematics 2016-02-18 Robert Baier , Elza Farkhi , Vera Roshchina

We define a simplicial differential calculus by generalizing divided differences from the case of curves to the case of general maps, defined on general topological vector spaces, or even on modules over a topological ring K. This calculus…

Differential Geometry · Mathematics 2011-01-12 Wolfgang Bertram

We analyze matrix convex functions of a fixed order defined on a real interval by differential methods as opposed to the characterization in terms of divided differences given by Kraus. We obtain for each order conditions for matrix…

Operator Algebras · Mathematics 2007-05-23 Frank Hansen , Jun Tomiyama

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…

Analysis of PDEs · Mathematics 2016-02-02 Alexandra Convent , Jean Van Schaftingen

Universal geometric calculus simplifies and unifies the structure and notation of mathematics for all of science and engineering, and for technological applications. This paper treats the fundamentals of the multivector differential…

History and Overview · Mathematics 2013-06-11 Eckhard Hitzer

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

The paper is devoted to the development of a comprehensive calculus for directional limiting normal cones, subdifferentials and coderivatives in finite dimensions. This calculus encompasses the whole range of the standard generalized…

Optimization and Control · Mathematics 2017-12-14 Matúš Benko , Helmut Gfrerer , Jiří V. Outrata

The present text is a collection of notes about differential geometry prepared to some extent as part of tutorials about topics and applications related to tensor calculus. They can be regarded as continuation to the previous notes on…

History and Overview · Mathematics 2016-09-12 Taha Sochi

We show that differential calculus (in its usual form, or in the general form of topological differential calculus) can be fully imdedded into a functor category (functors from a small category of anchord tangent algebras to anchored sets).…

Algebraic Geometry · Mathematics 2021-03-25 Wolfgang Bertram , Jérémy Haut

In this paper we develop a geometric approach to convex subdifferential calculus in finite dimensions with employing some ideas of modern variational analysis. This approach allows us to obtain natural and rather easy proofs of basic…

Optimization and Control · Mathematics 2015-10-06 Boris Mordukhovich , Nguyen Mau Nam

Subdifferentials (in the sense of convex analysis) of matrix-valued functions defined on $\mathbb{R}^d$ that are convex with respect to the L\"{o}wner partial order can have a complicated structure and might be very difficult to compute…

Optimization and Control · Mathematics 2024-07-22 M. V. Dolgopolik

A generalization of exterior calculus is considered by allowing the partial derivatives in the exterior derivative to assume fractional orders. That is, a fractional exterior derivative is defined. This is found to generate new vector…

Mathematical Physics · Physics 2009-11-10 Kathleen Cotrill-Shepherd , Mark Naber
‹ Prev 1 2 3 10 Next ›