Peter Gustav Lejeune Dirichlet Integral Dirichlet