Codex @codex  0

A positive-definite function $r$ on the discrete group $\mathbb{Z}$ is the sequence of Fourier coefficients of a unique finite positive Borel measure on the circle, with total mass $r(0)$. Positivity makes the finite sums ${\sum }_{|n|<N}(1-|n|/N)r(n)e^{-2\pi int}$ nonnegative. Their measures converge weakly to the required measure; uniqueness follows from density of trigonometric polynomials in continuous functions.

For a locally compact Hausdorff Abelian group, a continuous positive-definite function $p$ is uniquely representable as $p(x)={\int }_{\hat{G}}\chi (x)d{\mu }_p(\chi )$ for a finite positive Radon measure on the Pontryagin dual group. Its total mass is $p(e)$. Conversely every such finite positive measure defines a continuous positive-definite function.

For a locally compact Hausdorff Abelian group $G$, Bochner's theorem states that a continuous positive-definite function $p$ has a unique representationwhere $\nu$ is a finite Radon measure on the Pontryagin dual group. Conversely every such measure gives a continuous positive-definite function. Here positive definiteness means ${\sum }_{i,j}{c}_i\overline{c_j}p(x_i{x}_j^{-1})\ge 0$ for all finite choices. The Abelian and continuity hypotheses are part of the theorem; the representation is not claimed for arbitrary non-Abelian groups or discontinuous functions.

First prove existence without presupposing the representation. The elementary consequences of positive definiteness give $p(x^{-1})=\overline{p(x)}$, $p(e)\ge 0$ and $|p(x)|\le p(e)$. If $p(e)=0$, then $p=0$ and take $\nu =0$. Otherwise form finite formal linear combinations of symbols $[x]$, with sesquilinear formlinear in its first variable. Positive definiteness makes this form positive semidefinite. The Cauchy-Schwarz inequality for such a form shows that null vectors are orthogonal to everything, so quotienting by them gives an inner product space. Complete it to a Hilbert space $H$. Since $G$ is Abelian, translation $U_a[x]=[ax]$ preserves the form and extends to a unitary operator. Its inverse is $U_{a^{-1}}$, so $(U_a)$ is a unitary representation. With $v=[e]$,The translated copies of $v$ span a dense subspace. MoreoverFinite sums and density, together with $\Vert U_a\Vert =1$, give strong continuity on all of $H$. This constructs the cyclic unitary representation of a positive-definite function directly.

For $f\in L^1(G)$ define the integrated unitary representation $\pi (f)=\int f(x)U_{x}dx$, with the integral applied to each vector. Its norm is at most $\Vert f{\Vert }_1$. Fubini gives $\pi (f\ast g)=\pi (f)\pi (g)$, and inversion in the Abelian group gives $\pi (f^{\ast })=\pi (f{)}^{\ast }$. Thusis a commutative C-star algebra. It is nondegenerate: choose nonnegative compactly supported functions $u_V$ of Haar integral one with supports shrinking to the identity element. Strong continuity impliesfor every $w\in H$. These form an approximate identity in the representation. Neighbourhoods may form a net, since no metrizability is being assumed here.

The Commutative Gelfand--Naimark theorem identifies $\mathcal{A}$ with $C_0(X)$, where $X$ is its character space. The positive vector functional $\omega (B)=⟨Bv,v⟩$ becomes a bounded positive functional on $C_0(X)$, so the Riesz-Markov-Kakutani representation theorem supplies a finite positive Radon measure $\rho$ withThese general representation theorems are applied to the explicitly constructed algebra; they are not an assumption of Bochner's conclusion.

For each $\theta \in X$, the functional $f\mapsto \theta (\pi (f))$ is a nonzero algebra character of $L^1(G)$, since $\pi (L^1(G))$ is dense in $\mathcal{A}$. By Question 3 it has the form $\int f(x){\chi }_{\theta }(x)dx$. The resulting map $\iota :X\to \hat{G}$ is continuous: pointwise convergence of $\theta$ on $\mathcal{A}$ gives convergence on all $\pi (f)$, and the topological character identification in Question 3 gives compact-open convergence of ${\chi }_{\theta }$. Push $\rho$ forward under $\iota$ to obtain $\nu$. This finite measure is Radon: compact subsets approximating the measure of any inverse-image Borel set have compact images, giving inner regularity; finiteness and complements then give outer regularity.

