**54**

votes

**4**answers

3k views

### How Does My Radio Work?

Bear with me for a moment while I invoke the real world; the main question at the end is purely mathematical.
I live in an area with $n$ AM radio stations and $m$ FM radio stations.
AM station ...

**22**

votes

**6**answers

6k views

### Learning roadmap for harmonic analysis

In short, I am interested to know of the various approaches one could take to learn modern harmonic analysis in depth. However, the question deserves additional details. Currently, I am reading Loukas ...

**21**

votes

**3**answers

1k views

### When are the eigenspaces of the Laplacian on a compact homogeneous space irreducible representations?

I was writing up some notes on harmonic analysis and I thought of a question that
I felt I should know the answer to but didn't, and I hope someone here can help me.
Suppose I have a compact ...

**20**

votes

**1**answer

1k views

### A conjectured formula for Apéry numbers

A conjecture by the late Romanian mathematician Alexandru Lupas.
Posted in sci.math in 2005, but no proof was found.
Physicist Alan Sokal just reminded me of it, saying it was related to something he ...

**19**

votes

**6**answers

3k views

### Applications of Hardy's inequality

Every so often I would encounter Hardy's inequality:
Theorem 1 (Hardy's inequality). If $p>1$, $a_n \geq 0$, and $A_n=a_1+a_2+\cdots+a_n$, then
$$\sum_{n=1}^\infty ...

**19**

votes

**2**answers

3k views

### Is this statement which relates the Fourier transform of a function to its singularities correct?

I am working on a problem, which would possibly relate the Fourier transform/series with the jump singularities of the function where the function itself or one of its derivatives jump. ((some kind of ...

**18**

votes

**0**answers

892 views

### The Fourier Transform of taking Eigenvalues

The purpose of this question is to ask about the Fourier transform of the map which associate to an $n$ by $n$ matrix its $n$ eigenvalues, or some function of the $n$ eigenvalues. The main motivation ...

**17**

votes

**2**answers

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

**15**

votes

**2**answers

815 views

### Borel set plus a closed set = Borel

Hi,
Let $R$ be equipped with the usual Borel structure. Let $F$ be a Borel subset and $E$ be a closed subset of $R$. Then $F+E=(f+e: f\in F, e \in E \)$ is Borel? If yes, is it true for any locally ...

**15**

votes

**1**answer

2k views

### Intuition for the Hardy space $H^1$ on $R^n$

the standard intuition for Lebesgue spaces $L^p(\mathbb R^n)$ for $p \in [1,\infty]$ are measurable functions with certain decay properties at infinity or at the singularities.
In particular, a ...

**14**

votes

**1**answer

2k views

### Fourier transform of the unit sphere

The Fourier transform of the volume form of the (n-1)-sphere in $\mathbf R^n$ is given by the well-known formula
$$
\int_{S^{n-1}}e^{i\langle\mathbf a,\mathbf u\rangle}d\sigma(\mathbf u) = (2\pi)^{\nu ...

**13**

votes

**4**answers

595 views

### Is the sequence of Apéry numbers a Stieltjes moment sequence?

Consider the sequence of Apéry numbers
$$
A_n = \sum_{k=0}^n \binom{n}{k}\binom{n+k}{k}\sum_{j=0}^k \binom{k}{j}^3
= \sum_{k=0}^n \binom{n}{k}^2\binom{n+k}{k}^2 .
$$
In an email, physicist Alan Sokal ...

**13**

votes

**3**answers

1k views

### Positive definite function zoo

I've asked the following question on math.stackexchange but there has been no response so I'll ask it again here:
A positive definite function $\varphi: G \rightarrow \mathbb{C}$ on a group $G$ is a ...

**13**

votes

**2**answers

293 views

### Can a continuous function on a compact group $G$ be interpreted as the sum in $C(G)$ of its Fourier series?

I asked this in math.stackexchange, but it disappeared from the "main list" almost immediately, so I hope it will be appropriate as a separate question in MO.
For a given function $f\in C(G)$ on a ...

**13**

votes

**1**answer

701 views

### Hearing the 17 planar symmetry groups

Though I'm sure it's really hard to work out for myself, does anyone know a reference for the spectra of the Laplacian on the 17 flat compact orbifolds that underlie the 17 planar symmetry groups.
...

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

**12**

votes

**2**answers

412 views

### Does the Legendre-Hadamard condition imply a generalized Gårding inequality?

For simplicity, we restrict to constant coefficients. Let $A^{ij}_{ab} \in \mathbb{R}$, $1 \le i, j \le n$ and $1 \le a, b\le m$, satisfy the Legendre-Hadamard condition:
$$
...

**11**

votes

**3**answers

2k views

### Fourier transforms of functions not in $L^2.$

This is probably something five-year-old physicists know, but here goes: Is there a standard methodology for computing Fourier transforms of things like $\log |x|$? Wolfram Alpha will happily give an ...

**11**

votes

**3**answers

2k views

### Harmonic analysis on semisimple groups - modern treatment

For my finals, I am digging through the book by Varadarajan An introduction to harmonic analysis on semisimple Lie groups. I find it a rather hard read and I feel it's a bit outdated now. Any ...

**11**

votes

**2**answers

245 views

### Heuristic interpretation of the 'third index' for Besov and Triebel-Lizorkin spaces

For $p,q \in (0,\infty)$ and $s \in \mathbb{R}$, one can define certain function spaces, $B_s^{p,q}(\mathbb{R}^n)$ and $F_s^{p,q}(\mathbb{R}^n)$, the Besov and Triebel-Lizorkin spaces respectively. ...

**11**

votes

**1**answer

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

**10**

votes

**3**answers

1k views

### Is there a Plancherel Theorem for Gowers norms?

In the process of counting arithmetic sequences in sets, the Gowers norms
$$ ||f||\_{U^s[N]}^{2^s} = \frac{1}{N^s} \sum_{\vec{h} ,\\, n } \Delta_{h_1}\dots\Delta_{h_s}f(n) $$
where the sum is $ ...

**10**

votes

**5**answers

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

**10**

votes

**3**answers

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

**10**

votes

**1**answer

370 views

### Locally Compact Quantum Groups application

Recently Mathematicians in harmonic analysis become more and more interested in Locally compact quantum groups and try to transfer concepts from abstract harmonic analysis to the setting of locally ...

**10**

votes

**0**answers

326 views

### Laplace Transform in the context of Gelfand/Pontryagin

Question: Do quasi-characters or some other semi-group properly generalize the Laplace transform or decompose functions in some setting in a way similar to how characters generalize the classical ...

**9**

votes

**6**answers

1k views

### number theory which is close to analysis

I have basic training in Fourier and Harmonic analysis. And wanting to enter and work in area of number theory(and which is of some interest for current researcher) which is close to analysis.
...

**9**

votes

**2**answers

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

**9**

votes

**3**answers

993 views

### Why is the dual of a torus the same as its fundamental group?

The set of continuous homomorphisms from a torus ${\mathbb T}^n = ({\mathbb R}/{\mathbb Z})^n \to {\mathbb R}/{\mathbb Z}$ can be identified with ${\mathbb Z}^n$ if we assign to each $k = (k_1, \ldots ...

**9**

votes

**2**answers

347 views

### Entropy for Haar measure on $O(n)$

Let $G$ be a locally compact group. A measure $\mu$ is the right-Haar measure on $G$ if for every $g\in G$ and $E\subseteq G$ Borel set $\mu(Eg)=\mu(E)$. It is known that every locally compact group ...

**9**

votes

**1**answer

117 views

### Nonconventional ergodic averages for commuting transformations

Let $S$ and $T$ be commuting measure-preserving transformations of a standard probability space $(X,\mu)$, so $S$ and $T$ define an action of $\mathbb{Z}^2$ on $(X,\mu)$. I am wondering about ...

**9**

votes

**1**answer

146 views

### Reference request: Riesz potential $I_\alpha : L^{d/\alpha} \to \rm{BMO}$?

Let us denote the Riesz potential in $\mathbb R^d$ by
$$
I_\alpha (f)(x) := c_{d, \alpha} \int_{\mathbb R^d} \frac{f(y)}{|x-y|^{d-\alpha}}
\, dy.$$
By the classical Hardy-Littlewood-Sobolev theorem ...

**9**

votes

**0**answers

467 views

### Connections of results in Harmonic analysis in the theory of Transcendental Numbers

An entire function $f$ is said to be of exponential type if there exist constants $c$ and $k$ such that $|f(z)|\leq c e^{k |z|}$.
A famous result of Polya says if $f$ is an entire function of ...

**8**

votes

**1**answer

710 views

### How differentiable is the convolution of two continuous functions?

The question is really simple:
Given
$$
f, g\in C^\alpha_c(\mathcal{R}^d)
$$
is
$$
f*g\in C^d_c?
$$
I came up with a formal argument using the decay of the Fourier transform of continuous functions, ...

**8**

votes

**1**answer

111 views

### Can the Cesaro limit of a positive definite function be negative?

Let $G$ be a countable amenable group and $\gamma:G\to\mathbb{C}$ a positive (semi)definite function (i.e. such that $\gamma(g^{-1})=\overline{\gamma(g)}$ and
$$\sum_{g,h\in ...

**8**

votes

**1**answer

556 views

### Removable sets for harmonic functions and hardy spaces of general domains

Hi,
Let $\Omega$ be a domain of the complex plane. The Hardy space $H^p(\Omega)$ is defined, for $1 \leq p<\infty$, as the class of functions $f$ that are holomorphic on $\Omega$ such that $|f|^p$ ...

**8**

votes

**2**answers

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

**8**

votes

**0**answers

236 views

### Reciprocal polynomials with roots off the unit circle

A polynomial is called reciprocal if its coefficients read forwards are the same as those read backward - there is an obvious translation of reciprocal polynomials into cosine polynomials (since a ...

**8**

votes

**0**answers

258 views

### Carleson's Theorem on Manifolds

Let $M$ be an oriented, compact, differentiable manifold with some Riemmanian metric $g$, so that $(M,g)$ has a nice volume form and one can define $L^2(M,g)$ as the completion of $C^\infty(M)$ under ...

**8**

votes

**0**answers

190 views

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

Recently I found in the web a discussion on the following question:
...

**7**

votes

**5**answers

874 views

### Background for Hejhal's "The Selberg Trace Formula for $PSL(2, \mathbb{R})$

Reposted from math.stackexchange where my question received only five views and no answers...
I'm trying to learn the Selberg trace formula, but have very little background in harmonic analysis. I ...

**7**

votes

**1**answer

430 views

### Tate's thesis for Artin L-functions

As far as I know, Tate's thesis has been successfully applied in two fronts:
Hecke L-functions, by Tate and Iwasawa (and Teichmüller, Witt, Schmid)
Automorphic L-functions, by Jacquet, Shalika, ...

**7**

votes

**2**answers

1k views

### The dual group of $\mathbb Q$

What is the dual group of the additive group of rational numbers equipped with the standard topology inherited from $\mathbb R$? As a group, this dual group is isomorphic to $\mathbb R$ (see the ...

**7**

votes

**3**answers

936 views

### A Question concerning the Fourier Transform of $\mathbb{R}$

Consider the classical Schwartz space $\mathcal{S}(\mathbb{R})$ together with the Fourier transform $\mathcal{F} : \mathcal{S}(\mathbb{R}) \rightarrow \mathcal{S}( \mathbb{R})$.
Consider the subspace ...

**7**

votes

**1**answer

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

**7**

votes

**1**answer

624 views

### approximate uncertainty principle for finite abelian groups

Edit: we cannot find such an example. It would imply a negative solution to the KS${}_2$ conjecture which has now been proven by Marcus, Spielman, and Srivastava in this paper.
In fact, their ...

**7**

votes

**1**answer

224 views

### For discrete groups, does the Haagerup property imply the AP of Haagerup-Kraus?

I don't expect to find an explicit counterexample to my question, because any example which was known to have the Haagerup property yet not have AP would have given an exact group without AP, and the ...

**7**

votes

**2**answers

817 views

### Explaining Mukai-Fourier transforms physically

A core concept in mathematics, engineering, and physics is the Fourier Transform (FT) and its many variants (Generalized Fourier Series, Green's Function, Pontryagin duality).
The basic algorithm is ...

**7**

votes

**2**answers

598 views

### Decomposing an arbitrary unitary representation of a connected nilpotent Lie group in terms of its irreps

For a locally compact (Hausdorff) abelian group $G$ we have following theorem (see e.g. Folland):
"For every (strongly continuous) unitary representation $(\pi,\mathcal{H_{\pi}})$ of $G$, there ...

**7**

votes

**1**answer

557 views

### The Dirichlet heat semigroup, $L^1_\delta$, and the dimension shift phenomenon

In relation to the question on the Hardy inequality and the answer by Terry Tao, I've always been curious about the following:
Let $U \subset \mathbb{R}^n$ be a bounded domain of class $C^2$, $(e^{-t ...