login
Decimal expansion of the integral over the square (0,1)x(0,1) of 1/((x+y)*sqrt((1-x)*(1-y))) dx dy.
6

%I #36 Jan 30 2025 08:38:00

%S 3,6,6,3,8,6,2,3,7,6,7,0,8,8,7,6,0,6,0,2,1,8,4,1,4,0,5,9,7,2,9,5,3,6,

%T 4,4,3,0,9,6,5,9,7,4,9,7,1,2,6,6,8,8,5,3,7,0,6,5,9,9,2,4,7,8,4,8,7,0,

%U 5,2,0,7,9,1,0,5,0,1,9,0,7,7,9,1,7,4,2,6,0,5,1,7,0,4,4,6,0,4,2,4,9,9,4

%N Decimal expansion of the integral over the square (0,1)x(0,1) of 1/((x+y)*sqrt((1-x)*(1-y))) dx dy.

%C Also hyperbolic volume of the Whitehead link complement and (-2,3,8) pretzel link complement. This is the minimal volume attainable by a two-cusped orientable hyperbolic 3-manifold. - _Jeremy Tan_, Nov 17 2016

%H G. C. Greubel, <a href="/A247685/b247685.txt">Table of n, a(n) for n = 1..10000</a>

%H Ian Agol, <a href="https://dx.doi.org/10.1090%2FS0002-9939-10-10364-5">The minimal volume orientable hyperbolic 2-cusped 3-manifolds</a>, Proc. Amer. Math. Soc., Vol. 138, No. 10 (2010), pp. 3723-3732. MR2661571

%H David H. Bailey and Jonathan M. Borwein, <a href="https://escholarship.org/uc/item/4281090t">Highly Parallel, High-Precision Numerical Integration</a>, Lawrence Berkeley National Laboratory, 2005, p. 9.

%H Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/LerchTranscendent.html">Lerch Transcendent</a>.

%H Wikipedia, <a href="https://en.wikipedia.org/wiki/Lerch_zeta_function">Lerch zeta function</a>.

%F Equals 4*Catalan.

%F Equals Integral_{x=0..Pi/2} log((1+cos(x))/(1-cos(x))) dx = Integral_{x=0..Pi/2} log((1+sin(x))/(1-sin(x))) dx. - _Amiram Eldar_, Apr 07 2022

%F From _Amiram Eldar_, Aug 14 2023: (Start)

%F Equals Phi(-1, 2, 1/2) = Sum_{k>=0} (-1)^k/(k+1/2)^2, where Phi is the Lerch transcendent.

%F Equals Integral_{x=-Pi/2..Pi/2} x/sin(x) dx. (End)

%e 3.663862376708876060218414059729536443096597497126688537...

%p evalf(4*Catalan, 130); # _Alois P. Heinz_, Aug 14 2023

%t RealDigits[4*Catalan, 10, 103] // First

%o (PARI) default(realprecision, 100); 4*Catalan \\ _G. C. Greubel_, Aug 25 2018

%o (PARI) lerchphi(-1, 2, 1/2) \\ _Charles R Greathouse IV_, Jan 30 2025

%o (PARI) sumalt(k=0, (-1)^k/(k+1/2)^2) \\ _Charles R Greathouse IV_, Jan 30 2025

%o (Magma) SetDefaultRealField(RealField(100)); R:=RealField(); 4*Catalan(R); // _G. C. Greubel_, Aug 25 2018

%Y Cf. A006752 (Catalan), A091518, A244921, A247674, A247675, A247677, A247684.

%K nonn,cons,easy,changed

%O 1,1

%A _Jean-François Alcover_, Sep 22 2014