The tag has no wiki summary.

learn more… | top users | synonyms

5
votes
1answer
310 views

Poisson Summation Formulas for Cut and Project Quasicrystals

In Lagarias' paper "Mathematical Quasicrystals and the Problem of Diffraction" http://www.math.lsa.umich.edu/~lagarias/doc/diffraction.pdf he discusses various ways one might get Poisson summation ...
2
votes
1answer
124 views

The measure on the harmonic spectrum from Selberg trace formula

One can see the following two equations, Theorem 6.1 (Selberg Trace formula) on page 26 of these notes. Equation 3.19 and 3.20 on page 11 of this paper. I vaguely feel that these two are the ...
8
votes
0answers
183 views

when do norm-continuous unitary representations separate points of a group?

Recently I found in the web a discussion on the following question: ...
0
votes
1answer
128 views

Application of Toms- Stein restriction theorem for Strichartz estimates

The initial value problem for one dimensional Shrödinger equation is $$iu_{t}+u_{xx}=0,$$ $$u(x, 0)= f(x),$$ where $u:\mathbb R \times \mathbb R \rightarrow \mathbb C$ is a complex valued ...
1
vote
1answer
104 views

An example for the Convolution on not compact topological groups

Let $G$ be a locally compact but not compact topological group. I'm looking for an example to show that for an arbitrary $p>1$, there exist some $f,g\in L^{p}(G)$ such that $f*g\notin L^{p}(G)$.
1
vote
0answers
239 views

Obtaining a pointwise bound on the convolution of two singular measures

I am confused about a passage in the paper by T. Tao A sharp bilinear restriction estimate for paraboloids. We are in Section 7, near equation (34) (pag.16 of the arxiv). Notations and ...
4
votes
1answer
724 views

Riemann hypothesis and Kakeya needle problem

The question may be a bit vague. I noticed an analogy that both Riemann hypothesis and Kakeya needle problem has been proved in finite fields. Can somebody shed light on why finite field analogues are ...
7
votes
1answer
323 views

Kakeya and Nikodym maximal functions

I've been working through part of Terry Tao's 1999 article "The Bochner-Riesz Conjecture Implies the Restriction Conjecture." (It appeared in the Duke Mathematical Journal.) A little more ...
3
votes
1answer
117 views

Matched pair of locally compact groups

In measure theoretic language there is a notion of matched pair of locally compact (l.c.) groups due to Baaj-Skandalis-Vaes. A pair $(G_{1}, G_{2})$ is called a matched pair of l.c. groups if there ...
1
vote
2answers
161 views

Tangent vectors on the algebra of trigonometric polynomials

Let $G$ be a compact real Lie group and ${\sf Trig}(G)$ the algebra of trigonometric polynomials on $G$ (defined in the Hewitt-Ross, Abstract harmonic analysis, (27.7)), i.e. the algebra of functions ...
0
votes
1answer
100 views

local moments of measures whose Fourier transform vanish in an interval

Assume h is a measure whose Fourier transform vanishes in an interval $[-\Omega,\Omega]$. I'm interested in obtaining inequalities of the form \begin{equation*} \int_{-\delta}^{+\delta}|h|(dt)\le ...
3
votes
2answers
189 views

On lower bounds of exponential frames in l1 norm

Let $\{t_k\}_{k=-\infty}^\infty$ be a sequence of real numbers. I'm interested in finding the largest number A such that \begin{equation*} \int_{-\Omega}^\Omega|\sum_{k=-\infty}^{+\infty}c_ke^{2\pi i ...
8
votes
2answers
893 views

the convolution of integrable functions is continuous?

The question is simple but I still can't prove it or contradict it. Here it goes: Suppose $f$ and $g$ are defined on the circle (or, equivalently, $2\pi$ periodic functions) and Lebesgue ...
3
votes
4answers
346 views

How does one show the existence of discrete and complementary series for SL(2,R)?

In his book on $\mathrm{SL}(2,\mathbb{R})$, Lang shows that any nontrivial irreducible unitary representation of this group is infinitesimally isomorphic to an irreducible admissible subrepresentation ...
2
votes
0answers
127 views

A microlocal representation for quantum operator dynamics

In Maciej Zworski's book $\textit{Semiclassical Analysis}$, an important step in proving $L^p$ bounds on quasimodes is deriving a microlocal oscillatory integral representation formula for families of ...
5
votes
2answers
361 views

Operators from $L^{\infty}$ to $L^{\infty}$

If $T$ defined as $T(f)(x)=\int K(x,y)f(y)dy$, where $K(x,y)$ is locally integrable, is bounded from $L^{\infty}$ to $L^{\infty}$, how can we show that $\|\int|K(\cdot,y)|dy\|_{L^{\infty}}\le ...
2
votes
2answers
145 views

Non-global oscillation of banded Fourier transform

Can we say something like monotonicity, growth rate and oscillation of the Fourier transform of a banded function $f$ with support $[0, N]$ $$\mathcal{F}f(\xi) = \int_{0}^N f(x)e^{-ix\xi}dx.$$ Of ...
3
votes
1answer
110 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 ...
2
votes
1answer
153 views

