OFFSET
0,1
COMMENTS
Because the integral from u=0 up to u=Pi/2 equals log(2)*Pi/2 = A086054/2, this is also the x such that Integral_{u=Pi/2..Pi*x} u*cot(u) du = -log(2)*Pi/2. By partial integration, Integral_{u} u*cot(u) du = u*log(sin(u)) - Integral_{u} log(sin(u)) du, used with a Newton method in the Maple implementation.
LINKS
G. Freiman and H. Halberstam, On a product of sines, Acta Arithmetica 49 issue 4 (1987) 377-385.
EXAMPLE
x = 0.7912265710...
MAPLE
intu := proc(u) u*log(sin(u)) - int( log(sin(t)), t=Pi/2..u) ; evalf(%) ; end proc:
Digits := 80 : x := 0.79122 :
for it from 1 to 10 do x0 := intu(evalf(Pi*x))+Pi*log(2)/2 ; xnew := x-evalf(x0)/Pi^2/x/cot(Pi*x) ; x := evalf(xnew) ; print(x) ; end do:
MATHEMATICA
First@ RealDigits@ Re[ FindRoot[ Integrate[ u*Cot[u], {u, 0, x*Pi}], {x, 0.7}, WorkingPrecision -> 2^7][[1, 2]]] (* Robert G. Wilson v, Aug 03 2010 *)
CROSSREFS
KEYWORD
cons,nonn
AUTHOR
R. J. Mathar, Aug 01 2010
EXTENSIONS
More terms from Robert G. Wilson v, Aug 03 2010
STATUS
approved