All Questions
Tagged with fourier-analysis fourier-transform
275 questions
12
votes
2
answers
3k
views
Error of Discrete Fourier Transform on Finite Domain (vs. Continuous FT) in terms of Sobolev order
My question is about quantifying the error that occurs by approximating the continuous Fourier transform on a finite domain by using a discretised version with resolution $N$ for a function of a given ...
- 221
4
votes
1
answer
616
views
Is there an uncertainty principle for Fourier pairs everywhere dominated by $t^{-A}$?
Hardy's uncertainty principle states that a real function $f$ and its Fourier transform $\widehat{f}$ may not both decay faster at infinity than the standard Gaussian $e^{-\pi t^2}$, unless $f = 0$. ...
- 13.8k
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
6
votes
2
answers
2k
views
Reverse Hausdorff Young for nonnegative functions
The classical Hausdorff-Young inequality states that
$$
\Vert \widehat{f} \Vert_{p'} \leq \Vert f \Vert_p \text{ for } 1 \leq p \leq 2.
$$
For $p=2$, we even have equality due to Plancherel.
If we ...
- 734
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
5
votes
0
answers
82
views
Are Stochastic Process Characterized by Their conditional Moments
Suppose that $X_t$ is a real-valued stochastic process. Then is $X_t$ characterized by it's conditional moments? In the sence that, if $Y_t$ is another process, such that
$$
\mathbb{E}\left[\int_s^T\...
- 5,405
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
1
vote
0
answers
146
views
Functional equation with Fourier transform
What are the continuous functions $f$ such that on $\mathbb{R}^{+*}$:
$$f(x) - \frac{C}{x} \hat{f}(\frac{1}{x}) =x^{\alpha}$$
Where $\hat{f}$ is the Fourier transform of $f(|x|)$ and $C$ a constant....
- 1,199
5
votes
0
answers
210
views
Existence of $A\subset\Bbb{R}^n$ of finite measure and $\hat{1_A}\in\bigcap_{q>1}L^q$, but s.t. for some $1<p<\infty$, $1_A$ is no $L^p$-Fourier mult
I am interested in the following somewhat obscure question:
Is there some $n \in \Bbb{N}$, and a set $A \subset \Bbb{R}^n$ of finite measure such that the Fourier transform $\widehat{1_A}$ of its ...
- 734
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.
...
- 366
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
2
votes
1
answer
190
views
Half Poisson summation
Suppose $f$ is a Schwartz function on $\mathbb{R}$. Is there a closed formula for $$\sum_0^\infty \hat{f}(n)$$ where $\hat{f}$ is the $n$-th Fourier coefficient of $f$?
- 587
4
votes
0
answers
171
views
Convergence of integral formula for Fourier inversion (and Hilbert transform) for integrable piecewise-smooth functions
I asked the question below on Math Stack Exchange, https://math.stackexchange.com/questions/2592555/convergence-of-integral-formula-for-fourier-inversion-and-hilbert-transform-fo, but [despite it ...
- 708
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
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
1
vote
1
answer
625
views
What are the spaces for which the Fourier transform is an automorphism? [closed]
this is well-known that the Fourier transform is an automorphism of $L^2(\mathbb R)$ and also of $\mathcal S(\mathbb R)$ (Schwartz space). Is there any other spaces of functions of one real variable ...
- 615
3
votes
2
answers
1k
views
Behavior of the Fourier transform (FT) of a function and FT of its absolute function
Let $f\in L^{1} (\mathbb R) := \{f:\mathbb R \rightarrow \mathbb C \ \text {measurable functions} : \int_{\mathbb R} | f(x)| dx < \infty \}.$ We define the Fourier transform of $f$ as follows:
$$...
- 1,051
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
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
1
vote
0
answers
141
views
Characterisation of functions for which the Fourier transform commutes with a particular operator
Defining the operator $\phi$ by: $\phi(f(x))=\frac{1}{|x|} f(\frac{1}{x})$, and noting $\mathcal{F}$ the Fourier transform on the real line, can we characterize all the functions (with real variable ...
- 1,199
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
6
votes
0
answers
203
views
Uniform estimates of Fourier transform of tempered functions with parameters
Consider the following function in $\mathbb{R}^3$:
$$
f_t(x)=(1+|x|^2)^{-\alpha}e^{-g(x)t},\,\,\,\,\, \text{where}\,\, g(x)=\frac{x^2_1\cdot x^2_2}{1+|x|^2},
$$
where $\frac{1}{2}<\alpha<1$, and ...
- 879
-1
votes
1
answer
1k
views
A question about pointwise convergence of Fourier transform in $N$-dimensions
I am retreating back on this statement, after some explorations and calculation
Bow to Willie and others who were skeptical on this. Main difficulty can be seen in this reference. But I must mention ...
- 698
2
votes
1
answer
2k
views
nonnegative Fourier Transform
Let $\widehat{f}(\xi)$ be Fourier transform of $f$ given by
\begin{align}
\widehat{f}(\xi)=\int_{\mathbb{R}^n} e^{-ix\cdot\xi}f(x)dx.
\end{align}
Suppose that $\widehat{f}(\xi)$ is nonnegative and ...
user9663
5
votes
1
answer
337
views
Largest area of a compactly supported positive definite function
Consider a continuous function $f: \mathbb{R} \rightarrow \mathbb{R}$, supported on $[-1,1]$, of positive type. Assume $f(0) = 1$; what is the "largest area" $\int f\,dx$ that can be achieved?
To be ...
- 195
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
0
votes
0
answers
60
views
Solution of a functional equation with cosine transform
What are the functions verifying:
$$\int_0^{\infty} f(t) \cos(2\pi xt)=\lambda \frac{1}{x} f(\frac{1}{x})$$
With $\lambda$ a constant ?
(Functions $x^{-\alpha}$ with $0<\alpha<1$ are solutions ...
- 1,199
1
vote
1
answer
675
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
0
votes
1
answer
906
views
Fourier series and transform related to Epicycles
Let $\gamma:\mathbb{R}\to\mathbb{C}$ be a continuous periodic curve having a bounded variation.
1) Is it true that one can find a sequence of numbers $(r_n)_{n\in\mathbb{N}}\subset (0,\infty)$ and ...
- 33
1
vote
0
answers
124
views
Inequality about the Fourier transform: $\Vert u \Vert_{L^k} \le \Vert \mathcal{F}(u) \Vert_{L^m}$ (where $1 \le m \le 2$ and $m,k$ Holder conjugates)
How can I prove the following inequality about the Fourier transform?
$$\Vert u \Vert_{L^k(\mathbb{R}^N)} \le \Vert \mathcal{F}(u) \Vert_{L^m(\mathbb{R}^N)}$$ for $1 \le m \le 2$ and $m,k$ Holder ...
user89890
1
vote
0
answers
50
views
Comparison of (square) of a function and its Fourier transform in an integral
I am completely stuck on a comparison between $f(t)^2$ and $\hat{f}(t)^2$ in an integral.
Considering $f(t)$ of rapid decrease at infinity such that near zero: $f(t) \sim_0 t^{-\frac{1}{2}- \alpha}+o(...
- 1,199
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
1
vote
1
answer
2k
views
Fourier Transform of compactly supported $L^1$ functions
Background Given a (translation bounded) positive definite measure $\gamma$ lets say on $\mathbb R^d$, its Fourier transform as a tempered distribution is a positive measure $\widehat{\gamma}$.
I am ...
- 2,071
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
0
votes
1
answer
138
views
How can obtain energy of a signal using stockwell´s transform?
The stockwell´s transform is defined as: $$S(t,f) = \int_{-\infty}^\infty x(\tau)w(t-τ,f)e^{-2\pi if\tau}d\tau$$ Where $$w(t-τ,f)$$ is the gaussian window.
I need obtain the energy of a signal using ...
0
votes
0
answers
808
views
Inverse Fourier transform of $\frac{1}{\sqrt{\xi_1} + \xi_2}$
Consider the inverse Fourier transform of $\frac{1}{\sqrt{\xi_1} + \xi_2}$. My question is, how can we conclude about the decay properties, support and smoothness of the inverse Fourier transform? I ...
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
1
vote
1
answer
1k
views
Fourier approximation error in L^2 for piecewise continuous functions
Let $u:[0,2\pi)\to \mathbb{R}$ be the step function
$$u(x) = \begin{cases}
1 & \text{if } x \in [0,\pi), \\
0 & \text{if } x \in [\pi,2\pi)
\end{cases}$$
By a direct computation, one ...
- 837
1
vote
2
answers
148
views
Solution to inhomogenous PDE
Given the equation $(1-\Delta)u=f$ for $f \in S(\mathbb{R}^n)$ (rapidly decreasing functions) we get by taking the Fourier transform that
$u = \left(\frac{1}{2\pi}\right)^{\frac{n}{2}}\mathcal{F}^{-...
- 85
1
vote
0
answers
327
views
If $\mathcal{F}$ is the Fourier transform, what can be said about $\mathcal{F}(L^1(\mathbb{R})) \cap L^1(\mathbb{R})$?
The Fourier transform gives a map of the Schwartz space to itself which turns out to be a linear homeomorphism of period 4.
However, when the domain is extended to $L^1(\mathbb{R})$, the situation is ...
- 111
5
votes
0
answers
124
views
Extension of function that minimizes function of Fourier transform
Suppose that $f$ is a given (smooth) function defined on $B\subset \mathbb R^n$. (For simplicity, take $B$ to be the unit ball but more generally we can take $B$ to be some other measurable set). How ...
- 371
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
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
3
votes
2
answers
354
views
Bandwidth approximation for a nonlinear problem
Can anyone please help me with this problem.
I must let you know from the beginning that it's not an easy one.
"Two functions are given: $u, y \in L^{2}(-\infty,\infty), y(t)=\frac{u(t)}{u(t)+b}$ ,
...
1
vote
1
answer
169
views
Estimate a Fourier Transform [closed]
I'm reading an article which claims the following result (p.9): if $f : \mathbb{R}^{2} \to \mathbb{R}$ is of the form $f(x_1,x_2) = \sin (N x_{1}) h (g^{-1}(x))$, where $g$ is a diffeomorphism and $h$ ...
- 119
3
votes
2
answers
196
views
Inverse Fourier of $\omega^{-1+{\rm i}\alpha} u(\omega-1)$
Let $\alpha$ be an arbitrary real number and define
\begin{align}
\widehat{f}(\omega)=\left\{\begin{array}{ll}
\omega^{-1+{\rm i}\alpha}, & \omega>1,\\
0, & \textrm{otherwise}.
\end{array}
\...
- 31
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
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
0
votes
1
answer
145
views
Simplifying an expression using tools from Fourier transform
Can anyone simplify the following expression? I guess something from Fourier transform can help:
$f(\omega) = \lim_\limits{R \to \infty} \frac{1}{R^2} \int_{r=0}^{R}{re^{ \omega r^{-\gamma}}} \...
- 482