I was calculating the so-called Dirichlet Integral,
$$\displaystyle \int_{0}^{\infty}\frac{\sin x}{x} \text{d} x$$
and then I wondered about his name and history:
Why it has the name of Dirichlet?
When was it first calculated?
In what context it showed up for the first time and from which interests it needed (if so) to be evaluated?
I don't know any resources (except for Stack Exchange) for researching this questions, and I haven't found anything related to them after surfing along the first 4 pages of results of "dirichlet integral history" in Google.
Does anybody know anything about its history or where to find information about it?
