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
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
22 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
42 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
32 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
44 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
31 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
53 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
45 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
50 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
65 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
47 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
31 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
26 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 ...
3
votes
1answer
59 views

Biprojective $C^*$-algebra

Let $A$ be a Banach algebra. Define $\Delta:A\hat{\otimes}A\to A$ with $\Delta(\sum_{n=1}^\infty a_n\otimes b_n)=\sum_{n=1}^\infty a_nb_n$. Now $A$ is called biprojective if there exists a bounded ...
0
votes
0answers
18 views

When can every unitary representation of a discrete abelian group be written as a direct sum of irreducible representations?

Suppose $\Gamma$ is a discrete abelian group. A unitary representation of $\Gamma$ is group homomorphism $\pi: \Gamma\to U(H)$ where $H$ is a complex Hilbert space and $U(H)$ is the group of unitary ...
2
votes
0answers
38 views

Invariant functions under integral transforms

We all know Fourier transform has invariants such as $e^{-x^2}$, and another MSE post has shown the non-existence of invariant function under Hilbert transform using Fourier transform. I am wondering ...
4
votes
1answer
79 views

Integrability of function and its Fourier transform implies differentiabilty

Is the the following true: "Assume $f\in L^1[0,1]$ and $\hat{f}\in L^1(\mathbb{R})$, then $f$ is differentiable a.e"
4
votes
1answer
79 views

A function $f:\mathbb{R} \to \mathbb{R}$ with infinite norm but finite weak seminorm

