Theorem 4.1, p. 17 — for f ∈ S¹_μ, μ ≥ 0, the implicit scheme (72)–(73) with α_k > 0 has ℒ_{k+1} ≤ ℒ_k/(1 + α_k)

Initializing...

Theorem 4.1, p. 17 — for f ∈ S¹_μ, μ ≥ 0, the implicit scheme (72)–(73) with α_k > 0 has ℒ_{k+1} ≤ ℒ_k/(1 + α_k) · Prove2Me