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, Littlewood-...

learn more… | top users | synonyms

1
vote
0answers
22 views

Is $A(D)$ a complemented subspace of $C(T)$?

Let $T$ be the unit circle and $D$ the open unit disk. A function $f$ belongs to $C(T)$ if it is continuous at $T$. A function $g$ belongs to $A(D)$ if it is continuous at $\overline{D}$ and ...
0
votes
0answers
20 views

Formula connecting the resolvent opeartor andthe spectral density?

I want to know if it is a formula connecting the resolvent opeartor $(\lambda - T)^{-1}$ for a selft-adjoint operator $T$ and its spectral density $e_{\lambda}$. Thank you in advance
0
votes
0answers
21 views

Formula connecting the resolvent and the heat kernels

Using the well known formula connecting the resolvent and the heat operators associated to a selft-adjoint opeartor $A$ \begin{align} (\zeta - A)^{-1} = \int_{0}^{\infty} e^{-\xi t} \, e^{t A} dt; \...
0
votes
0answers
11 views

Prove that $|Hf(x)|\le C|x|^{-\alpha}$ for $-1<x<0$ where $ Hf(x):=\frac1{\pi}\operatorname{p.v.}\int_{\Bbb R}\frac1sf(x-s)\,ds $

Let $f(x):=|x|^{-\alpha}\chi_{]-1,0[}(x)$, for some $\alpha\in]0,1[$; let's prove that $|Hf(x)|\le C|x|^{-\alpha}$ for $-1<x<0$, where the Hilbert transform of a measurable function $f:\Bbb R\to\...
1
vote
0answers
19 views

Invariant subspace shift operator $\psi H^2$

$H^2$ - Hardy space analytics function on unit disk; $M_z:H^2 \to H^2$, $M_z f = zf(z)$. We know Beurling theorem: Every invariant subspace shift operator other than $\{0\}$ has the form $\phi H^2$, ...
2
votes
0answers
23 views

Bounding Fourier coefficients using translates of a function

Having real trouble solving this problem, I know there's probably something obvious that I'm missing but it's driving me mad! Exercise 1.3. Let $f \in C(\mathbb{R} / \mathbb{Z})$. For $y > 0$ ...
0
votes
1answer
77 views

How the second and third equalities can be achieved?

I am reading this paper. In the Proof of Lemma 3.3, How the second(*) equality can be achieved? How can i use Parseval's identity in third(**) equality?
11
votes
2answers
358 views

Prove that $|k(x)|\le C|x|^{-n}$ under suitable hypothesis on $k\in\mathcal{C}^1(\Bbb R^n\setminus\{0\})$

DON'T BE AFRAID FROM THE +500 BOUNTY: it doesn't matter that I KNOW this problem is really hard, I put it only because I need to solve the problem really URGENTLY! Let $n\ge2$; given a kernel $k\in\...
5
votes
1answer
95 views

Do we have the pointwise bound $\left|\tilde{f}\right| \lesssim_d Mf$?

Edit. I know I am missing a mean value on all integrals, but unfortunately I do not know if it is possible to make an integral sign with a horizontal slash through it with MathJax. For any locally ...
0
votes
1answer
16 views

Estimation with Hölder condition

Do you have any hints about how to prove (or find a counterexample) that, given $f \in \mathcal{C}^1 ( \mathbb{R}^n \smallsetminus \{ 0 \}) $ such that $$\int_{|x|=r} f(x) \, dS(x) = 0$$ for all $r&...
1
vote
1answer
49 views

If $||g_j-g||_{1,\infty}\to0$, then $||g_j||_{1,\infty}\to||g||_{1,\infty}$

I have some problems with my notes: my teacher wrote that if a sequence $\{g_j\}_j\subseteq L^{1,\infty}(\Bbb R^n)$ (which is the weak $L^1$ space, endowed with the quasinorm $||\cdot||_{1,\infty}$) ...
1
vote
0answers
25 views

A Hilbert transform that takes several functions

While playing with some PDE I came across a singular integral that looks something like $$T(f_1,f_2,\ldots,f_n)(x)=p.v.\int_{-\infty}^\infty\frac{(f_1(x)-f_1(y))(f_2(x)-f_2(y))\cdots(f_n(x)-f_n(y))}{(...
2
votes
0answers
41 views

If $f_j\to f$ in $L^1(\Bbb R^n)$ then $Tf_j\to Tf$ in $L^{1,\infty}(\Bbb R^n)$

Let's define $A:=\{f\in L^1(\Bbb R^n)\cap L^2(\Bbb R^n)\;:\;f\;\mbox{has compact support}\}$. So $A$ is dense in $L^1(\Bbb R^n)$. Given then $f\in L^1(\Bbb R^n)$; by density there exists $\{f_j\}_j\...
1
vote
0answers
71 views

Why is this theorem equivalent to the informal explanation given by Tao?

I will copy-paste the statement and the theorem from this paper by Tao about an uncertainty principle for groups of prime order. http://arxiv.org/pdf/math/0308286.pdf Theorem 1.1: Let $p$ be a prime ...
1
vote
1answer
52 views

Completeness of Schwartz space

I wanna to prove the completeness of Schwartz space $\mathscr{S}(R^{n})$ equipped with the induced topology from a set of seminnorms $$\|f(x)\|_{\alpha,\beta}=\sup_{x\in R^{n}}|x^{\beta}D^{\alpha}f(x)|...
1
vote
1answer
50 views

About Hardy-Littlewood maximal function from Grafakos' “Classical Fourier Analysis”

The Hardy-Littlewood maximal operator $M$ is defined by $$ M f(x)=\sup_{r>0}|B(x,r)|^{-1}\int_{B(x,r)} |f(y)|dy. $$ There is the following example in Grafakos's "Classical Fourier Analysis" book ...
1
vote
0answers
29 views

The eigenvalue for mollified function

Let $u_k$ be eigenfunctions for operator $-\Delta$ over domain $\Omega\subset \mathbb R^2$, open bounded, smooth boundary. Then, we know that $E:=\{u_k\}_{k=1}^\infty$ forms a basis for $L^2$ and we ...
1
vote
1answer
48 views

Hodge decomposition thm. Why $\Delta(E^p)=d\delta(E^p)\oplus\delta d(E^p)=d(E^{p-1})\oplus\delta(E^{p+1})?$

$\DeclareMathOperator{Img}{Im}$ In Warner's "Foundations of differentiable manifolds and Lie groups" we read that $$E^p\stackrel{(1)}{=}\Delta(E^p)\oplus H^p\stackrel{(2)}{=}d\delta(E^p)\oplus\delta d(...
0
votes
1answer
41 views

Compostion on $H^2(U)$

Below is a question that I'm attempting to do but so far have made no progress. Any suggestions would be helpful. Show that whenever $0 < \alpha < \frac{1}{2}$, then $\left( \frac{1+z}{1-z} \...
3
votes
1answer
38 views

Proof that $\|S_N\|_p < \infty $ is equivalent to $\|S_N f - f\|_p \to 0$ as $N \to \infty$

I am having difficulties with the proof of proposition 1.9 in the book "Classical and multilinear harmonic analysis, Vol. 1" by C. Muscalu and W. Schlag. The following statements are equivalent ...
0
votes
1answer
51 views

Calderón-Zygmund theorem doesn't seem has correct hypotesis

This theorem states that, given ANY $f\in L^1(\Bbb R^n)$ and ANY $\alpha>0$, there exists a sequence of (mutual disjoint open with sides parallel to the axis) cubes $\{Q_k\}_{k\ge1}$ such that $$ \...
0
votes
0answers
19 views

Application of Givens rotation to two matrices

I've been reading the following paper , and have come across something that seems like an error to me. In Algorithm 2, the Givens rotation, $q_s$, is applied in the following way: $A \leftarrow q_s ...
2
votes
0answers
30 views

A question on Schwartz space on the integers

I have a question regarding Schwartz space on the integers. The definition (of the semi-norms which can generate such space) is given as follow: Can someone explain why we need a square on the norm ...
0
votes
1answer
24 views

Find $f\in C^0(S^1)$ that satisfy $\limsup_{n\to \infty }\|S_nf -f\|_{L^\infty }>0$

I have to construct a continuous function $f\in \mathcal C^0(S^1)$ (where $S^1=\mathbb R/\mathbb Z$) that satisfy $$\limsup_{n\to \infty }\|S_n f-f\|>0$$ where $S_nf$ is the $n-$th Fourier partial ...
1
vote
1answer
36 views

Notation in harmonic analysis

in the Paper "The multilinear restriction estimate: a shoort proof and a refinement" the author Ioan Bejenaru uses the brakets $\langle,\rangle$, for example in the inequality 2.5. What does this ...
2
votes
2answers
103 views

Is Plancherel's theorem true for tempered distribution?

Let $f, g\in L^{2},$ by Plancherel's theorem, we have $$\langle f, g \rangle= \langle \hat{f}, \hat{g} \rangle.$$ My Question is: Is it true that: $$\langle f, g \rangle= \langle \hat{f}, \...
0
votes
1answer
25 views

In what sense is the poisson kernel in higher dimensions an approximate identity

Given a function $g \in C^2(S^{n-1})$ the unit sphere then the unique solution to laplaces equation on the unit ball with this boundary data, is given by reflecting the green's function for the ...
2
votes
0answers
25 views

Decay of heat kernel on $\mathbb{T}$

I'm studying Muscalu and Schlag's Classical and Multilinear Harmonic Analysis, v. 1. One problem asks to study the heat equation on $\mathbb{T}$, i.e. $$u_{t} = u_{\theta \theta} \quad \text{on} \, \...
7
votes
3answers
143 views

If the Fourier serie $S_nf\longrightarrow g$ in $L^p$ then $f=g$.

Suppose that $f\in L^1(\mathbb S^1)$ where $\mathbb S^1=\mathbb R/\mathbb Z$. Suppose that the sequence of partial Fourier sums $\{S_nf\}_{n\geq 1}$ converge in $L^p(\mathbb S^1)$ toward some $g\in L^...
2
votes
1answer
109 views

Riesz transform does not preserve continuity

I've read somewhere that the Riesz operator $R_j$ defined by $$R_j f(t) := c(n) \, \text{pv} \int_{\mathbb{R}^n} \frac{x_j}{|x|^{n+1}} f(t-x) \, dx$$doesn't preserve the continuity, but I can't ...
0
votes
1answer
59 views

Is Riemann–Lebesgue lemma valuble in $L2(\mathbb{R})$

If $f\in L_1$ on $\mathbb{R}$, that is to say, if the Lebesgue integral of $|f|$ is finite, then the Fourier transform of $f$ satisfies $$\hat{f}(z):= \int_{\mathbb{R}} f(x)e^{-izx} dx \rightarrow 0, \...
0
votes
0answers
22 views

Convergence of Sobolev function in a domain with a curve removed

Let $B\subset \mathbb R^2$ be given as a unit ball. Let $\omega\subset W^{2,2}(B)\cap L^\infty$ be given. (So we are only in 2d space) Let $\Gamma\subset B$ be a closed Lipschitz curve such that $\...
0
votes
1answer
18 views

About the weighted norm for integralation [closed]

Let $w:\mathbb{R}^n\rightarrow \mathbb{R}$ be a non-negative, measurable function. And we define a weighted integrable space $L^1(w)$ whose norm is defined by \begin{equation} \|f\|_{L^1(w)}:=\int_{\...
0
votes
0answers
32 views

Is this statement true? (characterize elements of dual group)

Let $\mathbb{K}$ be a local field. Definition of local field: Let $\mathbb{K}$ be a field and a topological space. Then $\mathbb{K}$ is called a locally compact field if both $\mathbb{K}^+$ ...
0
votes
0answers
17 views

theorem on representation of topological group

i am currently pursuing a course in basic abstract harmonic analysis.i am really stuck in the followinng theorem: let u be a unitary representation of a group G(locally compact hausdorff space) on a ...
0
votes
0answers
14 views

The regularity of harmonic function over the tour

Let $B_1,B_2\subset \mathbb R^2$ be the ball centered at $0$ with ridus $1$ and $2$, respectivily. Define $\Omega:=B_2\setminus B_1$. Let $\phi\in C_c^\infty(\mathbb R^2)$. We consider the following ...
1
vote
0answers
15 views

problem on finding representations

i am currently pursuing a course in basic harmonic analysis.i have gone through a lot of texts but i am really finding difficulty to proceed in the following problem: (1) find a representation of $\...
1
vote
0answers
52 views

Do compact convergence topology and w*-topology coincide on the Pontryagin dual group of a LCA group.

Given a locally compact group $G$, consider its Pontryagin dual $G^{'}$. Do compact convergence topology and weak*-topology on $G^{'}$ coincide?. When we talk about weak*-topology on $G^{'}$, it ...
0
votes
1answer
21 views

Unitary dual of $\{0\}$ and $\mathbb R$

How to prove that, the unitary dual of $\{0\}$ and $\mathbb R$ are the trivial identity representation $id$ and the representation $\chi_x (y) = e^{i x y}; y\in \mathbb R$, respectively. Thank you ...
0
votes
1answer
18 views

Show that there is $C_1,C_2$ s.t. $C_1\log(N)\leq\|D_N\|_{L^1(\mathbb S^1)}\leq C_2\log(N)$ where $D_N$ is the dirichelet kernel.

Let $D_N=\frac{\sin(\pi(2N+1)x)}{\sin(\pi x)}$ the dirichlet kernel. Show that there is $C_1,C_2$ s.t. $$C_1\log(N)\leq\|D_N\|_{L^1(\mathbb S^1)}\leq C_2\log(N)$$ where $\mathbb S^1=\mathbb R/\mathbb ...
2
votes
1answer
59 views

Inequality regarding $g (x) \in S(\mathbb{R})$

A proof relies on a inequality I cant a mange to understand ; $\sup_{x} \mid x \mid ^{l} \mid g(x-y) \mid \le A_{l}(1+ \mid y \mid )^{l} $ given that $g \in S(\mathbb{R})$ i.e $\sup_{x} \mid x \mid ^{...
1
vote
1answer
56 views

Applying the Riesz-Thorin Interpolation theorem

Consider a linear operator $T$ given by $$T(f)(x)=\int_{Y}K(x,y)f(y)d\nu(y),\qquad x\in X.$$ Let $1\le p_{1}$, $q_{1}\le\infty$, $p_{0}=1$, $q_{1}=\infty$, $\frac{1}{p_{1}}+\frac{1}{p_{1}'}=\infty$ ...
0
votes
1answer
23 views

What is the harmonic conjugate of $u=4xy-3x+5y$?

What is the harmonic conjugate of $u=4xy-3x+5y$? I got $u'x=4-y=v'y$ then I integrated $v'y$ to get $v= 2y^2-3y+h(x)$. Then I did $-u'y=v'x$ so, $5= h'(x)$ then I integrated $5$ with respect to $x$ ...
0
votes
1answer
52 views

Matrix representation of Heisenberg group

Equiped with the law $(a,b,c)\circ (a',b',c') = (a + a', b + b', c + c' + ab'),$ the matrix representation of the Heisenberg group $H^3$ is given by $$ \begin{pmatrix} 1 & a & c\\ 0 & ...
1
vote
0answers
36 views

Fourier transform identity on $L^{p}(\mathbb{T})$

Let $p\in (1,2]$. I want to prove there exists $C$ such that for $f\in L^{p}(\mathbb{T})$ we have $$\sum_{n\in\mathbb{Z}}|\hat{f}(n)|^{p}|n|^{p-2}\le C\|f\|^{p}_{L^{p}(\mathbb{T})}$$ If $p=1$, it's ...
0
votes
0answers
19 views

Nonlinear Maximum Principle estimate

Im interested in the in the 2D Boussinesq equations given by $$\begin{cases}\partial_{t}u+u\cdot\nabla u+\nabla p+\Lambda^{\alpha}u=\theta e_{2}\\ \nabla\cdot u=0\\ \partial_{t}\theta+u\cdot\nabla\...
3
votes
1answer
27 views

What the expression of a one-dimensional representation of $H$

Let $G= \{ g=(x,y,t); \quad x,y,t \in \mathbb R\}$ be the Heisenberg group and $H= \{ g=(x,y,t) \in G; \quad x=0\}= \{ h=(0,y,t); \quad y,t \in \mathbb R\}$ be a subgroup of $G$. I want to know why ...
1
vote
0answers
15 views

Show that $ \sum_{\mathbb{Z}/N\mathbb{Z}} f(n) g(n+r)h(n+2r) = \sum_{a \in \mathbb{Z}/N\mathbb{Z}} \hat{f}(a)\hat{g}(-2a)\hat{h}(a)$

I found this Fourier series identity in a book on Harmonic analysis but the proof is inclear. Maybe it makes more sense using bra-ket formalism. $$ \sum_{r, n \in \mathbb{Z}/N\mathbb{Z}} f(n) g(n+r)...
1
vote
0answers
25 views

General derivative of composition

We know that if $G\in \mathcal{C}^1(\mathbb{R})$ such that $G(0)=0$ and if $u \in W^{1,p}(I)$, then $G(u) \in W^{1,p}(I)$ and $(G(u))' = G'(u) u'$. Do we have a similar result for $W^{s,p}(I)$ with ...
0
votes
0answers
26 views

Proof of existence of a non-trivial character on a local field of positive characteristic

Let $\mathbb{K}$ be a local field. Definition of local field: Let $\mathbb{K}$ be a field and a topological space. Then $\mathbb{K}$ is called a locally compact field if both $\mathbb{K}^+$ ...