All Questions
50 questions
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,\...
- 595
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
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 ...
- 181
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) \, ...
- 178
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 ...
- 24.2k
11
votes
2
answers
8k
views
About the Fourier transform of the logarithm function
I want to calculate / simplify:
$$\mathcal{F} (\ln(|x|)\mathcal{F(f)}(x))=\mathcal{F} (\ln(|x|)) \star f$$
where $\mathcal{F}$ is the Fourier transform ($\mathcal[f](\xi)=\int_{\mathbb R}f(x)e^{ix\...
- 1,199
8
votes
1
answer
640
views
Rate of decrease of the Fourier transform of standard mollifiers
What is the the rate of decrease of $|\widehat{f_p}(t)|$ (as $t\to\infty$), where $p\in(0,\infty)$,
$$\widehat{f_p}(t):=\int_{\mathbb R} e^{itx}f_p(x)\,dx,$$
and
$$f_p(x):=e^{-1/(1-x^2/p)^p}1(|x|<\...
- 128k
7
votes
1
answer
1k
views
Fourier transform surjective on $L^p(\mathbb{R}^n)$ for $p \in (1,2)$?
I know that $F_2:L^2 \rightarrow L^2$ is of course unitary, whereas $F_1:L^1 \rightarrow C_0$ is injective but not surjective. This can be seen by looking at the dual map.
Riesz-Thorin gives us that ...
- 85
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
2
answers
336
views
On frequency decay of an integral transform of a function
Suppose $f \in C^{\infty}_c((-1,1))$ and assume that there exists constants $a,b>0$ such that
$$
\bigg|\int_{\mathbb R} f(t) \,e^{\tau t^2+i\tau t}\,dt\bigg| \leq a\,e^{-b|\tau|},$$
for all $\tau \...
- 4,143
5
votes
3
answers
2k
views
Fourier transform of periodic distributions
Following M. Ruzhansky and V. Turunen's book Pseudo-Differential Operators and Symmetries, in Chapter 3, Definition 3.1.25 (page 304), the space of periodic distributions is defined as follows (...
- 595
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
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
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
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
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
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
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
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=\...
- 4,058
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
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 $\...
- 903
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}\...
- 421
2
votes
2
answers
365
views
Is there a compactly supported differentiable function whose Fourier transform is not in L1?
In my MSE answer here, I discussed the example of compactly supported continuous function
$$g(x)=
\begin{cases}
\dfrac{\frac12 -x}{\log(x)},&0<x\leq1/2\\
0,&\text{otherwise}
\end{cases}$$
...
- 833
2
votes
1
answer
141
views
The inequality $\int^\infty_0 \frac{\sin(rt)}{rt}\frac{r^4}{\sinh^2(r)} e^{-ar\coth(r)}dr\leq c \big(e^{-At}\big)$
Let $a>0$. How to prove the following inequality $$\exists c>0,\exists A>0,\forall t>0:\quad\int^\infty_0 \frac{\sin(rt)}{rt}\frac{r^4}{\sinh^2(r)} e^{-ar\coth(r)}dr\leq c \big(e^{-At}\big)...
- 531
2
votes
1
answer
668
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 ...
- 595
2
votes
1
answer
260
views
Non-Fourier complete orthogonal basis?
The Fourier Transform (FT)
Is orthogonal: inner product of one basis, $e^{j\omega_0}$, with any other basis, $e^{j\omega_1}$, is zero
Is invertible: info-preserving, has inverse function
Is energy-...
2
votes
1
answer
460
views
Finite trigonometric polynomial
I noticed by numerical and some explicit calculations for a few examples that for real-valued finitely supported functions $\phi \in L^2(\mathbb{R})$ we have that
$T(x):= \sum_{n \in \mathbb{Z}} |\...
- 231
2
votes
0
answers
79
views
Function that is (essentially) a self-convolution but not a multiple of a self-convolution
Call a function $F:\mathbb{R}\to C$ nice if it is of the form $F = f\ast \tilde{f}$, where $\tilde{f}(x) = \overline{f(-x)}$. (Of course nice functions are precisely those whose Fourier transform is ...
- 20.2k
2
votes
0
answers
194
views
Functions such that the *integral* of the Fourier transform is non-negative?
Let $f:\mathbb{R}\to \mathbb{R}$ be in $L^1$, with its Fourier transform $\widehat{f}$ also in $L^1$. What is a necessary and sufficient condition on $f$ so that
$$\int_{-\infty}^x \widehat{f}(t) dt \...
- 20.2k
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
814
views
Quantifying the “flatness” of functions which are the Fourier transforms of positive functions
Short version of question: I'm trying to understand the extent to which a function is prevented from being "flat" as a result of being the Fourier transform of a positive function. That is, the extent ...
- 21
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
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, ...
- 595
1
vote
1
answer
625
views
What are the spaces for which the Fourier transform is an automorphism? [closed]
this is well-known that the Fourier transform is an automorphism of $L^2(\mathbb R)$ and also of $\mathcal S(\mathbb R)$ (Schwartz space). Is there any other spaces of functions of one real variable ...
- 615
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
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 ...
- 61
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 ...
- 113
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 \...
- 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}:...
- 315
1
vote
0
answers
50
views
Comparison of (square) of a function and its Fourier transform in an integral
I am completely stuck on a comparison between $f(t)^2$ and $\hat{f}(t)^2$ in an integral.
Considering $f(t)$ of rapid decrease at infinity such that near zero: $f(t) \sim_0 t^{-\frac{1}{2}- \alpha}+o(...
- 1,199
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
0
votes
1
answer
255
views
Carleson's theorem: proof of a lemma
I am reading the paper of Michael Lacey called "Carleson's theorem: proof, complements, variations" 1, on Carleson's theorem in Fourier analysis. At the bottom of page 20 at the beginning of ...
- 75
0
votes
0
answers
64
views
Calculating hyperbolic Fourier series
Question:
is it possible to uniquely express functions locally as infinite sums of hyperbolic sines and cosines
$f(x)=\sum\limits_{i=0}^\infty \alpha_i\sinh(i\cdot x)+\beta_i\cosh(i\cdot x)$
or even ...
- 13.2k
0
votes
0
answers
60
views
Solution of a functional equation with cosine transform
What are the functions verifying:
$$\int_0^{\infty} f(t) \cos(2\pi xt)=\lambda \frac{1}{x} f(\frac{1}{x})$$
With $\lambda$ a constant ?
(Functions $x^{-\alpha}$ with $0<\alpha<1$ are solutions ...
- 1,199
0
votes
0
answers
808
views
Inverse Fourier transform of $\frac{1}{\sqrt{\xi_1} + \xi_2}$
Consider the inverse Fourier transform of $\frac{1}{\sqrt{\xi_1} + \xi_2}$. My question is, how can we conclude about the decay properties, support and smoothness of the inverse Fourier transform? I ...
0
votes
0
answers
100
views
Two distribution spaces ${\mathcal S}'/{\mathcal P}$ and ${\mathcal S}_\infty'$
Let ${\mathcal S}'$ be the set of all distributions.
Denote by ${\mathcal P}$ the set of all polynomials,
which is embedded into ${\mathcal S}'$ as a closed subspace.
Equip ${\mathcal S'}/{\mathcal P}$...
-1
votes
1
answer
1k
views
A question about pointwise convergence of Fourier transform in $N$-dimensions
I am retreating back on this statement, after some explorations and calculation
Bow to Willie and others who were skeptical on this. Main difficulty can be seen in this reference. But I must mention ...
- 698
-1
votes
1
answer
213
views
Building a smooth function from a rapidly decreasing sequence
Is it possible to build a 1-priodic smooth function from a rapidly decreasing sequence such that the sequence be the Fourier coefficients of the function?
More precisely:
Let $\lbrace c_k\rbrace _{k \...
- 581