discussion:en:泛函分析:广义函数