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

1
vote
1answer
161 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
3answers
186 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
0answers
176 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
0answers
123 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
1answer
130 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 ...
5
votes
1answer
184 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
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 ...
2
votes
1answer
224 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
1answer
104 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 ...
6
votes
1answer
317 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 ...
0
votes
1answer
70 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 ...
3
votes
1answer
224 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 ...
1
vote
1answer
110 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
1answer
286 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 ...
4
votes
1answer
208 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 ...
2
votes
0answers
84 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
0answers
147 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
1answer
259 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
1answer
226 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
0answers
37 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
0answers
49 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, ...
2
votes
1answer
204 views

Does Fourier Algebra of locally compact group separate compact sets of the group?

Let $G$ be a locally compact group. Consider the left regular representation $\lambda$ over $L^2(G)$. Then according to Eymard, Fourier algebra of $G$, $A(G)$ is the set of all coefficients of ...
0
votes
0answers
8 views

Does Weil-Brezin transform provide Fourier basis in C^0 on Heisenberg manifold?

I know that $L^2$ functions of the Heisenberg nilmanifold are spanned by images of the Weil-Brezin transform. Is it true that they are also dense in C^0? Is there a reference for this?
2
votes
1answer
2k views

Relation between complex analysis and harmonic function theory [closed]

There are some theorems in harmonic function theory that resemble results in complex analysis, like: Holomorphic functions and complex functions are analytic; Cauchy's integral formula in complex ...
3
votes
1answer
748 views

Two questions on Elias Stein paper (1976)

I am working on some results related with a paper of Elias Stein (on the almost every where convergence of wavelet summation methods), and I have the following questions: The maximal function ...
4
votes
0answers
255 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} ...
7
votes
1answer
245 views

What does the unique mean on weakly almost periodic functions look like?

There is a unique invariant mean $m$ on WAP functions on any discrete group (see definitions below, theorem of ?). However, the proofs I found are fairly non-explicit on how to obtain this invariant ...
3
votes
0answers
161 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} ...
5
votes
1answer
612 views

Is the following integral nonzero?

Recently I met an integral as follow: $$\int_0^{2\pi}\cdots\int_0^{2\pi}\left(\prod\limits_{1\leq ...
4
votes
0answers
91 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})$ ...
2
votes
1answer
88 views

A singular integral of several functions

While playing with some PDE I came across a singular integral that looks something like ...
2
votes
0answers
41 views

Restricted weak type bound at the endpoint

We know that if we have an operator that is (restricted) weak type $(p,p)$ and (strong) type $(\infty,\infty)$ with norm 1, then it's also of strong type $(q,q)$ for all $p<q<\infty$ by the real ...
4
votes
0answers
56 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]$ ...
1
vote
1answer
115 views

harmonic balance method for a 2-mass 3-spring system [closed]

I am trying to solve a nonlinear 3spring-2mass system under harmonic loading by using Fourier series expansion of states of the differential equation. The system is just basically two masses, two ...
6
votes
1answer
320 views

Liouville property - a very basic question

Let $\mathbb{F}_2$ be the free group on two generators. By a result of Kaimanovich and Vershik, for each measure $\mu$ on $\mathbb{F}_2$ such that the support of $\mu$ generates $\mathbb{F}_2$, we ...
3
votes
2answers
73 views

Sequence of subharmonic functions on shrinking domains

Set $G_\eta:=\{(x,y)\in \mathbb{R}^2|-\eta<x<\eta, 0<y<1\}$. If $u_\eta\geq 0$ is a sequence of subharmonic functions defined on $G_\eta$ such that $$ \int_{G_\eta}|u_\eta|^2dx\wedge ...
3
votes
1answer
141 views

Hardy-Littlewood-Sobolev inequality in Lorentz spaces

Hardy-Littlewood-Sobolev inequality states that if $1<p<q<\infty$, $1/r=1-1/p+1/q$, then we have $$\left\|\frac{1}{|x|^{n/r}}\ast f\right\|_{L^q(\mathbb R^n)}\le\|f\|_{L^p(\mathbb R^n).}$$ ...
1
vote
1answer
119 views

Harmonic/Subharmonic lifting of functions on an annulus

Suppose $\Omega_1, \Omega_2 \subset R^2$ are bounded open regions with $\Omega_1 \Subset \Omega_2$. Let $f_1\in C(\partial \Omega_1)$ and $f_2\in C(\partial \Omega_2)$. Is there a function $h\in ...
7
votes
1answer
205 views

When does a $C^*$-algebra have no nonzero projection?

Let $A$ be a $C^*$-algebra and $\hat{A}$ its spectrum of $A$,the set of classes of non-zero irreducible representation of $A$ endowed with hull-kernel topology. suppose $\hat{A}$ is a non-compact ...
1
vote
0answers
65 views

Differentiability criterion in the Zygmund class

Let $ f: \mathbf{R}^{m} \rightarrow \mathbf{R} $ be a continuous function, $ \omega $ be a modulus of continuity and assume $$ | f(x+h) +f(x-h) -2f(x) | \leq \omega(|h|)|h| $$ whenever $ x,h \in ...
2
votes
0answers
69 views

Bilinear Approach to Bochner-Riesz Conjecture in Two Dimensions

In some old lecture notes on the Restriction and Kakeya conjectures (Notes 5, specifically), Terence Tao gives a proof of the restriction conjecture (for the sphere) in two dimensions via a bilinear ...
0
votes
0answers
65 views

Matrix representation of the Heisenberg quaternionic group

Equiped with the law $(a,b,c)\circ (a',b',c') = (a + a', b + b', c + c' + ab'),$ the matrix representation of the Heisenberg group $H^3= \mathbb C\times \mathbb R$ is given by $$ \begin{pmatrix} 1 ...
13
votes
0answers
440 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$ ...
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 ...
2
votes
0answers
32 views

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

The Fourier transform of a function supported on $B_1$ is essentially constant on $B_1$?

I'm going through the last steps of Bourgain and Demeter's proof of the $l^2$ decoupling conjecture, but I'm unable to see how the first inequality in (43) goes through. I'll water down the question a ...
3
votes
2answers
172 views

Sampling Theorem for non-bandlimited Functions

The classical Shannon sampling theorem states that a bandlimited function with $\mbox{supp } \hat f\subset [-1/2,1/2]$ can be uniquely determined by its samples $(f(i))_{i\in \mathbb{Z}}$ (The symbol ...
0
votes
2answers
98 views

$L^p$ estimates for elliptic equation of divergence form

Consider the scalar elliptic equation of divergence form $$div((1+a)\nabla\pi)=div F\ \ in\ \ R^3,$$ where $a$ is a Schwartz function with $1+a\geq c=const>0$, $F=(F_1,F_2,F_3)$ is a vector-valued ...
1
vote
1answer
57 views

Multivariate analogue of Jackson's inequality's modulus of continuity form

According to Jackson's inequality, there is $c > 0$ s.t. for any continuous function $f: S^1 \rightarrow \mathbb{R}$ (where $S^1 := \mathbb{R} / \mathbb{Z}$ is the circle) and integer $n$ there is ...
13
votes
3answers
429 views

Completeness of nonharmonic Fourier Series

I have the following question: The Exponential System $(\exp(2\pi i n \cdot ))_{n\in \mathbb{Z}}$ constitutes an orthonormal basis of $L^2([-1/2,1/2])$. Thus, certainly the oversampled system ...