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

-1
votes
1answer
71 views

Locally compact groups

Let $S= G_1\bigcup G_2 $, where $G_1$ and $G_2$ are two groups. If $S$ is locally compact, is it true that either $G_1$ or $G_2$ is locally compact? Thank you.
0
votes
0answers
23 views

Describing function of a non linearity with memory

Can anyone help me on finding the correct methodology to compute the describing function of the following NL function? ...
7
votes
1answer
39 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
64 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
41 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 ...
2
votes
1answer
82 views

Noncommutative Fourier Transform

The theory of Fourier transform for Euclidean spaces has analogues for locally compact abelian groups. In the noncommutative setting, representations can be used to define analogous transforms. My ...
2
votes
0answers
33 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 ...
7
votes
1answer
271 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 ...
3
votes
0answers
59 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
16 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
67 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 ...
1
vote
0answers
32 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
32 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
30 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 ...
1
vote
0answers
28 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 ...
2
votes
1answer
77 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
37 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 ...
1
vote
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 ...
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
49 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)$ ...
1
vote
1answer
22 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 ...
4
votes
1answer
51 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
0answers
35 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} ...
5
votes
1answer
96 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 ...
0
votes
0answers
37 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}$ ...
3
votes
1answer
57 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 ...
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
64 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
1answer
49 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
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 ...
1
vote
2answers
52 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
76 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$. ...
3
votes
1answer
45 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
36 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 ...
0
votes
0answers
24 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
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 ...
2
votes
1answer
89 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
42 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
40 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 ...
1
vote
0answers
46 views

Harmonic functions using complex analysis

Suppose we want a harmonic function $f$ in the first quadrant with the boundary condition that for $\arg(z) = \theta$ where $\theta$ is fixed and along $\Im(z) = 0$ we have $f = 1$. Since ...
12
votes
1answer
208 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 ...
0
votes
1answer
53 views

I “proved” the first Laplacian eigenvalue has many eigenfunctions. Where's my mistake?

(For simplicity, say our domain $D \subset \Bbb R^2$, $\partial D$ is nice and smooth, and $\overline D$ is compact.) Let $\lambda_1$ be the first eigenvalue of the problem $\Delta u + \lambda u = 0$ ...
2
votes
1answer
46 views

Covolution (space) over compact Lie groups

Let $G$ be a compact Lie group. Is there any way one can characterize the functions $\phi$ of the form $\phi=\psi\ast \psi^\ast$ in $C^\infty(G)$ where $\psi\in C^\infty(G)$? Here as usual ...
1
vote
1answer
42 views

A sequence of neighbourhoods with decreasing Haar measure in a non-discrete group

Let $G$ be a non-discrete (LCH) group. How can one find a sequence $(V_n)$ of compact, symmetric neighbourhoods of the identity element $1$ such that $\mu(V_n)\to 0$, where $\mu$ denotes the Haar ...
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?؟ . .
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 ...
0
votes
1answer
62 views

Every unitary representation is a direct sum of cyclic representations.

Every unitary representation is a direct sum of cyclic representations. it can be proved without the Zorn's Lemma ?
2
votes
2answers
92 views

Non uniform continuity of a function and almost periodicity

We say that a continuous function $f:\mathbb{R}\to\mathbb{C}$ is almost periodic in the sense of Bohr if: For every sequence $(t'_n)_{n\geq0}$, there's a sub-sequence $(t_n)_{n\geq0}$ such that ...