Fact-checked by Grok 2 weeks ago

Bochner's theorem

Bochner's theorem is a fundamental result in Fourier analysis and harmonic analysis that characterizes continuous positive definite functions on Euclidean space. Specifically, it states that a function \phi: \mathbb{R}^n \to \mathbb{C} is continuous and positive definite—meaning that for any finite set of points x_1, \dots, x_m \in \mathbb{R}^n and complex coefficients c_1, \dots, c_m \in \mathbb{C}, the inequality \sum_{j=1}^m \sum_{k=1}^m \overline{c_j} \phi(x_j - x_k) c_k \geq 0 holds—if and only if there exists a unique finite nonnegative Borel measure \mu on \mathbb{R}^n such that \phi(x) = \int_{\mathbb{R}^n} e^{i \langle x, \xi \rangle} \, d\mu(\xi) for all x \in \mathbb{R}^n.^[1] Named after the mathematician Salomon Bochner (1899–1982), the theorem appeared in his 1932 monograph Vorlesungen über Fouriersche Integrale, where it provided a key integral representation linking positive definiteness to Fourier-Stieltjes transforms.^[2] This work built on earlier developments in integral representations and marked a significant advancement in understanding the structure of positive definite functions beyond finite-dimensional settings.^[2] The theorem has broad implications across mathematics, particularly in probability theory, where it implies that the characteristic function of any random variable—defined as \phi(t) = \mathbb{E}[e^{i \langle t, X \rangle}]—is continuous and positive definite, and conversely, every continuous positive definite function with \phi(0) = 1 arises as the characteristic function of a unique probability measure on \mathbb{R}^n.^[1] In harmonic analysis, it extends to more general locally compact abelian groups via Pontryagin duality and has connections to the spectral theorem for self-adjoint operators on Hilbert spaces.^[3] Applications also appear in approximation theory, kernel methods in machine learning, and the study of stationary processes, where positive definite functions serve as valid covariance kernels.^[4]

Mathematical Foundations

Positive-definite functions

In the context of harmonic analysis, a continuous function f: G \to \mathbb{C} on a topological group G is defined as positive-definite if, for every finite collection of points g_1, \dots, g_n \in G and complex coefficients c_1, \dots, c_n \in \mathbb{C},

\sum_{j=1}^n \sum_{k=1}^n c_j \overline{c_k} f(g_j^{-1} g_k) \geq 0.

This condition ensures that the matrix (f(g_j^{-1} g_k)) is positive semi-definite for any such finite set.^[5] Positive-definite functions are often normalized by requiring f(e) = 1, where e denotes the identity element of G, which aligns with their role in representing expectations or inner products in associated Hilbert spaces.^[5] Examples of positive-definite functions include the constant function f(g) = 1 for all g \in G, which trivially satisfies the inequality. On abelian groups, continuous characters \xi: G \to \mathbb{C} (homomorphisms into the unit circle) are positive-definite, since the quadratic form is \left| \sum_{j=1}^n c_j \xi(g_j) \right|^2 \geq 0. More generally, diagonal matrix coefficients \langle \pi(g) \xi, \xi \rangle arising from irreducible unitary representations \pi of G on a Hilbert space, for unit vectors \xi, yield positive-definite functions.^[5]^[6] Key properties of continuous positive-definite functions include boundedness, with |f(g)| \leq f(e) = 1 for all g \in G, and hermiticity, satisfying f(g^{-1}) = \overline{f(g)} (which holds automatically on abelian groups). These ensure that f behaves like a correlation function, maintaining non-negativity in quadratic forms.^[5] The term "positive-definite function" was introduced by I. J. Schoenberg in 1938, extending concepts from earlier work by G. Herglotz in 1911 on sequences over the integers.^[6]^[7]

Locally compact abelian groups and Pontryagin duality

