All Questions
Tagged with fourier-transform fourier-analysis
275 questions
5
votes
1
answer
2k
views
Injectivity of the Fourier transform on $L^1$ without inversion
Is there a proof of the injectivity of the Fourier transform on $L^1({\bf R})$ that does not rely on an inversion formula?
The proofs I have seen in the literature ultimately rely either on the ...
- 18.7k
5
votes
0
answers
194
views
When does the Fourier transform of a measure decay?
Let $\mu$ be a Borel measure on $\Bbb R^d$.
It is well known that $\mu= |f|dx$ with $f\in L^1(\Bbb R^d)$ then its Fourier transform satisfies
$$\widehat{\mu}(\xi)\to0,\qquad \xi\to\infty.$$
However if ...
- 1,101
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
82
views
Are Stochastic Process Characterized by Their conditional Moments
Suppose that $X_t$ is a real-valued stochastic process. Then is $X_t$ characterized by it's conditional moments? In the sence that, if $Y_t$ is another process, such that
$$
\mathbb{E}\left[\int_s^T\...
- 5,405
5
votes
0
answers
210
views
Existence of $A\subset\Bbb{R}^n$ of finite measure and $\hat{1_A}\in\bigcap_{q>1}L^q$, but s.t. for some $1<p<\infty$, $1_A$ is no $L^p$-Fourier mult
I am interested in the following somewhat obscure question:
Is there some $n \in \Bbb{N}$, and a set $A \subset \Bbb{R}^n$ of finite measure such that the Fourier transform $\widehat{1_A}$ of its ...
- 734
5
votes
0
answers
124
views
Extension of function that minimizes function of Fourier transform
Suppose that $f$ is a given (smooth) function defined on $B\subset \mathbb R^n$. (For simplicity, take $B$ to be the unit ball but more generally we can take $B$ to be some other measurable set). How ...
- 371
5
votes
0
answers
326
views
Can we extend the twisted Poisson Summation formula with functions having a singularity in zero?
The following "twisted" Poisson Summation formula for $\chi$ primitive of conductor $q$ :
$$ \sum_{n\in\mathbb{Z}}\chi(n)f\left(\frac{nx}{\sqrt{q}}\right) =
\frac{A}{x}\sum_{n\in\mathbb{Z}}\bar\chi(n)...
- 1,199
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
1
answer
245
views
How to unperiodise a function
We know that given a sufficiently regular function $f: \mathbb{R} \to \mathbb{R}$, then its periodisation (say to period $1$) is given by
$$
\begin{align}
F(x) := \sum_{n\in\mathbb{Z}} f(x + n).\tag{$...
- 595
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
2
answers
405
views
Fourier transform of a Lorentz invariant generalized function
Consider on $\mathbb{R}^{n+1}$ the indefinite quadratic form defining the Minkowski metric
$$B(p)=(p^0)^2-(p^1)^2-\dots-(p^n)^2.$$
Let $\mu$ be a generalized function on $\mathbb{R}^{n+1}$ which is ...
- 21.8k
4
votes
1
answer
616
views
Is there an uncertainty principle for Fourier pairs everywhere dominated by $t^{-A}$?
Hardy's uncertainty principle states that a real function $f$ and its Fourier transform $\widehat{f}$ may not both decay faster at infinity than the standard Gaussian $e^{-\pi t^2}$, unless $f = 0$. ...
- 13.8k
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
2
answers
691
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 ...
- 16.2k
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 ...
- 16.2k
4
votes
1
answer
279
views
Eigenvalue of a convolution and a restriction?
Let $\epsilon>0$ be small. Let $\eta(t) = \frac{2\epsilon}{\epsilon^2+(2\pi t)^2}$ (the Fourier transform of $x\mapsto e^{-\epsilon |x|}$). Let $V$ be the space of integrable, bounded functions $f:\...
- 20.2k
4
votes
1
answer
520
views
The main topics (issues, problems) of the Fourier transform
To explain what we are looking for, let's have a quick review on some points in Fourier transform on periodic functions in both continuous and discrete cases. We emphasize that our attention is ...
- 4,058
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}...
- 61
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},
$$
...
- 1,942
4
votes
1
answer
203
views
If $f$ is non-prime, can we say $|f|$ is also a non-prime; in convolution algebra?
By Schwartz-inequality and Riesz–Fischer theorem, one can deduced that,
$$L^{2}(\mathbb T) \ast L^{2}(\mathbb T) = A(\mathbb T)(:= \{f\in L^{1}(\mathbb T): \sum_{n\in \mathbb Z} |\hat{f}(n)| < \...
- 1,051
4
votes
1
answer
295
views
Fourier coeffients of Cantor measure
For $0<\theta<\frac{1}{2}$, denote by $\mu_\theta$ the uniform Cantor measure with dissection ratio $\theta$. It is not hard to show that the Fourier–Stieltjes transform of $\mu_\theta$ is
$$
\...
- 675
4
votes
1
answer
398
views
Inequality for Fourier transform of a power exponential function
Let
$$
f_{\alpha}(x)=\phi_1(\alpha) \mathrm{e}^{-\frac{|x|^\alpha}{\phi_2(\alpha) }},
x \in \mathbb{R}, 0<\alpha<2,
$$
where
$\phi_1(\alpha)=\frac{\alpha}{2}
\left\{{\{\Gamma(3/\alpha)\}^{1/...
- 178
4
votes
1
answer
255
views
Proof that elements of Beppo-Levi-like spaces are functions (and not just distributions)?
Context. I am trying to undestand the theory underlying "Beppo-Levi"-like spaces defined as
$$
H = \left\{f\in {\cal S}'(\mathbb{R}^d) \;\left| \; t\times\widetilde{f} \in {\cal L}^2(\mathbb{...
4
votes
1
answer
277
views
Does the Fourier transform preserve the separation property?
The space of Schwartz functions on the plane is denoted by $\mathcal{S}$.
The usual multiplication and the convolution multiplication on $\mathcal{S}$ are denoted by $m_1$ and $m_2$, respectively.
...
- 356
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(\...
- 1,150
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 $\...
- 405
4
votes
0
answers
595
views
On smoothness of a function and decay of its Fourier transform
I am not sure that this question is research level, but it was not answered at MSE for several days, so I place it here.
I am interested in a quantitative version of the principle that smoothness of ...
- 41
4
votes
0
answers
116
views
Is there a categorical foundation for manifolds of bounded geometry and bandlimited functions?
As an outsider to both, manifolds of bounded geometry and bandlimited functions appear rather connected: for example, bounded geometry is defined in terms of bounds on curvature and its derivatives, ...
- 3,612
4
votes
0
answers
171
views
Convergence of integral formula for Fourier inversion (and Hilbert transform) for integrable piecewise-smooth functions
I asked the question below on Math Stack Exchange, https://math.stackexchange.com/questions/2592555/convergence-of-integral-formula-for-fourier-inversion-and-hilbert-transform-fo, but [despite it ...
- 708
4
votes
0
answers
349
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 ...
- 879
3
votes
2
answers
590
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
...
- 4,058
3
votes
2
answers
1k
views
Behavior of the Fourier transform (FT) of a function and FT of its absolute function
Let $f\in L^{1} (\mathbb R) := \{f:\mathbb R \rightarrow \mathbb C \ \text {measurable functions} : \int_{\mathbb R} | f(x)| dx < \infty \}.$ We define the Fourier transform of $f$ as follows:
$$...
- 1,051
3
votes
2
answers
487
views
Where to find a table of fair Fourier transforms? [closed]
I am greatly dissatisfied with those tables of Fourier transforms, available online. I simply have no guess what method they use to derive their tables, but it seems completely off to me.
For ...
- 10.1k
3
votes
2
answers
869
views
How do functions operate in a Sobolev space $H^{s}$?
Let $s>\frac{1}{2};$ and define a Sobolev space as follows:
$$H^{s}(\mathbb R)=\{f\in L^{2}(\mathbb R):[\int_{\mathbb R} |\hat{f}(\xi)|^{2}(1+|\xi|^{2})^{s}d\xi]^{1/2}<\infty \}.$$
Fact: Let $m$ ...
- 1,051
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
Fourier transform inversion theorem for a function not in L1 or L2
For $\frac{1}{4}<a<1$ consider the following function:
$$f(x)=\frac{|x|^{\frac{1}{2}}}{(x^2+1)^{a+ib}}$$
If $1>a>\frac{1}{2}$ then $f(x) \in L^2$ and the Fourier inversion theorem can be ...
- 1,199
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 \...
- 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 ...
- 230
3
votes
1
answer
319
views
Origin of the theorem related to the integral transform pair
The development of Fast Fourier transform is attributed to Cooley & Tukey, both have written a lot about it is historical development. Both Cooley and Tukey call it a re-discovery rather. However,...
- 879
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
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.
...
- 41.9k
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 ...
- 879
3
votes
1
answer
2k
views
About Fourier transforms of piecewise linear functions. [closed]
Consider a function $f$ which is $0$ for $x< 1$ and is say $x-1$ for $x >1$.
Consider a function $g$ which is $0$ for $x <2$ and is say $x -2$ for $x>2$.
Now using some kind of ...
- 2,246
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
423
views
Is there (fast) fourier transform for vector convolution?
Given a list of variables $u_1,\dots,u_m\in\mathbb R$ and $v_1,\dots,v_n\in\mathbb R$ the standard convolution is defined
$$U*V(t)={\sum_{i}} u_iv_{t-i}.$$
Given a list of vectors $u_1,\dots,u_m\in\...
- 13.9k
3
votes
2
answers
354
views
Bandwidth approximation for a nonlinear problem
Can anyone please help me with this problem.
I must let you know from the beginning that it's not an easy one.
"Two functions are given: $u, y \in L^{2}(-\infty,\infty), y(t)=\frac{u(t)}{u(t)+b}$ ,
...
3
votes
1
answer
158
views
How can discrete Fourier transform approximation prove the completeness of complex exponentials in $L^2(T)$?
I have a question about the completeness of complex exponentials in function spaces.
For the discrete set $ S = \{1, 2, \ldots, n\} $, it is clear and intuitive that $ e^{2\pi ikx/n} $ for $ k = 0, 1, ...
- 807
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