تحلیل عملگرهای دیفرانسیل و نظریه طیفی