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

Why the space of Fourier-Stieltjes transforms on a compact groups is same as the space of FT on compact groups?

Let $G$ be a locally compact group and we put $L^{1}(G)= \ \text {The space of all complex functions which are integrable with respect to the Haar measure of } \ G.$ Let $\Gamma$ is the dual group ...
0
votes
0answers
20 views

Does there exists $f\in L^{1}(\mathbb R)\cap FL^{1}(\mathbb R)$(=Fourier algebra) but $|f|\not \in A(\mathbb R)$?

For $f\in L^{1}(\mathbb R)$; We define the Fourier transform of $f$ as follows: $$\hat{f}(\xi)= \int_{\mathbb R}f(x) e^{-2\pi i \xi x}dx; \ \text {for} \ \xi \in \mathbb R.$$ Consider a Fourier ...
2
votes
1answer
55 views

Can one visualise the dual groups to Cantor groups?

My question is very simple, and, probably an answer can be found in any harmonic analysis textbook, but it seems I have failed that task. It occurred to me that I don't understand the structure of the ...
1
vote
1answer
43 views

Interesting equation in L^1

Consider $L^{1}(T) = \{ f : R \rightarrow C \text{ with period 1 and } \int_{0}^{1} |f (x)| \ dx < \infty\}$. For $f,g \in L^{1}(T)$ the convolution is given by $(f * g)(x)= ...
0
votes
2answers
36 views

Determine polynomials with $n$-variables

Here is a funny problem arise from harmonic analysis: Let $E$ be a measurable subset of $\mathbb R^n$ with $m(E)>0$, where $m$ is the usual Lebesgue measure on $\mathbb R^n$. In practice, $E$ ...
1
vote
1answer
34 views

Doubt in the definition of the Fourier transform in $L^{2}(\mathbb R^n)$

I am trying to understand the definition of the Fourier transform in $L^{2}(\mathbb R^n)$ . I am understand of this manner : Let $f \in L^{2}(\mathbb R^n)$ and $n$ a natural number. Define $f_n = f ...
1
vote
0answers
53 views

Fitting Sounds Waves with Sines/Cosines

I am trying to model sound waves with a series of sines and cosines but I am not sure what the best way to find the best deterministic sine/cosine combination that best fits the data. What are some ...
0
votes
0answers
18 views

Boundary of real part of functions in $H^p$ and Poisson nontangential maximal function

I have two questions when reading on $H^p$ spaces, many books do not give their proofs. First we reminde that $H^p(\mathbb R^2_+)$ consists of all functions $F$ which is analytic in the upper half ...
2
votes
0answers
56 views

Abstract Fourier Analysis

I am trying to prove that given a locally compact abelian (Hausdorf) topological group, the characters on it parameterize the multiplicative linear functionals on the banach * algebra $L^1(G, d\mu)$ ...
1
vote
0answers
51 views

Fourier- Lebesgue space and Fourier transform

Let $a, b \in \mathbb R$ such that $ab> 1$ ; put $$L^{1}_{a}(\mathbb R)= \{ f:\mathbb R\to \mathbb C \ \text {measurable} : ||(1+|x|)^{a}f||_{L^{1}(\mathbb R)}< \infty \},$$ and ...
2
votes
1answer
117 views

Is Fourier transform of a $L^{1}$ integrable function is $L^{1}$ integrable?

Let $f:\mathbb R \to \mathbb R$ such that $$f(x)= \frac{\sin \pi x}{x (x^{2}-1)}$$ for $x\in \mathbb R - \{ 0, -1, 1 \}$ and $f(x):= \pi $ for $x=0$ and $f(x)=-\frac{\pi}{2}$ for $x= -1, 1$. Let ...
1
vote
1answer
41 views

Convolution of distribution and Poisson kernel

I know that for a general tempered distribution (see here) $f$ the convolution $f\star P_t$ is not meaningful. Where $P_t$ is the Poisson kernel (see here) which is given by ...
1
vote
2answers
59 views

How to estimate (compute) Fourier transform?

