Let be a real-valued Harmonic Function on a bounded Domain , then the Dirichlet energy is defined as , where is the Gradient.