All Questions
Tagged with fourier-transform harmonic-analysis
84 questions
26
votes
2
answers
3k
views
Image of L^1 under the Fourier Transform
The Fourier Transform $\mathcal{F}:L^1(\mathbb{R})\to C_0(\mathbb{R})$ is an injective, bounded linear map that isn't onto. It is known (if I remember correctly) that the range isn't closed, but is ...
- 1,052
25
votes
3
answers
13k
views
Fourier transform of the unit sphere
The Fourier transform of the volume form of the (n-1)-sphere in $\mathbf R^n$ is given by the well-known formula
$$
\int_{S^{n-1}}e^{i\langle\mathbf a,\mathbf u\rangle}d\sigma(\mathbf u) = (2\pi)^{\nu ...
- 31.5k
23
votes
0
answers
1k
views
Laplace Transform in the context of Gelfand/Pontryagin
Questions:
Is there a class of objects (presumably related to locally compact abelian groups) for which the quasi-characters canonically generalize the Laplace transform?
If not, is there a ...
- 1,124
17
votes
2
answers
4k
views
Is this statement which relates the Fourier transform of a function to its singularities correct?
I am working on a problem, which would possibly relate the Fourier transform/series with the jump singularities of the function where the function itself or one of its derivatives jump. ((some kind of ...
- 698
11
votes
3
answers
1k
views
What is the intuition behind applying the Mellin Transform to prime distribution?
I am an undergraduate student writing an expository thesis on the complex-analytic proof of the Prime Number Theorem.
I understand that applying the Mellin Transform to the partial sum of the van ...
- 113
11
votes
1
answer
691
views
Reference request: Fourier transform on the multiplicative group of real numbers
Let us consider the three groups $(\mathbb{R},+)$, $(\mathbb{Z}/2\mathbb{Z},+)$ and $(\mathbb{R}^\times,\cdot)$ (where $\mathbb{R}^\times := \mathbb{R} \setminus \{0\}$). We endow $\mathbb{R}$ with ...
- 12.6k
10
votes
2
answers
6k
views
Fourier transform of compactly supported distribution is smooth
My advisor made the comment that if $u\in \mathcal{E}'$ is a compactly supported distribution, then $\hat{u}(\xi)\in C^{\infty}(\mathbb{R}^n)$ is actually a smooth function (not merely a distribution ...
- 377
9
votes
2
answers
628
views
How was Claim 5 in "A non-linear generalisation of the Loomis–Whitney inequality and applications" thought up?
In Bennett, Carbery and Wright's paper A non-linear generalisation of the Loomis–Whitney inequality and applications, Claim 5 was used to generalise the case from characteristic functions to simple ...
- 275
7
votes
1
answer
1k
views
Where does the Laplace transform come from?
The Gelfand transform on the commutative Banach *-algebra $L^1(\mathbb{R})$ is just the Fourier transform.
Q. What can we say concerning the Laplace transform?
- 4,058
7
votes
0
answers
389
views
Certain Fourier transforms involving Whittaker function and Bessel functions
I recently meet the following two weird "Fourier transform" questions.
(I), Suppose that $F$ is a $p$-adic field (the same question can be asked over any local field, including $\mathbb{R}$ ...
- 960
6
votes
1
answer
397
views
Absolute values of two functions and absolute values of their Fourier transform coincides
Let $f, g \in L^2(\mathbb{R})$.
Is it true that if both $|f|=|g|$ and $|\hat f|=|\hat g|$ hold, then there exists $\theta \in \mathbb{R}$ such that $f=ge^{i\theta}$?
I am not able to prove it or ...
- 489
6
votes
1
answer
419
views
Positive-definiteness of radial sinc function in three dimensions
In dimension one, it is well known that $\mathcal{F}\chi_{(-1,1)}=\frac{\sin{x}}{x}$. This implies, in particular, that $\frac{\sin{x}}{x}$ is a definite positive function. I wonder if a similar ...
- 943
6
votes
1
answer
343
views
Integral convolution equation $\int_{B_n(R) } e^{- \| x - t\|} d\nu(t) = e^{- \|x \|^2/2}$ on $x \in B_n(R)$. Find measure $\nu$
Let $B_n(R)$ denote the $n$ ball centered at zero with radius $R$. We are interested in the following integral equation: given $R>0$ and $\lambda>0$, let
\begin{align}
\int_{B_n(R)} e^{- \...
- 671
6
votes
1
answer
491
views
Harmonic analysis for a beginner
I am currently dealing with discrete Fourier transform and correlation technique to construct the spectrum of a broad band signal. It's already known that if I have enough observations of the signal, ...
- 159
6
votes
0
answers
203
views
Uniform estimates of Fourier transform of tempered functions with parameters
Consider the following function in $\mathbb{R}^3$:
$$
f_t(x)=(1+|x|^2)^{-\alpha}e^{-g(x)t},\,\,\,\,\, \text{where}\,\, g(x)=\frac{x^2_1\cdot x^2_2}{1+|x|^2},
$$
where $\frac{1}{2}<\alpha<1$, and ...
- 879
5
votes
1
answer
508
views
Recent progress restriction conjecture - Problem 2.7 (Terence Tao lecture notes)
I've been tackling the following problem for some time,
Problem 2.7. (a) Let $S:=\left\{(x, y) \in \mathbf{R}_{+} \times \mathbf{R}_{+}: x^2+y^2=1\right\}$ be a quarter-circle. Let $R \geq 1$, and ...
5
votes
0
answers
169
views
Fourier dimension of radial set
In his 1967 article "Sur un theoreme de R. Salem", Gatesoupe proved that if a set $A\subset [0,1]$ has Fourier dimension $\alpha$ then the set $\tilde A:=\{x\in \mathbb{R}^n: |x| \in A\}$ has Fourier ...
- 342
5
votes
0
answers
286
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 ...
- 1,051
4
votes
3
answers
334
views
Is there a compactly supported function that its Fourier transfrom vanishes at given n real points?
My question is as follows: Given ${{\lambda }_{1}},\,{{\lambda }_{2}},...,{{\lambda }_{n}}\in \mathbb{R}$ where $\underset{1\le j\le n-1}{\mathop{\min }}\,\left| {{\lambda }_{j+1}}-{{\lambda }_{j}} \...
- 141
4
votes
2
answers
549
views
A proof of Bernstein's inequality
I'm studying the Meyer's book, "Wavelets and operators", and I'm confused about a proof of Bernstein's inequality at page 47, which is stated below:
"The function $\frac{\xi^\beta}{|\xi|...
- 71
4
votes
1
answer
662
views
The decay of Fourier coefficients and the continuity of functions
Let $ f $ be a function on $ \mathbb{T}=[0,1] $ ($ 1 $-periodic) with bounded variation. Prove that if $ \widehat{f}(k)=\int_0^1f(x)e^{-2\pi ikx}dx=o(1/|k|) $, then $ f\in C(\mathbb{T}) $. I do not ...
- 1,219
4
votes
1
answer
783
views
Fourier transform derivation from Laurent series
Using Laurent Series of a function $f(z)$ around a point $a \in \mathbb{C}$
$$f(z) = \sum^{\infty}_{n=-\infty} c_n(z-a)^n \ \ \ \ (1)$$
where
$$c_n = \frac{1} {2\pi i}\int\limits_{\gamma}\frac {f(z)} {...
- 51
3
votes
2
answers
1k
views
Are the zeroes of the Fourier Transform of compactly supported functions isolated?
I have a continuous function $f$ on a locally compact Abelian group $G$ with compact support, and I would like to say that the zeroes of $f$ are sparse in some sense (isolated would be good, uniformly ...
- 2,071
3
votes
1
answer
328
views
Large Fourier submatrices with small operator norm
Consider a finite abelian group $G$ (I'm mostly interested in $\mathbb{Z}_2^n$).
For two subsets $A$ and $B$ of $G$, one can form a submatrix of the Fourier transform matrix on $G$ by keeping only ...
- 2,772
3
votes
2
answers
1k
views
Composition of Riesz potentials
For $0<\alpha<n$ and $n\geq 2$ we define the Riesz potential by
$$
(I_\alpha f)(x) = \frac{1}{\gamma(\alpha)}
\int_{\mathbb{R}^n} \frac{f(y)}{|x-y|^{n-\alpha}}\, dy\, ,
\quad
\text{where}
\quad
\...
- 28k
3
votes
1
answer
404
views
The sign of the tail of Fourier transform of a positive function/ characteristic function
I am interested in a specific density (positive function) and would like to prove that the tail of its characteristic function (Fourier transform) is positive ($>0$). Here is the density $f(x)=c_\...
- 178
3
votes
2
answers
196
views
Inverse Fourier of $\omega^{-1+{\rm i}\alpha} u(\omega-1)$
Let $\alpha$ be an arbitrary real number and define
\begin{align}
\widehat{f}(\omega)=\left\{\begin{array}{ll}
\omega^{-1+{\rm i}\alpha}, & \omega>1,\\
0, & \textrm{otherwise}.
\end{array}
\...
- 31
3
votes
1
answer
518
views
Connection between the Fourier transform of f and |f|
If $f\in L^p(R)$ with $1\leq p\leq 2$, then Hausdorff-Young inequality implies that the Fourier transform $\widehat{f}\in L^{p'}$, $p'$ is the dual exponent of $p$, and
$$
\|\widehat{f}\|_{L^{p'}}\...
- 425
3
votes
2
answers
413
views
A Sobolev embedding theorem for functions on spheres
$L^2(\mathbb{S}^{d-1})$ is embedded in $H^{-s}(\mathbb{R}^d)$ with $s>\frac{1}{2}$, which means for $f\in L^2(\mathbb{S}^{d-1})$, the following holds:
$$\DeclareMathOperator{\Dm}{\operatorname{d}\!}...
- 351
3
votes
1
answer
262
views
Low/high-frequency estimates in $\mathrm{L}^\infty$ for Lipschitz nonlinearities
Let $f \colon \mathbb{R} \to \mathbb{R}$ be a Lipschitz nonlinearity with $f(0) = 0$ and suppose $u \in \textrm{H}^s(\mathbb{R}) \cap \textrm{L}^\infty(\mathbb{R})$ for some $s \in [0, \tfrac{1}{2}]$. ...
- 63
3
votes
0
answers
75
views
Non-vanishing of a "push-forward" Fourier–Harish-Chandra transform on a compact set
Let $G \subset \operatorname{GL}_d(\mathbb{R})$ be a non-compact semi-simple Lie group and $K \subset G$ a maximal compact subgroup. Let $\mathfrak{g}$ (resp. $\mathfrak{k}$) be the Lie algebra of $G$ ...
- 81
3
votes
0
answers
308
views
Question on estimate in one of Jean Bourgain's 1992 papers
The paper in question is A Remark on Schrodinger Operators.
The goal of the argument is to estimate the following integral:
$$K_1(x,y)=\int_{\mathbb{R}^2} e^{i(x-y)\cdot\xi+i(t(x)-t(y))|\xi|^2}\...
- 860
3
votes
0
answers
162
views
The essential norm where some Fourier coefficients are fixed
Let us denote $C_{2\pi}$ by the set of all $2\pi$-periodic continuous functions $f:\mathbb{R}\to \mathbb{R}$.
Q. Let $\phi\in C_{2\pi}$. Is the following statement valid?
$$\|\phi\|_2=\inf_{g\in C_{2\...
- 4,058
3
votes
0
answers
269
views
Finding (and saturating) a sharp Babenko-Beckner inequality for finite fields
My question is a follow-up to Abdelmalek Abdesselam's recent post
What makes Gaussian distributions special? Local field version?
asking about various characterizations of (real-valued) Gaussian ...
- 2,137
3
votes
0
answers
79
views
Condition on a function to have a Fourier transform in $L^{2-\varepsilon}$
It is known that in general the Fourier transform of $L^p(\mathbb{R})$ functions for $p>2$ are not even function. However, for regular enough functions, the regularitytransfers into decay for $\hat ...
- 489
3
votes
0
answers
214
views
Is flatness of Wigner Ville Distribution of error function in Fourier Approximation possible? Is it required?
For a real valued function $f(t)$ I want to check the information left, after taking a Fourier partial sum/integral. Let $\hat{f}$ be its Fourier transform and let $$e_{\omega}(t) = f(t) - \int\...
- 698
3
votes
0
answers
651
views
Decay of the Fourier transform of a surface area measure
Let $\mu$ be a surface area measure of a manifold $M\hookrightarrow\mathbb{R}^{n+1}$. If $M$ is the unit sphere $S^n$, it's known that surprisingly the Fourier transform of $\mu$ decays: $$|\hat\mu(\...
- 43
2
votes
2
answers
331
views
Estimate for a simple oscillatory integral
If $\varphi$ is a smooth function on $\mathbb{R}$, then integration by parts implies that there exists a constant $C>0$ such that
$$
\Big|\int_0^1 \varphi(x)\, e^{i \lambda x}\, dx\Big|<\frac{C}\...
- 421
2
votes
1
answer
168
views
Any references for generalised square functions?
In harmonic analysis, there is a big chunk of literature studying the square function $Sf=\|\{P_jf\}_{j=1}^\infty\|_{l^2}$, where $P_jf=(\psi_j\hat f)\check{}$ and $\{\psi_j\}$ is a partition of unity,...
- 275
2
votes
2
answers
916
views
Decay of the Fourier transform of a non-differentiable function
It is well known that if $\varphi$ is a Schwartz function on $\mathbb{R}$ (i.e. smooth and decaying at infinity faster than polynomials), then its Fourier transform decays faster than polynomials. ...
- 421
2
votes
1
answer
190
views
Half Poisson summation
Suppose $f$ is a Schwartz function on $\mathbb{R}$. Is there a closed formula for $$\sum_0^\infty \hat{f}(n)$$ where $\hat{f}$ is the $n$-th Fourier coefficient of $f$?
- 587
2
votes
1
answer
254
views
Fourier transforms of homogeneous functions [closed]
Compute Fourier transforms of homogeneous functions of the form,
$$
\frac{1}{|x|^{n+d}}P_d(x)
$$
where $P_d$ is a homogenous harmonic polynomial of degree $d$ in $n+1$ variables.
- 343
2
votes
1
answer
198
views
$|\hat\mu(\xi)| \lesssim |\xi|^{-1/2}$ where $\mu$ is $f\mapsto \int_{\mathbb R} \psi(r) \int_{S^{1}} f(rx,r)\, d\sigma(x)\, dr $
I have questions about the proof of Theorem $2.1$ here. The proof is on Pg. $10$. I am trying to work out the $d = 2$ case in particular.
$$\mathcal C^d = \{(x_1, \ldots, x_{d+1}): |(x_1, \ldots, x_d)|...
- 165
2
votes
0
answers
80
views
Prove uniqueness of Radon transform without using Fourier transform
The uniqueness of Radon transform can be expressed by the following claim (I assumed that the function has compact support for simplicity):
If a continuous function with compact support has zero ...
- 807
2
votes
0
answers
149
views
An oscillatory integral
Let $s>0, v\in \mathbb{R}^d, w\in \mathbb{R}, |w|\leq 1$. Pick a cut-off function $B(0,1)\prec \eta \prec B(0,2)$ and a large real number $N$. Do we have the following type of estimates?
\begin{...
- 351
2
votes
0
answers
191
views
Convergence in $S'(\mathbb R^d)$ of the paraproduct $\dot{T}_uv$
Let $B = B(0,4/3)$, $C = \{x \in \mathbb R^d : 3/4 \leq \|x\|_2 \leq 8/3\}$ and $\tilde{C} = \{x \in \mathbb R^d : 1/12 \leq \|x\|_2 \leq 10/3\}$.
For a fixed Littlewood-Paley decomposition $\chi \in \...
- 233
2
votes
0
answers
143
views
Need to show bounded behavior of a particular Fourier transform
First let me be briefly state the relevant information to my problem:
$\beta(s) \in C_0^{\infty}([-1,1])$, and $\beta \equiv 1$ around $s=0$. The $\beta$ I'm using is an even function, but it doesn't ...
- 377
2
votes
0
answers
215
views
Generalization of Pitt's theorem
Pitt's theorem (Pitt 1937), states that the one-dimensional Fourier tranform is well defined and continuous between the weighted spaces $L^p(\mathbb{R},|x|^{bp}dx)$ and $L^q(\mathbb{R},|x|^{\beta q}dx)...
- 943
2
votes
0
answers
120
views
request for any expository works in pointwise convergence of double Fourier series and especially a paper by Hardy
Quart. J. Math. Volume 37, Issue 1, Pages 53-79
On double Fourier series, and especially those which represent the double zeta-function with real and incommensurable parameters.
Hardy, G.H.
I am not ...
- 698
1
vote
1
answer
460
views
Fourier transform either changes sign infinitely often far out or is continuous at $x=0$
I am reading a book "Fourier Series and Integrals" by Dym & McKean.
There is an exercise (Page 106):
Exercise: Check that if $f$ is a real, even, summable function and
if $f(0+)$ and $f(0-)$...
- 371