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

12
votes
1answer
193 views

A property of exponential of operators

Let $X$ be a Banach space. $A\in B(X)$ is a bounded operator. we can define $e^{tA}$ by $$e^{tA}=\sum_{k=0}^{+\infty}\frac{t^kA^k}{k!}$$ I am interested in this property: If $x\in X$, such that the ...
0
votes
1answer
47 views

I “proved” the first Laplacian eigenvalue has many eigenfunctions. Where's my mistake?

(For simplicity, say our domain $D \subset \Bbb R^2$, $\partial D$ is nice and smooth, and $\overline D$ is compact.) Let $\lambda_1$ be the first eigenvalue of the problem $\Delta u + \lambda u = 0$ ...
1
vote
1answer
24 views

Covolution (space) over compact Lie groups

Let $G$ be a compact Lie group. Is there any way one can characterize the functions $\phi$ of the form $\phi=\psi\ast \psi^\ast$ in $C^\infty(G)$ where $\psi\in C^\infty(G)$? Here as usual ...
1
vote
1answer
38 views

A sequence of neighbourhoods with decreasing Haar measure in a non-discrete group

Let $G$ be a non-discrete (LCH) group. How can one find a sequence $(V_n)$ of compact, symmetric neighbourhoods of the identity element $1$ such that $\mu(V_n)\to 0$, where $\mu$ denotes the Haar ...
1
vote
1answer
41 views

proof that$ L^1 (G)$ is a subspace of $M(G)$

Let G be a locally compact group, and let $M(G)$ be the space of complex Radon measures on G. I identify the function f with the measure $f(x) \rm dx$ . but How do I prove this inclusion?؟ . .
3
votes
1answer
67 views

The function $f(t)=2+\sin(t)+\sin(t\sqrt2)$

The function $f$ defined on $\mathbb{R}$ by $$f(t)=2+\sin(t)+\sin(t\sqrt2)$$ can never reach $0$. Can we find some sequence $(t_n)_{n\geq0}$ such that $$\lim_{n \to \infty}f(t_n)=0 \ \ \ ?$$ Or in ...
0
votes
1answer
43 views

Every unitary representation is a direct sum of cyclic representations.

Every unitary representation is a direct sum of cyclic representations. it can be proved without the Zorn's Lemma ?
1
vote
2answers
70 views

Non uniform continuity of a function and almost periodicity

