login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A354683
Decimal expansion of -2 - (1 - gamma - log(2))*Pi (negated).
0
1, 1, 5, 0, 6, 3, 0, 0, 7, 0, 8, 9, 4, 5, 8, 7, 6, 0, 8, 3, 4, 8, 8, 1, 9, 9, 5, 3, 7, 7, 0, 8, 4, 8, 9, 1, 7, 7, 5, 0, 9, 2, 1, 5, 1, 7, 6, 3, 3, 2, 1, 8, 7, 1, 8, 0, 1, 3, 0, 0, 1, 2, 6, 0, 9, 1, 5, 9, 9, 8, 6, 2, 7, 4, 7, 9, 4, 2, 4, 9, 7, 3, 5, 5, 2, 3, 6, 0, 3, 5, 9, 8, 5, 9, 9, 0, 3, 6, 0, 1, 7, 8, 5, 4, 3
OFFSET
1,3
COMMENTS
The value of the integral given in the Formula section. It was discussed by Niels Bohr in a letter to his brother, Harald (June 12, 1912).
REFERENCES
Niels Bohr, Collected Works, Vol. I, L. Rosenfeld, ed., North-Holland, Amsterdam, 1972, pp. 554-557.
Murray S. Klamkin, ed., Problems in Applied Mathematics: Selections from SIAM Review, Philadelphia, 1987, pp. 252-253.
LINKS
P. J. Schweitzer, Problem 77-3, A Definite Integral of N. Bohr, SIAM Review, Vol. 19, No. 1 (1977), p. 147; Solution by D. E. Amos, ibid., Vol. 20, No. 1 (1978), pp. 188-190.
FORMULA
Equals Integral_{x=-oo..oo} F(x)*(F'(x)-log(x)) dx, where F(x) = Integral_{y=-oo..oo} cos(x*y)/(1+y^2)^(3/2) dy.
EXAMPLE
-1.15063007089458760834881995377084891775092151763321...
MATHEMATICA
RealDigits[-2 - (1 - EulerGamma - Log[2]) * Pi, 10, 100][[1]]
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Amiram Eldar, Jun 03 2022
STATUS
approved