All Questions
Tagged with fourier-analysis fourier-transform
275 questions
1
vote
2
answers
2k
views
Fourier transform of a holomorphic function
Question: Is there a simple method for calculating the Fourier transform of a holomorphic complex function ${f{{\left({z}\right)}}}:\Omega\to{\mathbb{{{C}}}}$?
In order for my question to be well-...
2
votes
2
answers
1k
views
Decay estimate of Fourier transform of a compactly supported function
Assume $f(x), x \in \mathbb{R}$ is a function with a compact support such that its Fourier transform $\hat{f}(\xi)$ has a decay rate
$$\hat{f}(\xi) \lesssim \frac{1}{|\xi|^\gamma + 1}$$
for some $\...
3
votes
1
answer
305
views
What corresponds to the operation of taking traces in of the Fourier transformation on a finite group?
I have a question about the Fourier transfomation on a finite non-comutative group. I hope that it is a known fact in the Representation Theory but I cannot find it written explicitly in textbooks.
...
2
votes
0
answers
172
views
What are the necessary/sufficient conditions for a Fourier transform to have at least $k$ roots?
Let $f(x)$ be a symmetric function from $\mathbb{R}\to \mathbb{R}$, and $\hat f(k)$ be it's Fourier transform.
What are the necessary and sufficient conditions for $\hat f(k)$ to have at least $n$ ...
4
votes
1
answer
285
views
Vanishing of the product of a function and its own Fourier transform
I have found the following question to be surprisingly hard:
Is there a non-zero $f\in L^1(\mathbb R)$ or $f\in L^2(\mathbb R)$ such that
$$
f\cdot\hat f=0 \qquad \text{Lebesgue-almost everywhere},
$$
...
0
votes
1
answer
344
views
Variance of spectral density is related to the gradient of signal?
Define the frequency variance as:
$$ \sigma^2 = \int^\infty_{-\infty}\omega^2 P(\omega) d\omega$$
Where $P(\omega)$ is the spectral density function, which is the same as normalized power. Therefore,
$...
2
votes
1
answer
667
views
Does Bochner's Theorem apply to Fourier coefficients?
Let $f $ be a periodic function and denote by $c_n$, for $n \in \mathbb{N}$, its Fourier coefficients, i.e.
$$
c_n := \frac{1}{2\pi}\int_{-\pi}^{\pi}f(x)e^{inx}\ dx.
$$
It is well known that Bochner's ...
2
votes
1
answer
250
views
Can a Fourier transform be performed on irregularly sampled data with timestamps?
Normally, when I think of performing a Fourier transform, I imagine that my samples are spaced regularly in time (or space).
If I have a set of samples that are spaced irregularly, but have accurate ...
1
vote
0
answers
139
views
Converse to Hausdorff-Young (or Riesz-Thorin) for finite cyclic groups?
Let $v$ be a vector $v \in \mathbb{R}^p$, with non-negative entries and $p$ prime. The Hausdorff-Young inequality gives bounds of the form:
$$\|\mathcal{F}v\|_a \le C_{a,b} \|v\|_b$$
where the ...
3
votes
1
answer
2k
views
Deconvolution using the discrete Fourier transform
Summary: From discrete convolution theorem, it is understandable that we need 2N-1 point DFT of both sequences in order to avoid circular convolution. If we need to do deconvolution of a given ...
1
vote
1
answer
389
views
When are Fourier cosine coefficients convex?
In the question When are Fourier coefficients monotonic it was determined that, if a function $f$ is (the restriction to $[0,2\pi]$) of a completely monotone function, then its Fourier coefficients, ...
22
votes
2
answers
2k
views
When are Fourier coefficients monotonic?
Given some sufficiently smooth function $f$ what conditions would be sufficient for its Fourier coefficients, as defined by
$$
\hat{f}(n) := \int_{0}^{2\pi}\cos(nx)f(x)\ dx, \quad \text{for } n = 1,2,\...
0
votes
1
answer
294
views
Joint distribution of random Fourier coefficients
Consider choosing a Boolean function $f : \{0, 1\}^{n} \rightarrow \{-1, 1\}$ uniformly at random from the set of all Boolean functions and consider the random variable $\left(\hat f(z_{1}), \hat f(z_{...
1
vote
1
answer
439
views
Well-known conditions for the Fourier inversion formula
Let $f\in L^1(\mathbb{R})$.
One may easily check that
$$(*)~~~f', f''\in L^1(\mathbb{R})\Rightarrow \int_\mathbb{R}|\hat{f}| ~\text{is finite} \Rightarrow \int_\mathbb{R}\hat{f}(s)e^{2\pi is x}ds ~\...
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}\...
1
vote
1
answer
474
views
Convolution, Fourier transforms, and area preservation [closed]
Consider the convolution of two functions, f * g. And let us assume, for practicality, some example case where an integral of f or g can be interpreted as the "area under the curve" (or the ...
1
vote
0
answers
119
views
Integrable functions that may not satisfy the inversion Fourier formula
Let $f\in L^1(\mathbb{R})$. We define $\phi_f(x)=\int_{\mathbb{R}} \hat{f}(\zeta)e^{2\pi i\zeta x}d\zeta$ if the improper Riemann integral is finite otherwise, $\phi_f(x)=\infty$.
Does there exist ...
3
votes
2
answers
589
views
On the Fourier inversion formula
For a given function $f\in L^1(\mathbb{R})$, suppose that the
$$\check{f}(x)=\int_\mathbb{R} \hat{f}(\zeta)e^{2\pi i\zeta x}d\zeta$$
almost every where converges in $\mathbb{R}$. Then, can we say that
...
2
votes
2
answers
251
views
Two classic problems concerning Fourier transform of an integrable function
I am looking for the following questions:
(1) True or false? for every $p<q$, one may find a function $f\in L^1(\mathbb{R})$ such that $\hat{f}\in L^q (\mathbb{R})$ but $\hat{f}\notin L^p (\...
2
votes
0
answers
105
views
Fourier Transform diagonalizes time-invariant convolution operators [closed]
I got the following paragraph from the book "A wavelet tour of signal processing" chapter one, page 2.
The Fourier transform is everywhere in physics and mathematics because it diagonalizes ...
0
votes
1
answer
88
views
Integration against a certain Fourier transform
I asked the following question on mathstack but didn't receive any answers. I suspect that this question has a simple answer but I haven't thought about Fourier transforms in a while so am being ...
1
vote
0
answers
151
views
Fourier transforms exhibiting symmetries about their critical points
Upon looking at the graphs of various Fourier sine and cosine transforms (ones without Dirac deltas in their domain) I've noticed a pattern that is probably already known, but that I thought would be ...
0
votes
0
answers
129
views
Characterization of convolution operators via the Fourier transform
Let $\mathcal{L}$ be a linear and continuous operator from the space of tempered distributions $\mathcal{S}'(\mathbb{R})$ to itself. The Fourier transform of a tempered distribution $f$ is denoted by $...
2
votes
0
answers
127
views
Failure of Strichartz estimates for the wave equation: elaboration of a counter-example
One can read in Oh - Probabilistic perspectives in nonlinear dispersive PDEs (Proposition 64, p. 60) that there exists a function $F \in L^2_tL^{1}_x (\mathbb{R}_t\times \mathbb{R}^3_x)$ which is ...
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?
24
votes
3
answers
1k
views
Is there a 'certainty' principle?
Heisenberg's uncertainty principle is a restriction on which probability distributions can describe the position and momentum of a quantum particle.
In mathematical terms it says that if $\psi\in L^2$ ...
3
votes
1
answer
304
views
Existence of probability measure on the circle with given Fourier coefficients
We say that a Hermitian symmetric (i.e., $f_{-n} = f_n^*$ for any $n \in \mathbb{Z})$ sequence $(f_n)_{n\in \mathbb{Z}}$ is positive-definite if, for any $N \geq 0$ and any $z_0 , \ldots, z_N \in \...
3
votes
1
answer
763
views
2D Fourier transform of log function
I am studying the paper found here. Halfway in the paper (Equation 6), the inverse 2D Fourier transform of $1/(k_x^2+k_y^2)$ needs to be determined. Is is stated that this is straightforward, and that ...
3
votes
0
answers
309
views
The $2\pi$ factor in the Fourier transform and dimensional analysis
I have been thinking about the $2\pi$ factor in the various conventions of the Fourier transform. For example, I was looking for a way to justify the following:
$(*)$ If we define $\hat f(\xi) = \int ...
11
votes
0
answers
707
views
What is the asymptotics of the Fourier transform of $\exp(-x^4)$ for large wave numbers?
The Fourier transform of $\exp(-x^4)$ has an analytical expression, it's the difference of two generalized hypergeometric functions:
$\int d x \ e^{-x^4} e^{ikx} = 2 \ \Gamma(\frac{5}{4}) \ _0F_2(;\...
1
vote
0
answers
107
views
Comparison of two Fourier transforms
I am looking for $\delta>0$, such that
$$
\delta \int_{-\infty}^{\infty} \exp(its)
{ \Gamma\{2(it+1)/3\}\over \Gamma\{(it+1)/2\} }dt \le \\
\int_{-\infty}^{\infty} \exp(its)
{ \Gamma (it+1)\over \...
1
vote
0
answers
353
views
Eigenvalues of convolution matrices
Let $h: \mathbb{R}\to \mathbb{R}$ be a smooth function. Fix $0\leq s_1\leq \cdots \leq s_m\leq 1$ and $0\leq t_1\leq \cdots \leq t_n\leq 1$. Construct $A\in \mathbb{R}^{m\times n}$ by letting $A_{i,j}:...
12
votes
3
answers
2k
views
Looking for sufficient conditions for positive Fourier transforms
I am looking for some sufficient conditions for an even, continuous, nonnegative, non-increasing, non-convex function to be non-negative definite. In other words
$$
\int_0^\infty f(x)\cos(x\omega) \, ...
0
votes
0
answers
83
views
Flat function with a spectral gap
I am looking for a sequence of functions $f_n,n\geq 1$ in $L^2(\mathbb R)$ such that $f_n$ is equal to $1$ on $[-n,n]$ and $\hat{f_n}$ vanishes on $[-1,1]$.
Actually, I would also like $f_n$ to be $...
2
votes
1
answer
495
views
Fourier transform of a function of bounded variation
I know if $f\in L^2(\mathbb R)$ is two times continuously differentiable, then we must have that the Fourier transform is integrable. Is there any more relaxed condition than this? For example if $f$ ...
1
vote
0
answers
103
views
Integrability of Fourier transform of truncated fractional power
Is the Fourier transform of the function $f$ which agrees with $1_{[-1.1]}|x|^\alpha$ on $[-1,1]$ and then decays very fast to zero to become a compactly supported continuous function, is in $L^1(\...
1
vote
1
answer
487
views
Fourier Transform of an even function
Let $S^n$ be an $n$-dimentional unit sphere.
Consider $f: S^n \longrightarrow R_+$, where $f$ is an even continuous function.
Denote
$$
F(f):=\int_0^{\infty}\int_{S^n}f(y)g\left(\frac{|xy|}{t}\...
0
votes
0
answers
166
views
Parseval-Plancherel identity involving absolute value
Let $\hat{f}$ be the fourier transform of $f$.
By Parseval-Plancherel identity, for suitable $f,g$, we have
$$\left\|\hat{f}*\hat{h}\right\|_{L^2_{\xi}}^2=\left\|f\cdot h\right\|_{L^2_{x}}^2.$$
Let ...
2
votes
0
answers
91
views
(Dis)continuity of periodic functions with non-summable Fourier series
Let $f : [0,2 \pi)^d \rightarrow \mathbb{R}$ be a square-integrable periodic function in $L^2( [0,2 \pi)^d )$ with $d \geq 1$.
We assume moreover that the square-summable Fourier coefficients of $f$, ...
20
votes
1
answer
1k
views
Fourier transform of $f_a(x)= a^{-2}\exp(-|x|^a)$, $a \in (0,2)$, is decreasing in $a$
Can one show that Fourier transform of
$$ f_a(x) = a^{-2} \exp(-|x|^a), \qquad a \in (0,2)$$
is decreasing in $a$?
I have a solution for $a \in (0,1]$ which cannot be used for $a\in (1,2)$.
2
votes
0
answers
127
views
eigenvectors of a graph Laplacian VS Fourier basis
Could you please illustrate the following statement:
the eigenvectors of a
graph Laplacian behave similarly to a Fourier basis, motivating
the development of graph-based Fourier analysis theory.
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 ...
0
votes
0
answers
112
views
A close formula for a Fourier transform
I would like to calculate "explicitly" the following integral, which is a Fourier transform: let $\alpha>0$ be a parameter, for $x\in \mathbb R$, we define
$$
I(\alpha, x)=\int_\mathbb R \cos(xt) e^...
12
votes
1
answer
1k
views
Fourier transform on Minkowski space
Physicists Some people like to define the "Fourier transform" on Minkowski space as $\hat f(\xi) = \int e^{i \eta(x,\xi)} f(x) dx$, where $\eta(x,\xi)$ is the Minkowski form. I'm used to thinking of ...
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 ...
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 ...
1
vote
1
answer
158
views
Fourier transform for $H^2(\mathbb{R}^N)$, $N\geq 5$
How i can prove that if $u\in H^2(\mathbb{R}^N)$ then $u\in \mathcal{F}(L^{p^*}(\mathbb{R}^N))$, where $1/p+1/{p^*}=1,$ $2\leq p<2N/(N-4)$?
1
vote
0
answers
100
views
Which set of functions/measures has range $\mathrm{L}^\infty$ under Fourier transformation
I have a question concerning the Fourier transformation. What I know is that $\mathrm{L}^{\infty}=\{\hat{u}:\ u\in Y\}$ for some space $Y$. Now, I want to specify the space $Y$. The question is, is ...
4
votes
0
answers
140
views
Given $\theta$, find $f$ such that $\int_{\mathbb{T}} \text{e}^{i\theta} \cos(h \cdot f) = 0,$ for all $h \in \mathbb{N}$
Let $\theta$ be a $C^{\infty}$ (resp. analytic) real-valued function on $\mathbb{T}=[0,2\pi]/\{0,2\pi\}$.
When can one find $f \neq 0$, $C^{\infty}$ (resp. analytic) real-valued function on $\...
1
vote
0
answers
100
views
Expressing 1-e^{-z} as a Fourier integral
According to the theory of screw functions and screw lines by John Von Neumann and Issai Schoenberg (see here), any function $F:\mathbb{R} \rightarrow \mathbb{R}$ such that $F(|x_i - x_j|) = \|f(x_i)-...