Questions tagged [fourier-transform]
The fourier-transform tag has no usage guidance.
516 questions
1
vote
1
answer
1k
views
Find probability density function from its autocorrelation function
For a positive function $f(x)$, its auto correlation function $A(x)=\int_{-\infty}^{\infty} f(s)f(s+x) ds>0$ and is positive-definite (its Fourier transform $\mathcal{F}(A(x))>0$).
Now for the ...
- 51
1
vote
1
answer
183
views
Closed form of a Fourier transform
I apologize for not being able to motivate the question below; it would go into technicalities.
Let $n=d+1\ge2$ be the space-time dimension, and
$$H(y,t):=\left(\frac{t^2}{(t^2+|y|^2)^{1+d/2}}\right)^{...
- 52.3k
1
vote
1
answer
332
views
Eigenvalues of a circulant: DFT or Inverse DFT Convention?
Currently, most engineering texts (and webpages including Wikipedia) define forward discrete Fourier transform with a negative sign on the exponential. This is a convention and the inverse discrete ...
- 879
1
vote
1
answer
314
views
Question on possibility of uniquely defining the FRFT via certain properties
I was working around with the fractional Fourier transform (FRFT) when the mathematics undergrad found out, by brute-force computations, that the derivative of the FRFT with respect to the parameter ...
- 286
1
vote
1
answer
282
views
Find an integral kernel for the solution of a partial differential equation: an initial value problem
Consider the following partial differential equation with an initial condition $u(x,0)=f(x)$:
\begin{equation}
\frac{\partial}{\partial t} u(x,t)=g_{1}(x)\frac{\partial u}{\partial x}+g_{2}(x)\frac{\...
- 350
1
vote
1
answer
573
views
Fourier transform of a translation invariant operator on $l^2(\mathbb{Z}) \otimes l^2(\mathbb{Z})$
Consider the space $l^2(\mathbb{Z}) \otimes l^2(\mathbb{Z})$ with distinguished computational basis $e_i \otimes e_j $ and a group of translations $T_a$ defined by $T_a e_i \otimes e_j = e_{i+a} \...
- 1,054
1
vote
1
answer
191
views
What subjects of Fourier analysis have had more effect on machine learning? [closed]
What is the salient uses of Fourier analysis in machine learning? What subjects of Fourier analysis have had more effect on machine learning?
Please mention the references.
- 4,058
1
vote
1
answer
134
views
Maximum Magnitude Deviation between DFT and DTFT
This is a cross-post from signal processing forum as it was not conclusive.
Let $x[n]$ be a finite-length sequence with length $N$. The continuous DTFT $X(\omega)$ is then
$$
X(\omega) = \sum_{n = 0}^...
- 909
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
1
answer
198
views
Does the Fourier transform of a non-strictly positive real kernel $\Phi(t)$ always generate entire function with complex zeros? [closed]
Question (1) Does the Fourier transform of a non-strictly positive real kernel
$f(t)$ always generate an entire function $g(z)$ with complex zeros?
$$g(z)=\int_{-\infty}^{\infty}f(t) \exp(izt)dt=2\...
- 21
1
vote
1
answer
231
views
Is $\int_0^\infty \sin(Kx)f_K(x)\,dx$ of larger order than $\int_0^\infty \cos(Kx)f_K(x)\,dx$?
Suppose we have a function $f$, such that $f$ is of some smoothness degree $m$, and $f,f^{(k)} \in L_1[0,\infty)$ $k=1,...,m$. Now if $f^{(k)}(0) = \lim_{x\rightarrow\infty}f^{(k)}(x) = 0$ for $k=1,......
- 289
1
vote
1
answer
1k
views
Relationship between Fourier series & DFT
Sources like http://www.dsprelated.com/dspbooks/mdft/Relation_DFT_Fourier_Series.html explain the equivalence between FS and DFT.
However, isn't there a flaw? When I integrate over the continuous ...
- 167
1
vote
1
answer
211
views
Let $f \in M^{1,1} (\mathbb R)$ (Feichtinger's algebra /Modulation Space). Can we say $Fof\in M^{1,1}(\mathbb R)$; $F$ is an entire function?
The Modulation space ( Feichtinger's algebra),
$$S_{0} (\mathbb R) = M^{1, 1}(\mathbb R): = \{ f\in L^{2}(\mathbb R) : V_{g}(f) \in L^{1}(\mathbb R^{2}) \};$$
where $V_{g}f (x, w)$ is the short- ...
- 1,051
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
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 ...
- 549
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) = \...
- 2,306
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 ...
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 \...
- 111
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 ...
- 4,058
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 ...
- 879
1
vote
0
answers
168
views
Circulant matrix inverse in $GF(p)$
For a polynomial $C(x)=c_0+\dots+c_n x^n$, consider a circulant matrix $C$ such that
$$
C= \begin{pmatrix}
c_0 & c_{n-1} & \cdots & c_2 & c_1 \\
c_1 & c_0 &...
- 1,171
1
vote
0
answers
48
views
Why do we need the concept of Fourier measurability with growth function $\mathcal F$?
I'm studying the book Higher Order Fourier Analysis by Terence Tao (https://terrytao.files.wordpress.com/2011/03/higher-book.pdf). There, it defines that a function $f:[N]\to\mathbb{C}$ has Fourier ...
- 11
1
vote
0
answers
105
views
Poisson summation for solutions of the Burgers equation in the form 1/x
Long story short: I'm looking for a good way of showing that the Fourier transform of $1/x$ is a sign function.
Motivation and why this has been a problem:
I'm dealing with an equation similar to the ...
- 93
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
55
views
Comparison principle for porous medium equation in Fourier variables
Let $V:[0,\infty) \to[0,\infty)$ be convex, $C^2$ with $V(0)=0$. Define $F(u): = uV'(u)-V(u) $. Let $v\in L^1 (\Bbb R^d)$, $v\geq0$ so that $F\circ v\in L^1 (\Bbb R^d)$. For fixed $\varepsilon>0$, ...
- 1,101
1
vote
0
answers
95
views
1D representation of 2D discrete Fourier transformation [closed]
I'm not too familiar with image processing, so I need a little help:
In general, if we transform a discrete function $f$ with $n$-variables from the "spatial domain" using the Fourier ...
- 11
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
43
views
Does the constrained Wasserstein barycenter admit a blue noise property?
Let $(E,d)$ be a metric space and $\nu$ be a probability measure on $\mathcal B(E)$. In this paper, it is mentioned that sampling from $\mu$ can be described as choosing $n\in\mathbb N$, $x_1,\ldots,...
- 167
1
vote
0
answers
104
views
Kernel representation of a power of (pseudo-)differential operator
Let $\mathcal{T}$ be a (pseudo-)differential operator that admits the following kernel representation:
\begin{equation}
\mathcal{T}f(x) = \int_{-\infty}^{\infty} K(x,t)f(t)dt.
\end{equation}
What can ...
- 350
1
vote
0
answers
180
views
A potential wrong proof of a Lemma
Consider the following lemma: Let $g \in H^s_{x,y}(S)$ where $S = \mathbb{R}^2$ or $S = \mathbb{T}^2$, and $\eta \in C^\infty(\mathbb{R})$, $\operatorname{Supp}(\eta) \subset [-2,2]$, and $\eta \equiv ...
- 159
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:
...
- 111
1
vote
0
answers
202
views
Discretizing a differential operator which is a function of the derivative operator
Assume that $p(x)$ and $f(x)$ are sufficiently smooth functions and $D\equiv \frac{d}{dx}$. My question is concerned with the discretization of $p(x+D)f(x)$.
As an example, let $p(x)=x^{2}+2x$. Then ...
- 350
1
vote
0
answers
146
views
Proof for $\Phi(t)$ is strictly decreasing for $t>0$ in Riemann's zeta function
I am looking for reference for proof that $\Phi(t)$ is strictly decreasing for $t>0$
and the first derivative of $\Phi(t)$ is negative for $t>0$ (see Page 5 in Conrey's article below)
Conrey ...
- 11
1
vote
0
answers
71
views
Hyperplanes which equalize the Radon transforms of two distributions
Let $p_1$ and $p_2$ be "nice" probability densities on $\mathbb R^m$, for example the densities of a multivariate Gaussians $N(\mu_1,\Sigma)$ and $N(\mu_2,\Sigma)$ with common covariance ...
- 6,853
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 ...
- 63
1
vote
0
answers
74
views
Calculation of a multi-dimensional Fourier transform
I am interested in the following multi-dimensional Fourier transform:
$$
\int_{\mathbb{R}^{p}} \mathrm{d} \vec{r}_{\parallel}\int_{\mathbb{R}^{q}} \mathrm{d} \vec{r}_\perp \, e^{-\mathrm{i}\, \vec{p}...
- 373
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
278
views
Vector convolution?
I am working on a research problem which leads to the following optimization problem:
\begin{equation}
\hat{M} = \operatorname*{arg\,max}_M \Bigl\lVert\sum_{k=0}^{M-1} {\mathbf y}_k \exp\left(-j 2\pi ...
- 273
1
vote
0
answers
143
views
Polynomial interpolation of binary vectors
Let $\mathbb{F}$ be a finite field and let $\boldsymbol{x} = (x_1, x_2, \dots, x_n)$ be $n$
pairwise distinct points in $\mathbb{F}$.
Given the vector $\boldsymbol{y} = (y_1, y_2, \dots, y_n)$, with $...
- 61
1
vote
0
answers
38
views
Solving an equation containing Laplace transform
Consider the equation
\begin{equation}
\frac{f(p)}{f(s_{1})}\mathcal{L}(y)(s_{1})+\frac{g(p)}{g(s_{2})}\mathcal{L}%
(y)(s_{2})=\mathcal{L(}y)\mathbf{(}p),
\end{equation}
where $\mathcal{L}$ is the ...
- 47
1
vote
0
answers
113
views
The Pushforward of the Liouville measure
Let's consider a Hamiltonian action of a torus $T$ on a symplectic manifold $(M, \Omega)$. We denote by $\mu: M \rightarrow \mathfrak{t}^*$ the moment map and by $\Omega_\mathfrak{t}(X) := \Omega + &...
- 139
1
vote
0
answers
244
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
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
127
views
Does convergence of tempered distributions implies convergence in $\mathcal{S}(\mathbb{R}^4,\mathbb{R})/\mathcal{S}_{0}$?
We can define the following symmetric semi-definite positive bi-linear form on
$\mathcal{S}(\mathbb{R}^{4},\mathbb{R})$ with values in $\mathbb{C}$,
\begin{equation}\label{prodintespaciales}
(h_{...
- 424
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 ...
- 437
1
vote
0
answers
139
views
Converse to Hausdorff-Young (or Riesz-Thorin) for finite cyclic groups?
Let $v$ be a vector $v \in \mathbb{R}^p$, with non-negative entries and $p$ prime. The Hausdorff-Young inequality gives bounds of the form:
$$\|\mathcal{F}v\|_a \le C_{a,b} \|v\|_b$$
where the ...
- 435
1
vote
0
answers
282
views
Fourier Transform; half space baby problem (new)
This question is related to a prior question i asked, see Fourier Transform ; half space elliptic baby problem.
Essentially I am asking the same question now but taking a lot more care.
So lets ...
- 1,385
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 ...
- 4,058
1
vote
0
answers
57
views
The meaning of the frequency in continuous signals
Suppose that for a given signal $x:\mathbb{R}\to \mathbb{C}$ both of the following Fourier identities hold.
$$ \hat{x}(\omega)=\int_\mathbb{R} x(t)e^{-it\omega} dt~~~,~~~x(t)=\frac{1}{2\pi} \int_\...
- 4,058
1
vote
0
answers
74
views
Fourier transform of a Sobolev function dependent on a "parameter"
Let $u\in\mathcal{S}(\mathbb{R}^n)$, let $V\in W^{1,1}_\text{loc}(\mathbb{R}^n\times\mathbb{R}^+)$, such that
$$ V(x,0)=u(x),\quad V(x,\cdot)\in C^0([0,\infty)),\quad\forall x\in\mathbb{R}^n,$$
and ...
- 339