Related papers: A Paley-Wiener Type Theorem for Singular Measures …
In this series of studies on Cauchy's function $f(z)$ ($z=x+iy$) and its integral $J[f(z)]\equiv (2\pi i)^{-1}\oint_C f(t)dt/(t-z)$ taken along a Jordan contour $C$, the aim is to investigate their comprehensive properties over the entire…
We show that for Lebesgue almost all $d$-tuples $(\theta_1,\ldots,\theta_d)$, with $|\theta_j|>1$, any self-affine measure for a homogeneous non-degenerate iterated function system $\{Ax+a_j\}_{j=1}^m$ in ${\mathbb R}^d$, where $A^{-1}$ is…
In this article, we show that Fourier eigenmeasures supported on spheres with radii given by a locally finite sequence, which we call $k$-spherical measures, correspond to Fourier series exhibiting a modular-type transformation behaviour…
Let $(X,\mathcal{B},\mu,T)$ be a measure preserving system. We say that a function $f\in L^2(X,\mu)$ is $\mu$-mean equicontinuous if for any $\epsilon>0$ there is $k\in \mathbb{N}$ and measurable sets ${A_1,A_2,\cdots,A_k}$ with…
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,…
Let $G$ be a non-discrete LCA group with the dual group $\Gamma$. We define generalized group algebra, ${\mathcal L}^1(G)$, and generalized measure algebra, ${\mathcal M}(G),$ on $G$ as generalizations of the group algebra $L^1(G)$ and the…
Let $n \in \mathbb{Z}_{\geq 3}$ be given. We prove Lebesgue-almost everywhere pointwise inversion formulae for the Siegel transforms in the geometry of numbers. These inversion formulae are quite general; for instance, they are valid for…
In this paper, we construct a class of random measures $\mu^{\mathbf{n}}$ by infinite convolutions. Given infinitely many admissible pairs $\{(N_{k}, B_{k})\}_{k=1}^{\infty}$ and a positive integral sequence…
We examine the problem of the Fourier transform mapping one weighted Lebesgue space into another, by studying necessary conditions and sufficient conditions which expose an underlying geometry. In the necessary conditions, this geometry is…
After Zagier proved that the traces of singular moduli $j(z)$ are Fourier coefficients of a weakly holomorphic modular form, various properties of the traces of the singular values of modular functions mostly on the full modular group…
We formalize some basic properties of Fourier series in the logic of ACL2(r), which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework…
One of the basic questions in harmonic analysis is to study the decay properties of the Fourier transform of measures or distributions supported on thin sets in $\mathbb{R}^n$. When the support is a smooth enough manifold, an almost…
Given two measurable spaces $H$ and $D$ with countably generated $\sigma$-algebras, a perfect prior probability measure $P_H$ on $H$ and a sampling distribution $S: H \rightarrow D$, there is a corresponding inference map $I: D \rightarrow…
We find sufficient conditions for a probability measure $\mu$ to satisfy an inequality of the type $$ \int_{\R^d} f^2 F\Bigl(\frac{f^2}{\int_{\R^d} f^2 d \mu} \Bigr) d \mu \le C \int_{\R^d} f^2 c^{*}\Bigl(\frac{|\nabla f|}{|f|} \Bigr) d \mu…
Let $S(z)$ be an absolutely convergent Dirichlet series with a bounded spectrum and only real zeros $a_n$, let $\mu$ be the sum of unit masses at points $a_n$. It is proven that the Fourier transform $\hat\mu$ in the sense of distributions…
We consider the space $A(\mathbb{T}^d)$ of absolutely convergent Fourier series on the torus $\mathbb{T}^d$. The norm on $A(\mathbb{T}^d)$ is naturally defined by $\|f\|_{A}=\|\widehat{f}\|_{l^1}$, where $\widehat{f}$ is the Fourier…
We prove $L^p$-bounds on the Fourier transform of measures $\mu$ supported on two dimensional surfaces. Our method allows to consider surfaces whose Gauss curvature vanishes on a one-dimensional submanifold. Under a certain non-degeneracy…
Suppose $\{f_1,...,f_m\}$ is a set of Lipschitz maps of $\mathbb{R}^d$. We form the iterated function system (IFS) by independently choosing the maps so that the map $f_i$ is chosen with probability $p_i$ ($\sum_{i=1}^m p_i=1$). We assume…
For a separable finite diffuse measure space $\mathcal{M}$ and an orthonormal basis $\{\varphi_n\}$ of $L^2(\mathcal{M})$ consisting of bounded functions $\varphi_n\in L^\infty(\mathcal{M})$, we find a measurable subset…
We study the Segal-Bargmann transform on $M(2).$ The range of this transform is characterized as a weighted Bergman space. In a similar fashion Poisson integrals are studied. Using a Gutzmer type formula we characterize the range as a class…