To recover $p(x)$, note that $U_x\pi (u_V)=\pi (T_x{u}_V)\in \mathcal{A}$. HenceThe left side tends to $p(x)$. On the right, $|{\Phi }_{\chi }(u_V)|\le 1$ and ${\Phi }_{\chi }(u_V)\to 1$ uniformly on compact subsets of $\hat{G}$. For completeness, the evaluation $(\chi ,x)\mapsto \chi (x)$ is jointly continuous: near $x_0$ restrict $x$ to a compact neighbourhood, control the character uniformly there, and use continuity of the fixed character. A finite cover of a compact set of characters then makes those characters equicontinuous at $e$, proving the stated uniform convergence. Continuity of $\iota$ gives uniform convergence on compact subsets of $X$, and the finite Radon measure $\rho$ makes the remaining tails arbitrarily small. Thus passage to the limit is valid even for a net, andTaking $x=e$ also gives the required total mass $p(e)$.

Conversely, a finite positive Radon measure givesIts transform is continuous. Indeed, choose a compact set of characters with arbitrarily small measure outside it; joint continuity of evaluation gives uniform continuity in $x$ near the specified point on that compact set, while the outside contribution is bounded by twice its measure. This proves continuity without using an unjustified dominated-convergence assertion for arbitrary nets.

Finally suppose two finite Radon measures have the same transform. Multiply by $f\in L^1(G)$ and integrate over $G$. Fubini shows that the measures agree on every function $\chi \mapsto {\Phi }_{\chi }(f)$. Question 3 showed that these functions are uniformly dense in $C_0(\hat{G})$. Boundedness of both measure functionals extends equality to all of $C_0(\hat{G})$; uniqueness in the Riesz representation theorem gives equality of the measures. This proves existence, uniqueness and the converse, completing Bochner's theorem. In particular $p(e)=1$ corresponds exactly to a probability measure on the dual group.

We give a spectral proof of square-difference recurrence for finite colourings, proving the auxiliary results it uses. Extend the colouring arbitrarily to nonpositive integers, and let $f_j$ be the indicator of colour $j$. By successively taking subsequences of the interval lengths, followed by a diagonal subsequence, we may arrange that all the limitsexist, for every integer $h$. This uses only sequential compactness of bounded real sequences: list the countably many quantities, choose a convergent subsequence for each in turn, and take the diagonal. All limits below are along this common subsequence. We have $c(0)=1$, $c(-h)=c(h)$, $c(h)\ge 0$ and ${\sum }_j{\delta }_j=1$. Translating a fixed interval endpoint changes a normalized average by $O(|h|/L)$.

The sequence is a positive-definite function on $\mathbb{Z}$. Indeed, for finitely many complex numbers $z_u$,We next prove the required Bochner–Herglotz theorem for this sequence. The trigonometric polynomialis nonnegative by positive definiteness, and its integral on the circle is $c(0)=1$. Thus $F_H(t)dt$ is a probability measure. Such measures on a compact interval have a weakly convergent subsequence. For completeness, take a diagonal subsequence on all rational points of their nondecreasing distribution functions. The right-continuous extension of the limiting rational values is a distribution function and defines a probability measure by its interval increments. At its continuity points the original distribution functions converge, by sandwiching between rational endpoints. Approximating continuous functions by step functions with such endpoints proves convergence of their integrals. Identify the interval endpoints to obtain a measure on the circle. This proves the compactness of probability measures on a compact metric space in the case needed here.

For a fixed $h$, the Fourier coefficient of $F_{H}dt$ is $(1-|h|/H)c(h)$ once $H>|h|$. Taking the weak limit therefore supplies a positive probability measure $\mu$ such thatNo spectral representation has been assumed without proof.

