login
This site is supported by donations to The OEIS Foundation.

 

Logo

Annual Appeal: Today, Nov 11 2014, is the 4th anniversary of the launch of the new OEIS web site. 70,000 sequences have been added in these four years, all edited by volunteers. Please make a donation (tax deductible in the US) to help keep the OEIS running.

Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A193716 Decimal expansion of Pi^3*log(2)/24 - 3*Pi*zeta(3)/16. 3
1, 8, 7, 4, 2, 6, 4, 2, 2, 8, 2, 8, 2, 3, 1, 0, 8, 0, 2, 6, 4, 5, 6, 9, 3, 1, 2, 2, 7, 3, 2, 7, 5, 0, 8, 1, 2, 5, 3, 0, 6, 9, 0, 1, 1, 7, 7, 0, 3, 1, 1, 5, 5, 7, 0, 8, 1, 0, 3, 2, 6, 0, 8, 3, 8, 8, 1, 8, 0, 2, 3, 3, 3, 1, 0, 6, 2, 0, 2, 8, 4, 9, 7, 6, 4, 9, 9, 2, 3, 1, 0, 6, 0, 2, 4, 4, 5, 8, 8, 1 (list; constant; graph; refs; listen; history; text; internal format)
OFFSET

0,2

COMMENTS

The absolute value of the integral {x=0..Pi/2} x^2*log(sin(x )) dx or (d^2/da^2 (integral {x=0..Pi/2} cos(ax)*log(sin(x )) dx)) at a=0. The absolute value of (sum {n=1..infinity} (limit { a -> 0} (d^2/da^2 (sin((a+2n)*Pi/2)/n/(a+2n)))))-(Pi/2)^3*log(2)/3. [Seiichi Kirikami and Peter J. C. Moses]

REFERENCES

I. S. Gradshteyn and I. M. Ryzhik, Table of Integrals, series and Products, 1.441.2, 4th edition, log(sin(x))=-(sum {1..infinity} cos(2nx)/n)-log(2).

S. Koyama and N. Kurokawa, Euler’s integrals and multiple sine functions, Proc. Amer. Math. Soc. 133(2005), 1257-1265.

LINKS

Table of n, a(n) for n=0..99.

R. E. Crandall, J. P. Buhler, On the evaluation of Euler sums, Exper. Math. 3 (4) (1994) 275 (discuss int_{0..1} x^n*cot(x) dx which is obtained by partial integration).

FORMULA

Equals A091925*A002162/24-3*A000796*A002117/16.

EXAMPLE

0.18742642282823108026...

MATHEMATICA

RealDigits[ N[Pi (2 Pi^2 Log[2] - 9 Zeta[3]) / 48, 105] ][[1]]

CROSSREFS

Cf. A173623, A173624, A193717.

Sequence in context: A094883 A131081 A158288 * A196914 A072102 A249136

Adjacent sequences:  A193713 A193714 A193715 * A193717 A193718 A193719

KEYWORD

cons,nonn

AUTHOR

Seiichi Kirikami, Aug 03 2011

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Transforms | Superseeker | Recent | More pages
The OEIS Community | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement .

Last modified December 19 13:15 EST 2014. Contains 252225 sequences.