English

Closed-form expressions for Farhi's constant and related integrals and its generalization

Classical Analysis and ODEs 2019-06-12 v1

Abstract

In a recent work, Farhi developed a Fourier series expansion for the function lnΓ(x)\,\ln{\Gamma(x)}\, on the interval (0,1)(0,1), which allowed him to derive a nice formula for the constant η:=201lnΓ(x)sin(2πx)dx\,\eta := 2 \int_0^1{\ln{\Gamma(x)} \, \sin{(2 \pi x)} \, dx}. At the end of that paper, he asks whether η\eta could be written in terms of other known mathematical constants. Here in this work, after deriving a simple closed-form expression for η\eta, I show how it can be used for evaluating other related integrals, as well as certain logarithmic series, which allows for a generalization in the form of a continuous function η(x)\eta(x), x[0,1]x \in [0,1]. Finally, from the Fourier series expansion of lnΓ(x)\,\ln{\Gamma(x)}, x(0,1)x \in (0,1), I make use of Parseval's theorem to derive a closed-form expression for 01ln2Γ(x) dx\,\int_0^1{\ln^2{\Gamma(x)}~dx}.

Keywords

Cite

@article{arxiv.1906.04303,
  title  = {Closed-form expressions for Farhi's constant and related integrals and its generalization},
  author = {F. M. S. Lima},
  journal= {arXiv preprint arXiv:1906.04303},
  year   = {2019}
}

Comments

13 pages, No figure