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

3
votes
1answer
192 views

Proof that $dx/|x|$ is a Haar measure on non-zero reals?

Most importantly, what is the meaning of this notation $\lambda = dx/|x|$? How do I compute say $\lambda(0,1)$ for example?
3
votes
2answers
97 views

Decomposition and harmonic analysis of $L^2(S^n)$

Deitmar and Echterhoff write in their book Principles of Harmonic Analysis that `It follows from the Peter-Weyl theorem that the $SU(2)$ representation on $L^2(S^3)$ is isomorphic to the orthogonal ...
3
votes
2answers
328 views

Which $f \in L^\infty$ are the Fourier transform of a bounded complex measure?

A measure on $\mathbb R$ is a set function $\mu,$ defined for all Borel sets of $\mathbb R,$ which is countably additive(that is, $\mu(E)=\sum \mu(E_{i})$ if $E$ is the union of the countable family ...
3
votes
3answers
90 views

Which Hilbert space is isometrically isomorphism with $B(E)$ for some Banach space $E$.

Consider $H$ as a Hilbert space. How can I find a Banach space $E$, for that, $H=B(E)$ where $B(E)$ is the set of bounded linear operator on $E$? (At least under some conditions on $H$) Also if the ...
3
votes
2answers
143 views

What do $a_0$ ,$a_m$ and $b_m$ terms mean in the Fourier series formula?

We know that a Fourier series for signal $x(t)$ is given as $$\frac {a_0} 2 + \sum \limits _{m=1} ^\infty (a_m \cos \frac {2 \pi m t} T + b_m \sin \frac {2 \pi m t} T)$$ So my question is what ...
3
votes
2answers
88 views

Is “being harmonic conjugate” a symmetric relation?

The question is: Prove or disprove the following: If $u,v:\mathbb{R}^2 \to \mathbb{R}$ are functions and $v$ is a harmonic conjugate of $u$, then $u$ is a harmonic conjugate of $v$ (in other words, ...
3
votes
1answer
45 views

Is $\|x\|^6 \sin^6 \|x\|^6$ harmonic?

Suppose the function $$ u(x)=\|x\|^6 \sin^6 \|x\|^6$$ for $x \in \mathbb{R}^d$, where $$\|x\| = \sqrt{x_1^2 + \ldots +x_d^2}.$$ How can I decide if the function $u$ is harmonic in the unit ball ...
3
votes
2answers
115 views

Sublinearity of Hardy-Littlewood Maximal Function on Sobolev Spaces

Define the (centered) Hardy-Littlewood maximal function by $$\mathcal{M}f(x)=\sup_{r>0}\dfrac{1}{m(B(x,r))}\int_{B(x,r)}\left|f(y)\right|dy,\ f\in L_{\mathrm{loc}}^{1}(\mathbb{R}^{d})$$ We say ...
3
votes
1answer
111 views

Sobolev spaces vs. Hardy Spaces

I have seen sobolev spaces (the ones with the p norms of the derivatives of a multivariable function) and Hardy spaces (the objects investigated in harmonic analysis when one asks about tangential and ...
3
votes
1answer
284 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 ...
3
votes
1answer
445 views

Nirenberg-Gagliardo- Sobolev inequalities

I need a small help in understanding the following that how "Nirenberg -Gagliardo-Sobolev inequalities" were used. This is a part of the paper. Denote $$ H^1=W^{1, 2}(\Omega)\\ V_1=\{ f\in H^2 ...
3
votes
1answer
108 views

Reference for: $G$ discrete iff the measure algebra $M(G)$ is weakly amenable.

I search the reference for the proof of the following theorem: Let $G$ be a locally compact group. Then the group $G$ is discrete if and only if the measure algebra $M(G)$ is weakly amenable. The ...
3
votes
2answers
328 views

Homogeneous function in bounded mean oscillation BMO($\mathbb R^n$) space

Let me recall some notations: The mean oscillation of a locally integrable function $u$ (i.e. a function belonging to $ L^1_{\textrm{loc}}(\mathbb{R}^n))$ over a cube Q in $\mathbb R^n$ (which has ...
3
votes
1answer
334 views

Example of a locally compact connected Abelian group with non-$\sigma$-finite measure

I look for an example of an Abelian locally compact topological group $G$ such that: $G$ is connected and Haar measure on $G$ is not $\sigma$-finite and $\{0\} \times G \subset \mathbf{R} \times G$ ...
3
votes
1answer
144 views

Convolution on noncommutative group algebras

If $G$ is a non-Abelian locally compact group, and $f$ is in $L^1{(G)}$ and $u$ is in $L^{\infty}(G)$, and $f\ast u=0$ can it be concluded that $u\ast f=0$?
3
votes
2answers
113 views

Replicating Kolmogorov's Counterexample for Fourier Series in Context of Fourier Transforms

It is a famous result of Kolmogorov that there exists a (Lebesgue) integrable function on the torus such that the partial sums of Fourier series of $f$ diverge almost everywhere (a.e.). More ...
3
votes
1answer
63 views

Showing the range of Fourier transform on $L^1(\mathbb{R})$ is in $L^1(\mathbb{R})$ for a particular scenario

This is a problem from Katznelson's Harmonic Analysis book(Page 143, Problem 8): Suppose $f\in L^1(\mathbb{R})$ and is continuous at $0$. Also suppose $\hat{f}\geq 0$, then show that $\hat{f}$ is in ...
3
votes
2answers
52 views

Bounded approximate identities in one-sided ideals of $L_1(G)$

Let $G$ be a locally compact group and consider its $L_1$-group algebra, that is, $L_1(G)$. It is easily seen that $L_1(G)$ has a two-sided bounded approximate identity: just use a basis of compact ...
3
votes
1answer
954 views

Laplace operator and Fourier transform

Let $f$ be a function with compact support in $D\subset \mathbf{R}^2$. Is is known that $$-\Delta f=F^{-1}|x|^2 F f,$$ where $F$ is the Fourier transform. Which is the $n-$dimensional analogous ...
3
votes
2answers
155 views

Identity involving partial sums of Fourier series

Suppose $f$ is a continuous periodic function and $S_Nf(x) = \sum^N_{n=−N} \hat f(n) e^{inx}$, where $$\hat f(n)= \frac{1}{2\pi}\int_0^{2\pi}f(x)e^{-inx} dx.$$ How can I show that ...
3
votes
1answer
623 views

Prove partial derivatives of uniformly convergent harmonic functions converge to the partial derivative of the limit of the sequence.

I think the title says it all. If you have a sequence of harmonic functions from a bounded complex domain to the real numbers, show that on a subset at a positive distance from the boundary of the ...
3
votes
2answers
320 views

non tangential maximal function and Hardy-Littlewood maximal function

I'm studying harmonic analysis and found that we can bound non-tangential maximal function by Hardy-Littlewood maximal function. Most books don't give the proof of it. How can I see that? Is there a ...
3
votes
1answer
359 views

Decaying Fourier transform and smoothness

Suppose that $f\in L^1 (\mathbb{R})$ and that for any $n\in \mathbb{N}$ there is $C_n > 0$ such that its Fourier transform satisfies $$ |\hat{f}(\xi )| \le C_n(1+|\xi |^2)^{-n}. $$ I want to show ...
3
votes
3answers
280 views

What is a “domain” in the maximum-minimum principle?

The maximum-minimum principle says that A harmonic function on a domain cannot attain its maximum or its minimum unless it is constant. Here is my question: If we restrict our attention in ...
3
votes
1answer
27 views

What is duality argument for the operator on $L^p-$ spaces?

Suppose that the operator $T: L^{p}(\mathbb R) \to L^{p}(\mathbb R)$ (say for instance, some nice convolution operator) is bounded for $1\leq p \leq 2.$ At various, places we see that (for ...
3
votes
2answers
73 views

Estimate of a Fourier Multiplier Operator

Let $m_t (\xi) = \cos (2\pi |\xi| t).$ Define the operators, for $t>0,$ $$ T_t f = ( m_t \widehat{f} )^{\vee}.$$ It is asked to prove that, whenever $f$ is sufficiently regular, $$ \| T_t ...
3
votes
1answer
48 views

The decay conditions of the Poisson summation formula

The Poisson summation formula states that for a function $f$ satisfying $$ |f(x)|\leq A(1+|x|)^{-n-\delta},~|\hat{f}(\xi)|\leq A(1+|\xi|)^{-n-\delta} $$ for $\delta>0,$ then the equality $$ ...
3
votes
1answer
62 views

Maximal Function Estimate

Suppose $\psi$ is a rapidly decreasing function; i.e. for all $N>0$ there exists a constant $C_{N}$ such that $\left|\psi(x)\right|\leq C_{N}(1+\left|x\right|)^{-N}$. Define a family of functions ...
3
votes
1answer
142 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 ...
3
votes
1answer
56 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 ...
3
votes
1answer
72 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 ...
3
votes
1answer
87 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 ...
3
votes
2answers
170 views

Fourier-restriction on Hyperplane

In Muscalu, Schlag "Classical and multilinear harmonic analysis, Volume 1" (2013), Excercise 11.1 is to prove, basically, that there exists a function $f\in L^p \quad \forall\ p>1$ such, that the ...
3
votes
1answer
397 views

Harmonic analysis in number theory

When I was reading Folland's A course in abstract harmonic analysis, I was told these materials have wonderful applications to number theory. However, I do not see really a lot of examples there. Can ...
3
votes
1answer
71 views

Are the continuous functions on $G$ dense in $L^{1}(G)$?

If $G$ is a locally compact group, is the set $C_{c}(G)$ of all continuous functions on $G$ with compact support dense in $L^{1}(G)$?
3
votes
1answer
442 views

Fourier transform of a special Schwartz function

In Classical Fourier Analysis by Loukas Grafakos we have in Proposition 2.3.25 the following definition for $\mathcal{S}_\infty(\mathbf{R}^n)$, namely that these are all the Schwartz functions $\phi$ ...
3
votes
1answer
27 views

What the expression of a one-dimensional representation of $H$

Let $G= \{ g=(x,y,t); \quad x,y,t \in \mathbb R\}$ be the Heisenberg group and $H= \{ g=(x,y,t) \in G; \quad x=0\}= \{ h=(0,y,t); \quad y,t \in \mathbb R\}$ be a subgroup of $G$. I want to know why ...
3
votes
1answer
30 views

$L^2$ norm for difference of translation of disjoint interval

I just need some hint since I've been stuck in this for several hours.. Let $I_1,I_2,\ldots,I_K$ bne disjoint intervals in $[-1/2,1/2)$,and $f(x)=\sum_{j=1}^K\chi_{I_j}$, where $\chi_I(x)$ is the ...
3
votes
1answer
447 views

What does the term “regularity” mean?

When I was an undergraduate, I took a course on regularity theory for nonlinear elliptic systems. This included topics such as the direct method of calculus of variations, mollifiers, integration over ...
3
votes
1answer
43 views

A question from Harmonic Analysis - real variable methods, orthogonality book by Elias Stein.

On page 73, it's written that $-\int_{|r|}^\infty s^{n-1} d_s \Phi(s\xi) = \Psi_\xi(r)$, and beneath that it's written that: $$(*)\int_{-\infty}^\infty \Psi_\xi(r)dr = 2\int_0^\infty r^n d\Phi(r\xi) ...
3
votes
1answer
88 views

Banach algebra with left or right minimal ideal without minimal bi-ideal

Let $A$ be a Banach algebra( or a ring). A left ideal $I$ of $A$ is called a left minimal ideal, if $I\neq\{0\}$ and there is no any other non-zero left ideal of $A$ completely lies in $I$. With a ...
3
votes
1answer
106 views

Fourier Uniqueness Theorem: Proof?

I need this as lemma. Given the Borel space $\mathcal{B}(\mathbb{R})$. Consider a complex measure: $$\mu:\mathcal{B}(\mathbb{R})\to\mathbb{C}$$ Then one has: ...
3
votes
1answer
124 views

$L^{p}$ Boundedness of Fourier Multiplier without Littlewood-Paley

Suppose $\zeta\in\mathcal{S}(\mathbb{R}^{n})$ is a Schwartz function such that $\widehat{\zeta}$ is compactly supported away from the origin (say in the annulus ...
3
votes
1answer
52 views

Riesz projection as a Cauchy-type integral

Let \begin{equation*} f(\zeta)=\sum_{k\in\mathbb{Z}}\widehat{f}(k)\zeta^k \end{equation*} be a complex-valued function on unit circle $\mathbb{T}=\{ \zeta\in\mathbb{C}:|\zeta|=1\},$ where ...
3
votes
1answer
147 views

Pontryagin dual of the unit circle

Define the unit circle as $\frac{\mathbb{R}}{2\pi\mathbb{Z}}.$ I know the Pontryagin dual (looking at properties of the Fourier transform on locally compact Abelian groups) is $\mathbb{Z}$ but why? ...
3
votes
1answer
65 views

Arveson spectrum for a unitary representation of a group on a Hilbert space

Let $G = \mathbb{R}$. By Stone's theorem, $U(t)\in\mathcal{B}(\mathcal{H})$ is generated by a self-adjoint operator $H$ (for which there is a resolution of the identity P(p), by the spectral theorem) ...
3
votes
2answers
225 views

A question from Stein's Harmonic Analysis - real variable methods' book.

In the book of Stein, on page 9: "Let us remark that these additional properties easily lead to the following conclusions among others. First note that $\mu (B) >0$ for any ball $B$, which is a ...
3
votes
1answer
61 views

Does there exist a non-negative valued compactly supported function such that its Fourier transform only vanishes at a given point?

My question is as follows: Given $t_0\in\mathbb{R}$. Does there exist a non-negative valued compactly supported function $f\in L^1(\mathbb{R})$ such that its Fourier transform, $\widehat f\left( t ...
3
votes
1answer
45 views

Trigonometric polynomials on non-compact and non-abelian groups

Hewitt and Ross define trigonometric polynomial on a locally compact group $G$ as a linear combination of matrix elements of continuous unitary irreducible representations of $G$: $$ f(t)=\sum_{i=1}^n ...
3
votes
1answer
113 views

The Neumann Problem on a Half-space when dimension is $2$

Take $\Omega:=\{x=(x_1,x_2):\,-\infty<x_1<\infty,\,x_2>0\}$, i.e., the half-space, and I am interested in the Neumann problem \begin{cases} \Delta u=0&x\in \Omega\\ ...