bibliographic details : 泛函分析及其应用