Questions tagged [harmonic-analysis]
Harmonic analysis is a generalisation of Fourier analysis that studies the properties of functions. Check out this tag for abstract harmonic analysis (on abelian locally compact groups), or Euclidean harmonic analysis (eg, Littlewood-Paley theory, singular integrals). It also covers harmonic analysis on tube domains, as well as the study of eigenvalues and eigenvectors of the Laplacian on domains, manifolds and graphs.
1,421
questions
4
votes
2
answers
373
views
Is $(G\rtimes H,H)$ a Gelfand pair iff $G$ is abelian?
Let $G$ be a finite group and $K \subset G$ a subgroup. Then $(G,K)$ is a Gelfand pair if the double coset Hecke algebra $\mathbb{C}(K \backslash G / K)$ is commutative.
Let $H$ be a subgroup of $...
4
votes
3
answers
1k
views
distribution of $\{na\}$ when $a$ is irrational number
(by $\{x\}$ I mean the fraction part of the real number $x$)
If $a$ is an irrational number and $n$ is a integral number, what is the distribution of $\{na\}$? I'm asking for some continuous function $...
4
votes
2
answers
327
views
estimate for a sum of products of Weil's sum
Let $p$ be a prime and consider the field $\mathbb{F}_p$. Fix $f\in\mathbb{F}_p[X]$ a polynomial of degree $d\ge 2$. Define
$$
K(x,y)=\frac{1}{\sqrt{p}}\sum_{z\in\mathbb{F}_p}e_p(xz+yf(z)),
$$
where $...
4
votes
1
answer
1k
views
Can the Fourier series of a continuous function diverge on an uncountable set of measure zero?
I know that there exist continuous function $f: [0,2\pi]\rightarrow\mathbb{R}$ whose Fourier series diverges at all rational points of $[0,2\pi]$(c.f. Katznelson).We also know that the set of ...
4
votes
1
answer
357
views
Does equidistribution of zero average, due to irrationality, imply boundedness?
Let $f:\mathbb R\to\mathbb C$ be a sufficiently smooth and $1$-periodic function of average zero (i.e., $\int_0^{1}f(x)\,dx=0$), and let $\alpha\in(0,1)\smallsetminus\mathbb Q$. We know that
$$
\...
4
votes
2
answers
317
views
Is the left-regular representation of a locally compact group a homeomorphism onto its image?
Consider the left-regular representation $\lambda : G \to B(L^2(G))$, $\lambda_g f(h) = f(g^{-1}h)$, for a locally compact group.
It is well-known that this is a unitary faithful and strongly-...
4
votes
1
answer
595
views
Large deviations for trigonometric polynomials
Let $n_1 < \dots < n_N$ be positive integers. Assume we don't know anything about their actual values. What is the best general upper bound we can give for
$$
\mu \left( x \in [0,1] : ~\left|\...
4
votes
1
answer
385
views
Estimate on $C^1$-norm of solution of the Dirichlet problem for the Laplace equation
Let $\Omega\subset \mathbb{R}^n$ be a bounded domain with $C^\infty$-smooth boundary. Let $\phi\in C^\infty(\partial \Omega)$. Let $u$ be the solution of the Dirichlet problem of the Laplace equation
\...
4
votes
1
answer
222
views
Approximate constant function
Let $f:[0,1]^2 \rightarrow \mathbb C$ be an $H^1$ function with the property that $f(x,x)=0$ and $\Vert f \Vert_{L^2[0,1]}=1.$
Does there exist a constant $c>0$ such that any such function ...
4
votes
1
answer
929
views
Two questions on Elias Stein paper (1976)
I am working on some results related with a paper of Elias Stein (on the almost every where convergence of wavelet summation methods), and I have the following questions:
The maximal function ...
4
votes
2
answers
531
views
Ultrafilter-based Fourier-Walsh-like Functions
Here is a (little wild) question about Boolean functions with countably many variables and a wild analog for Fourier-Walsh functions and analysis based on them.
Let $x_1,x_2,\dots,x_n,\dots$ be ...
4
votes
2
answers
594
views
When is the Fourier algebra $A(G)$ enough close to the Fourier-Stieltjes algebra $B(G)$?
I am reading P.Eymard's paper on the Fourier algebras of locally compact groups, and I have several questions about his constructions. I asked one of them in math.stackexchange, so far without success,...
4
votes
1
answer
421
views
eigenfunctions of the Fourier transform in the Schwartz space
Recall that $L^2(\mathbb R)$ decomposes into the direct sum of the eigenspaces of the Fourier transform corresponding to its four eigenvalues, namely the four fourth roots of unity. If $f\in L^2(\...
4
votes
2
answers
598
views
Capacity of Balls in Hyperbolic Space
Given $M$ a Riemannian manifold and $\Omega\subset M$ the capacity of $\Omega$ is defined as
$$
\mathrm{cap}(\Omega)=\inf \int_{M\setminus\Omega}{|\mathrm{grad} \varphi|^2 dV}
$$
where $\varphi$ ...
4
votes
1
answer
743
views
How to get $\int_{\mathbb R^d} |\partial_i\partial_j(1-\Delta)^{-\frac{\delta}{2}}p_t(\cdot-y)(x)| \, \mathrm d x \lesssim t^{\frac{\delta}{2}-1}$?
We consider the Gaussian heat kernel $p_t$ on $\mathbb R^d$, i.e.,
$$
p_t (x) := (4\pi t)^{-\frac{d}{2}} e^{-\frac{|x|^2}{4t}},
\quad t>0, x \in \mathbb R^d,
$$
and define the operator $P_t$ by
$$
...
4
votes
1
answer
334
views
Inequality with decreasing rearrangement function
Let $f^{*}$ be the usual decreasing rearrangement function of a measurable function $f$ on a measure space $(X, \mu)$. Let $1<p<n$ and set $$p'=\frac{pn}{n-p}.$$ Also, let $g$ be a positive ...
4
votes
1
answer
209
views
Is a specific product function orthogonal to all harmonic functions
Suppose $\Omega=[-1,1]^3$. Let $f:[-1,1]\to \mathbb R$ and $g:[-1,1]^2\to \mathbb R$ be smooth functions and suppose that given any harmonic function on $\Omega$ (i.e. $\Delta u =0$ on $\Omega$), with ...
4
votes
2
answers
584
views
The formula for (and computation of) the inverse p-adic mellin transform
So, after scouring the entirety of the internet, I managed to find one (and, so far, only one) source that actually explains how to invert the $p$-adic mellin transform:
$$\mathscr{M}_{p}\left\{ f\...
4
votes
1
answer
491
views
An Exponential Sum Restricted to Primes
Let $a,q,N$ be integers such that $N/2 \leq q \leq N$ and $a/q \notin \mathbb{Z}$.
Is the following estimate true, and, if so, how can it be proved?
\[\left|\sum_{1 \leq p \leq N} \exp(2\pi i p a/q) \...
4
votes
2
answers
218
views
Root of positive function in Fourier algebra
Let $G$ be a locally compact group, let $A(G)$ be the Fourier algebra of $G$. We think of $A(G)$ as a subalgebra of $C_0(G)$.
Question 1: Let $f\in A(G)$ be a function that is pointwise positive. ...
4
votes
1
answer
1k
views
sum of integral part of n/k
Is there any direct formula or algorithm better than the brute force (O(n) algorithm by iterating from 1 to n) way to calculate the sum
\begin{equation}
S = \sum\limits_{i=1}^n [{\frac{n}{i}}]
\end{...
4
votes
1
answer
846
views
Hardy-Littlewood maximal function
We know that Hardy-Littlewood maximal function is $(p,p)$ for any $p>1$. But one proves first that it is weak type $(1,1)$ and then use interpolation. I am just curious to know: is there a way of ...
4
votes
2
answers
501
views
Maximal function related to the Ornstein-Uhlenbeck operator.
On $\mathbf R^d$ the Ornstein-Uhlenbeck operator is defined as ($\partial_i = \frac{\partial}{\partial x_i}$).
$$L = \frac12 \sum_i \partial_i^* \partial_i$$
where $\partial_i^* = -\partial_i + 2 ...
4
votes
1
answer
699
views
Are there explicit formulas for spherical functions on oriented real grassmannians?
Let $p$ and $q$ be integers. The group $K=SO(p) \times SO(q)$ can be naturally seen as a subgroup of $G=SO(p+q)$. The quotient space $G/K$ is identified with the space of oriented $p$-dimensional ...
4
votes
1
answer
315
views
Every locally compact group gives rise to a locally compact quantum group
A locally compact quantum group (in the sense of Vaes-Kustermans) consists of the data $(M, \Delta, \varphi, \psi)$ with $M$ a von Neumann algebra, $\Delta: M \to M \overline{\otimes} M$ a normal ...
4
votes
2
answers
498
views
A proof of Bernstein's inequality
I'm studying the Meyer's book, "Wavelets and operators", and I'm confused about a proof of Bernstein's inequality at page 47, which is stated below:
"The function $\frac{\xi^\beta}{|\xi|...
4
votes
1
answer
181
views
Integral of $\ln(1/|f|)$ for $f$ bandlimited
I came across the following assertion: if $f\in PW_\infty([-a,a])$, i.e. the Bernstein space of functions in $L^\infty(\mathbb{R})$ which are the Fourier transform of a distribution supported on $[-a,...
4
votes
1
answer
319
views
Maximal ergodic inequality
A map $f: X \to X$ preserves an ergodic probability $\mu$, i.e., $\mu \circ f^{-1}=\mu$ and for any $\phi: X \to \mathbb{R}$ with $\int \phi d\mu=0$,
$$\frac{1}{n} \sum_{i \le n} \phi \circ f^i \to 0 \...
4
votes
1
answer
139
views
Can the degree of $k$-nilpotence of a simple simply connected compact Lie group be in $(0,1)$?
Let $G$ be a simple (i.e. every proper normal subgroup is discrete) simply connected compact Lie group. Define the degree of $k$-nilpotence of $G$ to be the Haar measure of the set
$$\{(x_1,\dotsc,x_{...
4
votes
1
answer
284
views
Square-integrability in lemma 4.30 of Folland's "A Course in Abstract Harmonic Analysis"
This question was originally posted on MSE (https://math.stackexchange.com/q/3796602/793374), but nobody has found a correct answer in about two weeks, so I decided to repost it here:
In lemma 4.30 of ...
4
votes
1
answer
415
views
How to use van der Corput's lemma to get the following estimates?
Recently, I'am reading Tao's article Spherically Averaged Endpoint Strichartz Estimates for the Two-Dimensional Schrodinger equation, in which there are some problems that I can't solve by myself.
...
4
votes
1
answer
169
views
Multiplicities in Plancherel theorem for SL2(R)
The usual formulation of the Plancherel theorem one writes $f(1)$ as an integral over the dual $\widehat G$. The support of the measure is the set of representations which weakly occur in $L^2(G)$. ...
4
votes
1
answer
140
views
Finding a special Banach algebra and a net of homomorphisms
If $A$ is a Banach agebra and $M$ is a Banach $A$-bimodule then a linear map $T:A\to M$ is called an $A$-module homomorphism if $$T(ab)=aT(b),\quad T(ab)=T(a)b,\qquad a,b\in A.$$ Also $A\hat{\otimes} ...
4
votes
2
answers
775
views
Iwaniec's conjecture
Does anyone know whether there is any geometric applications of the Iwaniec's conjecture on $ l^p $ bound of Beurling Alfhors transform (or the complex Hilbert transform). One application could have ...
4
votes
1
answer
477
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}.
\end{...
4
votes
1
answer
259
views
Schroedinger operator in 2 dimensions with singular potential
Consider the Schroedinger operator
$$H = -\Delta + \frac{c}{\vert x \vert^2}$$
in two dimensions with $c >0$
This operator has a self-adjoint realization, since it is a positive symmetric operator ...
4
votes
1
answer
173
views
When is $W^{1,p}(\Omega)$ a Banach algebra?
Let $\Omega \subseteq \mathbb{R}^d$ be bounded and open with $\partial\Omega$ Lipschitz, $1<p<\infty$.
My question: knowing that $f,g\in W^{1,p}(\Omega)$ for what $p$ can we conclude that $f\...
4
votes
1
answer
192
views
Fourier coefficients of Selberg polynomials
In Montgomery's "Ten Lectures on the Interface Between Number Theory and Harmonic Analysis" a bound for the Fourier coefficients of the Selberg polynomial $S^+_K$ is obtained by using what ...
4
votes
1
answer
220
views
A lower bound for the $L^1$ norm of real trigonometric polynomials
This question is somewhat similar to Minimizing the L1 norm of odd-term trigonometric polynomial. The context of the question is based on the paper Hardy's Inequality and the $L^1$ norm of Exponential ...
4
votes
1
answer
562
views
The decay of Fourier coefficients and the continuity of functions
Let $ f $ be a function on $ \mathbb{T}=[0,1] $ ($ 1 $-periodic) with bounded variation. Prove that if $ \widehat{f}(k)=\int_0^1f(x)e^{-2\pi ikx}dx=o(1/|k|) $, then $ f\in C(\mathbb{T}) $. I do not ...
4
votes
2
answers
166
views
Measure algebra on the Bohr compactification vs the bidual algebras
The following question probably reduces to some standard abstract harmonic analysis Twister play, but I'd still welcome some comments on it.
Let $G$ be a locally compact Abelian group and let $bG$ ...
4
votes
1
answer
888
views
Harmonic analysis on constant curvature hyperbolic spaces of arbitrary dimension
I am currently looking for a formulation of a Fourier transform on manifolds of constant negative curvature. Specifically, I am looking for generalizations of the two dimensional results on the ...
4
votes
2
answers
429
views
Gaps in the spectrum of Laplace-Beltrami operators
Let us consider $\mathbb S^d$ the unit Euclidean sphere of $\mathbb R^{d+1}$ and let $\Delta_{\mathbb S^d}$ be the Laplace operator on $\mathbb S^d$. We have
$$
-\Delta_{\mathbb S^d}=\sum_{k\in \...
4
votes
1
answer
420
views
Embedding theorem for anisotropic Sobolev spaces
Let $d=d_1+d_2$, $s_1,s_2>0$, $p>1$ and $(x_1,x_2)\in \mathbb{R}^{d_1}\times \mathbb{R}^{d_2}$, $(\xi_1,\xi_2)\in \mathbb{R}^{d_1}\times \mathbb{R}^{d_2}$. Define
$$
W^{s_1,s_2}_{p}:=\left\{f: ...
4
votes
1
answer
1k
views
Spherical Harmonics on $S^3$ [closed]
My understanding is that harmonic analysis on the circle ($S^1$) leads to Fourier Series/Integrals whereas harmonic analysis on the sphere ($S^2$) leads to Spherical Harmonics. If we take the next ...
4
votes
2
answers
289
views
interpretation of a singular integral
There is a post on MSE about a principal value integral in this paper. It has not received much attention even with a bounty, and since it concerns a published paper, I believe this is a better forum ...
4
votes
1
answer
427
views
Generalisation of Lebesgue differentiation theorem to Orlicz spaces
If $f\in L_{p}^{\rm loc}(\mathbb{R}^{n})$ and $1\leq p<\infty$, then a stronger version of Lebesgue differentiation theorem holds: $$\lim\limits_{r\rightarrow 0}\dfrac{\|f\chi_{B(x,r)}\|_{L_{p}(\...
4
votes
1
answer
325
views
To give an estimate for the maximal function associated to the Schrödinger group by using a measurable selector function
I am consulting some papers (references below) about the Carleson's problem for the pointwise convergence of the Schrödinger group
\begin{equation}
S_t=e^{i t \Delta}.
\end{equation}
In this context ...
4
votes
2
answers
2k
views
Quotient of a compact Lie group by maximal Torus
I start with a noncompact connected semisimple Lie group with finite center $G$ and fix a maximal compact subgroup $K$ of $G$. I am considering these compact groups $K$. If $\mathbb T$ is the ...
4
votes
2
answers
625
views
Does there exists a necessary condition for Lp multiplier?
Let $1 \leq p \leq 2$. A measurable function $m(\xi)$ is called a $L^p(R^n)$ ($L^p$ for convenience) multiplier, if $$\|m(D)\varphi\|/\|\varphi\|_{L^p} \leq C , \varphi \in L^p
$$ for some constant $C$...