Related papers: Minimal equations and values of generalized lambda…
We present a simplified integral of functions of several variables. Although less general than the Riemann integral, most functions of practical interest are still integrable. On the other hand, the basic integral theorems can be obtained…
Generalizations of some known results on the best, best linear and best one-sided approxima- tions by trigonometric polynomials of the classes of 2\pi - periodic functions presented in the form of convolutions to the case of set-valued…
We consider generalised Mehler semigroups and, assuming the existence of an associated invariant measure $\sigma$, we prove functional integral inequalities with respect to $\sigma$, such as logarithmic Sobolev and Poincar\'{e} type.…
We study nominal anti-unification, which is concerned with computing least general generalizations for given terms-in-context. In general, the problem does not have a least general solution, but if the set of atoms permitted in…
We investigate a class of nominal algebraic Henkin-style models for the simply typed lambda-calculus in which variables map to names in the denotation and lambda-abstraction maps to a (non-functional) name-abstraction operation. The…
Field-theoretic construction of functional representations of solutions of stochastic differential equations and master equations is reviewed. A generic expression for the generating function of Green functions of stochastic systems is put…
Results involving various mean value properties are reviewed for harmonic, biharmonic and metaharmonic functions. It is also considered how the standard mean value property can be weakened to imply harmonicity and belonging to other classes…
The basis of this work is a simple, extended corollary of Wilson's theorem. This corollary generates many more quotients than those already generated by Wilson's theorem, and it was of interest to derive how they relate to each other and…
Ultrafunctions are a particular class of generalized functions defined on a hyperreal field $\mathbb{R}^{*}\supset\mathbb{R}$ that allow to solve variational problems with no classical solutions. We recall the construction of ultrafunctions…
We revisit the notion of parametrization invariance while introducing certain weakened notions of invariance in the calculus of variations. In this work, we employ a straightforward approach in the classical setting and mostly restrict…
We present an extension of the classical theory of calculus of variations to generalized functions. The framework is the category of generalized smooth functions, which includes Schwartz distributions while sharing many nonlinear properties…
In a recent important paper, Hoffstein and Hulse generalized the notion of Rankin-Selberg convolution $L$-functions by defining shifted convolution $L$-functions. We investigate symmetrized versions of their functions. Under certain mild…
Generalized metrics, arising from Lawvere's view of metric spaces as enriched categories, have been widely applied in denotational semantics as a way to measure to which extent two programs behave in a similar, although non equivalent, way.…
We describe the computation of generalized Green functions and 2-parameter Green functions for finite reductive groups.
Lambda calculus is the basis of functional programming and higher order proof assistants. However, little is known about combinatorial properties of lambda terms, in particular, about their asymptotic distribution and random generation.…
We study the graded limits of minimal affinizations over a quantum loop algebra of type D in the regular case. We show that the graded limits are isomorphic to multiple generalizations of Demazure modules, and also give their defining…
A general theory of vector-valued modular functions, holomorphic in the upper half-plane, is presented for finite dimensional representations of the modular group. This also provides a description of vector-valued modular forms of arbitrary…
Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matter, we study linear Hopf monads. The main goal is a generalization of extension and gauging group symmetries to category…
In this note, we prove multiplicity one theorems for generalized modular functions (GMF), in terms of their q-exponents, and make a general statement about the nature of values that the prime q-exponents of a GMF can take. We shall also…
We introduce a family of regularized functionals $g_n(x)$ that generalize the Euler--Mascheroni constant $\gamma$. They arise from a weighted regularization of Clausen-type trigonometric sums, and admit explicit integral representations,…