Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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
1 vote
1 answer
192 views

Improving the intuition for the 2d fourier transform [closed]

As far as I understand, the 2d fourier transform is calculated as following: ...
dmmpie's user avatar
  • 111
4 votes
1 answer
325 views

Fourier-positivity of a certain function

I am wondering how to prove the below Fourier transform is non-negative? I did much simulation and it seems to be non-negative. $$\int_0^\inf (be^{-at^p}-ae^{-bt^p})\cos(tx)dt, 0<a<b, \frac{1}{2}...
nerdl's user avatar
  • 61
8 votes
2 answers
613 views

Pairs of elementary Fourier transforms in $L^2$

It is customary to teach Fourier transform on the real line by starting with functions from $L^1$, $L^2$ or the Schwartz space. It is not so easy to illustrate the theory by computing explicit pairs ...
coudy's user avatar
  • 18.7k
4 votes
0 answers
188 views

Branch cuts, inverse Fourier transform and large time asymptotics

Let the Fourier transform of $f(t)$ be defined as $F(\omega) = \int_{-\infty}^\infty dt f(t) e^{i\omega t}$ for values of $\omega$ where the integral exists. What are the precise conditions on $F(\...
Fetchinson0234's user avatar
0 votes
1 answer
334 views

Fourier transform of a Radon measure [closed]

Let $\mu$ be a Radon measure on $\mathbb R^d$ with finite total mass: I guess that it is a tempered distribution on $\mathbb R^d$ and thus one may consider its Fourier transform. Now I guess that its ...
Bazin's user avatar
  • 16.2k
4 votes
2 answers
692 views

Hörmander-Mikhlin theorem on the torus

Let me first recall a particular case of the classical Hörmander-Mikhlin multiplier theorem: Let $m$ be a bounded function on $\mathbb {R} ^{n}$ which is smooth except possibly at the origin, and ...
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
41 votes
6 answers
87k views

Fourier vs Laplace transforms

In solving a linear system, when would I use a Fourier transform versus a Laplace transform? I am not a mathematician, so the little intuition I have tells me that it could be related to the boundary ...
pirata's user avatar
  • 411
1 vote
1 answer
197 views

Probability of two Boolean functions being equal expressed in terms of the maximum Fourier coefficient

This paper by Maslov et al. uses that the probability of two $n$-bit Boolean functions $l(x)$ and $g(x)$ being equal is bound in terms of $\hat{g}_\text{max}$, the largest Fourier coefficient of $g(x)$...
Sebastian's user avatar
3 votes
0 answers
204 views

The inversion formula for the square root of a positive function

Let $f\in L^1(\mathbb{R})$. Suppose that $\hat{f}$, the Fourier transform of $f$, is a positive function in $C_0(\mathbb{R})$. Does there exists any function $g\in L^1(\mathbb{R})$ with $|\hat{g}|^2=\...
ABB's user avatar
  • 4,058
2 votes
1 answer
669 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
173 views

Fourier transform of inverse of determinant of 1+ skew-symmetric matrix

I have asked the following question in math stackexchange(https://math.stackexchange.com/questions/4389626/fourier-transform-of-inverse-of-determinant-of-1-skew-symmetric-matrix), but did not receive ...
Zhan's user avatar
  • 63
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
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
1 vote
0 answers
213 views

How to prove the Fourier transform of $e^{-x^p}$ is positive [duplicate]

I wonder how to prove that $$\int_0^\infty\exp(-x^p)\cos(tx)\,dt\geq 0, \quad \frac{1}{2}<p<1.$$ This conclusion is used in the answer to another question here Looking for sufficient conditions ...
nerdl's user avatar
  • 61
18 votes
3 answers
7k views

Eigenvectors of the Fourier transformation

The Fourier transform $\hat u$ is defined on the Schwartz space $\mathscr S(\mathbb R^n)$ by $ \hat u(\xi)=\int e^{-2iπ x\cdot \xi} u(x) dx. $ It is an isomorphism of $\mathscr S(\mathbb R^n)$ and the ...
Bazin's user avatar
  • 16.2k
0 votes
1 answer
273 views

Fourier transform of measures on $\mathbb{T}$

I'm currently working with Fourier transforms of measures on the $\mathbb{T}^n$ (more specifically in dimension two), i.e. $$ \hat{\mu}(k) = \int_{\mathbb{T}^n} e^{i k \cdot x} d\mu(x) $$ or something ...
spaceman's user avatar
  • 595
2 votes
2 answers
333 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
390 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
0 votes
0 answers
326 views

Precise decay of density through Fourier transform

Suppose $f(x)$ is a probability density on $\mathbb{R}$. Let $\varphi(t)=\int e^{itx}f(x)dx$ denote the Fourier transform (characteristic function). It is well-known that if $\int |x|^p f(x)dx<\...
Uchiha's user avatar
  • 87
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
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
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
3 answers
307 views

Fourier transform of a generalized function on the plane

Is there an explicit formula for the Fourier transform of the generalized function of 2 variables $$\frac{1}{x+y^2+i0}?$$ Remark. Equivalent question: consider the Schroedinger equation one the ...
asv's user avatar
  • 21.8k
3 votes
0 answers
320 views

Does convolution by a Schwartz function preserve symbol classes?

I am working on a problem involving pseudodifferential operators, and I need a property of the operator "convolution by a Schwartz function". I apologize in advance if the question is ...
Ervin's user avatar
  • 395
1 vote
0 answers
245 views

On $L^2$ spaces which have an orthogonal basis of characters (complex exponentials)

Suppose $\Omega \subset \mathbb{R}^n$. What conditions on $\Omega$ make it so there exists a countable set $\Lambda$ such that $\{e^{2\pi i\lambda t} \}_{\lambda \in \Lambda}$ form an orthogonal basis ...
Dionel Jaime'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
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
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
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
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}]$. ...
F. H.'s user avatar
  • 63
