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

11
votes
0answers
420 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$, ...
9
votes
0answers
87 views

Are Sobolev spaces $W^{k,1}(\mathbb R^d)$ and $H^{k,1}(\mathbb R^d)$ the same?

We consider the following spaces $H^{k,p}(\mathbb R^d)$, $k \geq 1$ is integer, $p \geq 1$ (Bessel potential spaces): $$ H^{k,p}(\mathbb R^d) = \bigl\{ f \in L^p(\mathbb R^d) \colon \mathcal ...
9
votes
0answers
167 views

About the Gibbs phenomenon for the Legendre polynomials as an orthogonal base of $L^2(-1,1)$

In a recent question, I proved that the Fourier-Legendre expansion of the function $f(x)=\text{sign}(x)$ over $(-1,1)$ is given by: $$2\sum_{m\geq ...
7
votes
0answers
87 views

Fredholm integral?

If one exists, find a continuous, bounded function $f: \mathbb{R} \to \mathbb{R}$ which is not identically zero and which satisfies$$0 = \int_0^\infty K(t, s)f(s)\,ds$$for all $t \in \mathbb{R}$, ...
6
votes
0answers
85 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 ...
6
votes
0answers
806 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
94 views

Criterion for Membership in Hardy Space $H^{1}(\mathbb{R}^{n})$

Let $H^{1}(\mathbb{R}^{n})$ denote the real Hardy space (I am agnostic about the choice of characterization). It is known that if $f:\mathbb{R}^{n}\rightarrow\mathbb{C}$ is a compactly supported ...
5
votes
0answers
60 views

Inverse limit of $\Bbb Q/q\Bbb Z$ isomorphic to finite adeles?

Let $\Bbb Q/q\Bbb Z$, for some positive rational $q$, denote the quotient group of the discrete rationals by the subgroup of integers times $q$. For any $q_1, q_2 \in \Bbb Q^+$ and $n \in \Bbb N^+$ ...
5
votes
0answers
55 views

Compactum of Banach algebra

I need an example of Banach algebra $A$ and a left non-trivial closed ideal $I$ with all of following properties: There exists a bounded approximate identity in $I$ for $I$ i.e., a net ...
5
votes
0answers
50 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 ...
5
votes
0answers
149 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
85 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
156 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
118 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 ...
5
votes
0answers
102 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 ...
5
votes
0answers
248 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
31 views

Tensor product of $L^1([0,1],\omega)$ with some Banach space

We know that for any Banach space $E$ if $\hat{\otimes}$ denotes projective tensor product then $L^1([0,1])\hat{\otimes} E$ is isomorphism isometric with $$L^1([0,1],E)=\{f:[0,1]\to E:\ \ ...
4
votes
0answers
67 views

Fractional Sobolev Space Trace Inequality

Let $\phi\in\mathcal{S}(\mathbb{R}^{n})$ be a Schwartz function, such that ${\phi}\equiv 1$ on the unit ball $|\xi|\leq 1$ and $\text{supp}({\phi})\subset B_{2}(0)$. Set $\phi_{0}=\phi$ and ...
4
votes
0answers
61 views

$k[x_1, \dots, x_n]$ is free iff $\mathbb{C}[x_1, \dots, x_n]^G \otimes \text{Harm}(\mathbb{R}^n, G) \to k[x_1, \dots, x_n]$ isomorphism?

For any subgroup $G \subset \text{GL}_n(\mathbb{R})$ the set $\mathbb{C}[x_1, \dots, x_n]^G$, of $G$-invariant polynomials, is a graded subalgebra of $\mathbb{C}[x_1, \dots, x_n]$, resp. the set ...
4
votes
0answers
85 views

Continuous Littlewood-Paley Inequality

I am trying to prove Q13 from Terence Tao's Fourier Analysis notes (number 4): For every $t>0$, let $\psi_{t}:\mathbb{R}^{d}\rightarrow\mathbb{C}$ be a function obeying the estimates ...
4
votes
0answers
59 views

(Exponential) Growth of Operator Norm of Uncentered Maximal Function

Define the uncentered Hardy-Littlewood maximal operator $M$ by $$Mf(x):=\sup_{x\in B}\dfrac{1}{\left|B\right|}\int_{B}\left|f\right|,$$ where we the supremum is taken over all (open) balls $B$ ...
4
votes
0answers
114 views

Functions Satisfying $u,\Delta u\in L^{1}(\mathbb{R}^{n})$

In this paper, the authors assert that ...the domain of realization of the Laplacian in $L^{1}(\mathbb{R}^{n})$ is not contained in $W^{2,1}(\mathbb{R}^{n})$ if $n>1$. However, it is ...
4
votes
0answers
100 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
117 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
52 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 = ...
4
votes
0answers
56 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
76 views

Prove a function is subharmonic?__Gilbarg Exercise

My attempt: By a long time google search I found in a book about how to prove it in the case of harmonic function. Just construct another function $v$ which is harmonic in the $\Omega$, then prove ...
4
votes
0answers
138 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
213 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
138 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
127 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
95 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
169 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
54 views

When $Q(\alpha)=\int_B |f(x) - \alpha| \, dx$ is minimal?

I've been asked to prove (or find a counterexample) that the quantity $$Q(\alpha)=\int_B |f(x) - \alpha| \, dx$$ is always minimal when $\alpha=\bar{\alpha} = \frac{1}{|B|} \int_B f(x) \, dx$ ...
3
votes
0answers
47 views

references for abstract harmonic analysis

I am currently studying a basic course in abstract harmonic analysis. I do have a good background in abstract algebra and functional analysis but I have not done a course in Fourier analysis. Is it ...
3
votes
0answers
37 views

Fourier analysis on groups, and the isomorphism of characters in the “classical” setting

I am reading these lecture notes By Daniel Bump about Character Theory on Abelian Groups. If $G$ is a group, then $G^*$ denotes its characters, the set of homomorphisms $\pi : G \to \mathbb ...
3
votes
0answers
36 views

Wavelet through the lens of Harmonic analysis

I need some references for starting to study about wavelet. I have enough information about abstract Harmonic analysis. Thanks!
3
votes
0answers
29 views

Unital amenable Banach algebras which is a proper two sided ideal in its second dual

I need some examples of "unital amenable Banach algebras which is a proper two sided ideal in its second dual".
3
votes
0answers
39 views

The $p=\infty$ case for an $L^2$ convolution operator on $\mathbb{R}^n$

Let $T$ be a convolution operator on $L^2(\mathbb{R}^n)$, suppose $K$ is a tempered distribution in $\mathbb{R}^n$ that coincides with a locally integrable function on $\mathbb{R}^n\setminus \{0\}$. ...
3
votes
0answers
23 views

What are the modes of vibration of a genus-2 surface?

So it's spherical harmonics for a sphere. The vibrations of a torus presumably are just ordinary string harmonics around each loop. But what are the harmonics on a genus-2 surface (a donut with 2 ...
3
votes
0answers
32 views

Derivation into dense ideal of Banach algebras

Let $A$ be a Banach algebra and $I$ be an ideal of $A$. A derivation $D:A\to I$ is a linear bounded map, with the following property: $$D(ab)=aD(b)+D(a)b,\qquad a,b\in A.$$ Suppose that $I$ is dense ...
3
votes
0answers
28 views

Semiprimitivity of second dual of semiprime Banach algebras

Let $A$ be a Banach algebra. Then $A^*$ is right Banach $A$-module with product $\langle b,f.a\rangle=\langle ab,f\rangle$ for every $a,b\in A, f\in A^*$. Define $\langle a,F*f\rangle=\langle ...
3
votes
0answers
50 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
70 views

Does a Plancherel-style theorem for the Hardy space $\mathcal{H}^2(\mathbb{T})$ exist?

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

Intuition behind the Riesz transform

Define the Riesz transform in singular integral form \begin{equation*} R_jf(x)=\lim_{\epsilon\to 0}\pi^{\frac{-(n+1)}{2}}\Gamma(\frac{n+1}{2})\int_{|y|>\epsilon}\frac{y_jf(x-y)}{|y|^{n+1}}dy. ...
3
votes
0answers
37 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
69 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
172 views

Harmonic Analysis on the Affine Group

In my previous question, I asked about harmonic analysis on the group $\operatorname{SL}(3, \mathbb{R})$. The representation theory of this group appears to be quite complicated, so I am now looking ...
3
votes
0answers
85 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
82 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 ...