Related papers: Formalizing Schwartz functions and tempered distri…

The final goal of the present work is to extend the Fourier transform on the Heisenberg group $\H^d,$ to tempered distributions. As in the Euclidean setting, the strategy is to first show that the Fourier transform is an isomorphism on the…

These brief lecture notes are intended mainly for undergraduate students in engineering or physics or mathematics who have met or will soon be meeting the Dirac delta function and some other objects related to it. These students might have…

We introduce and study the notions of translation bounded tempered distributions, and autocorrelation for a tempered distrubution. We further introduce the spaces of weakly, strongly and null weakly almost periodic tempered distributions…

We define the spaces of Schwartz functions, tempered functions and tempered distributions on manifolds definable in polynomially bounded o-minimal structures. We show that all the classical properties that these spaces have in the Nash…

We define Schwartz functions, tempered functions and tempered distributions on (possibly singular) real algebraic varieties. We prove that all classical properties of these spaces, defined previously on affine spaces and on Nash manifolds,…

We first construct a space $\mathcal{W}\left( \mathbb{R}_{\text{c}} ^{n}\right) $ whose elements are test functions defined in $\mathbb{R} _{\text{c}}^{n}=\mathbb{R}^{n}\cup\left\{ \mathbf{\infty}\right\} ,$ the one point compactification…

In this work we introduce a new algebra of tempered generalized functions. The tempered distributions are embedded in this algebra via their Hermite expansions. The Fourier transform is naturally extended to this algebra in such a way that…

We give a rigorous derivation of the Fourier transform of the Heaviside function within a framework for tempered distributions that is suitable for undergraduate engineering and mathematics students. The proofs rely on fundamental concepts…

In this paper, we study the class of tempered distributions whose Fourier transform is a translation bounded measure and show that each such distribution in $\mathbb{R}^d$ has order at most $2d$. We show the existence of the generalized…

The images of Hermite and Laguerre Sobolev spaces under the Hermite and special Hermite semigroups (respectively) are characterised. These are used to characterise the Schwartz class of rapidly decreasing functions. The image of the space…

We extend the functional analytic approach to Colombeau-type spaces of nonlinear generalized functions in order to study algebras of tempered generalized functions. We obtain a definition of Fourier transform of nonlinear generalized…

We investigate properties of tempered distributions with discrete or countable supports such that their Fourier transforms are distributions with discrete or countable supports as well. We find sufficient conditions for support of the…

Semilinear maps are a generalization of linear maps between vector spaces where we allow the scalar action to be twisted by a ring homomorphism such as complex conjugation. In particular, this generalization unifies the concepts of linear…

We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…

We study Fourier integral operators with Shubin amplitudes and quadratic phase functions associated to twisted graph Lagrangians with respect to symplectic matrices. We factorize such an operator as the composition of a Weyl…

In the present article, the author uses Fourier theory of tempered distributions (generalized functions) in deriving a formula for Dirichlet-like integrals. The applied method is remarkably efficient and allows a solution in a few…

We connect through the Fourier transform shift-invariant Sobolev type spaces $V_s\subset H^s$, $s\in\mathbb R,$ and the spaces of periodic distributions and analyze the properties of elements in such spaces with respect to the product. If…

We continue the study of the Hrushovski-Kazhdan integration theory and consider exponential integrals. The Grothendieck ring is enlarged via a tautological additive character and hence can receive such integrals. We then define the Fourier…

We discuss bilinear estimates of tempered distributions in the Fourier restriction spaces for the two-dimensional Sch\"odinger equation whose principal part is the d'Alembertian. We prove that the bilinear estimates hold if and only if the…

The twisted product of functions on $R^{2N}$ is extended to a $*$-algebra of tempered distributions which contains the rapidly decreasing smooth functions, the distributions of compact support, and all polynomials, and moreover is invariant…