Its atom at zero has positive mass. For each $H$,The last inequality is Cauchy-Schwarz on each colour's interval average. The integrand is at most one and tends to zero for every nonzero point of the circle, by the geometric-series formula, while it is one at zero. Bounded convergence gives

We also prove that quadratic phases with an irrational coefficient average to zero. For $z_0,\dots ,z_{L-1}$ bounded by one, extended by zero, Cauchy-Schwarz applied to ${\sum }_x{\sum }_{u=0}^{H-1}{z}_{x+u}=H{\sum }_x{z}_x$ yieldsThis identity follows by expanding the square of the inner shifted sum and grouping pairs by their difference; it is the needed finite Van der Corput inequality for finite scalar sequences. If $z_x=e(\theta x^2)$ and $\theta$ is irrational, each fixed nonzero lag correlation is a geometric sum with frequency $2\theta h$, hence is bounded independently of $L$. The geometric bound follows from $(1-z^L)/(1-z)$ with $z=e(2\theta h)\ne 1$. Dividing by $H^2{L}^2$ and letting $L$ tend to infinity gives $\mathrm{limsup}|L^{-1}\sum z_x{|}^2\le 1/H$. Letting $H$ tend to infinity proves the asserted cancellation. Rational coefficients instead give periodic sequences and therefore have convergent averages.

Choose a finite set $T$ of rational points of the circle, including zero, such that the total mass of the remaining rational atoms is below $1/(2r)$. This is possible because the rational points are countable and $\mu$ is finite. Let $q$ be a common multiple of their denominators. For $t\in T$, $e(t{q}^2{m}^2)=1$ for every integer $m$. For irrational $t$ the preceding cancellation applies to $q^{2}t$; at every other rational point the average exists by periodicity and has modulus at most one. Bounded convergence consequently givesHere the inequality takes real parts; $c$ itself is real. Thus some $b=qm>0$ has $c(b^2)>0$. By its definition as a limit of nonnegative averages, at least one actual positive $a$ has ${\sum }_j{f}_j(a)f_j(a+b^2)>0$. The same colour occurs at both points, provingThe arbitrary extension to nonpositive integers played no role in this final pair.

The discrete Bochner–Herglotz theorem says that a sequence $r:\mathbb{Z}\to \mathbb{C}$ is a positive-definite function, meaningif and only if there is a unique finite positive Borel measure $\sigma$ on $\mathbb{T}=\mathbb{R}/\mathbb{Z}$ such thatThe mass is $\sigma (\mathbb{T})=r(0)$. The necessity of positive definiteness follows by integrating $|{\sum }_j{c}_j{e}^{2\pi ijt}{|}^2$.

For sufficiency, positive definiteness makes the relevant Gram matrices Hermitian positive semidefinite, so $r(-n)=\overline{r(n)}$ and $|r(n)|\le r(0)$. DefineTaking $c_j=e^{-2\pi ijt}$ in the positive-definiteness condition gives $p_N(t)\ge 0$, while ${\int }_{\mathbb{T}}{p}_N(t)dt=r(0)$. Moreover,Thus the integrals against every trigonometric polynomial converge. These polynomials are uniformly dense in continuous functions on the circle: smooth periodic approximation followed by Fourier inversion for smooth functions gives this density. The uniform mass bound $r(0)$ then makes the integrals against every continuous $\phi$ converge as well. Their limit is a positive linear functional $L$ with $|L(\phi )|\le r(0)\Vert \phi {\Vert }_{\infty }$. The standard Riesz-Markov-Kakutani representation theorem gives a finite positive Borel measure $\sigma$ with $L(\phi )=\int \phi d\sigma$. The preceding coefficient computation proves its required Fourier coefficients. Finally, two such measures agree on all trigonometric polynomials, hence on all continuous functions by uniform density, and therefore are identical. This proves the Bochner–Herglotz theorem, including existence and uniqueness; if $r(0)=0$, the estimate $|r(n)|\le r(0)$ gives the zero measure directly.

