# Tagged Questions

**1**

vote

**0**answers

147 views

### Is there an asymptotic bound for this oscillatory integral?

I have an oscillatory integral:
$$ \int u(x,y) e^{i\lambda f(x,y)} dx $$
with $f(x,y)\in \mathbb{C}^{\infty}$ a complex-valued function in a neighborhood of $(0,0)$ satisfying:
$$ \text{Im} f \geq ...

**9**

votes

**1**answer

245 views

### Is a Bessel function larger than all other Bessel functions when evaluated at its first maximum?

Let $\mathcal{J}_{n+1/2}$ be the Bessel function of order $n+1/2$. Let $x_n$ denote the first zero of its derivative, which is also the location of the first maximum of $\mathcal{J}_{n+1/2}$.
My ...

**6**

votes

**1**answer

199 views

### Shortcut from discrete Fourier transform F{x} to zero-padded F{x:0…0}

Summary:
Given $X$ (the discrete Fourier transform of some unknown vector $x$ of length $N$), is there any shortcut to computing $X'$ (the Fourier transform of $x$ after padding it with $N$ zeros)?
...

**17**

votes

**2**answers

610 views

### What can be said about the Fourier transforms of characteristic functions?

What can be said about the Fourier transform of the characteristic function $1_A$, where $A\subset \mathbb{R}^n$ is of finite Lebesgue measure? In particular,
What properties are common to ...

**14**

votes

**2**answers

403 views

### What geometric information is carried by the Fourier coefficients of the components of a closed curve?

Let $\gamma$ be a smooth closed curve in the plane and let $(x(t), y(t))$ be a parametrization. The functions $x(t)$ and $y(t)$ are smooth and periodic, so each has a uniformly convergent Fourier ...

**0**

votes

**0**answers

54 views

### How to choose negative definite function $\lambda (x)$, so that $\lambda^{-1} \in L^{1}(\mathbb R)$?

We define,
$$\lambda (x) =\int_{0}^{\infty} \frac{\sin^{2}x \alpha}{\alpha^{2}} d\mu (\alpha), (\mu(0)=0) $$
where $\mu (\alpha)$ is a non-decreasing function such that the integral converges for ...

**1**

vote

**1**answer

108 views

### Absolute convergence of multi-dimensional Fourier series

For a Lipschitz function $f$ defined in $[0,2\pi]^d$ for $d>1$, is that true
that the multi-dimensional Fourier series converges absolutely?
In other words, $\sum_{k\in ...

**0**

votes

**0**answers

58 views

### Does there exists $f\in A_{\mathbb R}(\mathbb T)$ with $||f||=r$ such that $||e^{if}||=e^{r}$?

Let $\mathbb Z$, the set of integers, be a group with respect to addition and its dual group is the $\mathbb T = \{z\in \mathbb C : |z|=1\}$ , one dimensional torus. Put,
$\ell^{1}(\mathbb Z)= ...

**1**

vote

**1**answer

95 views

### Compactly supported smooth function with Laplace transform bounded on a cone

My question is if it is possible to find a compactly supported smooth function $\varphi:\mathbf{R}\to \mathbf{R}$ s.t. the following integration $\int_{\mathbf{R}}\varphi(t)e^{itx}e^{tx}dt$ stays ...

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

**1**

vote

**0**answers

205 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

793 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

**2**answers

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

**1**

vote

**0**answers

75 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}}.
...

**-21**

votes

**1**answer

1k 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) = ...

**20**

votes

**3**answers

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

**11**

votes

**1**answer

311 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

149 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

214 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

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

**0**

votes

**1**answer

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

**2**

votes

**2**answers

274 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

**0**answers

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

**6**

votes

**1**answer

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

**5**

votes

**1**answer

324 views

### Weakest assumption for pointwise convergence of Fourier series

This should be a quick one, but so far books, my brain, and the internet have not produced a clear answer. Or maybe it's subtle and exposes a weakness in my understanding of FS!
Suppose ...

**2**

votes

**0**answers

328 views

### How well can you approximate a function by a band-restricted function?