A locally compact abelian group (LCAG) is defined as a topological group G that is abelian (i.e., commutative under the group operation), Hausdorff (to ensure separation of points), and locally compact (meaning every point has a compact neighborhood).^[5] This structure generalizes familiar groups like the real numbers under addition to more abstract settings, enabling the extension of classical analysis tools such as integration and transforms.^[8] Prominent examples of LCAGs include the Euclidean space \mathbb{R}^n with the standard topology, the integers \mathbb{Z} equipped with the discrete topology, the circle group \mathbb{T} = \mathbb{R}/\mathbb{Z} (which is compact), and the p-adic integers \mathbb{Z}_p for a prime p (which are compact and totally disconnected).^[5] These examples illustrate the diversity of LCAGs, ranging from connected and non-compact to discrete and compact topologies.^[8] Central to the theory of LCAGs is Pontryagin duality, which associates to every LCAG G its Pontryagin dual group \hat{G}, defined as the set of all continuous group homomorphisms (known as characters) from G to the circle group \mathbb{T}.^[9] The dual group \hat{G} is equipped with the compact-open topology, making it another LCAG, and the Pontryagin duality theorem asserts that there is a canonical topological isomorphism G \cong \hat{\hat{G}} between G and its double dual, preserving the group structure and topology.^[10] This duality provides a profound symmetry that underpins harmonic analysis on non-Euclidean groups, allowing the transfer of analytic properties between a group and its dual.^[5] To perform analysis on LCAGs, one employs the Haar measure, which is a unique (up to positive scalar multiples) non-trivial regular Borel measure \mu on G that is left-invariant under the group action, satisfying \mu(gE) = \mu(E) for all g \in G and measurable sets E \subseteq G.^[11] This measure extends the Lebesgue measure on \mathbb{R}^n and enables the definition of integrable functions L^1(G) via the integral \int_G f(g) \, d\mu(g), providing a foundation for convolution and other operations invariant under group translations.^[12] The Fourier transform on an LCAG G is defined for functions f \in L^1(G) by

\hat{f}(\xi) = \int_G f(g) \overline{\xi(g)} \, d\mu(g), \quad \xi \in \hat{G},

where \overline{\xi(g)} is the complex conjugate of the character value and \mu is a Haar measure on G.^[5] This transform diagonalizes convolutions, much like in the classical case, and extends by density to an isometric isomorphism on L^2(G) via the Plancherel theorem, which equates the L^2-norms on G and \hat{G} (with an appropriate dual Haar measure on \hat{G}) and identifies L^2(G) with L^2(\hat{G}).^[8] A key algebraic consequence is the Gelfand-Fourier isomorphism, which establishes that the group C*-algebra C^*(G)—the completion of L^1(G) under the operator norm from the left regular representation on L^2(G)—is isometrically *-isomorphic to C_0(\hat{G}), the C*-algebra of continuous complex-valued functions on \hat{G} that vanish at infinity, via the Fourier transform.^[13] This isomorphism highlights the commutative nature of C^*(G) for abelian G and bridges operator algebra with classical function spaces on the dual group.^[5]

Statement of the Theorem

General version for locally compact abelian groups

Bochner's theorem in its general form characterizes continuous positive-definite functions on a locally compact abelian group G as the Fourier transforms of positive measures on the Pontryagin dual group \hat{G}.^[3] Specifically, let G be a \sigma-compact locally compact abelian group equipped with its Haar measure. A function f: G \to \mathbb{C} is positive-definite if for every n \in \mathbb{N}, g_1, \dots, g_n \in G, and c_1, \dots, c_n \in \mathbb{C}, the inequality \sum_{j,k=1}^n \overline{c_j} c_k f(g_j g_k^{-1}) \geq 0 holds.^[14] The theorem states that if f is continuous and positive-definite on G, then there exists a unique Radon measure \mu on \hat{G} such that

f(g) = \int_{\hat{G}} \xi(g) \, d\mu(\xi)

for all g \in G, where \xi \in \hat{G} denotes the continuous homomorphisms from G to the circle group \mathbb{T}, often written as characters \chi(g).^[3] This integral is the Fourier-Stieltjes transform of \mu, and \mu is nonnegative with finite total variation \|\mu\| = f(e), where e is the identity in G.^[14] For the normalized case, assume f(e) = 1, which implies that \mu is a probability measure on \hat{G}, i.e., \mu(\hat{G}) = 1. The continuity of f ensures that \mu is tight, meaning for every \epsilon > 0, there exists a compact subset K \subset \hat{G} such that \mu(\hat{G} \setminus K) < \epsilon.^[3] This tightness follows from the uniform continuity properties in the context of \sigma-compact groups, guaranteeing the measure's regularity.^[14] Intuitively, the positive-definiteness of f induces a positive linear functional on the space of continuous functions vanishing at infinity on \hat{G}, C_0(\hat{G}), via the Riesz representation theorem, which represents it as integration against a positive Radon measure \mu.^[3] In terms of unitary representations, since G is abelian, the irreducible representations are precisely the characters in \hat{G}; thus, f arises as the integral of matrix coefficients (here, simply \xi(g)) of the one-dimensional regular representation over \mu.^[14]

Uniqueness, existence, and corollaries

