The tag has no wiki summary.

learn more… | top users | synonyms

51
votes
4answers
2k 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 ...
20
votes
3answers
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 ...
19
votes
1answer
799 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
2answers
2k 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 ...
17
votes
4answers
4k 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 ...
17
votes
2answers
596 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 ...
16
votes
6answers
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 ...
15
votes
2answers
774 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
0answers
737 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 ...
13
votes
1answer
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 ...
13
votes
2answers
251 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
1answer
690 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
3answers
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 ...
12
votes
1answer
1k 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 ...
11
votes
3answers
1k 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
4answers
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 ...
11
votes
3answers
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 ...
10
votes
3answers
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
5answers
502 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
3answers
350 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
2answers
191 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. ...
10
votes
1answer
284 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
1answer
327 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 ...
9
votes
3answers
923 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
2answers
285 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
0answers
451 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
2answers
690 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 ...
8
votes
1answer
559 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
1answer
526 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
2answers
754 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
0answers
188 views

Laplace Transform in the context of Gelfand/Pontryagin

Question: Do quasi-characters properly generalize the Laplace transform or decompose functions in some setting in a way similar to how characters generalize the Fourier transform and decompose $L^1$ ...
8
votes
0answers
233 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
0answers
179 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
2answers
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
1answer
193 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 ...
7
votes
3answers
922 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
1answer
266 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
1answer
598 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
2answers
782 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
2answers
568 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
1answer
676 views

Norm concentration of trigonometric polynomials - Uncertainty principle

Hi all, I am interested in the following question (which is quite similar to one I posed a long while ago): Let $P_{N}(t)=\underset{k=-N}{\overset{N}{\sum}}c_{k}e^{ikt}$ be a unit norm trigonometric ...
7
votes
1answer
788 views

First eigenvalue of the Laplacian on Berger spheres

Consider the Hopf fibrations $S^1\to S^{2n+1}\to CP^n$ and $S^3\to S^{4n+3}\to HP^n$. These are Riemannian submersions with totally geodesic fibers. Consider now their canonical variations (the ...
7
votes
1answer
206 views

C* algebras of Almost Periodic Functions

Suppose we take, for example, the $C^*$-algebra which is the sup norm closure of the exponentials $e^{2 \pi i ax}$ where $a \in \mathbb{Z} + \theta \mathbb{Z}$ for $\theta$ an irrational number. This ...
7
votes
0answers
148 views

Why is it hard to obtain improved $L^6$ bound of eigenfunction of Laplacian on 2-dimensional compact Riemannian manifold?

Consider the $L^p$ estimate of the Laplacian on a compact boundaryless Riemannian manifold, suppose that $-\Delta_ge_{\lambda}=\lambda^2e_\lambda(x), x\in M$. C.D. Sogge proved that we have the ...
7
votes
0answers
153 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 ...
7
votes
0answers
245 views

Finding a dimension-free bound for a certain multiplier on Euclidean space

The following question is indirectly motivated by strong type maximal function estimates. Let $f\in L_{p}(\mathbb{R}^{n})$. For $\xi=(\xi_{1},\ldots,\xi_{n})\in\mathbb{R}^{n}$ define $m(\xi)$ so ...
7
votes
0answers
561 views

Hardy spaces: analysis <---> martingales

Let $H^p$ be the Hardy space of analytic functions on the open unit disk $D$: $f \in H^p$ if $f$ is analytic on $D$ and $\sup_{r < 1} \int_0^{2\pi} |f(re^{i\theta})|^p d\theta < \infty$. ...
6
votes
5answers
712 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 ...
6
votes
1answer
575 views

Does random matrix theory make any prediction for the eigenvalue distributions of compact Riemann surfaces?

Under RH, Montgomery has proven equidistribution results for the zeros of the Riemann Zeta function, which suggest a close connection of the distribution to certain results in Random matrix theory. ...
6
votes
2answers
220 views

Structure of the unitary representation $L^2(N/M)$ when $N$ is a nilpotent Lie group

Hi All, I am new to this (though I seem to be a latecomer); so forgive me if this is not your most favorite question: I am trying to understand the structure (e.g., decomposition) of the unitary ...