Let $0<q\leq p<\infty$. For $f:\mathbb{R}\to \mathbb{R}$, we define the norm \begin{equation} \|f\|_{p,q}=\sup_{a\in \mathbb{R},r>0} r^{\frac{1}{p}} \left(\frac{1}{r} \int_{a-r}^{a+r} ...
1
vote
0answers
37 views

Zero convolution of a function with a measure

Suppose $0\not=f\in L^1_{loc}(\mathbb{R}^2)$ and $\mu$ is a positive Borel measure with compact support. Given $f\ast\mu=0, $ what can be said about $\mu$?
0
votes
1answer
57 views

Addition of two cosine waves with different periods

I was just wondering if anyone knows how to add two different cosine equations together with different periods to form one equation. Is there a way to do this and get a real answer or is it just all ...
1
vote
0answers
44 views

Does a complex polynomial can be approximated by a Euler-type exponential function?

Can one uniformly approximate a complex polynomial with a Euler-type exponential function? I mean: let $E\subset\Bbb C$ be a compact set with the connected complement $\Omega:= \bar {\Bbb C}\setminus ...
0
votes
0answers
29 views

Trigonometric Power Formulas (or something more modest)

How does one begin to show (natural $n$): $$\cos^{2n}(x) =\frac{1}{2^{2n}} \binom{2n}{n}+ \frac{1}{2^{2n-1}} \sum_{k=0}^{n-1} \binom{2n}{k} \cos[2(n-k)x]$$ $$\cos^{2n+1}(x) =\frac{1}{4^{n}} ...
2
votes
1answer
33 views

A characterization of $L^1$ functions with $L^1$ Fourier transforms

If $f \in L^1$ then its Fourier transform is easy to define: $\widehat{f}(\xi) = \int f(x)e^{-2 \pi i \xi x}dx$. If $\widehat{f} \in L^1$ then we recover $f(x) = \int \widehat{f}(\xi)e^{2 \pi i \xi x} ...
2
votes
1answer
153 views

$g, f, \hat {f} \in L^{1}(\mathbb R)\cap L^{2}(\mathbb R) \cap C_{0}(\mathbb R) \implies \widehat{(fg)}= \hat{f} \ast \hat{g} ? $

Let $f, g\in L^{1}(\mathbb R)$ and it Fourier transform of $f$, $\hat{f} (y) = \int _ {\mathbb R} f(x) e^{-2\pi i x \cdot y} dx, \ (y\in \mathbb R)$ and the convolution of $f $ and $g$; $f\ast g ...
1
vote
0answers
34 views

The property of positive fourier series. [duplicate]

This is the problem in the book 'Classical and multilinear harmonic analysis, volume 1' Let $f(x)=\sum_{n=0}^{N}[a_{n}\cos{2\pi nx}+b_{n}\sin{2\pi nx}]$ be a nonnegative function defiend on $[0,1]$. ...
2
votes
0answers
22 views

Can we expect, $\left\|f|f|- g|g|\right\|\leq C \left \|f-g\right \|$ in the Banach algebra $A(\mathbb R)$?

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 ;$ and consider Fourier algebra $$A(\mathbb R):= \{f\in ...
1
vote
1answer
29 views

Bound on the inverse laplacian

Let's consider the equation $$ \Delta u(x,y)=0\;\in\;\mathbb{R}\times\mathbb{R}^+,\;u(x,0)=g(x), $$ where $g$ is an integrable, smooth enough function. Let me write $P_y$ for the Poisson kernel for ...
0
votes
0answers
14 views

How to use $(|u|^{2}u - |v|^{2}v)(s)= (u-v)|u|^{2}(s)+ v(|u|^{2}-|v|^{2}) (s)$; to prove contraction in Banach sapace $C([0, T];M^{p,1})$?

(For details of this question you may see the paper,(proof of theorem 1, page.9), MR2506839, Local well-posedness of nonlinear dispersive equations on modulation spaces; Bull. Lond. Math. Soc. 41 ...
1
vote
0answers
26 views

$\Bbb A_K'$ is a one dimensional $\Bbb A_K$ module

Let $\Bbb A_K'$ be the dual to the group of adeles $\Bbb A_K$ of some field $K$. Then $\Bbb A_K'$ is an $\Bbb A_K$ module by the prescription $$a\cdot \Psi(x) \mapsto \Psi(ax)$$ But why is $\Bbb ...
2
votes
0answers
21 views

Induced measure on dual group and kernel of fourier transform

Let $G$ be a locally compact Hausdorff abelian group (LCA). Then the Fourier transform gives a map from functions on G to functions on $\hat G$ $$f\mapsto \hat f(\xi) = \int_G f(x)\Psi(x,\xi) ...
1
vote
1answer
64 views

Uniqueness for second order PDE $-\Delta u = c(u)$

I'm trying to solve the following problem: Let $\Omega$ be an open set in $\mathbb R^n$ and consider the equation \begin{cases} -\Delta u = c(u) & \text{ on } \Omega \\ u = 0 & \text{ on } ...
1
vote
1answer
30 views

Harmonic inside with zero average

Assume $\Omega\in\mathbb{C}$ is a domain with nice enough boundary,say smooth boundary. What can be said about $f\in C(\bar\Omega)$, harmonic in $\Omega$ and $\int_{\partial\Omega}f(z)|dz|=0$, where ...
1
vote
0answers
20 views

Absolute value operation in frequency domain

Let $f\in L^2(\mathbb{R}^d)$ be a real, positive function and $h\in L^2(\mathbb{R}^d)$ a complex function with compact support in frequency domain and $0\notin \text{supp }\hat{h}$. I am looking for ...
0
votes
1answer
45 views

A Curious sum of sines and cosines with angles in arithmetic progression

I am stuck with the following problem: \begin{align} \max_{\theta\in\mathbb{R}}\sum_{i=1}^{N}(a_i\sin(i\theta)+b_i\cos(i\theta)), \end{align} where for $i(1\leq i\leq N$)$, a_i$ and $b_i$ are real ...
3
votes
0answers
71 views

Closure of Schwartz space in homogeneous Besov space

Let $\dot{B}^s_{\infty,\infty}(\mathbb{R}^d)$ denote the homogeneous Besov space of order $s$ with second and third index $\infty$, i. e. the homogeneous Zygmund space. Let $\mathcal{S}(\mathbb{R}^d)$ ...
0
votes
1answer
176 views

How to use Parseval' identity( Plancherel)? [duplicate]

(May be this is very basic question for MO) Let $f\in L^{2} (\mathbb R)$ with $\lim_{t\to \pm \infty} f(t)=0.$ Put $$F_{n} (x)= \frac{1}{2\pi} \int_{-n}^{n}e^{itx} f(t) dt \ (n=1,2,...)$$ Fix ...
0
votes
1answer
117 views

How to use Parseval' s( Plancherel' s) identity?

Let $f\in L^{2} (\mathbb R)$ with $\lim_{t\to \pm \infty} f(t)=0.$ Put, $F_{n} (x)= \frac{1}{2\pi} \int_{-n}^{n}e^{itx} f(t) dt, \ (n=1,2,...).$ Fix $\alpha \in (0, \infty)$ and we define $H_{n}(x)$ ...
1
vote
1answer
30 views

$L^{\infty}(G)$ as a Banach $L^{1}(G)$-bimodule. (Check my logic please!)

Background: Given a Banach algebra $A$, we can turn $A^{*}$, the Banach space dual of $A$, into a Banach $A$-bimodule via the following module actions: For $x\in A, f\in A^{*}$, $x.f:y\mapsto f(yx)$ ...
1
vote
0answers
229 views

Proof of strong maximum principle for harmonic functions

Let $u\in\mathscr C^2(U)\cap\mathscr C(\bar U)$ be harmonic in the non-empty open and connected set $U\subset\mathbb R^n$. If there exists a Point $x_0\in U$, so that $u$ has a local Maximum at $x_0$, ...
1
vote
0answers
38 views

How to choose $\lambda (x) =\int_{0}^{\infty} \frac{\sin^{2}x \alpha}{\alpha^{2}} d\mu (\alpha)$; so $\lambda ^{-1}\in L^{1}(\mathbb R)$?

We define, $$\lambda (x) =\int_{0}^{\infty} \frac{\sin^{2}x \alpha}{\alpha^{2}} d\mu (\alpha), (\mu(0)=0) $$ where $\mu (\alpha)$ is a non-decreasing function such that the integral converges for ...
2
votes
0answers
56 views

Dual Lorentz characterization of $L^q$

I am trying to do Exercise A.4 of Terence Tao's book Nonlinear dispersive equations: local and global analysis. The exercise is on p.342 in Appendix A. The problem statement is: Let $f\in ...
3
votes
1answer
79 views

Fourier transform of a a function in the space

Which is the Fourier transform (in the sense of distributions) of the function $f(x)=x/\|x\|^n $, where $x$ belongs to the Euclidean space $ R^n$?
2
votes
1answer
306 views

Laplace operator and Fourier transform

Let $f$ be a function with compact support in $D\subset \mathbf{R}^2$. Is is known that $$-\Delta f=F^{-1}|x|^2 F f,$$ where $F$ is the Fourier transform. Which is the $n-$dimensional analogous ...
5
votes
4answers
836 views

Proof of Riemann-Lebesgue lemma

I read a book, and this mention to the following lemma of Rieman-Lebesgue type. Lemma. Let $-\infty<a<b<\infty$ and $f(x,y):[a,b]^2\to\mathbb R$ be an integrable and nonnegative function. ...
2
votes
1answer
50 views

How to apply the method of stationary phase here?

Consider the following oscillating integral $$ I(\xi;t) = \int\limits_{\mathbb R}\int\limits_{\mathbb R^n} e^{it(\xi y - \theta f(y))}a(y) \, dy \, d\theta, \quad \xi \in \mathbb R^n \setminus 0, ...