9
votes
1answer
243 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
1answer
198 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
2answers
597 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
2answers
401 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
0answers
52 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
1answer
104 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
0answers
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
1answer
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
1answer
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
0answers
204 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
0answers
773 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
2answers
391 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
0answers
74 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
1answer
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
3answers
434 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
1answer
304 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
147 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
213 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
140 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
1answer
240 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
2answers
270 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
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
1answer
257 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
1answer
322 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
0answers
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
1answer
232 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
7answers
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
2answers
584 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
1answer
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
1answer
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
3answers
403 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
0answers
171 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
0answers
288 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
0answers
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
2answers
194 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
1answer
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
1answer
526 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
2answers
710 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
3answers
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
0answers
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
1answer
595 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
2answers
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
0answers
242 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 ...
16
votes
4answers
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
0answers
399 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
2answers
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
1answer
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
2answers
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
1answer
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 ...
-1
votes
2answers
790 views

Convergence of Fourier series in L^{\infty}-norm [closed]

As we know, for $1<p<\infty$, the Fourier series of $f\in L^{p}(T)$ converges to $f$ in $L^{p}$-norm. But is there any results concerning the convergence of Fourier series in $L^{\infty}$-norm? ...