Interpolating delta like functions by trigonometric polynomials of bounded modulus and fast decay

Consider a grid of points $T=\{t_0,t_1,\ldots,t_m\}$ with $0\le t_i\le 1$. I would like to find a function $f(t):[0,1]\rightarrow \mathbb{C}$ of the form \begin{equation*} f(t)=\sum_{k=-n}^n c_k ...
2
votes
1answer
227 views

bounding the absolute value of a trigonometric polynomial

Consider a function $f:[0,1]\rightarrow \mathbb{C}$ and points $t_0,t_1,\ldots,t_n\in[0,1]$ \begin{equation*} f(t)=\prod_{k=1}^n\frac{(e^{2\pi i t}-e^{2\pi i t_k})}{(e^{2\pi i t_0}-e^{2\pi i t_k})} ...
10
votes
3answers
400 views

Topology on the Unitary Dual

Suppose I have a locally compact topological group G. The unitary dual of G is the set of equivalence classes of irreducible unitary representations of G. Now, it seems to me that the sensible way of ...
0
votes
1answer
192 views

Can any compactly supported continuous function be written as a linear combination of functions with small support

Does anyone have a reference for the following result? I am pretty sure that it is true, and should not be hard to prove, but i would surprise me if it is not already proven in many places: Let ...
10
votes
5answers
519 views

What are the best settings for the large scale geometry of locally compact groups?

My current research involves locally compact groups and from time to time I am tempted to check whether certain notions and statements of geometric group theory of finitely generated groups are still ...
2
votes
3answers
214 views

Speed of convergence for Weyl's Equidistribution theorem

If $f$ is a continuous periodic fonction on $[0,1]$ and $a\not\in\mathbb{Q}$, the Weyl's equidistribution theorem states that $$\frac{1}{n}\sum_{k=0}^{n-1}f(ak)\rightarrow \int_0^1 f(x)dx.$$ Can we ...
11
votes
1answer
319 views

Do circular pipes maximize flow rate?

Suppose that $U \subset \mathbb{R}^2$ is nonempty, open, connected and bounded. Consider a Poisseuille flow in the pipe $U \times \mathbb{R}$. That is: a time-independent incompressible flow of the ...
1
vote
1answer
181 views

Convergence of a sum to the integral

Let $f:\mathbb{R}\rightarrow \mathbb{R}$ be a 1-periodic function. I am looking about the conditions on $(a,b)\in\mathbb{R}^2$ such that we have the property : ...
3
votes
1answer
212 views

Finite index subgroups of locally compact groups

Let $G$ be a locally compact (Hausdorff) group and let $H$ be a finite index subgroup of $G$. Can we say that $H$ has to be a closed subgroup of $G$? If it is not correct, do you know any ...
0
votes
0answers
108 views

How to bound Haar coefficients in terms of total variation?

I'm trying to get the basic idea behind the proof of Theorem 8.1 of this paper, but I'm having difficulty. Specifically, it says: We shall show that there is a set $\Lambda_n\subset\mathcal{D}$ ...
0
votes
0answers
113 views

A question about multiplier algebra of $C_0(G)\otimes C_b(G)$ for a locally compact group $G$

Let $G$ be locally compact group. How we can show that $$ M(C_0(G)\otimes C_b(G))=C_b(G,C_b(G)). $$ ($M(C_0(G)\otimes C_b(G))$ is the multiplier algebra of $C_0(G)\otimes C_b(G)$)
3
votes
1answer
158 views

Plancherel formula for non-second-countable (non-unimodular) groups

The Plancherel formula for unimodular, second-countable, type 1 groups can be found in A Course in Abstrict Harmonic Analysis by Gerald Folland (theorem 7.44) or here. It states that we can get a ...
1
vote
0answers
184 views

Laplacian type operator on compact Lie group

Consider the operator $S = \sum_{i,j} X_{ij}^2$ on $L^2(SO(n+1))$, where $X_{ij}$ generates the rotation of the sphere $S^n$ in the $ij$-plane keeping the $(n - 2)$ complementary directions fixed. ...
0
votes
1answer
252 views

Littlewood-Paley theory and norm estimation

In the paper "A Convolution Inequality Concerning Cantor-Lebesgue Measures", the Littlewood-Paley theory is used to estimate the norm of multiplier operator in Lemma 1. It is claimed that Lemma 2 is ...
6
votes
1answer
308 views

Could we interpolate the compactness of compact operators?

Classical theorems of Marcinkiewicz and Riesz and their extensions to general Banach spaces by Calderón, Lions, Peetre, et al. allow us to interpolate the continuity of two operators, viz., the ...
1
vote
0answers
102 views

Question about a oscillatory integrals on manifold

