バナッハの不動点定理は常微分方程式に解があることを証明する場合にも使われる(ピカールの逐次近似法)。