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
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
24 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
80 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
55 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
87 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
47 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
45 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
52 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
52 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
53 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
25 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
111 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
205 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
169 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
35 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
69 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
110 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
45 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
41 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
2answers
112 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
106 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
35 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
36 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
0answers
36 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 ...
1
vote
0answers
27 views

Transformation of Schwartz space into itself

If $T\in C^\infty(R^n), |\partial^\alpha T|\leq c(1+|x|)^N$ and $|T|\geq c((1+|x|)^{-d})$,$f$ Schwartz function, how to prove that mapping $f->Tf$ has continuous inverse?
2
votes
0answers
33 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
49 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
38 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
31 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 ...
2
votes
0answers
47 views

Generalizing the ptwise or $L^1$ ergodic theorem

I was able to write a proof based on the hardy-littlewood maximal function of the following statement: Let $(X, \Sigma, \mu)$ be a $\sigma$-finite measure space, and $d=n \geq 1$ be fixed. Let ...
1
vote
0answers
31 views

The spectrum of an element of the convolution algebra of a nonabelian group

Let $G$ be a locally compact group and $L^1(G)$ its convolution algebra. If $G$ is Abelian, then the spectrum of an element $f \in L^1(G)$ is equal to the image of $\hat{f}$, the Fourier transform of ...
2
votes
1answer
93 views

Help on understanding Schwartz space

Can someone give an example of Schwartz space function that doesn't decay exponentially?
0
votes
1answer
43 views

Confustion with Fourier Transform of harmonic functions

Note: this is homework. Say we assume a time-varying momentum is of the form $p(t) = \Re \{p(w) e^{-iwt} \}$ Now we would like to know the solution of the following equation, in frequency space: $ ...
1
vote
0answers
42 views

right multiplication by elements of a discrete subgroup preserve left haar measure?

If $\Gamma$ is a discrete subgroup of a locally compact topological group, G, it is not necessarily the case that right multiplication on $G$ by elements of $\Gamma$ will preserve a left Haar ...
3
votes
0answers
31 views

Matrix-valued functions with lacunary Fourier series

This question is motivated by investigation of the operator space structure of Hankel matrices (which is surely well-known to the experts). Consider a lacunary Hankel matrix, i.e. a matrix ...
1
vote
0answers
34 views

How many terms are there in a truncated Fourier series of order $N$ for a function $f: \mathbb R^n \to R$

Let $S_N(f)$ be the truncated Fourier series of order $N$ for $$ f: \mathbb R ^n \to \mathbb R. $$ How many Fourier coefficient does $S_N(f)$ contains? I'm not clear on how multidimensional Fourier ...
0
votes
0answers
28 views

Are there orthogonal functions with continuous parameters for multivariate functions harmonic analysis?

So I was working with transforming a two-variable function $f(\theta,\phi)$ into an expansion of spherical harmonics $Y_l^m (\theta,\phi)$ such that: \begin{equation} f(\theta,\phi) = \sum_{l=0}^{L} ...
1
vote
1answer
53 views

Why p>1, $L^p$ and $H^p$ are essentially the same?

the conclusion comes from http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.bams/1183538894 (the first page) $L^{p}$ is Lebesgue integral function space, ...
2
votes
0answers
92 views

A problem concerning measures on locally compact spaces

I am stuck on a question for quite sometime now, although in the text (http://www.latp.univ-mrs.fr/~chaabi/ARTICLES%20IMPORTANTS/Autres%20articles%20interessant/Jewett.pdf , Pg. 10, 2.3E ) it is said ...
1
vote
0answers
34 views

The Fourier Stieltjes transform is uniformly continuous

Let $G$ be a locally compact Abelian group and $\hat{G}$ be its dual group, that is the group of all complex functions $\gamma:G\to\mathbb C$ such that ...
4
votes
1answer
197 views

Open subgroup of $SO(3)$

Does $SO(3)$ have an open nontrivial subgroup?(Group $SO(3)$ with usual matrices product, is all $3\times 3$ matrices whose determinant is 1 and for every element $A\in SO(3)$ we have $A^tA=AA^t=I_3$ ...
0
votes
1answer
41 views

Existance of Haar Measure

While showing the existence of Haar measure We consider all finite sequences of positive numbers $(c_i)_{i < n}$ and all finite sets $\{x_i\mid i < n\}⊂G$ Such that $f(x)\le \sum_i c_i ...
1
vote
1answer
33 views

Existence and uniqueness of solution for an eliptic problem.

Let $\Omega \subset R^n$ be an open and bounded set with smooth boundary and $f \in C^2(\Omega)\cap C(\overline{\Omega})$. Let $ a \geq 0$ be a constant. Consider the following problem: $$ ...
1
vote
1answer
33 views

distance function is p- superharmonic?

In this article in page 3: http://arxiv.org/pdf/0904.1332.pdf says: If I consider $\Omega$ a open bounded and convex set, then the function $\delta (x) = \displaystyle\min_{y \in \partial \Omega } ...
2
votes
0answers
35 views

Exercise 1.3.3(c) of GTM249(Classical Fourier Analysis)

Exercise 1.3.3(c) Let $0<p_0<p<p_1<\infty$ and let $T$ be an operator as in Theorem 1.3.2($\|T(f)\|_{L^{p_0,\infty}(Y)}\leq A_0\|f\|_{L^{p_0}(X)}$ for all $f\in L^{p_0}(X)$ and ...
4
votes
1answer
51 views

schwarz class and $L^2(\mathbb{R})$

Schwarz and $L^2$ both have the property that the Fourier transform is defined and bijective as a self-map of these spaces. Are they related in anyway or is this coincidence? (i.e. dual in some ...
2
votes
0answers
38 views

A question about BMO

In $\mathbb{R}^n$, suppose $f \in \mathrm{BMO}$ and $\phi \in \mathrm{C}_0^\infty$, then can we show that the convolution $f * \phi \in \mathrm{BMO}$?
6
votes
1answer
90 views

Tate's Thesis: Meaning of Local Functional Equation

I am studying the development of Tate's Thesis in Lang's Algebraic Number Theory and have a conceptual question. The setting: Let $k=\mathbb{Q}_p$. Let $\mu$ be the unique Haar measure giving ...