Lo intentaré para 2D y luego podemos obtener 1D como corolario [¡ejercicio!]...
Esta es la única prueba que conozco, puede que haya una prueba más intuitiva (¡y menos liosa sin tex!) por ahí, pero me gusta esta, utiliza funciones generadoras de una manera realmente ingeniosa.
Considere la probabilidad de estar en el origen después de 2n pasos (observe que no podemos volver en un número impar de pasos):
$u_0=1$
$u_{2n} = p(n,n,0,0)+ p(n-1,n-1,1,1)+...+p(n-k,n-k,k,k)+...+p(0,0,n,n)$ (cuando $n\neq0$ )
Ici $p(u,d,l,r)$ es la probabilidad de que los 2n primeros pasos sean u arriba, d abajo, l izquierda y r derecha en cualquier orden. Cada orden tiene una probabilidad $\frac{1}{4^{2n}}$ y hay $\frac{(2n)!}{u!d!l!r!}$ órdenes distintas, dando $p(n-k,n-k,k,k)=\frac{1}{4^{2n}} \frac{(2n)!}{(n-k)!(n-k)!k!k!}$
Ahora bien, puesto que $(2n)!=n! n! \binom{2n}{n}$ tenemos $p(n-k,n-k,k,k)=\frac{1}{4^{2n}} \binom{2n}{n} \binom{n}{k}^2$ dando
$u_{2n}= \frac{1}{4^{2n}} \Sigma_k \binom{2n}{n} \binom{n}{k}^2$ que, por uno de esos tontos resultados binomiales, puede contraerse a
$u_{2n}= \frac{1}{4^{2n}} \binom{2n}{n}^2$
Guardémonos eso en el bolsillo por ahora y consideremos en su lugar la probabilidad de primero volviendo después de 2n pasos $f_{2n}$ --- Esto es bastante difícil de abordar directamente, pero podemos hacernos una pequeña fórmula astuta que lo incluya. función generadora diversión y sellar el trato con algunos.
La fórmula en cuestión es: $u_{2n}= f_2 u_{2n-2}+ f_4 u_{2n-4} +....+f_{2n-2}u_{2} + f_{2n}$
Lo cual no demostraremos sino que explicaremos: para volver al origen después de 2n pasos (LHS) hay que volver primero después de 2 pasos y hacer un 'volver al origen en 2n-2 pasos a pie' (primer término RHS) o volver primero después de 4 pasos y hacer un 'volver al origen en 2n-4 pasos a pie' (2º término) o... o volver primero después de 2n-2 pasos y hacer un 'volver al origen en 2 pasos a pie o volver primero al origen después de 2n pasos.
Ahora modificaremos un poco nuestra fórmula para que tenga las propiedades de simetría adecuadas para lo que viene, lo haremos añadiendo $f_0=0$ y $u_0=1$ dar
$u_{2n}= f_0 u_{2n}+ f_2 u_{2n-2}+ f_4 u_{2n-4} +....+f_{2n-2}u_{2} + f_{2n}u_0$
Que es secretamente una afirmación sobre funciones generadoras (¡esta es la parte dulce!), mira las funciones generadoras de $u_n$ , $f_n$ :
$U(x)= \Sigma_m u_{2m} x^{2m}$ , $F(x)= \Sigma_m f_{2m} x^{2m}$
Ya vemos:
$U(x)= 1+ U(x)F(x)$
(donde el "1+" es para compensar el hecho de que $u_0$ no aparece en el producto) Reordenando a:
$F(x)= \frac{U(x)-1}{U(x)}$
Obsérvese que la probabilidad de retorno es $\Sigma f_n= F(1)$ que es 1 porque $U(1)$ diverge por algunos tediosos stirlings fórmula límites que olvido.
Edita: Hasta que Tex se conecte, esto es bastante ilegible, así que aquí Aquí tienes un enlace a unos apuntes que encontré con la misma demostración (y, afortunadamente, la misma notación). ¡Que aproveche!
Editar $^2$ : ¡Hurra, Tex está en línea! Que lo disfrutes.
0 votos
¿Se te ocurre alguna razón por la que debería afectar a puntos que no estén en el origen?
2 votos
@Jonathan: No estoy seguro de lo que quieres decir - en 1-d, el paseo aleatorio golpea cada número entero con probabilidad 1, y en 2-d, el paseo aleatorio golpea cada punto de celosía con probabilidad 1.
0 votos
Entonces creo que estoy confundido con la pregunta :(
0 votos
¿quieres decir que en el límite se encontrará en el origen?
0 votos
Lo que quiero decir es que P(en algún momento del paseo aleatorio, el punto volverá al origen)=1. Esto tiene como consecuencia que el número de veces que el paseo aleatorio visita el origen es infinito.
2 votos
Creo que tocará todos los puntos infinidad de veces.
0 votos
Sí, lo hará (en 1 y 2 dimensiones). El razonamiento de volver al origen una vez a golpear cada punto infinitamente muchas veces es mucho más fácil que la prueba (no es que pueda hacer cualquiera de los dos de la parte superior de mi cabeza en este momento).
2 votos
@Isaac: Si sabes que llegarás a cada punto con probabilidad 1, entonces volverás a cada punto con probabilidad 1
0 votos
@Casebash Lo que quiere decir es dónde es probable que "converjan" por lo que lo importante son los ratios.
0 votos
@Casebash: Sí, es cierto, pero todo eso lo sé por saber que la probabilidad de volver al origen es 1. (Eh, lo que intento decir es que hablar de la primera vuelta al origen es la versión más simple de una serie de afirmaciones equivalentes, entre ellas que cada punto es visitado infinitas veces).
0 votos
@Isaac: Cierto. Hay una probabilidad no nula de llegar a cada punto desde el origen. Si puedes demostrar que vuelves al origen, entonces tienes un número infinito de reintentos
0 votos
@Casebash buen razonamiento. Otra forma es redefinir el origen ya que no tiene nada de especial.
0 votos
A Modern Course in Statistical Physics 2nd Edition by L. E. REICHL la ecuación 4.101 tiene el resultado final. La prueba está ahí.