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, Littlewood-...

learn more… | top users | synonyms

2
votes
0answers
34 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 $\...
6
votes
2answers
223 views

What's a good primer from linear algebra to spherical harmonics?

I need a topic, a primer, that will be able to introduce me to spherical harmonics and how to translate and use them with the usual tools of linear algebra and calculus, namely matrices, polynomials ...
2
votes
0answers
2k 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
224 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 \...
2
votes
0answers
82 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
142 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 $$\Theta_{t,f}(t)=\Phi(t)=\...
1
vote
1answer
109 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)} \frac{1}{|B(x,R)|...
1
vote
1answer
125 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
26 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
126 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
53 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
27 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 ...
3
votes
1answer
73 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 \,dx\Big)^\frac{1}{p}\...
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$ ...
0
votes
0answers
88 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 ...
1
vote
1answer
74 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}$?
4
votes
1answer
57 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} \...
2
votes
1answer
141 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$ ...
3
votes
1answer
112 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
1answer
151 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
64 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 ...
2
votes
1answer
99 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
1answer
89 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)= ...
2
votes
0answers
84 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
69 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
107 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, |y-x|<...
2
votes
1answer
46 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) > \alpha\...
2
votes
0answers
75 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
109 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 \Omega)$, ...
2
votes
0answers
48 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} \|f-P\|_2=\|f-S_Nf\|_2=\left(\sum_{|k|>n}|\widehat{f}(k)|^2\right)^...
0
votes
2answers
49 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 $\dfrac{...
2
votes
0answers
73 views

Convergence of Fourier series in Sobolev space

So the problem is if $f\in H^{\frac{1}{2}}([0,1])\cap C([0,1])$, then $S_Nf$, the partial sum of fourier series converges uniformly to $f$. How would you show this by considering the quantity $|S_Nf-\...
4
votes
1answer
93 views

Help with biharmonic functions

I tried to use using Green's formula to prove $\triangle u=0$. But it turned out to be wrong because $u=0$ doesn't imply $\triangle u=0$ on the boundary. I am a novice in graduate pde, so I didn't ...
0
votes
1answer
64 views

Local barrier implies barrier?

there. This is part of the textbook of Gibarg's PDE: My question is that how to verify the part in red? How to know $\overline w$ is continous in $\overline \Omega$? Thanks so much! Your help ...
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 $u=...
4
votes
1answer
55 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) = \begin{...
2
votes
2answers
75 views

If $f \in L^2(\mathbb T)$ then $S_n(f) \to f$ in $L^2$ sense.

Theorem: If $f \in L^2(\mathbb T)$, then $S_n(f) \to f$ in $L^2(\mathbb T)$ sense. Proof: Let $f \in L^2(\mathbb T)$, then by definition $\|f\|_2^2 = \frac{1}{2\pi} \int_0^{2\pi} \vert f(x) \vert^2 \,...
2
votes
1answer
61 views

Find a harmonic function on two concentric balls?

My attempt: I thought about using Poisson Integral formula since the area is two concentric balls. Then I get something like the following: $u(x)=\frac{1}{nw_nR}\int_{\partial B_R(p)}(\frac{R^2-x^2}{|...
0
votes
1answer
49 views

Harmonic functions that uniformly convergent?

Let $u_k$ be continuous on $\overline\Omega$, $u_k$ harmonic in $\Omega$. Suppose $u_k|\partial\Omega$ converge uniformly. Then $u_k$ converge uniformly in $\Omega$. The hint is using Maximum ...
5
votes
1answer
133 views

Norm of Hardy-Littlewood maximal operator

We define Hardy-Littlewood maximal operator $M$ by \begin{equation} Mf(x)=\sup_{r>0} \frac{1}{|B(x,r)|} \int_{B(x,r)} |f(y)| dy \end{equation} where $B(x,r)$ denotes the ball centered at $x \in \...
2
votes
1answer
348 views

Proof of reflection principle for harmonic functions

My attempt: Hi, there! I have known how to prove the above statement when $u\in C^2(U)$, however, I have question about proving the above statement. Because it is $u\in C^2(U^{+}) \cap C(\overline{ U^...
2
votes
0answers
73 views

Fourier transform of $f(z)=z^n$ on the unit disk in the complex plane

What is the Fourier transform of the function $f(z)=z^n$, $|z|<1$, and $f(z)=0$ if $z$ is outside of the unit disk.
1
vote
1answer
128 views

integration concerning Fourier transform of homogeneous kernel(of degree 0)

Let $m\in C^\infty(\mathbb{R}^d-\{0\})$ be homogeneous of degree zero and has mean zero on the sphere$(S^{d-1})$. Then $m$ defines a tempered distribution and $\partial_j^dm\in S'(\mathbb{R}^d)$ is ...
0
votes
0answers
33 views

Locally Compact Groups - Reference Request

I start reading an article about locally compact groups $G$ and the group algebra $L^1(G)$,and I need a good book to introduce myself to these concepts. Can you help please? Thanx
0
votes
1answer
68 views

How to use second derivative test?

I read a proof in my book on pde which I find a bit strange. Let $\Omega$ be some bounded domain. For $f\in\mathscr C^2(\Omega)\cap\mathscr C^0(\Omega)$ satisfying $\Delta f\geq0$ it holds that $\max_\...
2
votes
1answer
60 views

When does the Fourier algebra coincide with the Fourier-Stieltjes algebra?

For a given locally compact group $G$ the Fourier-Stieltjes algebra $B(G)$ is defined as the algebra of matrix coefficients of unitary representations $\pi:G\to B(H)$. Similarly, the Fourier algebra $...
2
votes
0answers
66 views

Convergence of Fourier series in $L^\infty$

So if $f\in L^1(\mathbb{T})$ and $S_Nf\rightarrow f$ in $L^\infty(\mathbb{T})$ ($S_Nf$ is the partial sum of the fourier series of $f$), then $f$ is continuous. How do we show that this is true? In ...
2
votes
1answer
42 views

Estimating the rate of convergence of $|S_Nf-f|$ given that $\|f\|_{H^s}\leq 1$

Given that the Soloblev space norm $$\|f\|_{H^s}^2=|\widehat{f}(0)|^2+\sum_{n\in\mathbb{Z}}|n|^{2s}|\widehat{f}(n)|^2.$$ and the inequality $$\|f(\cdot +\theta)-f\|_{L^2}\leq 2\pi \|f\|_{H^s}|\theta|^...
2
votes
1answer
70 views

Estimating the modulus of continuity of translation in $L^2$ by a Sobolev norm of the function

For any $s\in \mathbb{R}$ define the Hilbert space $H^s(\mathbb{T})$ by means of norm $$\|f\|^2_{H^s}=|\widehat{f}(0)|^2+\sum_{n\in\mathbb{Z}}|n|^{2s}|\widehat{f}(n)|^2.$$ Show that for any $0\leq s\...
2
votes
0answers
73 views

Wiener Algebra, absolute convergence of fourier series

So how do you prove if $f, g\in L^2(\mathbb{T})$, then $f*g\in \mathbb{A}(\mathbb{T})$. $\mathbb{T}$ denote $[0,1)$ and $\mathbb{A}(\mathbb{T})$ denote the Wiener algebra such that if $f\in \mathbb{A}(...