Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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-...
Talmsmen's user avatar
  • 547
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 $\...
Jacob Lu's user avatar
  • 903
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. ...
Taras Banakh's user avatar
  • 41.9k
2 votes
0 answers
171 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$ ...
SarthakC's user avatar
  • 139
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}, $$ ...
B K's user avatar
  • 1,942
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, $...
CWC's user avatar
  • 433
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 ...
spaceman's user avatar
  • 595
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 ...
Rocketmagnet's user avatar
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 ...
DJA's user avatar
  • 435
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 ...
ACR's user avatar
  • 879
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, ...
spaceman's user avatar
  • 595
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,\...
spaceman's user avatar
  • 595
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_{...
RandomMatrices's user avatar
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 ~\...
ABB's user avatar
  • 4,058
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}\...
Tony419's user avatar
  • 421
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 ...
david's user avatar
  • 111
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 ...
ABB's user avatar
  • 4,058
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 ...
ABB's user avatar
  • 4,058
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 (\...
ABB's user avatar
  • 4,058
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 ...
ABB's user avatar
  • 4,058
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 ...
Zestylemonzi's user avatar
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 ...
John Clever's user avatar
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 $...
Goulifet's user avatar
  • 2,306
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 ...
J.Mayol's user avatar
  • 489
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?
ABB's user avatar
  • 4,058
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$ ...
Oscar Cunningham's user avatar
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 \...
Goulifet's user avatar
  • 2,306
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 ...
dff's user avatar
  • 230
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 ...
Alan C's user avatar
  • 613
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(;\...
Sara's user avatar
  • 111
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 \...
Vova's user avatar
  • 93
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}:...
Sina Baghal's user avatar
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) \, ...
Tanya Vladi's user avatar
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 $...
kaleidoscop's user avatar
  • 1,352
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$ ...
A beginner mathmatician's user avatar
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(\...
A beginner mathmatician's user avatar
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}\...
user124297's user avatar
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 ...
YT_learning_math's user avatar
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$, ...
Goulifet's user avatar
  • 2,306
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)$.
Tanya Vladi's user avatar
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.
ABB's user avatar
  • 4,058
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 ...
J.Mayol's user avatar
  • 489
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^...
Bazin's user avatar
  • 16.2k
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 ...
Tim Campion's user avatar
  • 63.9k
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 ...
Manlio's user avatar
  • 342
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 ...
alesia's user avatar
  • 2,772
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)$?
Pádua's user avatar
  • 69
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 ...
Thomas Hank Clayton's user avatar
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 $\...
Leonardo's user avatar
  • 405
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)-...
Timothy Chu's user avatar