Let $M$ be a compact oriented Riemannian manifold without boundary. Set $f(x)=a(x)+\sqrt{-1}b(x)$ be a complex-valued function on $M$, where $a(x),b(x)$ are real-valued function on $M$. Then, how to ...
6
votes
2answers
469 views

For what spaces is the Hardy-Littlewood maximal operator of strong type $(p,p)$ if and only if $p > p_0 > 1$?

(This is essentially a continuation of my previous question, here.) Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. Further assume (though you ...
1
vote
1answer
230 views

Description of Bessel potential spaces

Hi, let $1 < p <\infty $, $ 0 < \alpha < 1$, and $ \mathscr{L}^p_\alpha(R^n) $ be the usual Bessel potential space defined by $$ \mathscr{L}^p_\alpha = (1-\triangle)^{-\alpha/2}L^p(R^n). ...
0
votes
0answers
220 views

Notation for a functional L2 matrix norm

Hi, Let $v(z)$ be a 2x2 matrix depending on a complex variable z, defined on an oriented contour $\Sigma$ in the complex plane. Can anyone tell me the meaning of the notation: ...
8
votes
2answers
814 views

Is there a “right” proof of Riemann's Theta Relation?

Let $\theta$ denote the usual Jacobi Theta function (with auxiliary parameter $\tau = i$, for simplicity), i.e. $$ \theta(z) = \sum_{n \in \mathbb{Z}} \exp(-\pi (a + n)^2 + 2 \pi i n z) \ . $$ I'm ...
3
votes
0answers
246 views

Harmonic analysis on the Heisenberg group

It is well known that: Theorem 1. For $f\in L^{2}(\mathbb H_{n}=\text{The Heisenberg group of dimesion } 2n+1)$ we have the expansion $$f(z, s)= (2\pi)^{-n} \sum_{k=0}^{\infty} \int_{0}^{\infty} f ...
17
votes
2answers
639 views

Image of L^1 under the Fourier Transform

The Fourier Transform $\mathcal{F}:L^1(\mathbb{R})\to C_0(\mathbb{R})$ is an injective, bounded linear map that isn't onto. It is known (if I remember correctly) that the range isn't closed, but is ...
5
votes
0answers
149 views

variant of Haar measure

I found a certain trig identity in a discussion on Lie groups \[ \frac{\prod_{i < j} 2 \sin (\mu_i - \mu_j) \prod_{i< j} 2 \sin (\nu_i - \nu_j) }{\prod_{i, j} 2 \cos (\mu_i - \nu_j) } = ...
4
votes
0answers
250 views

What information about a locally compact group $G$ is encoded in $C_r^\ast(G)$ which is not in $L^1(G)$?

Let $G$ be a locally compact group and let $ C_r^\ast(G) $ denote its reduced group $C^\ast$-algebra. Many features of a $G$ can be realized from $L^1(G)$ or $C_r^\ast(G)$. For example, $G$ is ...
3
votes
0answers
149 views

The polynomial Freiman-Ruzsa conjecture for the special case when $f$ is a bijection

The polynomial Freiman-Ruzsa conjecture states that there exists $k > 0$, such that for all $\epsilon > 0$, and for all large $n$ and all functions $ f: \mathbb{F}_2^n \mapsto\mathbb{F}_2^n$, ...
1
vote
0answers
82 views

Dependence between $\langle f(x), g(y) \rangle$ and $\langle x, y \rangle$.

Let $p$ be a large prime and $n \geq 3$ be an integer. Let $f$ and $g$ be two arbitrary bijections from $\mathbb{F}_p^n$ to $\mathbb{F}_p^n$. I want to find a condition on $f$ and $g$ such that the ...
7
votes
0answers
159 views

Inferring asymptotic behaviour from the dominant pole of the Laplace transform

Hi, I am reposting the following question with the hope that a more detailed description will lead to a more descriptive response: dominant pole in the laplace transform I have a vector function ...
1
vote
0answers
202 views

Gauss circle problem and Jacobi-type estimates for higher dimensions

Hello everyone, I was doing some late night random reading and I got to wonder about some stuff about the Gauss circle problem. To begin with, consider a circle in $\mathbb{R}^{2}$ with centre at the ...
2
votes
1answer
235 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}. ...
6
votes
1answer
269 views

For which metric measure spaces is the Hardy-Littlewood maximal operator not of weak type (1,1)?

Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. I'll denote the Hardy-Littlewood maximal operator - either centred or uncentred, I don't mind ...
0
votes
1answer
251 views

An interpolation inequality.

For all $s>0$ define for $\epsilon\in(0,1)$ the function: \begin{equation} g(\epsilon)=\sum_{k=0}^{\infty}(1+k)^s(\sqrt{1-\epsilon})^k. \end{equation} Prove that $\exists C>0$ and $\phi(s)$ such ...
3
votes
1answer
271 views

Invariant measures for Cellular automata

An easy question that I have never been able to answer. Suppose we have the CA on $\{ 0,1,2 \}^{\mathbb{N}}$ with local rule given by $f(x,y)=A_{x,y}$ and $A$ the $3\times 3$ matrix ...