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
0answers
107 views

Different proofs of support theorem for Radon Transform

Let $\mathcal{H}$ be a set of all hyperplanes in $\mathbb{R}^n$. Radon transform of function $f(x) \colon \mathbb{R}^n \to \mathbb{R}$ is defined as function $R[f] \colon \mathcal{H} \to \mathbb{R}$ ...
3
votes
1answer
290 views

Why unitary characters for the dual group in Pontryagin duality if $G$ is not compact?

In harmonic analysis, for any locally compact abelian group, one constructs the dual group as the group of homomorphisms into the unit circle with the compact open topology. In other words, unitary ...
1
vote
0answers
229 views

A function in BMO space

Let $\psi:[0;1]\to\mathbb R$ is a nonnegative measurable function. Let $b_d(x)=1_{B(0,1)}\cdot{\rm sgn}(\sin (\pi d|x|))$, where $d\in\mathbb N$. Here $1_{B(0,1)}$ is the charateristic function of the ...
0
votes
1answer
105 views

Showing this particular function is harmonic

Just a quick question that I hope nobody would mind answering. I'm reading through a page on this book http://books.google.com/books?id=dslVpWam-4QC&pg=PA252#v=onepage&q&f=false, and I'm a ...
3
votes
2answers
272 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 ...
4
votes
2answers
807 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, ...
2
votes
1answer
355 views

Question about support of distributions

I'm reading "Pseudo-differential Operators and the Nash-Moser Theorem" and at the top of on page 8 they write: "Finally, we note that if $u \in C^0(\Omega)$, then the support of $u$ defined above ...
3
votes
2answers
81 views

The integral of a function over $S^1$

Let $S^1=\mathbb R/\mathbb Z,$ I was wondering how to calculate the integral of a function over $S^1$ and why. Like, $\int_{S^1}1 dx=?$ Given an "appropriate" function $f$, what is $\int_{S^1}f(x)dx?$ ...
4
votes
0answers
110 views

Harmonic measure or harmonic kernel

