Related papers: Liquid functional calculus
This text is addressed to mathematicians who are interested in generalized functions and unbounded operators on a Hilbert space. We expose in detail (in a "formal way" - as done by Heisenberg and Pauli - i.e. without mathematical…
In this paper, some classes of discrete functions of $k$-valued logic are considered, that depend on sets of their variables in a particular way. Obtained results allow to "construct" these functions and to present them in their tabular,…
Several estimates for singular integrals, maximal functions and the spherical summation operator are given in the spaces $L^p_{\text{rad}}L^2_{\text{ang}}(\mathbb{R}^n)$, $n\geq 2$.
We propose a new method to apply the Lipschitz functional calculus of local Dirichlet forms to Poisson random measures.
In this paper, we introduce new classes of functions that extend the known classes of functions of complex variable, such as entire functions, meromorphic functions, rational functions and polynomial functions and take values in the set of…
This work exploits the logical foundation of session types to determine what kind of type discipline for the pi-calculus can exactly capture, and is captured by, lambda-calculus behaviours. Leveraging the proof theoretic content of the…
We prove that the pointwise product of two holomorphic functions of the upper half-plane, one in the Hardy space $\mathcal H^1$, the other one in its dual, belongs to a Hardy type space. Conversely, every holomorphic function in this space…
We present closed forms for several functions that are fundamental in number theory and we explain the method used to obtain them. Concretely, we find formulas for the p-adic valuation, the number-of-divisors function, the sum-of-divisors…
We introduce sound and complete labelled sequent calculi for the basic normal non-distributive modal logic L and some of its axiomatic extensions, where the labels are atomic formulas of the first order language of enriched formal contexts,…
We prove explicit formulas for the $p$-adic $L$-functions of totally real number fields and show how these formulas can be used to compute values and representations of $p$-adic $L$-functions.
In this paper we introduce elementary and completely explicit formulas for the derivative of any order of any function of the type 1/p, where p is a polynomial with known zeros.
Passive documents and active programs now widely comingle. Document languages include Turing-complete programming elements, and programming languages include sophisticated document notations. However, there are no formal foundations that…
We prove that every generator of a symmetric contraction semigroup on a $\sigma$-finite measure space admits, for $1<p<\infty$, a H\"ormander-type holomorphic functional calculus on $L^p$ in the sector of angle $\phi^*_p=\arcsin|1-2/p|$.…
We have established a coherent framework for applying variational methods to partial differential equations on hypergraphs, which includes the propositions of calculus and function spaces on hypergraphs. Several results related to the…
Functional integrals are central to modern theories ranging from quantum mechanics and statistical thermodynamics to biology, chemistry, and finance. In this work we present a new method for calculating functional integrals based on a…
The aim of this paper is to bring together a new type of quantum calculus, namely $p $-calculus, and variational calculus. We develop $p $-variational calculus and obtain a necessary optimality condition of Euler-Lagrange type and a…
Let $f$ be a holomorphic cusp form of weight $k$ with respect to full modular group $SL_2(\mathbb{Z})$ satisfying a normalized Hecke eigenform, $L_f(s)$ the $L$-function attached to the form $f$. Good gave the approximate functional…
This is the second part of two papers. In this part, we establish closed formulae for the universal functions in the blowup formulae for virtual Hodge polynomials of Gieseker moduli spaces of rank-2 stable sheaves and Uhlenbeck…
We present a pedagogical introduction to a series of quantum computing algorithms for the simulation of classical fluids, with special emphasis on the Carleman-Lattice Boltzmann method.
In this paper, a new calculus on sequences is defined. Also, the $\lambda$-derivative and the $\lambda$-integration are investigated. The fundamental theorem of $\lambda$-calculus is included. A suitable function basis for the…