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

3
votes
0answers
33 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 = ...
2
votes
1answer
33 views

If $\{f_1,f_2,…\}$ a given frame, $T$ a bounded linear, prove that $(Tf,f)=\sum_{n=1}^\infty |(f,f_n)|^2$.

A sequence of distinct vectors $\{f_1,f_2,...\}$ belonging to a separable Hilbert space $H$ is said to be a Frame if there exist positive contants $A$, $B$ such that $$A\|f\|^2\leq\sum_{n=1}^\infty ...
0
votes
1answer
30 views

support of function in topological group

Let $G$ be a compact Hausdorff topological group. Let $U$ be a neighbourhood of the identity $e$, and let $V = U \cap U^{-1}$ where $U^{-1} = \{x^{-1} : x \in U\}$. Apparently there always exists a ...
4
votes
0answers
53 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 ...
3
votes
0answers
62 views

Is $\Delta^{-1}$ a bounded operator?

Is the inverse Laplacian $\Delta^{-1}: H^{m+2}(M)\mapsto H^m(M)|1$ a bounded operator? Where $M$ is a compact manifold and $H^m(M)|1$ means its elements $f \in H^m(M)$ and ...
2
votes
1answer
63 views

Function decomposition in harmonic analysis

In the book "Weighted Norm Inequalities and Related Topics" by José García-Cuerva, J.-L. Rubio de Francia page 144 it was shown that for a measurable function $f$ and $t>0$ $$ |E_t|\leq ...
2
votes
0answers
93 views

Boundedness of a singular integral operator on $L^p(\mathbb{R})$, $1<p<\infty$

My singular integral operator is defined by \begin{align} Sf(x)=-\int_{-\infty}^{\infty}f(t-x) \frac{dt}{2\sinh\frac{\pi}{2}t}, \end{align} that is, a convolution $-\frac{1 }{2\sinh\frac{\pi}2x}\ast ...
0
votes
1answer
28 views

Unitary representation on L_1(G)

If $u$ is a unitary representation of a locally compact group $G$ on a Hilbert Space $\mathcal{H}$ then $\pi_u :L^1(G)\rightarrow \mathcal{B}(\mathcal{H})$ given as $$\langle ...
1
vote
1answer
95 views

How can I prove that $\partial\varphi\neq0$ implies $\bar\partial\partial\varphi>0$?

Let $\Omega\subseteq\Bbb C$ open and $\varphi:\Omega\to\Bbb R$ strongly subharmonic, $\varphi\in\mathcal{C}^2$ such that $\partial\varphi\neq0$. My problem is to prove that ...
1
vote
1answer
39 views

Transpose in $ {SL}(2,\mathbb{R})$

Let $SL(2, \Bbb{R})$ denote the group of special invertible $2\times 2$ matrices over $\mathbb{R}$. As a locally compact group, the Haar measure of $SL(2, \Bbb{R})$ is computable through Iwasawa ...
1
vote
0answers
35 views

Existence of Inverse Laplace Transform

Let $F(s)$ the Laplace transform of a function $f(t)$ . Under which conditions on $f(t)$ there exist a unique $g(t)$ such that $g(t) = \mathcal{L}^{-1}\{e^{- F(s)}\}(t) \quad $ ? ...
0
votes
1answer
25 views

Can the 0 element of the Fourier Algebra be represented as a coefficient function of two non-zero vectors?

Consider an infinite discrete group $G$, and its associated Hilbert space $l^{2}(G)$. For $t\in G$, let $\lambda(t):l^{2}(G)\to l^{2}(G)$ denote the map $[\lambda(t)x](s) = x(t^{-1}s)$. That is, ...
2
votes
0answers
36 views

A proposition to prove the real interpolation of positive exponent

Let $p,A\in(0,\infty)$ $\|f\|_{L^{p,\infty}(X,\mu)} := \sup \{\lambda\mu(\{|f|\geq\lambda\})^{\frac{1}{p}}\}$ Show that the following are equivalent (1) $\|f\|_{L^{p,\infty}(X,\mu)}\leq C_pA$ for ...
2
votes
0answers
27 views

Prove $\hat{f}(\omega)\neq 0$ if $\{f(x-t)\}_{t\in\mathbb{R}}$ is complete

Let $f\in L^1(\mathbb{R})$. s.t $\{f(x-t)\}_{t\in\mathbb{R}}$ is complete. Prove that $\hat{f}(\omega)\neq 0$ for all $\omega\in\mathbb{R}$ Suppose the system is complete for any $g\in ...
2
votes
0answers
39 views

Proving $\mu\ast K_n\to\mu$

Let $\{K_n\}$ be approximating unit and $\mu\in M(\mathbb{T})$. Show that $\mu\ast K_n\to \mu$ weakly means $$\int f(t)d(\mu\ast K_n)(t)\to\int f(t)d\mu(t)$$ Suppose $\mu\in L^1(\mathbb{T})$, I ...
1
vote
2answers
23 views

Proving norms inequality for fourier transforms

