Related papers: Darboux Calculus
In the Dirac approach to the generalized Hamiltonian formalism, dynamical systems with first- and second-class constraints are investigated. The classification and separation of constraints into the first- and second-class ones are…
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…
Darboux transformations are non-group type symmetries of linear differential operators. One can define Darboux transformations algebraically by the intertwining relation $ML=L_1M$ or the intertwining relation $ML=L_1N$ in the cases when the…
In this paper we develop a functional calculus for bounded operators defined on quaternionic Banach spaces. This calculus is based on the notion of slice-regularity, see \cite{gs}, and the key tools are a new resolvent operator and a new…
We study discretization of Darboux integrable systems. The discretization is done by using $x$- or $y$-integrals of the considered systems. New examples of semi-discrete Darboux integrable systems are obtained.
We present a new fragment of axiomatic set theory for pure sets and for the iteration of power sets within given transitive sets. It turns out that this formal system admits an interesting hierarchy of models with true membership relation…
This is an introduction to calculus, and its applications to basic questions from physics. We first discuss the theory of functions $f:\mathbb R\to\mathbb R$, with the notion of continuity, and the construction of the derivative $f'(x)$ and…
The main purpose of this paper is to investigate some natural problems regarding the order structure of representable functionals on $^*$-algebras. We describe the extreme points of order intervals, and give a nontrivial sufficient…
The main goal of this work is to give new and precise generalizations to various classes of plurisubharmonic functions of the classical minimum modulus principle for holomorphic functions of one complex variable, in the spirit of the famous…
Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish…
This paper presents general syntactic conditions ensuring the strong normalization and the logical consistency of the Calculus of Algebraic Constructions, an extension of the Calculus of Constructions with functions and predicates defined…
The two function theories of monogenic and of slice monogenic functions have been extensively studied in the literature and were developed independently; the relations between them, e.g. via Fueter mapping and Radon transform, have been…
Most modern formalisms used in Databases and Artificial Intelligence for describing an application domain are based on the notions of class (or concept) and relationship among classes. One interesting feature of such formalisms is the…
We introduce and study a natural class of fields in which certain first-order definable sets are existentially definable, and characterise this class by a number of equivalent conditions. We show that global fields belong to this class, and…
The main aim of the present work is to arrive at a mathematical theory close to the historically original conception of generalized functions, i.e. set theoretical functions defined on, and with values in, a suitable ring of scalars and…
Fiore and Hur recently introduced a conservative extension of universal algebra and equational logic from first to second order. Second-order universal algebra and second-order equational logic respectively provide a model theory and a…
We classify all cubic function fields over any finite field, particularly developing a complete Galois theory which includes those cases when the constant field is missing certain roots of unity. In doing so, we find criteria which allow…
Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic…
Finite-part integration is a recent method of evaluating a convergent integral in terms of the finite-parts of divergent integrals deliberately induced from the convergent integral itself [E. A. Galapon, Proc. R. Soc., A 473, 20160567…
We go into the need for, and the requirements on, a formal theory of budgets. We present a simple algebraic theory of rational budgets, i.e., budgets in which amounts of money are specified by functions on the rational numbers. This theory…