Approximation in higher-order Sobolev spaces and Hodge systems
arXiv:1709.01762 · doi:10.1016/j.jfa.2018.08.003
Abstract
Let be an integer, and be a differential -form on with coefficients. It was proved by Bourgain and Brezis (\cite[Theorem 5]{MR2293957}) that there exists a differential -form on with coefficients in such that . Bourgain and Brezis also asked whether this result can be extended to differential forms with coefficients in the fractional Sobolev space with . We give a positive answer to this question, in the more general context of Triebel-Lizorkin spaces, provided that , where is the largest positive integer such that . The proof relies on an approximation result for functions in by functions in , even though does not embed into in this critical case.