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

9
votes
0answers
351 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$, ...
6
votes
0answers
610 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 ...
5
votes
0answers
48 views
+50

Sets of Divergence for Fourier Partial Integals

It is a consequence of Carleson's theorem together with a transference argument that (see Section 4.3.5 in L Grafakos, Classical Fourier Analysis for proof) that the Fourier partial integrals of a ...
5
votes
0answers
55 views

Estimating the (double) Riesz transform.

I'm trying to verify the following estimate, which appears in a paper I'm reading. It seems I'm missing something easy, I just can't figure this out. $\textbf{Background}:$ For a function $f \in ...
5
votes
0answers
143 views

Why is the derivative of the translates of a measure measurable?

Let G be a topological group and X a measure space. Let $G \times X \rightarrow X$ be a measurable group action, $\mu$ a $\sigma$-finite measure on $X$, and $g\mu$ (for any $g \in G$) the measure ...
5
votes
0answers
75 views

An inequality between integrals of series of characteristic functions of cubes

Let $1\leq p<\infty$. Prove that there exists $C>0$ such that $$ \left(\int\left|\sum_{i=1}^\infty a_i\chi_{2Q_i}\right|^p \, dx\right)^{1/p} \leq C\left(\int\left|\sum_{i=1}^\infty ...
5
votes
0answers
116 views

the spectrum and determinant of the Laplacian on $S^3$

I came across the following statement in a paper: On $S^3$, the eigenvalues of the vector Laplacian on divergenceless vector fields is $(\ell + 1)^2$ with degeneracy $2\ell(\ell+2)$ with $\ell ...
5
votes
0answers
104 views

Can we do some scaling argument in the presence of inhomogeneous norms?

Notation: $B^n_R$ stands for the ball of radius $R$ in $\mathbb{R}^n$. $\hat{f}$ stands for the Fourier transform of $f$. Question. The following inequality holds true for all $f\in ...
4
votes
0answers
28 views

Finite dimensionality of some subspace of convolution Banach algebra $L^1(G)$

Let $G$ be a locally compact group (not only compact group) with the left Haar measure $\lambda$. Consider the convolution Banach algebra $L^1(G,\lambda)$. For which $f\in L^1(G,\lambda)$ the ...
4
votes
0answers
94 views

When do closed subspaces of a Banach space fit together nicely?

Let $E$ be a Banach space, and let $F_1, F_2, F_3, ...$ be a sequence of closed subspaces of $E$ with $F_i\cap F_j=0$ whenever $i\neq j$. Denote by $\sum_n F_n$ the (not necessarily closed) subspace ...
4
votes
0answers
85 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 ...
4
votes
0answers
53 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 ...
4
votes
0answers
110 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})$ ...
4
votes
0answers
1k 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. ...
4
votes
0answers
202 views

Computing the modularity function of upper triangular matrices

Put $B_p := \left\{ \begin{pmatrix} a & b \\ 0 & c \end{pmatrix} \in GL_2(Q_p) : a, b, c \in Q_p \right\}$ the subgroup of upper triangular matrices in $GL_2(Q_p)$, $Q_p$ denoting the $p$-adic ...
4
votes
0answers
90 views

multipliers on $H^{1}$