Let $f:\mathbb R \to \mathbb R$ such that $$f(x)= \frac{\sin \pi x}{x (x^{2}-1)}$$ for $x\in \mathbb R - \{ 0, -1, 1 \}$ and $f(x):= \pi $ for $x=0$ and $f(x)=-\frac{\pi}{2}$ for $x= -1, 1$. ...
5
votes
4answers
158 views

Compute $\left (1+\frac{1}{2}+\cdots+\frac{1}{n} \right )^2+\cdots+\left (\frac{1}{n-1}+\frac{1}{n} \right )^2+\left (\frac{1}{n} \right )^2$

Compute the value of the following expression $$\left (1+\frac{1}{2}+\cdots+\frac{1}{n} \right )^2+\left ( \frac{1}{2}+\cdots + \frac{1}{n}\right )^2+\cdots+\left (\frac{1}{n-1}+\frac{1}{n} \right ...
4
votes
1answer
74 views

Taylor expansions of harmonic functions.

Let $D \subset \mathbb{R}^2$ be the unit open disc. Note that any harmonic function on $D$ is real analytic. How can one prove that there exits a constant $C>0$ such that the Taylor expansion of ...
1
vote
1answer
50 views

Higher Dimensional Paley Wiener Theorem

Is there a natural generalization of the Paley Wiener theorem to higher dimensions (i.e. relating a function $f \in L^2(K), K \subset \mathbb{R}^d$ compact, to an entire function in $\mathbb{C}^d$)? ...
0
votes
1answer
43 views

how to deduce that finite group $G$ has at most $|G|$ characters

Let $G$ be a finite abelian group. A character of $G$ is a group homomorphism $\chi: G\longrightarrow \mathbb{C}^{\times}$. I have proved by induction that for distinct $\chi_1,\cdots,\chi_r$, they ...
3
votes
2answers
91 views

A bound for the product of two functions in BMO

The question: Let's consider $f\in L^\infty(\mathbb{T})$ and $g\in BMO(\mathbb{T})$. I'm trying to figure out if the following inequality is true $$ \|fg\|_{BMO}\leq C\|f\|_{L^\infty}\|g\|_{BMO}. $$ ...
3
votes
1answer
51 views

Show the following: $\displaystyle\sum_{n=1}^\infty\dfrac1{n(n+k)}=\dfrac{H_k}k$.

For each $n\in\Bbb N$ with $n\geq1$ is $\displaystyle H_n:=\sum_{k=1} ^n\dfrac 1k$ the $n$*-th partial sum of the harmonic series.* $k\in\Bbb N$ with $k\geq1$. Show that ...
0
votes
1answer
50 views

Questions about Haar integral.

Questions about Haar integral. Let $B$ be the subgroup of $GL_2 (\mathbb{R})$ defined as $$ B =\{ \left( \begin{matrix} 1 & b \\ 0 & c \end{matrix} \right), b, c \in \mathbb{R}, c \neq 0 ...
2
votes
1answer
25 views

Questions about Haar integral for the group $GL_2(\mathbb{R})$.

Questions about Haar integral for the group $GL_2(\mathbb{R})$. How to show that a Haar integral for the group $GL_2 (\mathbb{R})$ is given by $$ I(f ) = \int_{\mathbb{R}} \int_{\mathbb{R}} ...
0
votes
1answer
88 views

Dirichlet triangle mesh

I was reading up on the Dirichlet problem, and was truly hoping if anyone here has the time to help make me understand this a bit better. In particular, the question relates to harmonic maps. My ...
2
votes
1answer
59 views

A question on Harmonic functions.

$f$ and $g$ are two given continuous functions on $\overline {D(0,1)}$) and both $f$, $g:\overline {D(0,1)}\to\Bbb R$ are harmonic on unit disc $D(0,1)$. Now, If $f\equiv g$ on some $C=\{e^{i\theta} ...
0
votes
0answers
42 views

If a normal subgroup, N, contains a lattice why does G/N have finite measure?

Suppose $G$ is a locally compact Hausdorff topological group and suppose $H \leq N \leq G$ are closed subgroups with $N$ normal. Now suppose $G/H$ has a finite $G$-invariant Boreal measure (in the ...
1
vote
2answers
110 views

(Obvious?) Half-Space Poisson Kernel Estimate

In Stein's Singular Integrals and Differentiability Properties of Functions, Theorem 1 (a) of Chapter 8 (pg. 197) he makes the claim without proof that the Poisson Kernel for the half-space ...
1
vote
2answers
42 views

for any $k\in N$, p.v$\int_{a}^{b}\frac{\cos kx}{t-x}dx=?$

We know that the Hilbert transform of cosine function is sine,see http://mathworld.wolfram.com/HilbertTransform.html. Now, we don't integral from $-\infty \to \infty$. We integral from $a \to ...
2
votes
2answers
49 views

Boundedness of functional

In the setting of $2\pi$-periodic $C^1$ functions (whose Fourier series converge to themselves), and given a linear functional $D:C^1_{\text{per}}\to\mathbb R$ satisfying ...
1
vote
1answer
53 views

When does a left Haar measure on a locally compact group restrict to a left Haar measure on a locally compact subgroup?

Given a locally compact group which is not $\sigma$-compact, there exists a $\sigma$-compact subgroup $H$ of $G$ which is open and closed. A Remark in Folland's, A Course in Abstract Harmonic ...
2
votes
0answers
67 views

Is the range of the Fourier transform $L^1(\mathbb{R}) \to C_0(\mathbb{R})$ closed under “quasi-inversion”?

Definitions: A function $f \in C_0(\mathbb{R})$ is quasi-invertible if $1 \notin \operatorname{ran}(f)$. The quasi-inverse of such an $f$ is $\frac{f}{f-1}$. Some discussion: Let $C_1(\mathbb{R})$ ...
1
vote
1answer
56 views

definition of weak*-weak* continuous

I'm reading a paper and I have couple of terms which I can't seem to find the definition for, the first one 1) what do we mean by weak*-weak* continuous map. 2) what is the definition of a left ...
4
votes
1answer
73 views

Calderón-Zygmund operators with positive kernel

Let $T$ be a Calderón-Zygmund operator. That is, $T$ maps $L^2(\mathbb{R}^d)$ to itself and satisfies the representation formula $$ Tf(x) = \int_{\mathbb{R}^d}K(x,y)f(y)\, dy $$ for all $f \in L^2$ ...
1
vote
1answer
31 views

Definition of Left Translation of a function on a topological group

In Folland's A Course in Abstract Harmonic Analysis, he defines for a function $f$ on a topological group $G$, and $y\in G$, $$L_{y}f:x\to f(y^{-1}x)\text{ and }R_{y}f:x\to f(xy)$$ He then remarks ...
4
votes
2answers
134 views

Problem of Harmonic function.

If H is a harmonic function on an unit disk; And $H=0$ on $R_1\cup R_2$, here $R_1, R_2$ are radius of $D(0,1)$. The angle between $R_1$ and $ R_2$ is $r\pi$; here $r\in (0,1]$. If $r$ is an ...
5
votes
1answer
238 views

Haar measure on the groups SO(n) and SO(n,m)

Would you please give me some information about Haar measure on special orthogonal group SO(n) and indefinite special orthogonal group SO(n,m)? Thank you so much!
5
votes
2answers
172 views

equation involving the integral of the modular function of a topological group

Let $G$ be a locally compact topological group and $H$ a closed subgroup. Choose a left Haar measure $d\zeta$ for $H$, and let $d\mu$ be any measure for $G$. Also let $f$ and $g$ be continuous ...
0
votes
1answer
38 views

Show that $\int_{S^{n-1}}(\Delta _{S}f) gd\sigma=\int_{S^{n-1}}f( \Delta _{S}g)d\sigma$

Elias M. Stein said that by an application of Green's theorem the following equality holds $\int_{S^{n-1}}(\Delta _{S}f) gd\sigma=\int_{S^{n-1}}f( \Delta _{S}g)d\sigma$ where $\Delta _{S}$ is a ...
1
vote
1answer
76 views

Does $f(0) = +\infty$ when $\hat f \geq 0$ and $\int \hat f (s) \ ds = +\infty$?

Throughout, $f \in L^1(\mathbb{R})$ and $\hat f \in C_0(\mathbb{R})$ is its Fourier transform $s \mapsto \int e^{its} f(t) \ dt$. Motivation: If $\hat f \in L^1(\mathbb{R})$ too, then, by Fourier ...
5
votes
2answers
122 views

If $f \in L^1(\mathbb{R})$ and $\hat f \geq 0$, is $f$ continuous?

Suppose $f \in L^1(\mathbb{R})$. I am wondering what conditions on $\hat f = \left[ s \mapsto \int e^{its} f(t) \ dt \right] \in C_0(\mathbb{R})$ suffice to make $f$ continuous (or, more accurately, ...
1
vote
1answer
46 views

Relation between Schwartz space and Sobolev space $H_{1}$

The Schwartz space, $S(\mathbb R): = \{f\in C^{\infty}(\mathbb R): \sup_{x\in \mathbb R} |x^{\alpha} D^{\beta}f(x)|< \infty , \forall \alpha, \beta \in \mathbb N \cup \{0\} \}$ and $S'(\mathbb R) ...
1
vote
1answer
50 views

Solving roots of a sum of sinusoids

Suppose I have a sinusoid with fundamental frequency $f_0$ and $N$ harmonics (all with distinct amplitudes $a_k$. Each harmonic also has it's own corresponding phase $\phi_k$ and offset $c_k$. $y(t) ...
3
votes
1answer
84 views

Is there a formula for the Haar measure on a product of groups?

Let $ (G_{n})_{n \in \mathbb{N}} $ be a sequence of locally compact topological groups with a corresponding sequence $ (\mu_{n})_{n \in \mathbb{N}} $ of Haar measures. Is there a way to construct a ...
3
votes
2answers
156 views

Why isn't the parallel between the Fourier transform and the Laplace transform complete?

I mean the question in the following sense. For Fourier, we can do it on compact intervals and then we get a sequence of coefficients. We can do it continuum-style, and then we get a superposition ...
1
vote
1answer
151 views

What does the symbol $\subset\subset$ mean? [duplicate]

In some texts (mainly complex analysis or harmonic analysis) I sometimes see the following double subset symbol $\subset\subset$ for inclusion relation of two regions, e.g., $\Omega$ and $\Omega'$ are ...
1
vote
1answer
37 views

Mean Value Property for Continuous Complex Functions

Suppose I have an open set $U$ in the complex plane and a function $g$ that is continuous on $U$. Let $C(z_0$$,r)$ be a circle fully contained in $U$ of radius $r$ whose center is $z_0$. I know ...
0
votes
1answer
38 views

Harmonic and Continuous everywhere but on a curve is harmonic throughout?

Suppose u is a harmonic function everywhere in a domain $\Omega$, but on a curve inside $\Omega$ , say a segment, and is continuous throughout, i.e $u\in C(\Omega)$. Can we conclude that u is harmonic ...
1
vote
1answer
47 views

Convolution of $L^1(G)$ functions with elements of $M(G)$.

Let $G$ be a non-discrete locally compact group with left Haar measure $\mu$. There is an isometric embedding of $L^{1}(G)\to M(G), f\mapsto fd\mu$. Since $G$ is not discrete, the point-mass measure ...
2
votes
0answers
39 views

Volume of a ball for SO(n).

Let us equip the special orthogonal group $SO(n)$ with a normalized Haar measure $\theta_n$ and let $G_r$ be the subset of rotations $\Omega$ which differ from the identity by (sufficiently small) $r$ ...
3
votes
0answers
53 views

Is Steinhaus theorem ever used in topological groups?

Steinhaus theorem in $\mathbb{R}^d$ says that for $E\subset\mathbb{R}^d$ with positive measure, $E-E:=\{x-y:x,y\in E\}$ contains an open neighborhood of the origin. And for locally compact Hausdorff ...
0
votes
0answers
50 views

Admissibility condition for n-dimensional wavelet

Theorem 14.2.1 [S. T. Ali, J.- P. Antoine, J.- P. Gazeau, Coheret States, Wavelets and Their Generalization] The operator family $U:SIM(n)=\mathbb{R}^n \rtimes(\mathbb{R}_*^+ \times SO(n)) ...
1
vote
0answers
32 views

Need help with Placherel's Theorem

We know that the law of conservation of energy dictates that the energy carried by a waveform in the time domain must equal the energy contained in its power spectrum in the frequency domain. How ...