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

0
votes
0answers
42 views

Finding an example

I am looking for an example to have two distinct decreasing functions $g_1$ and $g_2$ between [0,1], such that their ratio ($\phi=\frac{g_1}{g_2}$) is a periodic function with period one, moreover for ...
3
votes
2answers
124 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 ...
4
votes
1answer
107 views

The Cauchy problem for Laplace equation in unit cube

Here is the question: We are given a laplace equation $\Delta u=0$ in $Q:=(0,1)\times(0,1)$. Q1: What are some conditions you can put on this to get uniqueness/existence? Q2:What if you wanted to ...
1
vote
1answer
79 views

relationship between BMO norm and $L_p$ norm

Are there any relationship between the BMO norm of a function and its $L_p$ norms? For example, one norm is controlled by the other for functions of some special class.
2
votes
1answer
43 views

Decomposition of regular representation

Let $G$ be a compact group. Then there is an isomorphism $L^2(G)\simeq \bigoplus_{\tau\in \hat{G}} V_{\tau}\otimes V_{\tau^*}$ which intertwines the conjugation action of $G\times G$ on $L^2(G)$ $$C(...
5
votes
1answer
209 views

Harmonic Analysis on the real special linear group

I would like to understand the representation theory and generalized Fourier transform of $SL(3, \mathbb{R})$ in as concrete a manner as possible. My ultimate goal is to develop an algorithm that can ...
5
votes
1answer
259 views

The well-posedness of Laplace equation on half-space

In $2$ dimension, take $-\Delta u=0$ on $\{(x,y\},y\geq 0\}$ with $u(x,y=0)=f(x)$, $u_y(x,y=0)=g(x)$ where $f$ and $g$ are smooth function. I want to justify whether this problem is well posed. My ...
3
votes
1answer
117 views

The Neumann Problem on a Half-space when dimension is $2$

Take $\Omega:=\{x=(x_1,x_2):\,-\infty<x_1<\infty,\,x_2>0\}$, i.e., the half-space, and I am interested in the Neumann problem \begin{cases} \Delta u=0&x\in \Omega\\ \partial_2u(x_1,0)=f(...
2
votes
0answers
90 views

Functions over a finite domain that cannot be represented by Fourier series

Given a double Fourier series for some $f:[0,L]\times [0,R]\to \mathbb{R}$ of the following form $$\sum_{k,l=0}^{\infty}a_{kl}\cos\left(\frac{2k\pi x}{L}\right)\cos\left(\frac{ly}{R}\right)+b_{kl}\cos\...
5
votes
1answer
1k views

Neumann problem for Laplace equation on Balls by using Green function

It is well known that for Dirichlet problem for Laplace equation on balls or half-space, we could use the green function to construct a solution based on the boundary data. For instance, one could ...
0
votes
1answer
79 views

Jump discontinuity of a function and its analytic phase

Let $f:\mathbb{R}\to \mathbb{R}$ and $f \in BV(0,1)$ with a jump discontinuity at $x = a\in(0,1)$. Let $f_h$ be its Hilbert transform and let $$f_A(x) = f(x) + i f_h(x)$$ Is it true that the function $...
2
votes
1answer
102 views

A nonlinear Poisson equation problem. (Related to Laplace equation)

Let $\Omega\subset R^N$ be open bounded. Define \begin{cases} \Delta u = f(u) &x\in\Omega\\ u=1 & x\in\partial \Omega \end{cases} Q1: Suppose $f(u)=u^m$ where $m$ is odd. Prove that if there ...
0
votes
1answer
55 views

The tangent hyperplane to the graph of harmonic function

This is an interesting question I found online about Laplace equation. We define a function $u$ :$R^N\to R$'s graph to be the set $\{x,u(x):\,x\in R^N\}\subset R^{N+1}$. Then I want to prove that ...
3
votes
1answer
56 views

Left and Right Discrete Maximal Functions

Define the uncentered maximal function $$\widetilde{M}f(n)=\sup_{s,r\in\mathbb{Z}^{+}}\dfrac{1}{s+r+1}\sum_{k=-r}^{k=s}\left|f(n+k)\right|,$$ where $\mathbb{Z}^{+}=\left\{0,1,2,\ldots\right\}$. Define ...
0
votes
1answer
38 views

Restriction estimates

What is the defining property of what someone in the harmonic analysis community would call a "restriction estimate?" I see sobolev norms, Fourier transforms, and inequalities relating these. The ...
2
votes
0answers
125 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 ...
7
votes
1answer
188 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 ...
2
votes
0answers
68 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. ...
6
votes
0answers
91 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
1answer
87 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$ ...
3
votes
1answer
41 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.
2
votes
1answer
36 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$.
3
votes
2answers
89 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
1k 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 \| \int_{\mathbb{...
0
votes
2answers
68 views

Group with topology which is not topological group

What will example of a group $G$ with topology $\tau$ such that $f: G \to G$ such that $f(x) =x^{-1}$ and $g: G \times G \to G$ such that $g((x,y)) = x * y$ (where $*$ is binary operation on $G$) both ...
1
vote
0answers
47 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 ...
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
227 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
226 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
83 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
143 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
112 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
128 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
128 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 ...
4
votes
1answer
75 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
87 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
75 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
60 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
142 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
115 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
155 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
65 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
104 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
90 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
86 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 ...