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

1
vote
1answer
45 views

How do you prove that a function $f \in L^1( \bf R)$ and its Fourier transform cannot simultaneously be very small at infinity?

In a Research Paper it is stated that(Without any proof): It is well known that a function and its Fourier transform cannot simultaneously be very small at infinity? In my First course of ...
9
votes
0answers
87 views

Are Sobolev spaces $W^{k,1}(\mathbb R^d)$ and $H^{k,1}(\mathbb R^d)$ the same?

We consider the following spaces $H^{k,p}(\mathbb R^d)$, $k \geq 1$ is integer, $p \geq 1$ (Bessel potential spaces): $$ H^{k,p}(\mathbb R^d) = \bigl\{ f \in L^p(\mathbb R^d) \colon \mathcal ...
1
vote
1answer
52 views

Prove that the Pontryagin dual of $\mathbb{R}$ is $\mathbb{R}$.

From Wikipedia: the group of real numbers $\mathbb{R}$, is isomorphic to its own dual; the characters on $\mathbb{R}$ are of the form $r \to e^{i\theta r}$. How can I prove this assertion?
4
votes
1answer
44 views

Direct sum decomposition of $L^2(\mathbb{R})$ using Fourier Transform

Let $L_+^2(\mathbb{R})=\{f\in L^2(\mathbb{R}):supp \hat{f}\subset\mathbb{R^+}\}$ and $L_-^2(\mathbb{R})=\{f\in L^2(\mathbb{R}):supp \hat{f}\subset\mathbb{R^-}\}$, where $\hat{f}$ denotes the Fourier ...
0
votes
0answers
42 views

Proof of Howe-Moore Property for SL(n,R)

On page 210 of Howe and Tan's Non-Abelian Harmonic Analysis there is the following proposition and proof: Let $(\rho, V) $ be a unitary representation of $SL(n,\mathbb{R})$. The following are ...
1
vote
1answer
22 views

Coadjoint representation $Ad^*$ of the Heisenberg group

The Heisenberg group $H^3$ is the set $\mathbb C\times \mathbb R$ endowed with the group law $$ (z,t)\cdot(w,s) =\left (z+w, \,t+s+\tfrac{1}{2}\Im m(z \bar{w})\right). $$ For $z=x+ i y \in \mathbb C$ ...
0
votes
0answers
19 views

The $Ad^*$ $G$-Orbits in $\mathcal{g}*$ (for $G$ being the Heisenberg group)

I did not understand why, the $Ad^*$ $G$-Orbits in $\mathcal{g}*$ (for $G$ being the Heisenberg group and $\mathcal{g}*$ is the dual space of its Lie algebra $\mathcal g$) are given by i) The ...
0
votes
1answer
46 views

Bound a complex exponential sum when we can only estimate its argument

Suppose we have a function $f : \mathbb{N_0} \to \mathbb{R}$ for which we can give an estimate of its values, and say its values $f(n)$ are roughly uniformly distributed for $n$ in some range $[1,N]$. ...
0
votes
0answers
16 views

references for basic course in abstract harmonic analysis

I am currently studying a basic course in abstract harmonic analysis. I am really finding difficulty in understanding the concepts of representation of algebras, groups, etc. Moreover, any of the ...
1
vote
1answer
44 views

Example of a linear functional, but not a distribution

I'm looking for an example of a linear functional $u: C_c^\infty(\Omega) \to \mathbb C$ ($\Omega \subset \mathbb R^n$ open), which is not a distribution. I could not find anything... I thought of ...
2
votes
1answer
28 views

Decay property of oscillatory integrals in $\mathbb{R}^n$

We know that an oscillatory integral in $n$ dimensions is an integral of the form \begin{equation*} I(\lambda)=\int_{\mathbb{R}^n}e^{i\lambda\phi(x)}f(x)dx \end{equation*} where $\phi\in C^{\infty}$ ...
1
vote
1answer
36 views

Concluding that if $f\in L^{1}_{\text{loc}}(\mathbb{R}^{n})$ and $\mathcal{M}(f)\in L^{1}(\mathbb{R}^{n})$ then $f=0$ a.e.

