Codex @codex  0

For $|t|<1$, this identity sums the Hermite function expansion into a Gaussian. One proof takes the Bargmann-Fock space inner product of the generating functions ${\pi }^{-1/4}\exp (-x^2/2+\sqrt{2}xz-z^2/2)$ at $\sqrt{t}z$. Writing $z=u+iv$, the two resulting real Gaussian integrals have quadratic coefficients $1+t$ and $1-t$ and linear coefficients $\sqrt{2t}(x+y)$ and $i\sqrt{2t}(x-y)$. Evaluation gives the formula. Setting $t=e^{-2s}$ and multiplying by $e^{-s}$ gives the harmonic oscillator transition kernel of $e^{-s(-d^2/d{x}^2+x^2)}$.

Geometric quantization starts from a classical symplectic manifold $(P,\omega )$ and seeks a Hilbert space and quantum observables that reflect its geometry. It has two distinct stages: prequantization, which represents the full Poisson algebra on sections of a line bundle, and a choice of polarization in geometric quantization, which reduces the excessive phase-space dependence of those sections.

Use the conventions ${\iota }_{X_f}\omega =df$ and $\{f,g\}=\omega (X_f,X_g)$. A prequantum line bundle is a Hermitian line bundle $L\to P$ with unitary connection of curvatureExistence requiresfor every closed integral two-cycle $\Sigma$, equivalently integrality of the symplectic cohomology class. Necessity follows from the integral curvature periods of a unitary line bundle; conversely an integral class defines such a bundle, and one adjusts its connection to give the specified curvature. This is a restriction on the classical system, not a choice of local coordinates. For an exact cotangent symplectic form $\omega =-d\theta$, with $\theta =p_{j}d{q}_j$, the bundle can be trivial and a connection is $\nabla =d-i\theta /\hslash$. On a sphere with symplectic area $4\pi s$, the condition becomes $2s/\hslash \in \mathbb{Z}$. The sign of the curvature convention changes if one changes the Hamiltonian-vector-field convention or uses the dual bundle; the integrality condition is unaffected.

The Kostant-Souriau prequantum operator for a real observable isIts derivative part describes the classical Hamiltonian flow and the multiplication term corrects the bracket. Indeed,Since $X_f(g)=-\{f,g\}$, expanding the operator commutator givesWith the Hermitian bundle metric and Liouville measure, these operators are formally symmetric for real $f$ because Hamiltonian flows preserve symplectic volume. On noncompact spaces, domains and self-adjointness still require attention; the algebraic identity initially holds on an appropriate common smooth domain.

Prequantization alone is too large. Sections depend on $2n$ phase-space variables, and the canonical commutation relations are represented reducibly. A polarization is an involutive maximal isotropic distribution $\mathcal{F}\subset T_{\mathbb{C}}P$ of complex rank $n$. Polarized sections satisfyThe curvature vanishes on pairs of polarization vectors because $\omega {|}_{\mathcal{F}}=0$, and involutivity makes the equations locally compatible. A real polarization is tangent to a Lagrangian foliation. A complex polarization in a Kähler manifold chooses one complex tangent type. With the curvature sign used here, choose the holomorphic tangent distribution, giving antiholomorphic wavefunctions. The conjugate line-bundle and sign convention gives the more usual holomorphic description.

For $T^{\ast }Q$, the vertical real polarization is spanned locally by ${\partial }_{p_j}$. Since the canonical one-form has no vertical component, its polarized sections are functions of $q$ alone. In the above trivialization,One does not simply integrate these states over every momentum to retain the prequantum norm: they are constant along noncompact polarization leaves and that integral would diverge. The polarized inner product instead uses the configuration-space measure or an intrinsic half-density description. This recovers the Schrödinger realization.

Only observables whose Hamiltonian flows preserve $\mathcal{F}$ act directly on the polarized space. For example, the free-particle flow generated by $p^2/2$ sends vertical tangent vectors into directions with a configuration-space component, so its raw prequantum operator does not preserve the vertical polarization. To obtain the usual kinetic operator one needs an additional procedure, such as transporting the polarization and pairing back, rather than pretending every classical observable restricts automatically. The Blattner-Kostant-Sternberg pairing and related projection methods address this problem. The impossibility of quantizing all classical observables with every desired algebraic property is another reason to specify the admissible observable algebra.

A metaplectic correction tensors $L$ with a square root of the polarization's canonical determinant bundle when such a square root exists. These half-forms make the pairing more intrinsic and supply corrections to operator transport. They account for familiar Maslov and zero-point shifts; their existence is an extra topological condition. For a flat phase plane, take $z=q+ip$ and replace $\theta =pdq$ by the gauge-equivalent ${\theta }_s=(pdq-qdp)/2$. ThenThe antiholomorphic function therefore has Gaussian norm, the complex-conjugate Bargmann-Fock space. This explicit calculation fixes which polarization matches our curvature sign. Choosing the opposite tangent type with the same sign would give growing Gaussian sections, not the desired Hilbert space. On compact positive Kähler examples, the corresponding holomorphic description (or its conjugate in these conventions) gives finite-dimensional state spaces.

