English
Related papers

Related papers: Homological differential calculus

200 papers

In this work we prove the Stepanov differentiation theorem for multiple-valued functions. This theorem is proved in the wide generality of metric-space-multiple-valued functions without relying on a Lipschitz extension result. General…

Metric Geometry · Mathematics 2025-06-24 Paolo De Donato

In the framework of superanalysis we get a functions theory close to complex analysis, under a suitable condition (A) on the real superalgebras in consideration. Under the condition (A), we get an integral representation formula for the…

Complex Variables · Mathematics 2012-01-04 Pierre Bonneau , Anne Cumenge

We show that a point is solution of the Minty variational inequality of subdifferential type for a given function if and only if the function is increasing along rays starting from that point. This provides a characterization of the…

Optimization and Control · Mathematics 2014-01-23 Marc Lassonde

The definition of the standard differential operator is extended from integer steps to arbitrary stepsize. The classical, nonrelativistic Hamiltonian is quantized, using these new continuous operators. The resulting Schroedinger type…

Nuclear Theory · Physics 2007-05-23 R. Herrmann

We provide a foundation for working with homological and homotopical methods in categorical algebra. This involves two mutually complementary components, namely (a) the strategic selection of suitable axiomatic frameworks, some well known…

Category Theory · Mathematics 2024-06-24 George Peschke , Tim Van der Linden

We consider the behaviour of holomorphic functions on a bounded open subset of the plane, satisfying a Lipschitz condition with exponent $\alpha$, with $0<\alpha<1$, in the vicinity of an exceptional boundary point where all such functions…

Complex Variables · Mathematics 2017-01-04 Anthony G. O'Farrell

The main result of the paper is an extension of the Dirichlet problem from (closures of) bounded open domains U to arbitrary compact subsets X of the complex plane, i.e. the closure of the corresponding space of functions which are harmonic…

Operator Algebras · Mathematics 2014-05-14 Ulrich Haag

Filinski constructed a symmetric lambda-calculus consisting of expressions and continuations which are symmetric, and functions which have duality. In his calculus, functions can be encoded to expressions and continuations using primitive…

Logic in Computer Science · Computer Science 2021-02-01 Tatsuya Abe , Daisuke Kimura

We use discrete holomorphic polynomials to prove that, given a refining sequence of critical maps of a Riemann surface, any holomorphic function can be approximated by a converging sequence of discrete holomorphic functions.

Mathematical Physics · Physics 2007-05-23 Christian Mercat

Bivariant (equivariant) K-theory is the standard setting for non-commutative topology. We may carry over various techniques from homotopy theory and homological algebra to this setting. Here we do this for some basic notions from…

K-Theory and Homology · Mathematics 2015-10-23 Ralf Meyer , Ryszard Nest

This paper consists of three parts. First, we give so far the best condition under which the shift invariance of the counting function, and of the characteristic of a subharmonic function, holds. Second, a difference analogue of logarithmic…

Complex Variables · Mathematics 2020-03-10 Jianhua Zheng , Risto Korhonen

We introduce the notion of rationality for hyperholomorphic functions (functions in the kernel of the Cauchy-Fueter operator). Following the case of one complex variable, we give three equivalent definitions: the first in terms of…

Functional Analysis · Mathematics 2007-05-23 D. Alpay , M. Shapiro , D. Volok

We derive the Helmholtz theorem for Hamiltonian systems defined on time scales in the context of nonshifted calculus of variations which encompass the discrete and continuous case. Precisely, we give a theorem characterizing first order…

Optimization and Control · Mathematics 2015-07-23 Frédéric Pierret

Universal continuous calculi are defined and it is shown that for every finite tuple of pairwise commuting Hermitian elements of a Su*-algebra (an ordered *-algebra that is symmetric, i.e. "strictly" positive elements are invertible, and…

Functional Analysis · Mathematics 2020-12-01 Matthias Schötz

In this survey, we present in a unified way the categorical and syntactical settings of coherent differentiation introduced recently, which shows that the basic ideas of differential linear logic and of the differential lambda-calculus are…

Logic in Computer Science · Computer Science 2024-01-29 Thomas Ehrhard

In a nutshell, submodular functions encode an intuitive notion of diminishing returns. As a result, submodularity appears in many important machine learning tasks such as feature selection and data summarization. Although there has been a…

Data Structures and Algorithms · Computer Science 2018-03-19 Marko Mitrovic , Moran Feldman , Andreas Krause , Amin Karbasi

Starting from the Riemann-Liouville derivative, many authors have built their own notion of fractional derivative in order to avoid some classical difficulties like a non zero derivative for a constant function or a rather complicated…

Classical Analysis and ODEs · Mathematics 2016-07-12 Jacky Cresson , Anna Szafrańska

We use algebraic techniques to study homological filling functions of groups and their subgroups. If $G$ is a group admitting a finite $(n+1)$--dimensional $K(G,1)$ and $H \leq G$ is of type $F_{n+1}$, then the $n^{th}$--homological filling…

Group Theory · Mathematics 2015-08-21 Richard Gaelan Hanlon , Eduardo Martinez-Pedroza

The paper addresses the study and applications of a broad class of extended-real-valued functions, known as optimal value or marginal functions, which are frequently appeared in variational analysis, parametric optimization, and a variety…

Optimization and Control · Mathematics 2025-02-05 Le Phuoc Hai , Felipe Lara , Boris S. Mordukhovich

We present a Galois theory of difference equations designed to measure the differential dependencies among solutions of linear difference equations. With this we are able to reprove Hoelder's Theorem that the Gamma function satisfies no…

Classical Analysis and ODEs · Mathematics 2008-01-10 Charlotte Hardouin , Michael F. Singer