Pith. sign in

REVIEW 1 major objections 6 minor 58 references

Relaxed and Inertial Nonlinear Forward-Backward with Momentum

T0 review · 1 major / 6 minor · reviewed 2026-08-11 · deepseek-v4-flash

Pith's one-line read Two inertial variants of the nonlinear forward-backward algorithm with momentum are proved to converge weakly to solutions of monotone inclusions under explicit step-size and momentum conditions.

desk verdict Solid inertial/relaxed extension of NFBM; the stress-test's Young-bound objection is a false alarm. read the letter →

arxiv 2412.02045 v1 pith:F6AMAYVM submitted 2024-12-03 math.OC

classification math.OC MSC 47H0565K0565K1590C25
keywords monotoneinclusionnonlinearforward-backwardinertialalgorithmmomentumcorrectionrelaxationparameterweakconvergenceforward-half-reflect-backwardimagerestoration
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proposes two momentum-accelerated versions of the nonlinear forward-backward with momentum (NFBM) algorithm for solving monotone inclusions of the form $0 \in (A+C)x$, where $A$ is maximally monotone and $C$ is cocoercive in a real Hilbert space. The first version adds a relaxation parameter $\lambda$ to an inertial step, and the second adds a double-inertial step with an extra momentum term. The authors prove that, under a strict Lipschitz condition on the warped operators and a bounded step-size regime, the iterates converge weakly to a solution point. Because NFBM specializes to forward-backward, forward-half-reflect-backward, Chambolle\u2013Pock, and Condat\u2013V\u0169, the results yield inertial and relaxed versions of those algorithms and recover known step-size conditions from the literature. Numerical experiments on image restoration show that the inertial variants reduce iteration counts for fixed step sizes, and a restart heuristic gives further gains in CPU time.

What carries the argument

The engine of the proof is the Lyapunov function $C_n(x)=\|x_n-x\|_S^2 - \alpha_n\|x_{n-1}-x\|_S^2 + 2\lambda\langle u_n \mid x_n-x\rangle + \lambda(1+|1-\lambda|)\zeta_n\|p_n-y_{n-1}\|_S^2 + \xi_n\|x_n-x_{n-1}\|^2$ for Algorithm 2.2, with an analogous function for Algorithm 2.3. The warped resolvent step $(M_n+A)^{-1}$ with momentum correction $u_n$ is the object that generalizes forward-backward, and the coefficients $\rho_n,\eta_n,\xi_n$ encode the step-size, cocoercivity constant, and Lipschitz constants. The central descent inequality $C_{n+1}(x)\le C_n(x)-(\eta_n-\xi_{n+1})\|x_{n+1}-x_n\|^2$ is what forces summability of successive differences and eventual weak convergence.

What would settle it

Run Algorithm 2.2 in $\mathbb{R}^2$ with $A$ the subdifferential of the indicator of the unit square, $C(x)=0.5x$, $S=\mathrm{Id}$, constant $\gamma$, $\alpha_n\equiv 0.2$, $\lambda=1.5$, choosing $\gamma$ so that (4.22) holds, and compute $C_{n+1}(x)-C_n(x)+(\eta_n-\xi_{n+1})\|x_{n+1}-x_n\|^2$ at each iteration. If this quantity is ever positive, the Lyapunov descent inequality (4.8), which is the core of the proof, is false and the theorem collapses.

Watch

Extended reading notes

Core claim

The central claim is that inertia and relaxation can be added to the nonlinear forward-backward with momentum algorithm without sacrificing convergence. Theorems 4.4 and 4.7 assert that, under Assumption 4.1 and the parameter conditions (4.22) or (4.41), the iterates of Algorithms 2.2 and 2.3 converge weakly to a point in the solution set $Z=\mathrm{zer}(A+C)$ of the monotone inclusion $0\in (A+C)x$. The proof constructs a non-increasing Lyapunov function $C_n(x)$ in the $S$-norm that includes momentum-correction terms, derives a descent inequality whose coefficient $\eta_n-\xi_{n+1}$ is uniformly positive, and then uses Opial's lemma after showing every weak cluster point lies in $Z$. By choosing the warping operators and metric in specific ways, the same theorems recover inertial and relaxed versions of forward-backward, forward-half-reflect-backward, Chambolle\u2013Pock, and Condat\u2013V\u0169, together with their known step-size restrictions.

