Related papers: A Coq Formalization of the Bochner integral
The Wigner function of quantum systems is an effective instrument to construct the approximate classical description of the systems for which the classical approximation is possible. During the last time, the Wigner function formalism is…
One can define Fourier multipliers on a Banach function space by using the direct and inverse Fourier transforms on $L^2(\mathbb{R}^n)$ or by using the direct Fourier transform on $S(\mathbb{R}^n)$ and the inverse one on $S'(\mathbb{R}^n)$.…
We study Lebesgue integration of sums of products of globally subanalytic functions and their logarithms, called constructible functions. Our first theorem states that the class of constructible functions is stable under integration. The…
Schwartz functions, or measures, are defined on any smooth semi-algebraic ("Nash") manifold, and are known to form a cosheaf for the semi-algebraic restricted topology. We extend this definition to smooth semi-algebraic stacks, which are…
A multidimensional generalization of the Bernstein class of functions and the properties of functions of the introduced class are examined. In particular, a new proof of the integral representation of Bernstein functions of many variables…
This paper explores some important aspects of the theory of rearrangement-invariant quasi-Banach function spaces. We focus on two main topics. Firstly, we prove an analogue of the Luxemburg representation theorem for rearrangement-invariant…
A function from Baire space to the natural numbers is called formally continuous if it is induced by a morphism between the corresponding formal spaces. We compare formal continuity to two other notions of continuity on Baire space working…
For positive integers d, r, and M, we consider the class of rational functions on real d-dimensional space whose denominators are products of at most r functions of the form 1+Q(x) where each Q is a quadratic form with eigenvalues bounded…
We introduce the concept of an $E$-valued function algebra, a type of Banach algebra that consist of continuous $E$-valued functions on some compact Hausdorff space, where $E$ is a Banach algebra. We present some basic results about such…
The space of Bloch functions on bounded symmetric domains is extended by considering Bloch functions $f$ on the unit ball $B_E$ of finite and infinite dimensional complex Banach spaces in two different ways: by extending the classical Bloch…
We define an integral, the distributional integral of functions of one real variable, that is more general than the Lebesgue and the Denjoy-Perron-Henstock-Kurzweil integrals, and which allows the integration of functions with…
Starting with an integrable unitary representation of a locally compact group and its associated voice transform, coorbit theory describes the construction and investigation of the so-called coorbit spaces. A coorbit space consists of…
We present a detailed and elementary construction of the real numbers from the rational numbers a la Bourbaki. The real numbers are defined to be the set of all minimal Cauchy filters in $\mathbb{Q}$ (where the Cauchy condition is defined…
In this manuscript, the author derived a definite integral involving the logarithmic function, function of powers and polynomials in terms of the Lerch function. A summary of the results is produced in the form of a table of definite…
The Mittag-Leffler function $E_{\alpha}$ being a natural generalization of the exponential function, an infinite-dimensional version of the fractional Poisson measure would have a characteristic functional \[ C_{\alpha}(\phi)…
Given a submodular capacity space, we prove the uniform convergence in capacity and also the uniform convergence in the Choquet-mean of order $p\ge1$ with a quantitative estimate, of the multivariate Bernstein polynomials associated to a…
The cosine transforms of functions on the unit sphere play an important role in convex geometry, the Banach space theory, stochastic geometry and other areas. Their higher-rank generalization to Grassmann manifolds represents an interesting…
The Cauchy-Schl\"omilch transformation states that for a function $f$ and $a, \, b > 0$, the integral of $f(x^{2})$ and $af((ax-bx^{-1})^{2}$ over the interval $[0, \infty)$ are the same. This elementary result is used to evaluate many…
The proofs of A. Villani on inclusion relations among classical Lebesgue spaces are dicussed. The techinque of using closed graph theorem, due to Villani, is applied to derive results on inclusion relations among some more additional…
We define analogues of higher derivatives for $F_q$-linear functions over the field of formal Laurent series with coefficients in $F_q$. This results in a formula for Taylor coefficients of a $F_q$-linear holomorphic function, a definition…