A Trace Operator for Weighted Sobolev Spaces
摘要
We study a generalization of weighted Sobolev spaces associated to two weights and two exponents. We first give a criterion for the existence of an extension operator beyond the domain to the whole space and deduce that smooth functions up to the boundary of the domain form a dense open subset. By relying on this property, we then show the existence of a trace operator.