Load-bearing premise

The whole convergence proof rests on Assumption 4.1: at every iteration the warped operator $\gamma_n M_n - S$ must be Lipschitz with constant $\zeta_n \le 1-\varepsilon$ with respect to the fixed strongly monotone linear metric $S$, and the step sizes $\gamma_n$ must stay in a fixed bounded interval; if this strict contractivity is violated, the Lyapunov descent inequality fails.

Editorial extensions

If this is right

  • If the theorems hold, every algorithm that is a special case of Algorithm 2.2 or 2.3 inherits a weak-convergence guarantee under explicit parameter inequalities, covering inertial and relaxed FB, FHRB, Chambolle\u2013Pock, and Condat\u2013V\u0169.
  • The parameter conditions (4.22) and (4.41) give a user-ready recipe: the inertial coefficients must be non-decreasing, and the admissible step-size interval shrinks as the inertial parameters grow for fixed cocoercivity and Lipschitz data.
  • A direct corollary is that when relaxation is removed ($\lambda=1$), the inertial FB condition reduces to $1-3\alpha-\gamma(1-\alpha)^2/(2\mu)>0$ in the constant-coefficient case, matching known inertial FB thresholds.
  • The second algorithm with double inertia allows more flexibility in the choice of the two inertial parameters, since only the sum $\tilde{\alpha}_n=\alpha_n+\theta_n$ and the combination $\alpha_n-\gamma_n\beta_n/(2\mu)$ are constrained by the conditions.
  • Numerically, for image restoration, inertial FHRB variants cut the number of iterations for fixed step-sizes, and the double-inertial variant performed best in iteration count while a semi-double-inertial variant was fastest in CPU time.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because the Lyapunov analysis uses only $S$-norm geometry and the Lipschitz bound on the warped operator, the same descent-inequality template should transfer to fixed-point iterations of averaged operators in other metric spaces, though the authors do not explore that direction.
  • The restart strategy tested numerically has no convergence proof; a natural next step would be to prove weak convergence for the restarted sequence, which currently holds only because the inertial parameter is eventually zero, making the acceleration heuristic rather than guaranteed.
  • The numerical observation that larger step-sizes shrink admissible inertia suggests a trade-off: acceleration from momentum and acceleration from step-size compete, and an adaptive scheme that modulates inertia as the step-size approaches its limit might achieve better worst-case rates.
  • One can test the sharpness of (4.22) on a two-dimensional example where $A$ is a normal cone and $C$ is a linear cocoercive map: if the inequality is necessary as well as sufficient, iterates should fail to converge as soon as $\eta_n-\xi_{n+1}$ turns negative.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 6 minor

Summary. This manuscript studies inertial and relaxed versions of the nonlinear forward-backward with momentum (NFBM) of Morin, Banert, and Giselsson. It proposes two algorithms: Algorithm 2.2, an inertial NFBM with a relaxation step, and Algorithm 2.3, a double-inertial variant with an additional momentum term. For both, it proves weak convergence to a zero of A+C under Assumption 4.1 and the parameter conditions (4.22) and (4.41). It then derives inertial and relaxed versions of forward-backward, forward-half-reflected-backward, Chambolle-Pock, Condat-Vu, and related primal-dual methods, recovering previously known convergence conditions as special cases. Numerical experiments on image restoration compare the variants, and a restart strategy is proposed to preserve acceleration for large step sizes.

