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

2
votes
1answer
75 views

Hardy Space Cancellation Condition

I have been reading the chapter on Hardy spaces in Stein's Harmonic Analysis book, and I am having a lot of trouble figuring something out. The setting here is $\mathbb{R}^n.$ Let $f \in L^q$ be ...
7
votes
1answer
41 views

If $w$ is in weak $A_{\infty}(d\mu)$ where $d\mu$ is a doubling measure, then is $w\,d\mu$ doubling?

Let $\mu$ be a positive Borel measure on $\mathbb{R}^n$ and let it be doubling i.e. there exists a a constant $C>1$ such that $\mu(B(x_0, 2r)) \leq C \mu(B(x_0,r))$ for all balls $B(x_0,r)$. Let ...
3
votes
1answer
67 views

About p-adic numbers

I'm studying the dual group of the diadic rationals, $\widehat{\mathbb{Z}[1/2]}$, where the dual is the dual of Pontryagin of $\mathbb{Z}[1/2]$. In some papers says that $\widehat{\mathbb{Z}[1/2]}$, ...
0
votes
2answers
42 views

Very simple question regarding sum/difference identity

If I have $\sin(0.7x-47t+C)$ where do I carry my constant $C$? The same with my sum-to-product identities. This problem is showing up for me because I'm studying mechanical waves at the moment. I ...
12
votes
1answer
216 views

A property of exponential of operators

Let $X$ be a Banach space. $A\in B(X)$ is a bounded operator. we can define $e^{tA}$ by $$e^{tA}=\sum_{k=0}^{+\infty}\frac{t^kA^k}{k!}$$ I am interested in this property: If $x\in X$, such that the ...
7
votes
1answer
290 views

Using normal families to bound a complex integral

I am trying to prove that $$\int_{\partial T(Q)} |F'(z)| \,ds(z) \lesssim \int\int_{T(Q)} |F'(z)| |\varphi'(z)|^2 \log \frac{1}{|z|} \,dx\, dy$$ This is an estimate on page $6$ of this paper by ...
2
votes
0answers
34 views

Why the $L^1(R)$ space does not have a unconditional basis

Why the $L^1(R)$ space does not have a unconditional basis. It is a known fact that $L^p(R)$ ($1<p<+\infty$) has unconditional basis. A simple example is the dyadic wavelet or Haar system. I ...
3
votes
0answers
61 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 ...
0
votes
1answer
18 views

Fourier coefficients of a measure and absolute continuity

A relative of a theorem of Peyriere (found in a 1997 paper of Klemes and Reinhold, "Rank One Transformations with Singular Spectral Type") says that if $\mu$ is a Borel probability measure on $S^1$ ...
5
votes
0answers
69 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 ...
3
votes
1answer
107 views

Is there a formula for the Haar measure on a product of groups?

Let $ (G_{n})_{n \in \mathbb{N}} $ be a sequence of locally compact topological groups with a corresponding sequence $ (\mu_{n})_{n \in \mathbb{N}} $ of Haar measures. Is there a way to construct a ...
1
vote
1answer
44 views

proof that$ L^1 (G)$ is a subspace of $M(G)$

Let G be a locally compact group, and let $M(G)$ be the space of complex Radon measures on G. I identify the function f with the measure $f(x) \rm dx$ . but How do I prove this inclusion?؟ . .
1
vote
0answers
33 views

Haar measure on $ \mathbb{R} × \mathbb{T}$ and on dual $\mathbb{R} × \mathbb{T}$

I've solved this exercise somewhat.To complete it please help me Haar measure on G $=$ translation invariant on G $$ μ(A)=μ(A+t)$$ if $ G=\mathbb{R}$ then Haar measure on G is lebesgue measure. and ...
1
vote
0answers
30 views

Uniqueness in Bochner's theorem

Bochner's theorem : Let $G$ be a locally compact Abelian group. Then for any $ \phi \in \ P(G) $ there is a unique positive Radon measure $ \ μ \in \ $ M ($ \widehat{G} $) such that ...
4
votes
2answers
821 views

Approximation of the identity and Hardy-Littlewood maximal function

The inequality seems to be simple but I could not find the right limits of integration. $$\sup_{\delta>0} |f*K_{\delta}|(x)\leq c f^*(x)$$ Where is some positive constant, $f$ is integrable, ...
1
vote
0answers
33 views

$\widehat{\mathbb{T}}$ can be identified with $\mathbb{Z}$

$ \mathbb{T} \stackrel{\text{def}}{=} \{ z \in \mathbb{C} : |z| = 1 \}$ $\widehat{\mathbb{T}} \stackrel{\text{def}}{=} \text{Hom}(\mathbb{T},\mathbb{T})$ To show that $\widehat{\mathbb{T}}$ can be ...
2
votes
1answer
31 views

Local Module Homomorphism