We say that a continuous function $f:\mathbb{R}\to\mathbb{C}$ is almost periodic in the sense of Bohr if: For every sequence $(t'_n)_{n\geq0}$, there's a sub-sequence $(t_n)_{n\geq0}$ such that ...
1
vote
2answers
43 views

Non-unitary representation

How to prove $\pi :\mathbb R\to \mathbb C^2$, defined by $t\mapsto \begin{pmatrix} 1 & t\\ 0 & 1\end{pmatrix}$ is a non-unitary representation? Is the following correct? $\pi$ is a ...
1
vote
0answers
37 views

Want to prove certain sum representation of $\cot(x)$

So here is my problem, I would like to prove an identity I found in a book which was given without a proof. Namely $$-i\sum_{n\in\mathbb Z} \operatorname{sign}(n)\cdot e^{i2\pi nx}=\cot(\pi x)$$ I ...
0
votes
0answers
14 views

$ S_\lambda f = \sum_{j=1}^\infty \chi_{(-\infty,\lambda_j]}E_j f =(2\pi)^{-1}\int_{\mathbb{R}}\widehat{\chi}_{(-\infty,\lambda]} (t)e^{itP}f \,dt$

Let $P$ be a self-adjoint elliptic pseudo-differential operator on $M$ (compact manifold). I can not demonstrate that $$ S_\lambda f = \sum_{j=1}^\infty \chi_{(-\infty,\lambda_j]}E_j f ...
0
votes
0answers
40 views

How to make sense of the Fourier transform of this distribution

I want to compute the Fourier transform of this distribution: $$D(f)=\int_{\mathbb{R}} f(t,t^2) \frac{dt}{t}$$ ($f$ a Schwartz function on $\mathbb{R}^2$, the integral interpreted with a Cauchy ...
0
votes
1answer
11 views

Definition of Uniform Continuity on an LCA group

I was working on an exercise from Tao's An Epsilon of Room to show the existence of Haar measure on an LCA group. For one of part of the problem we have ($G$ an LCA group, $C_c(G)^+$ denoting the ...
0
votes
0answers
77 views

Prove that the Pontryagin dual of a locally compact abelian group is also a locally compact abelian group.

Let $ G $ be a locally compact abelian (LCA) group and $ \widehat{G} $ the Pontryagin dual of $ G $, i.e., the set of all continuous homomorphisms $ G \to \mathbb{R} / \mathbb{Z} $. Clearly, $ ...
1
vote
1answer
115 views

Suppose G is unimodular. If f is in LP(G) and g is in Lq(G) where 1 < p,q < ∞ and 1/p+1/q=1, then f * g ∈Co(G) and ||f * g||sup ≤ ||f||p ||g||q

Suppose G is unimodular. If f is in LP(G) and g is in Lq(G) where 1 < p,q < ∞ and 1/p+1/q=1, then f * g ∈Co(G) and ||f * g||sup ≤ Ilfllp llgllq. * is convolution f and g. I read the ...
2
votes
0answers
71 views

convolution of $f$ and $g$ is in $L^p$ where $f$ has compact support.

Suppose 1≤p≤∞ and $f∈L^1(G)$ and $g∈L^p(G)$. I know this is true $‖f*g‖_p ≤‖f‖_1 ‖g‖_q$ , Where ∗ is convolution of f and g. I want to prove that If G is not unimodular, we still have g∗f is in LP ...
0
votes
1answer
25 views

Mean Value Property and Harmonic functions: a simple exercise

Let $f:[a,b]\to\mathbb{R}$ such that for every $h>0$ such that $$(x-h,x+h)\subset[a,b]$$ we have $$f(x)=\frac{1}{2}(f(x-h)+f(x+h)).$$ How can I conclude that $f$ is harmonic in $[a,b]$? My idea ...
1
vote
1answer
32 views

pointwise limit of uniformly bounded sequence in $A(\mathbb T)$ is again in $A(\mathbb T)$?

Let $\mathbb T$ be a circle group, and $\hat{f}(n)= \frac{1}{2\pi}\int_{0}^{2\pi} f(t) e^{-int} dt;$ $(n\in \mathbb Z, f\in L^{1} (\mathbb T)).$ Put $A(\mathbb T)= \{f\in C(\mathbb T): \hat{f}\in ...
1
vote
0answers
294 views

Fourier Transform on compact groups

I'm trying to get my head around the concept of Fourier Transform on a compact group. The standard definition is $$\widehat{f}(\pi)=\int_Gdg\,f(g)\pi(g)$$ where $\pi\in\widehat G$, the Pontryagin ...
1
vote
0answers
19 views

$f\mapsto \sum_{n\in \mathbb Z} |\widehat{F(f)}(n)|$ lower semi continuous?

Let $T$ be a circle group, and $\hat{f}(n)= \frac{1}{2\pi}\int_{0}^{2\pi} f(t) e^{-int} dt;$ $(n\in \mathbb Z, f\in L^{1} (\mathbb T)).$ Put $A(\mathbb T)= \{f\in C(\mathbb T): \hat{f}\in ...
1
vote
1answer
66 views

Show that $\log(x)$ is a Bounded Mean Oscillation (BMO)

As an extension of our class notes, we were asked to show that the function $w =\log(x)$ is a Bounded Mean Oscillation (BMO). First off, I believe our professor made a mistake, and really wanted us ...
0
votes
0answers
19 views

Poisson Integral Formula for Complex Function

We are given the domain $\Omega = \{ |z| \le 1, \text{Im}z \ge 0\}$ and that for some analytic function $F$, $|F(z)| \le a$ on $|z| = 1$ in the upper half plane and $|F(z)| \le b$ on $\text{Im}z = 0$. ...
2
votes
1answer
27 views

Approximating a mean on $L^{\infty}(G)$ by a norm $1$ non-negative $f\in L^{1}(G)$

Let $G$ be a locally compact group. A mean $M$ on $L^{\infty}(G)$ is a continuous linear functional on $L^{\infty}(G)$ such that $1 = \langle 1 , M\rangle = \|M\|$. My Exercise: Show that the set ...
7
votes
1answer
122 views

Is every integrable function on the real line with compact support also square integrable?

I wonder that whether every integrable function on the real line with compact support is also square integrable ? In other words, is $L^1_c(\mathbb R)\subseteq L^2(\mathbb R)$ holds true? Thanks in ...
0
votes
0answers
7 views

The convergence of Maximal function

Suppose $\Omega$ is open bounded and I have $u\in BV(\Omega)\cap L^\infty(\Omega)$. Take molifier of $u$, say $u_\epsilon$, then I have that $u_\epsilon\rightarrow u$ in $L^1$ and also $||D ...
1
vote
0answers
72 views

What is the Fourier series of $e^{\mu\cos\theta}$?

Motivation: I want to solve this convolution problem on the circle: find $f$, given $g$ and $$ g(\theta) = \int_{S^1} e^{\mu\cos(\theta-\phi)}g(\phi)\ d\phi. $$ To do this, I want to find the Fourier ...
6
votes
1answer
39 views

Extension of character in Banach algebras

Let $A$ be a Banach algebra. The continuous linear functional $\phi:A\to\Bbb{C}$ is called character if it is non-zero multiplicative function i.e., for every $a,b\in A$ we have ...
1
vote
0answers
25 views

Unimodular groups

Let F be a non-archimedean local fields of characteristic p (for p any given prime number): the field of formal Laurent series Fq((T)) over a finite field Fq (where q is a power of p). Is GL(n,F) ...
0
votes
0answers
17 views

basics on spectral synthesis…

I am reading basic material on spectral synthesis (such as Rudin's book, and some papers of Herz), and have found various definitions for the spectrum of $f\in L^\infty$: 1.- the one I am used to is ...
3
votes
1answer
30 views

Complex exponential is not Fourier multiplier on $L^p$

I am having difficulty to show that the function $m(\xi):= e^{i|\xi|^2}$ is not a Fourier multiplier on $L^p$ when $p\neq 2$. Note that $m:\mathbb{R}^n\to \mathbb{C}$ is called an $L^p$ Fourier ...
-1
votes
1answer
55 views

Is it true that the Fourier coefficient of convolution is the product of the coefficients?

what I mean by the title is the following: if we define the convolution between two $2\pi$-periodic, $C^1$ functions as $f*g(x) = (2\pi)^{-1}\int_{-\pi}^\pi f(x-y)g(y)dy$, is it true that the Fourier ...
0
votes
1answer
33 views

$f, \hat {f} \in L^{p} \cap L^{\infty} \implies f\in A(\mathbb R)$?

$1\leq p \leq \infty $. We put, $$X_{p}= \{f\in L^{p}(\mathbb R)\cap L^{\infty}(\mathbb R) :\hat{f}\in L^{p}(\mathbb R)\cap L^{\infty}(\mathbb R)\};$$ and we consider the algebra of Fourier ...
0
votes
2answers
49 views

Proof that $\frac{dx\ dy}{x^2+y^2}$ is a Haar measure on the multiplicative group $\mathbb C\setminus\{0\}$

How can it be proven that for every Borel subset of $\mathbb{C}\setminus\{0\}$ as A we have $\mu(cA)=\mu(A)$? $$ ∬_{cA} \frac{dx\ dy}{x^2+y^2}=\iint_{A} \frac{dx\ dy}{x^2+y^2} $$ I'm confused...
1
vote
0answers
20 views

$|supp(v)|=0$ implies the existence of $\lim_{\epsilon \to 0}\int_{|\theta -\phi|>\epsilon}\cot{(\pi(\theta-\phi))}dv(\phi)$

Let $v$ be a complex Borel measure on $[0,1]$ and $m$ be the Lebesgue measure. We define the support of measure by $$supp(v) = [0,1]-\cup\{I \subset [0,1]: v(I)=0\}$$ where $I$ is an interval. ...
1
vote
0answers
19 views

Real part of a holomorphic function is bounded by polynomial then the holomorphic function is a polynomial [duplicate]

Let $u$ be a harmonic function on $\mathbb{R}^2\cong \mathbb{C}$ such that $Ref= u$ where $f$ is an entire function. If $|u(z)|\leq |z|^n$ for any $z\in\mathbb{C}$, then $f$ is a polynomial of degree ...
2
votes
0answers
40 views

Density of a set of functions in Schwartz space

I have a difficulty doing the following problem: Let $S(\mathbb{R}^n)$ be the Schwartz space. I need to determine whether the following set of functions $A$: $$A= \{f\in S(\mathbb{R}^n): ...
2
votes
0answers
28 views

Jucys-Murphy elements confusion

I am taking a class called "Harmonic Analysis on Finite Groups" and am studying for an exam. We have recently been talking about the representation theory of the symmetric group (over $\mathbb C$). ...
0
votes
1answer
42 views

Characteristic Function as Fourier Multiplier

In lecture notes I have, it is mentioned that the characteristic function $\chi_I$ of an interval in $\mathbb{R}$ is an $L^p$ Fourier multiplier for $1 < p < \infty$. I thought this would be ...
0
votes
1answer
29 views

$f, \hat{f} \in L^{1}(\mathbb R) \implies \widehat {\text{Re}(f)}, \widehat{\text{Im}(f)} \in L^{1}(\mathbb R)$?

Let $f:\mathbb R \to \mathbb C$ such that $f(x)= (f_{1}(x), f_{2}(x))$; where $f_{1}(x)=\text{Re}(f(x))=\text{the real part of} \ f $ and $f_{2}(x)=\text{Im}(f(x))= \text{ the imaginary part of} \ ...
2
votes
1answer
49 views

Why are function spaces typically defined on open sets?

I never really bothered to ask this question and now it seems silly...but why do we always seem to define function spaces $X(U)$ (e.g. $L^2(U), BV(U)$ for open sets $U\subset\Bbb{R}^n$? What breaks if ...
2
votes
1answer
17 views

how to prove translation identity: $(\mathcal{F}^{-1}m\mathcal{F}f)(x)= e^{ikx}[\mathcal{F}^{-1}m(\cdot+k)\mathcal{F}(e^{-iky}f(y))](x)$?

Let $m, f\in S(\mathbb R^{n})$=The Schwartz space. My question: How to prove: $$(\mathcal{F}^{-1}m\mathcal{F}f)(x)= e^{ikx}[\mathcal{F}^{-1}m(\cdot+k)\mathcal{F}(e^{-iky}f(y))](x);$$ where ...
2
votes
0answers
41 views

Essential hypothesis of Fourier Inversion formula

Let $f\in L^{1}(\mathbb R)$ and we define its Fourier transform as follows: $\hat{f}(\xi)=\int_{\mathbb R} f(x)e^{-2\pi i \xi\cdot x} dx, (\xi \in \mathbb R);$ and we define $f^{\vee}(x):=\hat{f}(-x)= ...
3
votes
1answer
43 views

How to show the completeness of the space of Fourier transforms $\mathcal{F}L^{1}$?

Consider the space of all Fourier transforms of $L^{1}(\mathbb R),$ that is, $$\mathcal{F}L^{1}=\mathcal{F}L^{1}(\mathbb R):= \{f\in L^{\infty}(\mathbb R):\hat{f}\in L^{1}(\mathbb R)\},$$ with the ...
1
vote
0answers
49 views

Real version of the Jensen's formula.

Prove the Jensen's formula $$\int_{T}f(z+re^{2\pi i\theta})d\theta-f(z)=\iint_{D(z,r)}\log{\frac{r}{|w-z|}}\Delta f(w)dm(w)$$ where $w$ is in $D(z,r)$ and $f$ is a two-dimensional $C^2$ ...
2
votes
1answer
63 views

Hardy Space Cancellation Condition

I have been reading the chapter on Hardy spaces in Stein's Harmonic Analysis book, and I am having a lot of trouble figuring something out. The setting here is $\mathbb{R}^n.$ Let $f \in L^q$ be ...
1
vote
1answer
41 views

Involution on inverse semigroups

I'm trying to prove the following for inverse semigroups $\bf Def:$ an inverse semigroup $S$is a semigruop such that for each $x\in S$ the exists a unique $y\in S$ such that $xyx=x$ and $yxy=y$. An ...
1
vote
2answers
41 views

$f_{n}\to f$ in $L^{1}\implies \hat{f_{n}}\to \hat{f}$ in $L^{1}$?

Let $f\in L^{1}(\mathbb R)$ and it Fourier transform, $\hat{f} (y) : = \int _ {\mathbb R} f(x) e^{-2\pi i x\cdot y} dx ; y \in \mathbb R .$ Suppose there exists $f_{n}, \in L^{1}(\mathbb R)$ such ...
1
vote
1answer
30 views

Estimative with kernels of the Riesz transform

Let $x=(x_1,x_2)$ and $k(x)=\frac{x_1}{|x|^3}$, $|x|>0$. Condider $x,y\in\mathbb{R^2},\xi=|x-y|, \tilde{x}=\frac{x+y}{2}$ then $|k(x-t)-k(y-t)|\leqslant C\frac{|x-y|}{|\tilde{x}-t|^3}$ when ...
1
vote
0answers
35 views

Differentiabilty of certain convolution

Let $\Gamma$ be a smooth closed curve. Suppose $f\in L^2(\Gamma,ds)$ and $g$ is defined everywhere on $\mathbb{C}$ with compact support. Moreover $\frac{dg}{dz}$ exists everywhere but point $z=0$. ...
3
votes
1answer
23 views

On convergence rate of kernel approximation

Let $\{K_\epsilon\}$ be a sequence of mollifiers, (or often take heat kernels). We have known from classical analysis that if $f$ is uniformly continuous then the error ...