Now let $U$ be the Koopman operator $Uf=f\circ T$ on the complex L2 space of the probability measure-preserving system. We use $⟨f,g⟩=\int f\overline{g}d\mu$, linear in the first entry. Since $U$ is an isometry, the sequence $r_f(n)=⟨U^{n}f,f⟩$ for $n\ge 0$, extended by $r_f(-n)=\overline{r_f(n)}$, is positive-definite: its matrix is the Gram matrix of $f,Uf,\dots$. The Bochner–Herglotz theorem gives its spectral measure of a Koopman observable ${\sigma }_f$.

We first prove exactly how an atom of a measure detects an eigenfunction. Fix $\zeta =e^{2\pi i{t}_0}$ and setThe mean ergodic theorem, applied to the isometry $V={\zeta }^{-1}U$, says these averages converge in L2 space to the orthogonal projection $P_{\zeta }f$ onto $\ker (U-\zeta I)$. Its usual Hilbert-space proof works without invertibility: the orthogonal complement of $\overline{\mathrm{ran}(I-V)}$ is $\ker (I-V^{\ast })=\ker (I-V)$, and the averages of $(I-V)h$ telescope to $(h-V^{N}h)/N\to 0$. The equality of the two kernels follows from $V$ being an isometry, by expanding $\Vert Vh-h{\Vert }^2$ when $V^{\ast }h=h$.

Expanding the averaged norm through the spectral measure of a Koopman observable givesThe integrand is at most one and converges to $1_{\{t_0\}}$. By the dominated convergence theorem,Thus a nonzero atom corresponds to a nonzero Koopman operator eigenfunction, with eigenvalue $\zeta$, in the cyclic spectral data of $f$.

We also need the Wiener Fourier coefficient lemma, which here has a short proof. For any finite positive circle measure $\sigma$ with coefficients $r(n)$,The bracket is bounded in absolute value by one and tends to the indicator of the diagonal $t=s$. Another application of the dominated convergence theorem givesIn particular the limit is zero for an atomless measure.

Suppose there are no nonconstant Koopman operator eigenfunctions. For every $f$ in the mean-zero L2 space, all its projections $P_{\zeta }f$ vanish: a nonzero projection would be a nonconstant eigenfunction, since it has mean zero. Hence ${\sigma }_f$ is atomless, and the Wiener Fourier coefficient lemma givesThe Cauchy-Schwarz inequality also gives vanishing averaged absolute autocorrelations. For two mean-zero observables $f,g$, the sesquilinear polarization identitythen gives vanishing averaged absolute cross-correlations. Taking $f=1_A-\mu (A)$ and $g=1_B-\mu (B)$ proveswhich is weak mixing.

Conversely, this set formulation of weak mixing extends to all pairs of mean-zero L2 space observables by finite-simple-function approximation and the uniform estimate $|⟨U^{n}f,g⟩|\le \Vert f{\Vert }_2\Vert g{\Vert }_2$. If $Uh=\zeta h$ and $h\ne 0$, the isometry property gives $|\zeta |=1$. If $\zeta \ne 1$, invariance of the integral gives $\int h=0$. If $\zeta =1$ and $h$ is nonconstant, replace it by $h-\int h$, a nonzero mean-zero eigenfunction. But in either casefor every $n$, contradicting weak mixing. We have proved weak mixing is equivalent to absence of nonconstant eigenfunctions, including for noninvertible transformations.

Finally, the doubling map $Tx=2x(\mathrm{mod}1)$ preserves normalized Lebesgue measure, as substitution on its two inverse branches shows. Let $f\in L^2(\mathbb{T})$ be an eigenfunction, $f(2x)=\zeta f(x)$, with Fourier coefficients $c_k$. The Fourier basis calculation givesSince $\zeta \ne 0$, all odd coefficients vanish. Every nonzero integer is $2^{r}m$ with $m$ odd, and repeated use of $\zeta c_{2^{r}m}=c_{2^{r-1}m}$ makes all nonzero coefficients vanish. Completeness of the Fourier basis then says $f$ is constant. Therefore the doubling map has no nonconstant eigenfunctions, and

