The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
1answer
75 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
0answers
136 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
0answers
88 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 ...
4
votes
1answer
273 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
0answers
89 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
1answer
466 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
3answers
484 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
0answers
239 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
1answer
724 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
3answers
447 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
0answers
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
1answer
100 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
2answers
189 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
0answers
58 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
1answer
340 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
1answer
153 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
1answer
227 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
0answers
202 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
2answers
720 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
2answers
452 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
2answers
367 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
0answers
152 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 ...
43
votes
5answers
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 ...
0
votes
1answer
133 views

upper bound on product of distances from points on a circle

Let C be a circle of radius 1 in the complex plane with n points on the boundary. Provide an upper bound on the product of the distances of a given point on the circle to the other n points. The goal ...
2
votes
0answers
195 views

An integral with Gamma functions (Part 2)

I was wondering if there is a generalization of the integral discussed here to a case like, \begin{equation}\int \frac{d^dq}{q^{\nu_1}\vert \vec{q} \pm \vec{k}_1\vert ^{\nu_2}\vert \vec{q} \pm ...
0
votes
1answer
252 views

Littlewood-Paley theory and norm estimation

In the paper "A Convolution Inequality Concerning Cantor-Lebesgue Measures", the Littlewood-Paley theory is used to estimate the norm of multiplier operator in Lemma 1. It is claimed that Lemma 2 is ...
1
vote
0answers
244 views

A problem about Joint sine and cosine fourier transform

There is a problem on Page 60 of Book of B.M.Budak, A. A. Samarskii and A. N. Tikhonov, whose title is A Collection of Problems in Mathematical Physics (New York, Dover, 1964). The problem (the ...
2
votes
2answers
284 views

A sufficient condition for a probability measure to have compact support

Consider a probability measure $\mu$ on, let's say, $\mathbb R$. Is there a necessary and sufficient condition so that $\mu$ has compact support $Supp(\mu)$ ? I agree this question is too vague, ...
2
votes
0answers
161 views

On a differential inequality

The question has probabilistic origins, but it would take too long to elaborate. $\newcommand{\ii}{\boldsymbol{i}}$ $\newcommand{\bR}{\mathbb{R}}$ $\newcommand{\eS}{\mathscr{S}}$ Fix a nonnegative ...
1
vote
1answer
289 views

Pointwise convergence of double Fourier series

I'm looking for references/theorems that deal with the pointwise convergence of double Fourier series expansions for a particular function. Let $D \subseteq [-\pi, +\pi]^2$ be an arbitrary set of ...
2
votes
2answers
434 views

Schönhage–Strassen algorithm

After brief intro to Fourier series, CFT, DFT and their basic properties I enjoyed implementing forward and backward FFT algorithm in complex numbers. I was happy to, at least, have an idea how is it ...
17
votes
2answers
639 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 ...
1
vote
1answer
249 views

Is this set a Riesz Basis of $L^2(0,\pi)$

Let $A=\{\sqrt{2}\sin(\sqrt{n^2+a} \pi x)\} _{n=1}^\infty$, where $a$ is a positive real number. Is $A$ a Riesz Basis of $L^2(0,1)$?
3
votes
1answer
145 views

Using Fourier Transform to speed up calculation of forces following an inverse square law

Suppose I have $n$ electric point charges in, say, two dimensions. Is there any algorithm (and I have a hunch that it might be related to the Fourier transform) to compute the net forces that act on ...
1
vote
1answer
105 views

Almost Everywhere Convergence of Walsh Series of $L^2$ functions

I am currently reading the Hunt's papar (http://www.mathunion.org/ICM/ICM1970.2/Main/icm1970.2.0655.0662.ocr.pdf), and am wondering if there is any notes which presents his argument more ...
13
votes
1answer
673 views

On the $L^1$-norm of certain exponential sums.

I am stuck with an elementary-looking problem, which does not belong to my usual field of research so I eventually decided to ask it on MO. Let $S$ be a finite set of integers. For $P$ a subset of ...
2
votes
1answer
235 views

About the boundedness of a multiplication operator.

Let be $f$ a $2\pi-$periodic function and $\hat{f}(k)=\frac{1}{2\pi}\int_0^{2\pi}f(x)e^{-ikx}dx$. Consider the operator: \begin{equation} Tf(x)=\sum_{k\in\mathbb{Z}}sign(k)\ \hat{f}(k)\ e^{ikx}. ...
6
votes
1answer
269 views

For which metric measure spaces is the Hardy-Littlewood maximal operator not of weak type (1,1)?

Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. I'll denote the Hardy-Littlewood maximal operator - either centred or uncentred, I don't mind ...
3
votes
1answer
1k views

The Paley-Wiener theorem and exponential decay.

Consider a function whose Fourier transform is supported on a half-ray: $$ A(t)=\int_0^\infty \omega(E) e^{-iEt}d E, $$ where I can suppose $\omega(E)\geq 0$ and any suitable regularity conditions on ...
0
votes
1answer
362 views

nonnegative Fourier Transform

Let $\widehat{f}(\xi)$ be Fourier transform of $f$ given by \begin{align} \widehat{f}(\xi)=\int_{\mathbb{R}^n} e^{-ix\cdot\xi}f(x)dx. \end{align} Suppose that $\widehat{f}(\xi)$ is nonnegative and ...
4
votes
1answer
365 views

Inequality on Trigonometric polynomials

My question comes from trying to understand a technical step in this paper by Bourgain. Let $R,L$ be positive integers and let $f(x)=\sum_{|n|\leq RL}a_ne^{2\pi inx}$ be a trigonometric polynomial. ...
5
votes
2answers
297 views

Efficient computation of “discrete infimal convolution”

This question arises from an application to graphical models in probability theory, but I have abstracted that part out so only algebra remains. Let $\mathbb{R}$ denote standard field of real numbers ...
8
votes
0answers
252 views

Uncertainty principle in Entropy terms

Math Questions: Consider Hilbert space $L_2(\mathbb{R})$ with a standard norm $ ||\psi|| = ( \int_{\mathbb{R}}{ |\psi(t)|^2 dt } )^{1/2}, $ and Fourier transform $ (F\psi)(\xi) = ...
6
votes
4answers
871 views

fourier analytic proofs

While searching through Mathoverflow, I found out a fourier analytic proof of the Isoperimetric Inequality.Also, by google search I found a fourier analytic proof of Quadratic Reciprocity theorem.I ...
3
votes
2answers
302 views

Sufficient condition for $L^p$ multiplier on the torus

Hello, I am searching for a reference of an " easy " sufficient condition insuring that a bounded sequence $(b_{\mathbf{n}\in\mathbb{Z}^d})\in\ell^\infty$ defines a bounded operator from ...
6
votes
3answers
1k views

Fourier Coefficients and Hölder Continuity

Suppose we are given the Fourier coefficients of an $L^2$ function on the circle. Are there necessary and sufficient conditions on the coefficients that allow us to determine that $f$ is Hölder ...
4
votes
1answer
258 views

Is there a good way to estimate the Fourier transform of $\frac{1}{\lambda-iP(\xi)}$

Assume that P is a real valued strong elliptic polynomial, then what do we know about the following $$ K(\lambda,x)=\int{\frac{e^{ix\xi}}{\lambda-iP(\xi)}}d\xi,\quad \lambda\in \mathbb{R}\0 $$ The ...
0
votes
2answers
779 views

Derivative indicator function

I am wondering what is the derivative of the following function with respect to $x(t)$ in sense of distributions. $$ I\left(\int_0^t x(\tau)d\tau \leq c\right) $$ where $I$ is the indicator function ...
6
votes
1answer
306 views

faces in the discrete cube

This arose from a question Gil Kalai asked about a problem I posed involving the Fourier transform on the discrete cube. Maybe it is more tractable. I'm afraid I'm not sure how to do this kind of ...
30
votes
0answers
1k views

Fourier transform on the discrete cube

Notation: identify an element of $\{-1,1\}^n$ with the set $S \subseteq \{1, \ldots, n\}$ on which it takes the value $-1$. The following is an asymptotic question. "Close to one" means "more than ...