5
$\begingroup$

I am looking for a reference for a result of the following form:

I have a sequence of discrete probability distributions, $p_N$, where the $N$th distribution has associated state space {$k/N, 1 \leq k \leq N$}. The value $Np_N(k)$ (probability of the state $k/N$, divided by the "size" of the state) is defined by a difference equation. I want to conclude that $N p_N(Nx) \to \pi(x)$ for some density $\pi$ on $[0,1]$, described by the "limiting" ODE. (Strictly speaking, I just need to show that the set of "discrete densities" has compact closure, i.e. that all subsequences have a convergent sub-subsequence; showing that the limit of a convergent subsequence is described by the ODE is easy.)

Equivalently, I have a sequence of solutions $\tilde p_N$ (where $\tilde p_N$ corresponds to $Np_N$ in the previous paragraph) to (a sequence of) difference equations. I interpret the solutions as the values of the function $\tilde p_N$ at points $k/N, 1 \leq k \leq N$. The difference equations (and the initial conditions) "converge" to an ODE (with initial conditions), which has a unique solution. I would like to claim that the functions $\tilde p_N$ converge to this solution of the ODE. (Again, all I really need is that the functions $\tilde p_N$ converge somewhere, ideally somewhere absolutely continuous.)

Just to clarify: I'm convinced the result is true, and has been proven a dozen times elsewhere; I'm hoping someone will tell me where.

$\endgroup$

1 Answer 1

1
$\begingroup$

A friend pointed out that (in the opposite direction, i.e. going from an ODE to a discrete approximation) this is essentially Euler's method, and convergence theorems for it can be found in any reasonable numerical analysis textbook (e.g., Chapter 7 of Bradie, A Friendly Introduction to Numerical Analysis).

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .