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
1answer
471 views

Is this a square wave signal?

i have a decomposition of a square wave signal: $$ y = \frac{4h}{\pi}(\sin(x) + \frac{1}{3}\sin(3x) + \frac{1}{5}\sin(5x) + ...) $$ I computed the fundamental wave and 2 harmonic waves: $$ U_{r0} = ...
3
votes
3answers
213 views

What is a “domain” in the maximum-minimum principle?

The maximum-minimum principle says that A harmonic function on a domain cannot attain its maximum or its minimum unless it is constant. Here is my question: If we restrict our attention in ...
3
votes
1answer
133 views

Restricted Direct Products in Koch's Number Theory

On p.353 of Number Theory: Algebraic Numbers and Functions by Helmut Koch, he considers a group $G$ which is the restricted direct product of the locally compact abelian groups $G_i$ with respect to ...
3
votes
1answer
106 views

Convolution on noncommutative group algebras

If $G$ is a non-Abelian locally compact group, and $f$ is in $L^1{(G)}$ and $u$ is in $L^{\infty}(G)$, and $f\ast u=0$ can it be concluded that $u\ast f=0$?
3
votes
0answers
172 views

Extending a convolution operator from $L^p(\mathbb{R}^d)$ to $L^p(\mathbb{R}^d;L^q(\Omega))$

Let $1<p,q<\infty$ and $\Omega$ some $\sigma$-finite measure space. Let $T$ denote a bounded convolution operator on $L^p(\mathbb{R}^d)$ with scalar valued kernel $K$ which is locally integrable ...
1
vote
0answers
142 views

Estimate the Hilbert transform

Let $1\leq p<∞$: Suppose that there exists a constant $C>0$ such that for all $f\in S(\mathbb{R})$ with $L^p$ norm one we have $$\biggl|\{x:|H(f)(x)|>1\}\biggr|\leq C.$$ Here $H(f)$ is ...
1
vote
3answers
179 views

Why is it useful to express PDE solutions as $L^2$-convergent series?

The existence of an $L^2$ orthonormal basis consisting of eigenfunctions of a Sturm-Liouville equation helps us to express the solutions of various ODEs and PDEs as infinite series. However, in the ...
0
votes
2answers
727 views

Sine wave harmonics, sawtooth waveform modified

I am trying to find the formula to generate the waveform below. By using harmonics on standard sine waves and then combining the outcomes, I have managed to generate, triangle, sawtooth and square ...
10
votes
1answer
214 views

Suppose $\phi$ is a weak solution of $\Delta \phi = f \in \mathcal{H}^1$. Then $\phi\in W^{2,1}$

I'm trying to prove the statement in the title in as simple a way as possible. It is Theorem 3.2.9 in Helein's book "Harmonic maps, conservation laws, and moving frames", although it is not proved ...
3
votes
2answers
674 views

Why are translation invariant operators on $L^2$ multiplier operators

For $m \in L^\infty$, we can define the multiplier operator $T_m \in L(L^2,L^2)$ implicitly by $\mathcal F (T_m f)(\xi) = m(\xi) \cdot (\mathcal F T_m)(\xi)$ where $\mathcal F$ is the Fourier ...
3
votes
1answer
626 views

Proof of the classical div-curl-lemma

let $1 = \frac{1}{p} + \frac{1}{q}$ as usual. Let $f \in L^p, g \in L^q$ be vector fields from $\mathbb R^n$ to itself. Assume $div f = 0$ and there exists a function $G$ s.t. $\nabla G = g$. Then $f ...
2
votes
1answer
247 views

Convolution inequality

Let $u$ and $v$ be two $L^1(\mathbb{R})$ functions such that $\|u\|_{L^1} \le \|v\|_{L^1}$ and $f$ is non-negative $L^1(\mathbb{R})$ with non-negative inverse Fourier transform. Is it true that for ...
1
vote
2answers
81 views

Sequence of smooth functions whose image under a maximal operator diverges in $L_p$ norm

For functions $f: \mathbb{R} \rightarrow \mathbb{C}$, define $$ M f(x) = \sup_{t >0} \frac{1}{2}| f(x+t) + f(x-t) |. $$ Given $p \geq 1$, I want to construct a sequence of smooth functions ...
4
votes
1answer
126 views

Bound on the relative measure of $\delta$-neighbourhoods of compact sets using the Hardy-Littlewood maximal theorem

Notation: $|A|$ is the Lebesgue measure of $A \subset \mathbb{R}^d$, and $A_\delta = \{ x : \text{dist}(x,A) \leq \delta \} $ is the $\delta$-neighborhood of $A$. I want to show that there is a ...
1
vote
0answers
109 views

Intuition for Calderon-Zygmund operator?

What is the best intuition for Calderon-Zygmund operators? Why are they so important in singular integrals, and complementary, which singular integrals don't they cover?
5
votes
1answer
318 views

Completeness of BMO without duality to $H^1$

for $f \in L^1_{loc}$, let the sharp-function be defined as $f^\sharp(x) := \sup_{B \in x} |B|^{-1} \int_B |f(y) - |B|^{-1} \int_B f(z) dz | dy$ We define the space $BMO \subset L^1_{loc}$ via $BMO ...
12
votes
1answer
521 views

What are the differences and relations of Haar integrals, Lebesgue integrals, Riemann integrals?

Are Riemann integrals special cases of Haar integrals? Why do we need the invariant property under some actions of groups in the definition of Haar integrals? For example, if we have a group of real ...
14
votes
3answers
899 views

learning algebra and harmonic analysis

I've revised my question a bit in response to the (very helpful) advice so far-- I have an engineering background but am interested in learning abstract harmonic analysis. My interest is rather ...
6
votes
1answer
238 views

Removable sets for harmonic functions and Hardy spaces of general domains

Let $\Omega$ be a domain of the complex plane. The Hardy space $H^p(\Omega)$ is defined, for $1 \leq p<\infty$, as the class of functions $f$ that are holomorphic on $\Omega$ such that $|f|^p$ has ...
4
votes
2answers
312 views

Operators commuting with translations

Let $T$ be a bounded linear operator on $L^2(\mathbb R)$. So, let us now assume that $T$ commutes with the translations $\tau_x$. How do I now show that $T$ is given by a convolution with respect to a ...
2
votes
1answer
327 views

Convolution on group with measure

I was wondering about the generalization of the concept of convolution from the familiar one on real spaces and how many properties still remain. For convolution on Lebesgue-integrable real-valued ...
4
votes
3answers
485 views

Derivatives distribution

Let $f$ be a distribution on $\mathbf{R}^n$ (in the Schwartz sense) such that $$\frac{\partial f}{\partial x_i} = 0 \text{ for $i = 1, \ldots, n$.}$$ Then how to prove that $f$ is a constant? I had ...
3
votes
1answer
370 views

Fourier transform of a special Schwartz function

In Classical Fourier Analysis by Loukas Grafakos we have in Proposition 2.3.25 the following definition for $\mathcal{S}_\infty(\mathbf{R}^n)$, namely that these are all the Schwartz functions $\phi$ ...