Bochner's theorem

Bochner's theorem

In mathematics, Bochner's theorem characterizes the Fourier transform of a positive finite Borel measure on the real line.

Background

Given a positive finite Borel measure "μ" on the real line R, the Fourier transform "Q" of "μ" is the continuous function

:Q(t) = int_{mathbb{R e^{-itx}d mu(x).

"Q" is continuous since for a fixed x, the function "e-itx" is continuous and periodic. The function "Q" is a positive definite function, i.e. the kernel "K"("x", "y") = "Q"("y" - "x") is positive definite; this can be checked via a direct calculation.

The theorem

Bochner's theorem says the converse is true, i.e. every positive definite function "Q" is the Fourier transform of a positive finite Borel measure. A proof can be sketched as follows.

Let "F"0(R) be the family of complex valued functions on R with finite support, i.e. "f"("x") = 0 for all but finitely many "x". The positive definite kernel "K"("x", "y") induces a sesquilinear form on "F"0(R). This in turn results in a Hilbert space

:( mathcal{H}, langle ;,; angle )

whose typical element is an equivalence class ["g"] . For a fixed "t" in R, the "shift operator" "Ut" defined by ("Utg")("x") = "g"("x - t"), for a representative of ["g"] is unitary. In fact the map

:t ; stackrel{Phi}{mapsto} ; U_t

is a strongly continuous representation of the additive group R. By the Stone-von Neumann theorem, there exists a (possibly unbounded) self-adjoint operator "A" such that

:U_{-t} = e^{-iAt}.;

This implies there exists a finite positive Borel measure "μ" on R where

:langle U_{-t} [e_0] , [e_0] angle = int e^{-iAt} d mu(x) ,

where "e"0 is the element in "F"0(R) defined by "e"0("m") = 1 if "m" = 0 and 0 otherwise. Because

:langle U_{-t} [e_0] , [e_0] angle = K(-t,0) = Q(t),

the theorem holds.

Applications

In statistics, one often has to specify a covariance matrix, the rows and columns of which correspond to observations of some phenomenon. The observations are made at points x_i,i=1,ldots,n in some space. This matrix is to be a function of the positions of the observations and one usually insists that points which are "close" to one another have "high" covariance. One usually specifies that the covariance matrix Sigma=sigma^2A where sigma^2 is a scalar and matrix A is n by n with ones down the main diagonal. Element i,j of A (corresponding to the correlation between observation i and observation j) is then required to be fleft(x_i-x_j ight) for some function f(cdot), and because A must be positive definite, f(cdot) must be a positive definite function. Bochner's theorem shows that f(.) must be the characteristic function of a symmetric PDF.

See also

* Positive definite function

References

* M. Reed and B. Simon, "Methods of Modern Mathematical Physics", vol. II, Academic Press, 1975.


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Bochner's formula — In mathematics, Bochner s formula is a statement relating harmonic functions on a Riemannian manifold (M, g) to the Ricci curvature. More specifically, if u : (M, g) ightarrow mathbb{R} is a harmonic function, so riangle g u = 0 ( riangle is the… …   Wikipedia

  • Bochner integral — In mathematics, the Bochner integral extends the definition of Lebesgue integral to functions which take values in a Banach space.The theory of vector valued functions is a chapter of mathematical analysis, concerned with the generalisation to… …   Wikipedia

  • Salomon Bochner — Infobox Scientist name = Salomon Bochner field = Mathematics alma mater = University of Berlin doctoral advisor = Erhard Schmidt doctoral students = Richard Askey Jeff Cheeger Hillel Furstenberg Israel Halperin known for = Bochner integral… …   Wikipedia

  • Salomon Bochner — Pour les articles homonymes, voir Bochner. Salomon Bochner (20 août 1899 2 mai 1982) est un mathématicien américain d’origine austro hongroise, connu pour ses travaux en analyse, en théorie des probabilités et en géométrie différentielle.… …   Wikipédia en Français

  • Hartogs' extension theorem — In mathematics, precisely in the theory of functions of several complex variables, Hartogs extension theorem is a statement about the singularities of holomorphic functions of several variables. Informally, it states that the support of the… …   Wikipedia

  • Salomon Bochner — (* 20. August 1899 in Podgórze bei Krakau, heute Polen; † 2. Mai 1982 in Houston, Texas) war ein US amerikanischer Mathematiker, der auf dem Gebiet der Analysis (z. B. Harmonische Analyse, fastperiodische Funktionen, mehrere komplexe Variable,… …   Deutsch Wikipedia

  • Hille–Yosida theorem — In functional analysis, the Hille–Yosida theorem characterizes one parameter semigroups of linear operators on Banach spaces satisfying certain continuity restrictions. The theorem is useful for solving certain differential equations such as the… …   Wikipedia

  • Kōmura's theorem — In mathematics, Kōmura s theorem is a result on the differentiability of absolutely continuous Banach space valued functions, and is a substantial generalization of Lebesgue s theorem on the differentiability of the indefinite integral, which is… …   Wikipedia

  • List of mathematics articles (B) — NOTOC B B spline B* algebra B* search algorithm B,C,K,W system BA model Ba space Babuška Lax Milgram theorem Baby Monster group Baby step giant step Babylonian mathematics Babylonian numerals Bach tensor Bach s algorithm Bachmann–Howard ordinal… …   Wikipedia

  • Positive-definite function — In mathematics, the term positive definite function may refer to a couple of different concepts. Contents 1 In dynamical systems 2 In analysis 2.1 Bochner s theorem 2.1.1 Applications …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”