The existence of the representing measure \mu in Bochner's theorem follows from the Riesz–Markov–Kakutani representation theorem applied to the dual group \hat{G}. Specifically, the positive-definiteness of the continuous function f: G \to \mathbb{C} induces a positive linear functional \Lambda on C_0(\hat{G}), the space of continuous functions on \hat{G} vanishing at infinity. This functional is defined initially on trigonometric polynomials \sum_{g \in F} c_g \gamma_g, where F \subset G is finite, \gamma_g \in \hat{G}^\wedge = G acts as \gamma_g(\xi) = \xi(g), by \Lambda\left( \sum_{g \in F} c_g \gamma_g \right) = \sum_{g,h \in F} c_g \overline{c_h} f(g h^{-1}), and extended by continuity to all of C_0(\hat{G}). This functional is positive because f is positive-definite, ensuring \Lambda(\phi) \geq 0 for \phi \geq 0. The Riesz–Markov theorem then yields a unique regular positive Borel measure \mu \in M_+(\hat{G}) such that \Lambda(\phi) = \int_{\hat{G}} \phi \, d\mu for all \phi \in C_0(\hat{G}), and the Fourier inversion formula implies f(x) = \int_{\hat{G}} \langle x, \xi \rangle \, d\mu(\xi), where \langle x, \xi \rangle denotes the pairing.^[15]^[1] Uniqueness of \mu is a consequence of the injectivity of the Fourier–Stieltjes transform on the space of finite Radon measures M(\hat{G}). Suppose \mu_1, \mu_2 \in M_+(\hat{G}) both satisfy f(x) = \int_{\hat{G}} \langle x, \xi \rangle \, d\mu_1(\xi) = \int_{\hat{G}} \langle x, \xi \rangle \, d\mu_2(\xi) for all x \in G. Then the difference \nu = \mu_1 - \mu_2 has Fourier transform \hat{\nu} = 0 on G. Since the Fourier transform is injective on M(\hat{G}) for locally compact abelian groups (as established by the uniqueness of Haar measure and density arguments on compactly supported functions), it follows that \nu = 0, so \mu_1 = \mu_2.^[15]^[1] A key corollary is the bijection between the set of continuous positive-definite functions f: G \to \mathbb{C} with f(e) = 1 (where e is the identity) and the set of probability measures on \hat{G}. In this normalized case, the total mass \mu(\hat{G}) = f(e) = 1, establishing the one-to-one correspondence via the Fourier transform. More generally, without normalization, continuous positive-definite functions correspond bijectively to finite positive measures on \hat{G}, with \mu(\hat{G}) = f(e) < \infty.^[15]^[1] Another immediate corollary concerns convolution: if f = \hat{\mu} and g = \hat{\nu} are positive-definite functions corresponding to finite positive measures \mu, \nu \in M_+(\hat{G}), then the pointwise product f \cdot g is also positive-definite and equals \widehat{\mu * \nu}, where * denotes convolution of measures on \hat{G}. This follows from the property that the Fourier transform converts pointwise multiplication to convolution: \widehat{\mu * \nu}(\gamma) = \hat{\mu}(\gamma) \hat{\nu}(\gamma) for \gamma \in G, and the product of positive-definite functions inherits positive-definiteness from the original quadratic form inequalities.^[15]

Special Cases

Herglotz's theorem on the integers

Herglotz's theorem provides the characterization of positive-definite functions on the integers \mathbb{Z}, which form a discrete locally compact abelian group G. The Pontryagin dual \hat{G} of \mathbb{Z} is the circle group \mathbb{T}, identified with the interval [0,1) under addition modulo 1, equipped with the Haar measure normalized to total mass 1.^[16] A function f: \mathbb{[Z](/page/Z)} \to \mathbb{C} is positive-definite if, for every integer n \geq 1, points k_1, \dots, k_n \in \mathbb{[Z](/page/Z)}, and complex coefficients c_1, \dots, c_n \in \mathbb{C}, the inequality \sum_{j,k=1}^n \overline{c_j} f(k_j - k_k) c_k \geq 0 holds.^[17] The theorem states that a normalized positive-definite function f: \mathbb{[Z](/page/Z)} \to \mathbb{C} (with f(0) = 1) admits a unique representation as the Fourier transform of a probability measure \mu on \mathbb{T}, given by

f(k) = \int_{\mathbb{T}} e^{2\pi i k x} \, d\mu(x)

for all k \in \mathbb{[Z](/page/Z)}. This is a special case of the general Bochner theorem for locally compact abelian groups.^[16] Originally formulated by Gustav Herglotz in 1911, the theorem predates and inspired Salomon Bochner's 1932 generalization to arbitrary locally compact abelian groups, serving as a foundational result in the spectral theory of stationary sequences.^[18] A representative example is the function f(k) = r^{|k|} for |r| \leq 1, which is normalized positive-definite on \mathbb{Z}. It corresponds to the probability measure \mu on \mathbb{T} with density

\frac{1 - r^2}{2\pi (1 - 2r \cos(2\pi x) + r^2)}

with respect to Lebesgue measure, known as the Poisson kernel on the circle.^[19]