1 vote
0 answers
79 views

A problem arising from Wiener-Levy theorem on the real line

Theorem (Wiener-Levy). Let $A(\mathbb{T})$ be the Fourier-algebra on the unit circle $\mathbb{T}$. Let $f$ be in $A(\mathbb{T})$ and suppose that $F$ is an analytic function on the range of $f$. Then $...
ABB's user avatar
  • 4,058
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 ...
Francis Adams's user avatar
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
11 votes
0 answers
709 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
12 votes
2 answers
2k views

Function and Fourier transform vanish on an interval

I'm no expert on these things (and this may not be cutting edge research level; it's really motivated by this MSE question), but it seems that there are non-zero measures (and also functions (?), I ...
Christian Remling's user avatar
4 votes
2 answers
1k views

Characterizations of Wiener algebra

The Wiener algebra $\mathcal W$ is defined as $\text{Fourier}(L^1(\mathbb R))$, i.e. the image by the Fourier transform of $L^1(\mathbb R)$. Riemann-Lebesgue's lemma ensures that $$ \mathcal W\subset ...
Bazin's user avatar
  • 16.2k
15 votes
2 answers
1k views

Is there a $C_c^{\infty}( \mathbb{R}^d)$ function whose Fourier transform we can explicitly write down?

I noticed that although $C_c^{\infty}$-functions are dense in some quite large spaces and well understood (especially their Fourier transform) I have never encountered an explicit example of a ...
Jonathan's user avatar
  • 181
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
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
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
1 vote
0 answers
62 views

Stable deconvolution of a band-limited function from its convolution with a Gaussian

Suppose that $f : \mathbb R \to \mathbb C$ is a band-limited function, i.e. its Fourier transform $\hat f$ has support in a compact interval $[-a,a]$. Let $\phi(t) = e^{-\frac{t^2}{2\sigma^2}}$ be a ...
J. Swail's user avatar
  • 437
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
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$ ...
SarthakC's user avatar
  • 139
12 votes
1 answer
562 views

Fast convolution of sparse functions

Let $F:\mathbb{R}\to \mathbb{Z}$ be a step function with at most $k$ discontinuities, at given rationals $a_1<a_2<\dotsc<a_k$. Let $g:\mathbb{R}\to \mathbb{Z}$ be given as a linear ...
H A Helfgott's user avatar
  • 20.2k
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
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
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-)$...
Hheepp's user avatar
  • 371