Questions tagged [fourier-transform]
The fourier-transform tag has no usage guidance.
516 questions
2
votes
1
answer
1k
views
Solving a simple Schrödinger equation with Fast Fourier Transforms
While trying to solve a stochastic Gross-Pitaevskii equation I have found a problem that can be tracked down to something buggy occurring in the simplest Schrodinger equation possible:
$$\partial_t \...
- 21
2
votes
1
answer
850
views
Absolute convergence of logarithm of polynomial with positive coefficient ($\ln G(z) = \sum\limits_{i = 0}^\infty {{q_i}{z^i}} $)
Special problem: Let $G(z)$ be a probability generating function(pgf, the $z$ can be seen as real number or complex number), that is
$$G(z) = \sum\limits_{i = 0}^\infty {{p_i}{z^i}} ,(\left| z \right|...
2
votes
2
answers
2k
views
Schönhage–Strassen algorithm
After brief intro to Fourier series, CFT, DFT and their basic properties I enjoyed implementing forward and backward FFT algorithm in complex numbers. I was happy to, at least, have an idea how is it ...
- 121
2
votes
2
answers
539
views
Fourier transform of $e^{it|\xi|^{\alpha}}$
Consider the fourier transform of $e^{it|\xi|^{2\alpha}}$ ($\alpha>0$)in $\mathbb{R}^n$,let $K_{\alpha}=\mathcal{F}(e^{it|\xi|^{\alpha}})$,so $K$ is a tempered distribution.Now I want to know if ...
- 1,644
2
votes
1
answer
203
views
Existence of the special entire Hardy space function with infinitely many zeros in the strip
Question. Does there exist an entire function $h$ satisfying three following assertions:
$h$ belongs to the $H^2$ Hardy space in every horizontal upper half-plane;
$zh - 1$ belongs to $H^2(\mathbb{C}...
- 577
2
votes
1
answer
267
views
Fourier series of an arbitrary function of a cosine function
Is there a general expression for the Fourier series of the function $f(a\cos(\omega t))$ in terms of the derivatives of $f$? Obviously, the function can be expressed as a Maclaurin series $f(0)+af'(0)...
- 31
2
votes
1
answer
118
views
Is the Fourier multiplier $\mathcal F(G(-\hbar^2 \Delta)\psi)(p) = G(|p|^2)\hat \psi(p)$ justified for any real function $G$?
I am confused about a claim asserted in the paper "Higher Order Schrodinger Equations" published in IOP Science. The authors claim that a Fourier multiplier identity
$$
\mathcal F(G(-\hbar^2 ...
- 547
2
votes
1
answer
198
views
$|\hat\mu(\xi)| \lesssim |\xi|^{-1/2}$ where $\mu$ is $f\mapsto \int_{\mathbb R} \psi(r) \int_{S^{1}} f(rx,r)\, d\sigma(x)\, dr $
I have questions about the proof of Theorem $2.1$ here. The proof is on Pg. $10$. I am trying to work out the $d = 2$ case in particular.
$$\mathcal C^d = \{(x_1, \ldots, x_{d+1}): |(x_1, \ldots, x_d)|...
- 165
2
votes
1
answer
495
views
Fourier transform of a function of bounded variation
I know if $f\in L^2(\mathbb R)$ is two times continuously differentiable, then we must have that the Fourier transform is integrable. Is there any more relaxed condition than this? For example if $f$ ...
- 1,879
2
votes
1
answer
190
views
Can Mellin transform be applied in this function? What's the result?
$$f(x) = \mathop {\lim }\limits_{T \to \infty } {i}\int_{-1/2-i\,T}^{-1/2+i\,T} \frac{(x-1)^{s}}{2^{s+1}}\,\frac{1}{sin(\pi*s)\,}\,\frac{ds}{s}$$
- 1,305
2
votes
1
answer
255
views
Comparison of tail behaviour of two (bounded) random variables given their moments
Given: two positive scalar (bounded) random variables $X$ and $Y$ with the following conditions to hold:
$$ E(X)=E(Y),\ E(X^k)\ge E(Y^k), \forall k>1$$
How to show (whether it is possible to show) ...
- 21
2
votes
1
answer
112
views
How to relate this summation to standard discrete cosine transformation?
The standard type III discrete cosine transformation (DCT) is defined as follows:
$${X_k} = \frac{1}{2}{x_0} + \sum\limits_{n = 1}^{N - 1} {{x_n}} \cos \left[ {\frac{\pi }{N}n\left( {k + \frac{1}{2}} ...
- 123
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
110
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{...
- 20.2k
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
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|...
- 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
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 ...
- 67
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}\...
- 620
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$...
- 89
2
votes
0
answers
155
views
Fourier multiplier on $L^1$
On the Wikipedia page,
one can read that an iff condition for L1 boundedness of the Fourier multiplier m(D) is that
$$
\hat m\quad\text{ is a Borel measure with finite total mass. }
$$
There is no ...
- 16.2k
2
votes
0
answers
144
views
Positivity of the Fourier transform: prove or disprove that $\operatorname{Re}(\overline{\widehat{u}}(\xi) \widehat{F\circ u}(\xi))\geq0$
Let $F:[0,\infty) \to[0,\infty)$ be increasing, $C^1$ and $L-$Lipschitz with $F(0)=0$. Let $u\in L^1 (\Bbb R^d)$, $u\geq0$ so that $F\circ u\in L^1 (\Bbb R^d)$
I would like to prove (or disprove) ...
- 1,101
2
votes
0
answers
72
views
Fourier Transform Of Fractional Laplacian [closed]
Fourier Transform Of Fractional Laplacian
I dont know why we have the last 2 inequality and why it occurs the characteristics ball B1
2
votes
0
answers
56
views
Inequality for a weighted bilinear form in Fourier variables
Let $\phi:\Bbb R^d\setminus\{0\}\to [0,\infty)$ be a continuous and symmetric, i.e., $\phi(-\xi)=\phi(\xi)$. Let $F:\Bbb R\to[0,\infty)$ be increasing and $L-$Lipschitz with $F(0)=0$.
Consider the ...
- 1,101
2
votes
0
answers
79
views
For $\Phi$ a majorant of $1_{[-1/2,1/2]}$, how small can the total variation of $\widehat\Phi$ be?
Let $\Phi:\mathbb{R}\to \mathbb{R}$ be a real-valued, symmetric, non-negative function such that $\Phi(t)\geq 1$ for $|t|\leq 1/2$. Assume furthermore that $\Phi$ and $\widehat\Phi$ are both in $L^1\...
- 20.2k
2
votes
0
answers
106
views
Evaluate action of $f(\frac{d}{dx})$ using the Fourier/Laplace transform
Consider a function $f(x)$ that is numerically defined in $-1 \leq x \leq 1$ interval (assume $N$ samples). I am trying to compute the action of $f(d/dx)$ on a function $g(x)$ using the Fourier ...
- 350
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
191
views
Convergence in $S'(\mathbb R^d)$ of the paraproduct $\dot{T}_uv$
Let $B = B(0,4/3)$, $C = \{x \in \mathbb R^d : 3/4 \leq \|x\|_2 \leq 8/3\}$ and $\tilde{C} = \{x \in \mathbb R^d : 1/12 \leq \|x\|_2 \leq 10/3\}$.
For a fixed Littlewood-Paley decomposition $\chi \in \...
- 233
2
votes
0
answers
172
views
What are the necessary/sufficient conditions for a Fourier transform to have at least $k$ roots?
Let $f(x)$ be a symmetric function from $\mathbb{R}\to \mathbb{R}$, and $\hat f(k)$ be it's Fourier transform.
What are the necessary and sufficient conditions for $\hat f(k)$ to have at least $n$ ...
- 139
2
votes
0
answers
95
views
Fourier Transform ; half space elliptic baby problem
I am attempting to look at some Liouville type theorems via a Fourier analysis approach and
after looking at a baby problem I seem to be very confused. I assume this doesn't count as a research ...
- 1,385
2
votes
0
answers
105
views
Fourier Transform diagonalizes time-invariant convolution operators [closed]
I got the following paragraph from the book "A wavelet tour of signal processing" chapter one, page 2.
The Fourier transform is everywhere in physics and mathematics because it diagonalizes ...
- 4,058
2
votes
0
answers
127
views
Failure of Strichartz estimates for the wave equation: elaboration of a counter-example
One can read in Oh - Probabilistic perspectives in nonlinear dispersive PDEs (Proposition 64, p. 60) that there exists a function $F \in L^2_tL^{1}_x (\mathbb{R}_t\times \mathbb{R}^3_x)$ which is ...
- 489
2
votes
0
answers
156
views
About solutions of Klein-Gordon equation
I wonder how to solve the Klein-Gordon equation
$$\left\{\begin{split}&\partial_t^2u-\Delta u+u=f\\&u(0,x)=u_1(x),\quad \partial_t u(0,x)=u_2(x)\end{split}\right.$$
where $u(t,x)$ defined on $\...
- 71
2
votes
0
answers
74
views
Particular Ehrenpreis factorization for covariance function
Let $f:\mathbb{R}^d\to\mathbb{R}$ be a smooth compactly supported covariance function of a stationary random fields (hence positive definite).
Is there a compactly supported function $g:\mathbb{R}^d\...
- 321
2
votes
0
answers
91
views
(Dis)continuity of periodic functions with non-summable Fourier series
Let $f : [0,2 \pi)^d \rightarrow \mathbb{R}$ be a square-integrable periodic function in $L^2( [0,2 \pi)^d )$ with $d \geq 1$.
We assume moreover that the square-summable Fourier coefficients of $f$, ...
- 2,306
2
votes
0
answers
162
views
Conditions for absolute continuity in the Bochner-Schwartz theorem
Suppose that $f$ is a positive-definite Schwartz distribution, that is,
$$\langle\phi,f*\phi\rangle\geq0\qquad\text{for every }\phi\in C_0^\infty(\mathbb R^n).$$
By the Bochner-Schwartz theorem, there ...
- 891
2
votes
0
answers
127
views
eigenvectors of a graph Laplacian VS Fourier basis
Could you please illustrate the following statement:
the eigenvectors of a
graph Laplacian behave similarly to a Fourier basis, motivating
the development of graph-based Fourier analysis theory.
- 4,058
2
votes
0
answers
480
views
A Fourier elliptic vector field on a Riemannian manifold
Motivation for this question:
Let $X$ be a vector field on a manifold $M$. Obviously the differential operator $D:C^{\infty}(M)\to C^{\infty}(M)$ with $D(f)=X.f$ is not an elliptic opetator when $\...
- 356
2
votes
0
answers
61
views
Cumulant of functions of weakly dependent random variables
Suppose $X_1,\dots,X_4$ are Gaussian random variables with mean and variance
$$\mathbf E X_i = 0,\quad \mathbf E X_i^2=1.$$
Furthermore suppose that the random variables have a certain weak ...
- 623
2
votes
0
answers
811
views
Existence of unbounded $M \subset \Bbb{R}$ of finite measure s.t. $1_M$ is $L^p$-Fourier multiplier
I would like to know if there is a measurable set $M \subset \Bbb{R}$ such that
$M$ has finite Lebesgue measure $0 < \lambda(M) < \infty$,
$M$ is unbounded in the sense that $\lambda(M \...
- 734
2
votes
0
answers
550
views
Eigenvalues of a specific Hankel matrix
I have an $\frac{N}{2} \times \frac{N}{2}$ matrix $G$ with entries given by
\begin{equation}
G_{ij} = \frac{1}{\sin(\frac{\pi}{N}(i+j-\frac{3}{2}))}, \;\;\;\;\;\;\;\; 1 \le i,j \le \frac{N}{2},
\end{...
- 101
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
70
views
Reading off the Fourier coefficients whether a function is everywhere locally bounded except for finitely many points
Suppose we consider an $L^2$-function
$f:[0,1]\rightarrow \mathbb{R}_{\ge 0}$.
How does the property "$f$ is a.e. bounded by a rational function" translate in terms of the Fourier coefficients?
I ...
- 21
2
votes
0
answers
266
views
Can we do better than zero padding of FFT?
My background is in signal processing, and never took any course related to functional analysis or even advanced algebra. But I have a strong conviction (may be wrong) that we may be do better then ...
- 495
2
votes
0
answers
284
views
Conceptual explanation for Poisson summation formula
The Poisson summation formula says that for a Schwartz function $f : \mathbf R^d \to \mathbf R$ and its Fourier transform $\widehat f$, we have
$$\sum_{n \in \mathbf Z^d} f(x) = \sum_{n \in \mathbf Z^...
- 2,040
2
votes
0
answers
215
views
Generalization of Pitt's theorem
Pitt's theorem (Pitt 1937), states that the one-dimensional Fourier tranform is well defined and continuous between the weighted spaces $L^p(\mathbb{R},|x|^{bp}dx)$ and $L^q(\mathbb{R},|x|^{\beta q}dx)...
- 943
2
votes
0
answers
224
views
On uniform or simple convergence of Poisson Summation formula
Under good conditions on an even function $f(x)$ we have the Poisson Summation formula ($x>0$):
$$f(0) + 2 \sum\limits_{n =1}^{\infty} f(nx)= \frac{1}{x} \left( \hat{f}(0) + 2 \sum\limits_{n =1}^{\...
- 1,199
2
votes
0
answers
443
views
What is the Fourier transform of this function?
Consider the function
$$
f(x_1,x_2)=|x_1x_2|^{-\alpha/2}\int_{\mathbb{R}} \frac{e^{it(x_1+u)}-1}{i(x_1+u)} \frac{e^{it(x_2-u)}-1}{i(x_2-u)} |u|^{-\beta}du.
$$
It is known that $f(x_1,x_2)\in L^2(\...
- 87
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