# Tagged Questions

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, Littlewood-...

9k 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 ...
637 views

### Prove or disprove a claim related to $L^p$ space

The following question is just a toy model: Let $f:[0,1] \rightarrow \mathbb{R}$ be Lebesgue integrable, and suppose that for any $0\le a<b \le1$, $$\int_a^b |f(x)|dx \le \sqrt{b-a}$$ then prove ...
352 views

### If $f$ is a smooth real valued function on real line such that $f'(0)=1$ and $|f^{(n)} (x)|$ is uniformly bounded by $1$ , then $f(x)=\sin x$?

Let $f : \mathbb R \to \mathbb R$ be a smooth ( infinitely differentiable everywhere ) function such that $f '(0)=1$ and $|f^{(n)} (x)| \le 1 , \forall x \in \mathbb R , \forall n \ge 0$ ( as usual ...
823 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 ...
310 views

### A property of exponential of operators

Let $X$ be a Banach space. $A\in B(X)$ is a bounded operator. we can define $e^{tA}$ by $$e^{tA}=\sum_{k=0}^{+\infty}\frac{t^kA^k}{k!}$$ I am interested in this property: If $x\in X$, such that the ...
812 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 ...
1k 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, ...
2k views

### learning algebra and harmonic analysis

I've revised my question a bit in response to the (very helpful) advice so far-- I have an engineering background but am interested in learning abstract harmonic analysis. My interest is rather ...
8k 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$$ ...
842 views

### Are Fourier Analysis and Harmonic Analysis the same subject?

Are Fourier Analysis and Harmonic Analysis the same subject? I believe that they are not the same. Maybe there is big difference between those subjects but I need to know what is the main difference ...
541 views

1k views

### How to show convolution of an $L^p$ function and a Schwartz function is a Schwartz function

We have the Schwartz space $\mathcal{S}$ of $C^\infty(\mathbb{R^n})$ functions $h$ such that $(1+|x|^m)|\partial^\alpha h(x)|$ is bounded for all $m \in \mathbb{N_0}$ and all multi-indices $\alpha$. ...
1k 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)$. ...
491 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 ...
185 views

### average of maximal function is less than its infimum?

Let M be the dyadic Hardy-Littlewood maximal operator. Prove the following: there is a constant $C$ such that for any $f$, $$\inf_{x\in I}Mf(x)\le C 2^k\inf_{x\in J} Mf(x)$$ where $I$ and $J$ are ...
426 views

### norm of a singular integral operator

My question is from Harmonic Analysis, about the study of singular kernels (in the Calderon Zygmund sense.) Suppose that a kernel $K$ is a singular kernel, extending to a bounded operator on $L^p$, ...
2k views

210 views

149 views

### Is every Hilbert space a Banach algebra?

Let $H$ be a Hilbert space. Could we say that, always there is a multiplication on $H$, that makes it into a Banach algebra? If not, under which conditions does it exist?
1k views

### Hardy–Littlewood-Sobolev inequality without Marcinkiewicz interpolation?

Here is the statement of the Hardy–Littlewood–Sobolev theorem. Let $0< \alpha< n$, $1 < p < q < \infty$ and $\frac{1}{q}=\frac{1}{p}-\frac{\alpha}{n}$. Then:  \left \| \int_{\mathbb{...
864 views

### Besov spaces---concrete description of spatial inhomogeneity

Some very pedestrian questions about Besov spaces. Just to fix notation: 1.Let $f \in \mathcal{S}'$, the space of tempered distributions. 2.$\Psi, \{ \Phi_n \}_{n \geq 0} \subset \mathcal{S}$ such ...
565 views

### Good book on topological group theory?

I'm looking for a good introduction to the theory of locally compact groups and their representations. It may assume the reader to be familiar with basic group theory, topology and measure theory.
187 views

### Is there a “unifying framework” for harmonic analysis?

Recently, I was exposed to a basic harmonic analysis course. Although the course is almost over, I still can't put my finger on what harmonic analysis is about. I have a vague idea that it is ...
157 views

### Prove that $\operatorname{p.v.}(k\;*f)$ does not exist if $k(x)=|x|^{-n+i\gamma}$ and $f\in\mathcal{C}_c^1$

I put a bounty only because I need quickly a solution, NOT because I know it's difficult - maybe it is, maybe not. I'm trying to do it, but without results. If I get some "intermediate result" (...
### Complete example of haar measure on compact groups like $GL(n,R)$
I am currently reading the proof of existence of haar measure, but I learn better mostly by examples so I would like examples of explicit computation of haar measure mainly on any $Gl(n,R)$ or any lie ...