PlanetMath: table of generalized Fourier and measured groupoid transforms

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (200)
Orphanage
Unclass'd
Unproven (511)
Corrections (9)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

table of generalized Fourier and measured groupoid transforms

(Topic)

generalized Fourier transforms

Fourier-Stieltjes transforms and measured groupoid transforms are useful generalizations of the (much simpler) Fourier transform, as concisely shown in the following table- with the same format as CWoo's Feature on Fourier transforms - for the purpose of direct comparison with the latter transform. Unlike the more general Fourier-Stieltjes transform, the Fourier transform exists if and only if the function to be transformed is Lebesgue integrable over the whole real axis for $t \in{\mathbb{R}}$ , or over the entire ${\mathbb{C}}$ domain when $\check{m}(t)$ is a complex function.

Definition 0.1 Fourier-Stieltjes transform.

Given a positive definite, measurable function on the interval $(-\infty ,\infty)$ there exists a monotone increasing, real-valued bounded function $\alpha (t)$ such that:

$\displaystyle f(x)=\int_\mathbb{R}e^{itx}d(\alpha (t),$

(0.1)

for all $x \in{\mathbb{R}}$ except a small set. When is defined as above and if $\alpha(t)$ is nondecreasing and bounded then the measurable function defined by the above integral is called the Fourier-Stieltjes transform of $\alpha(t)$ , and it is continuous in addition to being positive definite.

FT Extensions or Generalizations

	$\mathcal F{f(t)} = \hat{f}(x)$	Conditions*	Explanation	Description
	$(\sqrt{2 \pi})^{-1}c$	Notice on the next line the
		overline bar placed above
	$\int \hat{f}(x) \overline{t(x)}dx$	$f(t)\in{L^1(G_l)}$ , with a	Fourier-Stieltjes transform	$\hat{f}(x)\in{C_0(\hat{G_l})}$
		locally compact groupoid [1];
		$\int$ is defined via
		a left Haar measure on
$\hat{m}(x)$	$\check{m}(t)= \int e^{itx}d\hat{m}(x)$	as above	Inverse Fourier-Stieltjes	$\check{m}(t) \in{L^1(G_l)}$ ,
			transform	([2], [3]).
$\hat{m}(x)$	$\check{m}(t) = \int e^{itx}d\hat{m}(x)$	When $G_l=\mathbb{R}$ , and it exists	This is the usual	$\check{m}(t) \in{\mathbb{R}}$
		only when $\hat{m}(x)$ is	Inverse Fourier transform
		Lebesgue integrable on
		the entire real axis

*Note the `slash hat' on $\hat{f}(x)$ and $\hat{G_l}$ .

Bibliography

1: A. Ramsay and M. E. Walter, Fourier-Stieltjes algebras of locally compact groupoids, J. Functional Anal. 148: 314-367 (1997).
2: A. L. T. Paterson, The Fourier algebra for locally compact groupoids., Preprint, (2001).
3: A. L. T. Paterson, The Fourier-Stieltjes and Fourier algebras for locally compact groupoids., (2003) Free PDF file download.