Let $F\in PW_\pi$. Prove that $\Vert F^\prime\Vert_{L^2(\mathbb R)}\le\pi\Vert F\Vert_{L^2(\mathbb R)}$ I know that the derivative of $F=\hat{f}$ is given by the formula ...
0
votes
1answer
43 views

Calculate $\mathscr{F}((1+t)^{-3})$

Let $$f(t)=\cases{\frac{1}{(1+t)^3}&t>0\\0&t<0}$$ Does: a.$\hat{f}$ is differentiable? b.$\hat{f}\in L^1(\mathbb{R})$? c.$\hat{f}\in L^2(\mathbb{R})$? Seems like we need to calculate ...
0
votes
0answers
36 views

harmonic function on manifold

Let M be a 2 dimensional manifold. $h:M\rightarrow R$ be a harmonic function from manifold to real line. G is group that act by isometry. $g*h(x)=h(g(x))$. Let $W=\{x|h(x)=t\}$ that is the level set ...
2
votes
0answers
23 views

Proving a sum is finite using Equidistribution

Let $\phi:\mathbb{R\to R}$, be an integrable function with finite integral on $[0,1]$($\int_{[0,1]}\phi(x)dm<\infty$) and $\phi(x)=\phi(x+1)\forall x\in \mathbb{R}$. Prove that ...
0
votes
0answers
25 views

Is each multiplicative linear functional on $L1(SL(2,R):SO(2,R))$ triviall?

We know that if $G=SL(2,R)$ and $H=SO(2,R)$ as a compact subgroup of $G$, then $\{ξ∈\hat{G};ξ|_H=1\}$ is triviall ($\hat{G}$ is the characters group). Can we conclude that each multiplicative linear ...
0
votes
1answer
38 views

Harmonic analogue of the Weierstrass approximation theorem

The Weierstrass approximation theorem says that, given any continuous function $f(x)$ on a closed interval, there is a polynomial which approximates it arbitrarily closely. I'm looking for a theorem ...
1
vote
1answer
39 views

Differential operator that must be a constant multiple of the Laplacian

Can you help me show that if $L$ is a partial differential operator given by $$L=a{{\partial^2}\over{\partial{x^2}}}+b{{\partial^2}\over{\partial{y^2}}}+c{{\partial^2}\over{\partial{x}\partial{y}}}$$ ...
0
votes
0answers
32 views

What are single layer and double layer potentials?

I have never encountered the terms "single layer potential" and "double layer potential" in my (under)graduate studies, although there was a firm development of partial differential equations and some ...
1
vote
0answers
55 views

Gradient curve of a harmonic function

I am reading the paper "Energy of Harmonic function and Gromov proof of Stalling theorem" https://www.math.ucdavis.edu/~kapovich/EPR/energy.pdf I have no clue about the lemma 8.4(i). What is gradient ...
1
vote
0answers
34 views

Group $C^*$-algebra elements as limit of self-adjoint integrable functions

Assume $G$ is a locally compact abelian group and let $C^*(G)$ denote its group $C^*$-algebra. I am reading a proof that uses the 'fact' that some $f\in C^*(G)$ is a limit of self-adjoint functions ...
0
votes
1answer
24 views

How can I prove that $\max_{\partial K}\varphi$ does exist?

