泛函分析应用举例