Bochner-Khinchin theorem on the reals

The Bochner-Khinchin theorem addresses the special case of Bochner's theorem for the locally compact abelian group G = \mathbb{R}^d equipped with vector addition, where the Pontryagin dual group \hat{G} is isomorphic to \mathbb{R}^d itself, with continuous characters given by \chi_\xi(t) = e^{i \xi \cdot t} for \xi, t \in \mathbb{R}^d.^[20] A function f: \mathbb{R}^d \to \mathbb{C} that is continuous, positive-definite, and normalized with f(0) = 1 admits a unique representation as the Fourier-Stieltjes transform of a probability measure \mu on \mathbb{R}^d:

f(t) = \int_{\mathbb{R}^d} e^{i \xi \cdot t} \, d\mu(\xi), \quad t \in \mathbb{R}^d.

Here, the integral is understood in the Stieltjes sense, accommodating singular measures that may not be absolutely continuous with respect to Lebesgue measure. This characterization establishes a bijection between such functions and probability distributions on \mathbb{R}^d.^[20] In probability theory, the theorem identifies these positive-definite functions precisely as characteristic functions of random vectors in \mathbb{R}^d. Specifically, f(t) = \mathbb{E}[e^{i t \cdot X}], where X is a random vector with distribution \mu, and the expectation equals \int_{\mathbb{R}^d} e^{i t \cdot x} \, d\mu(x); the positive-definiteness of f arises directly from this integral representation via properties of the inner product in L^2(\mu).^[21] A canonical example is the characteristic function of the standard multivariate Gaussian distribution, f(t) = e^{-\|t\|^2 / 2}, which is continuous and positive-definite, corresponding to the unique probability measure \mu that is the standard normal distribution on \mathbb{R}^d with mean zero and identity covariance matrix. This illustrates how the theorem links explicit forms of characteristic functions to their underlying distributions.^[20] The nomenclature "Bochner-Khinchin theorem" is commonly employed in probability literature to underscore the theorem's integral representation and its implications for deriving moments, cumulants, and other distributional properties from characteristic functions.^[21]

Applications and Extensions

In harmonic analysis and representation theory

Bochner's theorem plays a central role in abstract harmonic analysis on locally compact abelian groups (LCAGs) by enabling the recovery of positive measures from positive-definite functions through Fourier inversion formulas. Specifically, if \phi: G \to \mathbb{C} is a continuous positive-definite function on an LCAG G, then Bochner's theorem asserts that \phi is the Fourier-Stieltjes transform of a unique bounded positive Radon measure \mu on the Pontryagin dual \hat{G}, given by \phi(x) = \int_{\hat{G}} \chi_x(\xi) \, d\mu(\xi).^[22] The inversion formula then allows reconstruction of \mu from \phi under suitable conditions, such as when \phi is integrable, via standard Fourier inversion procedures. This extends the classical Fourier inversion to general LCAGs and underpins the Plancherel theorem's unitary isomorphism between L^2(G) and L^2(\hat{G}).^[22]^[23] In the context of unitary representation theory, positive-definite functions on LCAGs arise as matrix coefficients of cyclic vectors in unitary representations, and Bochner's theorem facilitates the decomposition of representations into direct integrals of irreducibles. For the left regular representation \lambda on L^2(G), the theorem implies that it decomposes as a direct integral \int_{\hat{G}}^{\oplus} \pi_\xi \, d\mu(\xi), where each \pi_\xi is the irreducible representation given by \pi_\xi(f) \psi(x) = \int_G f(y) \psi(y^{-1}x) \, dy twisted by the character \xi, and \mu is the Plancherel measure on \hat{G}; this multiplicity-free decomposition highlights the abelian structure and is derived from the spectral theorem applied to the convolution operators.^[22] More generally, any continuous positive-definite function \phi corresponds to the coefficient \phi(x) = \langle \pi(x) \xi, \xi \rangle for some cyclic vector \xi in a unitary representation \pi of G, with Bochner's theorem ensuring \pi is a direct integral over \hat{G} weighted by the measure \mu.^[24] Bochner's theorem also informs the structure of group C*-algebras C^*(G), the completion of L^1(G) under the universal norm, by identifying the space K(G) of compactly supported continuous functions as a dense -subalgebra whose Gelfand spectrum relates to positive-definite functions. In particular, for abelian G, C^*(G) \cong C_0(\hat{G}), and positive-definite functions on G correspond to positive elements in this algebra via the Fourier transform, with the theorem implying that closed two-sided ideals in C^*(G) are of the form \{f \in C^*(G) : \hat{f} vanishes on a closed subset of \hat{G}\}; this has applications to amenability, as G is amenable if and only if C^*(G) has an approximate identity of idempotents bounded in the operator norm.^[22] Furthermore, the theorem aids in studying idempotents in C^*(G), which correspond to characteristic functions of open subgroups in \hat{G}, thereby characterizing the ideal structure and providing tools for analyzing the reduced C-algebra C^*_r(G).^[23] For compact abelian groups, Bochner's theorem specializes to yield finite atomic measures \mu on the discrete dual \hat{G}, refining the abelian Peter-Weyl theorem by expressing positive-definite functions as finite sums \phi(g) = \sum_{\chi \in \hat{G}} \mu(\{\chi\}) \chi(g), where \chi are the 1-dimensional characters; this decomposition underscores the finite-dimensionality of the representation theory and the orthogonality of characters in L^2(G).^[22] Extensions of Bochner's theorem to non-abelian locally compact groups employ the Krein-Milman theorem to obtain Choquet representations for positive-definite functions as integrals over extreme points, which are matrix coefficients of irreducible unitary representations. In this setting, a continuous positive-definite function \phi: G \to \mathbb{C} admits a representing measure \mu on the space of irreducibles such that \phi(g) = \int \langle \pi(g) \xi_\pi, \eta_\pi \rangle \, d\mu(\pi), where the integral is a direct integral Bochner-type theorem; this framework, relying on the convexity of the state space and Choquet's theorem for barycentric representations, generalizes the abelian case and applies to decomposition of the regular representation in type I groups.^[22]^[24]

