Harmonic analysis is a generalisation of Fourier analysis that studies the properties of functions. Check out this tag for abstract harmonic analysis (on abelian locally compact groups), or Euclidean harmonic analysis (eg, Littlewood-Paley theory, singular integrals). It also covers harmonic ...

learn more… | top users | synonyms

18
votes
0answers
1k 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 ...
14
votes
0answers
102 views

A kaleidoscopic coloring of the plane

Is there a partition $\mathbb R^2=A\sqcup B$ of the Euclidean plane into two Lebesgue measurable sets such that for any disk $D$ of the unit radius we get $\lambda(A\cap D)=\lambda(B\cap ...
13
votes
0answers
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$ ...
13
votes
0answers
262 views

A functional inequality about log-concave functions

Let $f,g$ be smooth even log-concave functions on $\mathbb{R}^{n}$, i.e.,$f=e^{-F(x)}, g=e^{-G(x)}$ for some even convex functions $F(x),G(x)$. Is it true that: $$ \int_{\mathbb{R}^{n}} \langle ...
11
votes
0answers
416 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 ...
10
votes
0answers
283 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 ...
10
votes
0answers
500 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 ...
9
votes
0answers
110 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 ...
8
votes
0answers
146 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 ...
8
votes
0answers
269 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
187 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 ...
8
votes
0answers
213 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
0answers
197 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 ...
7
votes
0answers
191 views

Interpolation between L^1 and Sobolev Space

Suppose $D^\alpha$ is fractional differentiation of order $\alpha$ on the real line. Is it true that $||D^\alpha f||_{L^\frac{2 \beta}{2 \beta - \alpha}({\mathbb R})} \leq C_{\alpha,\beta} ...
7
votes
0answers
188 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
289 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 ...
6
votes
0answers
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$ ...
6
votes
0answers
91 views

Do the translates of integrable function approximate its radial part?

For an integrable function $f$ on $\mathbb R^n$ we consider its ``radial'' part $$R(f)(x)=\int_{\mathrm{SO}(n)} f(kx)dk.$$ What is the minimal condition on $f$ so that the span of translates of $f$ ...
5
votes
0answers
87 views

Ring of SO(n)-invariant differential operators on M_n,m

I'm reading through Stephen Gelbart's paper "A Theory of Stiefel Harmonics." (http://www.ams.org/journals/tran/1974-192-00/S0002-9947-1974-0425519-8/). There comes a point in the paper (Lemma 2.8) ...
5
votes
0answers
164 views

Does there exist a smooth version of Cohen's factorization theorem?

A famous factorization theorem of Cohen states that for any locally compact group $G$, $$L^1(G)=L^1(G)*L^1(G).$$ I want to know if analogous results exist for the class of smooth functions when $G$ is ...
5
votes
0answers
136 views

Local version of the Hardy-Littlewood-Sobolev theorem for Riesz potentials: $\|I_\alpha(f)\|_{L^q} \le C \|f\|_{L^p}$?

Recently, I have been studying the properties of the Riesz potential $$ I_\alpha(f)(x) = c_{d,\alpha} \int_{\mathbb R^d} \frac{f(y)}{|x-y|^{d-\alpha}} \, dy. $$ The classical Hardy-Littlewood-Sobolev ...
5
votes
0answers
161 views

Pseudodifferential operators on compact manifolds with boundary

I have heard that the square root of the Dirichlet (or the Neumann) Laplacian is not a pseudodifferential operator on compact manifolds with boundary. The context in which this was said was that ...
5
votes
0answers
123 views

Special elements in $L^{\infty}(G)^*$

Let $G$ be a locally compact group. Let $M(G)$ denote the measure algebra and $L^1(G)$ denote the group algebra on $G$. Then $M(G)$ acts on $L^1(G)$ by convolution. So by duality $M(G)$ acts on ...
5
votes
0answers
136 views

Which cocompact subgroups of $G$ do contain a cocompact normal subgroup of $G$?

Let $G$ be a locally compact group and let $H$ be a cocompact (or more generally, a cofinite) subgroup of $G$. Is there any criterion to determine whether $H$ contains a cocompact normal subgroup of ...
5
votes
0answers
156 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
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})$ ...
4
votes
0answers
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]$ ...
4
votes
0answers
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 ...
4
votes
0answers
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 ...
4
votes
0answers
78 views

Local factors of Tamagawa measure

This is a reference request to some computations which I hope can be found in the literature somewhere. Let $G\subset GL_n$ be a semisimple linear algebraic group over $\mathbb Q$. The Tamagawa ...
4
votes
0answers
264 views

Localization arguments in the paper 'the proof of $l^2$ decoupling conjecture'

I am currently reading Jean Bourgain and Ciprian Demeter's 2015 paper The proof of the $l^2$ decoupling conjecture and would appreciate some help in understanding localization argument used in that ...
4
votes
0answers
3k views

Eliminating Gibbs phenomenon, and approximating with jumping functions in Fourier Analysis : An attempt and a question in this regard

This problem seems like a nightmare to me. I tried to expand $K_{\omega}^f(t)$, but I am clueless of getting some kind of a closed form or some kernel like structure. If I try to take ...
4
votes
0answers
305 views

How is $ \sum_{x \in X(\mathbb{F}_q)} \dots $ a generalization of cardinality?