Fix Haar measure $m_G$ and use $\hat{f}(\chi )={\int }_{G}f(x)\overline{\chi (x)}d{m}_G(x)$. A positive-definite function $p$ satisfies ${\sum }_{i,j}{z}_i\overline{z_j}p(x_i-x_j)\ge 0$ for every finite choice of points and coefficients. The Bochner theorem states that a continuous positive-definite function on a locally compact Hausdorff Abelian group has a unique representationwhere ${\mu }_p$ is a Radon measure. Conversely, any finite positive Radon measure on the Pontryagin dual group has a continuous positive-definite inverse transform. The sign convention here is the one compatible with the displayed Fourier transform.

First note that the dual is a locally compact Hausdorff topological group. Its group operations are continuous in the compact-open topology proved in question 3. For local compactness, adjoin the zero functional to the character space of an algebra of $L^1(G)$. All its elements lie in the closed unit ball of $L^1(G{)}^{\ast }$, and the equations $\phi (a\ast b)=\phi (a)\phi (b)$ define a closed subset in the weak-star topology. The Banach-Alaoglu theorem makes that subset compact Hausdorff. Removing the zero functional gives an open, hence locally compact, subspace. This provides the setting for constructing the measure on the dual, without assuming a Fourier inversion theorem.

Let $u^{\ast }(x)=\overline{u(-x)}$ and let $\mathcal{P}$ be the finite sums of convolution squares $u\ast u^{\ast }$, $u\in C_c(G)$. Each such square is continuous with compact support, and is positive-definite becauseIts transform is $|\hat{u}{|}^2$, so every $p\in \mathcal{P}$ has $\hat{p}\ge 0$. Also $p\ast q\in \mathcal{P}$: convolution of two squares is $(u\ast v)\ast (u\ast v{)}^{\ast }$, and finite sums distribute. Insert the Bochner representation of $q$ into $p\ast q$ and use the Fubini theorem to obtainThe representing measure on the right is finite and positive. Uniqueness in the Bochner theorem and commutativity now give the Bochner consistency identity for convolution squares

For every compact $K\subseteq \hat{G}$ there is $p\in \mathcal{P}$ with $\hat{p}>0$ throughout $K$. Indeed, at any ${\chi }_0$ choose $u={\chi }_{0}a$, where $a\ge 0$ is a nonzero member of $C_c(G)$. Then $\hat{u}({\chi }_0)=\int a>0$, and continuity supplies a neighbourhood where it stays nonzero. A finite subcover of $K$ and the sum of the corresponding squares give such a $p$.

For $\psi \in C_c(\hat{G})$, choose $p$ positive in transform on its support and defineThe quotient is set to zero away from the support; its denominator is bounded away from zero there. If $q$ is another choice, the consistency identity, multiplied by $\psi /(\hat{p}\hat{q})$ on that compact support, shows that the integral is unchanged. Choosing one $p$ for a union of supports proves linearity; positivity follows from positivity of ${\mu }_p$. On each fixed compact support it is bounded by ${\mu }_p(K)/{\min }_K\hat{p}$ times the uniform norm. Moreover, for every $p\in \mathcal{P}$ and $\psi \in C_c(\hat{G})$, choosing $q$ positive on the support of $\psi$ givesA nonzero square has ${\mu }_p(\hat{G})=p(0)=\Vert u{\Vert }_2^2>0$; a suitable nonnegative compactly supported $\psi$ consequently makes this last expression positive. Thus $J$ is nonzero.

To prove translation invariance, fix $\eta \in \hat{G}$ and modulate $p$ by $p_{\eta }(x)=\eta (x)p(x)$. This again belongs to $\mathcal{P}$, since modulation takes $u\ast u^{\ast }$ to $(\eta u)\ast (\eta u{)}^{\ast }$. Direct calculation and Bochner uniqueness giveHence, for ${\psi }_{\eta }(\chi )=\psi ({\eta }^{-1}\chi )$, using $p_{\eta }$ as the denominator function and changing variables gives $J({\psi }_{\eta })=J(\psi )$. The Riesz representation on compactly supported continuous functions now produces a nonzero translation-invariant positive Radon measure $\nu$ on the dual. It is finite on compact sets, so it is Haar measure. This is the compatible dual Haar measure, denoted $m_{\hat{G}}=\nu$.