In probability and stationary processes

Bochner's theorem plays a central role in probability theory through its application to characteristic functions. The Bochner–Khinchin theorem establishes that a continuous function \phi: \mathbb{R}^d \to \mathbb{C} satisfying \phi(0) = 1 is the characteristic function of some probability measure on \mathbb{R}^d if and only if it is positive definite.^[25] This characterization, which follows directly from Bochner's general result on positive-definite functions as Fourier transforms of positive measures, provides a necessary and sufficient condition for the existence of a corresponding distribution.^[25] It is particularly useful in addressing moment problems, where one seeks to determine a probability measure from its moments, by ensuring the associated generating function admits a probabilistic interpretation.^[25] In the study of stationary processes, Bochner's theorem characterizes the autocovariance structure of weakly stationary time series. For a weakly stationary process \{X_t\}_{t \in \mathbb{Z}} with mean zero, the autocovariance function \gamma(k) = \mathbb{E}[X_{t+k} \overline{X_t}] is positive definite on \mathbb{Z}. By Bochner's theorem—applied via its special case on the integers, known as Herglotz's theorem—the autocovariance admits a spectral representation

\gamma(k) = \int_{-\pi}^{\pi} e^{i \lambda k} \, F(d\lambda),

where F is a non-decreasing spectral distribution function on [-\pi, \pi] with F(\pi) - F(-\pi) = \gamma(0).^[26] This representation, first derived by Khinchin using Bochner's framework, links the time-domain covariances to a frequency-domain measure, enabling the analysis of dependence structures through spectral properties.^[26] Representative examples illustrate the theorem's utility. For white noise, where \gamma(k) = \delta_{0k} (the Kronecker delta), the spectral distribution F is uniform on [-\pi, \pi], corresponding to a flat spectrum.^[26] In periodic processes, such as a deterministic sinusoid, F is atomic, with point masses at the process's fundamental frequencies.^[26] For autoregressive moving average (ARMA) models, the spectral distribution F is absolutely continuous with a rational density function, reflecting the rational transfer function of the model.^[27] A key refinement is Cramér's theorem, which specifies conditions for the existence of a spectral density. If the autocovariances are absolutely summable, \sum_{k=-\infty}^{\infty} |\gamma(k)| < \infty, then F is absolutely continuous with respect to Lebesgue measure, possessing a density f(\lambda) = \frac{1}{2\pi} \sum_{k=-\infty}^{\infty} \gamma(k) e^{-i \lambda k} \geq 0.^[27] This result, established in Cramér's foundational work on stationary processes, ensures the spectral measure has a density interpretable as the power spectral density.^[27] The spectral representation facilitated by Bochner's theorem underpins advanced results in time series analysis, including the Wold decomposition. This decomposes a stationary process into a deterministic component (predictable from the infinite past) and a purely indeterministic innovation-driven part, which is representable as a causal filter of white noise.^[27] Such decompositions are essential for linear prediction theory, where optimal forecasts rely on inverting the spectral measure to compute projection operators in the Hilbert space of the process.^[27]

Historical Development

Origins and key contributions

