Dirichlet integral

In mathematics, there are several integrals known as the Dirichlet integral, after the German mathematician Peter Gustav Lejeune Dirichlet, one of which is the improper integral of the sinc function over the positive real number line. ∫ 0 ∞ sin ⁡ x x d x = π 2 . {\displaystyle \int _{0}^{\infty }{\frac {\sin x}{x}}\,dx={\frac {\pi }{2}}.} This integral is not absolutely convergent, meaning | sin ⁡ x x | {\textstyle \left|{\frac {\sin x}{x}}\right|} has an infinite Lebesgue or Riemann improper integral over the positive real line, so the sinc function is not Lebesgue integrable over the positive real line. The sinc function is, however, integrable in the sense of the improper Riemann integral or the generalized Riemann or Henstock–Kurzweil integral. This can be seen by using Dirichlet's test for improper integrals. It is a good illustration of special techniques for evaluating definite integrals, particularly when it is not useful to directly apply the fundamental theorem of calculus due to the lack of an elementary antiderivative for the integrand, as the sine integral, an antiderivative of the sinc function, is not an elementary function. In this case, the improper definite integral can be determined in several ways: the Laplace transform, double integration, differentiating under the integral sign, contour integration, and the Dirichlet kernel. But since the integrand is an even function, the domain of integration can be extended to the negative real number line as well.