Nonstandard Methods for Solving the Heat Equation

Abstract

We apply convergence results for discrete Markov chains, to prove the existence of an equilibrium limit in the nonstandard heat equation. We construct a nonstandard backward martingale from a nonstandard solution, and show, using the Feynman-Kac method, how to derive an explicit formula for such solutions, when the initial condition is S-continuous. Finally, we prove that that the nonstandard solution to the heat equation, with a smooth initial condition, specialises to the classical solution.