Questions tagged [fourier-transform]
The fourier-transform tag has no usage guidance.
208 questions with no upvoted or accepted answers
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
320
views
Does convolution by a Schwartz function preserve symbol classes?
I am working on a problem involving pseudodifferential operators, and I need a property of the operator "convolution by a Schwartz function". I apologize in advance if the question is ...
- 395
3
votes
0
answers
269
views
Finding (and saturating) a sharp Babenko-Beckner inequality for finite fields
My question is a follow-up to Abdelmalek Abdesselam's recent post
What makes Gaussian distributions special? Local field version?
asking about various characterizations of (real-valued) Gaussian ...
- 2,137
3
votes
0
answers
309
views
The $2\pi$ factor in the Fourier transform and dimensional analysis
I have been thinking about the $2\pi$ factor in the various conventions of the Fourier transform. For example, I was looking for a way to justify the following:
$(*)$ If we define $\hat f(\xi) = \int ...
- 613
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
140
views
Decay of Laplace (or Mellin) transform beyond region of convergence?
Let $f:[0,\infty)\to \mathbb{R}$ be a piecewise differentiable function with $f(0)=0$ and $f'(t)$ of bounded variation. Its Laplace transform $\mathcal{L}f$ converges for $\Re s > 0$. Assume it can ...
- 20.2k
3
votes
0
answers
155
views
Why does division parallelize but not continued fractions and is there an analog of multiplication to continued fractions?
All the basic arithmetic operations $\times,+,/,-$ can be parallelized. However continued fraction representation of a rational number is not parallelized. The process of Euclid's algorithm looks ...
- 13.9k
3
votes
0
answers
150
views
Keeping $\max_{|t|\geq 1} |\widehat{\phi}(t)|$ small (uncertainty principle)
Let $\phi:\mathbb{R}\to \lbrack 0,\infty)$ be piecewise continuous, symmetric ($\phi(x)=\phi(-x)$) and with support on $(-1,1)$. Let $\Phi(x)=\int_{-\infty}^x \phi(u) du$; assume $\Phi(1)=1$.
What is ...
- 20.2k
3
votes
0
answers
66
views
Does this definition of the Fourier intensity measure make sense?
Let $\epsilon_n$ be a sequence in $\{-1,1\}^{\mathbb Z_+}$.
For simplicity, assume that $\epsilon_n$ is just the Thue-Morse sequence with symbols $1$ and $-1$ (although the following definition is ...
- 785
3
votes
0
answers
261
views
Extension of Paley-Wiener-Schwartz theorem to vector-valued distributions
Let $H_{j} := (H_{j}, \| \cdot \|_{H_{j}} ), j=0,1$ be a Hilbert space, and set
\begin{equation*}
{\mathscr S}'(\mathbb{R}^{n}, H_0; H_1) := {\mathscr L}( {\mathscr S}(\mathbb{R}^{n}, H_0), H_1)
\end{...
- 31
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
3
votes
0
answers
94
views
Asymptotics of fast decaying oscillating integrals
Let $g(t):\mathbb{R}\rightarrow \mathbb{C}$ be a smooth even function such that for each positive integer $n$ the function $g^{(n)}(t)$ tends to 0 when $t$ goes to infinity and $\int_0^\infty |g^{(n)}(...
- 109k
3
votes
0
answers
651
views
Decay of the Fourier transform of a surface area measure
Let $\mu$ be a surface area measure of a manifold $M\hookrightarrow\mathbb{R}^{n+1}$. If $M$ is the unit sphere $S^n$, it's known that surprisingly the Fourier transform of $\mu$ decays: $$|\hat\mu(\...
- 43
3
votes
0
answers
211
views
A question about Fourier transform of function of the type $Q(x)(1+P(x))^{z}$
For simplicity, consider in $\mathbb{R}^3$, and the Fourier transform of the following function
$$f=(x_1+x_2+x_3)(1+|x|^2+x_1^2(x_2^2+x_3^2)+x_2^2x_3^2)^{-t+is},~~ \frac12<t<1,~~s\in \mathbb{R}.$...
- 879
3
votes
0
answers
225
views
Green's Function for a Kernel with Symmetric Fourier Transform $\nabla^2-x^2$
I am trying to find the inverse of the following kernel in 3 dimensions
$$
\nabla^2-x^2,
$$
where,
$$
x^2=\vec{x}.\vec{x}
$$
It seems quit simple and one would think there should already be solutions ...
- 31
3
votes
0
answers
151
views
Meaning of fractional Fourier transform with imaginary iteration count
(I'm reposting this from math.stackexchange as I didn't get an answer there and thought it might be "advanced" enough for this site.)
As one may know, the Fourier Transform
$$F[f](\nu) = \int_{-\...
- 1,687
3
votes
1
answer
77
views
Level sums, displacements: how to determine them efficiently?
Let $R =\mathbb{Z}/N \mathbb{Z}$. Let $f:R\to \mathbb{R}$,
$\rho:R\to \lbrack 0,1\rbrack$. We assume that it takes trivial time to compute any given value $f(m)$ or $\rho(m)$.
Define $$S(\delta,m) = ...
- 20.2k
2
votes
0
answers
109
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
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
154
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
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
171
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
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