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
2answers
45 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
32 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
28 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
60 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
47 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
81 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
80 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
41 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
73 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
45 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
32 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
35 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
178 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
35 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
23 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
31 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
15 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
28 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
24 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
66 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
22 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
1answer
79 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
232 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
132 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
31 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
321 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
39 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
57 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
80 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
394 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
1k 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
51 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, ...
6
votes
1answer
58 views

How to determine measure from the integral equation?

Let $\{c_{n}\}_{n\in \mathbb Z}\subset \mathbb C$ and $\sum_{n\in \mathbb Z} |c_{n}| < \infty$ (that is, the series $\sum c_{n}$ is absolutely converges); we define $F:\mathbb R \to \mathbb C$ ...
0
votes
0answers
14 views

Fast transpose of undecimated wavelets

I am using undecimated Daubechies wavelets and I need to compute the forward and adjoint of the wavelets several times. I am using the Rice Wavelet Matlab toolbox ...
1
vote
0answers
38 views

When it is possible to integrate an oscillatory integral?

Let $\phi(x,t;\theta) = \theta f(x,t)$, $\theta \in \mathbb R$, $x \in \Omega \subset \mathbb R^k$ ($\Omega$ is a domain), $t \in (0,+\infty)$, be a phase function and define an oscillatory integral ...
0
votes
1answer
68 views

Convention in Riesz representation theorem vs. tempered distribution theory

We are working over the complex field here. Sometimes analysis textbooks say that every continuous linear functional on $L^p$ is integration against some $f \in L^{p'}$ for $p\in (1, \infty)$, rather ...
1
vote
1answer
55 views

Sobolev spaces vs. Hardy Spaces

I have seen sobolev spaces (the ones with the p norms of the derivatives of a multivariable function) and Hardy spaces (the objects investigated in harmonic analysis when one asks about tangential and ...
0
votes
1answer
64 views

Poisson Integral of a Lipschitz continuous function

I am reading a paper that makes reference to the following fact: Suppose $f:\mathbb{R}\rightarrow\mathbb{R}$ is Lipschitz continuous of some positive order $\alpha$. Let $H(x,y)$ be the extension of ...
2
votes
0answers
58 views

How to prove $\widehat{(fg)}(n) = \hat{f} (n) \ast \hat{g} (n); (n \in \mathbb Z)$?

Let $f, g \in L^{1}(\mathbb T)= L^{1} ([-\pi, \pi))$. We define, the Fourier transform of $f$ as follows: $$\hat{f}(n)=\frac{1}{2\pi}\int_{-\pi}^{\pi} f(t) e^{-int} dt, \ (n\in \mathbb Z).$$ It is ...
5
votes
1answer
65 views

An $L^1$ function whose Fourier series converges but not to itself

Do we have an $L^1$ function whose Fourier series converges almost everywhere but not to itself?
0
votes
0answers
19 views

How to factorize exponential as a convolution of finite number of functions( series)?

We choose a points $x_{1},..., x_{n}$ in $\mathbb Z$ (not 0), such that $$x_{k+1}\not = x_{1}+x_{2}+...+x_{k} \ \ (k=1,2,...,n-1).$$ Let $\delta_{x}$ denote the measure of total mass $1$, ...
1
vote
0answers
48 views

How to interpret Fourier-Stieltjes transform on $\mathbb T$ (one dimesional torus)?

Let $\mu$ be a regular Borel measure on $\mathbb Z$ and we put, $$\|\mu\|:= |\mu| (\mathbb Z)= \text {total variation of} \ \mu . $$ and define $$M(\mathbb Z):= \{\mu: P(\mathbb Z)\to \mathbb C : ...
1
vote
1answer
35 views

Does there exists $f\in A(\mathbb T)$ such that $||f||=r$ and $||\mathrm{e}^{if}||= \mathrm{e}^{r}$?

Let $f\in L^{1}(\mathbb T)$ and define the Fourier coefficient of $f$ : $\hat{f}(n)=\frac{1}{2\pi} \int _{-\pi}^{\pi} f(t)\, \mathrm{e}^{-int} dt; (n\in \mathbb Z)$.Consider the space, $$A(\mathbb ...
0
votes
1answer
61 views

Solving the equation $\int G(t) dt =\frac{\sin x}{x}$

I have to solve the equation $$\int_{\mathbb R} \frac{f(t)}{1+(x-t)^2} dt =\frac{\sin x}{x}.$$ I tried change of variables to make the $\frac{1}{1+(x-t)^2}$ part resemble $e^{h(x)}$ so I can use the ...
2
votes
1answer
66 views

Show that two series are equal

In my harmonic analysis class I have to prove that for all $a>0$ the following equality holds: $$\sum_{n\in \mathbb{Z}}e^{-n^2\pi a}=\frac{1}{\sqrt{a}}\sum_{k\in \mathbb{Z}}e^{-k^2 \pi / a}.$$ I'd ...
0
votes
1answer
36 views

How to inter change of norm and limit in the Banach algebra?

Let $f\in L^{1}(\mathbb T)$ and define the Fourier coefficient of $f$ : $\hat{f}(n)=\frac{1}{2\pi} \int _{-\pi}^{\pi} f(t) e^{-int} dt; (n\in \mathbb Z)$.Consider the space, $$A(\mathbb T):= \{f\in ...