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

0
votes
0answers
43 views

A question about a proof in Lang's $SL_2(\mathbb{R})$

The following is a lemma in Lang's book $SL_2(\mathbb{R})$. It's the last line of the proof that I don't understand. Let $G=SL_2(\mathbb{R})$ , $E$ a Banach space, and let $\pi$ be an irreducible ...
2
votes
1answer
22 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 ...
1
vote
0answers
14 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) = ...
2
votes
2answers
45 views

Proving bounds of a harmonic series

Let $p>1$. Prove that the series: $\sum_{n=1}^\infty \frac {(-1)^{n+1}}{n^p}$ is between $\frac {1}{2}$ and 1. Any help is appreciated. Just a challenge problem I was presented and curious on ...
3
votes
0answers
42 views

Application of Lebesgue differentiation theorem

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 ...
1
vote
1answer
27 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
27 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 ...
1
vote
1answer
38 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 ...
2
votes
1answer
41 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 ...
1
vote
0answers
21 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 = ...
1
vote
1answer
28 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
23 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 ...
3
votes
0answers
45 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 ...
2
votes
0answers
50 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 ...
1
vote
1answer
50 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
74 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
26 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
92 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
36 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
27 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
24 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
29 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 ...
1
vote
0answers
23 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 ...
1
vote
0answers
35 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
19 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
31 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
21 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
21 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
0answers
23 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
38 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
18 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
47 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 ...
2
votes
0answers
56 views

Basic Fourier analysis questions [closed]

Could someone point me in the right direction to prove the following: Let $f \in L^{1}(\mathbb{T})$ and suppose $S_{N}f \to g$ in $L^{p}(\mathbb{T})$ then $\|f-g\|_{L^{1}(\mathbb{T})}=0$, where $1 ...
1
vote
0answers
32 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
42 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
34 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
26 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
34 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
15 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
24 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
52 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
49 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 ...
2
votes
0answers
14 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
115 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
29 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
17 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
35 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|}}] & ...