Let $\mu$ be a Lebesgue measure, $\mathcal{M}$ be the Hardy-Littlewood Centered Maximal Function, and the rest as in the title. Then to this end I define $f_{R}(x):=f(x)\chi_{|x|\le R}$ where $\chi$ ...
0
votes
0answers
139 views

Folland real analysis 9.11

This comes from question 9.11 of Folland's Real analysis textbook. Unfortunately, I have no idea to how to start with this question. So can some one help me with part $a$? For part $a$, I can not ...
0
votes
0answers
16 views

Is set of adjoint derivations on a Banach algebra to Banach bi-module closed subspace?

Let $A$ be a Banach algebra and $B$ be a Banach space. Then $B$ is called left( resp. right) $A$- module if there is continuous representation(resp. anti-representation) $T : A \to BL(B)$ (Bounded ...
0
votes
0answers
60 views

Fourier transform of a Gaussian

I am trying to solve the following exercize: Show that Fourier transform of a Gaussian (a function of the form $Ae^{-\frac{x^2}{\sigma^2}}$) is also a Gaussian. So I did the required calculation (I ...
2
votes
0answers
15 views

Question on the existence of the limit in S. Petermichl's paper

I have read S.Petermichl's paper Dyadic shifts and a logarithmic estimate for Hankel operators with matrix symbol many days and got trouble in the proof of Lemma 2.1 in this paper. Let us see Lemma ...
0
votes
0answers
10 views

Inverse transform of digamma function

Let $g$ be in $C_c^\infty(\bf R)$, and $h$ its Fourier transform. There is the following equation: \begin{align}\frac{1}{2\pi}\int^\infty_{-\infty}h(r)\frac{\Gamma'}{\Gamma}(1+ir)dr=&-\gamma ...
1
vote
2answers
34 views

Derive mean value property of harmonic function using this method

We can view harmonic function $u(x,y,z)$ as a wave function that does not depend on time $t$. Let $\overline{u}(r)$ be its average value on the circle with radius $r$. Assume we have proved that it ...
0
votes
0answers
42 views

Is this a right calculation of Fourier transform?

I am trying to solve: Calculate Fourier transform (on $-\infty < x < \infty $) of: $$ f(x) = \begin{cases} 1, & -L<x<L \\ 0, & |x|\geq L \end{cases} $$ My ...
0
votes
1answer
56 views

Poisson summation in analytic number theory, an example

I've read a theorem of a course of analytical methods in theory of numbers, and I want to ask to clarify it, since I know this theorem from other context. The theorem is Poisson summation formula (I ...
0
votes
1answer
12 views

Minimal error given when making an approximation of $f(x)$ by sines and cosines

I am studying by myself Fourier analysis and have encountered the following problem: We are trying to approximate a function by a finite sum of sines and cosines with general constant coeficients: ...
1
vote
0answers
11 views

wavlete transform vs (scaled) Gabor transform

I've read about the scaled Gabor transform $$(G_\Psi f)(b,a)(\omega) = \frac{1}{\sqrt{a}} \int_\mathbb{R} f(x)\Psi(\frac{x-b}{a})e^{-i\omega x}dx$$ and the wavlete transform $$(L_\Psi f)(b,a) = ...
2
votes
0answers
35 views

Question while reading “Harmonic analysis as the exploitation of symmetry — a historical survey”: what is the meaning of “identity map”?

I am reading through the following article: Mackey, George W. Harmonic analysis as the exploitation of symmetry—a historical survey. Bull. Amer. Math. Soc. 3 (1980), no. 1, part 1, 543–698 This is a ...
1
vote
0answers
22 views

Prove that the special Hermite functions are eigenfunctions of $R_{x,y}$?

How to prove that the special Hermite functions are eigenfunctions of the rotation operators $$R_{x,y} = x\frac{\partial}{\partial y}- y\frac{\partial}{\partial x}.$$ Where the special Hermite ...
4
votes
2answers
42 views

Example of inverse semigroup with at least two idempotent elements

We say that the semigroup $S$ is inverse semigroup if for any $s\in S$ there is a unique $t\in S$ such that $sts=s,\ tst=t$. Suppose that $E(S)=\{e:\ e\in S,\ e^2=e\}$ and define $$s\sim ...
1
vote
3answers
55 views

Riemann Lebesgue Lemma application? [closed]

Riemann Lebesgue Lemma shows that if $f \in L^1 ( \bf R)$ then the Fourier transform of $f$ goes to $0$. Does this also implies that $f(x) \to 0$ as $\vert x \vert \to \infty$ ?
0
votes
1answer
42 views

Homogeneous distribution

In Wikipedia, it says The Dirac delta function is homogeneous of degree −1, with the following formula: However, I can not understand why the last equality is true. Can someone show me the detailed ...
2
votes
0answers
28 views

Do we have for $\lim_{r\to \infty}\frac{1}{rlog(r)}(\int_0^{2\pi}u(re^{i\theta})d\theta)$ exists for $u$ subharmonic?

Let $u:\mathbb{C}\to \mathbb{R}$ be a subharmonic function. Do we have that the limit $\lim_{r\to \infty}\frac{1}{rlog(r)}(\int_0^{2\pi}u(re^{i\theta})d\theta)$ converges to a (possibly infinite) ...
5
votes
1answer
114 views

Can the real part of an entire function be bounded above by a polynomial?

Let $f:\mathbb{C}\to \mathbb{C}$ be an entire function such that $Re(f)\le |p(z)|$ for some polynomial, can we derive that $f(z)$ is a polynomial. If $p(z)$ is constant, then this can be shown by ...
3
votes
0answers
47 views

references for abstract harmonic analysis

I am currently studying a basic course in abstract harmonic analysis. I do have a good background in abstract algebra and functional analysis but I have not done a course in Fourier analysis. Is it ...
1
vote
0answers
46 views

Strichartz Estimate with Fourier Transform

Let $f$ be a Schwartz function. Prove that, whenever $2\le r < \infty,$ $$\| e^{it \Delta} f\|_{L^{3r}(\mathbb{R}^2_{xt})} \le c \| \widehat{f}\|_{r'},$$ Where $1/r + 1/r' = 1.$ My Attempt My ...
0
votes
0answers
16 views

Some problems about symmetric convolution semigroup on the unit circle

These are problems from Example 1.4.2 of Fukushima's book "Dirichlet forms and symmetric Markov processes". Let $\Lambda$ be the set of all real sequences $\left\{\lambda_n\right\}_{n\in\mathbf{Z}}$ ...
2
votes
0answers
24 views

Multiplier operators on anisotropic weighted $L^2$ spaces

Suppose $\mathcal{M}$ is a multiplier operator on $L^2(\mathbb{R})$, in the sense that, for any $u(x)\in L^2(\mathbb{R})$, $\widehat{\mathcal{M}u}(k)=m(k)\hat{u}(k),$ where the scalar complex function ...
0
votes
1answer
41 views

$L^{p}$ identity for the maximal operator.

This is probably a very easy question, but I'm failing to understand it. Given a function $f \in L^{p}(\mathbb{R}^n)$, $1<p\leq \infty$, we define the uncentered maximal function of $f$ as $$ ...
1
vote
1answer
30 views

Number of copies of irreducible unitary representation in $L^2(G)$ for compact group $G$?

Peter-Weyl Theorem is concerned with expressing $L^2(G)$ as closure of direct sum of subspace generated by irreducible unitary representation. Every irreducible representation on a compact group is ...
2
votes
0answers
36 views

Examples of non unimodular groups

I'm looking for criteria to know if a (lie) group is unimodular, the thing is that I only know one non unimodualr group that arrises naturaly, the affine group ax+b, and their direct generalizations. ...
0
votes
0answers
21 views

Does this transformation(harmonic analysis) exist?

Assuming that there are two disjoint sets(A and B) of high dimensional $N^d$ integers. Each point $V$ can be expressed by a periodic function: $f(t)=v_1*cos(t) + v_2*sin(2t) + ...
0
votes
2answers
25 views

Harmonic Motion - Fourier Approximation What does this mean below?

There is a method to solve systems under harmonic loading, harmonic balance method, which is basically obtaining fourier expansions of unknown response quantities and solving for coefficients of ...
3
votes
2answers
74 views

Estimate of a Fourier Multiplier Operator

Let $m_t (\xi) = \cos (2\pi |\xi| t).$ Define the operators, for $t>0,$ $$ T_t f = ( m_t \widehat{f} )^{\vee}.$$ It is asked to prove that, whenever $f$ is sufficiently regular, $$ \| T_t ...
0
votes
0answers
19 views

Commutator Characterization of $BMO(\mathbb{R})$

Let $a:\mathbb{R}\rightarrow\mathbb{C}$ be a locally integrable function, and let $H$ denote the Hilbert transform. Suppose that the commutator operator $[a,H]$ defined by $[a,H]f:=aH(f)-H(af)$ is ...
0
votes
1answer
12 views

Invariance of noneuclidean laplacian

In a book I'm reading it says: Putting $f(x,y)=F(u,v)$ with $\gamma(x+yi)=u+iv$ and using Cauchy-Riemann equation for $\gamma(z)$, we have $$\Delta f(x,y) ...
1
vote
1answer
38 views

Non-compactness of support of linear KdV equation solution

The last question in Linares and Ponce's 'Introduction to Nonlinear Dispersive Equations's first chapter asks the reader to prove that, if the following IVP is given: $$\begin{cases} \partial_t u + ...
0
votes
1answer
35 views

How to prove that $f(x) = \int_{0}^{\infty} f_{\lambda} (x) \, d\lambda$ where $f_{\lambda} $ is the eigenfunctions of $\Delta$

On Euclidean space $\mathbb R^n$, how to prove that $$f(x) = \int_{0}^{\infty} f_{\lambda} (x) \, d\lambda ,$$ where $\Delta f_{\lambda} (x) = -\lambda^2 f_{\lambda}(x) $, whith $\Delta$ is the ...
0
votes
0answers
28 views

Laplacian on the sphere (proof of a proposition)

$$ Let \;f:U \to \mathbb{R}\;be\;a\;function\;on\;an\;open\;subset\;of\;S^{m-1}\;which\;is\;the\;restriction\;of\;a\;smooth\;function\;F:U{'} \to ...
2
votes
0answers
46 views

A question about general Marcinkiewicz interpolation theorem

The general Marcinkiewicz interpolation theorem states as following: If $T$ is a linear operator of weak type $(p_0,q_0)$ and of weak type $(p_1,q_1)$ where $q_0\neq q_1$, then for each ...
0
votes
2answers
62 views

Questions about delta function.

Let $z \neq 1$ be a complex number. Then \begin{align} \frac{1}{1-z} = \sum_{n=0}^{\infty} z^n. \end{align} We have \begin{align} \frac{z^{-1}}{1-z^{-1}} = \sum_{n=1}^{\infty} z^{-n}. \end{align} ...
0
votes
0answers
58 views

Scale resolution and frequency resolution in continuous wavelet transform

I'm reading the well known wavelets tutorial by Robi Polikar here. In part 3, about figure 3.7 and 3.8, it says "lower scales (higher frequencies) have better scale resolution (narrower in scale, ...
0
votes
0answers
25 views

Equivalence of $H^{1/2}(S^{1})$ norm with integral

I've been attempting to show that the Sobolev space norm $$\|f\|^{2}_{H^{1/2}} := |\hat{f}(0)|^{2} + \sum_{n \neq 0} n |\hat{f}(n)|^{2}, $$ for $f$ on the circle, is equivalent to the integral $$I(f) ...
1
vote
0answers
21 views

Proving Div-Curl Lemma through Paraproducts

I want to to prove the classical div-curl lemma of Coifman-Lions-Meyer-Semmes in the following form: Div-Curl Lemma. Let $f:\mathbb{R}^{n}\rightarrow\mathbb{R}^{n}$ be a Schwartz function such ...
1
vote
0answers
28 views

Eigenvalues for correlation matrix which have the form of an harmonic function

As a continuation to this question, I took the matrix $C_{2 \times 2}$ which is: $$C=\left[ \begin{array}{} a& ace^{-\frac{|\phi_1-\phi_2|}{2}}\\ ace^{-\frac{|\phi_1-\phi_2|}{2}} ...