All Questions
Tagged with fourier-analysis fourier-transform
275 questions
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\...
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 ...
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-)$...
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 ...
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$?
15
votes
4
answers
2k
views
Positivity of certain Fourier transform
Is the Fourier transform of the function
$$ f(\xi) = e^{-t|\xi|^{2m}}$$
positive for $t>0$ and $m \in \mathbb{N}_0$?
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$. ...
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 ...
3
votes
1
answer
2k
views
About Fourier transforms of piecewise linear functions. [closed]
Consider a function $f$ which is $0$ for $x< 1$ and is say $x-1$ for $x >1$.
Consider a function $g$ which is $0$ for $x <2$ and is say $x -2$ for $x>2$.
Now using some kind of ...
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}.$...
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}^{-...
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 ...
18
votes
3
answers
7k
views
Eigenvectors of the Fourier transformation
The Fourier transform $\hat u$ is defined on the Schwartz space $\mathscr S(\mathbb R^n)$
by
$
\hat u(\xi)=\int e^{-2iπ x\cdot \xi} u(x) dx.
$
It is an isomorphism of $\mathscr S(\mathbb R^n)$ and the ...
15
votes
2
answers
1k
views
Is there a $C_c^{\infty}( \mathbb{R}^d)$ function whose Fourier transform we can explicitly write down?
I noticed that although $C_c^{\infty}$-functions are dense in some quite large spaces and well understood (especially their Fourier transform) I have never encountered an explicit example of a ...
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$ ...
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}} ...
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 ...
5
votes
2
answers
2k
views
Why decompose a function with eigenvectors of Laplace operator? [closed]
On periodic domain, people always use Fourier basis, which eigenvectors of Laplace operator. On sphere, people use spherical harmonics, which also are eigenvectors of Laplace operator. In applied ...
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 ...
1
vote
0
answers
122
views
Resolvent of the operator
Consider the Laplace operator defined on the biggest possible subset of$L^{2}(R^{2})$:
$T= - \partial^{2}_{x} -\partial^{2}_{y}+x^{2}+y^{2}+ 2.i(x \frac{\partial}{\partial y}-y\frac{\partial}{\...
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 \...
1
vote
1
answer
673
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 ...
-1
votes
1
answer
143
views
Help with notations from 2D to 3D FFT representations as 1D FFT
I have this question on mathematics forum too, Notations, I thought of posting here, which ever place I get an answer, I will try to close it in the other.
I need some help and clarifications for my ...
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}
$$
...
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}}} \...
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 ...
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 ...
0
votes
0
answers
79
views
Is Wiener amalgam spaces $W^{2,1}(\mathbb R)\subset C_0(\mathbb R)$?
I have been learning Wiener amalgam spaces.
In Wiener amalgam spaces $W(X, L^2)$, I am taking $X=\mathcal{F}L^{1}=\{f\in L^{\infty}(\mathbb R):\hat{f}\in L^{1}\},$ and $m(x)=1.$
Take $f(x)= \chi_{\...
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}} |\...
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 ...
1
vote
0
answers
85
views
Can we choose $g$ so that $\|(g\widehat{(f^{3})})^{\vee}\|_{L^{p}} \leq C \|g_{1}f\|_{L^{2}}^{r} \|(g_{2}\hat{f})^{\vee}\|_{L^{s}}$?
[I have asked this question on S.E. M; but I have not got any answer; and hope this is o.k. for M.O]
Let $f, f^{2}, f^{3}\in L^{q}(\mathbb R)\cap C_{0}(\mathbb R)$ where $ q\geq p, \ \text{and}$ and ...
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}^{\...
5
votes
0
answers
326
views
Can we extend the twisted Poisson Summation formula with functions having a singularity in zero?
The following "twisted" Poisson Summation formula for $\chi$ primitive of conductor $q$ :
$$ \sum_{n\in\mathbb{Z}}\chi(n)f\left(\frac{nx}{\sqrt{q}}\right) =
\frac{A}{x}\sum_{n\in\mathbb{Z}}\bar\chi(n)...
5
votes
2
answers
822
views
Is there a Poisson Summation formula for imprimitive Dirichlet characters?
I was wondering if there exists a Poisson Summation formula (like the one existing with primitive character) for imprimitive Dirichlet characters ?
For a primitive Dirichlet character $\chi$ we have:
...
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(\...
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'}}\...
1
vote
0
answers
41
views
Multidimensional Filters
Say you want to design a LP FIR filter with low pass cutoff $fc$, transition band $fc$ to $fs$ and ripple factor $dp$ at passband and $ds$ at stop band. If one divides the frequencies by $\pi$, then $...
0
votes
1
answer
179
views
A kind of Discrete Fourier Transform
Given a $z\in \mathbb{C}^N$, the DFT of $z$ is given for every $k\in [0,N-1]_\mathbb{N}$ by
$$DFT_z(k)=\frac{1}{N} \sum_{j=0}^{N-1} z_j\, \omega^{-k j}$$ where I have denoted by $\omega$ the $N$-th ...
4
votes
3
answers
334
views
Is there a compactly supported function that its Fourier transfrom vanishes at given n real points?
My question is as follows: Given ${{\lambda }_{1}},\,{{\lambda }_{2}},...,{{\lambda }_{n}}\in \mathbb{R}$ where $\underset{1\le j\le n-1}{\mathop{\min }}\,\left| {{\lambda }_{j+1}}-{{\lambda }_{j}} \...
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 ...
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 ...
-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 ...
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 ...
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 ...
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\...
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}
\...
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$ ...
17
votes
2
answers
4k
views
Is this statement which relates the Fourier transform of a function to its singularities correct?
I am working on a problem, which would possibly relate the Fourier transform/series with the jump singularities of the function where the function itself or one of its derivatives jump. ((some kind of ...
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
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 ...