Related papers: Liquid functional calculus
We develop the theory of locally analytic representations of compact $p$-adic Lie groups from the perspective of the theory of condensed mathematics of Clausen and Scholze. As an application, we generalise Lazard's isomorphisms between…
We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be faithfully encoded. Our calculus enjoys confluence without…
We define sound and adequate denotational and operational semantics for the stochastic lambda calculus. These two semantic approaches build on previous work that used similar techniques to reason about higher-order probabilistic programs,…
We consider a scalar-valued implicit function of many variables, and provide two closed formulae for all of its partial derivatives. One formula is based on products of partial derivatives of the defining function, the other one involves…
In this report, we consider extended real-valued functions on some real vector space. Gerstewitz functionals are used to construct all translative functions. We derive formulas for translative functions which are lower semicontinuous,…
The functional calculus for normal elements in $C^*$-algebras is an important tool of analysis. We consider polynomials $p(a,a^*)$ for elements $a$ with small self-commutator norm $\|[a,a^*]\| \le \delta$ and show that many properties of…
We restate the notion of orthogonal calculus in terms of model categories. This provides a cleaner set of results and makes the role of O(n)-equivariance clearer. Thus we develop model structures for the category of n-polynomial and…
In this work we provide a characterization of distinct type of (linear and non-linear) maps between Banach spaces in terms of the differentiability of certain class of Lipschitz functions. Our results are stated in an abstract bornological…
In this paper, a criterion for a sequence of composition operators defined on the space of holomorphic functions in a complex domain to be frequently hypercyclic is provided. Such criterion improves some already known special cases and, in…
Elliptic and parabolic integro-differential model problems are considered in the whole space. By verifying H\"ormander condition, the existence and uniqueness is proved in L_{p}-spaces of functions whose regularity is defined by a scalable,…
On any metric space, I provide an intrinsic characterization of those complex-valued functions which are uniform limits of Lipschitz functions. There are applications to function theory on complete Riemannian manifolds and, in particular,…
We continue our study of group algebras acting on $L^p$-spaces, particularly of algebras of $p$-pseudofunctions of locally compact groups. We focus on the functoriality properties of these objects. We show that $p$-pseudofunctions are…
This paper is a concise and painless introduction to the $\lambda$-calculus. This formalism was developed by Alonzo Church as a tool for studying the mathematical properties of effectively computable functions. The formalism became popular…
Explicit bases for the spaces of holomorphic cusp forms of all even positive weights and all orders are constructed. The dimensions of these spaces are computed.
We consider spaces for which there is a notion of harmonicity for complex valued functions defined on them. For instance, this is the case of Riemannian manifolds on one hand, and (metric) graphs on the other hand. We observe that it is…
We show that the existence of a strongly convex function with a Lipschitz derivative on a Banach space already implies that the space is isomorphic to a Hilbert space. Similarly, if both a function and its convex conjugate are $C^2$ then…
We review some of the exactly solvable one dimensional continuum fluid models of equilibrium classical statistical mechanics under the unified setting of functional integration in one dimension. We make some further developments and remarks…
Properties of the mappings \begin{align*} C&\mapsto\frac1{(2\pi i)^2}\int_{\Gamma_1}\int_{\Gamma_2}f(\lambda,\mu)\,R_{1,\,\lambda}\,C\, R_{2,\,\mu}\,d\mu\,d\lambda, C&\mapsto\frac1{2\pi i}\int_{\Gamma}g(\lambda)R_{1,\,\lambda}\,C\,…
This article summarises the theory of several bounded functional calculi for unbounded operators that have recently been discovered. The extend the Hille--Phillips calculus for (negative) generators $A$ of certain bounded $C_0$-semigroups,…
We prove bounds for the covering numbers of classes of convex functions and convex sets in Euclidean space. Previous results require the underlying convex functions or sets to be uniformly bounded. We relax this assumption and replace it…