I'm begining to study the hardy space $H^{p}(\mathbb{R}^{n})$. First recall that a $L^{\infty}$ function is called a $H^{1}$ multiplier if the associated operator ...
4
votes
0answers
194 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 \begin{equation*} \beta= \sup\left\{\gamma \leq n : |\hat{\mu}(x)| \leq ...
4
votes
0answers
128 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
120 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 ...
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
0answers
159 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
46 views

Convergence of the integral of a product of functions.

Let $\phi:\mathbb{R^n}\to\mathbb{R}$ be a Lebesgue-measurable function, with the property that for every $n$-dimensional cube $Q$ in $\mathbb{R^n}$, we have $$ \left|\int_{Q}\phi(x)dx ...
3
votes
0answers
27 views

Existence of Fourier Transform for Implicit function

Given an "explicit" function $f:\mathbb{R}^n\to\mathbb{R}^n$, (e.g $F(x_1,\dots x_n)=\cos(x_n)+x_1^2e^{x_2}$) under some assumptions one can allegedly develop a Fourier transform given by ...
3
votes
0answers
36 views

A linear functional of $H^k$

Define $H^k$ as usual: $$H^k=\left\{f; \int (1+|\xi|^2)^k|\widehat{f}(\xi)|^2d\xi<\infty\right\}$$ Define $l(u)=\int (1+|\xi|^2)^k\widehat{u}(\xi)d\xi$, how to show that $l\in (H^k)^*$. I tried ...
3
votes
0answers
33 views

What classical conditions give unique Laplace equation solutions on a half-plane?

Solutions of the Laplace equation on the upper half plane of $\mathbb{R}^{2}$ are not unique: $$ \frac{\partial^{2}}{\partial x^{2}}u+\frac{\partial^{2}}{\partial y^{2}}u = ...
3
votes
0answers
62 views

Is $\Delta^{-1}$ a bounded operator?

Is the inverse Laplacian $\Delta^{-1}: H^{m+2}(M)\mapsto H^m(M)|1$ a bounded operator? Where $M$ is a compact manifold and $H^m(M)|1$ means its elements $f \in H^m(M)$ and ...
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
0answers
29 views

An $f\in H^{1/2}$ with self-convolution, showing it is an $C^1$ function.

If $f\in H^{\frac{1}{2}}(\mathbb{R})$ is a Sobelev 1/2 function that $f=f*f$, then how do you show that $f\in C^1$ with a bounded derivative.
3
votes
0answers
61 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
0answers
40 views

Could characters in harmonic analysis be generalized into $S^2$?

Consider a locally compact abelian (LCA) group $G$. The start of commutative harmonic analysis is the fact that the collection of characters $\chi : G \to S^1$ (thought of as $S^1 = \mathbb{T} ...
3
votes
0answers
69 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
96 views

convolution of $f$ and $g$ is in $L^p$ where $f$ has compact support.

Suppose 1≤p≤∞ and $f∈L^1(G)$ and $g∈L^p(G)$. I know this is true $‖f*g‖_p ≤‖f‖_1 ‖g‖_q$ , Where ∗ is convolution of f and g. I want to prove that If G is not unimodular, we still have g∗f is in LP ...
3
votes
0answers
117 views

Density of a set of functions in Schwartz space

I have a difficulty doing the following problem: Let $S(\mathbb{R}^n)$ be the Schwartz space. I need to determine whether the following set of functions $A$: $$A= \{f\in S(\mathbb{R}^n): ...
3
votes
0answers
55 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
0answers
55 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
69 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
143 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
96 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
85 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
88 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
0answers
130 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 ...
3
votes
0answers
187 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 ...
2
votes
0answers
32 views

Check smoothness at point looking at Fourier transform

Let $u \in \mathscr E'(\mathbb R^n)$ we a distribution with compact support. Then $u \in C^\infty(\mathbb R^n)$ if and only if for any $N \in \mathbb N$ there exists $C_N > 0$ such that $$ ...
2
votes
0answers
41 views

If$f \in L_1 (R)$ so that $xf(x), x \hat{f}(x) \in L_1 (\mathbb R)$, show that $\sum|\hat{f}(n)| \le \infty$ and finally Poisson summation formula

PROBLEM (1)$f \in L_1 (\mathbb R)$ so that $xf(x), x \hat{f}(x) \in L_1 (\mathbb R)$, show that $\sum|\hat{f}(n)| \le \infty$. (2)Also, show that $\sum_{n\in \mathbb Z} f(x-2\pi n)$ converges ...
2
votes
0answers
71 views

An exercise regarding fourier inversion formula

I have to solve an exercise which looks like a more general form of Fourier inversion formula. But, I'm having hard time attacking it... A given function f is integrable on the real line and ...
2
votes
0answers
114 views

Behavior of a Solution to Heat equation Compactly Supported in Time

We say that a function $g\in C^{\infty}(\mathbb{R}^{n})$ is of Gevrey class $G^{\sigma}(\mathbb{R}^{n})$ if for each compact $K\subset\mathbb{R}^{n}$, there exist $C,R>0$ such that $$\sup_{x\in ...
2
votes
0answers
30 views

the convolution of integrable functions is continuous?

I just look through a webpage from "mathoverfolw", on http://mathoverflow.net/questions/136681/the-convolution-of-integrable-functions-is-continuous Let me remark that it is sufficient that one of ...
2
votes
0answers
41 views

Does a Plancherel Style Theorem for the Hardy Space $\mathbb{H}^2$ on the Unit Circle Exist?

I am working on a problem regarding Toeplitz operators, and it involves trying to prove $\mathbb{H}^2$ boundedness of the operator (defined in terms of its Fourier coefficients). Now normally when I ...
2
votes
0answers
44 views

Construct holomorphic function from harmonic function

Let $h$ be a real valued harmonic function on the twice punctured plane $Ω=C$\ {0, 1}. Show that there exist unique real numbers $a_0, a_1$ such that $$u(z)=h(z)−a_0log|z|−a_1log|z−1|$$ is the real ...