## Archive for **August 2012**

## Discrete Stochastic Calculus

This post is part of a series

In the previous post of this series, we found that when Cartesian coordinates are placed on a binary tree, the commutative relations are given by

There are two distinct classes of discrete calculus depending on the relation between and .

### Discrete Exterior Calculus

If we set , the commutative relations reduce to

and in the continuum limit, i.e. , reduce to

In other words, when , the commutative relations vanish in the continuum limit and the discrete calculus converges to the exterior calculus of differential forms.

Because of this, the discrete calculus on a binary tree with will be referred to as the **discrete exterior calculus**.

### Discrete Stochastic Calculus

If instead of , we set , the commutative relations reduce to

and in the continuum limit, i.e. , reduce to

In this case, all commutative relations vanish in the continuum limit except .

In the paper:

I demonstrate how the continuum limit of the commutative relations give rise to (a noncommutative version of) stochastic calculus, where plays the role of a Brownian motion.

Because of this, the discrete calculus on a binary tree with will be referred to as the **discrete stochastic calculus**.

To date, discrete stochastic calculus has found robust applications in mathematical finance and fluid dynamics. For instance, the application of discrete stochastic calculus to Black-Scholes option pricing was presented in

and the application to fluid dynamics was presented in

Both of these subjects will be addressed in more detail as part of this series of articles.

It should be noted that discrete calculus and its special cases of discrete exterior calculus and discrete stochastic calculus represent a new framework for numerical modeling. We are not taking continuum models built on continuum calculus and constructing finite approximations. Instead, we are building a robust mathematical framework that has finiteness built in from the outset. The resulting numerical models are not approximations, but exact models developed within a finite numerical framework. The framework itself converges to the continuum versions so that any numerical models built within this framework will automatically converge to the continuum versions (if such a thing is desired).

Discrete calculus provides a kind of *meta* algorithm. It is an algorithm for generating algorithms.