# Tagged Questions

**2**

votes

**1**answer

91 views

### Elements in the group von Neumann algebra which are not summable

Let $G$ be a discrete group. I am wondering if there is a recipe which can be applied to find elements in the group von Neumann algebra which are not absolutely summable, i.e. $T \in VN(G)$ while $T \...

**3**

votes

**0**answers

66 views

+50

### 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 e^{-\tau \phi} u \|_{L_{\delta+1}^2({\mathbb{R^3})}}> C \tau \| u \|_{L^...

**0**

votes

**0**answers

43 views

### Decay estimate of an inverse Fourier transform in R^n [closed]

Is there decay estimate that $\int_{\mathbb R^n}\frac{1}{\xi^2+1} e^{ix\cdot\xi}$ decays like $log|x|$ when $n=2$ and $|x|^{1-n}$ when $n\geq 3$? I don't know how to estimate this non absolute ...

**2**

votes

**1**answer

261 views

### upper bound on derivatives of a function defined on an arc

This is a simple question I asked in math.SE last month but unfortunately no one gives any comment. So I decided to try some luck here.
You can skip examples below and read from "General setting" at ...

**2**

votes

**1**answer

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

**0**

votes

**0**answers

44 views

### Global Harmonic Oscillator

My question essentially is how to find the appropriate functional space to study uniqueness of solutions to a specific pde.
Consider the following pde in three dimensions globally:
$ -\tau^2 \...

**10**

votes

**0**answers

213 views

### Integrability property of polynomials in several variables

This might be very trivial, or not.
Let $p\colon\mathbb{R}^n\to \mathbb{R}$ be a polynomial of even degree, at most $n-2$. Assume that $p(x)\leq 0$ for any $x\in\mathbb{R}^n$. Assume that there ...

**1**

vote

**1**answer

98 views

### On an inequality about asymptotics of Whittaker functions

I'm reading Wallach's paper 'Asymptotic expansions of generalized matrix entries of representations of real reductive groups'(Lecture Notes in Math., 1024,287–369) and got confused by one statement ...

**7**

votes

**1**answer

375 views

### Dominated convergence to characteristic function

Let $\phi_m(x):=\chi_{[0,1]} * \chi_{[0,1]} *...* \chi_{[0,1]}$ be the m -times convolution (so $m+1$ characteristic functions are involved).
Then the Fourier transform of this function is given by
$...

**1**

vote

**0**answers

23 views

### Extension of $\ell^{2}$ decoupling to $C^{2}$ hypersurfaces

Let $\phi : [0,1]^{n-1} \rightarrow \mathbb{R}$ be a $C^{2}$ function such that $\phi(0)=\nabla\phi(0)=0$ and $0<\frac{1}{C}<\nabla^{2}\phi<C$. Consider the compact $C^{2}$ hypersurface $S \...

**2**

votes

**0**answers

77 views

### Bounding Schur polynomials of a particular shape

Consider Schur polynomials $s_\lambda$ with $\lambda = (2m, m, m, \ldots, m, 0)$ and $\ell(\lambda) = n$ (that is, $\lambda$ has $n$ rows). Here $m \gg n$, which, for the sake of concreteness, let's ...

**4**

votes

**2**answers

242 views

### Determining a function is harmonic from mean value property for just three(?) radii