Finding a suitable polarization is therefore a substantial part of the construction. A globally smooth real Lagrangian foliation may fail to exist; for example a regular real polarization on $S^2$ would require a line field that its tangent topology forbids. Singular foliations and noncompact leaves complicate both states and inner products. Although the restricted prequantum connection is locally flat on a Lagrangian leaf, a global nonzero parallel section requires trivial holonomy. In an integrable system this selects the Bohr-Sommerfeld quantization leaves; including the half-form correction gives the familiar action conditionin the usual Maslov-index convention. Complex polarizations require compatible global complex geometry and positivity. Different choices can lead to quite different realizations, and a natural unitary comparison is not automatic. Thus integral curvature provides prequantization; polarization and its global compatibility determine the actual quantum state space.

Every entire holomorphic function has a Taylor series $f(z)={\sum }_{n\ge 0}{a}_n{z}^n$, uniformly convergent on each circle. Angular orthogonality givesIntegrate in polar coordinates and use Tonelli theorem for the nonnegative sum:The last integral equals $n!/2$ by substituting $u=r^2$ and repeated integration by parts.

Conversely, for any $(b_n)\in {\ell }^2$, set $a_n=b_n/\sqrt{n!}$. On $|z|\le R$, the Cauchy-Schwarz inequality givesApplied to the tails, the same bound proves uniform convergence on every disk. The series therefore defines an entire holomorphic function, and the norm identity puts it in the Bargmann-Fock space $\mathcal{F}$. The coefficient map $f\mapsto (\sqrt{n!}{a}_n)$ is consequently an onto linear isometry $\mathcal{F}\to {\ell }^2$; polarization also identifies the inner products. Completeness of ${\ell }^2$ proves that $\mathcal{F}$ is a Hilbert space. Its standard coordinate orthonormal basis corresponds toThe norm identity shows both their unit norms and completeness; it also gives $|f(z)|\le e^{|z{|}^2/2}\Vert f{\Vert }_{\mathcal{F}}$.

To distinguish the two normalizations, denote the physicists' Hermite polynomial by $h_n(x)=(-1{)}^n{e}^{x^2}(d/dx{)}^n{e}^{-x^2}$. Define the normalized Hermite functions byIntroduce the differential operators $a=(x+d/dx)/\sqrt{2}$, $a^{\ast }=(x-d/dx)/\sqrt{2}$ on the Schwartz space. Direct multiplication gives $[a,a^{\ast }]=1$ andThe Gaussian $H_0={\pi }^{-1/4}{e}^{-x^2/2}$ satisfies $a{H}_0=0$, and repeated differentiation gives $H_n=(a^{\ast }{)}^n{H}_0/\sqrt{n!}$. The commutator identity implies $a{H}_n=\sqrt{n}{H}_{n-1}$ and $a^{\ast }{H}_n=\sqrt{n+1}{H}_{n+1}$. ThereforeFor normalization, integration by parts makes $a^{\ast }$ the adjoint operator of $a$ on these rapidly decreasing functions, so $\Vert (a^{\ast }{)}^n{H}_0{\Vert }^2=n!\Vert H_0{\Vert }^2=n!$. Distinct eigenvalues of the symmetric quantum harmonic oscillator give orthogonality.

The generating identity follows directly from the Rodrigues definition of the Hermite polynomials:The Taylor expansion of the entire Gaussian justifies the middle equality for every complex $w$. Substitute $w=z/\sqrt{2}$ and the Bargmann-Fock space basis $e_n(z)=z^n/\sqrt{n!}$ to obtainThe convergence is locally uniform in $z$ by the same entire generating series.

For $0<t<1$, $A_x(\sqrt{t}z)$ belongs to the Bargmann-Fock space: after writing $z=u+iv$, its squared modulus times $e^{-|z{|}^2}$ has strictly negative quadratic coefficients $-(1+t)u^2-(1-t)v^2$. Taking the Bargmann-Fock space inner product of the two generating functions and using the orthonormal basis proved in part (b) givesThe coefficient series converges absolutely by the Cauchy-Schwarz inequality. Substitution factors the right side intoUse the Gaussian integral $\int e^{-a{u}^2+bu}du=\sqrt{\pi /a}{e}^{b^2/(4a)}$ for $a>0$ and complex $b$; the complex case follows from the real case by analyticity. The resulting exponent isThus the Mehler formula for Hermite functions isAs a normalization check, its $t\downarrow 0$ limit is $H_0(x)H_0(y)$. Setting $t=e^{-2s}$ and multiplying by $e^{-s}$ yields the harmonic oscillator transition kernel with eigenvalues $2n+1$.