Let $A$ be Banach algebra and $X,Y$ be two left Banach $A$-modules. It is said that the linear bounded map $\phi:X\to Y$ is left $A$-module homomorphism if for any $a\in A$ and any $x\in X$ we have ...
3
votes
1answer
67 views

The function $f(t)=2+\sin(t)+\sin(t\sqrt2)$

The function $f$ defined on $\mathbb{R}$ by $$f(t)=2+\sin(t)+\sin(t\sqrt2)$$ can never reach $0$. Can we find some sequence $(t_n)_{n\geq0}$ such that $$\lim_{n \to \infty}f(t_n)=0 \ \ \ ?$$ Or in ...
2
votes
1answer
78 views

Identifying the dual group of a locally compact abelian group with the spectrum of $ {L^{1}}(G) $.

Folland stated the following theorem in his book A Course in Abstract Harmonic Analysis on Page 88. The dual group of a locally compact abelian group can be identified with the spectrum of $ ...
1
vote
1answer
38 views

When is a function a Fourier transform of an integrable function?

Specifically, in the case $f(\xi)=\frac{1}{(1+\xi ^2)^\epsilon}$ where $0<\epsilon<1$. I wish to prove this is a Fourier transform of a $L_1$ function. Any insight into the manner would be ...
0
votes
1answer
42 views

Inequality between Fourier coefficients implies inequality for $L^p$ norms on the circle

Given two functions from $L_p [-\pi,\pi]$, where $p\geq 2$, $p$ is an even integer, and $f_n>|g_n|$ for every $n$ (where $f_n$ is the $n$th Fourier coefficient), I need to prove that ...
3
votes
1answer
65 views

Biprojective $C^*$-algebra

Let $A$ be a Banach algebra. Define $\Delta:A\hat{\otimes}A\to A$ with $\Delta(\sum_{n=1}^\infty a_n\otimes b_n)=\sum_{n=1}^\infty a_nb_n$. Now $A$ is called biprojective if there exists a bounded ...
2
votes
1answer
50 views

Module algebras

