Skip to main content

All Questions

67 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
11 votes
0 answers
3k views

Eric T. Sawyer's proof of Fourier restriction conjecture

Some days ago Eric T. Sawyer uploaded a paper to arxiv claiming a proof of the Fourier restriction conjecture https://arxiv.org/pdf/2311.03145.pdf. If complete and correct this work will be a landmark ...
a curious fellow's user avatar
10 votes
0 answers
2k 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 ...
mayank's user avatar
  • 163
8 votes
0 answers
349 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 ...
Steven Heilman's user avatar
8 votes
0 answers
525 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 ...
user17240's user avatar
  • 852
7 votes
2 answers
824 views

Fourier series of smooth functions in infinitely many variables

Let $J$ be a set (usually countable). Let $t_j$, $j\in J$, be variables in ${\mathbb R}/2\pi i{\mathbb Z}.$ Put $u_j=\exp(it_j),$ $j\in J.$ Introduce the following semi-norms on the space of Fourier ...
Boris Tsygan's user avatar
6 votes
0 answers
213 views

Equivalent forms of Fourier restriction conjecture

this question is posted in mathstackexchange, but it seems that no one answers it. Sorry to the administrator if this question is not appropriate on Mathoverflow. I'm reading Pertti Maattila's book ...
Tutukeainie's user avatar
6 votes
0 answers
211 views

Regularity of $|u|^{\alpha}$ when $u$ is Schwartz

Let $0<\alpha<1$. Let $D_x^{\alpha}$ denote the Fourier multiplier given by $\xi\to |\xi|^{\alpha}$. Suppose $u:\mathbb{R}^d\to\mathbb{C}$ is Schwartz (or even just smooth with compact support). ...
Benjamin Pineau's user avatar
6 votes
0 answers
120 views

Condition on the support of $f$ which ensure that $\widehat{f}$ has a zero-measure nodal region