Say I have a compactly supported $C^1$ function $f:\mathbb{R} \to \mathbb{R}$.
Let $R>0$. Let $\nu$ be some reasonable measure on $\mathbb{R}$ -- take, for instance, (a) $d\nu(t)=dt$ or (b) ...

**6**

votes

**1**answer

233 views

### Minimizing |FT(X)|_{\infty} by permutation of X_i - question on Fourier transform related to engineering problem (peak factor of OFDM system)

Consider vector X =( X_1 ... X_N), consider the discrete Fourier transform $Y=F(X)$.
I am interested to minimize $|Y|_{\infty}$, by permutation of numbers X_i, how to do it ?
Here $|Y|_{\infty}$ is ...

**27**

votes

**7**answers

2k views

### How should an analytic number theorist look at Bessel functions?

(And a related question: Where should an analytic number theorist learn about Bessel functions?)
Bessel functions occur quite frequently in analytic number theory. One example, Corollary 4.7 of ...

**6**

votes

**2**answers

593 views

### What is the simplest oscillatory integral for which sharp bounds are unknown?

I have either heard or read that sharp asymptotics and bounds for oscillatory integrals of the form
$ \int e^{i \lambda \Phi(x)} \psi(x) dx \quad \lambda \to \infty $
are unknown when the critical ...

**0**

votes

**1**answer

275 views

### higher fourier analysis: splitting periodic parts and 'nilsequence' noise?

In Fourier Analysis notes by Terence Tao (and "algebraic" version by Balasz Szegedy) there seem to be two versions of Fourier analysis floating around:
To decompose periodic functions $L^2(S^1)$ ...

**2**

votes

**1**answer

179 views

### Function with Fourier coefficient of order $o(n^{-m})$

Let $(a_n)$, $(b_n)$ be the Fourier coefficients of a periodic, locally integrable function $f: \mathbb{R} \rightarrow \mathbb{R}$. Assume that $n^m a_n, n^m b_n \rightarrow 0$ when $n \rightarrow ...

**6**

votes

**3**answers

404 views

### Simple closed curves and the coefficent of $\exp(i\theta)$ in the associated Fourier series

Given a continuous map $f:S^1\to \mathbb{C}$ from the unit circle to the complex numbers, one can form its Fourier series $\sum_{n=-\infty}^\infty a_n\exp(in\theta)$. I want to stick with those $f$ ...

**2**

votes

**0**answers

173 views

### Spectral gap of tempered distributions

Hi,
Let $\Lambda\subset\mathbb{R}$ be an infinite discrete set of finite density (for simplicity one may take the density equals 1) and $\delta_{\lambda}$
is a unit mass located at the point ...

**6**

votes

**0**answers

292 views

### Basic examples of induction on scales arguments

An important ingredient in recent progress on Euclidean harmonic analysis has been that of "inductions on scales". A few examples are the papers of Wolff, Tao, and Bourgain and Guth.
Here is a ...

**0**

votes

**0**answers

99 views

### Differential equation with switched parameters and boundary conditions in integral form

Sorry for the title, I didn't find a better description (showing that I have no idea for the solution). Feel free to put in a better title and change the tags if you can grasp a view on the problem.
...

**1**

vote

**2**answers

195 views

### bounds on solution of an ODE

I am interested in getting a good bound for solution of the following ODE:
$$ f''(t) + n^2 f(t) = (\sin(\theta t))^n$$
with the boundary condition $f(0) = f'(0) = 0$ and $t \in [0,1]$, where $\theta$ ...

**1**

vote

**1**answer

345 views

### Stein's extension operator and wave front sets

Let $K\subset\mathbb{R}^d$ be a compact set with non-empty interior and Lipschitz boundary. In Section VI.3 of his book "Singular Integrals and Differentiability Properties of Functions", E. M. Stein ...

**9**

votes

**1**answer

532 views

### An exponential polynomial with at least one bounded positivity component

In a forthcoming paper on nodal domains of Gaussian random functions, we (I and Misha Sodin) have a statement that is, roughly speaking, the following: if bounded nodal domains are possible at all, ...

