Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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\...
Rajesh D's user avatar
  • 698
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 ...
Olli's user avatar
  • 21
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-)$...
Hheepp's user avatar
  • 371
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 ...
Holden Lee's user avatar
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$?
Qijun Tan's user avatar
  • 587
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$?
Matthias Ludewig's user avatar
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$. ...
Vesselin Dimitrov's user avatar
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 ...
user3237805's user avatar
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 ...
gradstudent's user avatar
  • 2,246
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}.$...
Tomas's user avatar
  • 879
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}^{-...
Leopold's user avatar
  • 85
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 ...
Leopold's user avatar
  • 85
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 ...
Bazin's user avatar
  • 16.2k
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 ...
Jonathan's user avatar
  • 181
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$ ...
W.314's user avatar
  • 119
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}} ...
user15964's user avatar
  • 123
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 ...
Héhéhé's user avatar
  • 615
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 ...
Po C.'s user avatar
  • 487
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 ...
juan arroyo's user avatar
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}{\...
Fadil Kikawi's user avatar
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 \...
Carlos_San's user avatar
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 ...
demitau's user avatar
  • 225
-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 ...
Syed Alam Abbas's user avatar
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} $$ ...
Pavel's user avatar
  • 71
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}}} \...
Jeff's user avatar
  • 482
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 ...
Student's user avatar
  • 33
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 ...
anonymous's user avatar
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_{\...
Inquisitive's user avatar
  • 1,051
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}} |\...
Physicist 2.0's user avatar
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 ...
Bazin's user avatar
  • 16.2k
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 ...
Inquisitive's user avatar
  • 1,051
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}^{\...
Bertrand's user avatar
  • 1,199
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)...
Bertrand's user avatar
  • 1,199
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: ...
Bertrand's user avatar
  • 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(\...
Uchiha's user avatar
  • 87
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'}}\...
Wang Ming's user avatar
  • 425
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 $...
Turbo's user avatar
  • 13.9k
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 ...
Kosh's user avatar
  • 364
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}} \...
Baily's user avatar
  • 141
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 ...
Rajesh D's user avatar
  • 698
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 ...
acr's user avatar
  • 195
-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 ...
Rajesh D's user avatar
  • 698
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 ...
PhoemueX's user avatar
  • 734
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 ...
Paglia's user avatar
  • 837
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\...
Bazin's user avatar
  • 16.2k
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} \...
Arash's user avatar
  • 31
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$ ...
Inquisitive's user avatar
  • 1,051
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 ...
Rajesh D's user avatar
  • 698
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 ...
Inquisitive's user avatar
  • 1,051
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 ...
Inquisitive's user avatar
  • 1,051