The origins of Bochner's theorem lie in early 20th-century investigations into positive definite sequences and the representation of analytic functions with nonnegative real parts. In 1911, Constantin Carathéodory examined the domain of variability for Fourier coefficients of positive harmonic functions, providing insights into positive definite quadratic forms that foreshadowed integral representations in harmonic analysis. Independently, in 1911 Gustav Herglotz established that a trigonometric sum on the integers is positive definite if and only if its Fourier coefficients correspond to a positive measure on the unit circle, a result central to the theory of stationary processes.^[28] These contributions built on Frigyes Riesz's 1909 representation theorem for functions analytic in the unit disk with positive real part, which utilized Stieltjes integrals to express such functions in terms of positive measures. Salomon Bochner advanced this framework significantly in the early 1930s by generalizing it to continuous functions on Euclidean spaces. In his 1932 monograph Vorlesungen über Fouriersche Integrale, Bochner characterized continuous positive definite functions on \mathbb{R}^n as the Fourier transforms of finite positive Radon measures, synthesizing discrete and continuous cases through integral representations.^[2] He elaborated this in a 1933 paper, employing monotone functions and Stieltjes integrals to prove the theorem, which resolved key questions in Fourier analysis and probability theory.^[25] Influenced by Norbert Wiener's tauberian theorems from the 1920s, which connected Fourier series to measure theory, Bochner's work integrated these ideas into a unified perspective. Bochner further extended the theorem in subsequent work during the 1930s to arbitrary locally compact abelian groups, leveraging Lev Pontryagin's duality theory published in 1934 to define Fourier transforms abstractly. This generalization appeared amid the 1930s surge in abstract harmonic analysis, coinciding with the development of Hilbert space theory by John von Neumann and others, which provided the operator-theoretic tools essential for representation theory. Bochner's contributions, initially published in Mathematische Annalen, gained widespread recognition through later expositions, such as Walter Rudin's 1962 Fourier Analysis on Groups and Yitzhak Katznelson's 1976 An Introduction to Harmonic Analysis. Modern generalizations of Bochner's theorem extend its scope beyond abelian groups and classical probability measures, incorporating non-commutative structures and operator-theoretic frameworks. One key direction involves non-abelian groups, where classical positive definiteness is replaced by matrix-valued or representation-theoretic analogs. For compact non-abelian groups, a Bochner-style theorem characterizes positive definite functions as integrals over irreducible representations, building on earlier work by establishing uniqueness and multiplicity bounds in the spectral decomposition. This approach addresses the limitations of the abelian case by accounting for the group's representation theory, as seen in extensions to semisimple Lie groups where spherical functions play a central role in the inversion formula. Further, the Bochner-Schwartz-Godement theorem provides a complete decomposition for positive definite distributions in settings like generalized Gelfand pairs, refining existence and uniqueness for broader harmonic analysis applications in non-abelian contexts.^[29] In probability theory, extensions leverage the Bochner integral to handle vector-valued functions, enabling the analysis of random elements in Banach spaces. The Bochner integral generalizes the Lebesgue integral to functions taking values in separable Banach spaces, preserving measurability and integrability properties essential for stochastic processes.^[30] This framework is crucial for characterizing infinitely divisible distributions, where the Lévy-Khinchin formula serves as a refinement of Bochner's theorem by expressing the logarithm of the characteristic function in terms of a Lévy measure, Gaussian covariance, and drift, directly linking positive definiteness to the semigroup structure of convolution.^[31] Specifically, for Lévy processes, Bochner's theorem ensures that the characteristic function is positive definite, while the Lévy-Khinchin representation provides the explicit parametric form, facilitating applications in stochastic modeling beyond scalar cases.^[32] Related theorems connect Bochner's ideas to operator theory and asymptotic analysis. Bochner's positive definite functions underpin the reduction to Choi's theorem in finite-dimensional settings, establishing that completely positive maps correspond to block-positive matrices via a duality with positive definiteness.^[33] Similarly, Szegő's limit theorem for Toeplitz determinants links to Bochner through the positive definite symbol of Toeplitz operators in stationary processes; the theorem asymptotes the determinant to the exponential of the integral of the log-symbol, relying on Herglotz-Bochner representations for the covariance to ensure the symbol's analyticity in the unit disk.^[34] Post-2000 developments in quantum probability integrate Bochner's theorem into operator algebras, yielding versions for locally compact quantum groups where completely positive definite functions are integrated against Haar states on the dual algebra. These quantum Bochner theorems characterize Fourier transforms of states on non-commutative spaces, extending classical inversion to von Neumann algebras and enabling compatibility conditions for incompatible observables in quantum mechanics.^[35] Connections to free probability, pioneered by Voiculescu in the 1990s, introduce non-commutative analogs where free cumulants replace classical ones, and positive definiteness is adapted to R-transforms; this framework generalizes Bochner's characterization to free infinitely divisible distributions, with applications to random matrix limits and operator-valued processes.^[36] Additionally, computational aspects in signal processing utilize Bochner's theorem for designing stationary kernels in Gaussian processes, approximating spectral densities via Monte Carlo sampling of the positive measure to enhance efficiency in high-dimensional filtering and prediction tasks.^[37]

