Skip to main content

All Questions

Filter by
Sorted by
Tagged with
12 votes
2 answers
2k views

Function and Fourier transform vanish on an interval

I'm no expert on these things (and this may not be cutting edge research level; it's really motivated by this MSE question), but it seems that there are non-zero measures (and also functions (?), I ...
Christian Remling's user avatar
22 votes
2 answers
2k views

When are Fourier coefficients monotonic?

Given some sufficiently smooth function $f$ what conditions would be sufficient for its Fourier coefficients, as defined by $$ \hat{f}(n) := \int_{0}^{2\pi}\cos(nx)f(x)\ dx, \quad \text{for } n = 1,2,\...
spaceman's user avatar
  • 595
20 votes
1 answer
1k views

Fourier transform of $f_a(x)= a^{-2}\exp(-|x|^a)$, $a \in (0,2)$, is decreasing in $a$

Can one show that Fourier transform of $$ f_a(x) = a^{-2} \exp(-|x|^a), \qquad a \in (0,2)$$ is decreasing in $a$? I have a solution for $a \in (0,1]$ which cannot be used for $a\in (1,2)$.
Tanya Vladi's user avatar
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
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
0 votes
0 answers
205 views

Relationship between Fourier inversion theorem and convergence of "nested" Fourier series representations of $f(x)$

$\DeclareMathOperator\erf{erf}\DeclareMathOperator\sech{sech}\DeclareMathOperator\sgn{sgn}\DeclareMathOperator\sinc{sinc}$This is a cross-post of a question I posted on MSE a couple of weeks ago which ...
Steven Clark's user avatar
  • 1,126
26 votes
2 answers
3k views

Image of L^1 under the Fourier Transform

The Fourier Transform $\mathcal{F}:L^1(\mathbb{R})\to C_0(\mathbb{R})$ is an injective, bounded linear map that isn't onto. It is known (if I remember correctly) that the range isn't closed, but is ...
Francis Adams's user avatar
12 votes
3 answers
2k views

Looking for sufficient conditions for positive Fourier transforms

I am looking for some sufficient conditions for an even, continuous, nonnegative, non-increasing, non-convex function to be non-negative definite. In other words $$ \int_0^\infty f(x)\cos(x\omega) \, ...
Tanya Vladi's user avatar
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\...
Bertrand's user avatar
  • 1,199
9 votes
2 answers
483 views

Distribution $f$ such that (a) $\widehat{f}$ has compact support, (b) $\mathbb{E}(|X|)$ is minimal?

(What follows is motivated by an answer to Fourier optimization problem related to the Prime Number Theorem) Let $f:\mathbb{R}\to [0,\infty)$ be such that (a) $\int_{\mathbb{R}} f(x) dx = 1$, (b) $\...
H A Helfgott's user avatar
  • 20.2k
6 votes
2 answers
336 views

On frequency decay of an integral transform of a function

Suppose $f \in C^{\infty}_c((-1,1))$ and assume that there exists constants $a,b>0$ such that $$ \bigg|\int_{\mathbb R} f(t) \,e^{\tau t^2+i\tau t}\,dt\bigg| \leq a\,e^{-b|\tau|},$$ for all $\tau \...
Ali's user avatar
  • 4,143
6 votes
1 answer
419 views

Positive-definiteness of radial sinc function in three dimensions

In dimension one, it is well known that $\mathcal{F}\chi_{(-1,1)}=\frac{\sin{x}}{x}$. This implies, in particular, that $\frac{\sin{x}}{x}$ is a definite positive function. I wonder if a similar ...
Capublanca's user avatar
6 votes
1 answer
679 views

Fourier optimization problem related to the Prime Number Theorem

Let $\kappa>0$ be given. What is the function $f:\mathbb{R}\to [0,\infty)$ with $\int_\mathbb{R} f(x) dx = 1$ such that $$\int_\mathbb{R} |x| f(x) dx + \kappa \int_{|t|\geq T}\left| \frac{\widehat{...
H A Helfgott's user avatar
  • 20.2k
5 votes
1 answer
1k views

Fastest decay of Fourier transform of function of (one-sided or two-sided) exponential (or faster) decay

Let $f:\mathbb{R}\to \mathbb{R}$ be a function in $L^2$ satisfying $|f(x)|\ll e^{-a_1 x}$, $a_1>0$, for $x\to \infty$. (Variant: assume as well that $|f(x)|\ll e^{a_2 x}$, $a_2>0$, for $x\to -\...
H A Helfgott's user avatar
  • 20.2k
5 votes
1 answer
325 views

The discrete Fourier transform's Gaussian-like eigenvector

I have the $N$x$N$ matrix below where $N$ is a power of 2 (usually 64 or 256) and $\omega = 2\pi/N$. What is its largest eigenvalue? $\begin{bmatrix} 2 & 1 & 0 & 0 & \cdots & 0 &...
bobuhito's user avatar
  • 1,547
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
245 views

An optimization problem: $\Phi(0)$, $\widehat{\Phi}(0)$, $\Phi$ a majorant

(This is a problem that arose from my own answer to Mean value theorem for Dirichlet series - optimize? ) Let $\Phi:\mathbb{R}\to \mathbb{R}$ be a real-valued, symmetric, non-negative function such ...
H A Helfgott's user avatar
  • 20.2k
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 ...
Bertrand's user avatar
  • 1,199
4 votes
0 answers
140 views

Given $\theta$, find $f$ such that $\int_{\mathbb{T}} \text{e}^{i\theta} \cos(h \cdot f) = 0,$ for all $h \in \mathbb{N}$

Let $\theta$ be a $C^{\infty}$ (resp. analytic) real-valued function on $\mathbb{T}=[0,2\pi]/\{0,2\pi\}$. When can one find $f \neq 0$, $C^{\infty}$ (resp. analytic) real-valued function on $\...
Leonardo's user avatar
  • 405
4 votes
1 answer
279 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:\...
H A Helfgott's user avatar
  • 20.2k
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
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 ...
ABB's user avatar
  • 4,058
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
2 votes
0 answers
113 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{...
H A Helfgott's user avatar
  • 20.2k
2 votes
2 answers
918 views

Decay of the Fourier transform of a non-differentiable function

It is well known that if $\varphi$ is a Schwartz function on $\mathbb{R}$ (i.e. smooth and decaying at infinity faster than polynomials), then its Fourier transform decays faster than polynomials. ...
Tony419's user avatar
  • 421
2 votes
2 answers
235 views

Theoretical/Practical Implications of DFT Eigenvectors

Discrete Fourier transform (DFT) has only four distinct eigenvalues: $±1$ and $±i$. For large matrices , each eigenvalue $λ$ yields a multidimensional eigenspace, allowing linear combinations of ...
ABB's user avatar
  • 4,058
2 votes
1 answer
260 views

Non-Fourier complete orthogonal basis?

The Fourier Transform (FT) Is orthogonal: inner product of one basis, $e^{j\omega_0}$, with any other basis, $e^{j\omega_1}$, is zero Is invertible: info-preserving, has inverse function Is energy-...
OverLordGoldDragon's user avatar
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
0 answers
108 views

Recovering phase function using Fourier decomposition

I have a function $\phi(x): \mathbb{R} \to [0, 2 \pi)$, which describes phase of another function $$f = e^{i \phi(x)}. $$ I am interested in the following problem. If I know the function/distribution $...
VojtaK's user avatar
  • 151