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
120 views

How to compute this distribution?

My question refers to this answer. I was hoping someone could explain in more detail the following reasoning. It remains to observe that $\Delta v$ is the distribution composed of the ...
3
votes
1answer
224 views

On the regularity of the Laplace equations and tensor products and such

To start with, let me apologize for my ignorance as I know next to nothing about partial differential equations. My question is about the tensor product of Banach spaces but actually I do not ...
3
votes
1answer
161 views

Bounds on integral

I am calculating Fourier coefficients for certain functions and have come across an integral of the form $$I=\int_0^{2\pi} \int_0^1 r^2e^{2\pi i r(m\cos\theta+n\sin\theta)}drd\theta,$$ where ...
3
votes
1answer
178 views

Convergence in mean of differentiated Fourier series

Let a function $f: \mathbb{R} \rightarrow \mathbb{R}$ be integrable on $[-\pi,\pi]$ and $2\pi$-periodic. Let $$ \frac{a_0}{2}+\sum\limits_{n=1}^\infty (a_n \cos nx+b_n \sin nx) $$ be the Fourier ...
3
votes
1answer
121 views

Fourier analysis on groups and paths in a Cayley graph

If one takes a cyclic group and a function on this group, and performs harmonic analysis on it (classical Fourier analysis), the result is a set of coefficients, each one of them corresponding to ...
3
votes
1answer
676 views

Proof of the classical div-curl-lemma

let $1 = \frac{1}{p} + \frac{1}{q}$ as usual. Let $f \in L^p, g \in L^q$ be vector fields from $\mathbb R^n$ to itself. Assume $div f = 0$ and there exists a function $G$ s.t. $\nabla G = g$. Then $f ...
3
votes
0answers
42 views

An interesting proof using Green's representation formula?

