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
0answers
3 views

Can you find shearlets in CNNs?

I read that you can find wavelets in the first layers of a CNN. Can you also find shearlets, and if not, why? Edit (further explanations): I read that, when you train a CNN the filters in the first ...
0
votes
0answers
15 views

convolution of Schwartz functions with $f(x) = (1+\|x\|)^{-\frac{1}{2}}$

Let $f(x) = (1+\|x\|)^{-\frac{1}{2}}$ for $x \in \mathbb{R}^n$. This is clear that $f\star g \notin \mathcal S$ where $\mathcal S$ is algebra of Schwartz functions on $\mathbb{R}^n$ and $ g \in ...
1
vote
0answers
34 views

How to calculate this integral tends to zero?

I've posted this before, but I was unable to solve this... Setting : U is a bounded Lipschitz domain in the complex plane Consider the following classical Dirichlet problem for the Laplace ...
2
votes
1answer
44 views

How much does the $L^p$ norms say about a function?

Let's say we have two positive, decreasing function $u$ and $v$ on $[0,+\infty)$, and we know that $\|u\|_{L^p}=\|v\|_{L^p}$ for all $p\ge1$, can we say something about $u$ and $v$? Do they have to be ...
0
votes
0answers
32 views

Representation of a real function through a Fourier Transformation

I 'm trying to do some calculations regarding some differential equations and I came across an interesting way to express a real function through a double integral of the form: ...
0
votes
1answer
24 views

A continuous action of a compact group on a uniform space is equicontinuous?

I am stuck on how to prove the statement "A continuous action of a compact group $G$ on a uniform space $X$ is equicontinuous." So, essentially we want to show that for every entourage $\alpha$ of ...
0
votes
0answers
20 views

Fourier Inversion and Convolution

For $f, g$ in Schwartz function, I have $\widehat{D^\alpha f}=|\xi|^\alpha{}\hat{f}(\xi).$ My question is that if ...
0
votes
0answers
20 views

Calderon's commutator and differential operator[Edited]

First, $$C_1f(x)=p.v.\int_\mathbb{R}\frac{A(x)-A(y)}{(x-y)^2}f(y)dy$$ Here, $C_1$ is the Calderon's first commutator. The author says, the $L^p$ boundedness of $C_1$ is coincides with $[|D|,A]$ where ...
0
votes
0answers
27 views

Prove: For a harmonic function $u$, $|z|^{1-\epsilon}|u(x,y,z)| \leq (x^2+y^2)^{0.5-\epsilon}$ implies $u = 0$ for $0 < \epsilon < 0.5$

Prove: For a harmonic function $u: \mathbb{R}^3 \rightarrow \mathbb{R}$, if for all $(x,y,z) \in \mathbb{R}^3$ $|z|^{1-\epsilon}|u(x,y,z)| \leq (x^2+y^2)^{0.5-\epsilon}$ then $u = 0$ for $0 < ...
1
vote
0answers
29 views

Fourier transform without using Lebesgue measure

