English
Related papers

Related papers: Higher Order $c$-Differentials

200 papers

Cartesian differential categories are categories equipped with a differential combinator which axiomatizes the directional derivative. Important models of Cartesian differential categories include classical differential calculus of smooth…

Logic in Computer Science · Computer Science 2020-07-23 Mario Alvarez-Picallo , Jean-Simon Pacaud Lemay

Type-two constructions abound in cryptography: adversaries for encryption and authentication schemes, if active, are modeled as algorithms having access to oracles, i.e. as second-order algorithms. But how about making cryptographic schemes…

Logic in Computer Science · Computer Science 2020-02-19 Boaz Barak , Raphaëlle Crubillé , Ugo Dal Lago

We introduce two kinds of fractional integral operators; the one is defined via the exponential-integral function $$ E_1(x)=\int_x^\infty \frac{e^{-t}}{t}\,dt,\quad x>0, $$ and the other is defined via the special function $$…

Classical Analysis and ODEs · Mathematics 2018-03-12 Mohamed Jleli , Bessem Samet

For distributions, we build a theory of higher order pointwise differentiability comprising, for order zero, {\L}ojasiewicz's notion of point value. Results include Borel regularity of differentials, higher order rectifiability of the…

Functional Analysis · Mathematics 2021-03-24 Ulrich Menne

We define notions of differentiability for maps from and to the space of persistence barcodes. Inspired by the theory of diffeological spaces, the proposed framework uses lifts to the space of ordered barcodes, from which derivatives can be…

Algebraic Topology · Mathematics 2021-05-05 Jacob Leygonie , Steve Oudot , Ulrike Tillmann

First-order automatic differentiation is a ubiquitous tool across statistics, machine learning, and computer science. Higher-order implementations of automatic differentiation, however, have yet to realize the same utility. In this paper I…

Computation · Statistics 2019-01-01 Michael Betancourt

We consider the class $\mathcal{S}^*(q_c)$ of normalized starlike functions $f$ analytic in the open unit disk $|z|<1$ that satisfying the inequality \begin{equation*} \left|\left(\frac{zf'(z)}{f(z)}\right)^2-1\right|<c \quad (0<c\leq1).…

Complex Variables · Mathematics 2018-07-11 R. Kargar , L. Trojnar-Spelina

The paper presents derivation and interpretation of one type of variable order derivative definitions. For mathematical modelling of considering definition the switching and numerical scheme is given. The paper also introduces a numerical…

Dynamical Systems · Mathematics 2013-04-19 Dominik Sierociuk , Wiktor Malesza , Michal Macias

A typical system of k difference (or differential) equations can be compressed, or folded into a difference (or ordinary differential) equation of order k. Such foldings appear in control theory as the canonical forms of the controllability…

Dynamical Systems · Mathematics 2014-03-18 H. Sedaghat

A new directional derivative and a new subdifferential for set-valued convex functions are constructed, and a set-valued version of the so-called 'max-formula' is proven. The new concepts are used to characterize solutions of convex…

Optimization and Control · Mathematics 2012-07-24 Andreas H. Hamel , Carola Schrage

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

A torsion theory is called differential (higher differential) if a derivation (higher derivation) can be extended from any module to the module of quotients corresponding to the torsion theory. We study conditions equivalent to higher…

Rings and Algebras · Mathematics 2010-09-14 Lia Vas

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

Finite differences have been widely used in mathematical theory as well as in scientific and engineering computations. These concepts are constantly mentioned in calculus. Most frequently-used difference formulas provide excellent…

Numerical Analysis · Mathematics 2010-06-09 Brian Jain , Andrew D. Sheng

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

A new definition of a fractional derivative has recently been developed, making use of a fractional Dirac delta function as its integral kernel. This derivative allows for the definition of a distributional fractional derivative, and as…

Classical Analysis and ODEs · Mathematics 2018-05-16 Evan Camrud

In this article, we wish to establish some first order differential subordination relations for certain Carath\'{e}odory functions with nice geometrical properties. Moreover, several implications are determined so that the normalized…

Complex Variables · Mathematics 2021-03-09 Meghna Sharma , Sushil Kumar , Naveen Kumar Jain

The discrete gradient methods are integrators designed to preserve invariants of ordinary differential equations. From a formal series expansion of a subclass of these methods, we derive conditions for arbitrarily high order. We derive…

Numerical Analysis · Mathematics 2022-01-19 Sølve Eidnes

There exist many applications where it is necessary to approximate numerically derivatives of a function which is given by a computer procedure. In particular, all the fields of optimization have a special interest in such a kind of…

Numerical Analysis · Mathematics 2012-03-15 Yaroslav D. Sergeyev

In this paper, an upper semismooth function is defined to be a lower semicontinuous function whose radial subderivative satisfies a mild directional upper semicontinuity property. Examples of upper semismooth functions are the proper lower…

Optimization and Control · Mathematics 2017-03-10 Marc Lassonde