Let $\varphi:\Omega\to[-\infty,+\infty[$, where $\Omega\in\Bbb C$ is a domain and $\varphi$ is upper semicontinous, i.e. $\varphi(z_0)\ge\limsup_{z\to z_0}\varphi(z)\;\;\;\forall z_0\in\Omega$. How ...
3
votes
1answer
43 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
1answer
42 views

Does there exist a non-negative valued compactly supported function such that its Fourier transform only vanishes at a given point?

My question is as follows: Given $t_0\in\mathbb{R}$. Does there exist a non-negative valued compactly supported function $f\in L^1(\mathbb{R})$ such that its Fourier transform, $\widehat f\left( t ...
0
votes
0answers
39 views

estimating a convolution type maximal function

Let $\phi : \mathbb{R}^n \rightarrow \mathbb{R}_{+}$ be a $C^1$ function with $supp(\phi) \subset B(0,1)$ and $\int \phi = 1$. Define $$\phi_t(x) := t^{-n} \phi({x/t})$$ and set $$ M_{\phi} f(x) := ...
1
vote
0answers
40 views

Have a question about $L^p$ multiplier.

I'm studying $L^p$ multiplier. While reading the book, it says "The characteristic function of the unit disk is not an $L^p$ multiplier on $\mathbb{R}^n$ when $n\ge2$ unless $p=2$." How can I verify ...
3
votes
0answers
29 views

Trigonometric polynomials on non-compact and non-abelian groups

Hewitt and Ross define trigonometric polynomial on a locally compact group $G$ as a linear combination of matrix elements of continuous unitary irreducible representations of $G$: $$ f(t)=\sum_{i=1}^n ...
0
votes
0answers
18 views

an oscillatory integral with two parameters

Consider $$I(a,b)=\int_{\mathbb{R}}e^{i(ax^2+bx)}\psi(x)\,dx$$ where $\psi$ is smooth and supported in $\{x:|x|\in[1/2,2]\}$. How to control $I(a,b)$ in terms of $a$ and $b$? Moreover, is there an ...
0
votes
0answers
29 views

construction of a partition function

Let $q$ be a large positive integer. How to construct a smooth function $\phi$ with the following properties? i) $\sum_{a\in\mathbb{Z}}\phi(q(x-a/q))=1$ for any $x\in\mathbb{R}$ ii) For any ...
2
votes
0answers
60 views

Integration over ideles over $\Bbb{Q}$ , Tate`s thesis special case

Let $f\in S(A_\Bbb{Q})$ that is $f$ is adelic Schwartz-Bruhat function over $\Bbb{Q}$, such that all its components in the finite places are characteristic functions of the corresponding ring of ...
2
votes
0answers
50 views

Tate thesis : Global functional equation [closed]

It will be very helpful if someone tells me how to do EXERCISE 1 here. I have done part $2$. I cannot do part $1$ and part $3$. I tried part $1$ by decomposing $Z(f,s)$ as the product of its local ...
4
votes
1answer
85 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 ...
1
vote
2answers
142 views

Does band-limited imply continuous?

I was hoping someone could point me to an article or text which explores the connection between the continuity of a signal in the time domain and it being band-limited in frequency domain. (Update) ...
0
votes
1answer
31 views

Calculating derivative of a radial function: am I doing it right?

Let $f: \mathbb R^n \setminus \{0\} \to \mathbb R^n \setminus \{0\}$ be such that $f$ only depends on the distance from the origin, that is, $f=f(r)$ where $r = \sqrt{\sum_{i=1}^n x_i^2}$. I am ...
0
votes
0answers
23 views

“Tube domain over symmetric cone” thesis references?

My professor has told me to read "tube domain over symmetric cone". While saying so he said something related to complexificatin of real Lie algebra and representation theory. What is connection ...
0
votes
2answers
56 views

In the real spherical harmonics, where does the sqrt(2) factor come from?

The real spherical harmonics can be written in terms of the complex spherical harmonics: $$ Y_{\ell m} = \begin{cases} \displaystyle \sqrt{2} \, (-1)^m \, \operatorname{Im}[{Y_\ell^{|m|}}] & ...
2
votes
0answers
56 views

If $-\Delta u=f$ and $f$ is analytic, then $u$ is analytic as well.

I know the theorem that if $-\Delta u=f$ and $f$ is analytic, then $u$ is analytic as well. The book I know that contains the proof of this theorem all use the approach with respect to complex ...
1
vote
1answer
54 views

A problem for laplace operator in Sobolev space

Suppose $u\in L^2(\Omega)$, then for any $\phi\in C_c^\infty(\Omega)$ we have $$ \int_\Omega v\,\phi\,dx=\int_\Omega u\Delta \phi\,dx $$ Then can I conclude that $u\in H_0^1\cap H^2(\Omega)$ and ...
2
votes
2answers
60 views

Limit of bounded harmonic functions is harmonic

I am trying to solve this old qual problem: Suppose $\{u_n\}_{n=1}^\infty$ is a sequence of functions harmonic on an open set $U \subset \mathbb{C}$ and uniformly bounded by 1. Suppose there is a ...
3
votes
1answer
99 views

The regularity of elliptic equation

Define $$ Lu:=-\partial_j(a_{ij}\partial_iu)+b_i\partial_iu+cu $$ where $a_{ij}$, $b_i$, and $c$ are all of $C^\infty(\bar \Omega)$ and we assume $\Omega$ is open bounded in $R^N$, smooth boundary, ...
0
votes
0answers
25 views

Using taylor formula to compute laplace operator

Suppose $u\in C^2(\Omega)$ and $x\in \Omega\subset \mathbb R^N$. I am trying to prove that $$ \Delta u(x)=\lim_{r\to 0} \frac{2N}{r^2} \left[\frac{1}{\alpha(N)} \int_{\partial ...
1
vote
0answers
47 views

Group C*-algebra of an abelian discrete group

Let $A = \mathbb C[G]$ be the group ring of all finitely supported functions $f\colon G \to \mathbb C$ of a discrete abelian group $G$ with the usual convolution product, and involution defined by ...
2
votes
0answers
126 views

Harmonic Analysis on the Affine Group

In my previous question, I asked about harmonic analysis on the group $\operatorname{SL}(3, \mathbb{R})$. The representation theory of this group appears to be quite complicated, so I am now looking ...
2
votes
0answers
101 views

the (2,2,1) boundedness of a “product” operator

This question is from MO: http://mathoverflow.net/questions/191551/the-2-2-1-boundedness-of-a-product-operator It seems easy but turns out very difficult. Let $\{E_j\}_{j\in\mathbb{Z}}$ and ...
3
votes
2answers
63 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 ...
0
votes
0answers
41 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 ...