Related papers: Extended finite operator calculus as an example of…
A. Tarski proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In this paper, we weaken the monotonicity requirement and…
We propose a novel discretization procedure for the classical Euler equation based on the theory of Galois differential algebras and the finite operator calculus developed by G.C. Rota and collaborators. This procedure allows us to define…
The space of Schwartz distributions of finite order is represented as a factor space of the space of, what we call, Mikusinski functions. The point of Mikusinski functions is that they admit a multiplication by convergent Laurent series. It…
The partial sums of integer sequences that count the occurrences of a specific pattern in the binary expansion of positive integers have been investigated by different authors since the 1950s. In this note, we introduce generalized pattern…
After an overview of noncommutative differential calculus, we construct parts of it explicitly and explain why this construction agrees with a fuller version obtained from the theory of operads.
We present a novel unity of logic, viz., a single sequent calculus that embodies classical, intuitionistic and linear logics. Concretely, we define classical linear logic negative (CLL$^-$), a new logic that is classical and linear yet…
Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…
We study linear operators on a finite-dimensional space whose Kippenhahn curves consist of concentric circles centered at the origin. We say that such operators have Circularity property. One class of examples is rotationally invariant…
We study the existence of an extension operator $\Lambda \colon W^{1,\varphi}(\Omega)\to W^{1,\psi}(\mathbb{R}^n)$. We assume that $\varphi \in \Phi_\mathrm{w}(\Omega)$ has generalized Orlicz growth, $\psi \in \Phi_\mathrm{w}(\mathbb{R}^n)$…
We propose another interpretation of well-known derivatives computations from regular expressions, due to Brzozowski, Antimirov or Lombardy and Sakarovitch, in order to abstract the underlying data structures (e.g. sets or linear…
We build on the work by Davies, extending the Helffer-Sj\"ostrand Functional Calculus domain for semi-bounded operators on Banach spaces given a priori controlled growth of the resolvents. We employ Seeley's Extension Theorem to extend…
We create a sequence version of calculus. First, we define equivalence, some fundamental operations, differential, and integral for sequences. Then, we propose sequence versions of identity function, power function, exponential function,…
Indicial operators are model operators associated to an elliptic differential operator near a corner singularity on a stratified manifold. These model operators are defined on generalized tangent cone configurations and exhibit a natural…
These are lecture notes on the algebraic approach to regular languages. The classical algebraic approach is for finite words; it uses semigroups instead of automata. However, the algebraic approach can be extended to structures beyond…
We extend the well-known Katznelson-Tzafriri theorem, originally posed for power-bounded operators, to the case of Ces\`aro bounded operators of any order $\alpha>0.$ For this purpose, we use a functional calculus between a new class of…
We take advantage of the combinatorial interpretations of many sequences of polynomials of binomial type to define a sequence of symmetric functions corresponding to each sequence of polynomials of binomial type. We derive many of the…
The paper contains an exposition of part of topology using partitions of unity. The main idea is to create variants of the Tietze Extension Theorem and use them to derive classical theorems. This idea leads to a new result generalizing…
We investigate a collection of orthonormal functions that encodes information about the continued fraction expansion of real numbers. When suitably ordered these functions form a complete system of martingale differences and are a special…
We revisit the computation of the phase of the Dirac fermion scattering operator in external gauge fields. The computation is through a parallel transport along the path of time evolution operators. The novelty of the present paper compared…
An expansion formula of a new type with the rest term of Cauchy type is derived in the operator formulation of generalized umbral calculus