Extensions from the Sobolev spaces satisfying prescribed Dirichlet boundary conditions
Extensions from into (where ) are constructed in such a way that extended functions satisfy prescribed boundary conditions on the boundary of . The corresponding extension operator is linear and bounded.