Strong Law of Large Numbers for a Function of the Local Times of a Transient Random Walk in $${\mathbb {Z}}^d$$
Strong Law of Large Numbers for a Function of the Local Times of a Transient Random Walk in $${\mathbb {Z}}^d$$
Abstract For an arbitrary transient random walk $$(S_n)_{n\ge 0}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mrow><mml:mi>n</mml:mi><mml:mo>≥</mml:mo><mml:mn>0</mml:mn></mml:mrow></mml:msub></mml:math> in $${\mathbb {Z}}^d$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:msup><mml:mrow><mml:mi>Z</mml:mi></mml:mrow><mml:mi>d</mml:mi></mml:msup></mml:math> , $$d\ge 1$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:mi>d</mml:mi><mml:mo>≥</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:math> , we prove a strong law of large numbers for the spatial sum $$\sum _{x\in {\mathbb {Z}}^d}f(l(n,x))$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:msub><mml:mo>∑</mml:mo><mml:mrow><mml:mi>x</mml:mi><mml:mo>∈</mml:mo><mml:msup><mml:mrow><mml:mi>Z</mml:mi></mml:mrow><mml:mi>d</mml:mi></mml:msup></mml:mrow></mml:msub><mml:mi>f</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>l</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>n</mml:mi><mml:mo>,</mml:mo><mml:mi>x</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:math> of a function f of the local times $$l(n,x)=\sum _{i=0}^n{\mathbb …