Significance. If the convergence theorems are fully correct, the paper gives a valuable unified framework: the same Lyapunov analysis covers inertia, relaxation, and momentum for NFBM and its many special cases. A notable strength is that the special-case reductions are independently checkable and match known results, for example (5.1) recovers the condition in [45] and (5.7) recovers the conditions in [46] and [58]. The algebraic derivations in Section 4 are detailed, and the numerical code is made available. The main caveat is that the proof of the under-relaxed case lambda in (0,1) in Theorem 4.4 contains a false inequality, so the claim as stated is not fully established; the argument for lambda in [1,2) appears sound.

major comments (1)
  1. [§4.1, Proposition 4.2(4), Eq. (4.21)] The displayed lower bound in the proof of Proposition 4.2(4) is false for lambda in (0,1). From u_n = T_{n-1}p_n - T_{n-1}y_{n-1} and the zeta_{n-1}-Lipschitz property of T_{n-1}, together with p_n - y_{n-1} = (x_n - y_{n-1})/lambda, one obtains ||u_n||_{S^{-1}} <= (zeta_{n-1}/lambda)||x_n - y_{n-1}||_S, hence 2lambda <u_n | x_n - x> >= -2 zeta_{n-1} ||x_n - y_{n-1}||_S ||x_n - x||_S. Applying Young's inequality with coefficient c = lambda(1+|1-lambda|) gives the term -zeta_{n-1}/(lambda(1+|1-lambda|)) ||x_n - x||_S^2, not the claimed -lambda zeta_{n-1}/(1+|1-lambda|) ||x_n - x||_S^2. For lambda in (0,1) the claimed coefficient is strictly smaller than any coefficient obtainable by this argument, and the concrete example lambda=1/2, zeta=1, x_n=0, x=1, y_{n-1}=1, T=-Id gives LHS=-2 and RHS=-13/12. Therefore the proof that C_n(x) >= 0 via (4.21) fails in the under-relaxed case. Since Theorem 4.4 explicitly allows lambda in (0,1) with (xi_n)_{n>=N0} non-decreasing, the weak-convergence claim in that case is not proved as written. The argument for lambda in [1,2) is unaffected by this particular inequality.
minor comments (6)
  1. [§4.1, proof of Proposition 4.2] The sentence 'it follows from (2.2)' just before (4.12) should refer to (2.3), since the displayed identity concerns Algorithm 2.2.
  2. [Table 3] The header repeats 'FHRBDI' twice instead of listing FHRBDI and FHRBSDI separately, making the table difficult to read.
  3. [Figures 3-5] The captions and text use 'PNSR' where the standard abbreviation is 'PSNR'.
  4. [§5.2] The phrase 'alpha_n -> alpha in (0,+infinity)' should be 'alpha in [0,1]' in accordance with Algorithm 2.2; the same applies to beta and theta.
  5. [§6, restart strategy] The claim that the restart choice alpha_n = alpha for n <= N0 and alpha_n = 0 afterwards satisfies the assumptions of Theorem 4.4 should state explicitly that the theorem's N0 is taken after the restart, since the sequence is non-increasing across the whole index set.
  6. [Captions of Figures 4 and 5] The labels 'FHRBR' appear to be typos for 'FHRBIR'; the notation should be unified with the text.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the convergence proofs are genuine derivations from stated assumptions, and the special-case conditions are algebraic substitutions, not fitted predictions.

full rationale

