**7**

votes

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**2**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**2**answers

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

**2**answers

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

**0**answers

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