Dirichlet integral