預解算子（resolvent operator）
/ ri-ZOLL-vent /
研究一個算子時，最能揭示真相的問題是：對哪些數 lambda，你能把 L - lambda 反過來求逆？答案把複平面分成兩類點——反演失敗之處（譜，算子的共振頻率）與反演成功之處。在每個成功的點上，那個逆本身就是一個良好定義的算子。預解算子就是這一族逆，每個 lambda 對應一個，而追蹤它的行為正是譜論的主策略。
形式上，L 的預解算子是 R(lambda) = (L - lambda I)^(-1)，對每個不在譜中的 lambda 有定義。要解 (L - lambda I) u = f，你只要施用它：u = R(lambda) f。與格林函數的關聯既直接又重要：R(lambda) 是一個積分算子，其核是平移算子 L - lambda I 的格林函數。由譜表示，R(lambda) 有明確形式 (R(lambda) f)(x) = integral of G_lambda(x, y) f(y) dy，其中 G_lambda(x, y) = sum over n of phi_n(x) phi_n(y) / (lambda_n - lambda)。盯著那個分母看：當 lambda 趨近某個特徵值 lambda_n，對應項就發散——預解算子恰好在每個特徵值處有一個極點。所以譜（反演失敗之處）可由預解算子的奇異性讀出，而極點處的留數挑出對該特徵空間的投影。
為何預解算子核心：它把一整族問題（每個 lambda 一個）打包成單一的解析物件，於是複分析的工具——極點、留數、圍道積分——就能交付譜分解、時間演化半群（透過 R(lambda) 的反拉普拉斯轉換），以及任意能量處的格林函數。它是特徵函數展開背後的嚴格骨幹。誠實的微妙之處是：對微分算子，譜可能不只是孤立的特徵值——它可能含連續部分（想想整條直線上的自由粒子）——這時預解算子有的是分支割線而非僅僅極點，乾淨的求和也變成對連續譜的積分。
對 [0, pi] 上兩端為零的 L = -d^2/dx^2，R(lambda) f = u 解 -u'' - lambda u = f。它的核 G_lambda(x, y) = sum over n of (2/pi) sin(n x) sin(n y) / (n^2 - lambda) 在 lambda = n^2 時有極點——正好是特徵值。
預解算子的極點恰好坐落在算子的特徵值上。
對微分算子，譜不必只是孤立的特徵值——它可能有連續部分（例如直線上的自由粒子），這時預解算子帶的是分支割線而非僅極點，且積分取代了特徵值的求和。