Then  with  is called a weak solution to the boundary value problem if the integral equation above is satisfied. For the definition of the trace operator to be reasonable, there must hold  for sufficiently regular .
Then, with  being involved, it's regarded as a weak solution to the boundary value problem if the integral equation holds true. For the definition of the trace operator to be logical, there must exist  for adequately regular .