[Paper Review] Heat-kernels on the discrete circle and interval

J. S. Dowker|arXiv (Cornell University)|Jul 9, 2012

advanced mathematical theories11 references3 citations

TL;DR

This paper generalizes heat-kernel and Green's function constructions on discrete lattices by introducing phase-twisted periodicity on the discrete circle and interval, enabling new Bessel function identities and combinatorial trace relations. It derives exact expressions for Dirichlet, Neumann, and mixed boundary conditions using both mode and image methods, with results expressed via Chebyshev polynomials and verified through Laplacian matrix reconstruction and generating functions for lattice circuits.

ABSTRACT

As is known, the free heat-kernel on the integers (a modified Bessel function) is turned into the periodic free heat-kernel on the discrete circle by factoring, giving a pre-image sum. I generalise existing treatments by making the functions periodic up to a phase, thus introducing an extra parameter into the analysis. Identifying the classical paths form with the conventional eigenfunction expression, I find a combinatorial trace identity which allows various Bessel identities to be extracted, such as a generalisation of the Jacobi-Anger expansion.The free Dirichlet, Neumann and hybrid Dirichlet-Neumann heat-kernels on a discrete interval are constructed using both modes and images. The Neumann imaging mirror has to be placed at a half-integer. The corresponding lattice Green functions are expressed in terms of Chebyshev polynomials and the Laplacian matrices extracted. The generating functions for circuits with bumps are evaluated.

Motivation & Objective

• To extend standard heat-kernel constructions on discrete lattices by introducing phase-twisted periodicity, allowing for greater analytical flexibility.
• To derive new combinatorial trace identities that generate generalized Bessel function relations, including a generalization of the Jacobi–Anger expansion.
• To construct Dirichlet, Neumann, and Dirichlet–Neumann heat-kernels on finite intervals using both eigenmode and image reflection techniques.
• To express lattice Green functions in terms of Chebyshev polynomials and extract the corresponding Laplacian matrices for verification.
• To evaluate generating functions for circuits with bumps on cycle graphs and compare them with known results.

Proposed method

• Generalizes the free heat-kernel on the integers using a phase-twisted periodicity condition, introducing a complex phase parameter into the periodic boundary condition.
• Applies the pre-image sum method to lift the integer heat-kernel to the discrete circle (Z/pZ), yielding a periodic solution with phase modulation.
• Uses eigenfunction expansion on the discrete circle to derive an alternative representation of the heat-kernel in terms of exponential modes and eigenvalues involving sine functions.
• Constructs heat-kernels on finite intervals with various boundary conditions using image reflection techniques, with Neumann mirrors placed at half-integers to preserve consistency.
• Applies Laplace transformation to derive Green’s functions and expresses them in terms of Chebyshev polynomials of the first and second kind.
• Derives rational generating functions for lattice paths with specific numbers of 'bumps' and compares them with results from Bartholdi for validation.

Experimental results

Research questions

• RQ1 How can the standard heat-kernel on the discrete circle be generalized to include phase-twisted periodicity, and what new identities emerge from this extension?
• RQ2 What combinatorial trace identity arises from equating the classical path sum and eigenfunction representations of the phase-twisted heat-kernel?
• RQ3 How do image method constructions of heat-kernels on finite intervals differ between Dirichlet, Neumann, and mixed boundary conditions in the discrete setting?
• RQ4 What is the explicit form of the lattice Green function on a discrete interval with mixed Dirichlet–Neumann conditions, and how can it be expressed via Chebyshev polynomials?
• RQ5 How do generating functions for circuits with bumps on cycle graphs compare with known combinatorial results, and what does this imply for lattice path enumeration?

Key findings

• A generalized combinatorial trace identity is derived that yields new Bessel function identities, including a generalization of the Jacobi–Anger expansion, by introducing a phase parameter in the periodic boundary condition.
• The heat-kernel on the discrete circle with phase-twisted periodicity leads to a modified sum over classical paths that connects to eigenfunction expansions via a non-trivial identity involving Bessel functions and exponential sums.
• For the discrete interval, the image method successfully constructs heat-kernels under Dirichlet, Neumann, and mixed boundary conditions, with Neumann images placed at half-integers to maintain consistency.
• The lattice Green functions for all boundary conditions are explicitly expressed in terms of Chebyshev polynomials, and the corresponding Laplacian matrices are reconstructed from the Green’s functions as a consistency check.
• Rational generating functions for circuits with bumps on cycle graphs are computed and shown to match known results from Bartholdi, confirming the validity of the method.
• The thermodynamic limit of the discrete Green function on the cycle is derived via Laplace transform, recovering the continuum-like form involving hyperbolic functions.