Related papers: Formalizing Schwartz functions and tempered distri…
In this paper, we establish a demi-distributions theory which develops the usual distribution theory, in particular, we show that many conclusions as differentiations, Fourier transforms and convolutions can be generalized to the…
We introduce the directional short-time fractional Fourier transform (DSTFRFT) and prove an extended Parseval's identity and a reconstruction formula for it. We also investigate the continuity of both the directional short-time fractional…
This article presents a convenient approach to Fourier analysis for the investigation of functions and distributions defined in $\mathbb{T}^m \times \mathbb{R}^n$. Our approach involves the utilization of a mixed Fourier transform,…
Based on the properties of distributions and measures with discrete support, we investigate temperate almost periodic distributions on the Euclidean space and connection with their Fourier transforms. We also study relations between the…
Perfectoid spaces are sophisticated objects in arithmetic geometry introduced by Peter Scholze in 2012. We formalised enough definitions and theorems in topology, algebra and geometry to define perfectoid spaces in the Lean theorem prover.…
A description is given of the image of the Weil representation of the symplectic group in the Schwartz space and in the space of tempered distributions under the Gaussian integral transform. We also discuss the problem of infinite…
In this paper we define Schwartz families in tempered distribution spaces and prove many their properties. Schwartz families are the analogous of infinite dimensional matrices of separable Hilbert spaces, but for the Schwartz test function…
We analyze solvability of a special form of distributed order fractional differential equations within the space of tempered distributions supported by the positive half-line.
We present the construction of a theory of distributions (generalized functions) with a ``thick submanifold'', that is, a new theory of thick distributions on $\mathbb{R}^n$ whose domain contains a smooth submanifold on which the test…
The purpose of this paper is to characterize all the entire solutions of the homogeneous Helmholtz equation (solutions in $\mathbb{R}^d$) arising from the Fourier extension operator of distributions in Sobolev spaces of the sphere…
Since the turn of the century, there has been increased interest in the application of heavy-tailed distributions, particularly stable distributions, to problems in physics and finance. Although, the tails of stable distributions provide a…
The Fourier transform of a bounded measurable function, $f$, on the real line is shown to be the second distributional derivative of a H\"older continuous function. The Fourier transform is written as the difference of $\int_{-1}^1…
A new generalized function space in which all Gelfand-Shilov classes $S^{\prime 0}_\alpha$ ($\alpha>1$) of analytic functionals are embedded is introduced. This space of {\it ultrafunctionals} does not possess a natural nontrivial topology…
On a smooth algebraic variety over $\mathbb{C}$, we build the tempered subanalytic and Stein tempered subanalytic sites. We construct the sheaf of holomorphic functions tempered at infinity over these sites and study their relations with…
The prime aim of the present paper is to continue developing the theory of tempered fractional integrals and derivatives of a function with respect to another function. This theory combines the tempered fractional calculus with the…
We construct and investigate the properties of tempered ultradistribution spaces in Sobolev spaces. A new Sobolev space preserving the original properties and condition whose derivatives are linear continuous operators embedding in $L^p$…
This article is about the formalization of synthetic differential geometry with the Lean proof assistant and the mathematical library mathlib. The main result we prove and formalize is a Taylor theorem for functions of several variables,…
We introduce a complex q-Fourier transform as a generalization of the (real) one analyzed in [Milan J. Math. {\bf 76} (2008) 307]. By recourse to tempered ultradistributions we show that this complex plane-generalization overcomes all…
We appeal to a complex q-Fourier transform as a generalization of the (real) one analyzed in [Milan J. Math. {\bf 76} (2008) 307]. By recourse to tempered ultra-distributions we are able to show that the q-Gaussian distribution can be…
For each $f\!:\!\mathbb{R}\to\mathbb{C}$ that is Henstock--Kurzweil integrable on the real line, or is a distribution in the completion of the space of Henstock--Kurzweil integrable functions in the Alexiewicz norm, it is shown that the…