Related papers: Homological differential calculus

We study subharmonic functions whose Laplacian is supported on a null set and in connected components of of the complement to the support admit harmonic extensions to larger sets. We prove that if such a function has a piecewise holomorphic…

The paper extends the widely used in optimisation theory decoupling techniques to infinite collections of functions. Extended concepts of uniform lower semicontinuity and firm uniform lower semicontinuity are discussed. The main theorems…

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…

First, we give the definition for quasi-nearly subharmonic functions, now for general, not necessarily nonnegative functions, unlike previously. We point out that our function class incudes, among others, quasisubharmonic functions, nearly…

We apply the topology of convergence on compact sets to define unpredictable functions [5, 6]. The topology is metrizable and easy for applications with integral operators. To demonstrate the effectiveness of the approach, the existence and…

We give an example of a convex, finite and lower semicontinuous function whose subdifferential is everywhere empty. This is possible since the function is defined on an incomplete normed space. The function serves as a universal…

Efroymson's approximation theorem asserts that if $f$ is a $\mathcal{C}^0$ semialgebraic mapping on a $\mathcal{C}^\infty$ semialgebraic submanifold $M$ of $\mathbb{R}^n$ and if $\varepsilon:M\to \mathbb{R}$ is a positive continuous…

A hypodifferential is a compact family of affine mappings that defines a local max-type approximation of a nonsmooth convex function. We present a general theory of hypodifferentials of nonsmooth convex functions defined on a Banach space.…

In view of training increasingly complex learning architectures, we establish a nonsmooth implicit function theorem with an operational calculus. Our result applies to most practical problems (i.e., definable problems) provided that a…

We present a differential algebra of generalized functions over a field of generalized scalars by means of several axioms in terms of general algebra and topology. Our differential algebra is of Colombeau type in the sense that it contains…

The aim of this article is to study certain categorical-algebraic frameworks for basic homological algebra, introduced in arXiv:2404.15896, with the aim of better understanding the differences between them. We focus on homological…

The B-side of Kontsevich's Homological Mirror Symmetry Conjecture is discussed. We give first a self-contained study of derived categories and their homological algebra, and later restrict to the bounded derived category of schemes and…

Notions of a "holomorphic" function theory for functions of a split-quaternionic variable have been of recent interest. We describe two found in the literature and show that one notion encompasses a small class of functions, while the other…

In this paper, we consider a class of nonlinear fractional differential equations involving Hilfer derivative with boundary conditions. First, we obtain an equivalent integral for the given boundary value problem in weighted space of…

The Cauchy-type problem for a nonlinear differential equation involving Hilfer fractional derivative is considered. We prove existence, uniqueness and continuous dependence of a solution for Cauchy-type problem using successive…

We establish a general uniqueness theorem for subharmonic functions of several variables on a domain. A corollary from this uniqueness theorem for holomorphic functions is formulated in terms of the zero subset of holomorphic functions and…

For an abelian category, a category equivalent to its derived category is constructed by means of specific projective (injective) multicomplexes, the so-called homological resolutions.

In this work we analyse the functional ${\cal J}(u)=\|\nabla u\|_\infty$ defined on Lipschitz functions with homogeneous Dirichlet boundary conditions. Our analysis is performed directly on the functional without the need to approximate…

In computational complexity, a complexity class is given by a set of problems or functions, and a basic challenge is to show separations of complexity classes $A \not= B$ especially when $A$ is known to be a subset of $B$. In this paper we…

Submodular functions are discrete functions that model laws of diminishing returns and enjoy numerous algorithmic applications. They have been used in many areas, including combinatorial optimization, machine learning, and economics. In…