Let $B_R(0)$ be a ball in $\mathbb R^3 $ and define $$u(x)=\int_{B_R(0)}\frac{1}{|y-x|}dy$$ Prove that $$ u(x) = \begin{cases} \frac{2}{3}\pi(3R^2-|x|^2) & \quad \text{for $0 \le|x|\le R$ ...
3
votes
1answer
52 views

Integrals of compactly supported functions of positive type

Consider a continuous function $f: \mathbb{R} \rightarrow \mathbb{R}$, supported on $[-1,1]$, of positive type. Assume $f(0) = 1$; what is the "largest" area $\int f\,dx$ that can be achieved? To be ...
3
votes
1answer
101 views

Odd form of controlling derivatves

In Muscalu, Schlag - Classical and Multilinear Harmonic Analysis (Cambridge Universitv Press 2013), page 299 there is a rather odd estimate for wich I cannot find any justification: Functions used: ...
3
votes
0answers
58 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 ...
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 ...
3
votes
1answer
87 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
84 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
1answer
78 views

Is Steinhaus theorem ever used in topological groups?

Steinhaus theorem in $\mathbb{R}^d$ says that for $E\subset\mathbb{R}^d$ with positive measure, $E-E:=\{x-y:x,y\in E\}$ contains an open neighborhood of the origin. And for locally compact Hausdorff ...
3
votes
0answers
42 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
60 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
139 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
88 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
706 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
1answer
110 views

Use of the Littlewood-Paley decomposition to recover the $H^s$ norm

Let $\phi\in C^{\infty}_0(\mathbb{R}^n)$ be such that $$\{\lvert \xi\rvert \le 1\} \prec \phi \prec \{\lvert \xi \rvert < 2\}^{[1]} $$ and define the Littlewood-Paley projectors as ...
3
votes
2answers
83 views

Estimating time in harmonic signal

I hope someone can help me with the following problem: Assume a periodic signal of the form $$\begin{align} s(t) &= \sum\limits_{p=1}^P \sin(p\Omega_0t)\\ &= \sum\limits_{p=1}^P ...
3
votes
0answers
66 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
80 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
1answer
103 views

Continuous, integrable fourier transform of an $L^{2}(\mathbb{R})$ function, integrable.

I've come across a number of sources claiming a smoothness-decay duality between a function and its Fourier transform. But most seem to give results about how the smoothness of a function leads to ...
3
votes
0answers
241 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
169 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
150 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
177 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 ...
3
votes
1answer
51 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
2answers
72 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 ...
2
votes
1answer
148 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?
2
votes
2answers
671 views

Bounded linear operators that commute with translation

I'm trying to read Elias Stein's "Singular Integrals" book, and in the beginning of the second chapter, he states two results classifying bounded linear operators that commute (on $L^1$ and $L^2$ ...
2
votes
2answers
121 views

regularity of $d\mu=u dx$

Let $G$ be a abelian, locally compact group with a Haar measure $dx$ on $G$. We know that every Haar measure is inner regular, ie... for any open subset $U$ of $G$, then ...
2
votes
1answer
55 views

Why are function spaces typically defined on open sets?

I never really bothered to ask this question and now it seems silly...but why do we always seem to define function spaces $X(U)$ (e.g. $L^2(U), BV(U)$ for open sets $U\subset\Bbb{R}^n$? What breaks if ...
2
votes
1answer
57 views

When does a left Haar measure on a locally compact group restrict to a left Haar measure on a locally compact subgroup?

Given a locally compact group which is not $\sigma$-compact, there exists a $\sigma$-compact subgroup $H$ of $G$ which is open and closed. A Remark in Folland's, A Course in Abstract Harmonic ...
2
votes
3answers
404 views

Fourier transform of a compactly supported function

In which space does the Fourier transform of a smooth compactly supported function $\phi$ lie? I would not say it lies in $\mathcal{S}$, heuristically as one can approximate the step function which is ...
2
votes
2answers
50 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, ...
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 $ ...
2
votes
1answer
64 views

A question on Harmonic functions.

$f$ and $g$ are two given continuous functions on $\overline {D(0,1)}$) and both $f$, $g:\overline {D(0,1)}\to\Bbb R$ are harmonic on unit disc $D(0,1)$. Now, If $f\equiv g$ on some $C=\{e^{i\theta} ...
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 ...
2
votes
1answer
188 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 ...
2
votes
2answers
137 views

An integral$\frac{1}{2\pi}\int_0^{2\pi}\log|\exp(i\theta)-a|\text{d}\theta=0$ which I can calculate but can't understand it.

I have encountered this integral:$$\frac{1}{2\pi}\int_0^{2\pi}\log|\exp(i\theta)-a|\text{d}\theta=0$$ where $|a|<1$ in proving Jensen's formula. because I am stupid, I don't know why it is equal ...
2
votes
1answer
253 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 ...
2
votes
1answer
731 views

Young's inequality for discrete convolution

Young's inequality for convolution of functions states that for $f\in L^p(\mathbb{R}^d)$ and $g\in L^q(\mathbb{R}^d)$ we have $$\|f\star g\|_r\le\|f\|_p\|g\|_q$$ for $p$, $q$, $r$ satisfying ...
2
votes
1answer
730 views

Hilbert transform of white noise

What is the Hilbert transform of a white noise $\xi(t)$? By the Hilbert transform I mean: http://mathworld.wolfram.com/HilbertTransform.html Thank you.
2
votes
1answer
307 views

Asymptotic error of Fourier series partial sum of sawtooth function

In Iwaniec's book, Topics in Classical Automorphic Forms, pg. 4, he gives the statement: $$\{x\}=\frac{1}{2}-\sum_{n=1}^N\frac{\sin 2\pi nx}{\pi n}+O((1+||x||N)^{-1})$$ where $\{x\}$ denotes the ...
2
votes
1answer
32 views

Help with biharmonic functions

I tried to use using Green's formula to prove $\triangle u=0$. But it turned out to be wrong because $u=0$ doesn't imply $\triangle u=0$ on the boundary. I am a novice in graduate pde, so I didn't ...
2
votes
2answers
89 views

The trace of an operator

My question is derived from A. Deitmar's book: A First Course in Harmonic Analysis (second edition), p22, Exercise 1.17. Let me rewrite it again: Let $k:\mathbb{R}^2 \rightarrow \mathbb{C}$ be smooth ...