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

4
votes
1answer
120 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 ...
4
votes
2answers
55 views

Explain the geometrical interpretation a pair of harmonic function conjugated each other.

Explain the geometrical interpretation a pair of harmonic function conjugated each other. Could you help me? I am wondering how to draw it but unfortunately my abstract imagination can't cope with ...
4
votes
1answer
65 views

restriction of unitary operator is unitary?

Let $\mathcal{U}: \mathcal{H} \rightarrow \mathcal{H}$ be a unitary operator on a Hilbert space $\mathcal{H}$. If $\mathcal{K}\subset \mathcal{H}$ is a closed subspace such that ...
4
votes
1answer
83 views

question regarding Fourier restriction estimates

Thanks for reading my post. I am trying to prove the following claim: If we have \begin{equation*} \left\|\hat{f}\right\|_{L^q(N_{1/R}(S))}\lesssim R^{\alpha-1/q}\left\|f\right\|_{L^p(B(0,R))} ...
4
votes
1answer
2k 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
1answer
631 views

Example of an unbounded operator

Can somebody give me an easy example of a linear operator which maps $L^1(\mathbb{R}^n)$ to $L^1(\mathbb{R}^n)$ and $L^\infty(\mathbb{R}^n)$ to $L^\infty(\mathbb{R}^n)$ (but not boundedly) but does ...
4
votes
1answer
150 views

Consequences of Pontryagin Duality?

What are some interesting corollaries and consequences of the Pontryagin Duality theorem? My question can be taken as broadly as you'd like, even up to including any philosophy introduced specifically ...
4
votes
1answer
162 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 ...
4
votes
0answers
39 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
60 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
75 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
52 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
80 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 ...
4
votes
0answers
110 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
37 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 ...
4
votes
0answers
99 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
110 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
47 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
55 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
1answer
106 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 ...
4
votes
0answers
73 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
1answer
118 views

Odd form of controlling derivatves

In Muscalu, Schlag - Classical and Multilinear Harmonic Analysis (Cambridge Universitv Press 2013), page 299 there is a rather odd estimate for wich I cannot find any justification: Functions used: ...
4
votes
1answer
141 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 ...
4
votes
1answer
133 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)$ ...
4
votes
1answer
241 views

Taylor expansions of harmonic functions.

Let $D \subset \mathbb{R}^2$ be the unit open disc. Note that any harmonic function on $D$ is real analytic. How can one prove that there exits a constant $C>0$ such that the Taylor expansion of ...
4
votes
0answers
131 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
1answer
82 views

Upper Bound for Operator Norm in Marcinkiewicz Interpolation Theorem