Spectrum: For Banach algebra $A$ spectrum is denoted by $\sigma(A)$ and defined as the set of all non-zero bounded linear multiplicative function from $A$ to $\Bbb C$.(Function $\psi:A\to\Bbb C$ is ...
0
votes
1answer
26 views

Fourier transform of function similar to a Riesz kernel

I am trying to prove that the Fourier transform of $$\frac{x_1 x_2} {|x|^4}$$ in $\mathcal{R}^2$ (in the sense of distributions) is a bounded multiplier given by $\frac{\xi_1 \xi_2}{|\xi|^2}$ but am ...
0
votes
1answer
38 views

Locally compact group and continuous function with compact support

Suppose that $G$ is a locally comact group, let $H$ be a open subgroup of $G$ and let $\phi:G\to\Bbb C$ be a continuous function such that $Supp\phi=:\overline{\{x\in G: \phi(x)\neq 0\}}$ is compact. ...
1
vote
1answer
50 views

Open subgroup and group algebra

Let $G$ be a locally compact group and $H$ be an open subgroup of $G$. Consider the group algebras $L^1(G)$ and $L^1(H)$ with convolution product and consider $L^1(H)$ as a subalgebra of $L^1(G)$ ...
4
votes
1answer
432 views

Laplace equation Dirichlet problem on punctured unit ball.

Let $\Omega = \{ x \in \mathbb{R}^n: 0<|x|<1 \}$ and consider the Dirichlet problem \begin{align} \Delta u &= 0 \\ u(0) &= 1 \\ u &= 0 ~~~\text{if} ~~|x|=1 \end{align} By considering ...
4
votes
1answer
53 views

Weak* convergence in $(L^q)^*$ and convergence in $L^p$

Let $\{\phi_n\}$ be a sequence in $L^p(X)$. Assume that $\phi_n\to \phi$ weak* under the natural identification $L^p\cong (L^q)^*$. Of course, it is not true in general that $\phi_n\to \phi$ in $L^p$ ...
1
vote
1answer
24 views

Discontinuous characters on locally compact abelian groups

I'm doing some reading out of Rudin's Fourier Analysis on Groups and Folland's Abstract Harmonic Analysis for research. Particularly I am on characters and dual groups and I've noticed that neither ...
5
votes
1answer
104 views

Using Plancherel's Theorem to Prove the Gauss Sum

I'm interested in proving the following: Where $p$ is an odd prime and $z$ is a primitive $p$th root of unity, we let $Q(p)=\sum^{p−1}_{k=0}z^{k^2}$. Prove: $|Q(p)|=\sqrt{p}$. Specifically, I want ...
1
vote
0answers
36 views

I am having a hard time understanding just how quotients such as $\mathbb{T}$ are constructed.

I encountered the quotient $\mathbb{T} = \mathbb{R}/2\pi\mathbb{Z}$ while beginning to study harmonic analysis. Despite having taken elementary abstract algebra and number theory, I am still having ...
4
votes
1answer
53 views

Fourier transform of a potential

I need help computing the distributional inverse Fourier transform of the function $1/|x|^2$ in dimension two. The integral makes sense written as \begin{align} 1/2\pi \int_{\mathbb{R}^2} e^{ix\xi} ...
1
vote
1answer
108 views

Show that $\log(x)$ is a Bounded Mean Oscillation (BMO)

As an extension of our class notes, we were asked to show that the function $w =\log(x)$ is a Bounded Mean Oscillation (BMO). First off, I believe our professor made a mistake, and really wanted us ...
3
votes
1answer
59 views

A questions about the schur's lemma

Schur's lemma is this: If (ρ1,V1) and (ρ2,V2) are irreducible representations of a group G, then any nonzero homomorphism ϕ:V1↦V2 is an isomorphism. or Schur's Lemma. a. A unitary ...
0
votes
0answers
42 views

non degenerate representation

Let π:G →L(H) be a unitary representation Then the map π1: $\mathbb L^1(G)$→L(H) is nondegenerate. where ’nondegenerate’ is meant in the sense that For every non-zero $\xi \in \mathcal{H}$ ...
0
votes
0answers
27 views

Computing the modularity function

Let B be the group of real matrices of the form \begin{pmatrix} 1 & x\\ 0 & y\end{pmatrix} with y ≠ 0. Then the modular function Δ is given by $$Δ\begin{pmatrix}1 & x \\ 0 & ...
2
votes
1answer
45 views

If the Fourier transform of a probability measure goes to zero at infinity, can the measure have a point mass?

Let $\mu$ be a probability measure on $\mathbb{R}$. Is the following implication true? $$ \widehat{\mu}(y) \rightarrow 0 \text{ as } |y| \rightarrow \infty \quad \Rightarrow \quad \mu(\{x\})=0 \quad ...
2
votes
0answers
65 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 ...
1
vote
2answers
53 views

Why are all Laplacian eigenfunctions on the square obtained by separation of variables?

Let our domain $\Omega = (0,2\pi)\times(0,2\pi)$ be a square with sides parallel to the axes. Consider the Dirichlet eigenvalue problem $\Delta u+\lambda u=0$ with Dirichlet boundary condition $u=0$ ...
2
votes
0answers
79 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$. ...
0
votes
0answers
10 views

Kernel of a representation and central projections

Let $G$ be a locally compact group, and $B(G)$ be the Fourier-Stieltjes algebra of $G$. I'm trying to see why the following is true: let $\pi$ be a representation of $G$, the the kernel of $\pi$ in ...
2
votes
0answers
83 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 ...
3
votes
1answer
47 views

Application of weak $L^p$ estimate besides for proving boundedness of some linear operator

For all $1\leq p< \infty$, weak-$L^p(\mathbb{R}^d)$ space is defined as a set of all functions $f$ such that $$\gamma^p|\{x\in \mathbb{R}^d: |f(x)|>\gamma\}|<\infty$$ for every ...
0
votes
0answers
39 views

functions of positive type

We say that $∅∈\mathbb L^∞(G)$ is of positive type, iff $$ \iint f(x)\overline{f(y)} \phi(y^{-1} x)\;dy\;dx≥0 $$ for all $f∈ \mathbb L^1(G)$ The set of all continuous functions of positive type ...
1
vote
1answer
121 views

Suppose G is unimodular. If f is in LP(G) and g is in Lq(G) where 1 < p,q < ∞ and 1/p+1/q=1, then f * g ∈Co(G) and ||f * g||sup ≤ ||f||p ||g||q

Suppose G is unimodular. If f is in LP(G) and g is in Lq(G) where 1 < p,q < ∞ and 1/p+1/q=1, then f * g ∈Co(G) and ||f * g||sup ≤ Ilfllp llgllq. * is convolution f and g. I read the ...
2
votes
1answer
94 views

Continuity under the integral sign?

I've been reading Folland's Harmonic analysis book, in which he claims the following on page 56: Suppose $G$ is a locally compact (and of course Hausdorff) topological group G, $H$ a (closed) ...
2
votes
0answers
43 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 ...
3
votes
1answer
53 views

How to show the completeness of the space of Fourier transforms $\mathcal{F}L^{1}$?

Consider the space of all Fourier transforms of $L^{1}(\mathbb R),$ that is, $$\mathcal{F}L^{1}=\mathcal{F}L^{1}(\mathbb R):= \{f\in L^{\infty}(\mathbb R):\hat{f}\in L^{1}(\mathbb R)\},$$ with the ...
2
votes
0answers
43 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 ...
4
votes
1answer
44 views

restriction of unitary operator is unitary?

Let $\mathcal{U}: \mathcal{H} \rightarrow \mathcal{H}$ be a unitary operator on a Hilbert space $\mathcal{H}$. If $\mathcal{K}\subset \mathcal{H}$ is a closed subspace such that ...