Questions tagged [fourier-transform]
The fourier-transform tag has no usage guidance.
516 questions
2
votes
0
answers
107
views
Uncertainty principle: minimize $\int_{-\infty}^\infty |t| |\widehat{f}(t)|^2 dt$ for $f$ of compact support
This is a question of uncertainty-principle type stemming from Eigenvalue of a convolution and a restriction?
Let $f:\mathbb{R}\to \mathbb{R}$ be even, absolutely continuous and supported in $[-\frac{...
4
votes
1
answer
274
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:\...
0
votes
1
answer
104
views
If $u \in H^2(\mathbb{R}^3)$, does $r^{-1} u \in H^{\alpha}(\mathbb{R}^3)$ for some $\alpha > 0$?
Let $u$ belong to the Sobolev space $H^1(\mathbb{R}^3)$. We have the classical Hardy inequality
\begin{equation*}
\int_{\mathbb{R}^3} \frac{|u|^2}{|x|^2} dx \le 4\int_{\mathbb{R}^3} |\nabla u(x)|^2 dx,...
2
votes
0
answers
77
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 ...
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 \...
2
votes
0
answers
187
views
Three optimization problems of uncertainty principle/Paley-Wiener type
Let $\phi:\mathbb{R}\to\mathbb{R}$ be an even function with support on $[-1,1]$. Assume that it is in $L^1\cap L^2$ and that its Fourier transform is also in $L^1\cap L^2$. Assume as well that $|\phi|...
3
votes
0
answers
135
views
Possible gaps for a function and its Fourier transform
This is another question on the possible shape of sets $A,B\subset \mathbb{R}^d,d\geq 2,$ where resp. a non-null Schwarz function $f$ and its Fourier transform can vanish.
A nice remark by Christian ...
1
vote
0
answers
51
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^...
3
votes
0
answers
144
views
Minimizing vertical integral of a Mellin transform
Let $\eta:[0,\infty)\to [0,\infty)$ satisfy $\eta(0)=1$ and $\int_0^\infty \eta(x) dx = 1$ (say).
Write $M\eta$ for the Mellin transform of $\eta$. Let $\epsilon>0$ be small.
What is the choice of $...
6
votes
0
answers
158
views
Fourier-like transforms for a Day convolution?
The presheaf category on a monoidal category inherits the monoidal structure via the Day convolution. Moreover you can inherit (bi)closed monoidal structure.
In the study of Fourier analysis we can ...
0
votes
1
answer
70
views
Asymptotic expansion inverse discrete Fourier transform
Let $\ell^1(\mathbb{Z})$ be the space of biinfinite sequences $f = (f(n))_{n \in \mathbb{Z}} \subset \mathbb{C}$ such that it is absolutely summable. The discrete Fourier transform or Fourier series ...
1
vote
2
answers
225
views
Show that the kernel $|x -y|^{-1}$ on $\mathbb{R}^3 \times \mathbb{R}^3$ is Hilbert Schmidt with respect to a weighted $L^2$ space
Let $\langle x \rangle := (1 + |x|^2)^{1/2}$, $x \in \mathbb{R}^3$. For $s > 1$, consider the weighted convolution operator
\begin{equation*}
T_s \varphi = \langle x \rangle^{-s} \int_{\mathbb{R}^3}...
3
votes
0
answers
75
views
Non-vanishing of a "push-forward" Fourier–Harish-Chandra transform on a compact set
Let $G \subset \operatorname{GL}_d(\mathbb{R})$ be a non-compact semi-simple Lie group and $K \subset G$ a maximal compact subgroup. Let $\mathfrak{g}$ (resp. $\mathfrak{k}$) be the Lie algebra of $G$ ...
0
votes
2
answers
116
views
Help on integral regarding analytical Fourier transform
To explain my problem I start with two functions to be sine transformed. This question is a problem of current research in the field of electrolyte transport theory. The first Function is given by:
$$...
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^{- \...
0
votes
2
answers
179
views
Inversion formula for discrete sine and cosine transforms
$\newcommand{\wh}[1]{{\widehat{#1}}}
\newcommand{\R}{{\mathbb{R}}}
$I am looking for a proof of the inversion formulas for the discrete sine and cosine transforms, i.e. a proof of the fact that these ...
3
votes
1
answer
157
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, ...
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 ...
1
vote
0
answers
72
views
Positive eigenfunctions of the discrete Fourier transform
Let $G$ be a finite cyclic group of order $n$ ($n$ need not be prime) and $\mathcal{F}$ the normalized discrete Fourier transform defined on $G$.
Is there a canonical way to construct an eigenfunction ...
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 ...
1
vote
1
answer
142
views
Operator norm of some type of discrete Fourier matrix
Let $N$ be a natural number and let $w$ be a complex number.
We define the $N\times N$ matrix $C_w=(a_{k,l})_{k,l=1}^N$ as follows,
$$
a_{k,l}=\begin{cases}1 & l=k+1\\
w &...
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 ...
1
vote
1
answer
190
views
Generalisation of Paley–Wiener type results for unbounded sets
Do you know an unbounded open set $A\subset \mathbb{R}^d$, $d\geq 2$ with the following property: if some integrable function $f$ on $\mathbb{R}^d$ has its Fourier transform vanishing on $A^c$ and all ...
0
votes
0
answers
46
views
Function samplable from the past and Hardy spaces
What I am ultimately looking for is a $L^2$ function $f$ on the real line that can be sampled from the past, i.e. for each $x<0$ there are $L^2$ coefficients $c_n(x)$, $n\in \mathbb{N}$ such that, ...
0
votes
0
answers
23
views
Is there a classification of 2D projective convolution kernels?
Is there any classification of all distributions on $\mathbb{R}^2$ such that they are equal to the convolution with themselves? i.e. given a distribution $\gamma$ under which conditions
$$ \gamma\star\...
0
votes
1
answer
127
views
Why $\int_{S^{n-1}} |\hat{f}(w)|^2d\sigma(w) < \infty$?
Let $f\in L^p(\Bbb R^n)$ and $S^{n-1}$ be the Unit sphere.
Why
$\int_{S^{n-1}} |\hat{f}(w)|^2d\sigma(w)<\infty$ when $1<p<2$.
$\hat{f}$ is the Fourier transform fora function f.
3
votes
0
answers
103
views
How wild is the maximal ideal space of the Fourier-Stieltjes algebra of the real line?
The Fourier-Stieltjes algebra of $\mathbb R$ is the set of all sufficiently nice measures on $\mathbb R$. The vector product is convolution of measures. By identifying each measure with its Fourier ...
1
vote
0
answers
86
views
Fourier transform relation for spherical convolution
Let $f$ and $g$ be two functions defined over the 2d sphere $\mathbb{S}^2$.
The convolution between $f$ and $g$ is defined as a function $f * g$ over the space $SO(3)$ of 3d rotations as
$$(f*g)(R) = \...
1
vote
0
answers
69
views
Is there an generalisation of convolution theorem to integral transforms
Basic convolutions can be computed efficiently by taking fourier transforms and applying the convolution theorem. Is there something analogous for a more general transform, where we have a varying ...
0
votes
1
answer
126
views
Clarification on the Interpretation of Fourier Coefficients in the Context of Fourier Projections
I am currently studying a paper (Section 3.4.3 of Lanthaler, Mishra, and Karniadakis - Error estimates for DeepONets: a deep learning framework in infinite dimensions) where the authors define an ...
2
votes
0
answers
116
views
Construction of an analytic function whose Fourier transformation has compact support [closed]
Is there a non-constant real analytic function $f$ on $\mathbb{R^2}$ satisfying the following properties?
$f$ vanishes on $x$-axis and $y$-axis;
the Fourier transformation $\hat{f}$ of $f$ has a ...
0
votes
1
answer
106
views
Spectral theory: a key to unlocking efficient insights in network datasets
In the context of directed or undirected graphs, matrices such as adjacency and Laplacian matrices are commonly used. The eigenbasis of these matrices addresses some practical implications, such as ...
2
votes
0
answers
204
views
Finding specific coefficients of product of high-dimensional Fourier series faster than FFT
I need a fast algorithm to perform a specific Fourier-type computation in my physics research. Suppose I have the following two Fourier series in three dimensions
$$
a(t_1,t_2,t_3)=\sum_{j=-n}^{n}\...
11
votes
3
answers
1k
views
What is the intuition behind applying the Mellin Transform to prime distribution?
I am an undergraduate student writing an expository thesis on the complex-analytic proof of the Prime Number Theorem.
I understand that applying the Mellin Transform to the partial sum of the van ...
0
votes
2
answers
227
views
Does this distribution exist?
Assume there is a distribution in two variables $\mathcal{W}\in\mathcal{S}'(\mathbb{R}^2)$ with Fourier transform $\hat{\mathcal{W}}(\alpha,\beta)\equiv \int_{-\infty}^\infty e^{i(\alpha x+\beta y)} \...
0
votes
0
answers
102
views
Is there an inner product on $\mathbb{F}_p\left[S_n\right]$ for which $\langle x, x \rangle \ne 0$ for all $x$?
Let $\mathbb{F}_p\left[S_n\right]$ be the group algebra of the symmetric group $S_n$ over the finite field $\mathbb{F}_p$.
One can define an "inner product" in the usual way:
$$\langle x,y \...
0
votes
0
answers
56
views
Is it possible that a system of differential equation has a solution in time domain but not in Fourier domain? If so, why does it happen?
I have to solve
\begin{align}
&\frac{\partial h'_{1,1m}(t,r)}{\partial t} + \frac{2}{r} h_{1,1m}(t,r) = 0 \label{beta_0_1}\\
&\frac{\partial^2 h_{1,1m}(t,r)}{\partial t^2} = 0. \label{...
0
votes
0
answers
88
views
Convolution of $\mathscr{F}\{ \log \}(x) * \mu$ with compactly supported measure $\mu$
As I read in this post the Fourier transform of $\psi(\lambda) = \log{|\lambda|}$ must be interpreted in distributional sense and it is given by:
$$\mathscr{F}\{\psi\}(x)=-2\pi \gamma \delta(x)-\pi \...
4
votes
2
answers
193
views
Is $\frac{|t|}{e^{a|t|}-e^{-b|t|}}$ the Fourier transform of a positive function
Consider the function $$\phi_{a,b}(t)=\frac{|t|}{e^{a|t|}-e^{-b|t|}}, \ \ t\in\mathbb{R},$$ where $0<a<b$. Can $\phi_{a,b}$ be the Fourier transform of a positive function for some $a<b$?
2
votes
0
answers
143
views
Information about smoothness of function from its Fourier transform
We know that if the integrable function $f\in H^\alpha(\mathbb{R}), 0<\alpha<1$ (Hölder continuous), then its Fourier transform $\hat{f}$ has the asymptotic form $ O (1/x^\alpha)$ as $x\to\infty$...
1
vote
1
answer
116
views
Examining the Hilbert transform of functions over the positive real line
$\DeclareMathOperator\supp{supp}$Let $H:L^{2}(\mathbb{R})\to L^{2}(\mathbb{R})$ be the Hilbert transform. Let suppose we have a compaclty supported function $f \in L^{2}(\mathbb{R})$ such that $\supp(...
2
votes
2
answers
364
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}$$
...
-2
votes
1
answer
363
views
Predicting the peak "amplitude" of a damped sine wave in the frequency spectrum with FFT
In one line: Given an exponentially decaying sine wave $x(t)$, how can we predict the amplitude of the resulting peak in frequency spectrum using discrete Fourier transform.
In nuclear magnetic ...
1
vote
0
answers
43
views
Looking at a frequency reassignment rule as a Möbius transform
Suppose we have some Schwartz function $h$. Denote its Fourier transform $\widehat{h}$. Let $\xi_0$, $a$, $\Delta$ be positive and fixed.
I have a function $\Omega: \mathbb{R}\times \mathbb{R}^+ \to \...
2
votes
1
answer
404
views
The Fourier transform of the Liouville function?
The Liouville function in number theory is defined as:
$$\lambda(n) := (-1)^{\Omega(n)} \text{ where } \Omega(n) := \sum_{p|n} v_p(n)$$
Taking the discrete time Fourier transform and then taking the ...
1
vote
1
answer
139
views
Function with non Riemann-integrable Fourier transform
Does there exist a compactly supported continuous function $f$ on $\mathbb R$, such that
$$
\lim_{n\to\infty}\int_{-n}^n\widehat{f}(x)\ dx
$$
does not exist?
Here $\widehat f$ is the Fourier transform ...
1
vote
0
answers
81
views
The Discrete Fourier Transform (DFT) decomposes any signal into four orthogonal signal components [closed]
Let $F=(w^{kl})_{k,l=0}^{n-1}$ be the discrete Fourier matrix of size $n$ where $w=\exp\left(-\frac{2\pi i}{n}\right)$.
It is a well-known that $F_n^4 = I_n$ where $I_n$ represents the identity ...
1
vote
1
answer
164
views
Numerical partial differentiation of a convolution product with FFT
How can one numerically calculate the partial derivatives of a convolution function, particularly when the closed-form or analytical expressions of the derivatives are not readily available? I am ...
32
votes
8
answers
4k
views
Motivation and physical interpretation of the Laplace transform
Concerning the one-sided Laplace transform,
$$\mathcal{L}\{f\}(s) = \int_0^\infty f(t)e^{-st} dt$$
what is a motivation to come up with that formula? I am particularly interested in "physical&...
2
votes
1
answer
122
views
Singular Integrals and $L^1$
Let us consider in one dimension the Fourier multiplier $\vert D\vert$ and the derivative $iD$. Both are well-defined on the Schwartz space $\mathscr S(\mathbb R)$ with the derivative sending $\...