Questions tagged [fourier-analysis]
The representation of functions (or objects which are in some generalize the notion of function) as constant linear combinations of sines and cosines at integer multiples of a given frequency, as Fourier transforms or as Fourier integrals.
527
questions with no upvoted or accepted answers
19
votes
0
answers
1k
views
Laplace Transform in the context of Gelfand/Pontryagin
Question: Do quasi-characters or some other semi-group properly generalize the Laplace transform or decompose functions in some setting in a way similar to how characters generalize the classical ...
15
votes
0
answers
740
views
Prove $\int_{0}^{\infty} \cos(\omega x) \exp(-x^{\alpha}) \, {\rm d} x \ge {\alpha^2 \sqrt{\pi} \over 8} \exp \left( -\frac{\omega^2}{4} \right)$
I would like to prove that
$$\int_{0}^{\infty} \cos(\omega x) \exp(-x^{\alpha}) \, {\rm d} x \ge
{\alpha^2 \sqrt{\pi} \over 8} \exp \left( -\frac{\omega^2}{4} \right)$$
for any $\omega > 0$ and $...
14
votes
0
answers
3k
views
Tanh version of a Fourier Transform?
I am trying to perform some computations in an environment where it is much easier to compute the hyperbolic tangent function (tanh) than cosines or sines. This prevents me from performing Fourier ...
13
votes
0
answers
331
views
A modified Heisenberg uncertainty relation
Let $\psi\colon\mathbb R\to\mathbb C$, and set
$$
F[\psi]:=\pi\ \frac{\displaystyle\int_{\mathbb R} |x|\;|\psi(x)|^2\,\mathrm dx}{\displaystyle\int_{\mathbb R}|\psi(x)|^2\,\mathrm dx}\frac{\...
13
votes
0
answers
461
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 ...
12
votes
0
answers
240
views
Pointwise convergence of trigonometric series
$f$ is said to have trigonometric expansion if some series $\sum_{n\in\mathbb{Z}}c_ne^{inx}$ converges pointwise to $f(x)$. On the second page of the article Trigonometric series and set theory, ...
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 ...
11
votes
0
answers
630
views
What is the asymptotics of the Fourier transform of $\exp(-x^4)$ for large wave numbers?
The Fourier transform of $\exp(-x^4)$ has an analytical expression, it's the difference of two generalized hypergeometric functions:
$\int d x \ e^{-x^4} e^{ikx} = 2 \ \Gamma(\frac{5}{4}) \ _0F_2(;\...
11
votes
0
answers
574
views
Fourier transforms and nontrivial vector bundles
We know that in arithmetic, geometry and analysis, Fourier transforms of various forms show up. For example, we have the classical Fourier transform, Fourier-Mukai transforms in the setting of ...
11
votes
0
answers
630
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) =
\int_{\...
11
votes
0
answers
635
views
Connections of results in Harmonic analysis in the theory of Transcendental Numbers
An entire function $f$ is said to be of exponential type if there exist constants $c$ and $k$ such that $|f(z)|\leq c e^{k |z|}$.
A famous result of Polya says if $f$ is an entire function of ...
11
votes
0
answers
1k
views
Is the Fourier-Transform a bounded operator on Lorentz spaces L(2,q)?
It is well known that the Fourier transform $\mathcal{F}$ maps $L^1(\mathbb{R}^n)$ continuously into $L^\infty(\mathbb{R}^n)$ and $L^2(\mathbb{R}^n)$ continuously into $L^2(\mathbb{R}^n)$.
Then, by ...
10
votes
0
answers
172
views
A combinatorial proof of the Harrow--Kolla--Schulman theorem
Let $Q^n := \{0,1\}^n$ be the Hamming cube with the Hamming metric. (Recall that the Hamming is defined by the distance $d(x,y) := \# \{ i : x_i \neq y_i \}$.
For integers $0 \leq k \leq n$, define a ...
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 ...
9
votes
0
answers
196
views
On the conditions of convergence in the generalized Riemann-Lebesgue lemma
I am reposting the following question that I asked in the MSE site here.
As I mentioned there, The following generalizations of the Riemann-Lebesgue lemma are rather well known (Kahane, C. S., ...
9
votes
0
answers
304
views
Best smoothing for the Prime Number Theorem?
There are plenty of proofs of the Prime Number Theorem with explicit error terms - it actually looks like a rather competitive field (see Remark 1.4 in https://arxiv.org/pdf/2204.02588.pdf). Several ...
9
votes
0
answers
403
views
Uncertainty principle redux
In what follows, $g:\lbrack 0,\infty)\to \mathbb{R}$ will be a continuous function obeying the following constraints: $g(x)=1$ for $x\leq 1-\delta$, $g(x)=0$ for $x\geq 1+\delta$, and $g(1-t)=1-g(1+t)$...
9
votes
0
answers
240
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 ...
8
votes
0
answers
226
views
Question on calculating character sums
I am wondering if there are any references that would help me with the following problem:
Let $p>2$ be a prime number, $n \in \mathbb{Z}^+$ odd such that $(n,p)=1$, $\chi$ an imaginary quadratic ...
8
votes
0
answers
137
views
Fourier transform of $I_Y$, $Y=\{\text{numbers with many prime factors}\}$
Let $Y$ be the set of integers $N<n\leq 2 N$ with more than $D \log \log N$ prime factors. We may consider, say, $D = (\log \log N)^{1-\epsilon}$.
We do have rather precise approximations for the ...
8
votes
0
answers
162
views
A basis of the Banach space $L^p(\mathbb T^\omega)$ consisting of characters
Problem: For $1<p<\infty$, $p\ne 2$, has the complex Banach space $L^p(\mathbb T^\omega)$ got a Schauder basis consisting of characters of the compact topological group $\mathbb T^\omega$?
(...
8
votes
0
answers
388
views
$L^1$ norm of Fourier transform of subset sums
Let $n_1,\dots,n_k$ be a set of $k$ natural numbers less than $N$, with $k = (1- \delta) \log_2 N$ for $\delta$ relatively small. Let $e(x) = e^{ 2\pi i x}$, as usual.
Assume that $$\int_0^1\prod_{j=1}...
8
votes
0
answers
383
views
Voronoi summation and functional equation, from the point of view of distributions
Consider the Voronoi summation formula for the sum of squares function $r_2$, in terms of Bessel function $J_0$:
$$\sum_{n=0}^\infty r_2(n) \int_0^\infty \pi J_0(2\pi\sqrt{nx}) f(x) \, dx = \sum_{n=...
8
votes
0
answers
347
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 ...
8
votes
0
answers
518
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 ...
7
votes
0
answers
144
views
Inequality of product of discrete cosines
Let $k,a,b,c$ be odd positive integers. Consider the following inequality:
$$
\sum_{x,y \in [k]} \cos^a\bigg(\frac{2\pi}{k}\cdot x\bigg) \cdot \cos^b\bigg(\frac{2\pi}{k}\cdot y\bigg) \cdot \cos^c\bigg(...
7
votes
0
answers
311
views
Multiple Fourier series
In the book by Elias M.Stein and Guido Weiss "Introduction to Fourier Analysis on Euclidean Spaces" one states in page 268 the following theorem:
Theorem 1: The trigonometric series
$$\...
7
votes
0
answers
113
views
Smoothing property of a certain singular integral operator of non-convolution type
For simplicity, suppose that the dimension $d=2$, and let $g_s(x)$ be the Coulomb or Riesz potential defined by
$$g_s(x) := \begin{cases} -\frac{1}{2\pi}\ln|x|, & {s=0} \\ c_s|x|^{-s},& {0<...
7
votes
0
answers
388
views
What is the relationship between Hecke algebras and the enveloping algebra of Lie groups?
Here is the story as I see it.
Let $G$ be an abelian locally compact group. Then the (spherical) Hecke algebra for $K=1$ is by definition the endomorphism algebra of $l^2(G)$ as a $G$-module, where ...
7
votes
0
answers
610
views
Convolution theorem on a non-abelian Lie group
Let $\mathrm{G}$ be a compact (simple, if it helps) non-abelian Lie group and let $\hat{\mathrm{G}}$ be its unitary dual of (equivalence classes) of irreducible unitary representations. Defining the ...
7
votes
0
answers
1k
views
Books on von Neumann algebras
I am interested in non-commutative $L^p$ spaces. I have a very basic background on von Neumann algebras. But all the papers appearing now a days really requires very deep knowledge of von Neumann ...
7
votes
0
answers
863
views
What's the idea behind various equivalent norms on Besov spaces $B^{s}_{p,q}$?
I am trying to understand Besov spaces; and I am eager to see why the various norms are equivalent on it.
Let $\phi$ be a $C^{\infty}$ function on $\mathbb R^{n}$ with
$ \operatorname{supp} \phi \...
7
votes
0
answers
725
views
The log kernel and Bochner Theorem
I was wondering if it possible to find a measure $\eta$ on $\mathbb{R}$ such that
$$
L(x):=\log\frac{1}{|x|}=\int e^{itx}\;d\eta(t)
$$
for every $x\in [0,1/2]$.
On a structural ground, this ...
7
votes
0
answers
1k
views
injectivity of Fourier transform: is there algebraic proof?
Let $L$ be the Banach algebra of $L^1$-functions from $\mathbb{R}$ to $\mathbb{C}$ with $L^1$-norm and convolution as algebra multiplication. Assume that we knew that the homomorphisms from $L$ to $\...
7
votes
1
answer
1k
views
Summary of sufficient conditions for convergence of Fourier series
I would like to summarize various sufficient conditions for various modes of convergence of Fourier series. The followings are what I have gathered so far:
$L^p$ convergence:
if $f \in L^p(\mathbb{T}...
6
votes
0
answers
128
views
Estimating the Hausdorff dimension of the discontinuity set of a function
Suppose $\sum_{\xi \in \mathbb{Z}^d}{a_{\xi}}e^{i\langle x, \xi\rangle }$ converges spherically pointwise to $0$ for all $x \in \mathbb{T}^d$, i.e. $\lim_{R \to \infty} \sum_{|\xi| < R}{a_{\xi}}e^{...
6
votes
0
answers
112
views
A function whose derivatives belong to $BMO(\mathbb{R}^n)$
I am reading the paper "Bounded Mean Oscillation and Sobolev Spaces" by Robert
s. Strichartz, Indiana University Mathematics Journal , 1980, Vol. 29, pp.
539-558. In this paper he defines ...
6
votes
0
answers
195
views
Detailed examples of induction on scale
I'm trying to understand the induction on scale argument in harmonic analysis. On this abstract it's mentioned that induction on scale can be used to prove Cauchy Schwartz inequality, Beckner's tight ...
6
votes
0
answers
195
views
Product of distributions under wavefront set condition is zero
Assume $u, v \in \mathcal{D}'(\mathbb{R}^n)$ are distributions with compact support. Denote by $\operatorname{WF}(\bullet) \subset T^*\mathbb{R}^n \setminus 0$ the wavefront set of a distribution $\...
6
votes
0
answers
196
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 ...
6
votes
0
answers
202
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). ...
6
votes
0
answers
116
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{...
6
votes
0
answers
116
views
Weak-type inequality for the partial Fourier sum operator
I'm studying harmonic analysis by myself. One of the online notes gives the following claim as a remark:
For any $N \in \mathbb{Z}^{+}$, let's use $S_{N}$ to denote the partial ($N$ terms) Fourier sum ...
6
votes
0
answers
91
views
Does every compact abelian group contain a Kronecker set generating a dense subgroup?
Let $G$ be a compact metrizable abelian group with infinite exponent.
Let $S^1 = \left\{z \in \mathbb{C} : |z| = 1 \right\}$. A set $K \subset G$ is a Kronecker set if, for every continuous function $...
6
votes
1
answer
698
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 ...
6
votes
0
answers
221
views
Poking into a Lie group with your finger
I consider this as a differential geometry problem. I have asked some
of my classmates who are more interested in that, and also looked into
some literature, but none of what I've found seems to help.
...
6
votes
0
answers
213
views
Divisor bound for $r_2$ off the origin
If $r_2(n)$ denotes the number of integer solutions to $a^2+b^2=n$, we have the "divisor bound" $r_2(n) = O(n^{\epsilon})$ for any $\epsilon>0$. Another way to state this is that the number of ...
6
votes
0
answers
214
views
Extremal polynomial majorants of $\log{|f|}$: a multivariate extension of a theorem of Carneiro and Vaaler
Carneiro and Vaaler have proved, as an application of their work on Beurling-Selberg extremal majorants, that for any non-zero complex polynomial $f(z) \in \mathbb{C}[z]$, the infimum value of the ...
6
votes
0
answers
201
views
Uniform estimates of Fourier transform of tempered functions with parameters
Consider the following function in $\mathbb{R}^3$:
$$
f_t(x)=(1+|x|^2)^{-\alpha}e^{-g(x)t},\,\,\,\,\, \text{where}\,\, g(x)=\frac{x^2_1\cdot x^2_2}{1+|x|^2},
$$
where $\frac{1}{2}<\alpha<1$, and ...
6
votes
0
answers
437
views
On Fourier coefficients of nonnegative function
Let $N$ be nonnegative integer, $F(x)$ be a nonnegative real
Lebesgue integrable function defined on $[0,1]$. Suppose that all Fourier coefficients $c(\lambda)=\int_0^1F(x)e^{-2\pi i \lambda ...