Suppose that $f\in L^2(\mathbb{R})$ is non-zero and compactly supported. Then its Fourier transform $\widehat{f}\neq 0$ is analytic, and in particular the nodal set $\{\xi\in\mathbb{R}\,s.t.\,\widehat{...
RaffaeleScandone's user avatar
5 votes
0 answers
243 views

Is there a way to solve this integral on the sphere explicitly?

Let $k_{j}\in {\mathbb{Z}}^{+}$ and $\,a_{j}\in \,]0,1[$, be such that $k_{j}\,a_{j}<1$, $j=1,\cdots,n$. Let $f:\mathbb{R}^{n}\rightarrow [0,\infty[$ be defined by the integral $$f(y):=\int_{\...
Medo's user avatar
  • 852
5 votes
0 answers
168 views

Sobolev extension from a discrete set of points

Let $1 > \alpha > 0$ and fix some $C > 0$. Consider $\Omega \subset \mathbb{R}^n$ a bounded domain and $Y \subset \Omega$ a discrete (finite) set of points. For $f: Y \to \mathbb{R}$ define $$...
Ceka's user avatar
  • 501
5 votes
0 answers
72 views

Value of prolate speroidal wave function at 0

I have a very basic question about prolate speroidal wave functions that can be defined as eigenfunctions to the following integral equation: $$ \lambda\cdot \psi(x) = \int_{-1}^{1}\frac{\sin 2c(x-y)}{...
Nick Gravin's user avatar
5 votes
0 answers
913 views

Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?

Preliminary Definitions Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...
juan rojo's user avatar
  • 103
5 votes
0 answers
323 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 ...
Liviu Nicolaescu's user avatar
4 votes
0 answers
242 views

Fefferman's article: Pointwise convergence of Fourier series, II

I have some problems reading Pointwise convergence of Fourier series by Fefferman https://www.jstor.org/stable/1970917 I got stuck in Chapter 6, Lemma 5. In the proof he split the $\mathcal P'$ into ...
Thomas Yang's user avatar
3 votes
0 answers
141 views

Direct analytic proof of positive definiteness of stable characteristic functions

Is there a direct analytic proof that the function $$ f ( t ) = \exp\left(-|t|^\alpha \big[ \lambda + i \theta \operatorname{sign} ( t ) \big]\right), \qquad \lambda > 0, \quad |\theta| < \...
tsnao's user avatar
  • 620
3 votes
0 answers
204 views

The inversion formula for the square root of a positive function

Let $f\in L^1(\mathbb{R})$. Suppose that $\hat{f}$, the Fourier transform of $f$, is a positive function in $C_0(\mathbb{R})$. Does there exists any function $g\in L^1(\mathbb{R})$ with $|\hat{g}|^2=\...
ABB's user avatar
  • 4,058
3 votes
0 answers
216 views

The Fourier transform of a compactly supported smooth function on Lie groups over $\mathbb{Q}_S$, where $S$ contains finitely many primes and $\infty$

Let $G$ be a semisimple Lie group defined over global Field $\mathbb{Q}$. Let $S$ be a set of finitely many non-Archimedean places including Archimedean places. Let $P_{0}=M_{0}A_{0}N_{0}$ be the ...
user938363's user avatar
3 votes
1 answer
488 views

Strict inequality in decoupling inequality

I am working on the decoupling inequality developed by Bourgain and Demeter: https://arxiv.org/abs/1604.06032. Is there an example where we have strict inequality in Theorem 1.1, say in the case $n=2$ ...
Thomas Yang's user avatar
3 votes
0 answers
237 views

Reconstructing a sine wave using square waves and Möbius inversion: L² convergence?

Let $s$ be the (“square wave”) $1$-periodic real function such that $s(x) = 1$ if $0<x<\frac{1}{2}$ and $s(x) = -1$ if $\frac{1}{2}<x<1$ (and maybe $s(0)=s(\frac{1}{2})=0$ for the sake of ...
Gro-Tsen's user avatar
  • 32.5k
3 votes
0 answers
140 views

Decay of Laplace (or Mellin) transform beyond region of convergence?

Let $f:[0,\infty)\to \mathbb{R}$ be a piecewise differentiable function with $f(0)=0$ and $f'(t)$ of bounded variation. Its Laplace transform $\mathcal{L}f$ converges for $\Re s > 0$. Assume it can ...
H A Helfgott's user avatar
  • 20.2k
3 votes
0 answers
240 views

About optimizing decay rate of Fourier transforms?

Suppose we have a density function $f(t)$ of a random variable and $f \in C^1(R)$. If characteristic function of $f$ is $\phi_f(x) \asymp O(x^{-\beta})$ and $f$ satisfies some restrictive conditions ...
CC95's user avatar
  • 31
3 votes
0 answers
209 views

Optimal Kakeya maximal bound for bushes

Let $\{T_{\alpha}\}$ be a collection of $1\times\cdots\times 1\times N$ tubes, where $N\gg 1$, with maximal $1/N$-separated directions, which all are centered at the origin (i.e. they form a bush). In ...
Matt Rosenzweig's user avatar
3 votes
0 answers
119 views

Does the following inequality hold under Zygmund condition?

Let $f:R\rightarrow R$ be a continuous function which satisfies the Zygmund condition $$ |f(x+\delta)+f(x-\delta)-2f(x)|\leq \text{const} \frac{|\delta|}{(\log\frac{1}{|\delta|})^{\alpha}}, \,\, \...
sokho's user avatar
  • 197
3 votes
0 answers
660 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 $...
Laurent's user avatar
  • 319
2 votes
0 answers
79 views

For $\Phi$ a majorant of $1_{[-1/2,1/2]}$, how small can the total variation of $\widehat\Phi$ be?

Let $\Phi:\mathbb{R}\to \mathbb{R}$ be a real-valued, symmetric, non-negative function such that $\Phi(t)\geq 1$ for $|t|\leq 1/2$. Assume furthermore that $\Phi$ and $\widehat\Phi$ are both in $L^1\...
H A Helfgott's user avatar
  • 20.2k
2 votes
0 answers
216 views

Fourier transform of Dirac delta distribution

Let $f,g$ be Schwartz functions on $\mathbb R^4$, we denote them as $\mathcal S(\mathbb R^4)$, one can then define the transform $V$ mapping $f,g$ to a Schwartz function $\mathcal S(\mathbb R^8)$ $$ V(...
Guido Li's user avatar
2 votes
0 answers
2k views

Stein's book on harmonic analysis

My background : I am a Math PhD student. I will most probably work in harmonic analysis on Euclidean spaces. I am a fan of Folland's Real analysis and I have thoroughly studied first 8 chapters of ...
risefrominfinite's user avatar
2 votes
0 answers
221 views

Turán–Nazarov's lemma for algebraic polynomials?

Nazarov proved a version of Turán's lemma in Complete Version of Turan’s Lemma for Trigonometric Polynomials on the Unit Circumference, which is now known by the name Nazarov–Turán's lemma. A special ...
April's user avatar
  • 399
2 votes
0 answers
216 views

Boundedness of solutions to second order ODE

Let $q(x)$ be a probability density function over $[0,1]$. Let $\lambda > 0$ and $f: [0,1] \to \mathbb{R}$ be any solution to the following ODE: $$ \lambda f''(x) + q(x) f(x) = 0, \text{for all }x \...
Wuchen's user avatar
  • 515
2 votes
0 answers
169 views

Functions whose Fourier coefficients satisfy $ \sum_{k=1}^\infty |c_k| < 1 $?

Let $f:(0,1) \to \mathbb R$ be a function that can be written as $$f(x) = \sum_{k=1}^\infty c_k \phi_k(x),$$ where $\phi_k(x) = \cos(\pi k x)$. What is the minimal assumption required on $f$ to ...
Riku's user avatar
  • 839
2 votes
0 answers
113 views

Inequality about exponential integrals

I am reading about Dirichlet polynomials in the book Analytic Number Theory by Iwaniec-Kowalski. During the proof of Theorem 9.1 for any positive real numbers $T, N$ they define a piecewise linear and ...
Dr. Pi's user avatar
  • 3,062
2 votes
0 answers
293 views

Average of irrational flow on the torus

Let $$F(x,y) = \frac{1}{\sqrt{2-\sin(2\pi x) - \sin(2\pi y)}}$$ defined on $\mathbb{T}^2$. Here $\mathbb{T}^2 = \mathbb{R}^2/ \mathbb{Z}^2$ is the 2-torus. How can I show that $$ \lim_{T\...
Sean's user avatar
  • 375
2 votes
0 answers
101 views

A specific Schwartz function $f$ on $\mathbb C^2$

Choose a Schwartz function on $\mathbb C$ of the form $f(z)=f(r e^{i\theta})= f_0(r) e^{in\theta}$. Then $$(*) \quad f(e^{i\alpha} z)= e^{in\alpha} f(z), \quad \forall z\in \mathbb C.$$ Now, let $f$ ...
Z. Alfata's user avatar
  • 650
2 votes
0 answers
185 views

Is this simple oscillatory integral operator uniformly bounded on $L^2$?

Let $\phi(t,s)$ be a real-valued function smooth away from the diagonal, and equal to 0 on the diagonal. Assume that $0\le \phi(t,s)\le |t-s|$ for $t,s\in \mathbb{R}$. Let $$T_\lambda f(t)=\int \frac{\...
Mr.right's user avatar
  • 171
2 votes
0 answers
183 views

Are there any improvements on the estimate of oscillatory integral with one-side folds?

Suppose $X$ and $Z$ are open sets in $\mathbb{R}^d$ and $\mathbb{R}^{d+1}$, respectively. Define $T_\lambda f:L^2(Z)\to L^2(X)$ by $$T_\lambda f(x)=\int e^{i\lambda\Phi(x,z)}a(x,z)f(z)dz,$$where the ...
Mr.right's user avatar
  • 171
2 votes
0 answers
167 views

Integrating a series expansion of $\mbox{frac}(x)\lfloor x\rfloor$ coming from Fourier series of sawtooth function

Let me preface this question by saying that I am not exactly sure it counts as research level. It is crossposted on mathstackexchange: https://math.stackexchange.com/questions/1519724/integrating-a-...
Andrew Stout's user avatar
2 votes
0 answers
443 views

What is the Fourier transform of this function?

Consider the function $$ f(x_1,x_2)=|x_1x_2|^{-\alpha/2}\int_{\mathbb{R}} \frac{e^{it(x_1+u)}-1}{i(x_1+u)} \frac{e^{it(x_2-u)}-1}{i(x_2-u)} |u|^{-\beta}du. $$ It is known that $f(x_1,x_2)\in L^2(\...
Uchiha's user avatar
  • 87
2 votes
0 answers
341 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) $d\nu(...
H A Helfgott's user avatar
  • 20.2k
2 votes
0 answers
234 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 $\lambda\...
Itay's user avatar
  • 549
2 votes
0 answers
164 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) = \frac{1}{2\...
Analysis Now's user avatar
  • 1,471
2 votes
0 answers
231 views

characterization of Hörmander multipliers

Denote $S$ as the space of Schwartz functions, for $v\in S'$, the space of tempered distributions, define an operator $T_v:f\in S \to f*v$. Then space of Hormander Multipliers $M^{p,q}$ can be defined ...
Shaoming Guo's user avatar
1 vote
0 answers
98 views

Periodicity in one Fourier variable

Let $f:[0,1]\times [0,1] \to \mathbb C$ be a double periodic function (periodic in both variables) that depends real-analytically on its argument. We can thus write $f$ as $$ f(x) = \sum_{n \in \...
António Borges Santos's user avatar
1 vote
0 answers
73 views

$L^p$ norm of Fourier transform of function composed with a diffeomorphism

Suppose $f$ is a compactly supported smooth function from $\mathbb{R}^n$ to $\mathbb{C}$ and $A$ is a diffeomorphism on $\mathbb{R}^n$, do we have any theorems relating the $L^p$ norm of $\hat{f}$ and ...
Simplyorange's user avatar
1 vote
0 answers
67 views

Estimating commutator of Fourier integral

Let $f(x)= \log(\vert x\vert)$ on $\mathbb R^2$ and define $s_n:H^2 \to L^2$ where $H^2$ is the second Sobolev space by $$ s_n(g)(x) = \frac{nf(x)}{4\pi i} \int_{\mathbb R^2} e^{\frac{in\vert x-y\...
António Borges Santos's user avatar
1 vote
0 answers
205 views

Fourier transform of functions mapping manifolds, is there a definition?

$\DeclareMathOperator\SO{SO}$I have a problem which boils down to the analysis of functions of the form $$ f : \mathbb{R} \to \SO(3)^n $$ Since $\SO(3)$ is a compact group so is $\SO(3)^n$. Now if ...
user8469759's user avatar
1 vote
0 answers
47 views

Functional inequality for fractional Laplacian

Let $f$ be a nonnegative function on the $d$-dimensional torus $\mathbb{T}^d$, which you can take to be smooth. Let $\bar{f}:=\int_{\mathbb{T}^d}fdx$. I am interested in whether the following ...
Matt Rosenzweig's user avatar
1 vote
0 answers
70 views

Function of several variables whose hessian is a Hankel matrix

First of all, let me apologize because I asked this question a few days ago on https://math.stackexchange.com, but I did not get any reply. I am studying a function $f:\mathbb{R}^n\rightarrow\mathbb{R}...
G. Fougeron's user avatar
1 vote
0 answers
690 views

What is the Jacobi-Anger expansion of $\sin^{[k]} (\theta) $?

Cross-post from MSE. The Jacobi-Anger expansion gives expressions for functional iterates of trigonometric functions in terms of Bessel functions. For instance, we have $$\sin(z \sin(\theta)) = 2 \...
Max Lonysa Muller's user avatar
1 vote
0 answers
151 views

Fourier transforms exhibiting symmetries about their critical points

Upon looking at the graphs of various Fourier sine and cosine transforms (ones without Dirac deltas in their domain) I've noticed a pattern that is probably already known, but that I thought would be ...
John Clever's user avatar
1 vote
0 answers
103 views

Integrability of Fourier transform of truncated fractional power

Is the Fourier transform of the function $f$ which agrees with $1_{[-1.1]}|x|^\alpha$ on $[-1,1]$ and then decays very fast to zero to become a compactly supported continuous function, is in $L^1(\...
A beginner mathmatician's user avatar