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

learn more… | top users | synonyms

7
votes
0answers
61 views

Definition of discrete spectrum and continuous and basic properties

I apologize if this is too basic for MO. I have an embarrassing admission to make: I don't know the actual definition of the discrete/continuous spectrum of a reductive group $G/\mathbb{Q}$ (in the ...
2
votes
0answers
50 views

Primitive ideal space and unitary dual of a [SIN] group - when are they Hausdorff?

Recall that a locally compact group $G$ is said to be an $[FC]^-$ group, if each conjugacy class in $G$ has a compact closure; an $[SIN]$ group, if each neighborhood of the identity includes a ...
1
vote
0answers
28 views

The decay rate of the spectrum of the Gaussian kernel on compact manifolds

It seems that the $k^{th}$ largest eigenvalue of the intergral operator induced on $S^n$ by the Gaussian kernel, $e^{-\frac{\vert \vec{x} - \vec{y} \vert _2^2}{2\sigma^2}}$ decays as $k^{-k}$. This is ...
4
votes
1answer
201 views

Weil's Haar measure construction from below

Weil's construction of a Haar measure on a locally compact group rests on approximating a function from above by sums of translates of another function. I would need to know something similar for an ...
2
votes
0answers
75 views

On some Poisson formula computation

I am pretty much stuck at estimating $$\sum_{\substack{\substack{|h| \leq \frac{k\log^2 T}{T}} \\}} \hspace{1 mm} \int_{1}^{k} \frac{e^{-\frac{T^2 \log^2(1+\frac{h}{x})}{4\log^2 ...
0
votes
0answers
125 views

Johnson's Theorem - Proof (Runde) Clarification

I am reading Runde's Lectures on Amenability. In the proof of Johnson's theorem where he proves "$L^{1}(G)$ is amenable Banach algebra implies $G$ is amenable" : he defines a $L^1(G)$ bimodule action ...
0
votes
0answers
44 views

Bounds on the the spherical harmonics on $S^{p-1}$

The only reference I could find in this regard is for upper bounding the n-homogeneous spherical harmonics on $S^{p-1}$ as in equation 4.29 here, ...
0
votes
0answers
8 views

Does Weil-Brezin transform provide Fourier basis in C^0 on Heisenberg manifold?

I know that $L^2$ functions of the Heisenberg nilmanifold are spanned by images of the Weil-Brezin transform. Is it true that they are also dense in C^0? Is there a reference for this?
2
votes
1answer
198 views

Does Fourier Algebra of locally compact group separate compact sets of the group?

Let $G$ be a locally compact group. Consider the left regular representation $\lambda$ over $L^2(G)$. Then according to Eymard, Fourier algebra of $G$, $A(G)$ is the set of all coefficients of ...
3
votes
1answer
662 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 ...
3
votes
0answers
156 views

Non-compact analogue of Peter-Weyl

I have the following situation: $G$ is a real unimodular locally compact semisimple Lie group. Then it is known that the regular representation $H:=L^2(G,\mu_H)$ decomposes as \begin{equation} ...
5
votes
1answer
602 views

Is the following integral nonzero?

Recently I met an integral as follow: $$\int_0^{2\pi}\cdots\int_0^{2\pi}\left(\prod\limits_{1\leq ...
2
votes
1answer
90 views

condition for $f \in H^{1/2} \cap C^0$

I need to show that for $f \in H^{1/2}(S^1) \cap C^0(S^1)$ we have : $$ \iint\limits_{S^1 \times S^1}{ \frac{|f(x)-f(y)|^2}{\sin^2(\pi(x-y))}dx dy}< + \infty $$ and that, conversely, if $f$ is a ...
4
votes
0answers
88 views

Well-definedness on $C_{0}^{\infty}(\mathbb{R}^{n})$

Let $T$ be a Calderon-Zygmund operator associated to a Calderon-Zygmund kernel $K\in CZK_{\alpha}$ of order $\alpha>0$ and $b\in BMO(\mathbb{R}^{n})$. Then for $f\in C_{0}^{\infty}(\mathbb{R}^{n})$ ...
2
votes
1answer
84 views

A singular integral of several functions

While playing with some PDE I came across a singular integral that looks something like ...
4
votes
0answers
54 views

L^1 maximal inequalities for the Ornstein-Uhlenbeck semigroup in infinite dimension

For an infinite-dimensional Gaussian random vector $X$ consider the Ornstein-Uhlenbeck maximal operator: $M f(X) := \sup_{\rho \in [0,1]} \mathsf{E} [f(\rho X + (1-\rho^2)^{1/2} X^\prime) \mid X]$ ...
6
votes
1answer
313 views

Liouville property - a very basic question

Let $\mathbb{F}_2$ be the free group on two generators. By a result of Kaimanovich and Vershik, for each measure $\mu$ on $\mathbb{F}_2$ such that the support of $\mu$ generates $\mathbb{F}_2$, we ...
2
votes
0answers
37 views

Restricted weak type bound at the endpoint

We know that if we have an operator that is (restricted) weak type $(p,p)$ and (strong) type $(\infty,\infty)$ with norm 1, then it's also of strong type $(q,q)$ for all $p<q<\infty$ by the real ...
0
votes
0answers
79 views

Why is this theorem equivalent to the informal explanation given by Tao? [migrated]

I will copy-paste the statement and the theorem from this paper by Tao about an uncertainty principle for groups of prime order. http://arxiv.org/pdf/math/0308286.pdf Theorem 1.1: Let $p$ be a prime ...
3
votes
2answers
70 views

Sequence of subharmonic functions on shrinking domains

Set $G_\eta:=\{(x,y)\in \mathbb{R}^2|-\eta<x<\eta, 0<y<1\}$. If $u_\eta\geq 0$ is a sequence of subharmonic functions defined on $G_\eta$ such that $$ \int_{G_\eta}|u_\eta|^2dx\wedge ...
1
vote
1answer
113 views

Harmonic/Subharmonic lifting of functions on an annulus

Suppose $\Omega_1, \Omega_2 \subset R^2$ are bounded open regions with $\Omega_1 \Subset \Omega_2$. Let $f_1\in C(\partial \Omega_1)$ and $f_2\in C(\partial \Omega_2)$. Is there a function $h\in ...
4
votes
1answer
172 views

Application of Factorization Theory to Oscillatory Integral Estimates

In the article "Some New Estimates on Oscillatory Integrals" by Bourgain in the book Essays in Honor of Elias M. Stein, Bourgain considers operators of the form ...
3
votes
1answer
135 views

Hardy-Littlewood-Sobolev inequality in Lorentz spaces

Hardy-Littlewood-Sobolev inequality states that if $1<p<q<\infty$, $1/r=1-1/p+1/q$, then we have $$\left\|\frac{1}{|x|^{n/r}}\ast f\right\|_{L^q(\mathbb R^n)}\le\|f\|_{L^p(\mathbb R^n).}$$ ...
8
votes
1answer
228 views

Have the explicit Poisson-type formulas of Guinand and Meyer been observed before?

In a recent paper of Meyer Measures with locally finite support and spectrum PNAS vol. 113 no. 12:3152–3158 (behind a paywall, but see also these seminar notes) some new explicit Poisson-type formulas ...
6
votes
1answer
197 views

When does a $C^*$-algebra have no nonzero projection?

Let $A$ be a $C^*$-algebra and $\hat{A}$ its spectrum of $A$,the set of classes of non-zero irreducible representation of $A$ endowed with hull-kernel topology. suppose $\hat{A}$ is a non-compact ...
1
vote
0answers
60 views

Differentiability criterion in the Zygmund class

Let $ f: \mathbf{R}^{m} \rightarrow \mathbf{R} $ be a continuous function, $ \omega $ be a modulus of continuity and assume $$ | f(x+h) +f(x-h) -2f(x) | \leq \omega(|h|)|h| $$ whenever $ x,h \in ...
2
votes
0answers
68 views

Bilinear Approach to Bochner-Riesz Conjecture in Two Dimensions

In some old lecture notes on the Restriction and Kakeya conjectures (Notes 5, specifically), Terence Tao gives a proof of the restriction conjecture (for the sphere) in two dimensions via a bilinear ...
0
votes
0answers
60 views

Matrix representation of the Heisenberg quaternionic group

Equiped with the law $(a,b,c)\circ (a',b',c') = (a + a', b + b', c + c' + ab'),$ the matrix representation of the Heisenberg group $H^3= \mathbb C\times \mathbb R$ is given by $$ \begin{pmatrix} 1 ...
3
votes
2answers
167 views

Sampling Theorem for non-bandlimited Functions

The classical Shannon sampling theorem states that a bandlimited function with $\mbox{supp } \hat f\subset [-1/2,1/2]$ can be uniquely determined by its samples $(f(i))_{i\in \mathbb{Z}}$ (The symbol ...
7
votes
1answer
291 views

The Fourier transform of a function supported on $B_1$ is essentially constant on $B_1$?

I'm going through the last steps of Bourgain and Demeter's proof of the $l^2$ decoupling conjecture, but I'm unable to see how the first inequality in (43) goes through. I'll water down the question a ...
7
votes
1answer
231 views

What does the unique mean on weakly almost periodic functions look like?

There is a unique invariant mean $m$ on WAP functions on any discrete group (see definitions below, theorem of ?). However, the proofs I found are fairly non-explicit on how to obtain this invariant ...
2
votes
0answers
32 views

Global Euclidean Carleman Estimate with a linear phase

I am interested in deriving the following global Carleman estimate which I think should hold : $ \| e^{\tau \phi} \triangle u \|_{L_{\delta}^2({\mathbb{R^3})}}> C \tau \| e^{\tau \phi} u ...
13
votes
0answers
431 views

A possible mistake in Walter Rudin, “Fourier analysis on groups”

I have the following lemma 4.2.4 on page 80 in the book (we have locally compact abelian topological groups $G_1, G_2$ and their duals $\Gamma_1, \Gamma_2$): Suppose $E$ is a coset in $\Gamma_2$ ...
0
votes
2answers
92 views

$L^p$ estimates for elliptic equation of divergence form

Consider the scalar elliptic equation of divergence form $$div((1+a)\nabla\pi)=div F\ \ in\ \ R^3,$$ where $a$ is a Schwartz function with $1+a\geq c=const>0$, $F=(F_1,F_2,F_3)$ is a vector-valued ...
4
votes
0answers
50 views

Sobolev spaces defined on non-compact Lie groups

In this post, a question was raised to discuss the generalization of Sobolev spaces on locally compact Lie groups. Now my question is whether there exists a generalization of Sobolev spaces and ...
1
vote
0answers
101 views

If $\mathcal{F}$ is the Fourier transform, what can be said about $\mathcal{F}(L^1(\mathbb{R})) \cap L^1(\mathbb{R})$?

The Fourier transform gives a map of the Schwartz space to itself which turns out to be a linear homeomorphism of period 4. However, when the domain is extended to $L^1(\mathbb{R})$, the situation is ...
13
votes
1answer
408 views

Does there exist some $C$ independent of $n$ and $f$ such that $ \|f''\|_p \geq Cn^2 \| f \|_p$, where $1 \leq p\leq \infty$?

Let $f$ be a trigonometric polynomial on the circle $\mathbb{T}$ with $\hat{f}(j) = 0$ for all $j \in \mathbb{Z}$ with $\lvert j \rvert < n$. Does there exist some $C$ independent of $n$ and $f$ ...
8
votes
1answer
160 views

Real rank zero of group $C^*$-algebras

The concept of real rank zero of a $C^*$-algebra is introduced as non-commutative analogue of dimension ( topological dimension ). For example, it shown (by Brown-Pedersen) such that, if $X$ is a ...
1
vote
1answer
55 views

Multivariate analogue of Jackson's inequality's modulus of continuity form

According to Jackson's inequality, there is $c > 0$ s.t. for any continuous function $f: S^1 \rightarrow \mathbb{R}$ (where $S^1 := \mathbb{R} / \mathbb{Z}$ is the circle) and integer $n$ there is ...
4
votes
0answers
194 views

A generalized ellipse

We know that an ellipse is the locus of all point $z$ in the plane with $$|z-a|+|z-b|=\lambda$$ where $a,b$ are two given points in the plane and $\lambda$ is a constant. Now we consider the ...
2
votes
1answer
135 views

Rational valued functions on the Cantor set with $\int_{C} f^{3}d\mu=1 $

Let $C$ be the Cantor set as a compact Abelian topological group, isomorphic to countable product of $\mathbb{Z}/2\mathbb{Z}$. Its normalized Haar measure is denoted by $\mu$. Is there a ...
6
votes
0answers
96 views

How to prove that the Laplace oparator of the Heisenberg group is sub-elliptic?

The Heisenberg group $H^3$ is the set $\mathbb C\times \mathbb R$ endowed with the group law $$ (z,t)\cdot(w,s) =\left (z+w, \,t+s+\tfrac{1}{2}\Im m(z \bar{w})\right). $$ For $z=x+ i y \in \mathbb C$ ...
2
votes
0answers
74 views

Multiplier operators on anisotropic weighted $L^2$ spaces

Suppose $\mathcal{M}$ is a multiplier operator on $L^2(\mathbb{R})$, in the sense that, for any $u(x)\in L^2(\mathbb{R})$, $\widehat{\mathcal{M}u}(k)=m(k)\hat{u}(k),$ where the scalar complex function ...
1
vote
0answers
74 views

Subgroups of finite non-zero Haar measure of abelian locally compact groups

Is it true that every subgroup of finite non-zero Haar measure of an abelian locally compact group should be open and compact? This is obviously true for the case of discrete abelian groups. Thanks.
2
votes
1answer
269 views

Decoupling in mixed norm spaces

Bourgain and Demeter's proof of the $L^2$ decoupling conjecture decouples $\|f\|_{L^p}$ into an $L^2$ sum of $\|f_\theta\|_{L^p}$, where $\hat f$ is supported on a curved hypersurface $S$, where ...
0
votes
0answers
66 views

Necessary condition for decouplings for surfaces in $\mathbb{R}^4$

I'm currently studying the paper Decouplings for surfaces in $\mathbb{R}^4$ written by Bourgain and Demeter. This paper is available in here. As an example of nondegenerate $2$-dimensional surfaces ...
0
votes
0answers
37 views

Kernel for projection operators onto the spaces of piecewise linear loops

For every $m\in\mathbb{N}_+$, $k=0,\dots,m-1$, denote $I_{m,k}:=(\frac{k}{m},\frac{k+1}{m})$. Denote $W = H^1(S^1,\mathbb R^{2n})$ = The Hilbert space of $C^1$ maps maps $v(t)$ from the circle to ...
2
votes
2answers
424 views

Pointwise convergence of Fourier series, Fefferman's article

This is the first time I ask a question here, so sorry if I make any mistake in the way I ask it. I'm studing Fefferman's article Pointwise Convergence of Fourier Series, and I have two questions: ...
8
votes
2answers
511 views

Interpret Fourier transform as limit of Fourier series

Let $V=\mathbb{R}^n$, $\Lambda_r=2\pi r \mathbb{Z}^n \subset V (r>0)$ a lattice; $V^*\cong\mathbb{R}^n$ the dual vector space of $V$, and $\Lambda_r^*=\frac{1}{2\pi r} \mathbb{Z}^n ...
0
votes
0answers
54 views

Definiteness and infinite divisibility of kernels including heat semigroup

Let $P_{t}$ be the usual heat semigroup. Can one show (preferably) or disprove that for arbitrary $k \in \mathbb{R}_{>0}$ and $n \in \mathbb{N}$ we have \begin{equation} ...