OFFSET
1,2
COMMENTS
This is the mean end-to-end distance of the 2-step self-avoiding walk with full excluded volume in the 2-dimensional continuum.
Take 3 touching circles of diameter 1 which are joined as a chain and each is free to move around its neighbors' perimeters, but no circle can overlap another. This value is the average of the distance from the middle of the first circle to the middle of the third circle, averaged over all possible configurations the chain of 3 non-overlapping circles can take.
Using the law of cosines one can show the distance between the middle of the first and third circles, r_3, in the 3-circle chain is r_3 = sqrt(2-2*cos(t)), where t is the angle between these circles centered on the second circle. The mean end-to-end distance is thus given by the integral <r_3> = Integrate(r_3,{t,Pi/3,5*Pi/3})/(4*Pi/3), which includes division by the required normalization constant. Solving this definite integral gives the exact value for <r_3> as 3*sqrt(3)/Pi. This is A289504 minus 2.
Removing the square root from r_3 in the above integral gives the mean square end-to-end distance for the 2-step walk. Evaluating this integral gives the exact value for <r2_3> as 2+3*sqrt(3)/(2*Pi), with a value of approximately 2.826993343... . This is A086089 plus 2, or equivalently this sequence divided by 2, plus 2.
LINKS
Andrew Howroyd, Table of n, a(n) for n = 1..1000
Scott R. Shannon, Java code for a 2-step self-avoiding walk in the continuum. This produces a numerical approximation to the exact values.
EXAMPLE
1.653986686265376148533979494938908324192159441099921958398...
MATHEMATICA
RealDigits[3*Sqrt[3]/Pi, 10, 120][[1]] (* Amiram Eldar, Jun 13 2023 *)
PROG
(PARI) 3*sqrt(3)/Pi
CROSSREFS
KEYWORD
AUTHOR
Scott R. Shannon, Mar 05 2019
EXTENSIONS
Terms a(59) and beyond from Andrew Howroyd, Apr 27 2020
STATUS
approved