All Questions
69 questions
24
votes
3
answers
1k
views
Is there a 'certainty' principle?
Heisenberg's uncertainty principle is a restriction on which probability distributions can describe the position and momentum of a quantum particle.
In mathematical terms it says that if $\psi\in L^2$ ...
- 3,137
23
votes
0
answers
1k
views
Laplace Transform in the context of Gelfand/Pontryagin
Questions:
Is there a class of objects (presumably related to locally compact abelian groups) for which the quasi-characters canonically generalize the Laplace transform?
If not, is there a ...
- 1,124
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
11
votes
1
answer
691
views
Reference request: Fourier transform on the multiplicative group of real numbers
Let us consider the three groups $(\mathbb{R},+)$, $(\mathbb{Z}/2\mathbb{Z},+)$ and $(\mathbb{R}^\times,\cdot)$ (where $\mathbb{R}^\times := \mathbb{R} \setminus \{0\}$). We endow $\mathbb{R}$ with ...
- 12.6k
11
votes
0
answers
707
views
What is the asymptotics of the Fourier transform of $\exp(-x^4)$ for large wave numbers?
The Fourier transform of $\exp(-x^4)$ has an analytical expression, it's the difference of two generalized hypergeometric functions:
$\int d x \ e^{-x^4} e^{ikx} = 2 \ \Gamma(\frac{5}{4}) \ _0F_2(;\...
- 111
8
votes
2
answers
613
views
Pairs of elementary Fourier transforms in $L^2$
It is customary to teach Fourier transform on the real line by starting with functions from $L^1$, $L^2$ or the Schwartz space. It is not so easy to illustrate the theory by computing explicit pairs ...
- 18.7k
8
votes
1
answer
491
views
Functional equation with Fourier transform and $\frac{1}{x} f(\frac{1}{x}) $
What are the continuous functions $f$ such that on $\mathbb{R}^{+*}$, they satisfy following functional equation:
$$\int_0^\infty f(t) e^{-itx} \, dt =\lambda \frac{1}{x} f\left(\frac{1}{x}\right)$$
$\...
- 1,199
7
votes
1
answer
1k
views
Where does the Laplace transform come from?
The Gelfand transform on the commutative Banach *-algebra $L^1(\mathbb{R})$ is just the Fourier transform.
Q. What can we say concerning the Laplace transform?
- 4,058
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
7
votes
2
answers
469
views
Eigenstates of Fourier transformation
Let $\gamma$ be defined on $\mathbb R^n$ by $\gamma (x)=e^{-π x^2}$. With $\mathcal F$ standing for the Fourier transformation defined on the Schwartz space by
$$
(\mathcal F u)(\xi)=\int e^{-2iπ x\...
- 16.2k
7
votes
1
answer
909
views
Proof of a Fourier pair with Bessel functions?
How can we prove that the Fourier transform of the function
$$
f(x)
=
\begin{cases}
(a^2-x^2)^{c/2} BesselJ[c,b\sqrt{a^2-x^2}] & \text{for }x^2 < a^2\\
0 & \text{otherwise}
\end{cases}
$$
...
- 71
6
votes
2
answers
458
views
Does the (distributional) support of the Fourier transform of an $L^p$-function with $p<\infty$ have positive measure?
Suppose that $f \in L^p(\mathbb R^n)$ such that $1\leq p < \infty$. Let $\hat f$ be the Fourier transform of $f$. Clearly, if $p=1$ or $p=2$ then the support of $\hat f$ has positive Lebesgue ...
- 437
6
votes
1
answer
491
views
Harmonic analysis for a beginner
I am currently dealing with discrete Fourier transform and correlation technique to construct the spectrum of a broad band signal. It's already known that if I have enough observations of the signal, ...
- 159
5
votes
3
answers
2k
views
Extension of Poisson Summation formula
Under the condition f continuous, integrable and:
$|f(t)| + |\hat{f}(t)| \le C (1+|t|)^{-1-a}$ (with a>0)
we have the twisted Poisson formula that holds (where $\chi(n)$ is a primitive Dirichlet ...
- 1,199
5
votes
1
answer
2k
views
Injectivity of the Fourier transform on $L^1$ without inversion
Is there a proof of the injectivity of the Fourier transform on $L^1({\bf R})$ that does not rely on an inversion formula?
The proofs I have seen in the literature ultimately rely either on the ...
- 18.7k
5
votes
0
answers
194
views
When does the Fourier transform of a measure decay?
Let $\mu$ be a Borel measure on $\Bbb R^d$.
It is well known that $\mu= |f|dx$ with $f\in L^1(\Bbb R^d)$ then its Fourier transform satisfies
$$\widehat{\mu}(\xi)\to0,\qquad \xi\to\infty.$$
However if ...
- 1,101
5
votes
0
answers
286
views
$f, \hat{f} \in L^{p}\cap L^{\infty} \implies f\in B(\mathbb R)$ (algebra of Fourier- Stieltjes transforms )?
For a bounded complex Borel measure $\mu$ on $\mathbb R$, we define, its Fourier-Stieltjes transform, $\hat{\mu}(y)= \int_{\mathbb R} e^{-2\pi ix\cdot y} d\mu(x); (y\in \mathbb R).$
Let $1\leq p \leq ...
- 1,051
4
votes
2
answers
1k
views
Characterizations of Wiener algebra
The Wiener algebra $\mathcal W$ is defined as $\text{Fourier}(L^1(\mathbb R))$, i.e. the image by the Fourier transform of $L^1(\mathbb R)$. Riemann-Lebesgue's lemma ensures that
$$
\mathcal W\subset ...
- 16.2k
4
votes
1
answer
277
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
203
views
If $f$ is non-prime, can we say $|f|$ is also a non-prime; in convolution algebra?
By Schwartz-inequality and Riesz–Fischer theorem, one can deduced that,
$$L^{2}(\mathbb T) \ast L^{2}(\mathbb T) = A(\mathbb T)(:= \{f\in L^{1}(\mathbb T): \sum_{n\in \mathbb Z} |\hat{f}(n)| < \...
- 1,051
4
votes
1
answer
255
views
Proof that elements of Beppo-Levi-like spaces are functions (and not just distributions)?
Context. I am trying to undestand the theory underlying "Beppo-Levi"-like spaces defined as
$$
H = \left\{f\in {\cal S}'(\mathbb{R}^d) \;\left| \; t\times\widetilde{f} \in {\cal L}^2(\mathbb{...
4
votes
1
answer
277
views
Does the Fourier transform preserve the separation property?
The space of Schwartz functions on the plane is denoted by $\mathcal{S}$.
The usual multiplication and the convolution multiplication on $\mathcal{S}$ are denoted by $m_1$ and $m_2$, respectively.
...
- 356
4
votes
0
answers
116
views
Is there a categorical foundation for manifolds of bounded geometry and bandlimited functions?
As an outsider to both, manifolds of bounded geometry and bandlimited functions appear rather connected: for example, bounded geometry is defined in terms of bounds on curvature and its derivatives, ...
- 3,612
3
votes
2
answers
590
views
On the Fourier inversion formula
For a given function $f\in L^1(\mathbb{R})$, suppose that the
$$\check{f}(x)=\int_\mathbb{R} \hat{f}(\zeta)e^{2\pi i\zeta x}d\zeta$$
almost every where converges in $\mathbb{R}$. Then, can we say that
...
- 4,058
3
votes
2
answers
869
views
How do functions operate in a Sobolev space $H^{s}$?
Let $s>\frac{1}{2};$ and define a Sobolev space as follows:
$$H^{s}(\mathbb R)=\{f\in L^{2}(\mathbb R):[\int_{\mathbb R} |\hat{f}(\xi)|^{2}(1+|\xi|^{2})^{s}d\xi]^{1/2}<\infty \}.$$
Fact: Let $m$ ...
- 1,051
3
votes
2
answers
1k
views
Fourier transform inversion theorem for a function not in L1 or L2
For $\frac{1}{4}<a<1$ consider the following function:
$$f(x)=\frac{|x|^{\frac{1}{2}}}{(x^2+1)^{a+ib}}$$
If $1>a>\frac{1}{2}$ then $f(x) \in L^2$ and the Fourier inversion theorem can be ...
- 1,199
3
votes
1
answer
304
views
Existence of probability measure on the circle with given Fourier coefficients
We say that a Hermitian symmetric (i.e., $f_{-n} = f_n^*$ for any $n \in \mathbb{Z})$ sequence $(f_n)_{n\in \mathbb{Z}}$ is positive-definite if, for any $N \geq 0$ and any $z_0 , \ldots, z_N \in \...
- 2,306
3
votes
1
answer
518
views
Connection between the Fourier transform of f and |f|
If $f\in L^p(R)$ with $1\leq p\leq 2$, then Hausdorff-Young inequality implies that the Fourier transform $\widehat{f}\in L^{p'}$, $p'$ is the dual exponent of $p$, and
$$
\|\widehat{f}\|_{L^{p'}}\...
- 425
3
votes
1
answer
423
views
Is there (fast) fourier transform for vector convolution?
Given a list of variables $u_1,\dots,u_m\in\mathbb R$ and $v_1,\dots,v_n\in\mathbb R$ the standard convolution is defined
$$U*V(t)={\sum_{i}} u_iv_{t-i}.$$
Given a list of vectors $u_1,\dots,u_m\in\...
- 13.9k
3
votes
0
answers
162
views
The essential norm where some Fourier coefficients are fixed
Let us denote $C_{2\pi}$ by the set of all $2\pi$-periodic continuous functions $f:\mathbb{R}\to \mathbb{R}$.
Q. Let $\phi\in C_{2\pi}$. Is the following statement valid?
$$\|\phi\|_2=\inf_{g\in C_{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
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
251
views
Two classic problems concerning Fourier transform of an integrable function
I am looking for the following questions:
(1) True or false? for every $p<q$, one may find a function $f\in L^1(\mathbb{R})$ such that $\hat{f}\in L^q (\mathbb{R})$ but $\hat{f}\notin L^p (\...
- 4,058
2
votes
1
answer
272
views
Proof of covariant convolution for a kernel function that is rotation symmetric in Fourier space
Problem Statement
Let $g:\mathbb R^{d}\to \mathbb R,d\in\{2,3\}$ be an integrable function (assumption I1). Suppose $\mathcal T$ is a rotation, and $f:\mathbb R^d\to\mathbb C$ (assumption C) is an ...
- 53
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
111
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
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
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
487
views
Fourier Transform of an even function
Let $S^n$ be an $n$-dimentional unit sphere.
Consider $f: S^n \longrightarrow R_+$, where $f$ is an even continuous function.
Denote
$$
F(f):=\int_0^{\infty}\int_{S^n}f(y)g\left(\frac{|xy|}{t}\...
- 343
1
vote
1
answer
289
views
Closed sets in the space of Fourier transforms $\mathcal{F}L^{1}$
Consider the space of all Fourier transforms of $L^{1}(\mathbb R),$ that is,
$$\mathcal{F}L^{1}=\mathcal{F}L^{1}(\mathbb R):= \{f\in L^{\infty}(\mathbb R):\hat{f}\in L^{1}(\mathbb R)\},$$
with the ...
- 1,051
1
vote
1
answer
230
views
Why we have $f=0$
Define the Fourier transform for a suitable function $f\in L^1(\Bbb R)$ by $\widehat{f}(\xi)=\int_{\Bbb R}f(x)e^{-ix\xi} dx$.
Assume the condition $$\int_{\Bbb R}\int_{\Bbb R}|\widehat{f}(\xi)f(x)|^...
- 521
1
vote
1
answer
484
views
When one can expect $\widehat{(fg)} = \hat{f} \ast \hat{g}$; $f, g\in L^{1} (G)$?
Let $f, g \in L^{1}(\mathbb T)= L^{1} ([-\pi, \pi))$. We define, the Fourier transform of $f$ as follows:
$$\hat{f}(n)=\frac{1}{2\pi}\int_{-\pi}^{\pi} f(t) e^{-int} dt, \ (n\in \mathbb Z).$$
It is ...
- 1,051
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 &...
- 4,058
1
vote
1
answer
203
views
Explanation of a step in a work by C. E. Kenig and A.D. Ionescu
I am studying the work
Ionescu, A. D.; Kenig, C. E., Local and global wellposedness of periodic KP-I equations, Bourgain, Jean (ed.) et al., Mathematical aspects of nonlinear dispersive equations. ...
- 159
1
vote
1
answer
439
views
Well-known conditions for the Fourier inversion formula
Let $f\in L^1(\mathbb{R})$.
One may easily check that
$$(*)~~~f', f''\in L^1(\mathbb{R})\Rightarrow \int_\mathbb{R}|\hat{f}| ~\text{is finite} \Rightarrow \int_\mathbb{R}\hat{f}(s)e^{2\pi is x}ds ~\...
- 4,058
1
vote
1
answer
672
views
Fractional Sobolev spaces on the circle with a Littlewood-Paley characterisation
Fractional Sobolev space $H^s_p(\mathbb R), s>0, 1<p<\infty$ is a space of tempered distributions $f$ that satisfy $F^{-1}((1+|\xi|^2)^{s/2} F(f)) \in L_p(\mathbb R)$.
Here, $F$ denotes the ...
- 225
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