Exercise 1.3.3(c) Let $0<p_0<p<p_1<\infty$ and let $T$ be an operator as in Theorem 1.3.2($\|T(f)\|_{L^{p_0,\infty}(Y)}\leq A_0\|f\|_{L^{p_0}(X)}$ for all $f\in L^{p_0}(X)$ and ...
4
votes
1answer
140 views

Canonical field of Hilbert spaces in Dixmier; Plancherel Theorem

I'm working through the proof of Plancherel's Theorem in $C^{*}$-algebras by Dixmier, section 18.8. For the most part, I'm happy with it, although I have one problem. From Dixmier, I have the proof ...
4
votes
0answers
208 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
1answer
135 views

Fejer kernel applied to a measure

Let $\mu$ be a positive finite measure on $\mathbb R$. Is it true that $$\int_{\mathbb R} T \text{sinc}^2(Tx) d\mu(x) \sim\frac{\mu([-1/T,1/T])}{1/T}, \text{ as } T\to\infty?$$ Here ...
4
votes
0answers
133 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
126 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
93 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
167 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 ...
4
votes
1answer
68 views

How to show the completeness of the space of Fourier transforms $\mathcal{F}L^{1}$?

Consider the space of all Fourier transforms of $L^{1}(\mathbb R),$ that is, $$\mathcal{F}L^{1}=\mathcal{F}L^{1}(\mathbb R):= \{f\in L^{\infty}(\mathbb R):\hat{f}\in L^{1}(\mathbb R)\},$$ with the ...
3
votes
2answers
306 views

Shifting a function is continuous

I'm slightly puzzled by the following: if $g(t)$ is a function in $L^q(X)$ then we can show that $g(t-x)$ is continuous function of $t$, i.e. for $\varepsilon > 0$ we can find $\delta$ such that ...
3
votes
2answers
92 views

Decomposition and harmonic analysis of $L^2(S^n)$

Deitmar and Echterhoff write in their book Principles of Harmonic Analysis that `It follows from the Peter-Weyl theorem that the $SU(2)$ representation on $L^2(S^3)$ is isomorphic to the orthogonal ...
3
votes
2answers
290 views

Which $f \in L^\infty$ are the Fourier transform of a bounded complex measure?

A measure on $\mathbb R$ is a set function $\mu,$ defined for all Borel sets of $\mathbb R,$ which is countably additive(that is, $\mu(E)=\sum \mu(E_{i})$ if $E$ is the union of the countable family ...
3
votes
2answers
227 views

Why isn't the parallel between the Fourier transform and the Laplace transform complete?

I mean the question in the following sense. For Fourier, we can do it on compact intervals and then we get a sequence of coefficients. We can do it continuum-style, and then we get a superposition ...
3
votes
3answers
87 views

Which Hilbert space is isometrically isomorphism with $B(E)$ for some Banach space $E$.

Consider $H$ as a Hilbert space. How can I find a Banach space $E$, for that, $H=B(E)$ where $B(E)$ is the set of bounded linear operator on $E$? (At least under some conditions on $H$) Also if the ...
3
votes
2answers
138 views

What do $a_0$ ,$a_m$ and $b_m$ terms mean in the Fourier series formula?

We know that a Fourier series for signal $x(t)$ is given as $$\frac {a_0} 2 + \sum \limits _{m=1} ^\infty (a_m \cos \frac {2 \pi m t} T + b_m \sin \frac {2 \pi m t} T)$$ So my question is what ...
3
votes
2answers
85 views

Is “being harmonic conjugate” a symmetric relation?

The question is: Prove or disprove the following: If $u,v:\mathbb{R}^2 \to \mathbb{R}$ are functions and $v$ is a harmonic conjugate of $u$, then $u$ is a harmonic conjugate of $v$ (in other words, ...
3
votes
1answer
45 views

Is $\|x\|^6 \sin^6 \|x\|^6$ harmonic?

Suppose the function $$ u(x)=\|x\|^6 \sin^6 \|x\|^6$$ for $x \in \mathbb{R}^d$, where $$\|x\| = \sqrt{x_1^2 + \ldots +x_d^2}.$$ How can I decide if the function $u$ is harmonic in the unit ball ...
3
votes
2answers
104 views

Sublinearity of Hardy-Littlewood Maximal Function on Sobolev Spaces

Define the (centered) Hardy-Littlewood maximal function by $$\mathcal{M}f(x)=\sup_{r>0}\dfrac{1}{m(B(x,r))}\int_{B(x,r)}\left|f(y)\right|dy,\ f\in L_{\mathrm{loc}}^{1}(\mathbb{R}^{d})$$ We say ...
3
votes
1answer
426 views

Nirenberg-Gagliardo- Sobolev inequalities

I need a small help in understanding the following that how "Nirenberg -Gagliardo-Sobolev inequalities" were used. This is a part of the paper. Denote $$ H^1=W^{1, 2}(\Omega)\\ V_1=\{ f\in H^2 ...
3
votes
1answer
107 views

Reference for: $G$ discrete iff the measure algebra $M(G)$ is weakly amenable.

I search the reference for the proof of the following theorem: Let $G$ be a locally compact group. Then the group $G$ is discrete if and only if the measure algebra $M(G)$ is weakly amenable. The ...
3
votes
2answers
317 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 ...
3
votes
1answer
330 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$ ...
3
votes
1answer
142 views

Convolution on noncommutative group algebras

If $G$ is a non-Abelian locally compact group, and $f$ is in $L^1{(G)}$ and $u$ is in $L^{\infty}(G)$, and $f\ast u=0$ can it be concluded that $u\ast f=0$?
3
votes
2answers
96 views

Replicating Kolmogorov's Counterexample for Fourier Series in Context of Fourier Transforms

It is a famous result of Kolmogorov that there exists a (Lebesgue) integrable function on the torus such that the partial sums of Fourier series of $f$ diverge almost everywhere (a.e.). More ...