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

Uncertainty principle in harmonic analysis

Given a function $f$ (in some suitable (EDIT: nice) function space) supported on a ball $B\subset\mathbb{R}^n$ of radius $R>0$, I have commonly heard people, who understand these things, say stuff ...
3
votes
1answer
117 views

Weak $L^{p}$ spaces are quasi-normed?

Let $(X,\mathcal{B}, \mu)$ be a measure space. Then for $0< p < \infty$ by definition $L^{p,\infty}(X,\mathcal{B}, \mu)$ is the class of all measureable functions $f$ such that ...
3
votes
1answer
287 views

Harmonic function with condition on part of its boundary

Suppose $u$ is harmonic in the interior of the unit square $0 \leq x \leq 1$, $0\leq y\leq1$. Suppose furthermore that $u$ and its first derivatives continuously extend to the bottom side $0\leq x ...
3
votes
1answer
119 views

Necessary and sufficient conditions for $G$ to have $A(G)$ isomorphic to an operator algebra?

Let $G$ be a locally compact group. We denote by $A(G)$ the Fourier algebra of $G$. An operator algebra is a closed subalgebra of $B(H)$ where $H$ is a Hilbert space. What are the necessary and ...
3
votes
1answer
1k views

Properties of subharmonic functions

A function $f$ is called subharmonic if $f:U\rightarrow\mathbb R$ (with $U\subset\mathbb R^n$) is upper semi-continuous and $$\forall\space \mathbb B_r(x)\subset ...
3
votes
1answer
307 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 ...
3
votes
2answers
82 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?$ ...
3
votes
1answer
306 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 ...
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
398 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
33 views

A Fourier Transform Which Is Cartesian Separable

We say that the Fourier transform of a complex-valued function $f\in L^{1}(\mathbb{R}^{n})$ is separable if there exist single-variable functions $g_{1},\ldots,g_{n}$ such that $$g_{1}(\xi_{1})\cdots ...
3
votes
1answer
70 views

An inequality for a maximal function on an $n$-ball.

We have $Mf(x) = \sup_{r>0} \frac{c_n}{r^n} \int_{|y|\le r} |f(x-y)| dy$ the maximal function, where $r^n/c_n$ is the volume of the n-dimensional ball of radius $r$, $|y|\le r$. I want to show ...
3
votes
1answer
37 views

Does there exist a non-negative valued compactly supported function such that its Fourier transform only vanishes at a given point?

My question is as follows: Given $t_0\in\mathbb{R}$. Does there exist a non-negative valued compactly supported function $f\in L^1(\mathbb{R})$ such that its Fourier transform, $\widehat f\left( t ...
3
votes
1answer
87 views

The regularity of elliptic equation

Define $$ Lu:=-\partial_j(a_{ij}\partial_iu)+b_i\partial_iu+cu $$ where $a_{ij}$, $b_i$, and $c$ are all of $C^\infty(\bar \Omega)$ and we assume $\Omega$ is open bounded in $R^N$, smooth boundary, ...
3
votes
1answer
68 views

The Cauchy problem for Laplace equation in unit cube

Here is the question: We are given a laplace equation $\Delta u=0$ in $Q:=(0,1)\times(0,1)$. Q1: What are some conditions you can put on this to get uniqueness/existence? Q2:What if you wanted to ...
3
votes
1answer
65 views

Approximating $L^p$ functions using Schwartz functions with compact support on the Fourier side

For $1\leq p<\infty$, how would you show for any $f\in L^p(\mathbb{R})$ and given $\epsilon>0$, there exists $L<\infty$ and $g\in \mathcal{S}(\mathbb{R})$ such that $\|f-g\|_p<\epsilon$ ...
3
votes
1answer
43 views

Characterization of the Haar measure in terms of the integrals of characters

I was reading a paper and I think that they used the following theorem: Let $G$ compact group and $\mu$ a probability measure on $G$. If $$\hat{\mu}(\xi)= \int_G \overline{\xi(x)} d\mu(x) = ...
3
votes
1answer
34 views

On convergence rate of kernel approximation

Let $\{K_\epsilon\}$ be a sequence of mollifiers, (or often take heat kernels). We have known from classical analysis that if $f$ is uniformly continuous then the error ...
3
votes
1answer
163 views

Help on understanding Schwartz space

Can someone give an example of Schwartz space function that doesn't decay exponentially?
3
votes
1answer
104 views

Research paper in harmonic analysis that can be read in parallel to studying the subject.

In my idle hours I started to learn some math I touched only superficially in academia in former times. Among others I am working through the books of A. Deitmar on harmonic analysis. I've almost ...
3
votes
1answer
144 views

Corollary from Khintchine's inequality

Let $z_1,\dots,z_n\in\mathbb{C}$ and $\epsilon_j\in\{-1,1\}$ for $j=1,\dots,n$ independent random variables with $P(\epsilon_j=\pm 1)=1/2$. Khintchine's inequality states that ...
3
votes
1answer
122 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
164 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
181 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
127 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
771 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
66 views

Lebesgue differentiation theorem for Orlicz spaces

If $f\in L_{p}^{\rm loc}(\mathbb{R}^{n})$ and $1\leq p<\infty$, then a stronger version of Lebesgue differentiation theorem holds: $$\lim\limits_{r\rightarrow ...
3
votes
0answers
47 views

Ideal in Matrix algebra

Let A be a Banach algebra and suppose that $\Lambda$ be a nonempty set. With the following product and norm the matrix space ...
3
votes
0answers
29 views

Trigonometric polynomials on non-compact and non-abelian groups

Hewitt and Ross define trigonometric polynomial on a locally compact group $G$ as a linear combination of matrix elements of continuous unitary irreducible representations of $G$: $$ f(t)=\sum_{i=1}^n ...
3
votes
1answer
70 views

inserting absolute value in Hilbert transform and a discrete version of Hilbert transform

It is well known that the Hilbert transform $H(f)(x)=p.v. \int\frac{f(x-y)}{y}dy$ is bounded on $L^p(\mathbb{R})$ for $p\in(1,\infty)$. I want to consider some variants of $H$. 1) What happens if we ...
3
votes
0answers
56 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
57 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
83 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
66 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
0answers
45 views

Jucys-Murphy elements confusion

I am taking a class called "Harmonic Analysis on Finite Groups" and am studying for an exam. We have recently been talking about the representation theory of the symmetric group (over $\mathbb C$). ...
3
votes
1answer
98 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
1answer
85 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
48 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
63 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
142 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
92 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
1answer
121 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
86 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
78 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
85 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
116 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
256 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
177 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
129 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
61 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 ...