抽象柯西問題（abstract Cauchy problem）
這裡有一個威力強大的視角轉換。擴散方程 u_t = -L u 在 (x, t) 中看起來是二維的，但若你把「單一時刻的整個空間剖面」當成函數空間裡的一個點，那麼真正在變的就只有這個點，而它隨時間而變。方程於是塌縮成讀起來像世上最簡單常微分方程的東西：du/dt = -A u——只不過 u(t) 不是一個數，而是無窮維空間中的一個向量，A 也是一個算子而非一個數。這個改寫就是抽象柯西問題。
精確地說：選定一個巴拿赫空間 X（對熱方程取 X = L^2(Omega)）與一個 X 上的線性算子 A（對熱方程取 A = -Laplacian 並帶其邊界條件，它是無界的——只在夠光滑的函數上有定義）。抽象柯西問題是：尋找函數 u: [0, infinity) 映到 X，使得對 t > 0 有 du/dt = -A u，且 u(0) = u_0，其中 u_0 屬於 X 是給定的初始剖面。「柯西問題」就是初始值問題；「抽象」是說我們不再提及 x、空間導數或邊界條件——這一切都被摺進了單一算子 A 及其定義域裡。求解它，就是找一條穿過 X 的曲線，使它在每一瞬間的速度等於 -A 作用在它當前所在之處。
何必如此費事？因為一旦把具體的偏微分方程寫成這個樣子，便有一整套現成的機器適用，與原方程無關。當解存在時，它是 u(t) = e^{-tA} u_0——一個算子半群——而那些核心問題（曲線是否存在、是否唯一、是否保持有界、是否衰減）都化為關於單一算子 A 的問題：它的譜、它的預解式、它是否生成半群。希爾-吉田定理與盧默-菲利普斯定理精確回答了抽象柯西問題在何時是適定的。
熱方程初邊值問題：在 Omega 上 u_t = Laplacian u、邊界上 u = 0、u(., 0) = u_0，化為 du/dt = -A u、u(0) = u_0，其中 X = L^2(Omega)、A = -Laplacian，定義域為 D(A) = H^2(Omega) 交 H^1_0(Omega)。邊界條件藏在 D(A) 的選取裡，而不在抽象方程本身。
把 (x, t) 中的偏微分方程，改寫成無窮維空間中的常微分方程。
算子 A 幾乎總是無界的，所以 du/dt = -A u 並不是它表面上裝出來的那個初等線性常微分方程——你不能只是把 e^{-tA} u_0 寫成冪級數就算了事。對無界的 A 賦予 e^{-tA} 意義，正是半群理論的內容，而定義域 D(A)（A 究竟在何處有定義）也絕非可有可無的記帳細節。