A couple days ago I posted this on MSE (here) but in retrospect it might be more appropriate for this site.
This theorem is well-known (maybe it can be called Morera's theorem):
A continuous ...

**8**

votes

**1**answer

262 views

### $k[x_1, \dots, x_n]$ is free iff $\mathbb{C}[x_1, \dots, x_n]^G \otimes \text{Harm}(\mathbb{R}^n, G) \to k[x_1, \dots, x_n]$ isomorphism?

For any subgroup $G \subset \text{GL}_n(\mathbb{R})$ the set $\mathbb{C}[x_1, \dots, x_n]^G$, of $G$-invariant polynomials, is a graded subalgebra of $\mathbb{C}[x_1, \dots, x_n]$, resp. the set $\...

**2**

votes

**1**answer

210 views

### Irreducible representations of Sp(2)

I am looking for an explicit description of the finite dimensional irreducible representations of the classical Lie group $\text{Sp}(2) = \{A\in M_2(\mathbb{H})\,|\,A\overline{A}^T = I\}$.
I can ...

**8**

votes

**1**answer

252 views

### Wavelet-like Schauder basis for standard spaces of test functions?

The Schwartz space of test functions $\mathcal{S}(\mathbb{R})$ is isomorphic to $\mathfrak{s}$ the space of sequences of real numbers with faster than power-like decay. Likewise, the space $\mathcal{D}...

**2**

votes

**0**answers

76 views

### If $f_j\to f$ in $L^1(\Bbb R^n)$ then $Tf_j\to Tf$ in $L^{1,\infty}(\Bbb R^n)$

Let's define $A:=\{f\in L^1(\Bbb R^n)\cap L^2(\Bbb R^n)\;:\;f\;\mbox{has compact support}\}$. So $A$ is dense in $L^1(\Bbb R^n)$.
Given then $f\in L^1(\Bbb R^n)$; by density there exists $\{f_j\}_j\...

**5**

votes

**1**answer

296 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
$$S_{N}g(x):=\int_{\mathbb{R}^{n}}g(y)e^...

**2**

votes

**2**answers

150 views

### Infinite dimensional version of a simple fact on certain singular matrices

We consider the following simple fact about matrices. Then we try to generalize it in the context of smooth manifolds;
Let $L$ be the collection of all $n \times n$ real matrices $A=(a_{ij})$ with ...

**1**

vote

**0**answers

48 views

### A Global Restriction Estimate from Local Estimate

Let $S$ be a smooth hypersurface in $\mathbb{R}^{n}$ with surface measure $d\sigma$. Let $1\leq p,q\leq\infty$, $R>0$, and $\mathcal{N}_{R^{-1}}(S)$ denote the $R^{-1}$ neighborhood of $S$. Suppose ...

**2**

votes

**0**answers

38 views

### Ideals of finite codimension in $L^1(G)$

Let $G$ be a non-abelian, locally compact group.
Is there any characterization of the two-sided ideals of $L^1(G)$ which are of finite codimension?

**2**

votes

**0**answers

103 views

### Decay of the Fourier transform of a surface area measure

Let $\mu$ be a surface area measure of a manifold $M\hookrightarrow\mathbb{R}^{n+1}$. If $M$ is the unit sphere $S^n$, it's known that surprisingly the Fourier transform of $\mu$ decays: $$|\hat\mu(\...

**1**

vote

**0**answers

81 views

### Hausdorff Dimension of Exceptional Set for Carleson's Theorem

In Mattila's book Fourier Analysis and Hausdorff Dimension, Mattila presents a result of Barcelo, Bennett, Carbery, and Rogers about convergence of solutions of the Schrodinger equation to the initial ...

**1**

vote

**1**answer

150 views

### trigonometric series with nonnegative coefficients and prescribed values

Given real numbers $x_1$, $\dots$, $x_n$ and $r_1$, $\dots$, $r_n$ (with reasonable restrictions), is there a trigonometric series $T(x)=\sum_k a_k \cos(kx)$ with $a_k\ge 0$ such that
$$
|T(x_i)-r_i|&...

**2**

votes

**0**answers

100 views

### Decoupling Implies Local Decoupling

My question comes from Bourgain and Demeter's The proof of the $l^2$ Decoupling Conjecture. A related question was asked about a year ago go on MO, but the author was interested in the reverse ...

**4**

votes

**2**answers

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

**8**

votes

**1**answer

256 views

### Interpolation between $L_1^0$ and $L_2^0$

Let $L_p^0$ be the mean zero functions in $L_p(G)$, where, say, $G$ is an infinite compact group endowed with normalized Haar measure. Suppose that $T$ is a bounded linear operator on $L_1$ that maps $...

**1**

vote

**1**answer

37 views

### Finite Parseval Frame

Assume that $G$ is a finite vector space over a finite field with order $|G|$. (For example, $G=Z_p^k$). Assume that $\{f_n\}_n$ is a Parseval frame for $l^2(G)$. Can we say that the sequence $\{f_n\}...

**0**

votes

**0**answers

55 views

### Is there an analogue of Fourier series using infinite series of Jacobi elliptic functions to model doubly-periodic functions?

We can use Fourier series to model general singly-periodic functions. Infinite sums of orthogonal trigonometric polynomials can approximate any singly-periodic function that is continuous along its ...

**0**

votes

**0**answers

48 views

### Optimality of Exponent in $\ell^{2}$ Decoupling Theorem

For $\delta>0$, let $\mathcal{N}_{\delta}$ denote the $\delta$-neighborhood of the truncated paraboloid $P^{n-1}$ and let $\theta$ denote a $\delta^{1/2}\times\cdots\times\delta^{1/2}\times\delta$ ...

**5**

votes

**3**answers

174 views

### Morrey's inequality for Sobolev spaces of fractional order

Let $H^s(\mathbb T)$, where $s\in\mathbb R$, be the space of $2\pi$-periodic functions (or distributions), $u(x)=\sum_{k\in\mathbb Z}\hat u_k\,\mathrm{e}^{ikx}$, such that
$$
\|u\|_{H^s}^2=\sum_{k\...

**3**

votes

**0**answers

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

**3**

votes

**0**answers

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

**3**

votes

**1**answer

273 views

### A question on Plancherel measure for $p$-adic group

Let $G$ be a reductive group over a $p$-adic field. My understanding is that the Plancherel measure on $G$ is a measure on the unitary dual $\hat{G}$.
But at the same time, for example, in his famous ...

**3**

votes

**0**answers

102 views

### Ideals of $L^1(G)$

I want to study the closed ideal structure of $L^1(G)$. Is there a good paper or book which characterizes closed ideals and maximal ideals of $L^1(G)$?

**1**

vote

**1**answer

173 views

### harmonic analysis on $p$-adic $x^2 + y^2 + z^2 = 1$?

Are there p-adic analogues to spherical harmonics? In the case of $K = \mathbb{R}$, the spherical harmonics form a basis to $L^2 [SO(3)]$ where
What happens in the $p$-adic case? Is there sphere ...

**5**

votes

**3**answers

229 views

### Text for studying group representations in the context of (abstract) harmonic analysis

I would like to study elements of representation theory as I often encounter it when reading texts on harmonic analysis. I was therefore curious if someone could recommend a book for this.
When ...

**2**

votes

**0**answers

199 views

### Show that $SL_2(\mathbb{F}_p)$ is quasi-random

Terry Tao gives this oblique definition of quasirandom group in his notes 3
$G$ is quasi-random (of order $D$) if all non-trivial unitary representations $\rho: G \to U(H)$ have dimension at ...

**4**

votes

**0**answers

126 views

### Distributions and functions on the Jacquet module $C_c^\infty(X)_{H,\chi}$

Let $X$ be an $\ell$ space (in the sense of Bernstein-Zelevinski), $H$ be an $\ell$ group which acts on $X$ and $\chi$ be a character of $H$. Denote $C^\infty(X)^{H,\chi}$ the space of locally ...

**1**

vote

**1**answer

140 views

### Does the product function $fg$, where $f$ is in $L^2$ and $g$ is in $C^{\infty}_0$ belong to hardy space $H^1$?

I am struggling to know whether the product function $fg$, where $f$ is in $L^2$ and $g$ is in $C^{\infty}_0$ belong to hardy space $H^1$.
$fg$ has compact support but I can't figure out how I can try ...

**6**

votes

**1**answer

219 views

### A sufficient condition (or not) for positive semidefiniteness of a matrix?

Let $A\in M_{n}(\mathbb{C})$ be a Hermitian matrix. If for all $z_1,...,z_n\in\mathbb{C}$, $$\sum_{i,j=1}^{n}A_{ij}z_{i}\overline{z_{j}}\ge 0$$ then A is positive semidefinite.
I do not think the ...

**12**

votes

**4**answers

1k views

### Where do the real analytic Eisenstein series live?

In obtaining the spectral decomposition of $L^2(\Gamma \backslash G)$ where $G=SL_2(\mathbb{R})$, and $\Gamma$ is an arithmetic subgroup (I am satisfied with $\Gamma = SL (2,\mathbb{Z})$) we have a ...

**0**

votes

**1**answer

77 views

### Question on Littlewood-Paley trichotomy

In proving the product estimate, we need the Littlewood-Paley trichotomy. See http://www.math.ucla.edu/~tao/254a.1.01w/notes3.ps.
In the decomposition
$$P_k (fg)=\sum_{k',k''\in Z} P_k (P_{k'} f P_{k'...

**1**

vote

**1**answer

117 views

### The reproducing kernel for harmonics on compact manifolds

Page 39, proposition 1.1.3 here, http://www.cis.upenn.edu/~cis610/sharmonics.pdf clearly explains how for every ``level" (the parameter $k$ in the proposition) one can construct a function ("kernel") ...

**12**

votes

**1**answer

298 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

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

**0**

votes

**0**answers

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

**8**

votes

**1**answer

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

**4**

votes

**1**answer

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

**1**

vote

**0**answers

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

**0**

votes

**0**answers

53 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, http://www.fen.bilkent.edu.tr/~gurses/...