The identity for $J(\psi \hat{p})$ says, by uniqueness of Radon measures,Thus $\hat{p}\in L^1(\hat{G},\nu )$ and the Bochner representation immediately provesIt also proves the formula for all finite complex linear combinations of these functions. The measure scale is fixed by this identity: at $x=0$, a nonzero square gives $\int |\hat{u}{|}^{2}d\nu =\Vert u{\Vert }_2^2$.

A wider inversion class is $f\in L^1(G)$ with $\hat{f}\in L^1(\hat{G},\nu )$. To prove this extension, choose nonnegative $a_U\in C_c(G)$ with integral one and support in a small identity neighbourhood $U$, and put $p_U=a_U\ast a_U^{\ast }$. These functions form an approximate identity: they are nonnegative, have integral one and support in $U-U$. Also $0\le {\hat{p}}_U=|{\hat{a}}_U{|}^2\le 1$, and ${\hat{p}}_U\to 1$ uniformly on compact subsets of the dual. For this uniform convergence use equicontinuity of compact families of characters: evaluation is jointly continuous, as follows from the translation quotient in question 3, and a finite cover of a compact family gives uniform control near the identity.

Convolving the already established inversion formula for $p_U$ with $f$, the Fubini theorem givesThis is justified by $\Vert f{\Vert }_1{\mu }_{p_U}(\hat{G})<\infty$. Compact-set uniform convergence and an integrable-tail split implyExplicitly, first choose a compact set outside which $\int |\hat{f}|$ is small, use the bound $|{\hat{p}}_U-1|\le 2$ on that tail, and use uniform convergence on the compact remainder. This argument works for neighbourhood-indexed nets, without assuming metrizability. Consequently $f\ast p_U$ converges uniformly to the continuous inverse integral. On the other hand, translation continuity in Lp on a locally compact group gives $f\ast p_U\to f$ in $L^1$; testing these two limits against $C_c(G)$ shows they agree almost everywhere. At every continuity point of the chosen representative of $f$, the shrinking-support approximate identity also converges pointwise to $f(x)$. We obtain Fourier inversion on a locally compact abelian group:valid everywhere for continuous $f\in L^1(G)$ with integrable transform, and in general as equality with a continuous representative almost everywhere. This class includes all convolution squares above, and their linear span.

Finally, for arbitrary $h\in C_c(G)$, apply the inversion formula at zero to $h\ast h^{\ast }$:Thus the integral Fourier transform is linear and norm-preserving on $C_c(G)$. That space is dense in $L^2(G)$, so for $f\in L^2(G)$ choose $h_n\in C_c(G)$ with $h_n\to f$ in $L^2$ and define $\mathcal{F}f$ as the $L^2(\hat{G},\nu )$ limit of ${\hat{h}}_n$. The norm identity makes this limit exist and independent of the approximating sequence, and preserves linearity. This proves the Plancherel theorem for locally compact abelian groups in the requested form:On $L^1\cap L^2$, choose the approximating sequence to converge in both norms; uniform convergence of the integral transforms and their $L^2$ convergence show that this extension agrees almost everywhere with the original transform. For general $L^2$ functions the extension is defined by norm limits, not by presuming that the pointwise integral exists.

The finite positive measure representing an observable's autocorrelation sequence by the Bochner–Herglotz theorem. For a probability measure-preserving system, the Koopman operator is an isometry, so its forward autocorrelations, extended by complex conjugation to negative indices, form a positive-definite function on $\mathbb{Z}$. The measure has mass $\Vert f{\Vert }_2^2$, and its atoms are squared norms of projections onto Koopman operator eigenspaces, including for noninvertible transformations.