The paper's central claims, Theorem 4.4 and Theorem 4.7, are proved directly from Problem 2.1, Assumption 4.1, and the Lyapunov inequalities in Propositions 4.2 and 4.6. Assumption 4.1, requiring gamma_n M_n - S to be zeta_n-Lipschitz with respect to S for a self-adjoint strongly monotone S, is explicitly stated as a hypothesis and is not a restatement of the weak-convergence conclusion; importing it from [48] does not make the argument circular because the present convergence result is not assumed inside that assumption. The particular cases in Section 5 are obtained by substituting concrete choices of S, M_n, gamma_n, and zeta_n into (4.22) and (4.41); for example, the FHRB condition (5.5) and the double-inertial condition (5.7) follow by algebra from the master conditions, and the paper explicitly verifies reduction to known conditions such as [5, Corollary 3.12], [45], and [46, Theorem 4.3]. No parameter is fitted to numerical output and then renamed as a prediction: Section 6 merely runs the algorithms with parameters chosen to satisfy the displayed sufficient conditions and reports iteration counts and CPU times. The only self-citations, [17] and [53], appear in background lists and do not carry the load-bearing convergence argument. Section 7's admission that the restart strategy lacks a theoretical framework is an honest limitation and is not presented as a derived prediction. The alleged defect in Proposition 4.2(4) identified by the skeptic concerns the validity of a Young-inequality bound; if substantiated, it would be a correctness gap in the proof, not a circularity, and does not change the circularity assessment. The derivation chain is therefore self-contained with respect to circularity.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central theorems introduce no fitted constants. The proof uses standard Hilbert space monotone operator theory, the problem hypotheses on A and C, an assumption imported from [48] on the metric/warping operators, and new sufficient Lyapunov conditions. No invented physical or mathematical entities are introduced.

assumptions (4)
  • standard math Standard real Hilbert space monotone operator theory, including resolvents, maximal monotonicity, cocoercivity, weak-strong graph closedness, and Opial's lemma.
    Invoked throughout Section 4; results from Bauschke-Combettes [8] are used without proof.
  • domain assumption The solution set Z of 0 in (A+C)x is nonempty.
    Problem 2.1 explicitly assumes Z is nonempty; this is necessary for convergence to a solution to make sense.
  • domain assumption Assumption 4.1: uniform step bounds gamma_n in [gamma, gamma_bar] and gamma_n M_n - S is zeta_n-Lipschitz with zeta_n in [0, 1-epsilon].
    Imported from [48, Assumption 2.2]; all Lyapunov estimates in Section 4 depend on this property.
  • ad hoc to paper The sufficient Lyapunov conditions (4.22)/(4.41): rho_n >= 0, eta_n - xi_{n+1} >= epsilon, and monotonicity of alpha_n or tilde alpha_n.
    These are new conditions introduced for the proof; the paper does not show they are necessary for convergence.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Relaxed and Inertial Nonlinear Forward-Backward with Momentum." pith.science (2026). https://pith.science/paper/F6AMAYVM

@misc{pith2026241202045,
  author       = {Pith},
  title        = {Pith review of: Relaxed and Inertial Nonlinear Forward-Backward with Momentum},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/F6AMAYVM}},
  note         = {Machine review of arXiv:2412.02045}
}
read the original abstract

In this article, we study inertial algorithms for numerically solving monotone inclusions involving the sum of a maximally monotone and a cocoercive operator. In particular, we analyze the convergence of inertial and relaxed versions of the nonlinear forward-backward with momentum (NFBM). We propose an inertial version including a relaxation step, and a second version considering a double-inertial step with additional momentum. By applying NFBM to specific monotone inclusions, we derive inertial and relaxed versions of algorithms such as forward-backward, forward-half-reflect-backward (FHRB), Chambolle-Pock, Condat-V\~u, among others, thereby recovering and extending previous results from the literature for solving monotone inclusions involving maximally monotone, cocoercive, monotone and Lipschitz, and linear bounded operators. We also present numerical experiments on image restoration, comparing the proposed inertial and relaxation algorithms. In particular, we compare the inertial FHRB with its non-inertial and momentum versions. Additionally, we compare the numerical convergence for larger step-sizes versus relaxation parameters and introduce a restart strategy that incorporates larger step-sizes and inertial steps to further enhance numerical convergence.

Figures

Figures reproduced from arXiv: 2412.02045 by the authors.

