不動點表述（fixed-point formulation）
不動點表述是讓存在性理論得以運轉的視角轉換：你不再尋找一個導數遵守規則的函數，而是尋找一個等於自身某種變換的函數。把「解微分方程」重塑為「找一個算子的不動點」，正是讓壓縮映射原理接手、並一次交付存在、唯一與構造的那個樞紐。
這個重塑是具體的。從 y' = f(x, y)、y(x0) = y0 出發。兩邊從 x0 到 x 積分，並用初始條件消去常數，得到 y(x) = y0 + 從 x0 到 x 對 f(t, y(t)) dt 的積分。一個連續函數滿足這個積分方程，當且僅當它解原來的初值問題——兩者等價，但積分形式友善得多，因為積分把東西抹平、而微分則苛求。現在定義一個算子 T，它把候選函數 y 拿來、回傳右端：T(y)(x) = y0 + 從 x0 到 x 對 f(t, y(t)) dt 的積分。解這個常微分方程，現在就恰好等同於找一個滿足 T(y) = y 的 y——T 的不動點。
何必把微分方程換成不動點的搜尋？因為不動點問題有一個強大的通用答案。在夠短的區間上，f 的利普希茨條件使 T 成為壓縮，接著壓縮映射原理就交給你一個藉迭代抵達的唯一不動點。積分形式還把初始條件直接內建進方程裡（沒有獨立的步驟），且容忍僅僅連續的資料，這正是為什麼是它、而非原始的導數形式，成為皮亞諾與皮卡－林德洛夫兩個定理的天然起跑線。
問題 y' = x + y、y(0) = 0 變成不動點方程 y(x) = 從 0 到 x 對 (t + y(t)) dt 的積分。一個函數解這個常微分方程，恰當它通過這個積分後回傳同一個函數時——那就是壓縮原理隨後定位、皮卡迭代逼近的不動點。
把常微分方程積分成 y = T(y)；解方程現在就是搜尋積分算子 T 的不動點。
積分形式與「常微分方程加其初始條件」是真正等價的，而非近似——而它之所以受偏愛，正因為積分是寬容的（它只需連續性），而微分不是。