Let be the probability that a random walk on a -D lattice returns
to the origin. Pólya (1921) proved that
 |
(1)
|
but
 |
(2)
|
for . Watson (1939), McCrea and Whipple
(1940), Domb (1954), and Glasser and Zucker (1977) showed that
 |
(3)
|
(Sloane's A086230),
where
(Sloane's A086231; Borwein and Bailey 2003, Ch. 2, Ex. 20) is the third of Watson's triple integrals modulo a multiplicative constant,
is a complete elliptic integral of the first kind, is
a Jacobi theta function,
and is the gamma function.
Closed forms for are not known,
but Montroll (1956) showed that for ,
![p(d)=1-[u(d)]^(-1),](/images/equations/PolyasRandomWalkConstants/NumberedEquation4.gif) |
(10)
|
where
and is a modified Bessel function of the first kind.
Numerical values of from Montroll
(1956) and Flajolet (Finch 2003) are given in the following table.
Borwein, J. and Bailey, D. Mathematics by Experiment: Plausible Reasoning in the 21st Century.
Wellesley, MA: A K Peters, 2003.
Finch, S. R. "Pólya's Random Walk Constant." §5.9 in Mathematical
Constants. Cambridge, England: Cambridge University Press, pp. 322-331,
2003.
Domb, C. "On Multiple Returns in the Random-Walk Problem." Proc. Cambridge
Philos. Soc. 50, 586-591, 1954.
Glasser, M. L. and Zucker, I. J. "Extended Watson Integrals for the
Cubic Lattices." Proc. Nat. Acad. Sci. U.S.A. 74, 1800-1801, 1977.
McCrea, W. H. and Whipple, F. J. W. "Random Paths in Two and
Three Dimensions." Proc. Roy. Soc. Edinburgh 60, 281-298, 1940.
Montroll, E. W. "Random Walks in Multidimensional Spaces, Especially on
Periodic Lattices." J. SIAM 4, 241-260, 1956.
Sloane, N. J. A. Sequences A086230, A086231, A086232, A086233, A086234, A086235, and A086236 in "The On-Line Encyclopedia of Integer Sequences."
Watson, G. N. "Three Triple Integrals." Quart. J. Math., Oxford
Ser. 2 10, 266-276, 1939.
|