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

5
votes
0answers
99 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 ...
1
vote
1answer
301 views

Fourier transform of a function is square integrable

Is there a result stating that if a function $f:\mathbb{R} \rightarrow \mathbb{R}$ is square integrable and decays at infinity, then its Fourier transform is also square integrable?
1
vote
1answer
45 views

$L$ elliptic diff op $\implies$ singsupp$(u)\subseteq$singsupp$(Lu)$ for distributions $u$?

If $L:D'(\mathbb{R}^n)\to D'(\mathbb{R}^n),n\in\mathbb{N}$ is a weakly elliptic, linear differential operator with constant coefficients then for every $\Omega\subseteq\mathbb{R}^n$, and for all $u\in ...
3
votes
1answer
475 views

Prove partial derivatives of uniformly convergent harmonic functions converge to the partial derivative of the limit of the sequence.

I think the title says it all. If you have a sequence of harmonic functions from a bounded complex domain to the real numbers, show that on a subset at a positive distance from the boundary of the ...
1
vote
0answers
27 views

$i^{-k}\pi^{n/2}\Gamma(\frac{k}{2})/\Gamma(\frac{n+k}{2})\approx k^{-n/2}~~(k\rightarrow \infty)$

Here $i$ is complex number, $n$ is positive integer. Show that $$i^{-k}\pi^{n/2}\Gamma(\frac{k}{2})/\Gamma(\frac{n+k}{2})\approx k^{-n/2}~~(k\rightarrow \infty)$$ This question appears from Stein's ...
2
votes
0answers
202 views

Proof of Euler's general formula for a sum involving harmonic numbers [duplicate]

I have seen this formula, but how to prove this? $$2\sum\limits_{k=1}^\infty \frac{H_k}{\left( k+1 \right)^m} =m\zeta \left( m+1 \right)-\sum\limits_{k=1}^{m-2}{\zeta \left( m-k \right)\zeta \left( ...
1
vote
0answers
49 views

Variation on a completeness relation

The completeness relation for the spherical harmonics is: $$\sum_{l=0}^{\infty} \sum_{m=-l}^{l} Y_{lm}^*\left(\theta_1,\phi_1\right)Y_{lm}\left(\theta_2,\phi_2\right) = ...
1
vote
1answer
42 views

A Quadratic Maximum?

What does the following mean? Context: Laplace integrals Consider the integral $$\int_a^b f(t) \exp(x\phi(t))\,\,\,dt$$ where $\phi(t) $ achieves its maximum at some $t=c\in (a,b)$. Assume that ...
1
vote
1answer
234 views

Help proving Calderón reproducing formula (simple version)

Let $\phi$ be a real compactly supported smooth function on $\mathbb R$ with total integral zero. Define $\phi_t=\frac{1}{t} \phi(\frac{x}{t})$. I also suspect that they must be even, but the notes I ...
4
votes
1answer
192 views

Is the zero set of a non zero real valued harmonic function discrete?

It is a basic fact that the zero set of a non zero holomorphic function defined on a open set $A$ is discrete. By a result in Rudin's textbook on "Real and Complex Analysis", we know that any real ...
0
votes
1answer
39 views

How to calculate HarmonicNumber(x, 1.6)?

I got this solution while using Wolframalpha: $$ (-1.66667 n+1/2-0.133333/n+0.0208/n^3-0.0127573/n^5+O((1/n)^6))/n^1.6+2.28577 $$ Could somebody tell me this solution step-by-step? I need to write ...
4
votes
1answer
550 views

Hardy-Littlewood-Sobolev inequality for $p=1$

Let $\mu $ be a positive Borel measure on $% %TCIMACRO{\U{211d} }% %BeginExpansion \mathbb{R} %EndExpansion ^{d}$ such that $\mu \left( B\left( a,r\right) \right) \leq Cr^{n}$ for some $n\in (0,d]$ ...
6
votes
1answer
343 views

$1/|x|^n$ is not integrable

Let $\mu $ be a positive Borel measure on $% %TCIMACRO{\U{211d} }% %BeginExpansion \mathbb{R} %EndExpansion ^{d}$ such that $\mu \left( B\left( a,r\right) \right) \leq Cr^{n}$ for some $n\in (0,d]$ ...
4
votes
1answer
303 views

Simply connected domain and harmonic function

Let $\Omega$ be a simply connected domain that is properly contained in $\mathbb C$, and $u(x,y)$ is harmonic on the unit disk $\mathbb D $, then there is a funtion $f(z)$, that is one-one and ...
4
votes
2answers
176 views

A question from Stein's book, Singular Integral.

A question from Stein's book, Singular Integral. Let $\left\{ f_{m}\right\} $ be a sequence of integrable function such that $$\int_{% \mathbb{R}^{d}}\left\vert f_{m}\left( y\right) \right\vert dy=1$$ ...
4
votes
1answer
489 views

Laplace equation Dirichlet problem on punctured unit ball.

Let $\Omega = \{ x \in \mathbb{R}^n: 0<|x|<1 \}$ and consider the Dirichlet problem \begin{align} \Delta u &= 0 \\ u(0) &= 1 \\ u &= 0 ~~~\text{if} ~~|x|=1 \end{align} By considering ...
3
votes
2answers
242 views

non tangential maximal function and Hardy-Littlewood maximal function

I'm studying harmonic analysis and found that we can bound non-tangential maximal function by Hardy-Littlewood maximal function. Most books don't give the proof of it. How can I see that? Is there a ...
1
vote
1answer
77 views

Simple Harmonic estimate

I know this is simple, and I see all the pieces of the puzzle are there, but I can't seem to get it. Let $u$ be a solution of $$\Delta u = f \;\;\; x \in B_4 $$ Then if we can bound $$\int_{B_4} ...
2
votes
1answer
416 views

How to evaluate integrals with respect to Lebesgue measure on the unit sphere?

Let $\sigma$ be the "normalized Lebesgue" (Haar, really...) measure on the unit sphere $S=S^{n-1} \subset \mathbb R^n$. That is, $\sigma$ has support $S$, it is uniformly distributed, and $\int_S ...
2
votes
1answer
281 views

Decaying Fourier transform and smoothness

Suppose that $f\in L^1 (\mathbb{R})$ and that for any $n\in \mathbb{N}$ there is $C_n > 0$ such that its Fourier transform satisfies $$ |\hat{f}(\xi )| \le C_n(1+|\xi |^2)^{-n}. $$ I want to show ...
3
votes
1answer
116 views

Continuous, integrable fourier transform of an $L^{2}(\mathbb{R})$ function, integrable.

I've come across a number of sources claiming a smoothness-decay duality between a function and its Fourier transform. But most seem to give results about how the smoothness of a function leads to ...
6
votes
1answer
272 views

Convolution square root of $\delta $

I want to somehow classify the distributional solutions of the equation $$ f \ast f = \delta $$ where $\delta = \delta _0$ is the Dirac delta distribution. Clearly, by Fourier transformation, we ...
1
vote
2answers
115 views

Is this function a subharmonic function?

Does anyone know, is $h\left(z,w\right):=\frac{\left|zw\right|}{\left|z\right|+\left|w\right|}$ for $z$ and $w$ in the unit disk $\mathbb{D}$ of the complex plane a (pluri)subharmonic function? ...
4
votes
1answer
219 views

Dirichlet Problem: Uniqueness of solution

Let $u$ be the solution to a Dirichlet Problem on a bounded open domain $D \subset \Bbb R^n$. Is the uniqueness of $u$ guaranteed by the maximum principle or by the smoothness of the boundary of $D$? ...
4
votes
1answer
138 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 ...
1
vote
1answer
102 views

Dirichlet problem: Obtaining the harmonic measure through Riesz representation theorem

For the Dirichlet problem on a bounded open domain $D \subset \Bbb R^n$ $$ \Delta u=0, \text{ on } D, \\ \left. u\right|_{\partial D}=f \in C\left( \partial D\right). $$ With a fix $x$ in $D$, an ...
1
vote
1answer
140 views

Dirichlet problem: Is the Poisson Integral always a solution?

Let $f$ be continuous on the sufficiently smooth boundary $\partial D$ of a domain $D \subset \Bbb R^n$. Is the Poisson integral of $f$, $$ Pf(x)=\int_{\partial D} f(t) ...
8
votes
1answer
707 views

How to show convolution of an $L^p$ function and a Schwartz function is a Schwartz function

We have the Schwartz space $\mathcal{S}$ of $C^\infty(\mathbb{R^n})$ functions $h$ such that $(1+|x|^m)|\partial^\alpha h(x)|$ is bounded for all $m \in \mathbb{N_0}$ and all multi-indices $\alpha$. ...
2
votes
1answer
56 views

Alternate definitions of $C^{1,\alpha}(S^1)$ and $C^{1,\alpha}(\bar{D})$ maps

My question is about the precise definitition regarding the following: Let $f$ be an orientation-preserving $C^1$ diffeomorphism of the unit circle $S^1$. So $f'(b)$ exists and can be thought as a ...
1
vote
0answers
83 views

Background for Hejhal's "The Selberg Trace Formula for $PSL(2, \mathbb{R})$

I'm trying to learn the Selberg trace formula, but have very little background. I was referred to Dennis Hejhal's The Selberg Trace Formula for $PSL(2, \mathbb{R})$ but just got the book and was ...
3
votes
1answer
287 views

Harmonic function with condition on part of its boundary

Suppose $u$ is harmonic in the interior of the unit square $0 \leq x \leq 1$, $0\leq y\leq1$. Suppose furthermore that $u$ and its first derivatives continuously extend to the bottom side $0\leq x ...
1
vote
0answers
245 views

Find a sequence of function in the Schwartz space $S(\mathbb R)$ which does not converge in $S(\mathbb R)$

Show there exists a sequence $\{f_n\}$ in the Schwartz space $S(\mathbb R)$ with limit $f$ for which $$ \lim \|f_n\|_{u,v} \text{ induced that } f \not\in S(\mathbb R) \text{ for some } u,v. $$ But ...
1
vote
0answers
96 views

Suggestion for a project on Harmonic measure and Fourier analysis

I have a course project on harmonic measure and Fourier analysis. The goal is to give a presentation on a part of harmonic measure theory which relates to Fourier analysis. Harmonic measure is a vast ...
6
votes
1answer
243 views

How does Pontryagin duality fit into the general cohomology theory framework?

Pontryagin duality implies the isomorphic relation of the function space $C(G)$ on a locally compact group $G$ to the function space on it's dual group $\hat G \overset{\sim}{=}\text{Hom}(G,T)$, ...
2
votes
1answer
99 views

Proof for Fourier transform in $L^2$

This question makes me really confused: Let $f$ and $g$ two functions in $L^2$. Show that: $$\int \widehat f\cdot gdx= \int f\cdot\widehat gdx,$$ where $\widehat f$ is the Fourier transform ...
2
votes
1answer
106 views

The various central extensions of $(G\times G)$ by $T$.

Let $G$ be a locally compact abelian group, isomorphic to $G^*$, its Pontryagin Dual. Let $T$ denote the unit circle in $\mathbb{C}$, where continuous morphisms $\chi: G\to T$ are the elements of ...
4
votes
1answer
251 views

Radial limits of harmonic conjugate and Hilbert transform

Let $\mu$ be a real measure on the circle $\mathbf{T}$. Then the function $$f(z)=\int_\mathbf{T} \mathrm{Im}\left(\frac{\zeta+z}{\zeta-z}\right) d\mu(\zeta)$$ is harmonic on the unit disc and its ...
1
vote
2answers
76 views

Estimate on a simple-looking integral arising from harmonic analysis/harmonic extensions

Let $z\in \mathbb{D}, t\in S^1, \beta\in \mathbb{R}$. I was dealing with the following integral arising from some other calculation regarding harmonic extension on $\mathbb{D}$: ...
12
votes
1answer
504 views

Plancherel formula for compact groups from Peter-Weyl Theorem

I'm trying to derive the following Plancherel formula: $$\|f\|^{2}=\sum_{\xi\in\widehat{G}}{\dim(V_{\xi})\|\widehat{f}(\xi)\|^{2}}$$ from the statement of the Peter-Weyl Theorem as given by Terence ...
7
votes
1answer
371 views

Basics of Haar measure

Suppose $G$ is a locally compact group. Then $G$ has a left-invariant measure $dg$, say, which means that $$\int f (hg) dg = \int f(g) fg$$ for any test function integrable on $G$. The ...
3
votes
0answers
256 views

How is study of fractals related to fourier/spectral/harmonic analysis?

In chap. 3 of "Fractal Geometry of Nature" Mandelbrot mentions that "part of the study of fractals is the geometric face of harmonic analysis" (spectral or Fourier, he specifies). But to my dismay ...
0
votes
1answer
50 views

how to prove the convolution formular?

let $\overset{\backsim} {g}(x)=g(-x)$; suppose $u,\phi,\psi$ always make the integral significant,$E_n$ is the n-dimensional euclidean space. Then how to prove ...
2
votes
1answer
74 views

Amenability of finite dimensional norm algebras

Let $(\cal A,\|\cdot\|)$ be a finite dimensional norm algebra (Banach Algebra). Can we say any thing about the amenability of $\cal A$. What if we impose some extra conditions on $\cal A$, say ...
2
votes
1answer
226 views

Maximum principle of harmonic function without mean value formula

Are there any way to prove maximum principle of harmonic functions without the mean value formula? In other words I would like to show $$ \max_{\overline{\Omega}}(f)=\max_{\partial \Omega}(f) $$ for a ...
1
vote
1answer
151 views

If $f$ is a bounded tempered distribution and $g \in L^1$ is then $\int_{\Bbb R^n}(f\ast\tilde\varphi)(x)\tilde g(x)\,dx$ a tempered distribution?

Let $f$ be a bounded tempered distribution, that is, $f\ast\varphi \in L^\infty(\mathbb R^n) $ for every Schwartz function $\varphi$. If $g \in L^1(\mathbb R^n)$, does the following definition define ...
4
votes
1answer
239 views

On the regularity of the Laplace equations and tensor products and such

To start with, let me apologize for my ignorance as I know next to nothing about partial differential equations. My question is about the tensor product of Banach spaces but actually I do not ...
5
votes
1answer
325 views

Harmonic functions on $\mathbf{Z}^2$

Problem 1: Find all functions $f:\mathbf{Z}^2 \to \mathbf{R}$ which are harmonic in the sense that $$f(x,y) = \frac{f(x+1,y) + f(x-1,y) + f(x,y+1) + f(x,y-1)}{4}$$for all $(x,y)\in\mathbf{Z}^2$, ...
4
votes
0answers
202 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 ...
0
votes
1answer
69 views

What is the “spectrum of $L^1(G)$”?

If $G$ is a locally compact abelian group, what does "the spectrum of $L^1(G)$ mean?" This comes from Folland's A Course in Abstract Harmonic Analysis. As I understand it, $L^1(G)$ is the integrable ...
3
votes
1answer
119 views

Necessary and sufficient conditions for $G$ to have $A(G)$ isomorphic to an operator algebra?

Let $G$ be a locally compact group. We denote by $A(G)$ the Fourier algebra of $G$. An operator algebra is a closed subalgebra of $B(H)$ where $H$ is a Hilbert space. What are the necessary and ...