関数解析には、具体的に、どういう応用があるのですか?