This quarter Maxim Kontsevich is offering a course on exponential integral. There is not much in the way of notes, but is one page with mysterious comments. Let $X$ be an algebraic variety over ...
4
votes
0answers
85 views

Is Wiener's Tauberian theorem true in Wiener space?

Let $\gamma$ be the standard product Gaussian measure in $\mathbb{R}^\infty$, and let $\mu$ be a finite variation measure, not necessarily positive, such that $\mu \ll \gamma$. Is the following true? ...
4
votes
0answers
139 views

What do we know about isospectral Cayley graphs?

Let $\Gamma_1=\Gamma_1(G_1,S_1)$ (respectively $\Gamma_2=\Gamma_2(G_2,S_2)$) be a Cayley graph for the group $G_1$ and the finite generating set $S_1$ (respectively $G_2$ and the finite generating set ...
4
votes
0answers
289 views

$f,g , |f|f, |g|g \in A(\mathbb R) \ \text{(Banach algebra)} \implies \left\|f|f|- g|g|\right\|\leq C \left \|f-g\right \|$?

Let $f\in L^{1}(\mathbb R)$ and it Fourier transform, $\hat{f} (y) : = \int _ {\mathbb R} f(x) e^{-2\pi i x\cdot y} dx ; y \in \mathbb R ;$ and consider Fourier algebra $$A(\mathbb R):= \{f\in ...
4
votes
0answers
249 views

Scattering for rapidly decaying solutions of NLS

Cazenave and Weissler proved in their paper "Rapidly Decaying Solutions of the Nonlinear Schrödinger Equation" the following property. Given the problem \begin{equation} \left\{ \begin{array}{rl} ...
4
votes
0answers
263 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 ...
4
votes
0answers
172 views

Fourier analysis on crystallographic groups

It seems pretty clear a priori that Fourier analysis on a discrete cocompact group of motions of $\mathbb{E}^n$ should be quite tractable (since, by Bieberbach, such groups are almost $\mathbb{Z}^n,$ ...
4
votes
0answers
241 views

Smoothness of the convolution of a singular measure with itself

Let $\gamma:I\subset\mathbb{R}\rightarrow\mathbb{R}^2, s\mapsto \gamma(s)$, denote the arclength parametrization of a smooth, convex curve $\Gamma:=\gamma(I)\subset\mathbb{R}^2$. Equip $\Gamma$ with ...
4
votes
0answers
392 views

Measure Theoretic view of Hardy Littlewood Circle Method

Is it possible to view the Hardy-Littlewood Circle method as the Fourier transform with respect to the Lebesgue measure on [0,1) for an appropriate generating function defined in terms of additive ...
3
votes
0answers
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} ...
3
votes
0answers
64 views

Almost sure convergence of double nonconventional ergodic averages with respect to $L^p$ function

A famous result of J. Bourgain says that for a probability measure preserving system $(X,\beta,\mu,T)$, with $T_1$ and $T_2$ powers of $T$, we have that for $f_1$, $f_2\in ...
3
votes
0answers
92 views

Why a cone/parabolic set for the nontangential maximal function?

Suppose $f\in L^p(\mathbb{R}^d)$. Then the Dirichlet BVP for the Laplace equation $\Delta u = 0$ in the upper-half plane $\mathbb{R}^d\times\mathbb{R}_{>0}$ with boundary value $f$ can be solved by ...
3
votes
0answers
66 views

Fourier coefficients of positive polynomials

Let $p(x) \geq 0$ be a positive polynomial on the hypersphere ($x \in S^{n-1}$) satisfying $\int_{S^{n-1}} p(x) = 1$. Writing $p(x) = \sum_{j=0}^s p_j(x)$ where $p_j(x) = \sum_m p_{jm} s_{jm}(x)$ with ...
3
votes
0answers
98 views

Nonlinear Schrödinger blow-up for non radial solutions

I am studying a paper of Frank Merle and Pierre Raphaël, http://math.unice.fr/~praphael/Publications/blow-up-norme-critique.pdf. The equations are $$ i\partial_tu+\Delta u=-|u|^{p-1}u $$ on ...
3
votes
0answers
130 views

Is the isomorphism between $BMO/\mathbb{R}$ and $(H^1(\mathbb{R}^n))^{\star}$ isometric?

Let $BMO$ the space of bounded mean oscillation functions on $\mathbb{R}^n$ equipped with the Lebesgue measure. If $Q\subset \mathbb{R}^n$ a cube, let $m_Q f$ the average of a function $f\in ...
3
votes
0answers
223 views

What's the idea behind various equivalent norms on Besov spaces $B^{s}_{p,q}$?

I am trying to understand Besov spaces; and I am eager to see why the various norms are equivalent on it. Let $\phi$ be a $C^{\infty}$ function on $\mathbb R^{n}$ with $ \operatorname{supp} \phi ...
3
votes
0answers
111 views

A topological space extracting from a group action

Let $G$ be a compact abelian topological group with invariant measure $\mu$ which acts on a compact Hausdorff space $X$. A $G$-odd function is a continuous function $f:X\to ...
3
votes
0answers
135 views

convergence of $e^{it\Delta}f$

I heard of a conjecture that $e^{it\Delta}f\rightarrow f$ a.e. as $t\rightarrow 0$ for $f\in H^{1/4+\epsilon}$ but couldn't find a proper reference.