Harmonic analysis is the generalisation of Fourier analysis. Use this tag for analysis on locally compact groups (e.g. Pontryagin duality), eigenvalues of the Laplacian on compact manifolds or graphs, and the abstract study of Fourier transform on Euclidean spaces (singular integrals, ...

learn more… | top users | synonyms

8
votes
0answers
299 views

norm of a singular integral operator

My question is from Harmonic Analysis, about the study of singular kernels (in the Calderon Zygmund sense.) Suppose that a kernel $K$ is a singular kernel, extending to a bounded operator on $L^p$, ...
8
votes
0answers
251 views

Kakeya Needle problem video

I'm intruiged by the Kakeya Needle problem, described here on Wikipedia. Wikipedia has a nice animation of a needle turning through a hypo-cycloid: What I'm searching for is a visualisation of the ...
6
votes
0answers
456 views

Positive definite function zoo

A positive definite function $\varphi: G \rightarrow \mathbb{C}$ on a group $G$ is a function that arises as a coefficient of a unitary representation of $G$. For a definition and discussion of ...
5
votes
0answers
137 views

Why is the derivative of the translates of a measure measurable?

Let G be a topological group and X a measure space. Let $G \times X \rightarrow X$ be a measurable group action, $\mu$ a $\sigma$-finite measure on $X$, and $g\mu$ (for any $g \in G$) the measure ...
5
votes
0answers
65 views

An inequality between integrals of series of characteristic functions of cubes

Let $1\leq p<\infty$. Prove that there exists $C>0$ such that $$ \left(\int\left|\sum_{i=1}^\infty a_i\chi_{2Q_i}\right|^p \, dx\right)^{1/p} \leq C\left(\int\left|\sum_{i=1}^\infty ...
5
votes
0answers
99 views

the spectrum and determinant of the Laplacian on $S^3$

I came across the following statement in a paper: On $S^3$, the eigenvalues of the vector Laplacian on divergenceless vector fields is $(\ell + 1)^2$ with degeneracy $2\ell(\ell+2)$ with $\ell ...
5
votes
0answers
92 views

Can we do some scaling argument in the presence of inhomogeneous norms?

Notation: $B^n_R$ stands for the ball of radius $R$ in $\mathbb{R}^n$. $\hat{f}$ stands for the Fourier transform of $f$. Question. The following inequality holds true for all $f\in ...
4
votes
0answers
201 views

Computing the modularity function of upper triangular matrices

Put $B_p := \left\{ \begin{pmatrix} a & b \\ 0 & c \end{pmatrix} \in GL_2(Q_p) : a, b, c \in Q_p \right\}$ the subgroup of upper triangular matrices in $GL_2(Q_p)$, $Q_p$ denoting the $p$-adic ...
4
votes
0answers
75 views

multipliers on $H^{1}$

I'm begining to study the hardy space $H^{p}(\mathbb{R}^{n})$. First recall that a $L^{\infty}$ function is called a $H^{1}$ multiplier if the associated operator ...
4
votes
0answers
108 views

Harmonic measure or harmonic kernel

In the theory of discrete-time stochastic processes on a measurable space $(\mathscr X,\mathscr B(\mathscr X))$ one usually starts with a Markov kernel $$ P:\mathscr X\times \mathscr B(\mathscr ...
4
votes
0answers
115 views

Curvatures of contours of solutions of 3d Poisson's equation

Let $f(x,y,z)$ be a complex function in a 3d euclidian space that fulfill the Poisson's equation $$\frac{\partial^2}{\partial x^2} f + \frac{\partial^2}{\partial y^2} f + \frac{\partial^2}{\partial ...
4
votes
0answers
89 views

Preduals of Banach spaces and in particular of $\text{BMO}(\mathbf R^d)$

In general the predual of a Banach space is not unique. If there are multiple ones must they be isomorphic? More specifically is $H^1(\mathbf R^d)$ the only predual of $\text{BMO}(\mathbf R^d)$ or ...
3
votes
0answers
52 views

Building up the Fourier inversion theorem on locally compact abelian groups

I'm reading through Folland's Abstract Harmonic Analysis and I've come to a bit of a road block with some machinery developed for the Fourier inversion theorem. We know that the Fourier transform of a ...
3
votes
0answers
74 views

Closure of Schwartz space in homogeneous Besov space

Let $\dot{B}^s_{\infty,\infty}(\mathbb{R}^d)$ denote the homogeneous Besov space of order $s$ with second and third index $\infty$, i. e. the homogeneous Zygmund space. Let $\mathcal{S}(\mathbb{R}^d)$ ...
3
votes
0answers
74 views

Is the range of the Fourier transform $L^1(\mathbb{R}) \to C_0(\mathbb{R})$ closed under “quasi-inversion”?

Definitions: A function $f \in C_0(\mathbb{R})$ is quasi-invertible if $1 \notin \operatorname{ran}(f)$. The quasi-inverse of such an $f$ is $\frac{f}{f-1}$. Some discussion: Let $C_1(\mathbb{R})$ ...
3
votes
0answers
40 views

Matrix-valued functions with lacunary Fourier series

This question is motivated by investigation of the operator space structure of Hankel matrices (which is surely well-known to the experts). Consider a lacunary Hankel matrix, i.e. a matrix ...
3
votes
0answers
57 views

Is harmonicity preserved when taking limits (normal convergence) on the unit disk.

I'm reading Koosis's book on $H^p$ spaces and have a question. He is proving a $L^p$ version of the Dirichlet problem which states that if $F(t)$ is in $L^p$ on the unit circle then $$ ...
3
votes
0answers
138 views

Fourier coefficient of $f(x)=\frac{d}{dx}(x^{\nu} \cos(\frac{1}{x})$ for $\nu \in (0,\frac{1}{2})$.

In Zygmund's Trigonometric Series, vol I, on page 19 section 2.22 they write that Riemann showed that the Fourier coeff of $f(x)=\frac{d}{dx}(x^{\nu} \cos(\frac{1}{x}))$ for $\nu \in (0,\frac{1}{2})$ ...
3
votes
0answers
85 views

The second derivative of simple layer potential

A simple-layer potential is defined as $$\Psi(M)=\iint_{S}\dfrac{\sigma(N)}{R(M,N)}dS(N)$$ where $S$ denotes a flat region in the plane $z=0$; the coordinates of $M$ and $N$ are $(\rho,\phi,z)$ and ...
3
votes
0answers
626 views

Fourier Transform of spherical harmonics

I am trying seeking for definition (or some source) of the Fourier Transform of Spherical Harmonics (see https://en.wikipedia.org/wiki/Spherical_harmonics). Any help will be really appreciated. ...
3
votes
0answers
61 views

Are Haar measures complete?

If $G$ is a locally compact group and $\mu$ is a left Haar measure for $G$, then is the measure space $(G,B(G),\mu)$ complete (where $B(G)$ is the set of Borel subsets of $G$)? Or do we have to take ...
3
votes
0answers
79 views

Mapping $G$ into its group algebra as left multiplication. Continuous?

I am reading an appendix on Group algebras which contains the following Proposition which I am trying to prove: Proposition: Let $G$ be a locally compact group, with $\zeta\in L^{p}(G)$ fixed. ...
3
votes
0answers
187 views

How is study of fractals related to fourier/spectral/harmonic analysis?

In chap. 3 of "Fractal Geometry of Nature" Mandelbrot mentions that "part of the study of fractals is the geometric face of harmonic analysis" (spectral or Fourier, he specifies). But to my dismay ...
3
votes
0answers
163 views

Fourier dimension of a measure restricted to an open set

Suppose that the measure $\mu$ on $\mathbb{R}^n$ has Fourier dimension $\beta$, which is to say that $\beta= \sup\left\{\gamma \leq n : |\hat{\mu}(x)| \leq C(1+|x|)^{-\gamma/2}\right\}$. The Fourier ...
3
votes
0answers
128 views

Series of Maximal Operator

Let $p\in(1,\infty)$. Assume that we have a sequence of functions $\{f_i:i\in\mathbb{N}\}\subset L^p(\mathbb{R}^n)$ such that $$ \left(\sum\limits_{i=1}^\infty|f_i|^2\right)^{\frac{1}{2}}\in ...
3
votes
0answers
59 views

$\Lambda_p$-set for compact abelian group

We denote by $|A|$ the cardinal of a set $A$. Let $S$ be a subset of $\mathbb{Z}$. Denote $S_N=S\cap [0,N]$ where $N$ is an integer. Suppose $2<p<\infty$. There is well-known that if $S$ is a ...
3
votes
0answers
146 views

Steinhaus theorem in topological groups

Let $(G,\cdot)$ be a locally compact Abelian topological group with Haar measure. It is known that if $B$ is a measurable subset of $G$ of finite and positive Haar measure then $int(B \cdot B)\neq ...
3
votes
0answers
172 views

Extending a convolution operator from $L^p(\mathbb{R}^d)$ to $L^p(\mathbb{R}^d;L^q(\Omega))$

Let $1<p,q<\infty$ and $\Omega$ some $\sigma$-finite measure space. Let $T$ denote a bounded convolution operator on $L^p(\mathbb{R}^d)$ with scalar valued kernel $K$ which is locally integrable ...
2
votes
0answers
21 views

Calderón reproducing formula : $\int_{0}^{\infty}\int_{R^d}|\phi_{t}(x-y)||(\phi_t*f)(y)|\frac{dt}{t}dy<\infty$

Suppose that $\int f=0$, $f \in L^2$ and $f$ has a compact support. Let $\phi$ be radial, and such that $\mathrm{supp}(\phi) \in B(0,1)$. Plus, assume that $\int_{R^+} ...
2
votes
0answers
46 views

Sufficient condition for an operator to be compact in Hilbert space of holomorphic function with respect to Gaussion weight (Fock space).

What I read in a book I could not understand, some one please help. Let $\mathcal{F}=\{f:\mathbb{C^n}\rightarrow\mathbb{C}: \text{$f$ is holomorphic and}\int_{\mathbb{C}^n}\lvert ...
2
votes
0answers
41 views

Decay of the Fourier transform of the surface measure of the sphere via uncertainty

I'm working through Tao's Recent Progress on the Restriction Conjecture notes (http://arxiv.org/abs/math/0311181). Currently, I'm working on problem 2.4, which will eventually allow us to compute the ...
2
votes
0answers
26 views

The variational formulation of entropy

For $f:\mathbb Z_2^n \to [0, \infty)$, the entropy of $f$ is defined as $$ {\rm Ent}(f) = \mathbb E[f(X) \log f(X)] - \mathbb E f(X) \log(\mathbb E f(X)), $$ where $X$ is a random element of $\mathbb ...
2
votes
0answers
61 views

Is every unitary representation a direct sum of irreducible subprepresentations?

I've read that any unitary representation of a compact group decomposes as a Hilbert space direct sum of irreducible representations. In the book I'm reading this is stated as a prong of the ...
2
votes
0answers
71 views

Relation between fractional integral operator and solution of poisson equation

For $0<\alpha<d$, fractional integral operator $I_{\alpha}$ is defined by $$I_{\alpha}f(x)=\int_{\mathbb{R}^d} \frac{|f(y)|}{|x-y|^{d-\alpha}} dy$$ for any suitable function on $\mathbb{R}^d$. ...
2
votes
0answers
41 views

*-homomorphism and *-representation

I understand the concept of the unitary representation of G . A unitary representation of G is group homomorphism π:G→U(H) where H is a complex Hilbert space and U(H) is the group of unitary operators ...
2
votes
0answers
41 views

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

For a given function $f\in C(G)$ on a compact group $G$ its Fourier transform is defined as the family of operators $$ \widehat{f}_\sigma=\int_Gf(t)\cdot\sigma(t^{-1}) \ \text{d}\ t,\quad ...
2
votes
0answers
75 views

convolution of $f$ and $g$ is in $L^p$ where $f$ has compact support.

Suppose 1≤p≤∞ and $f∈L^1(G)$ and $g∈L^p(G)$. I know this is true $‖f*g‖_p ≤‖f‖_1 ‖g‖_q$ , Where ∗ is convolution of f and g. I want to prove that If G is not unimodular, we still have g∗f is in LP ...
2
votes
0answers
52 views

Density of a set of functions in Schwartz space

I have a difficulty doing the following problem: Let $S(\mathbb{R}^n)$ be the Schwartz space. I need to determine whether the following set of functions $A$: $$A= \{f\in S(\mathbb{R}^n): ...
2
votes
0answers
33 views

Jucys-Murphy elements confusion

I am taking a class called "Harmonic Analysis on Finite Groups" and am studying for an exam. We have recently been talking about the representation theory of the symmetric group (over $\mathbb C$). ...
2
votes
0answers
44 views

Essential hypothesis of Fourier Inversion formula

Let $f\in L^{1}(\mathbb R)$ and we define its Fourier transform as follows: $\hat{f}(\xi)=\int_{\mathbb R} f(x)e^{-2\pi i \xi\cdot x} dx, (\xi \in \mathbb R);$ and we define $f^{\vee}(x):=\hat{f}(-x)= ...
2
votes
0answers
47 views

Invariant functions under integral transforms

We all know Fourier transform has invariants such as $e^{-x^2}$, and another MSE post has shown the non-existence of invariant function under Hilbert transform using Fourier transform. I am wondering ...
2
votes
0answers
23 views

Can we expect, $\left\|f|f|- g|g|\right\|\leq C \left \|f-g\right \|$ in the Banach algebra $A(\mathbb R)$?

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 ...
2
votes
0answers
24 views

Induced measure on dual group and kernel of fourier transform

Let $G$ be a locally compact Hausdorff abelian group (LCA). Then the Fourier transform gives a map from functions on G to functions on $\hat G$ $$f\mapsto \hat f(\xi) = \int_G f(x)\Psi(x,\xi) ...
2
votes
0answers
57 views

Dual Lorentz characterization of $L^q$

I am trying to do Exercise A.4 of Terence Tao's book Nonlinear dispersive equations: local and global analysis. The exercise is on p.342 in Appendix A. The problem statement is: Let $f\in ...
2
votes
0answers
57 views

How to prove $\widehat{(fg)}(n) = \hat{f} (n) \ast \hat{g} (n); (n \in \mathbb Z)$?

Let $f, g \in L^{1}(\mathbb T)= L^{1} ([-\pi, \pi))$. We define, the Fourier transform of $f$ as follows: $$\hat{f}(n)=\frac{1}{2\pi}\int_{-\pi}^{\pi} f(t) e^{-int} dt, \ (n\in \mathbb Z).$$ It is ...
2
votes
0answers
56 views

Abstract Fourier Analysis

I am trying to prove that given a locally compact abelian (Hausdorf) topological group, the characters on it parameterize the multiplicative linear functionals on the banach * algebra $L^1(G, d\mu)$ ...
2
votes
0answers
39 views

Volume of a ball for SO(n).

Let us equip the special orthogonal group $SO(n)$ with a normalized Haar measure $\theta_n$ and let $G_r$ be the subset of rotations $\Omega$ which differ from the identity by (sufficiently small) $r$ ...
2
votes
0answers
59 views

Generalizing the ptwise or $L^1$ ergodic theorem

I was able to write a proof based on the hardy-littlewood maximal function of the following statement: Let $(X, \Sigma, \mu)$ be a $\sigma$-finite measure space, and $d=n \geq 1$ be fixed. Let ...
2
votes
0answers
97 views

A problem concerning measures on locally compact spaces

I am stuck on a question for quite sometime now, although in the text (http://www.latp.univ-mrs.fr/~chaabi/ARTICLES%20IMPORTANTS/Autres%20articles%20interessant/Jewett.pdf , Pg. 10, 2.3E ) it is said ...
2
votes
0answers
42 views

Exercise 1.3.3(c) of GTM249(Classical Fourier Analysis)

Exercise 1.3.3(c) Let $0<p_0<p<p_1<\infty$ and let $T$ be an operator as in Theorem 1.3.2($\|T(f)\|_{L^{p_0,\infty}(Y)}\leq A_0\|f\|_{L^{p_0}(X)}$ for all $f\in L^{p_0}(X)$ and ...