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  is referred to as a weak solution to the boundary value problem if the integral equation above is fulfilled. For the definition of the trace operator to be sensible, there must hold  for sufficiently regular .