In mathematical analysis, the trace operator extends the notion of the restriction of a function to the boundary of its domain to "generalized" functions in a Sobolev space. This is particularly important for the study of partial differential equations with prescribed boundary conditions (boundary value problems), where weak solutions may not be regular enough to satisfy the boundary conditions in the classical sense of functions.
Motivation On a bounded, smooth domain Ω ⊂ R n {\textstyle \Omega \subset \mathbb {R} ^{n}} , consider the problem of solving Poisson's equation with inhomogeneous Dirichlet boundary conditions:
− Δ u = f in Ω , u = g on ∂ Ω {\displaystyle {\begin{alignedat}{2}-\Delta u&=f&\quad &{\text{in }}\Omega ,\\u&=g&&{\text{on }}\partial \Omega \end{alignedat}}}
with given functions f {\textstyle f} and g {\textstyle g} with regularity discussed in the application section below. The weak solution u ∈ H 1 ( Ω ) {\textstyle u\in H^{1}(\Omega )} of this equation must satisfy
… excerpt ends here. Continue reading the full article.

