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
2answers
326 views

Shifting a function is continuous

I'm slightly puzzled by the following: if $g(t)$ is a function in $L^q(X)$ then we can show that $g(t-x)$ is continuous function of $t$, i.e. for $\varepsilon > 0$ we can find $\delta$ such that ...
3
votes
2answers
5k views

What is difference between Fourier Transform and Fast Fourier Transform?

If you think about Fourier Transform, in the classical cases, say on the real line, what it is? Just a waded sum. Right? You take a function $f$, and you take it's Fourier Transform at particular ...
3
votes
1answer
196 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
99 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
341 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
89 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
118 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
106 views

Equivalence of Schwartz Space Definition

I've come across two definitions for what it means for a function to be in $\mathfrak S$, the Schwartz space. A function $f \in \mathfrak S$ if $f \in C^\infty$ and for all $j, k \geq 0$ integers, ...
3
votes
1answer
113 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
289 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
448 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
109 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
330 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
117 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
972 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
156 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
636 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
322 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
362 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
30 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
74 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
50 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
149 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
173 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
403 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
445 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
492 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
111 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
153 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
66 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 ...