Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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\...
H A Helfgott's user avatar
  • 20.2k
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{...
Dapao Zhang's user avatar
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$ ...
SarthakC's user avatar
  • 139
2 votes
0 answers
105 views

Fourier Transform diagonalizes time-invariant convolution operators [closed]

I got the following paragraph from the book "A wavelet tour of signal processing" chapter one, page 2. The Fourier transform is everywhere in physics and mathematics because it diagonalizes ...
ABB's user avatar
  • 4,058
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 ...
J.Mayol's user avatar
  • 489
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$, ...
Goulifet's user avatar
  • 2,306
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.
ABB's user avatar
  • 4,058
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 \...
PhoemueX's user avatar
  • 734
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 ...
Patch's user avatar
  • 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 ...
Olli's user avatar
  • 21
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
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
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
2 votes
0 answers
687 views

Positive Fourier coefficients for a function $f:\{+1,-1\}^n \to \mathbb R$

This is from my research in computer science where the Fourier transform over $GF(2)^n$ is a tool to study functions on the Boolean hypercube. For example, the majority function on 3 variables is ...
Federico Magallanez's user avatar
2 votes
0 answers
814 views

Quantifying the “flatness” of functions which are the Fourier transforms of positive functions

Short version of question: I'm trying to understand the extent to which a function is prevented from being "flat" as a result of being the Fourier transform of a positive function. That is, the extent ...
Keith's user avatar
  • 21
1 vote
2 answers
2k views

Fourier transform of a holomorphic function

Question: Is there a simple method for calculating the Fourier transform of a holomorphic complex function ${f{{\left({z}\right)}}}:\Omega\to{\mathbb{{{C}}}}$? In order for my question to be well-...
Talmsmen's user avatar
  • 547
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
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}\...
user124297's user avatar
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
1 vote
1 answer
217 views

Uniqueness of Fourier–Stieltjes transform for finite complex valued measures

Let $\mu$ be a finite complex valued measure on $\mathbb{R}$ and let $\hat{\mu}$ be it's Fourier–Stieltjes transform $$ \hat{\mu}(\omega)= \int_{\mathbb{R}} e^{it\omega} d \mu(t) $$ Question: Does $\...
Boby's user avatar
  • 671
1 vote
1 answer
389 views

When are Fourier cosine coefficients convex?

In the question When are Fourier coefficients monotonic it was determined that, if a function $f$ is (the restriction to $[0,2\pi]$) of a completely monotone function, then its Fourier coefficients, ...
spaceman's user avatar
  • 595
1 vote
1 answer
158 views

Fourier transform for $H^2(\mathbb{R}^N)$, $N\geq 5$

How i can prove that if $u\in H^2(\mathbb{R}^N)$ then $u\in \mathcal{F}(L^{p^*}(\mathbb{R}^N))$, where $1/p+1/{p^*}=1,$ $2\leq p<2N/(N-4)$?
Pádua's user avatar
  • 69
1 vote
3 answers
307 views

Fourier transform of a generalized function on the plane

Is there an explicit formula for the Fourier transform of the generalized function of 2 variables $$\frac{1}{x+y^2+i0}?$$ Remark. Equivalent question: consider the Schroedinger equation one the ...
asv's user avatar
  • 21.8k
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)|^...
zoran  Vicovic's user avatar
1 vote
1 answer
1k views

Fourier transform of delta function restricted to sphere [duplicate]

I want to compute $\mathcal{F}^{-1}\{\delta(|\cdot|-1)\}(x)$, which exactly means the following computation: $$f(x) = (2\pi)^{-n/2} \int_{|\xi|=1}e^{ix\cdot\xi}\mathrm{d}\xi, \mbox{ where }~ \xi \in \...
henrysupercool's user avatar
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
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 ...
Inquisitive's user avatar
  • 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 &...
ABB's user avatar
  • 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. ...
Mr. Proof's user avatar
  • 159
1 vote
2 answers
152 views

Is $\int_{\mathbb{R}} \int_{\mathbb{R}^n} \alpha w(t) e(\alpha (a_1t_1 + \dotsb + a_n t_n)) dt\,d \alpha = 0$?

