The tag has no wiki summary.

learn more… | top users | synonyms

30
votes
0answers
1k views

Fourier transform on the discrete cube

Notation: identify an element of $\{-1,1\}^n$ with the set $S \subseteq \{1, \ldots, n\}$ on which it takes the value $-1$. The following is an asymptotic question. "Close to one" means "more than ...
12
votes
0answers
1k views

Tanh version of a Fourier Transform?

I am trying to perform some computations in an environment where it is much easier to compute the hyperbolic tangent function (tanh) than cosines or sines. This prevents me from performing Fourier ...
11
votes
0answers
346 views

Correlation of Fourier transforms of characteristic functions

Let $A$ and $B$ ($A\subset B$) be subsets of a finite abelian group $G$. (For the sake of argument, you can take $G$ to be $\mathbb{Z}/p\mathbb{Z}$ for large $p$, say.) Write $1_S$ for the ...
9
votes
0answers
117 views

Decay rate of measures on Cantor set

I've read that Kahane and Salem show that if $\mu$ is any measure supported on the ternary Cantor set, then $\hat{\mu}(\xi) \not\to 0$ as $|\xi| \to \infty$, however I have been unable to find a ...
9
votes
0answers
451 views

Connections of results in Harmonic analysis in the theory of Transcendental Numbers

An entire function $f$ is said to be of exponential type if there exist constants $c$ and $k$ such that $|f(z)|\leq c e^{k |z|}$. A famous result of Polya says if $f$ is an entire function of ...
9
votes
0answers
520 views

Is the Fourier-Transform a bounded operator on Lorentz spaces L(2,q)?

It is well known that the Fourier transform $\mathcal{F}$ maps $L^1(\mathbb{R}^n)$ continuously into $L^\infty(\mathbb{R}^n)$ and $L^2(\mathbb{R}^n)$ continuously into $L^2(\mathbb{R}^n)$. Then, by ...
8
votes
0answers
177 views

Laplace Transform in the context of Gelfand/Pontryagin

Question: Do quasi-characters properly generalize the Laplace transform or decompose functions in some setting in a way similar to how characters generalize the Fourier transform and decompose $L^1$ ...
8
votes
0answers
228 views

Uncertainty principle in Entropy terms

Math Questions: Consider Hilbert space $L_2(\mathbb{R})$ with a standard norm $ ||\psi|| = ( \int_{\mathbb{R}}{ |\psi(t)|^2 dt } )^{1/2}, $ and Fourier transform $ (F\psi)(\xi) = ...
7
votes
0answers
242 views

Finding a dimension-free bound for a certain multiplier on Euclidean space

The following question is indirectly motivated by strong type maximal function estimates. Let $f\in L_{p}(\mathbb{R}^{n})$. For $\xi=(\xi_{1},\ldots,\xi_{n})\in\mathbb{R}^{n}$ define $m(\xi)$ so ...
6
votes
0answers
774 views

Questions on de Branges' work on the Riemann hypothesis

According to Wikipedia, Louis de Branges de Bourcia has obtained some notable results, such as a proof of the Bieberbach conjecture in 1985, which is now known as de Branges' theorem. Initially, his ...
6
votes
0answers
289 views

Basic examples of induction on scales arguments

An important ingredient in recent progress on Euclidean harmonic analysis has been that of "inductions on scales". A few examples are the papers of Wolff, Tao, and Bourgain and Guth. Here is a ...
6
votes
0answers
380 views

The log kernel and Bochner Theorem

I was wondering if it possible to find a measure $\eta$ on $\mathbb{R}$ such that $$ L(x):=\log\frac{1}{|x|}=\int e^{itx}\;d\eta(t) $$ for every $x\in [0,1/2]$. On a structural ground, this ...
6
votes
0answers
633 views

injectivity of Fourier transform: is there algebraic proof?

Let $L$ be the Banach algebra of $L^1$-functions from $\mathbb{R}$ to $\mathbb{C}$ with $L^1$-norm and convolution as algebra multiplication. Assume that we knew that the homomorphisms from $L$ to ...
6
votes
0answers
399 views

