en:discussion:en:泛函分析:sobolev空间