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

1
vote
0answers
22 views

Hahn-Banach proof of existence of Haar measure

I'm reading these notes of Terry Tao on the Haar measure (and related topics) on a locally compact Hausdorff group $G$. When he goes through the construction of the Haar measure, he does so by way of ...
4
votes
1answer
55 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 ...
1
vote
0answers
17 views

use of Strichartz estimates

I have been learning(understanding) the Strichartz estimates. My naive Questions: (1) Can you give some ideas, how Strichartz estimates plays role in solving nonlinear dispersive equations(e.g. ...
4
votes
0answers
29 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 ...
3
votes
1answer
52 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$ ...
2
votes
0answers
21 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.
1
vote
1answer
23 views

Showing $f$ is an $L^p$ function if $f$ is "self-convoluted.

If $f$ is $L^2(\mathbb{R})$ and $f=f*f$, show that $f$ is $L^p$ for $2\leq p\leq \infty$.
0
votes
1answer
23 views

Time series closed form similar to harmonic series

I want to find the closed form for the following: $$ S(k, \alpha) = \sum_{t=T-k}^T \frac{\alpha^{-t}}{t} $$ when $\alpha \in (0,1)$. For harmonic series there is an easy way to upperbound: $$ H(k) ...
0
votes
0answers
17 views

Plancherel's theorem variants

How would you prove a variant form of Plancherel theorem: If $(c_n)_{n\in\mathbb{Z}}$ are coefficients and $\sum_{n\in\mathbb{Z}}|c_n|^2<\infty$, then there exists a unique function $g\in L^2(0,1)$ ...
2
votes
2answers
50 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, ...
7
votes
2answers
137 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 \| ...
1
vote
0answers
33 views

Orthonormal system

Let $\varphi\in L^2(\mathbb{R})$, prove that $\{e^{2\pi i m x}\varphi(x)\}$ is an orthonormal system iff $$\sum_{n\in\mathbb{Z}}|\varphi(x-n)|^2=1 \ \ a.e \ x$$ How do you prove this. The hint is ...
1
vote
0answers
23 views

Can a “tangent vector of a discrete group” be extended to a tangent vector of its $C^*$-algebra?

This is related to my recent question in MO. I am sure this is trivial, but I have no intuition here, so my apologies from the very beginning. Let $G$ be a discrete group, $A$ a $C^*$-algebra, and ...
2
votes
0answers
78 views

How to find the Total Harmonic Distortion of a Periodic Signal through MATLAB?

How to find the Total Harmonic Distortion of a Periodic Signal through MATLAB? I just need help in confirming if my way of approach to finding the THD seems valid, I'm new to MATLAB so I'm not quite ...
0
votes
1answer
30 views

Big theta notation of harmonic series

I want to prove that big theta notation of the harmonic series is $\Theta(\log n)$. I want to work with integral to show that. I attempted this: $$\ln(n)=\int^n_1 \frac{dx}x \le \sum _{k=1} ^n ...
0
votes
0answers
16 views

Wavelet Transform of a shift invariant function

I want to calculate the wavelet transform of a shift invariant function. For example Gaussian - $\exp{-\|x-y\|^2_2} $. There is no restriction on the wavelet basis that can be used here. Can anyone ...
0
votes
0answers
17 views

Connections of results in Harmonic analysis in the theory of Transcendental Numbers

Note :This question is proposed 2 years ago in MO , I see it appropriate for stackexhange math, i posted it here as it's unsolved problem and has a connection with Transcendental Numbers , mayeb we ...
0
votes
0answers
20 views

Fourier transform of $\frac{1}{x_1^2+x_2^2+x_3^2}$ [duplicate]

How can I find Fourier transform of $$\frac{1}{x_1^2+x_2^2+x_3^2}?$$
0
votes
0answers
15 views

example of maximal operator that is integrable

We know that there are no nonzero functions $f \in L^1(\mathbb R^n)$ such that $Mf \in L^1(\mathbb R^n)$, where $Mf$ is the Hardy Littlewood maximal function. Can we find a maximal operator that is ...
4
votes
1answer
70 views

Technical question about Strichartz estimate's proof.

I was studying the proof of Strichartz estimates from the book "Semilinear Schrödinger equation" of T. Cazenave. The proof is divided in several steps. Here we can assume ...
1
vote
1answer
28 views

Improvement of weak type inequality for Hardy-Littlewood Maximal inequality

Let $B(x,R)$ denotes the ball in centered at $x\in \mathbb{R}^n$ with radius $R$. The centered Hardy-Littlewood maximal operator $M$ is defined by \begin{equation} Mf(x)=\sup_{B(x,R)} ...
1
vote
1answer
47 views

Harmonic analysis on discrete groups

I am currently confused about the notion of generalized Fourier transforms on discrete groups (I'm only concerned about discrete groups here, not necessarily abelian). On finite discrete groups, I ...
0
votes
1answer
19 views

Hilber transform on [0,1)

Let $\mathbb{T}=[0,1)$ and $H$ be a Hilbert transform on $L^p(\mathbb{T})$ when $2\leq p< \infty$. If $f$ is $L^p$ and $f_n$ is trignometric polynomial such that $f_n\rightarrow f$ in $L^p$ sense. ...
9
votes
1answer
62 views

What are the “right” spaces for the Laplace transform

There are for example several canonical spaces to define the Fourier transform (i.e. Schwartz's space). Is there also a particularly suitable space to define the Laplace transform, so that the Laplace ...
1
vote
1answer
23 views

Hilbert transform on $L^p(\mathbb{T})$

Let $\infty >p\geq 2$, then for $f\in L^p(\mathbb{T})$ (here $\mathbb{T}=[0,1)$), show that for any real-valued trigonometric polynomial $f$, we have $H(f^2-(Hf)^2)=2fHf$. The hint is to use the ...
1
vote
0answers
25 views

Looking for a proof involving the Harmonic number [duplicate]

Prove that: $\displaystyle \sum_{k=1}^{\infty} \frac{H_k}{k^q} = (1 + \frac{q}{2})\zeta(q + 1) - \frac{1}{2}\cdot \sum_{n=1}^{q-2}\zeta(k+1)\zeta(q-k)$ It looks tough just to start off with. Any ...
2
votes
0answers
28 views

question about property of $L^p$ Lipschitz space

$f\in L^p$ is said to satisfy $L^p$ Lipschitz condition of order $\alpha$ if there exists $C>0$ such that $\displaystyle|h|^{-\alpha}\Big(\int_{\mathbb{R}^d}|f(x-h)-f(x)|^p ...
3
votes
0answers
42 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$ ...
0
votes
0answers
19 views

Show that the set $\{v_1, v_2\}$ can be completed to an harmonic frame for $\mathbb{C}^2$.

Show that the set $\{v_1=(\frac{1}{2\sqrt{2}},\frac{1}{2\sqrt{2}}),v_2=(\frac{1}{2\sqrt{2}},\frac{1}{4}(1+i))\}$ can be completed to an harmonic frame for $\mathbb{C}^2$. \begin{equation*} ...
0
votes
0answers
86 views

How to construct $\operatorname{End}(V_{\pi})$ using a representation $\pi$

Let $(\pi, V)$ be a representation of the group $G$. To make the setting as general as possible, I will not put any restrictions on $\pi, V$, and $G$ from the beginning. By the very definition, for ...
0
votes
1answer
31 views

Fourier transform of power function

Assume that $$\hat f(x)= (2\pi)^{-n/2} \int_{\mathbb{R}^n} f(y) e^{-i\left<x,y\right>} dy$$ is the Fourier transform of a function $f$. What is $\hat f$ if $f(x)=|x|^{2-n}$?
2
votes
0answers
24 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} ...
1
vote
1answer
78 views

Questions about Fourier Series

I have recently started looking at the topoic of Fourier series. Consider the space of square integrable functions $L_{2}[0,2\pi]$. Where we define the inner product as $(f,g):= \int_{0}^{2\pi}fg dx$ ...
0
votes
1answer
22 views

Equivalence of Schwartz Space Definition

I've come across two definitions for what it means for a function to be in $\mathfrak S$, the Schwartz space. A function $f \in \mathfrak S$ if $f \in C^\infty$ and for all $j, k \geq 0$ integers, ...
0
votes
0answers
22 views

Pattern emerging from expansion of sphere in spherical harmonics

Seeing as one can express any function on the sphere in terms of the spherical harmonics, I am interested in what the sphere itself looks like when expanded. To get a function for the sphere, I use ...
0
votes
1answer
34 views

Definition of Zygmund class

I need help with showing that a function f belongs to the Zygmund class. Only helpful suggestions please, no full solution. I am here to learn for myself. This is work for school (we are allowed to ...
3
votes
1answer
52 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 ...
0
votes
0answers
28 views

Poisson integral with discontinuous $U$

Let $U$ be a piecewise continuous function and bounded for all real numbers. Then define the Poisson Integral for the UHP to be (It can be deduce from the one for the unit circle). ...
1
vote
1answer
41 views

About the Fourier transform of the surface measure of the unit sphere

Let $d\sigma$ denote the surface measure on $\mathbb{S}^{n-1}$. To compute its Fourier transform $$ \hat{d\sigma}(\xi)=\int e^{-i x\cdot \xi}\, d\sigma(x), $$ a standard technique (cfr. Folland's ...
0
votes
0answers
10 views

proof that Linear transformation is isometry

let ∑=set of all continous unitary representation and $ Ψ \in{ ∑}$ $π_Ψ: \frac{L^1(G)}{N_Ψ}→ B ( \oplus H_π) $ is definde by $$π_Ψ(f^0)=\oplus π(f) , π \in{ Ψ},f^0\in{\frac{L^1(G)}{N_Ψ} }$$ ...
0
votes
1answer
42 views

If a function is radial, then its Hardy-Littlewood maximal function is radial as well

I'm looking for a proof of the following statement: $$f\in L(\mathbb R^n)\ \text{ radial } \implies f^* \ \text{ radial}$$ where $f^*$ is the Hardy-Littlewood maximal function defined by: $$f^*(x)= ...
0
votes
0answers
21 views

Questions on Heath-Brown's paper “Kummer’s Conjecture for Cubic Gauss Sums”

On page 21 in Heath-Brown's paper "Kummer’s Conjecture for Cubic Gauss Sums" (http://eprints.maths.ox.ac.uk/158/1/kummer.pdf), a formula says $$\sum_{j\in \mathbb{Z}[\omega]}f(j)=\sum_{k\in ...
1
vote
0answers
37 views

Proving that any continuous homomorphism of $\mathbb{R}/(2\pi\mathbb{Z})$ int0 $T$* is neccesarily an exponential function

This is an exercise form Katznelson's book on Harmonic Analysis, so I want to solve it using his hint. T* here denotes the multiplicative group of units of complex numbers of unit norm. That is to ...
2
votes
1answer
49 views

Why can real variable methods take place of complex variable methods in harmonic analysis' research?

We know that one complex variable methods have been largely used in the early research of (real variable) harmonic analysis. But, as is known to me, there is much difficulty when mathematicians ...
0
votes
1answer
32 views

Hardy-Littlewood maximal operator

Consider the centered Hardy_littlewood maximal operator $$ \mathcal{M}f(x):= \sup_{r>0} \frac{1}{|B(x,r)|} \int_{B(x,r)} |f(y)| \text{d}y $$ and the uncentered $$ Mf(x):= \sup_{r>0, ...
0
votes
0answers
14 views

Assumptions on the Borel measure in Stein's Harmonic Analysis

I am currently reading the proof of Theorem 1 on Page 13 of Stein's Harmonic Analysis which proves that if $f \in L^{1}(\mathbb{R}^{n})$, then for every $\alpha > 0$, $$\mu(\{x: (Mf)(x) > ...
1
vote
0answers
34 views

A Direct Proof of Representation Theorem for Positive Harmonic Functions in the Half Plane?

Does anyone know a direct proof of this representation theorem for non-negative harmonic functions in the half-plane that doesn't appeal to a similar result in the unit disk? Also, does anyone who ...
0
votes
1answer
31 views

Strange thing about Weak Maximum\Minimum Principle?

I feel confused about this problem. I think it is obvious using Weak Maximum\Minimum principles. Since for harmonic functions. If $\Omega$ is bounded and $u\in C^2(\Omega) \cap C^0(\overline ...
2
votes
0answers
40 views

Estimation of trignometric polynomial and Lipschitz estimation

Let $\mathcal{T}_n$ denote the linear space of trigonometric polynomials of degree up to $n$ and $$E_n(f)=\inf_{P\in\mathcal{T}_n} ...
0
votes
2answers
41 views

$\dfrac{1}{||x||}$ not Lebesgue integrable in $\mathbb {R^d}$ on set $E=\{x\in \mathbb {R^d}: ||x||≥1\}$

I am trying to show the following: $\dfrac{1}{||x||}$ not Lebesgue integrable in $\mathbb {R^d}$ on set $E=\{x\in \mathbb {R^d}: ||x||≥1\}$ I tried to use Fubini's theorem and the fact that ...