**9**

votes

**2**answers

712 views

### Need to bound a trigonometric sum

Let $\boldsymbol{\theta}=(\theta_1,\ldots,\theta_m)$ be a vector of real numbers in $[-\pi,\pi]$. For $t\ge 0$, define
$$ f(t,\boldsymbol{\theta}) = \binom{m+t-1}{t}^{-1}
\sum_{j_1+\cdots+j_m=t} ...

**10**

votes

**3**answers

1k views

### Number of lattice points in a random disk of radius r

Consider a disk of radius $r$ centered at $(x,y)$, where $(x,y)$ is chosen from the uniform distribution on $[0,1) \times [0,1)$, and let the random variable $N$ be the number of lattice points in the ...

**2**

votes

**0**answers

146 views

### Regularity properties of the derivatives of a particular function on $D \times D\to \bar{D} $ ?

This question might sound a little less rigorously formulated, but I hope the question still makes sense.
Let $h: S^1 \to S^1$ be an oriention-preserving homeomorphism and let $p(z,t) = ...

**3**

votes

**1**answer

602 views

### Endpoint Strichartz Estimates for the Schrödinger Equation

The non-endpoint Strichartz estimates for the (linear) Schrödinger equation:
$$
\|e^{i t \Delta/2} u_0 \|_{L^q_t L^r_x(\mathbb{R}\times \mathbb{R}^d)} \lesssim \|u_0\|_{L^2_x(\mathbb{R}^d)}
$$
$$
2 ...

**2**

votes

**2**answers

1k views

### Stone-Weierstrass theorem applied to Fourier series

This is a question on Fourier series convergence. The problem is, in the applications of the Stone Weierstrass approximation theorem on wikipedia, there's stated that as a consequence of the theorem ...

**7**

votes

**0**answers

244 views

### Finding a dimension-free bound for a certain multiplier on Euclidean space

The following question is indirectly motivated by strong type maximal function estimates. Let $f\in L_{p}(\mathbb{R}^{n})$. For $\xi=(\xi_{1},\ldots,\xi_{n})\in\mathbb{R}^{n}$ define $m(\xi)$ so ...

**17**

votes

**4**answers

4k views

### Learning roadmap for harmonic analysis

In short, I am interested to know of the various approaches one could take to learn modern harmonic analysis in depth. However, the question deserves additional details. Currently, I am reading Loukas ...

**6**

votes

**0**answers

402 views

### Phase perturbations in oscillatory integrals

I am interested in learning about quantitative refinements of the method of stationary phase which allow to treat small perturbations in the phase of an oscillatory integral (of the first kind, in ...

**1**

vote

**2**answers

540 views

### Convergence of squares of the moduli of partial sums of Fourier series

Let $\mu$ be a complex measure on the unit circle. The Wiener theorem says that the sequence of the Cesaro means of $|\hat\mu_n|$ has a limit. Define $p_n(z)=\sum_{k=0}^n \hat\mu_k z^k$. Then the Abel ...

**4**

votes

**1**answer

631 views

### On the Existence of Certain Fourier Series

Is there an $f\in L^{1}(T)$ whose partial sums of Fourier series $S_{n}(f)$ satisfies $\|S_{n}(f)\|_{L^{1}(T)} \rightarrow \|f\|_{L^{1}(T)}$ but $S_{n}(f)$ fails to converge to $f$ in $L^1$-norm ?

**7**

votes

**2**answers

2k views

### Positive-Definite Functions and Fourier Transforms

Bochner's theorem states that a positive definite function is the Fourier transform of a finite Borel measure. As well, an easy converse of this is that a Fourier transform must be positive definite.
...

**3**

votes

**1**answer

425 views

### Is there any result about the uniform convergence rate of multi-dimensional Fourier series

For example in the 1-dimensional case, it is known that if f satisfies the α-Hölder condition, then
$|f(x)-(S_Nf)(x)|\le K \frac{\ln N}{N^\alpha}$
where $S_N f$ is the n-term partial sum of the ...