Figure 1
Figure 1. Relative error along iteration number for the random observation 10. In this case, the inertial parameters do not satisfy the hypothesis guaranteeing convergence. See [PITH_FULL_IMAGE:figures/full_fig_p017_1.png] view at source ↗
Figure 2
Figure 2. Relative error along iteration number for the random observation 10. See [PITH_FULL_IMAGE:figures/full_fig_p018_2.png] view at source ↗
Figure 3
Figure 3. Original image, blur and noisy observation 10, and recovered images for FHRB, FHRBSI, FHRBI, FHRBDI, and FHRBIR (α = 0.2) with their respective PNSR (dB), blur of kernel 3 × 3 and N = 256. See [PITH_FULL_IMAGE:figures/full_fig_p019_3.png] view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: Original image, blur and noisy observation 10, and recovered images for FHRB and FHRBIR (N0 = 3000) with their respective PNSR (dB), blur of kernel 9 × 9 and N = 256. See [PITH_FULL_IMAGE:figures/full_fig_p019_4.png]
Figure 5
Figure 5. Figure 5: Original image, blur and noisy observation 10, and recovered images for FHRB and FHRBIR (N0 = 3000) with their respective PNSR (dB), blur of kernel 9 × 9 and N = 512. See [PITH_FULL_IMAGE:figures/full_fig_p019_5.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

58 extracted references · 33 canonical work pages

  1. [45]

    Lorenz DA, Pock T (2015) An inertial forward-backward algorithm for monotone inclusions. J. Math. Imaging Vis. 51:311–325. https://doi.org/10.1007/s10851-014-0523-2

  2. [46]

    Malitsky Y, Tam MK (2020) A forward-backward splitting method for monotone inclusions without coco- ercivity. SIAM J. Optim. 30:1451–1472. https://doi.org/10.1137/18M1207260

  3. [58]

    Acta Math

    Zong CX, Tang YC, Zhang, GF (2022) An inertial semi-forward-reflected-backward splitting and its appli- cation. Acta Math. Sin. (Engl. Ser.) 38:443–464. https://doi.org/10.1007/s10114-022-0649-x

  4. [1]

    Alvarez F (2004) Weak convergence of a relaxed and inertial hybrid projection-proximal point algorithm for maximal monotone operators in Hilbert space. SIAM J. Optim. 14:773–782. https://doi.org/10.1137/ S1052623403427859

  5. [2]

    Set-Valued Anal

    Alvarez F, Attouch H (2001) An inertial proximal method for maximal monotone operators via dis- cretization of a nonlinear oscillator with damping. Set-Valued Anal. 9:3–11 https://doi.org/10.1023/A: 1011253113155

  6. [3]

    Alves MM, Eckstein J, Geremia M, Melo JG (2020) Relative-error inertial-relaxed inexact versions of Douglas-Rachford and ADMM splitting algorithms. Comput. Optim. Appl. 75:389–422. https://doi.org/ 10.1007/s10589-019-00165-y

  7. [4]

    Set-Valued Var

    Alves MM, Marcavillaca RT (2020) On inexact relative-error hybrid proximal extragradient, forward- backward and Tseng’s modified forward-backward methods with inertial effects. Set-Valued Var. Anal. 28:301–325. https://doi.org/10.1007/s11228-019-00510-7

  8. [5]

    Attouch H, Cabot A (2019) Convergence of a relaxed inertial forward-backward algorithm for structured monotone inclusions. Appl. Math. Optim. 80:547–598. https://doi.org/10.1007/s00245-019-09584-z

Show all 58 references
  1. [6]

    Attouch H, Peypouquet J (2019) Convergence of inertial dynamics and proximal algorithms gov- erned by maximally monotone operators. Math. Program. 174:391–432. https://doi.org/10.1007/ s10107-018-1252-x

  2. [7]

    Modern Birkh¨ auser Classics

    Aubin JP, Frankowska H (2009) Set-valued Analysis. Modern Birkh¨ auser Classics. Birkh¨ auser Boston, Inc., Boston, MA. https://doi.org/10.1007/978-0-8176-4848-0

  3. [8]

    Springer, Cham

    Bauschke HH, Combettes PL (2017) Convex Analysis and Monotone Operator Theory in Hilbert Spaces, second edn.CMS Books in Mathematics/Ouvrages de Math´ ematiques de la SMC. Springer, Cham. https: //doi.org/10.1007/978-3-319-48311-5

  4. [9]

    IEEE Trans

    Beck A, Teboulle M (2009) Fast gradient-based algorithms for constrained total variation image denoising and deblurring problems. IEEE Trans. Image Process. 18:2419–2434. https://doi.org/10.1109/TIP.2009. 2028250

  5. [10]

    Bot ¸ RI, Csetnek ER (2016) An inertial forward-backward-forward primal-dual splitting algorithm for solving monotone inclusion problems. Numer. Algorithms 71:519–540. https://doi.org/10.1007/ s11075-015-0007-5

  6. [11]

    Bot ¸ RI, Csetnek ER (2016) An inertial Tseng’s type proximal algorithm for nonsmooth and noncon- vex optimization problems. J. Optim. Theory Appl. 171(2), 600–616 (2016). https://doi.org/10.1007/ s10957-015-0730-z

  7. [12]

    Bot ¸ RI, Csetnek ER, Hendrich C (2015) Inertial Douglas-Rachford splitting for monotone inclusion prob- lems. Appl. Math. Comput. 256:472–487. https://doi.org/10.1016/j.amc.2015.01.017

  8. [13]

    Bot ¸ RI, Hendrich C (2014) Convergence analysis for a primal-dual monotone + skew splitting algorithm with applications to total variation minimization. J. Math. Imaging Vis. 49:551–568. https://doi.org/10. 1007/s10851-013-0486-8

  9. [14]

    Bot ¸ RI, Sedlmayer M, Vuong PT (2023) A relaxed inertial forward-backward-forward algorithm for solving monotone inclusions with application to GANs. J. Mach. Learn. Res. 24:191-227

  10. [15]

    Brice˜ no L, Cominetti R, Cort´ es CE, Mart ´ ınez F (2008) An integrated behavioral model of land use and transport system: a hyper-network equilibrium approach. Netw. Spat. Econ. 8:201–224. https://doi.org/ 10.1007/s11067-007-9052-5

  11. [16]

    Brice˜ no-Arias L, Deride J, L´ opez-Rivera S, Silva FJ (2023) A primal-dual partial inverse algorithm for constrained monotone inclusions: applications to stochastic programming and mean field games. Appl. Math. Optim. 87:21. https://doi.org/10.1007/s00245-022-09921-9

  12. [17]

    Brice˜ no-Arias L, Deride J, Vega C (2022) Random activations in primal-dual splittings for monotone inclusions with a priori information. J. Optim. Theory Appl. 192:56-81. https://doi.org/10.1007/ s10957-021-01944-6 RELAXED AND INERTIAL NONLINEAR FOR W ARD-BACKW ARD WITH MOMENTUM 21

  13. [18]

    Brice˜ no-Arias LM, Combettes P (2011) A monotone + skew splitting model for composite monotone in- clusions in duality. SIAM J. Optim. 21:1230–1250. https://doi.org/10.1137/10081602X

  14. [19]

    In: Computational and analytical mathematics, Springer Proc

    Brice˜ no-Arias LM, Combettes PL (2013) Monotone operator methods for Nash equilibria in non-potential games. In: Computational and analytical mathematics, Springer Proc. Math. Stat., vol. 50, Springer, New York, pp 143–159. https://doi.org/10.1007/978-1-4614-7621-4_9

  15. [20]

    Brice˜ no-Arias LM, Combettes PL, Pesquet JC, Pustelnik N (2011) Proximal algorithms for multicomponent image recovery problems. J. Math. Imaging Vis. 41:3–22. https://doi.org/10.1007/s10851-010-0243-1

  16. [21]

    Brice˜ no-Arias LM, Davis D (2018) Forward-backward-half forward algorithm for solving monotone inclu- sions. SIAM J. Optim. 28:2839–2871 (2018). https://doi.org/10.1137/17M1120099

  17. [22]

    Brice˜ no-Arias L, L´ opez Rivera S (2019) A projected primal-dual method for solving constrained monotone inclusions. J. Optim. Theory Appl. 180:907–924. https://doi.org/10.1007/s10957-018-1430-2

  18. [23]

    B` ui MN, Combettes PL (2020) Warped proximal iterations for monotone inclusions. J. Math. Anal. Appl. 491:124,315. https://doi.org/10.1016/j.jmaa.2020.124315

  19. [24]

    Chambolle A (2004) An algorithm for total variation minimization and applications. J. Math. Imaging Vis. 20:89–97. https://doi.org/10.1023/B:JMIV.0000011320.81911.38

  20. [25]

    Chambolle A, Pock T (2011) A first-order primal-dual algorithm for convex problems with applications to imaging. J. Math. Imaging Vis. 40:120–145. https://doi.org/10.1007/s10851-010-0251-1

  21. [26]

    Optimization 53:475–504

    Combettes PL (2004) Solving monotone inclusions via compositions of nonexpansive averaged operators. Optimization 53:475–504. https://doi.org/10.1080/02331930412331327157

  22. [27]

    Combettes PL (2018) Monotone operator theory in convex optimization. Math. Program. 170:177–206. https://doi.org/10.1007/s10107-018-1303-3

  23. [28]

    IEEE Trans

    Combettes PL, Pesquet JC (2021) Fixed point strategies in data science. IEEE Trans. Signal Process. 69:3878–3905. https://doi.org/10.1109/TSP.2021.3069677

  24. [29]

    Condat L (2013) A primal-dual splitting method for convex optimization involving Lipschitzian, prox- imable and linear composite terms. J. Optim. Theory Appl. 158:460–479. https://doi.org/10.1007/ s10957-012-0245-9

  25. [30]

    https://arxiv.org/abs/2401.16870

    Cortild D, Peypouquet J (2024) Krasnoselskii-mann iterations: Inertia, perturbations and approximation. https://arxiv.org/abs/2401.16870

  26. [31]

    Set-Valued Var

    Davis D, Yin W (2017) A three-operator splitting scheme and its optimization applications. Set-Valued Var. Anal. 25:829–858. https://doi.org/10.1007/s11228-017-0421-z

  27. [32]

    In: The Krasnosel’ski ˘ ı-Mann Iterative Method: Recent Progress and Applications, pp

    Dong Q., Cho YJ, He S, Pardalos PM, Rassias TM (2021) The inertial krasnosel’skiı–mann iteration. In: The Krasnosel’ski ˘ ı-Mann Iterative Method: Recent Progress and Applications, pp. 59–73. Springer. https://doi.org/10.1007/978-3-030-91654-1_5

  28. [33]

    Results Math

    Dong Y, Sun M (2022) New acceleration factors of the krasnosel’ski ˘ ı-mann iteration. Results Math. 77:194. https://doi.org/10.1007/s00025-022-01729-x

  29. [34]

    Douglas J, Rachford HH (1956) On the numerical solution of heat conduction problems in two and three space variables. Trans. Amer. Math. Soc. 82:421–439. https://doi.org/10.2307/1993056

  30. [35]

    Eckstein J, Bertsekas D (1992) On the Douglas-Rachford splitting method and the proximal point algorithm for maximal monotone operators. Math. Program. 55:293–318. https://doi.org/10.1007/BF01581204

  31. [36]

    Fukushima M (1996) The primal Douglas-Rachford splitting algorithm for a class of monotone mappings with application to the traffic equilibrium problem. Math. Program. 72:1–15. https://doi.org/10.1016/ 0025-5610(95)00012-7

  32. [37]

    Gabay D (1983) Applications of the method of multipliers to variational inequalities. In: M. Fortin, R. Glowinski (eds.)Augmented Lagrangian Methods: Applications to the Solution of Boundary-Value Prob- lems, Amsterdam, Netherlands pp.299-331. https://doi.org/10.1016/S0168-202...

  33. [38]

    Gafni EM, Bertsekas DP (1984) Two-metric projection methods for constrained optimization. SIAM J. Control Optim. 22:936–964. https://doi.org/10.1137/0322061

  34. [39]

    Giselsson P (2021) Nonlinear forward-backward splitting with projection correction. SIAM J. Optim. 31:2199–2226. https://doi.org/10.1137/20M1345062

  35. [40]

    Glowinski R, Marrocco A (1975) Sur l’approximation, par ´ el´ ements finis d’ordre un, et la r´ esolution, par p´ enalisation-dualit´ e, d’une classe de probl` emes de Dirichlet non lin´ eaires. Rev. Fran¸ caise Automat. Informat. Recherche Op´ erationnelle S´ er. Rouge Anal. ...

  36. [41]

    Goldstein AA (1964) Convex programming in Hilbert space. Bull. Am. Math. Soc. 70:709–710. https: //doi.org/bams/1183526263

  37. [42]

    He X, Hu R, Fang YP (2022) Inertial accelerated primal-dual methods for linear equality constrained convex optimization problems. Numer. Algor. 90:1669–1690 . https://doi.org/10.1007/s11075-021-01246-y

  38. [43]

    Iutzeler F, Hendrickx JM (2019) A generic online acceleration scheme for optimization algorithms via relax- ation and inertia. Optim. Methods Softw. 34:383–405. https://doi.org/10.1080/10556788.2017.1396601 22 RELAXED AND INERTIAL NONLINEAR FOR W ARD-BACKW ARD WITH MOMENTUM

  39. [44]

    Lions PL, Mercier B (1979) Splitting algorithms for the sum of two nonlinear operators. SIAM J. Numer. Anal. 16:964–979. https://doi.org/10.1137/0716071

  40. [47]

    Set-Valued Var

    Maul´ en JJ, Fierro I, Peypouquet J (2024) Inertial Krasnoselskii-Mann Iterations. Set-Valued Var. Anal. 32. https://doi.org/10.1007/s11228-024-00713-7

  41. [48]

    Set-Valued Var

    Morin M, Banert S, Giselsson P (2023) Nonlinear Forward-Backward Splitting with Momentum Correction. Set-Valued Var. Anal. 31:37. https://doi.org/10.1007/s11228-023-00700-4

  42. [49]

    Moudafi A, Oliny M (2003) Convergence of a splitting inertial proximal method for monotone operators. J. Comput. Appl. Math. 155:447–454. https://doi.org/10.1016/S0377-0427(02)00906-8

  43. [50]

    In Doklady an ussr 269:543–547

    Nesterov Y (1983) A method for unconstrained convex minimizing problem with the rate of convergence o1/k2). In Doklady an ussr 269:543–547

  44. [51]

    (1979) Ergodic convergence to a zero of the sum of monotone operators in hilbert space

    Passty G. (1979) Ergodic convergence to a zero of the sum of monotone operators in hilbert space. J. Math. Anal. Appl. 72:383–390. https://doi.org/10.1016/0022-247X(79)90234-8

  45. [52]

    Polyak B (1964) Some methods of speeding up the convergence of iteration methods. U.S.S.R. Comput. Math. Math. Phys. 4:1–17. https://doi.org/10.1016/0041-5553(64)90137-5

  46. [53]

    https://arxiv

    Rold´ an F (2024) Forward primal-dual half-forward algorithm for splitting four operators. https://arxiv. org/abs/2310.17265

  47. [54]

    American Mathematical Society, Providence, RI

    Showalter RE (1997) Monotone Operators in Banach Space and Nonlinear Partial Differential Equations. American Mathematical Society, Providence, RI. https://doi.org/10.1090/surv/049

  48. [55]

    Tseng P (2000) A modified forward-backward splitting method for maximal monotone mappings. SIAM J. Control Optim. 38:431–446. https://doi.org/10.1137/S0363012998338806

  49. [56]

    V˜ u BC (2013) A splitting algorithm for dual monotone inclusions involving cocoercive operators. Adv. Comput. Math. 38:667–681 (2013). https://doi.org/10.1007/s10444-011-9254-8

  50. [57]

    Valkonen T (2020) Inertial, corrected, primal-dual proximal splitting. SIAM J. Optim. 30:1391–1420.https: //doi.org/10.1137/18M1182851

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.