Defined for functions in Sobolev space, which measures the integral of the squared magnitude of the function's gradient