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
1answer
777 views

properties of a real analytic function

If there are a radius $r>0$ and constants $M,C\in\mathbb R$ for all $y\in U$ with $$|\partial^if(x)|\leq M\cdot i!\cdot C^{|i|}\space\space\space\space \forall x\in\mathbb B_r(y),i\in\mathbb ...
7
votes
1answer
503 views

A net version of dominated convergence?

Let $G$ be a locally compact Hausdorff Abelian topological group. Let $\mu$ be a Haar measure on $G$, i.e. a regular translation invariant measure. Let $f$ be fixed in $\mathcal{L}^1(G, \mu)$. ...
0
votes
0answers
72 views

About regularity of the maximal operator of Hardy-Littlewood

What difficulties arise when you consider the centered maximal operator, such that you can't prove that it maps BV into BV? Does someone have some reference which that maps BV into BV? PS: The ...
2
votes
2answers
593 views

amplitude of sine wave with multiple frequencies

I'm having some troubles determining the amplitude/magnitude of the following equation. $$ A\cos(2\omega t+\beta_1)+B\cos(3\omega t+\beta_2)+C\cos(5\omega t+\beta_3) $$ Since each part is at a ...
1
vote
3answers
691 views

Solution of Laplace's equation in an annulus with constant Dirichlet conditions?

What's the solution to Laplace's equation $\nabla^2V=0 $ in the annulus with centre 0, inner radius 1, and outer radius 2, with boundary conditions $V=0$ on the inner boundary and $V=1$ on the outer ...
0
votes
1answer
155 views

Question from Stein's Singular Integrals and Differentiability Properties of Functions.

My question is in regards of Stein's proof that Hilbert transform is of weak $(1,1)$ property, on page 30 of the textbook I mentioned in my title. On page 32 he writes that because $|\nabla K| \leq B ...
2
votes
0answers
93 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
260 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
217 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
264 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
719 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
285 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
80 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
107 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
111 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 ...
101
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
444 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
215 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
275 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
154 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
335 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
602 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
143 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 ...
12
votes
1answer
554 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
86 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 ...
3
votes
1answer
263 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
284 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
475 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
648 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
87 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
340 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
241 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 ...
2
votes
1answer
186 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$ ...
2
votes
1answer
254 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
601 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
657 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.
12
votes
3answers
759 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
145 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
816 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
421 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
276 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 ...
0
votes
1answer
255 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 ...
4
votes
1answer
559 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
952 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
114 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 ...
9
votes
1answer
4k 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
205 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
119 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 ...