References

[1]
[PDF] Gaussian measures and Bochner's theorem - Jordan Bell
Apr 30, 2015 · If ϕ : Rn → C is positive-definite, continuous, and satisfies ϕ(0) = 1, then there is some Borel probability measure µ on Rn such that ϕ = ˆµ.
[2]
[PDF] SALOMON BOCHNER August 20, 1899–May 2, 1982 BY ANTHONY ...
May 2, 1982 · This book contains what is now often known simply as Bochner's Theorem,6 characterizing continuous positive definite functions on Euclidean ...
[3]
[PDF] On positive definite distributions - arXiv
Sep 6, 2020 · The Bochner theorem states that a continuous function f on. R is positive definite if and only if it is the Fourier transform of a finite ...Missing: explanation | Show results with:explanation
[4]
[PDF] Part 2: Integral Characterizations of Positive Definite Functions
There are many proofs of this theorem. Bochner's original proof can be found in [Boc33]. Other proofs can be found, e.g., in [Cup75] or [GV64] ...
[5]
Fourier Analysis on Groups | Wiley Online Books
Jan 11, 1990 · Fourier Analysis on Groups ; Author(s):. Walter Rudin, ; First published:11 January 1990 ; Print ISBN:9780470744819 | ; Online ISBN:9781118165621 | ...
[6]
METRIC SPACES AND POSITIVE DEFINITE FUNCTIONS*
We leave open the question whether or not (8') gives the most general function F(t) with this property. Added in proof, August, 1938: Formula (8') gives indeed ...
[7]
On Positive Definite Sequences - jstor
(Theorem of G. Herglotz, [6]). A large number of properties of p. d. sequences were usually deduced from this Fourier-Stieltjes integral representation (For.
[8]
https://books.google.com/books/about/Fourier_Analysis_on_Groups.html?id=k3RNtFSBH8gC
[9]
Pontryagin Duality and the Structure of Locally Compact Abelian ...
... Pontryagin-van Kampen duality theorem and a detailed exposition of the structure of locally compact abelian groups. Measure theory and Banach algebra are ...
[10]
[PDF] Locally compact abelian groups - Part III: Pontryagin Duality
Pontryagin duality theorem. There is a natural isomorphism between a locally compact abelian group G and its double dual bbG given by ev : G −→ bbG where ...
[11]
[PDF] Existence and uniqueness of Haar measure - UChicago Math
Aug 31, 2010 · This paper proves the existence and uniqueness of left and right Haar measures on locally compact groups, where uniqueness means differing by a ...
[12]
254A, Notes 3: Haar measure and the Peter-Weyl theorem - Terry Tao
Sep 27, 2011 · In this post, we will construct Haar measure on general locally compact groups, and then establish the Peter-Weyl theorem, which in turn can be ...
[13]
[PDF] the fourier transform for locally compact abelian groups
Aug 13, 2016 · Abstract. An introduction to locally compact abelian algebraic groups and the usage of dual groups and Fourier transforms to study them.
[14]
[PDF] Locally compact abelian groups - Jordan Bell
Jun 4, 2014 · 2Walter Rudin, Fourier Analysis on Groups, p. 4, §1.1.6. 2. Page 3. If G is discrete, define e on G by e(0) = 1 and e(x) = 0 for x ̸= 0. Then.
[15]
[PDF] Positive positive-definite functions and measures on locally compact ...
To any locally compact abelian group G one can associate its group of characters, or dual group ˆG. The Pontryagin duality theorem tells that bbG = G. To every ...
[16]
[PDF] Abstract Harmonic Analysis on Locally Compact Abelian Groups
The main purpose of this paper is to prove the decomposition theorem for uni- tary representations of locally compact abelian groups (abbreviated LCA),.<|control11|><|separator|>
[17]
[PDF] herglotz-bochner representation theorem via theory of distributions
We now state and prove the theorem due to Herglotz[5], which characterizes the Fourier transform of a positive Radon measure on T as a positive semi-definite ...
[18]
[PDF] Derivation of the Fourier Inversion Formula, Bochner's Theorem, and ...
In Section 5, positive-semidefinite functions are introduced, and a weak version of Bochner's the- orem is proved. This result is then used to motivate ...
[19]
Über Potenzreihen mit positivem, reellen Teil im Einheitskreis
Über Potenzreihen mit positivem, reellen Teil im Einheitskreis. Öffentliche Gesamtsitzung vom 14. November 1911. Typ. Artikel. Autoren. Gustav Herglotz. Seiten.
[20]
Fourier Coefficients and Their Properties - SpringerLink
Nov 28, 2017 · The function P_r(x) is called the Poisson kernel , while Q_r(x) is called the conjugate Poisson kernel . ... \begin{aligned} r^{|n|} =\frac{1}{2\ ...
[21]
Monotone Funktionen, Stieltjessche Integrale und harmonische ...
Die Theorie der Stieltjesschen Integrale in mehreren Veränderlichen ist zuerst von J. Radon, Wiener Berichte122 (1913), systematisch in Angriff genommen worden.
[22]
Korrelationstheorie der stationären stochastischen Prozesse
Als Wahrscheinlichkeit einer die Punkte des Phasenraums kennzeichnenden Eigenschaft ist dabei das relative Lebesguesche Maß der Menge derjenigen Punkte ...
[23]
[PDF] A Course in Abstract Harmonic Analysis
This book contains information obtained from authentic and highly regarded sources. Re- printed material is quoted with permission, and sources are ...
[24]
[PDF] lynn h. loomis - Harvard Mathematics Department
... Abstract Harmonic. Analysis by. LYNN H. LOOMIS. Associate Professor of Mathematics. Harvard University. 1953 ... Bochner theorem, the Fourier transform and.
[25]
[PDF] A Bochner type theorem for inductive limits of Gelfand pairs - Numdam
One of the main problems in harmonic analysis is to decompose a unitary representation by means of irreducible ones. The classical Bochner theorem provides an ...<|separator|>
[26]
Monotone Funktionen, Stieltjessche Integrale und harmonische ...
Bochner, S.. "Monotone Funktionen, Stieltjessche Integrale und harmonische Analyse." Mathematische Annalen 108 (1933): 378-410.Missing: Salomon 1932
[27]
Korrelationstheorie der stationären stochastischen Prozesse - EuDML
Khintchine, A.. "Korrelationstheorie der stationären stochastischen Prozesse." Mathematische Annalen 109 (1934): 604-615. <http://eudml.org/doc/159698>.
[28]
On the Theory of Stationary Random Processes - jstor
ANNALS OF MATHEMATICS. Vol. 41, No. 1, January, 1940. ON THE THEORY OF STATIONARY RANDOM PROCESSES. By HARALD CRAMAR. (Received May 5, 1939). I. INTRODUCTION. 1 ...
[29]
[PDF] Stieltjes-Pick-Bernstein-Schoenberg and their connection to ...
Jan 26, 2007 · Bernstein functions are called completely monotone mappings in Bochner [19], who used them in connection with subordination of convolu- tion ...Missing: Salomon | Show results with:Salomon
[30]
The Theorem of Bochner-Schwartz-Godement for Generalised ...
Fourier analysis on the circle T is essentially concerned with the decomposition of L2 into minimal translation invariant subspace. The success of classical ...
[31]
ON THE INTEGRATION OF VECTOR-VALUED FUNCTIONS
Feb 13, 1992 · Bochner and Talagrand integrals coincide (see 2K below), and the McShane and Pettis integrals coincide (2D). There is still a McShane integrable ...
[32]
[PDF] Levy processes - from probability theory to finance and quantum ...
φt is continuous and positive definite; indeed, a famous theorem of Bochner asserts that all continuous ... Theorem 0.1 [The Lévy-Khintchine Formula]. If. X = (X( ...
[33]
A Lévy–Khinchin formula for the space of infinite dimensional ...
Using the generalized Bochner theorem (Theorem 1), we will establish in the following theorem that every continuous function of negative type on V ∞ 2 has an ...
[34]
On the connection between Bochner's theorem on positive definite ...
Sep 2, 2025 · It is demonstrated that Bochner's theorem reduces to Choi theorem on completely positive maps when the inverse semigroup of matrix units is ...
[35]
Limit theorems for Toeplitz-type quadratic functionals of stationary ...
By the Herglotz theorem in the d.t. case, and the Bochner-Khintchine theorem ... On a Szegö type limit theorem, the Hölder-Young-Brascamp-Lieb inequality ...
[36]
Completely positive definite functions and Bochner's theorem ... - arXiv
Oct 18, 2012 · We prove two versions of Bochner's theorem for locally compact quantum groups. First, every completely positive definite function on a locally compact quantum ...Missing: original | Show results with:original
[37]
[PDF] Free Probability Theory
Free probability theory was created by Dan Voiculescu around 1985, motivated by his efforts to understand special classes of von Neumann algebras. His dis-.Missing: Bochner | Show results with:Bochner
[38]
Lab | Bochner's theorem | ARPM
Bochner's theorem (54.228) is the L2 function spaces counterpart of the spectral theorem for Toeplitz (54.221) Mercer kernels.<|control11|><|separator|>