Phase perturbations in oscillatory integrals

I am interested in learning about quantitative refinements of the method of stationary phase which allow to treat small perturbations in the phase of an oscillatory integral (of the first kind, in ...
6
votes
0answers
175 views

How big is the Fourier transform of the log of a polynomial over the p-adic numbers

Let $f(z_1,\dots,z_n)$ be a polynomial with $p$-adic coefficients, and let $g(z):=log\lvert f(z) \rvert$. If $\xi$ is a complex character of $\mathbb{Z}_p^n$ there exists a number $v=v(\xi)$ such that ...
5
votes
0answers
72 views

Heuristic interpretation of the 'third index' for Besov and Triebel-Lizorkin spaces

For $p,q \in (0,\infty)$ and $s \in \mathbb{R}$, one can define certain function spaces, $B_s^{p,q}(\mathbb{R}^n)$ and $F_s^{p,q}(\mathbb{R}^n)$, the Besov and Triebel-Lizorkin spaces respectively. ...
5
votes
0answers
107 views

Fourier analysis for the discrete cube in CAT(0) spaces?

Is there a meaningful Fourier analysis of mappings from the discrete cube into CAT(0) spaces? Examples for what I have in mind: Fix a CAT(0) space $X$, a mapping $f:\{-1,1\}^n \to X$, and ...
5
votes
0answers
266 views

converse of Weyl criterion

Let $f∈L^1([0,1))$,suppose for all equi-distributed sequence $\{a_n\}^∞_{n=1}$ in $[0,1)$,we have $$\lim_{N\rightarrow \infty} \frac{1}{N}\sum_{k=1}^Nf(a_k)=\int_0^1f.$$ Do we have that $f$ is Riemann ...
5
votes
0answers
324 views

Fourier theory of characteristic functions

Here is a question which (up to some translation) I have been asked by an electrical engineer. Let $f:\mathbb{R}\to[0,1]$ be a smooth function with $f(x+1)=f(x)$. I would like to approximate $f$ in ...
5
votes
0answers
545 views

some questions about properties of harmonic measure

The original post The following argument appears in a paper of Nazarov (Lemma 1.2) "Local estimates for exponential polynomials and their applications to inequalities of the uncertainty principle ...
4
votes
0answers
79 views

Why is the density function of a sum of many iid random variables (i.e., the Gaussian) self-dual?

In the usual proof of the central limit theorem via characteristic functions, we note that if $X_1, \dots, X_n$ are independent and identically distributed, with probability density function $f(x)$, ...
4
votes
0answers
142 views

$f,g , |f|f, |g|g \in A(\mathbb R) \ \text{(Banach algebra)} \implies \left\|f|f|- g|g|\right\|\leq C \left \|f-g\right \|$?

Let $f\in L^{1}(\mathbb R)$ and it Fourier transform, $\hat{f} (y) : = \int _ {\mathbb R} f(x) e^{-2\pi i x\cdot y} dx ; y \in \mathbb R ;$ and consider Fourier algebra $$A(\mathbb R):= \{f\in ...
4
votes
0answers
88 views

Error of midpoint method for differentiable functions

Is it the case that for every differentiable function $f$ on $[0,1]$ (with finite one-sided derivatives at the endpoints), the midpoint method of estimating $\int_0^1 f(x) \: dx$ has error $o(1/n)$? ...
3
votes
0answers
102 views

Estimates of a bilinear oscillatory integral

Consider the operator $T_\lambda f(x)= \int_{\mathbb{R}^3}{\frac{\sin\lambda|x-y|}{|x-y|}\phi(x-y) f(y) dy}$, where $\phi\in C_0^{\infty}$, $\phi(x)=1$, when $|x|<1$ . My question is that do we ...
3
votes
0answers
117 views

Fourier transform and support of a distribution

Let $T \in \mathscr D'(\mathbb R^n)$ be a distribution, such that its Fourier transform $\widehat T$ is a real analytic function on $\mathbb R^n$ but it can't be continued to an entire function on ...
3
votes
0answers
162 views

Is the Fourier transform of $\frac{1}{\mu+|\xi|^{2\alpha}}$($\mu>0$) a bounded function?

Consider $m(\xi)=\frac{1}{\mu+|\xi|^{2\alpha}}$, where $\xi\in\mathbb{R}^n$, $\mu, \alpha>0$, I want to know that if $m(\xi)$ is a multiplier of $\mathcal{M_{1}^{\infty}}$,i.e., whether the ...
3
votes
0answers
196 views

Uniqueness theorems related to Hardy Uncertainty Principle

Uncertainty Principles state that a function and its Fourier transform cannot be simultaneously sharply localised. A well known result due to G.H.Hardy says that if $f(x)=O(e^{-\alpha^2|x|^2})$, ...
3
votes
0answers
195 views

The Dunkl intertwining operator $V_k$ on $C(\mathbb{R}^d)$

The Dunkl intertwinig operator $V_k$ on $C(\mathbb{R}^d)$ is defined by: $$V_k f(x)=\int_{\mathbb{R}^d}f(y)d\mu_x(y),$$ where $d\mu_x$ is a probability measure on $\mathbb{R}^d$ with support in the ...
3
votes
0answers
792 views

estimates of exponential polynomials

Let $ p(t) = \Sigma_{k=1}^n c_k e^{i \lambda_k t}$ be an exponential polynomial. In the paper "Local estimates for exponential polynomials and their applications to inequalities of the uncertainty ...
2
votes
0answers
104 views

seek another proof of a result in Fourier analysis

It was proved on page 26 of this note the following result: Let $\xi$ be an algebraic number that is not a root of unity, then there exists an $n_0\geq 0$ with the property that ...
2
votes
0answers
133 views

A decomposition of a representation via characters of a normal compact subgroup

This is connected to my question here. Let $K$ be a normal compact subgroup in a locally compact group $G$, $\widehat{K}$ the dual object for $K$, and $\mu_K$ the normed Haar measure on $K$ ...
2
votes
0answers
124 views

pointwise limit of uniformly bounded sequence in $A(\mathbb T)$ is again in $A(\mathbb T)$?

Let $\mathbb T$ be a circle group, and $\hat{f}(n)= \frac{1}{2\pi}\int_{0}^{2\pi} f(t) e^{-int} dt;$ $(n\in \mathbb Z, f\in L^{1} (\mathbb T)).$ Put $A(\mathbb T)= \{f\in C(\mathbb T): \hat{f}\in ...
2
votes
0answers
98 views

$f, \hat{f} \in L^{p}\cap L^{\infty} \implies f\in B(\mathbb R)$ (algebra of Fourier- Stieltjes transforms )?

For a bounded complex Borel measure $\mu$ on $\mathbb R$, we define, its Fourier-Stieltjes transform, $\hat{\mu}(y)= \int_{\mathbb R} e^{-2\pi ix\cdot y} d\mu(x); (y\in \mathbb R).$ Let $1\leq p \leq ...
2
votes
0answers
49 views

Random square submatrices of a Hadamard matrix

Question: For $N$ be a power of $2$, let $A$ be a random $d \times d$ submatrix of the $N \times N$ Hadamard matrix (the matrix of the Hadamard/Walsh-Fourier transform). What is the best known upper ...
2
votes
0answers
94 views

Positive Fourier coefficients for a function $f:\{+1,-1\}^n \to \mathbb R$

This is from my research in computer science where the Fourier transform over $GF(2)^n$ is a tool to study functions on the Boolean hypercube. For example, the majority function on 3 variables is ...
2
votes
0answers
63 views

riemann mapping theorem for skew-fields of quaternions and beyond

Is there any known generalization of the riemann mapping theorem over skew-fields of quaternions and beyond or at least a conjectured formulation of it? In a less focused way, how far does the main ...
2
votes
0answers
102 views

Quantifying the “flatness” of functions which are the Fourier transforms of positive functions

Short version of question: I'm trying to understand the extent to which a function is prevented from being "flat" as a result of being the Fourier transform of a positive function. That is, the extent ...
2
votes
0answers
78 views

Is Modulation space is close under absolute?

It is clear that, for $1\leq p \leq \infty$, $f\in L^{p}$ iff $| f| \in L^{p}.$ By the usual modulation space $M^{p, q}(\mathbb R^{d})$, $1\leq p, q \leq \infty, d\in \mathbb N $, we mean the ...
2
votes
0answers
53 views

Is there a Fourier transform for principal r-discrete groupoids?

I have been looking for an analog of the Fourier transform for groupoids coming from tilings (which are generally principal and r-discrete), however all the generalizations I have found assume that ...
2
votes
0answers
140 views

Fourier : from analyticity to exponential decay ; what prevents optimal decay ?

Hello everyone ! In Fourier Analysis, Self-Adjointness by Reed and Simon (Methods of Modern Mathematical Physics, Vol. 2), Theorem IX.14 tells us that (I'll take dimension 1 for simplicity) : if ...
2
votes
0answers
158 views

On a differential inequality

The question has probabilistic origins, but it would take too long to elaborate. $\newcommand{\ii}{\boldsymbol{i}}$ $\newcommand{\bR}{\mathbb{R}}$ $\newcommand{\eS}{\mathscr{S}}$ Fix a nonnegative ...
2
votes
0answers
328 views

How well can you approximate a function by a band-restricted function?

Say I have a compactly supported $C^1$ function $f:\mathbb{R} \to \mathbb{R}$. Let $R>0$. Let $\nu$ be some reasonable measure on $\mathbb{R}$ -- take, for instance, (a) $d\nu(t)=dt$ or (b) ...
2
votes
0answers
343 views

L^1-convergence of convolution exponential

Consider a differential equation \begin{eqnarray*} \frac{d}{d\tau}q^{\tau}\left(x\right)=Aq^{\tau}\left(x\right)+h\star q^{\tau}=Aq^{\tau}\left(x\right)+\int ...
2
votes
0answers
219 views

Continuous positive-definite function with prescribed support

Consider a (locally) compact Abelian group G and a compact neighborhood $C$ of the identity ($0$) of $G$. Is it possible to find a non-trivial (i.e., $\phi(0)\neq 0$) continuous, positive (with real ...
2
votes
0answers
78 views

Searching for inequalities relating a convolution-type integral of functions of modulus less than but close to one.

Suppose $f(x,y)$ and $g(x,y)$ are both measurable functions from $[0,1]\times[0,1]\to \mathbb{C}$ with $|f|,|g|<1$, and let $h(x,y)=\int_{0}^1 f(x,z)g(z,y) \ dz$. (So $|h(x,y)|<1$ also.) ...
2
votes
0answers
200 views

Continuous function sort

If you have a real-valued function f(x), positive, continuous and bounded on some interval, then what kind of transform would convert this to a monotonic function g(x) on that interval analogously to ...
2
votes
0answers
213 views

Unitary Representations and Integral formulas

While reading the appendix to 4th chapter of Iwaniec and Kowalski's analytic number theory I came upon a remark relating unitary representations and some integral transforms involving J-Bessel ...
2
votes
0answers
171 views

Spectral gap of tempered distributions

Hi, Let $\Lambda\subset\mathbb{R}$ be an infinite discrete set of finite density (for simplicity one may take the density equals 1) and $\delta_{\lambda}$ is a unit mass located at the point ...
2
votes
0answers
475 views

What square-summable sequences are “sinc-summable”?

$\operatorname{sinc} : \mathbb{R} \to \mathbb{R} \;\;$ is defined by $\;\; \operatorname{sinc}(x) \; = \; \begin{cases} 1 & \text{if }\:\;x=0 \\ \\ \frac{\operatorname{sin}(x)}x & \text{else} ...
2
votes
0answers
242 views

Pointwise bounds for Dirichlet kernel over truncated lattice

In 1 dimension, a "one-sided" Dirichlet kernel $D_N(x)=\sum_{k=0}^{k=N}e^{\frac{2\pi}{N}ikx}$ has its module sharply peaked around points corresponding, roughly, to the "dual lattice" ...