All Questions
61 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
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
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
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
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
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
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
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
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
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
918
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
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
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
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
1
vote
1
answer
289
views
Closed sets in the space of Fourier transforms $\mathcal{F}L^{1}$
Consider the space of all Fourier transforms of $L^{1}(\mathbb R),$ that is,
$$\mathcal{F}L^{1}=\mathcal{F}L^{1}(\mathbb R):= \{f\in L^{\infty}(\mathbb R):\hat{f}\in L^{1}(\mathbb R)\},$$
with the ...
- 1,051
1
vote
1
answer
484
views
When one can expect $\widehat{(fg)} = \hat{f} \ast \hat{g}$; $f, g\in L^{1} (G)$?
Let $f, g \in L^{1}(\mathbb T)= L^{1} ([-\pi, \pi))$. We define, the Fourier transform of $f$ as follows:
$$\hat{f}(n)=\frac{1}{2\pi}\int_{-\pi}^{\pi} f(t) e^{-int} dt, \ (n\in \mathbb Z).$$
It is ...
- 1,051
1
vote
2
answers
152
views
Is $\int_{\mathbb{R}} \int_{\mathbb{R}^n} \alpha w(t) e(\alpha (a_1t_1 + \dotsb + a_n t_n)) dt\,d \alpha = 0$?
Let $a_i$ be a nonzero real number for each $1 \leq i \leq n$. $w$ a smooth nonnegative with compact support. I would like to understand the following integral.
$$
I = \int_{\mathbb{R}} \int_{\mathbb{...
- 3,625
1
vote
1
answer
229
views
Result of Beurling concerning absolute convergence of Fourier series of |f|
Let $f\in L^{1}(\mathbb T)$ and define the Fourier coefficient of $f$ : $\hat{f}(n)=\frac{1}{2\pi} \int _{-\pi}^{\pi} f(t) e^{-int} dt; (n\in \mathbb Z)$ and we put,
$$A(\mathbb T):= \{f\in L^{1}(\...
- 1,051
1
vote
1
answer
367
views
How to get Fourier–Stieltjes transform on $\mathbb R$ from the nice function on $\mathbb T$ (periodic on $\mathbb R$)? [closed]
We put, $M(\mathbb R)= $The set of bounded complex Borel measure $\mu$ on $\mathbb R$ and for $\mu \in M(\mathbb R)$, we define $||\mu||:= |\mu| (\mathbb R) = \text {total variation of } \ \mu $; and
...
- 1,051
1
vote
1
answer
180
views
Annihilator property dual
Let $G$ be a locally compact group and $\phi$ be in $ L^{\infty}(G)$ that annihilates $I$, where $I$ is a closed ideal of $ L^1(G)$, so by duality we have:
$$\int_G f(y)\phi(y)dy=0$$
for all $f\in I$....
- 399
1
vote
0
answers
52
views
Sufficient conditions for boundedness of Fourier transform
This should be a well studied topic: I am looking for sufficient conditions on a function $u(x)$ on $\mathbb{R}$ ensuring that its Fourier transform is bounded. Of course one such condition is $u\in L^...
- 9,007
1
vote
0
answers
73
views
$L^p$ norm of Fourier transform of function composed with a diffeomorphism
Suppose $f$ is a compactly supported smooth function from $\mathbb{R}^n$ to $\mathbb{C}$ and $A$ is a diffeomorphism on $\mathbb{R}^n$, do we have any theorems relating the $L^p$ norm of $\hat{f}$ and ...
- 265
1
vote
0
answers
108
views
Recovering phase function using Fourier decomposition
I have a function $\phi(x): \mathbb{R} \to [0, 2 \pi)$, which describes phase of another function
$$f = e^{i \phi(x)}. $$
I am interested in the following problem. If I know the function/distribution $...
- 151
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 $...
- 4,058
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 ...
- 111
1
vote
0
answers
668
views
Asymptotics of a function from its Fourier transform
My question is: given a Fourier transform $\hat f$ of a function $f$, is it possible to estimate its asymptotic behaviour without performing the inverse transform?
Let me give a concrete example.
...
1
vote
0
answers
124
views
Inequality about the Fourier transform: $\Vert u \Vert_{L^k} \le \Vert \mathcal{F}(u) \Vert_{L^m}$ (where $1 \le m \le 2$ and $m,k$ Holder conjugates)
How can I prove the following inequality about the Fourier transform?
$$\Vert u \Vert_{L^k(\mathbb{R}^N)} \le \Vert \mathcal{F}(u) \Vert_{L^m(\mathbb{R}^N)}$$ for $1 \le m \le 2$ and $m,k$ Holder ...
user89890
1
vote
0
answers
327
views
If $\mathcal{F}$ is the Fourier transform, what can be said about $\mathcal{F}(L^1(\mathbb{R})) \cap L^1(\mathbb{R})$?
The Fourier transform gives a map of the Schwartz space to itself which turns out to be a linear homeomorphism of period 4.
However, when the domain is extended to $L^1(\mathbb{R})$, the situation is ...
- 111
1
vote
0
answers
181
views
How Fourier transform behaves if we kills the oscillation?
Let $a, b \in \mathbb R$ such that $ab> 1$ ; put
$$L^{1}_{a}(\mathbb R)= \{ f:\mathbb R\to \mathbb C \ \text {measurable} : ||(1+|x|)^{a}f||_{L^{1}(\mathbb R)}< \infty \},$$
and
$$FL^{1}_{b}(...
- 1,051