The fourier-analysis tag has no wiki summary.

**0**

votes

**1**answer

158 views

### Problem with understanding an equation

I have read the article Short-wavelength Spectral Properties of the Gravity Field from a Range of Regional Data Sets and I don't know how to interpret Equation (10) on
page 630, because this equation ...

**9**

votes

**0**answers

118 views

### Decay rate of measures on Cantor set

I've read that Kahane and Salem show that if $\mu$ is any measure supported on the ternary Cantor set, then $\hat{\mu}(\xi) \not\to 0$ as $|\xi| \to \infty$, however I have been unable to find a ...

**11**

votes

**0**answers

350 views

### Correlation of Fourier transforms of characteristic functions

Let $A$ and $B$ ($A\subset B$) be subsets of a finite abelian group $G$. (For the sake of argument, you can take $G$ to be $\mathbb{Z}/p\mathbb{Z}$ for large $p$, say.) Write $1_S$ for the ...

**1**

vote

**0**answers

122 views

### Are the two functions equal? If not, what relation are they?

We have
$$A=\frac{1}{2\pi}\int_{-\infty}^{\infty}\prod_{i=1}^{\infty}\frac{\sin(v2^{-k})}{v2^{-k}}e^{ivx}dx$$
$$B=\frac{1}{2}\sum_{k=1}^{n}\cos (\pi kx)\prod_{i=1}^{m}\frac{\sin(\pi k2^{-i})}{\pi ...

**1**

vote

**1**answer

96 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- ...

**2**

votes

**1**answer

231 views

### Let $f \in S(\mathbb R)$. Can we say $\widehat{|f|} \in L^{1}(\mathbb R)$?

Let $f\in L^{1} (\mathbb R) := \{f:\mathbb R \rightarrow \mathbb C \ \text {measurable functions} : \int_{\mathbb R} | f(x)| dx < \infty \}$ and the Fourier transform of $f$,
$\hat{f} (y) : = ...

**1**

vote

**1**answer

108 views

### convolution algebra on a compact surface in $\mathbb{R}^3$

Can one construct for all/any compact Surfaces in $\mathbb{R}^3$ a Schwartz space like object in a way so that the space can be given a structure analogous to the convolution algebra structure it is ...

**3**

votes

**1**answer

136 views

### Sets $E$ in $\mathbb{Z}$ such that any $l^2$ function with support on $E$ comes from Fourier of a continuous function

Are there infinite sets $E\subset\mathbb{Z}$ such that any $f\in l^2(\mathbb{Z})$ with support on $E$ comes from the Fourier transform of a continuous function on $\mathbb{T}$ ? If yes, is there a ...

**1**

vote

**0**answers

206 views

### Proof of an inequality for a linear combination of three trigonometric functions

Given a function $$f(t) = k_{1} \sin(t+\alpha) + k_{3} \sin(3t+\beta) + k_{5} \sin(5t+\gamma)$$
where $k_{1}, k_{3}$ and $k_{5}$ are all positive parameters, and the three phase angles, $ ...

**6**

votes

**0**answers

817 views

### Questions on de Branges' work on the Riemann hypothesis

According to Wikipedia, Louis de Branges de Bourcia has obtained some notable
results, such as a proof of the Bieberbach conjecture in 1985, which is now
known as de Branges' theorem. Initially, his ...

**5**

votes

**0**answers

108 views

### Fourier analysis for the discrete cube in CAT(0) spaces?

Is there a meaningful Fourier analysis of mappings from the discrete cube into CAT(0) spaces?
Examples for what I have in mind:
Fix a CAT(0) space $X$, a mapping $f:\{-1,1\}^n \to X$, and ...

**5**

votes

**0**answers

266 views

### converse of Weyl criterion

Let $f∈L^1([0,1))$,suppose for all equi-distributed sequence $\{a_n\}^∞_{n=1}$ in $[0,1)$,we have
$$\lim_{N\rightarrow \infty} \frac{1}{N}\sum_{k=1}^Nf(a_k)=\int_0^1f.$$
Do we have that $f$ is Riemann ...

**2**

votes

**0**answers

114 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 ...

**2**

votes

**0**answers

178 views

### Is $f$ an absolutely continuous function? [closed]

Let
$$
f(x)=\sum_{n=1}^{\infty}\frac{\sin(2^{n}\pi x)}{n\cdot2^{n}}, \,\,\,\,\,\, x\in [-1, 1].
$$
Is $f$ an absolutely continuous function? If yes how can I show it? If not how about on total ...

**-2**

votes

**1**answer

231 views

### Inverse Laplace transform in a signal that is a sum of exponentials - MATLAB [closed]

I want to analyze a discrete signal in time, that is sum of exponentials distributed around two distinct values (T1, T2). My goal is to calculate these two different distributions, T1, T2, weights and ...

**1**

vote

**0**answers

86 views

### Differentiability of $f*g$ on the circle, for integrable f, bounded g, and some decay of the Fourier coefficients of f

If $f\in L^1(\mathbb{T})$ and $g\in L^\infty(\mathbb{T})$ where $\mathbb{T}$ is the circle, such that $\hat{f}\in L^{p}(\mathbb{Z})$ for some $1\leq p<\infty$, do we have that $f*g$ is ...

**5**

votes

**2**answers

416 views

### What is the translation in Fourier transform for a function to have exp. decay at $x\to -\infty$

It is known that smooth functions with exponential decay at $\pm\infty$ are functions whose Fourier transform have analytic continuation in some suited complex strip. I was wondering what happens if ...

**4**

votes

**1**answer

169 views

### If $f$ is non-prime, can we say $|f|$ is also a non-prime; in convolution algebra?

By Schwartz-inequality and Riesz–Fischer theorem, one can deduced that,
$$L^{2}(\mathbb T) \ast L^{2}(\mathbb T) = A(\mathbb T)(:= \{f\in L^{1}(\mathbb T): \sum_{n\in \mathbb Z} |\hat{f}(n)| < ...

**0**

votes

**2**answers

175 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**

vote

**0**answers

129 views

### Constructing an $\epsilon$-net for a Lipschitz subspace of $L^2$

Let $X$ be a subset of $L^2([0,1])$ which contains only Lipschitz function.
Also, the member of $X$ are uniformly bounded
$$
|x(t)| < M, \text{ for all $x \in X$ and $t \in [0,1]$}.
$$
Let $F: X ...

**3**

votes

**2**answers

526 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 ...

**2**

votes

**1**answer

208 views

### Fourier transforms of finitely additive bounded measures

Given a finitely additive positive regular bounded measure $\mu$ on ${\mathbb R}^n$ (i.e. a positive linear functional on $C_b({\mathbb R}^n)$), I wonder what can be said about its Fourier transform. ...

**2**

votes

**2**answers

370 views

### $L^p$-norm of Fourier series in terms of coefficients, $p \neq 2$

It is known that the $L^2$-norm of a Fourier series equals the $l^2$-norm of the coefficients. Are there similar results in the case of $L^p$-norm for $p\neq 2$? Can it be expressed explicitly in ...

**1**

vote

**1**answer

195 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}$ ,
...

**4**

votes

**1**answer

88 views

### A Laplacian semi-group estimation

Let $S(t)$ be the semi-group generated by the Dirichlet Laplacian in $L^2(0,1)$, which is given, for $y\in L^2(0,1)$, by
$$S(t)y=\displaystyle\sum_{n=1}^\infty e^{-n^2\pi^2 t} \langle y,\sin(n\pi x) ...

**1**

vote

**0**answers

76 views

### The $d$-dimension extension of Bernoulli Polynomial

It is known that Bernoulli polynomial has the following Fourier expansion:
\begin{equation*}
B_{2n}(x) = \frac{(-1)^{n-1}2(2n)!}{(2\pi)^{2n}}\sum_{k=1}^{\infty}\frac{\cos(2k\pi x)}{k^{2n}}.
...

**-23**

votes

**1**answer

2k views

### Can Poisson Summation formula break?

The Poisson summation formula states if $f: \mathbb{R} \to \mathbb{R}$
then $\displaystyle \sum_{n \in \mathbb{Z}} f(n) = \sum_{n \in \mathbb{Z}} \hat{f}(n) $ where $$\hat{f}(\xi) = ...

**0**

votes

**1**answer

72 views

### The influence of eigendecomposition on the periodicity of a (rank 2) Hermitian matrix (of functions)

Let $\boldsymbol{R}(u,v);~u,v\in\mathbb{R}$ be a Hermitian matrix (of Hermitian functions) with entries
\begin{equation}
r_{ij}(u,v) = 1 + Ae^{-2\pi i \phi_{ij}(ul_0 + vm_0)}; ...

**0**

votes

**0**answers

112 views

### Motivation behind the appearance of Bessel functions in partial trace formulas

Bessel functions occur naturally on the Kloosterman side (or geometric side) of Petersson's formula and Kuznetsov's formula. Is there an intuitive explanation for their appearance? For instance, is ...

**0**

votes

**0**answers

87 views

### Two distribution spaces ${\mathcal S}'/{\mathcal P}$ and ${\mathcal S}_\infty'$

Let ${\mathcal S}'$ be the set of all distributions.
Denote by ${\mathcal P}$ the set of all polynomials,
which is embedded into ${\mathcal S}'$ as a closed subspace.
Equip ${\mathcal S'}/{\mathcal ...

**3**

votes

**1**answer

218 views

### Uniqueness theorems related to Hardy Uncertainty Principle

Uncertainty Principles state that a function and its Fourier transform cannot be simultaneously sharply localised. A well known result due to G.H.Hardy says that
if $f(x)=O(e^{-\alpha^2|x|^2})$, ...

**1**

vote

**0**answers

88 views

### A Fourier analysis-type identity arising in potential theory

I have recently been learning about potential theory in the complex plane, and I would like to understand why the following proposition is true:
Suppose $f: \mathbb C \to \mathbb R$ is smooth, ...

**16**

votes

**1**answer

448 views

### Uncertainty principle for Mellin transform

Let $f:\mathbb{R}^+\to \mathbb{C}$. Let $Mf$ be its Mellin transform: $Mf(s) = \int_0^\infty f(x) x^{s-1} dx$.
(a) Some time ago, I convinced myself that
$f(t)$, $Mf(\sigma+it)$ and $Mf(\sigma-it)$ ...

**15**

votes

**3**answers

476 views

### An algebraic approach to the thermodynamic limit $N\rightarrow\infty$?

In physics one studies quite often the thermodynamic limit or what we call the $N\rightarrow \infty$ behavior of a system of $N\rightarrow\infty$ particles. This is of particular relevance in the ...

**1**

vote

**0**answers

222 views

### Obtaining a pointwise bound on the convolution of two singular measures

I am confused about a passage in the paper by T. Tao A sharp bilinear restriction estimate for paraboloids.
We are in Section 7, near equation (34) (pag.16 of the arxiv).
Notations and ...

**4**

votes

**1**answer

720 views

### Riemann hypothesis and Kakeya needle problem

The question may be a bit vague. I noticed an analogy that both Riemann hypothesis and Kakeya needle problem has been proved in finite fields. Can somebody shed light on why finite field analogues are ...

**20**

votes

**3**answers

438 views

### In what ways is the standard Fourier basis optimal?

Is there any convincing sense in which the standard trigonometric basis for
the space $V$ of square-integrable real-valued functions on $[-\pi,\pi]$ is
optimal among all the orthonormal bases?
(If ...

**2**

votes

**0**answers

54 views

### Is there a Fourier transform for principal r-discrete groupoids?

I have been looking for an analog of the Fourier transform for groupoids coming from tilings (which are generally principal and r-discrete), however all the generalizations I have found assume that ...

**0**

votes

**1**answer

98 views

### local moments of measures whose Fourier transform vanish in an interval

Assume h is a measure whose Fourier transform vanishes in an interval $[-\Omega,\Omega]$. I'm interested in obtaining inequalities of the form
\begin{equation*}
\int_{-\delta}^{+\delta}|h|(dt)\le ...

**3**

votes

**2**answers

185 views

### On lower bounds of exponential frames in l1 norm

Let $\{t_k\}_{k=-\infty}^\infty$ be a sequence of real numbers.
I'm interested in finding the largest number A such that
\begin{equation*}
\int_{-\Omega}^\Omega|\sum_{k=-\infty}^{+\infty}c_ke^{2\pi i ...

**1**

vote

**0**answers

54 views

### Symmetry of Sundry Planar Convex Sets of Constant Width & Minimal Area

In a much broader paper in “Optimization Methods & Software 27,6 (2012) pp1073-1099” Bayen & Henrion consider planar compact, convex sets with support functions which are finite Fourier ...

**11**

votes

**1**answer

318 views

### Is there something wrong with Hörmander's theorem on stationary phase method

It is well-know that the Bessel function has the asymptotic expansion $J_n(\omega) \sim \left( \frac 2 {\pi \omega} \right)^{1/2} \left( \cos \left(\omega -\frac 1 2 n \pi - \frac 1 4 \pi\right) - ...

**2**

votes

**1**answer

151 views

### Interpolating delta like functions by trigonometric polynomials of bounded modulus and fast decay

Consider a grid of points $T=\{t_0,t_1,\ldots,t_m\}$ with $0\le t_i\le 1$. I would like to find a function $f(t):[0,1]\rightarrow \mathbb{C}$ of the form
\begin{equation*}
f(t)=\sum_{k=-n}^n c_k ...

**2**

votes

**1**answer

218 views

### bounding the absolute value of a trigonometric polynomial

Consider a function $f:[0,1]\rightarrow \mathbb{C}$ and points $t_0,t_1,\ldots,t_n\in[0,1]$
\begin{equation*}
f(t)=\prod_{k=1}^n\frac{(e^{2\pi i t}-e^{2\pi i t_k})}{(e^{2\pi i t_0}-e^{2\pi i t_k})}
...

**2**

votes

**0**answers

199 views

### computing a certain contour integral [closed]

I want to compute an integral along a vertical line segment. The function I'm integrating involves the zeta-function, and usually the way such integrals are done treats the line segment as one side ...

**14**

votes

**2**answers

711 views

### A question in Fourier analysis

I recently came across this problem:
Let $T=\mathbb R /2 \pi \mathbb Z$ the circle, with its proabability Haar measure $\mu$. Any integrable function $f : T \rightarrow \mathbb C$
has Fourier ...

**5**

votes

**2**answers

421 views

### Fourier series representing a continuous function?

This is maybe not really research level, but I have not found anything in the literature, and asking on math.stackexchange wasn't successful either.
Fourier series define an isometry $L^2(\mathbb{Z}) ...

**10**

votes

**2**answers

356 views

### Uncertainty principle on finite groups

For a finite group $G$ with normal subgroup $H$, the induced representation $\text{Ind}_H^G(1)$ decomposes as a sum of irreducibles with the multiplicities equal to the dimensions, because it is is ...

**2**

votes

**0**answers

146 views

### Fourier : from analyticity to exponential decay ; what prevents optimal decay ?

Hello everyone !
In Fourier Analysis, Self-Adjointness by Reed and Simon (Methods of Modern Mathematical Physics, Vol. 2), Theorem IX.14 tells us that (I'll take dimension 1 for simplicity) :
if ...

**40**

votes

**5**answers

4k views

### Quasicrystals and the Riemann Hypothesis

Let $0 < k_1 < k_2 < k_3 < \cdots $ be all the zeros of the Riemann zeta function on the critical line:
$$ \zeta(\frac{1}{2} + i k_j) = 0 $$
Let $f$ be the Fourier transform of the sum ...