In the theory of discrete-time stochastic processes on a measurable space $(\mathscr X,\mathscr B(\mathscr X))$ one usually starts with a Markov kernel $$ P:\mathscr X\times \mathscr B(\mathscr ...
4
votes
0answers
117 views

Curvatures of contours of solutions of 3d Poisson's equation

Let $f(x,y,z)$ be a complex function in a 3d euclidian space that fulfill the Poisson's equation $$\frac{\partial^2}{\partial x^2} f + \frac{\partial^2}{\partial y^2} f + \frac{\partial^2}{\partial ...
103
votes
5answers
7k views

What do modern-day analysts actually do?

In an abstract algebra class, one learns about groups, rings, and fields, and (perhaps naively) conceives of a modern-day algebraist as someone who studies these sorts of structures. One learns about ...
14
votes
1answer
508 views

Motivation for abstract harmonic analysis

I am reading Folland's A Course in Abstract Harmonic Analysis and find this book extremely exciting. However it seems Folland does not give many examples to illustrate the motivation behind much of ...
1
vote
1answer
249 views

On covering lemma and Calderón–Zygmund decomposition

I am working on something which needs to understand covering lemmas and Calderón–Zygmund decomposition. These type of lemmas are as in the following link ...
3
votes
1answer
290 views

Applications of Young's convolution inequality

Recall that the convolution of two functions is given by $$f*g(y)=\int f(x)g(y-x)dx.$$ The well known inequality known as Young's inequality, say that $$\|f*g\|_r\leq\|f\|_p\cdot\|g\|_q $$ provided ...
1
vote
1answer
162 views

On a duality Fefferman-Stein's inequality

Let $M$ be the Hardy-Littlewood maximal operator. In the book "Weighted norm inequalities and Related Topics" by Rubio de Francia and J. Cuerva, page 150, theorem 2.1.2 states as the following: *For ...
7
votes
3answers
342 views

Nonexistence of a cyclic vector for a representation on $\ell^2(\mathbb{Z})$

Let $S$ be the bilateral shift on $\ell^2(\mathbb{Z})$ and let $T = S + S^*$. I want to show that there is no cyclic vector for the representation of $T$ on $\ell^2(\mathbb{Z})$ i.e. $\forall x\in ...
4
votes
1answer
715 views

Spherical harmonics give all the irreducible representations of $SO(3)$?

It is mentioned in Wiki that the spaces $\mathcal{H}_{k}$ of spherical harmonics of degree $k$ give ALL the irreducible representations of $SO(3)$. Could anyone tell me where can I find the proof? ...
4
votes
1answer
148 views

Product of Sidon sets

Let $G$ be a compact abelian group with dual $\Gamma$. Let $\Lambda \subset \Gamma$ a Sidon set (see the book of Rudin: Fourier Analysis on Groups for the definition). Consider the set ...
13
votes
1answer
611 views

Properties of Haar measure

Let $G$ be a locally compact group (but not discrete) and let $m$ be its left Haar measure. Is it true that $\forall \epsilon$ $\exists$ $C$ such that $C$ is a compact neighborhood of the identity and ...
4
votes
0answers
89 views

Preduals of Banach spaces and in particular of $\text{BMO}(\mathbf R^d)$

In general the predual of a Banach space is not unique. If there are multiple ones must they be isomorphic? More specifically is $H^1(\mathbf R^d)$ the only predual of $\text{BMO}(\mathbf R^d)$ or ...
4
votes
1answer
272 views

Left regular representation of $L^1(G)$ for a locally compact group $G$

Let $G$ be a locally compact group (not discrete) and let $L$ be the left regular representation of $A = L^1(G)$ on itself i.e. $L: A \to \mathcal{B}(A)$ where $L(f): A \to A$, $L(f)(g) = f*g$. I want ...
1
vote
0answers
304 views

Proving the maximum principle for harmonic real valued functions in $\mathbb{R}^n$

Assuming the principle is stated as such: Let $U\subset\mathbb{R}^n$ be a bounded domain and $u$ harmonic in $U$ such that $\sup_{x\in U}u(x)\leq A$ for some $A\in\mathbb{R}$. Then either $\forall ...
13
votes
3answers
494 views

Rate of divergence for the series $\sum |\sin(n\theta) / n|$

In the following we consider the series $$ S(N;\theta)= \sum_{n = 1}^{N} \left| \frac{\sin n\theta}{n} \right| $$ parametrized by $\theta$. It is well known that this series (taking the limit ...
2
votes
1answer
732 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 ...
1
vote
1answer
91 views

Restriction and completion of Haar measure on $\mathbf{R} \times \mathbf{R_d}$ to Borel $\sigma$-algebra

Let's consider the measure space $(G, \mathfrak{M}, \mu)$, where $\mu$ is the Haar measure on topological group $G:=\mathbf{R} \times \mathbf{R_d}$, ($\mathbf{R}$ is the group of reals with the ...
11
votes
1answer
365 views

Stone-Weierstrass implies Fourier expansion

To prove the existence of Fourier expansion, I have to solve the following exercise, which supposedly follows from the Stone-Weierstrass theorem: Let $G$ be a compact abelian topological group ...
8
votes
3answers
264 views

A Van der Corput style inequality for highly oscillatory integrals

Suppose $f$ has at least two continuous derivatives, $f'$ is monotonically increasing, and $f' \geq \lambda$ for some $\lambda > 0$. How might one find the upper bound $|\int_a^b ...
3
votes
1answer
202 views

Surjective endomorphism preserves Haar measure

How to prove the following statement: Let $G$ be a compact topological group and let $m$ be the Haar measure on it. Let $\varphi$ be a continuous endomorphism of $G$ onto $G$, i.e., the map $\varphi$ ...
3
votes
1answer
281 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$ ...
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
1answer
731 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.
13
votes
3answers
862 views

Do discontinuous harmonic functions exist?

A function, $u$, on $\mathbb R^n$ is normally said to be harmonic if $\Delta u=0$, where $\Delta$ is the Laplacian operator $\Delta=\sum_{i=1}^n\frac{\partial^2}{\partial x_i^2}$. So obviously, ...
3
votes
0answers
151 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 ...
7
votes
1answer
964 views

Theorem of Steinhaus

The Steinhaus theorem says that if a set $A \subset \mathbb R^n$ is of positive inner Lebesgue measure then $\operatorname{int}{(A+A)} \neq \emptyset$. Is it true that also ...
6
votes
0answers
491 views

Positive definite function zoo

A positive definite function $\varphi: G \rightarrow \mathbb{C}$ on a group $G$ is a function that arises as a coefficient of a unitary representation of $G$. For a definition and discussion of ...
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 ...
1
vote
1answer
264 views

Transitive group actions and homogeneous spaces

Given a topological group $G$ and a space $X$ with a transitive $G$ action, let $G_x$ be the isotropy group of a point. In Folland "A course in harmonic analysis", there is a statement that $X$ is ...
6
votes
1answer
623 views

Reference request: Fourier and Fourier-Stieltjes algebras

I would like to learn the basic theory of Fourier algebras and Fourier-Stieltjes algebras. In particular, I want to know how these two objects are defined in the case of not necessarily abelian ...
5
votes
1answer
1k views

Lyapunov's Inequality for Weak-Lp Spaces

Let $(X,\mu)$ be a measure space. Suppose that $0 < p_{0} < p < p_{1} < \infty$ and $\frac{1}{p} = \frac{1-\theta}{p_{0}} + \frac{\theta}{p_{1}}$ for some $\theta \in (0,1)$. If $f \in ...
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 ...
5
votes
1answer
133 views

In what locally compact abelian groups does $\mathbb{Q}$ embed densely?

I know that there is classification of local fields, but here is a closely related question: Can the additive group of $\mathbb{Q}$ be a proper dense subgroup of a locally compact abelian group, whose ...
11
votes
1answer
5k views

Criteria for swapping integration and summation order

I have a function (a potential from an electrostatic potential via a Fourier series) in the form of $$V(x, y, z)=\sum_n\sum_m \ a(x, n, m) b(y, n) c(z, m) \int\int f(u, v) d(u,n) e(v,m) du\, dv$$ ...
7
votes
1answer
209 views

Fourier transform of function in $L^{4/3}$

Suppose $f \in L^{4/3}(\mathbb{R}^2)$ and denote its Fourier transform by $\mathscr{F}(f)$. Is it true that the function $g:\mathbb{R}^2 \rightarrow \mathbb{C}$ defined by ...
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 ...
1
vote
1answer
274 views

Hardy-Littlewood maximal function of a Lipschitz function

In a book, it is said that Hardy-Littlewood maximal function of a Lipschitz function is also Lipschitz. How do we prove this? +) For Hardy-Littlewood maximal function, see: ...
1
vote
0answers
182 views

Harmonic measure

could anybody will help me to do this problems: Let $\mathcal D$ be the unit disk a Set $E\subseteq\partial\mathcal D$ has harmonic measure identically $0$ with respect to $\mathcal D$. What can you ...
1
vote
1answer
481 views

Is this a square wave signal?

i have a decomposition of a square wave signal: $$ y = \frac{4h}{\pi}(\sin(x) + \frac{1}{3}\sin(3x) + \frac{1}{5}\sin(5x) + ...) $$ I computed the fundamental wave and 2 harmonic waves: $$ U_{r0} = ...
3
votes
3answers
221 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
134 views

Restricted Direct Products in Koch's Number Theory

On p.353 of Number Theory: Algebraic Numbers and Functions by Helmut Koch, he considers a group $G$ which is the restricted direct product of the locally compact abelian groups $G_i$ with respect to ...
3
votes
1answer
114 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$?