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