Let $\mathbb{L}^p(\mu)$ be a space such that $$ \mathbb{L}^p(\mu) = \left\{f:\mathbb{R}\to \mathbb{R} \mbox{ measurable}: \|f\|_{L^p(\mu)} = \left(\int_0^{+\infty} ...
1
vote
1answer
36 views

Harmonic forms and functions on compact manifolds

I hope my question is not stupid, I'm studying chapter 5.1 of Claire Voisin's book "Hodge theory and complex geometry". Let $X$ be a compact manifold and $A^k(X)$ be the space of $C^\infty$ forms on ...
0
votes
0answers
17 views

Differential operator with absolute sign?

From Classical and Multilinear Harmonic Analysis - Schlag, Muscalu There is a operator denoted by $|D|$, where $D$ is a convenient notation for derivative operator. What does $|D|$ mean? Is it ...
0
votes
0answers
22 views

What does the explicit formula means in this sentence?

I'm reading Classic and Multilinear Harmonic analysis vol.2 - Muscalu, Schlag In page 134, it says, $$\int_{\partial B(x,\epsilon)}-F(y-x)\frac{\partial u}{\partial\nu}(y)d\sigma(y)=0$$ can be ...
1
vote
1answer
38 views

Completeness of $(BMO(\Bbb R^n),||\cdot||_{\ast})$

Recall that $$ BMO(\Bbb R^n):=\left\{f\in L_{loc}^1(\Bbb R^n)\;\mbox{modulo constant functions, such that}\\ \forall B\subseteq\Bbb R^n\;\mbox{ball}, \exists\alpha(B)\in\Bbb R\;\;\mbox{such that}\\ ...
7
votes
1answer
156 views

Prove that $\operatorname{p.v.}(k\;*f)$ does not exist if $k(x)=|x|^{-n+i\gamma}$ and $f\in\mathcal{C}_c^1$

I put a bounty only because I need quickly a solution, NOT because I know it's difficult - maybe it is, maybe not. I'm trying to do it, but without results. If I get some "intermediate result" ...
0
votes
1answer
41 views

Math-english for non-natives: What does “supported in” mean?

As a non-native English speaker, I am struggling with the following sentence: "Fix a function $f:\mathbb{R}\to\mathbb{C}$ such that $f$ is supported in the unit Ball." Does this mean ...
0
votes
0answers
10 views

A version of Hörmander multiplier theorem

Let $m>n/2$ be an integer. Let $h\in H^m_{loc}(\mathbb{R}^n)$ satisfy that $\displaystyle \exists M>0,\forall R>0,\sum_{|\alpha|\le m}\int_{\frac R2\le|w|\le2R}R^{2|\alpha|}|\partial^\alpha ...
0
votes
1answer
24 views

If $f\in S(\mathbb R^n)$ (schwarz space), why $f\in L^p(\mathbb R^n)$?

Let $$\mathcal S(\mathbb R^n)=\left\{f\in \mathcal C^\infty (\mathbb R^n)\mid \forall N\in\mathbb N,\forall \alpha \in\mathbb N^n, \sup_{x\in\mathbb R^n}|(1+|x|^N)\partial _x^\alpha f(x)|<\infty ...
1
vote
1answer
21 views

Space of Riesz transforms is closed

Let $B=\bigoplus_{j=0}^nL^1(\mathbb R^n)$ a Banach space with norm $\|(f_0,\ldots,f_n)\|=\|f_0\|_{L^1}+\cdots+\|f_n\|_{L^1}$. Define $$S=\{(f_0,f_1,\ldots,f_n):f_j=R_jf_0,\quad j=1,2,\ldots,n\}\subset ...
0
votes
0answers
18 views

Controlling $\dot W_{k,1}$ norm of a schwarz function

If $\phi \in \mathscr{S}(\mathbb{R})$ then does it follow that there is $c$ s.t. $||\nabla^k \phi||_{L_1} \leq c^k$? From the definition I have only been able to get that this is true for all $k$ in ...
3
votes
1answer
50 views

If Fourier sequence $\{H_n\}$ of a function $f$ converges almost everywhere to a function $g$, then $f=g$ almost everywhere?

if $\{H_n\}$ fourier sequence of an $L^2$ function $f$ converges almost everywhere to a function $g$ then $f=g$ almost everywhere Where $H_n = n$th fourier series of $f$. True or False?
0
votes
1answer
28 views

Solve for bound of $\sigma(n)$ from harmonic series.

I am given the harmonic series, $H_n$. How can I show that for $n\geq 1$, $$\sigma(n)\leq H_n+e^{H_n}\ln{H_n}$$ By the way, if you're not familiar with it, $\sigma(n)$ is the sum of all positive ...
0
votes
0answers
25 views

Solving traveling wave usin the shooting method

The spatially-dependent Hodgkin-Huxley equation for a cylindrical dendrite or unmyelinated axon: where $\frac{a}{2\rho}\frac{\partial^2V}{\partial x^2}$ is a diffusion term $a$ is the fiber radius, ...
2
votes
0answers
26 views

Planar sets in R^{2} with bounded Fourier transforms

I have a question which I'd be greatly happy to hear an answer for (because it sounds really cool!). Say I'm given some "nice" region $\Omega$ in $[0,1]^{2}$, how can one determine all the $p>0$ ...
2
votes
1answer
35 views

Proving $\|[b,T](f)\|_{p}\le C\|b\|_{BMO(\mathbb{R}^{n})}\|f\|_{p}$ using the Fefferman-Stein inequality

Let $1<p<\infty$ and $1<r<\infty$ and let $\mathcal{M}_{r}(g)$ denote $\mathcal{M}(|g|^{r})^{\frac{1}{r}}$, where $\mathcal{M}$ is the Hardy-Littlewood maximal function. Also let $T\in ...
8
votes
3answers
389 views

Triangle inequality fails in $L^{1,\infty}$

It can be proved that $\forall\varepsilon>0$ there exists $C(\epsilon)>0$ such that for all $f,g\in L^{1,\infty}(\Bbb R^n)$ we have that $$ ...
0
votes
0answers
103 views

Several questions about the proof of this lemma

I am reading this paper. I have Several questions about the proof of the lemma 3.3. How to Prove 1,2,3,4?
0
votes
0answers
22 views

Equivalent conditions for weak $L^p$ spaces for $p\leq 1$

I have difficulty doing the following exercise from Tao's real analysis book: Let $X$ be $\sigma$-finite measure space and $0<p\leq 1$. Then show that the following are equivalent: $f$ is in ...
0
votes
0answers
32 views

Fundamental solution for the p-harmonic and p-biharmonic equation

I am working on $p$-Laplace equation. that is $$\tag{1} -\text{div}(|\nabla u|^{p-2}\nabla u)=\delta_0 \;\; in\; \mathcal{D}'(\mathbb{R}^2), $$ and the $p$-bilaplace equation, that is $$\tag{2} ...
0
votes
1answer
45 views

Sequences $(U_n)$ of neighborhoods of $0$ in a LCA group with $m(U_n)\to 0$

Let $G$ denote an infinite compact abelian group with Haar measure $m$ (so $m(G)=1$). Given a neighborhood $U_1$ of the unit $0$ in $G$ we can find a symmetric neighborhood $U_2$ of $0$ such that ...
3
votes
1answer
30 views

What is duality argument for the operator on $L^p-$ spaces?

Suppose that the operator $T: L^{p}(\mathbb R) \to L^{p}(\mathbb R)$ (say for instance, some nice convolution operator) is bounded for $1\leq p \leq 2.$ At various, places we see that (for ...
0
votes
0answers
12 views

Riesz basis of Paley-Wiener space.

Let us consider the Paley-Wiener space: $$PW_\pi:=\{f\in L^2(\mathbb R)\cap C(\mathbb R),\ \operatorname{supp}\hat f\subset [-\pi,\pi] \}.$$ Let $\{\lambda_n\}_{n\in\mathbb Z}$ be a sequence of real ...
1
vote
0answers
32 views

Does Fourier Algebra of locally compact group separate compact sets of the group?

Let $G$ be a locally compact group. Consider the left regular representation $\lambda$ over $L^2(G)$. Then according to Eymard, Fourier algebra of $G$, $A(G)$ is the set of all coefficients of ...
1
vote
1answer
39 views

Does the Hilbert transform of Schwarz function decay far away

The Hilbert transform $H$ of Schwarz functions can be defined as \begin{equation} Hf(x)=\int_{|y|<1}\frac{f(x-y)-f(x)}{y}dy + \int_{|y|>1} \frac{f(x-y)}{y}dy. \end{equation} I would like to ...
2
votes
1answer
62 views

Fourier series of dirac delta

Let $f \in S(\mathbb{R}^n)$ is it true that $$\frac{1}{(2\pi)^n} \lim_{\epsilon \rightarrow 0} \sum_{z\in \mathbb{}{Z^n}} \int_\mathbb{R^n} f\left( \frac{x}{\epsilon} \right) e^{iz (x-a\epsilon)} dx = ...
0
votes
1answer
29 views

Are linearly independent harmonic polynomials orthogonal upon integration over the sphere?

There is a theorem that states that the vector space of homogeneous polynomials decomposes into an orthogonal direct sum of vector spaces of harmonic polynomials as $$ \mathcal{P}_n = \mathcal{H}_n ...
0
votes
1answer
16 views

Can we relax the hypothesis of Uniqueness theorem for Fourier series?

I know this fact: "Suppose that $f\in L^{1}(\mathbb T)$ and $\hat{f}(n)=0$ for all $n\in \mathbb Z,$ then $f=0 $ all most everywhere on $\mathbb T$." My Question is: Suppose that $f\in ...
3
votes
0answers
55 views

When $Q(\alpha)=\int_B |f(x) - \alpha| \, dx$ is minimal?

I've been asked to prove (or find a counterexample) that the quantity $$Q(\alpha)=\int_B |f(x) - \alpha| \, dx$$ is always minimal when $\alpha=\bar{\alpha} = \frac{1}{|B|} \int_B f(x) \, dx$ ...
1
vote
0answers
21 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
20 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 ...
1
vote
0answers
18 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
76 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
349 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 ...
5
votes
1answer
82 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
0answers
9 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 ...
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
23 views

A Hilbert transform that takes several functions

While playing with some PDE I came across a singular integral that looks something like ...