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

4
votes
1answer
73 views

Why is boundedness of the ball multiplier equivalent to the convergence of Fourier transform in Lp?

Let $\mathcal{F}$ be the fourier transform operator and let $T_R$ = $\mathcal{F}^* \chi_R\mathcal{F}$ where $\chi_R$ is the indicator function on the ball of radius $R$. Hence $T_R$ is the fourier ...
2
votes
0answers
29 views

Is one dimesional cubic NLS is globally wellposed in $H^{s}(\mathbb R), (0<s<1)$?

We consider the one dimensional cubic nonlinear Shr\"odinger equation (NLS): $$i\partial_{t}\phi (x,t) +\Delta \phi (x,t)= \pm |\phi (x,t)|^{2} \phi(x,t), \ (x, t\in \mathbb R),$$ $$\phi (x,0) = ...
4
votes
0answers
116 views

Lebesgue differentiation theorem for Orlicz spaces

If $f\in L_{p}^{\rm loc}(\mathbb{R}^{n})$ and $1\leq p<\infty$, then a stronger version of Lebesgue differentiation theorem holds: $$\lim\limits_{r\rightarrow ...
2
votes
1answer
32 views

Closedness of set in product topology

Let $A$ be an abelian group and let $\mathbb{T} \subset \mathbb{C}$ be the unit circle. For $a,b \in A$, let $M(a,b) \subset \mathbb{T}^A$ be the set of all functions $f: A \to \mathbb{T}$ such that ...
0
votes
1answer
53 views

Uniform Approximation by Finite Wavelet Sum

Suppose $\psi:\mathbb{R}\rightarrow\mathbb{C}$ is a rapidly decreasing, bounded function with zero integral. For $j,k\in\mathbb{Z}$ define a function $\psi_{jk}(x):=\psi(2^{j}x-k)$. Suppose is the ...
3
votes
2answers
225 views

A question from Stein's Harmonic Analysis - real variable methods' book.

In the book of Stein, on page 9: "Let us remark that these additional properties easily lead to the following conclusions among others. First note that $\mu (B) >0$ for any ball $B$, which is a ...
3
votes
1answer
62 views

Maximal Function Estimate

Suppose $\psi$ is a rapidly decreasing function; i.e. for all $N>0$ there exists a constant $C_{N}$ such that $\left|\psi(x)\right|\leq C_{N}(1+\left|x\right|)^{-N}$. Define a family of functions ...
4
votes
0answers
51 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
38 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
40 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
56 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
69 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
80 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
119 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 ...
1
vote
1answer
38 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
40 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
44 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
27 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
42 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
31 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
43 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
30 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
44 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 ...
2
votes
0answers
32 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
1answer
57 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
46 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
124 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
61 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
37 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
45 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
61 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
1answer
68 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
48 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
1answer
45 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 ...
2
votes
0answers
151 views

What are the sequels to Rudin's Functional Analysis?

Briefly speaking my purpose, I'm looking for the sequels to Rudin's Functional Analysis. How about the following books by Stein? Are there any other nice ones? Harmonic Analysis: Real-Variable ...
2
votes
0answers
70 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
53 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
109 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
216 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
36 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
34 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
116 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
60 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
58 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
124 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
150 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
30 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 ...
2
votes
0answers
87 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
168 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 ...