Let $a_i$ be a nonzero real number for each $1 \leq i \leq n$. $w$ a smooth nonnegative with compact support. I would like to understand the following integral. $$ I = \int_{\mathbb{R}} \int_{\mathbb{...
Johnny T.'s user avatar
  • 3,625
1 vote
1 answer
508 views

Fourier transform of the fractional Poisson kernel

Recall that the extension of function from $u:\mathbb{R}^n\to \mathbb{R}$ can be defined using the Poisson Kernel as follows: $$u^{\mathrm{e}}(\mathbf{x}):=\gamma_{n} \int_{\mathbb{R}^{n}} \frac{x_{n+...
Student's user avatar
  • 537
1 vote
1 answer
197 views

Probability of two Boolean functions being equal expressed in terms of the maximum Fourier coefficient

This paper by Maslov et al. uses that the probability of two $n$-bit Boolean functions $l(x)$ and $g(x)$ being equal is bound in terms of $\hat{g}_\text{max}$, the largest Fourier coefficient of $g(x)$...
Sebastian's user avatar
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 ~\...
ABB's user avatar
  • 4,058
1 vote
1 answer
474 views

Convolution, Fourier transforms, and area preservation [closed]

Consider the convolution of two functions, f * g. And let us assume, for practicality, some example case where an integral of f or g can be interpreted as the "area under the curve" (or the ...
david's user avatar
  • 111
1 vote
1 answer
485 views

Which Fourier transform is the correct one?

Given $H(x)$ is the Heaviside Theta, the tables give the following Fourier transforms for it: $$ H(x+a)\to -PV\frac{i e^{i a w} }{w}+\pi \delta (w)$$ while from Sokhotski–Plemelj theorem it follows ...
Anixx's user avatar
  • 10.1k
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
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 ...
demitau's user avatar
  • 225
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
1 vote
1 answer
229 views

Result of Beurling concerning absolute convergence of Fourier series of |f|

Let $f\in L^{1}(\mathbb T)$ and define the Fourier coefficient of $f$ : $\hat{f}(n)=\frac{1}{2\pi} \int _{-\pi}^{\pi} f(t) e^{-int} dt; (n\in \mathbb Z)$ and we put, $$A(\mathbb T):= \{f\in L^{1}(\...
Inquisitive's user avatar
  • 1,051
1 vote
1 answer
367 views

How to get Fourier–Stieltjes transform on $\mathbb R$ from the nice function on $\mathbb T$ (periodic on $\mathbb R$)? [closed]

We put, $M(\mathbb R)= $The set of bounded complex Borel measure $\mu$ on $\mathbb R$ and for $\mu \in M(\mathbb R)$, we define $||\mu||:= |\mu| (\mathbb R) = \text {total variation of } \ \mu $; and ...
Inquisitive's user avatar
  • 1,051
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 ...
Nick S's user avatar
  • 2,071
1 vote
1 answer
191 views

What subjects of Fourier analysis have had more effect on machine learning? [closed]

What is the salient uses of Fourier analysis in machine learning? What subjects of Fourier analysis have had more effect on machine learning? Please mention the references.
ABB's user avatar
  • 4,058
1 vote
1 answer
134 views

Maximum Magnitude Deviation between DFT and DTFT

This is a cross-post from signal processing forum as it was not conclusive. Let $x[n]$ be a finite-length sequence with length $N$. The continuous DTFT $X(\omega)$ is then $$ X(\omega) = \sum_{n = 0}^...
Jiro's user avatar
  • 909
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$....
M.fouladi's user avatar
  • 399
1 vote
1 answer
231 views

Is $\int_0^\infty \sin(Kx)f_K(x)\,dx$ of larger order than $\int_0^\infty \cos(Kx)f_K(x)\,dx$?

Suppose we have a function $f$, such that $f$ is of some smoothness degree $m$, and $f,f^{(k)} \in L_1[0,\infty)$ $k=1,...,m$. Now if $f^{(k)}(0) = \lim_{x\rightarrow\infty}f^{(k)}(x) = 0$ for $k=1,......
user61038's user avatar
  • 289
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 ...
divB's user avatar
  • 167
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- ...
Inquisitive's user avatar
  • 1,051
1 vote
0 answers
52 views

Sufficient conditions for boundedness of Fourier transform

This should be a well studied topic: I am looking for sufficient conditions on a function $u(x)$ on $\mathbb{R}$ ensuring that its Fourier transform is bounded. Of course one such condition is $u\in L^...
Piero D'Ancona's user avatar
1 vote
0 answers
86 views

Fourier transform relation for spherical convolution

Let $f$ and $g$ be two functions defined over the 2d sphere $\mathbb{S}^2$. The convolution between $f$ and $g$ is defined as a function $f * g$ over the space $SO(3)$ of 3d rotations as $$(f*g)(R) = \...
Goulifet's user avatar
  • 2,306
1 vote
0 answers
43 views

Looking at a frequency reassignment rule as a Möbius transform

Suppose we have some Schwartz function $h$. Denote its Fourier transform $\widehat{h}$. Let $\xi_0$, $a$, $\Delta$ be positive and fixed. I have a function $\Omega: \mathbb{R}\times \mathbb{R}^+ \to \...
mathim1881's user avatar