1 はじめに

研究の途中で、ある定積分

  $$I_0 = \int_0^\infty \frac{1}{x}\log\left\vert\frac{x+1}{x-1}\right\vert dx$$ (1)

が出てきたが、この値を求めるのはあまり易しくはない。 本稿では、その値の計算や、これに関するいくつかの性質を紹介する。