Second Order Splitting Dynamics with Vanishing Damping for Additively Structured Monotone Inclusions

Abstract

In the framework of a real Hilbert space, we address the problem of finding the zeros of the sum of a maximally monotone operator A and a cocoercive operator B. We study the asymptotic behaviour of the trajectories generated by a second order equation with vanishing damping, attached to this problem, and governed by a time-dependent forward–backward-type operator. This is a splitting system, as it only requires forward evaluations of B and backward evaluations of A. A proper tuning of the system parameters ensures the weak convergence of the trajectories to the set of zeros of $A+B$, as well as fast convergence of the velocities towards zero. A particular case of our system allows to derive fast convergence rates for the problem of minimizing the sum of a proper, convex and lower semicontinuous function and a smooth and convex function with Lipschitz continuous gradient. We illustrate the theoretical outcomes by numerical experiments.

Introduction

Problem Formulation and a Continuous Time Splitting Scheme with Vanishing Damping

Let $\mathcal{H}$ be a real Hilbert, $A:\mathcal{H}\to 2^{\mathcal{H}}$ a maximally monotone operator and $B:\mathcal{H}\to \mathcal{H}$ a $\beta$-cocoercive operator for some $\beta >0$ such that $\mathrm{zer}(A+B)\ne \mathrm{\varnothing }$. Devising fast convergent continuous and discrete time dynamics for solving monotone inclusions of the type

$$\begin{array}{c}\hfill \text{find}x\in \mathcal{H}\text{such}\text{that}0\in (A+B)(x)\end{array}$$ 1

is of great importance in many fields, including, but not limited to, optimization, equilibrium theory, economics and game theory, partial differential equations, and statistics. One of our main motivations comes from the fact that solving the convex optimization problem

$$\begin{array}{c}\hfill \underset{x\in \mathcal{H}}{min}f(x)+g(x),\end{array}$$

where $f:\mathcal{H}\to \mathbb{R}\cup \{+\infty \}$ is proper, convex and lower semicontinuous and $g:\mathcal{H}\to \mathbb{R}$ is convex and Fréchet differentiable with a Lipschitz continuous gradient, is equivalent to solving the monotone inclusion

$$\begin{array}{c}\hfill 0\in (\partial f+\mathrm{\nabla }g)(x).\end{array}$$

We want to exploit the additive structure of (1) and approach A and B separately, in the spirit of the splitting paradigm.

For $t\ge t_0>0$, $\alpha >1,\xi \ge 0$, and functions $\lambda ,\gamma :[t_0,+\infty )\to (0,+\infty )$, we will study the asymptotic behaviour of the trajectories of the second order differential equation

$$\begin{array}{c}\hfill \text{(Split-DIN-AVD)}\ddot{x}(t)+\frac{\alpha }{t}\dot{x}(t)+\xi \left(\frac{d}{\mathit{dt}},T_{\lambda (t),\gamma (t)},(x(t))\right)+T_{\lambda (t),\gamma (t)}(x(t))=0,\end{array}$$ 2

where, for $\lambda ,\gamma >0$, the operator $T_{\lambda ,\gamma }:\mathcal{H}\to \mathcal{H}$ is given by

$$\begin{array}{c}\hfill T_{\lambda ,\gamma }=\frac{1}{\lambda }[\mathrm{Id}-J_{\gamma A}\circ (\mathrm{Id}-\gamma B)].\end{array}$$

The sets of zeros of $A+B$ and of $T_{\lambda ,\gamma }$, for $\lambda ,\gamma >0$, coincide. The nomenclature (Split-DIN-AVD) comes from the splitting feature of the continuous time scheme, as well as the link with the (DIN-AVD) system developed by Attouch and László in [9] (Dynamic Inertial Newton—Asymptotic Vanishing Damping), which we will emphasize later. We will discuss the existence and uniqueness of the trajectories generated (Split-DIN-AVD), and also show their weak convergence to the set of zeros of $A+B$ as well as the fast convergence of the velocities to zero, and convergence rates for $T_{\lambda (t),\gamma (t)}(x(t))$ and $\frac{d}{\mathit{dt}}{T}_{\lambda (t),\gamma (t)}(x(t))$ as $t\to +\infty$.

For the particular case $B=0$, we are left with the monotone inclusion problem

$$\begin{array}{c}\hfill \text{find}x\in \mathcal{H}\text{such}\text{that}0\in A(x),\end{array}$$

and the attached system

$$\begin{array}{c}\hfill \ddot{x}(t)+\frac{\alpha }{t}\dot{x}(t)+\xi \left(\frac{d}{\mathit{dt}},A_{\lambda (t),\gamma (t)},(x(t))\right)+A_{\lambda (t),\gamma (t)}(x(t))=0,\end{array}$$

where, for $\lambda ,\gamma >0$, the operator $A_{\lambda ,\gamma }:\mathcal{H}\to \mathcal{H}$ can be seen as a generalized Moreau envelope of the operator A, i.e.,

$$\begin{array}{c}\hfill A_{\lambda ,\gamma }=\frac{1}{\lambda }[\mathrm{Id}-J_{\gamma A}].\end{array}$$

In particular, we will be able to set $\gamma (t)=\lambda (t)$ for every $t\ge t_0$. Since for $\lambda >0$, $A_{\lambda ,\lambda }=A_{\lambda }$, this allows us to recover the (DIN-AVD) system

$$\begin{array}{c}\hfill \text{(DIN-AVD)}\ddot{x}(t)+\frac{\alpha }{t}\dot{x}(t)+\xi \left(\frac{d}{\mathit{dt}},A_{\lambda (t)},(x(t))\right)+A_{\lambda (t)}(x(t))=0,\end{array}$$

addressed by Attouch and László in [9].

If $A=0$, and after properly redefining some parameters, we obtain the following system

$$\begin{array}{c}\hfill \ddot{x}(t)+\frac{\alpha }{t}\dot{x}(t)+\xi \left(\frac{d}{\mathit{dt}},\frac{1}{\eta (t)},B,x,(t)\right)+\frac{1}{\eta (t)}Bx(t)=0,\end{array}$$

with $\eta :[t_0,+\infty )\to (0,+\infty )$, which addresses the monotone equation

$$\begin{array}{c}\hfill \text{find}x\in \mathcal{H}\text{such}\text{that}B(x)=0.\end{array}$$

This dynamical system approaches the cocoercive operator B directly through a forward evaluation, which is more natural, instead of having to resort to its Moreau envelope, as in (DIN-AVD).

Notation and Preliminaries

In this subsection, we will explain the notions which were mentioned in the previous subsection, and we will introduce some definitions and preliminary results that will be required later. Throughout the paper, we will be working in a real Hilbert space $\mathcal{H}$ with inner product $⟨·,·⟩$ and corresponding norm $\Vert ·\Vert =\sqrt{⟨·,·⟩}$.

Let $A:\mathcal{H}\to 2^{\mathcal{H}}$ be a set-valued operator, that is, Ax is a subset of $\mathcal{H}$ for every $x\in \mathcal{H}$. The operator A is totally characterized by its graph $\mathrm{gra}A=\{(x,u)\in \mathcal{H}\times \mathcal{H}:u\in Ax\}$. The inverse of A is the operator $A^{-1}:\mathcal{H}\to 2^{\mathcal{H}}$ well-defined through the equivalence $x\in A^{-1}u$ if and only if $u\in Ax$. The set of zeros of A is the set $\mathrm{zer}A=\{x\in \mathcal{H}:0\in Ax\}$. For a subset $C\subseteq \mathcal{H}$, we say that $A(C)={\cup }_{x\in C}Ax$. The range of A is the set $\mathrm{ran}A=A(\mathcal{H})$.

A set-valued operator A is said to be monotone if $⟨v-u,y-x⟩\ge 0$ whenever $(x,u),(y,v)\in \mathrm{gra}A$, and maximally monotone if it is monotone and the following implication holds:

$$\begin{array}{c}\hfill \tilde{A}\text{is monotone},\mathrm{gra}A\subseteq \mathrm{gra}\tilde{A}⟹A=\tilde{A}.\end{array}$$

Let $\lambda >0$. The resolvent of index $\lambda$ of A is the operator $J_{\lambda A}:\mathcal{H}\to 2^{\mathcal{H}}$ given by

$$\begin{array}{c}\hfill J_{\lambda A}={(\mathrm{Id}+\lambda A)}^{-1},\end{array}$$

and the Moreau envelope (or Yosida approximation or Yosida regularization) of index $\lambda$ of A is the operator $A_{\lambda }:\mathcal{H}\to 2^{\mathcal{H}}$ given by

$$\begin{array}{c}\hfill A_{\lambda }=\frac{1}{\lambda }(\mathrm{Id}-J_{\lambda A}),\end{array}$$

where $\mathrm{Id}:\mathcal{H}\to \mathcal{H}$, defined by $\mathrm{Id}(x)=x$ for every $x\in \mathcal{H}$, is the identity operator of $\mathcal{H}$. For ${\lambda }_1,{\lambda }_2>0$, it holds ${(A_{{\lambda }_1})}_{{\lambda }_2}=A_{{\lambda }_1+{\lambda }_2}$.

A single-valued operator $B:\mathcal{H}\to \mathcal{H}$ is said to be $\beta$-cocoercive for some $\beta >0$ if for every $x,y\in \mathcal{H}$ we have

$$\begin{array}{c}\hfill {\beta \Vert Bx-By\Vert }^2\le ⟨Bx-By,x-y⟩.\end{array}$$

In this case, B is $\frac{1}{\beta }$-Lipschitz continuous, namely, for every $x,y\in \mathcal{H}$ we have

$$\begin{array}{c}\hfill \Vert Bx-By\Vert \le \frac{1}{\beta }\Vert x-y\Vert .\end{array}$$

We say B is nonexpansive if it is 1-Lipschitz continuous, and firmly nonexpansive if it is 1-cocoercive. For $\alpha \in (0,1)$, we say B is $\alpha$-averaged if there exists a nonexpansive operator $R:\mathcal{H}\to \mathcal{H}$ such that

$$\begin{array}{c}\hfill B=(1-\alpha )\mathrm{Id}+\alpha R.\end{array}$$

Let $\lambda >0$ and $A:\mathcal{H}\to 2^{\mathcal{H}}$. According to Minty’s Theorem, A is maximally monotone if and only if $\mathrm{ran}(\mathrm{Id}+\lambda A)=\mathcal{H}$. In this case $J_{\lambda A}$ is single-valued and firmly nonexpansive, $A_{\lambda }$ is single-valued, $\lambda$-cocoercive, and for every $x\in \mathcal{H}$ and every ${\lambda }_1,{\lambda }_2>0$ we have

$$\begin{array}{c}\hfill \Vert J_{{\lambda }_{1}A}(x)-J_{{\lambda }_{2}A}(x)\Vert \le |{\lambda }_1-{\lambda }_2|\Vert A_{{\lambda }_1}(x)\Vert .\end{array}$$

Let $B:\mathcal{H}\to \mathcal{H}$ be a single-valued operator. If B is $\alpha$-averaged for some $\alpha \in (0,1)$, then $\mathrm{Id}-B$ is $\frac{1}{2\alpha }$-cocoercive. If B is monotone and continuous, then it is maximally monotone.

The following concepts and results show the strong interplay between the theory of monotone operators and the convex analysis.

Let $f:\mathcal{H}\to \mathbb{R}\cup \{+\infty \}$ be a proper, convex and lower semicontinuous function. We denote the infimum of f over $\mathcal{H}$ by ${min}_{\mathcal{H}}f$ and the set of global minimizers of f by ${\mathrm{argmin}}_{\mathcal{H}}f$. The subdifferential of f is the operator $\partial f:\mathcal{H}\to 2^{\mathcal{H}}$ defined, for every $x\in \mathcal{H}$, by

$$\begin{array}{c}\hfill \partial f(x)=\{x^{\ast }\in \mathcal{H}:⟨x^{\ast },y-x⟩+f(x)\le f(y)\forall y\in \mathcal{H}\}.\end{array}$$

The subdifferential operator of f is maximally monotone and $\overline{x}\in \mathrm{zer}\partial f$ $\iff$ $\overline{x}$ is a global minimizer of f.

Let $\lambda >0$. The proximal operator of f of index $\lambda$ is the operator ${\mathrm{prox}}_{\lambda f}:\mathcal{H}\to \mathcal{H}$ defined, for every $x\in \mathcal{H}$, by

$$\begin{array}{c}\hfill {\mathrm{prox}}_{\lambda f}(x)=J_{\lambda \partial f}(x)={\mathrm{argmin}}_{y\in \mathcal{H}}\left[f,(y),+,\frac{1}{2\lambda },{\Vert x-y\Vert }^2\right],\end{array}$$

which also means that ${\mathrm{prox}}_{\lambda f}$ is firmly nonexpansive. The Moreau envelope of f of index $\lambda$ is the function $f_{\lambda }:\mathcal{H}\to \mathbb{R}$ given, for every $x\in \mathcal{H}$, by

$$\begin{array}{c}\hfill f_{\lambda }(x)=f\left({\mathrm{prox}}_{\lambda f},(x)\right)+\frac{1}{2\lambda }{\Vert x-{\mathrm{prox}}_{\lambda f}(x)\Vert }^2.\end{array}$$

The function $f_{\lambda }$ is Fréchet differentiable and

$$\begin{array}{c}\hfill \mathrm{\nabla }{f}_{\lambda }(x)=\frac{1}{\lambda }\left(x,-,{\mathrm{prox}}_{\lambda f},(x)\right)={(\partial f)}_{\lambda }(x)\forall x\in \mathcal{H}.\end{array}$$

Finally, if $f:\mathcal{H}\to \mathbb{R}$ has full domain and is Fréchet differentiable with $\frac{1}{\beta }$-Lipschitz continuous gradient, for $\beta >0$, then, according to Baillon–Haddad’s Theorem, $\mathrm{\nabla }f$ is $\beta$-cocoercive.

A Brief History of Inertial Systems Attached to Optimization Problems and Monotone Inclusions

In the last years there have been many advances in the study of continuous time inertial systems with vanishing damping attached to monotone inclusion problems. We briefly visit them in the following paragraphs.

The Heavy Ball Method with Friction

Consider a convex and continuously differentiable function $f:\mathcal{H}\to \mathbb{R}$ with at least one minimizer. The heavy ball with friction system

$$\begin{array}{c}\hfill \text{(HBF)}\ddot{x}(t)+\mu \dot{x}(t)+\mathrm{\nabla }f(x(t))=0\end{array}$$ 3

was introduced by Álvarez in [2] as a suitable continuous time scheme to approach the minimization of the function f. This system can be seen as the equation of the horizontal position x(t) of an object that moves, under the force of gravity, along the graph of the function f, subject to a kinetic friction represented by the term $\mu \dot{x}(t)$ (a nice derivation can be seen in the work done by Attouch-Goudou-Redont in [8]). It is known that, if x is a solution of (HBF), then x converges weakly to a minimizer of f and $f(x(t))-{min}_{\mathcal{H}}f=\mathcal{O}\left(\frac{1}{t}\right)$ as $t\to +\infty$.

In recent times, the question was raised whether the damping coefficient $\mu$ could be chosen to be time-dependent. An important contribution was made by Su–Boyd–Candés (in [20]) who studied the case of an Asymptotic Vanishing Damping coefficient $\mu (t)=\frac{\alpha }{t}$, namely,

$$\begin{array}{c}\hfill \text{(AVD)}\ddot{x}(t)+\frac{\alpha }{t}\dot{x}(t)+\mathrm{\nabla }f(x(t))=0,\end{array}$$ 4

and proved when $\alpha \ge 3$ the rate of convergence for the functional values $f(x(t))-{min}_{\mathcal{H}}f=O\left(\frac{1}{t^2}\right)$ as $t\to +\infty$. This second order system can be seen as a continuous counterpart to Nesterov’s accelerated gradient method from [19]. Weak convergence of the trajectories generated by $\text{(AVD)}$ when $\alpha >3$ has been shown by Attouch-Chbani-Peypouquet-Redont [6] and May [18], with the improved rate of convergence for the functional values $f(x(t))-{min}_{\mathcal{H}}f=o\left(\frac{1}{t^2}\right)$ as $t\to +\infty$. For $\alpha =3$, the convergence of the trajectories remains an open question, except for the one dimensional case (see [7]). In the subcritical case $\alpha \le 3$, it has been shown by Apidopoulos-Aujol-Dossal [5] and Attouch-Chbani-Riahi [7] that the objective values converge at a rate $\mathcal{O}(t^{-\frac{2\alpha }{3}})$ as $t\to +\infty$.

Heavy Ball Dynamics and Cocoercive Operators

If $f:\mathcal{H}\to \mathbb{R}\cup \{+\infty \}$ is a proper, convex and lower semicontinuous function which is not necessarily differentiable, then we cannot make direct use of (3). However, since for $\lambda >0$ we have $\mathrm{argmin}f=\mathrm{argmin}{f}_{\lambda }$, we can replace f by its Moreau envelope $f_{\lambda }$, and the system now becomes

$$\begin{array}{c}\hfill \ddot{x}(t)+\mu \dot{x}(t)+\mathrm{\nabla }{f}_{\lambda }(x(t))=0.\end{array}$$

In line with this idea, and in analogy with (3), Álvarez and Attouch [3] and Attouch and Maingé [11] studied the dynamics

$$\begin{array}{c}\hfill \ddot{x}(t)+\mu \dot{x}(t)+B(x(t))=0,\end{array}$$ 5

where $B:\mathcal{H}\to \mathcal{H}$ is a $\beta$-cocoercive operator. They were able to prove that the solutions of this system weakly converge to elements of $\mathrm{zer}B$ provided that the cocoercitivity parameter $\beta$ and the damping coefficient $\mu$ satisfy $\beta {\mu }^2>1$. For a maximally monotone operator $A:\mathcal{H}\to 2^{\mathcal{H}}$, we know that its Moreau envelope is $\lambda$-cocoercive and thus, under the condition $\lambda {\mu }^2>1$, the trajectories of

$$\begin{array}{c}\hfill \ddot{x}(t)+\mu \dot{x}(t)+A_{\lambda }(x(t))=0\end{array}$$

converge weakly to elements of $\mathrm{zer}{A}_{\lambda }=\mathrm{zer}A$.

Also related to (5), Boţ-Csetnek [16] considered the system

$$\begin{array}{c}\hfill \ddot{x}(t)+\mu (t)\dot{x}(t)+\nu (t)Bx(t)=0,\end{array}$$ 6

where $B:\mathcal{H}\to \mathcal{H}$ is again $\beta$-cocoercive. Under the assumption that $\mu$ and $\nu$ are locally absolutely continuous, $\dot{\mu }(t)\le 0\le \dot{\nu }(t)$ for almost every $t\in [0,+\infty )$ and ${inf}_{t\ge 0}\frac{{\mu }^2(t)}{\nu (t)}>\frac{1}{\beta }$, the authors were able to prove that the solutions to this system converge weakly to zeros of B.

In [12], Attouch and Peypouquet addressed the system

$$\begin{array}{c}\hfill \ddot{x}(t)+\frac{\alpha }{t}\dot{x}(t)+A_{\lambda (t)}(x(t))=0,\end{array}$$ 7

where $\alpha >1$ and the time-dependent regularizing parameter $\lambda (t)$ satisfies $\lambda (t)\frac{{\alpha }^2}{t^2}>1$ for every $t\ge t_0>0$. As well as ensuring the weak convergence of the trajectories towards elements of $\mathrm{zer}A$, choosing the regularizing parameter in such a fashion allowed the authors to obtain fast convergence of the velocities and accelerations towards zero.

Inertial Dynamics with Hessian Damping

Let us return briefly to the $\text{(AVD)}$ system (4). In addition to the viscous vanishing damping term $\frac{\alpha }{t}\dot{x}(t)$, the following system with Hessian-driven damping was considered by Attouch-Peypouquet-Redont in [13]

$$\begin{array}{c}\hfill \ddot{x}(t)+\frac{\alpha }{t}\dot{x}(t)+\xi {\mathrm{\nabla }}^{2}f(x(t))\dot{x}(t)+\mathrm{\nabla }f(x(t))=0,\end{array}$$

where $\xi \ge 0$. While preserving the fast convergence properties of the Nesterov accelerated method, the Hessian-driven damping term reduces the oscillatory aspect of the trajectories. In [9], Attouch and László studied a version of (7) with an added Hessian-driven damping term:

$$\begin{array}{c}\hfill \ddot{x}(t)+\frac{\alpha }{t}\dot{x}(t)+\xi \left(\frac{d}{\mathit{dt}},A_{\lambda (t)},(x(t))\right)+A_{\lambda (t)}(x(t))=0.\end{array}$$

While preserving the convergence results of (7), the main benefit of the introduction of this damping term is the fast convergence rates that can be obtained for $A_{\lambda (t)}(x(t))$ and $\frac{d}{\mathit{dt}}{A}_{\lambda (t)}(x(t))$ as $t\to +\infty$. The regularizing parameter $\lambda (t)$ is again chosen to be time-dependent; in the general case, the authors take $\lambda (t)=\lambda t^2$, and in [12] it is shown that taking $\lambda (t)$ this way is critical. However, in the case where $A=\partial f$ for a proper, convex and lower semicontinuous function f, it is also allowed to take $\lambda (t)=\lambda t^r$ with $r\ge 0$.

Layout of the Paper

In Sect. 2, we give the proof for the existence and uniqueness of strong global solutions to (Split-DIN-AVD) by means of a Cauchy–Lipschitz–Picard argument. In Sect. 3 we state the main theorem of this work, and we show the weak convergence of the solutions of (2) to elements of $\mathrm{zer}(A+B)$, as well as the fast convergence of the velocities and accelerations to zero. We also provide convergence rates for $T_{\lambda (t),\gamma (t)}(x(t))$ and $\frac{d}{\mathit{dt}}{T}_{\lambda (t),\gamma (t)}(x(t))$ as $t\to +\infty$. We explore the particular cases $A=0$ and $B=0$, and show improvements with respect to previous works. In Sect. 4, we address the convex minimization case, namely, when $A=\partial f$ and $B=\mathrm{\nabla }g$, where $f:\mathcal{H}\to \mathbb{R}\cup \{+\infty \}$ is a proper, convex and lower semicontinuous function and $g:\mathcal{H}\to \mathbb{R}$ is a convex and Fréchet differentiable function with Lipschitz continuous gradient, and derive, in addition, a fast convergence rate for the function values. In Sect. 5, we illustrate the theoretical results by numerical experiments. In Sect. 5, we provide an algorithm that arises from a time discretization of (Split-DIN-AVD) and discuss its convergence properties.

Existence and Uniqueness of Trajectories

In this section, we show the existence and uniqueness of strong global solutions to (Split-DIN-AVD). For the sake of clarity, first we state the definition of a strong global solution.

Definition 2.1

We say that $x:[t_0,+\infty )\to \mathcal{H}$ is a strong global solution of (Split-DIN-AVD) with Cauchy data $(x_0,u_0)\in \mathcal{H}\times \mathcal{H}$ if

• (i)$x,\dot{x}:[t_0,+\infty )\to \mathcal{H}$ are locally absolutely continuous;
• (ii)$\ddot{x}(t)+\frac{\alpha }{t}\dot{x}+\xi \left(\frac{d}{\mathit{dt}},T_{\lambda (t),\gamma (t)},(x(t))\right)+T_{\lambda (t),\gamma (t)}(x(t))=0$ for almost every $t\in [t_0,+\infty )$;
• (iii)$x(t_0)=x_0$, $\dot{x}(t_0)=u_0$.

A classic solution is just a strong global solution which is ${\mathcal{C}}^2$. Sometimes we will mention the terms strong global solution or classic global solution without explicit mention of the Cauchy data.

The following lemma will be used to prove the existence of strong global solutions of our system, and we will need it in the proof of the main theorem as well.

Lemma 2.2

Let $A:\mathcal{H}\to 2^{\mathcal{H}}$ be a maximally monotone operator and $B:\mathcal{H}\to \mathcal{H}$ a $\beta$-cocoercive operator for some $\beta >0$. Then, the following statements hold:

• (i)For $\lambda >0$ and $\gamma \in (0,2\beta )$, $T_{\lambda ,\gamma }$ is a $\lambda \frac{4\beta -\gamma }{4\beta }$-cocoercive operator. In particular, this also implies that $T_{\lambda ,\gamma }$ is $\frac{\lambda }{2}$-cocoercive.
• (ii)
  Choose ${\lambda }_1,{\lambda }_2>0$, ${\gamma }_1,{\gamma }_2\in (0,2\beta )$ and $x,y\in \mathcal{H}$. Then, for $\overline{x}\in \mathrm{zer}(A+B)$ it holds

  $$\begin{array}{cc}\hfill \Vert {\lambda }_1{T}_{{\lambda }_1,{\gamma }_1}(x)-{\lambda }_2{T}_{{\lambda }_2,{\gamma }_2}(y)\Vert & \le 4\Vert x-y\Vert +\frac{4\beta |{\gamma }_1-{\gamma }_2|}{{\gamma }_1}\Vert B(x)\Vert \hfill \\ \hfill & +\frac{2|{\gamma }_1-{\gamma }_2|}{{\gamma }_1}\Vert x-\overline{x}\Vert ,\hfill \\ \hfill ∥T_{{\lambda }_1,{\gamma }_1},(x),-,T_{{\lambda }_2,{\gamma }_2},(y)∥& \le \frac{1}{{\lambda }_1}\left[4\Vert x-y\Vert +4\beta ,\frac{|{\gamma }_1-{\gamma }_2|}{{\gamma }_1},\Vert Bx\Vert \right)\hfill \\ \hfill & \left(+,2,\frac{|{\gamma }_1-{\gamma }_2|}{{\gamma }_1},\Vert x-\overline{x}\Vert \right]+2\frac{|{\lambda }_2-{\lambda }_1|}{{\lambda }_1{\lambda }_2}\Vert y-\overline{x}\Vert .\hfill \end{array}$$
• (iii)
  If x is a classic global solution to (2) and $\overline{x}\in \mathrm{zer}(A+B)$, then, for every $t\ge t_0$, we have

  $$\begin{array}{c}\hfill ∥\frac{d}{\mathit{dt}},\left(\lambda ,(t),T_{\lambda (t),\gamma (t)},(x(t))\right)∥\le 4\Vert \dot{x}(t)\Vert +4\beta \frac{|\dot{\gamma }(t)|}{\gamma (t)}\Vert B(x(t))\Vert +2\frac{|\dot{\gamma }(t)|}{\gamma (t)}\Vert x(t)-\overline{x}\Vert .\end{array}$$

Proof

• (i)
  From [14, Proposition 26.1(iv)(d)] we know that the operator $J_{\gamma A}\circ (\mathrm{Id}-\gamma B)$ is $\alpha =\frac{2\beta }{4\beta -\gamma }$-averaged. From [14, Proposition 4.39], we obtain that $\mathrm{Id}-J_{\gamma A}\circ (\mathrm{Id}-\gamma B)$ is $\frac{1}{2\alpha }$-cocoercive, namely, it is $\frac{4\beta -\gamma }{4\beta }$-cocoercive. Since $\gamma \in (0,2\beta )$, we have $\frac{4\beta -\gamma }{4\beta }>\frac{2\beta }{4\beta }=\frac{1}{2}$, which implies that $\mathrm{Id}-J_{\gamma A}\circ (\mathrm{Id}-\gamma B)$ is $\frac{1}{2}$-cocoercive and thus

  $$\begin{array}{c}\hfill T_{\lambda ,\gamma }\text{is}\lambda \frac{4\beta -\gamma }{4\beta }\text{-cocoercive}\text{and}{T}_{\lambda ,\gamma }\text{is}\frac{\lambda }{2}\text{-cocoercive}.\end{array}$$
• (ii)
  We have

  $$\begin{array}{cc}& \Vert {\lambda }_1{T}_{{\lambda }_1,{\gamma }_1}(x)-{\lambda }_2{T}_{{\lambda }_2,{\gamma }_2}(y)\Vert \le \Vert x-y\Vert +\Vert J_{{\gamma }_{1}A}(x-{\gamma }_{1}B(x))-J_{{\gamma }_{2}A}(y-{\gamma }_{2}B(y))\Vert \hfill \\ \hfill & \le \Vert x-y\Vert +\Vert J_{{\gamma }_{1}A}(x-{\gamma }_{1}B(x))-J_{{\gamma }_{2}A}(x-{\gamma }_{1}B(x))\Vert \hfill \\ \hfill & +\Vert J_{{\gamma }_{2}A}(x-{\gamma }_{1}B(x))-J_{{\gamma }_{2}A}(y-{\gamma }_{2}B(y))\Vert \hfill \\ \hfill & \le 2\Vert x-y\Vert +|{\gamma }_1-{\gamma }_2|\Vert A_{{\gamma }_1}(x-{\gamma }_{1}B(x))\Vert +\Vert {\gamma }_{1}B(x)-{\gamma }_{2}B(y)\Vert \hfill \\ \hfill & \le 2\Vert x-y\Vert +|{\gamma }_1-{\gamma }_2|\Vert A_{{\gamma }_1}(x-{\gamma }_{1}B(x))\Vert \hfill \\ \hfill & +\Vert {\gamma }_{1}B(x)-{\gamma }_{2}B(x)\Vert +\Vert {\gamma }_{2}B(x)-{\gamma }_{2}B(y)\Vert \hfill \\ \hfill & =2\Vert x-y\Vert +|{\gamma }_1-{\gamma }_2|\Vert A_{{\gamma }_1}(x-{\gamma }_{1}B(x))\Vert \hfill \\ \hfill & +|{\gamma }_1-{\gamma }_2|\Vert B(x)\Vert +{\gamma }_2\Vert B(x)-B(y)\Vert .\hfill \end{array}$$

Now, notice that

$$\begin{array}{cc}\hfill A_{{\gamma }_1}(x-{\gamma }_{1}B(x))& =\frac{1}{{\gamma }_1}(\mathrm{Id}-J_{{\gamma }_{1}A})(x-{\gamma }_{1}B(x))=-B(x)+\frac{1}{{\gamma }_1}(x-J_{{\gamma }_{1}A}(x-{\gamma }_{1}B(x)))\hfill \\ \hfill & =-B(x)+T_{{\gamma }_1,{\gamma }_1}(x),\hfill \end{array}$$

so using (i) and the fact that $T_{{\gamma }_1,{\gamma }_2}(\overline{x})=0$, we obtain

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \Vert A_{{\gamma }_1}(x-{\gamma }_{1}B(x))\Vert & =\Vert -B(x)+T_{{\gamma }_1,{\gamma }_2}(x)\Vert \le \Vert B(x)\Vert +\Vert T_{{\gamma }_1,{\gamma }_2}(x)-T_{{\gamma }_1,{\gamma }_2}(\overline{x})\Vert \hfill \\ \hfill & \le \Vert B(x)\Vert +\frac{2}{{\gamma }_1}\Vert x-\overline{x}\Vert .\hfill \end{array}\end{array}$$ 8

Altogether, plugging (8) into our initial inequality yields

$$\begin{array}{cc}& \Vert {\lambda }_1{T}_{{\lambda }_1,{\gamma }_2}(x)-{\lambda }_2{T}_{{\lambda }_2,{\gamma }_2}(y)\Vert \le 2\Vert x-y\Vert +2|{\gamma }_1-{\gamma }_2|\Vert B(x)\Vert +\frac{2|{\gamma }_1-{\gamma }_2|}{{\gamma }_1}\Vert x-\overline{x}\Vert \hfill \\ \hfill & +{\gamma }_2\Vert B(x)-B(y)\Vert \hfill \\ \hfill & \le 2\Vert x-y\Vert +\frac{4\beta |{\gamma }_1-{\gamma }_2|}{{\gamma }_1}\Vert B(x)\Vert +\frac{2|{\gamma }_1-{\gamma }_2|}{{\gamma }_1}\Vert x-\overline{x}\Vert +2\beta \left(\frac{1}{\beta }\right)\Vert x-y\Vert .\hfill \end{array}$$

To show the second inequality, we use the previous one. We have

$$\begin{array}{cc}& ∥T_{{\lambda }_1,{\gamma }_1},(x),-,T_{{\lambda }_2,{\gamma }_2},(y)∥=\frac{1}{{\lambda }_1}∥{\lambda }_1,T_{{\lambda }_1,{\gamma }_1},(x),-,{\lambda }_2,T_{{\lambda }_2,{\gamma }_2},(y),+,({\lambda }_2-{\lambda }_1),T_{{\lambda }_2,{\gamma }_2},(y)∥\hfill \\ \hfill & \le \frac{1}{{\lambda }_1}\left[4\Vert x-y\Vert +4\beta ,\frac{|{\gamma }_1-{\gamma }_2|}{{\gamma }_1},\Vert Bx\Vert ,+,2,\frac{|{\gamma }_1-{\gamma }_2|}{{\gamma }_1},\Vert x-\overline{x}\Vert \right]+\frac{|{\lambda }_2-{\lambda }_1|}{{\lambda }_1}∥T_{{\lambda }_2,{\gamma }_2},(y)∥\hfill \\ \hfill & \le \frac{1}{{\lambda }_1}\left[4\Vert x-y\Vert +4\beta ,\frac{|{\gamma }_1-{\gamma }_2|}{{\gamma }_1},\Vert Bx\Vert ,+,2,\frac{|{\gamma }_1-{\gamma }_2|}{{\gamma }_1},\Vert x-\overline{x}\Vert \right]\hfill \\ \hfill & +2\frac{|{\lambda }_2-{\lambda }_1|}{{\lambda }_1{\lambda }_2}∥y,-,\overline{x}∥,\hfill \end{array}$$

where the last line is a consequence of $T_{{\lambda }_2,{\gamma }_2}$ being $\frac{{\lambda }_2}{2}$-cocoercive, and hence $\frac{2}{{\lambda }_2}$-Lipschitz continuous (see (i)).

(iii) For $t,s\ge t_0$ set

$$\begin{array}{c}\hfill x=x(t),y=x(s),{\lambda }_1=\lambda (t),{\gamma }_1=\gamma (t),{\lambda }_2=\lambda (s),{\gamma }_2=\gamma (s)\end{array}$$

and use (ii) to obtain, for every $t\ge t_0$,

$$\begin{array}{cc}& \frac{\Vert \lambda (t)T_{\lambda (t),\gamma (t)}(x(t))-\lambda (s)T_{\lambda (s),\gamma (s)}(x(s))\Vert }{|t-s|}\hfill \\ \hfill & \le 4\frac{\Vert x(t)-x(s)\Vert }{|t-s|}+\frac{4\beta }{\gamma (t)}\frac{|\gamma (t)-\gamma (s)|}{|t-s|}\Vert B(x(t))\Vert +\frac{2}{\gamma (t)}\frac{|\gamma (t)-\gamma (s)|}{|t-s|}\Vert x(t)-\overline{x}\Vert .\hfill \end{array}$$

Hence, by taking the limit as $s\to t$ we get, for any $t\ge t_0$,

$$\begin{array}{c}\hfill ∥\frac{d}{\mathit{dt}},\lambda ,(t),T_{\lambda (t),\gamma (t)},(x(t))∥\le 4\Vert \dot{x}(t)\Vert +4\beta \frac{|\dot{\gamma }(t)|}{\gamma (t)}\Vert B(x(t))\Vert +2\frac{|\dot{\gamma }(t)|}{\gamma (t)}\Vert x(t)-\overline{x}\Vert .\end{array}$$

$\square$

The next theorem concerns the existence and uniqueness of strong global solutions to (Split-DIN-AVD).

Theorem 2.3

Assume that $\lambda ,\gamma :[t_0,+\infty )\to (0,+\infty )$ are Lebesgue measurable functions and that ${inf}_{t\ge t_0}\lambda (t)>0$. Then, for any $(x_0,u_0)\in \mathcal{H}\times \mathcal{H}$ there exists a unique strong global solution $x:[t_0,+\infty )\to \mathcal{H}$ of the system (2) that satisfies $x(t_0)=x_0$ and $\dot{x}(t_0)=u_0$.

Proof

We will rely on [17, Proposition 6.2.1] and distinguish between the cases $\xi >0$ and $\xi =0$. For each chase, we will check that the conditions of the afforementioned proposition are fulfilled. We will be working in the real Hilbert space $\mathcal{H}\times \mathcal{H}$ endowed with the norm $\Vert (x,y)\Vert =\Vert x\Vert +\Vert y\Vert$. Let $\overline{x}\in \mathrm{zer}(A+B)$ be fixed.

The Case $\xi >0$. First, it can be easily checked (see also [4, 9, 13]) that for all $t\ge t_0$ the following dynamical systems are equivalent

$\ast$

${\displaystyle \ddot{x}(t)+\frac{\alpha }{t}\dot{x}(t)+\xi \left(\frac{d}{\mathit{dt}},T_{\lambda (t),\gamma (t)},(x(t))\right)+T_{\lambda (t),\gamma (t)}(x(t))=0}$.

$\ast$

${\displaystyle \left\{\begin{array}{c}\dot{x}(t)+\xi T_{\lambda (t),\gamma (t)}(x(t))-\left(\frac{1}{\xi },-,\frac{\alpha }{t}\right)x(t)+\frac{1}{\xi }y(t)=0,\hfill \\ \dot{y}(t)-\left(\frac{1}{\xi },-,\frac{\alpha }{t},+,\frac{\alpha \xi }{t^2}\right)x(t)+\frac{1}{\xi }y(t)=0.\hfill \end{array}\right)}$

In other words, (2) with Cauchy data $(x_0,u_0)=(x(t_0),\dot{x}(t_0))$ is equivalent to the first order system

$$\begin{array}{c}\hfill \left\{\begin{array}{c}\dot{z}(t)=F(t,z(t)),\hfill \\ z(t_0)=(x_0,y_0),\hfill \end{array}\right)\end{array}$$

where $z(t)=(x(t),y(t))$, F is given, for every $t\ge t_0$, by

$$\begin{array}{c}\hfill F(t,(x,y))=\left[-,\xi ,T_{\lambda (t),\gamma (t)},(x),+,\left(\frac{1}{\xi },-,\frac{\alpha }{t}\right),x,-,\frac{1}{\xi },y,,,,\left(\frac{1}{\xi },-,\frac{\alpha }{t},+,\frac{\alpha \xi }{t^2}\right),x,-,\frac{1}{\xi },y\right]\end{array}$$

and the Cauchy data is $x_0=x(t_0)$, $y_0=-\xi \left(u_0,+,\xi ,T_{\lambda (t_0),\gamma (t_0)},(x_0),-,\left(\frac{1}{\xi },-,\frac{\alpha }{t_0}\right),x_0\right)$.

• (i)
  Let $t\in [t_0,+\infty )$ be fixed. We need to verify the Lipschitz continuity of F on the z variable. Set $z=(x,y)$, $w=(u,v)$. We have

  $$\begin{array}{cc}\hfill \Vert F(t,z)-F(t,w)\Vert =& \left.∥-,\xi ,\left(T_{\lambda (t),\gamma (t)},(x),-,T_{\lambda (t),\gamma (t)},(u),+,\left(\frac{1}{\xi },-,\frac{\alpha }{t}\right)\right)\right)\hfill \\ \hfill & \left(\left((x-u),-,\frac{1}{\xi },(y-v)\right)\right.∥\hfill \\ \hfill & +∥\left(\frac{1}{\xi },-,\frac{\alpha }{t},+,\frac{\alpha \xi }{t^2}\right),(x-u),-,\frac{1}{\xi },(y-v)∥.\hfill \end{array}$$

  Set $\underset{\_}{\lambda }:={inf}_{t\ge t_0}\lambda (t)>0$. According to Lemma 2.2(i), the term involving the operator $T_{\lambda (t),\gamma (t)}$ satisfies

  $$\begin{array}{c}\hfill ∥T_{\lambda (t),\gamma (t)},(x),-,T_{\lambda (t),\gamma (t)},(u)∥\le \frac{2}{\lambda (t)}\Vert x-u\Vert \le \frac{2}{\underset{\_}{\lambda }}\Vert x-u\Vert .\end{array}$$

  It follows that, if we take

  $$\begin{array}{c}\hfill K(t):=max\left\{\frac{2\xi }{\underset{\_}{\lambda }},+,\left|\frac{1}{\xi },-,\frac{\alpha }{t}\right|,+,\left|\frac{1}{\xi },-,\frac{\alpha }{t},+,\frac{\alpha \xi }{t^2}\right|,,,,\frac{2}{\xi }\right\}\forall t\ge t_0,\end{array}$$

  then we have $K\in L_{\text{loc}}^1([t_0,+\infty ),\mathbb{R})$ and

  $$\begin{array}{c}\hfill \Vert F(t,z)-F(t,w)\Vert \le K(t)\Vert z-w\Vert \forall t\ge t_0.\end{array}$$
• (ii)
  Now, we claim that F fulfills a boundedness condition. For $t\in [t_0,+\infty )$ and $z=(x,y)\in \mathcal{H}\times \mathcal{H}$ we have

  $$\begin{array}{c}\hfill \Vert F(t,z)\Vert =∥-,\xi ,T_{\lambda (t),\gamma (t)},(x),+,\left(\frac{1}{\xi },-,\frac{\alpha }{t}\right),x,-,\frac{1}{\xi },y∥+∥\left(\frac{1}{\xi },-,\frac{\alpha }{t},+,\frac{\alpha \xi }{t^2}\right),x,-,\frac{1}{\xi },y∥.\end{array}$$

  By Lemma 2.2(i), we have, for every $t\ge t_0$,

  $$\begin{array}{c}\hfill ∥T_{\lambda (t),\gamma (t)},(x)∥=∥T_{\lambda (t),\gamma (t)},(x),-,T_{\lambda (t),\gamma (t)},(\overline{x})∥\le \frac{2}{\lambda (t)}\Vert x-\overline{x}\Vert .\end{array}$$

  Hence, if we take

  $$\begin{array}{c}\hfill P(t)=max\left\{\frac{2\xi }{\lambda (t)},+,\left|\frac{1}{\xi },-,\frac{\alpha }{t}\right|,+,\left|\frac{1}{\xi },-,\frac{\alpha }{t},+,\frac{\alpha \xi }{t^2}\right|,,,\frac{2\xi }{\lambda (t)},,,,\frac{2}{\xi }\right\}\forall t\ge t_0,\end{array}$$

  then we have $P\in L_{\text{loc}}^1([t_0,+\infty ),\mathbb{R})$ and

  $$\begin{array}{c}\hfill \Vert F(t,z)\Vert \le P(t)(1+\Vert z\Vert ).\end{array}$$

We have checked that the conditions of [17, Proposition 6.2.1] hold. Therefore, there exists a unique locally absolutely continuous solution $t\mapsto x(t)$ of (2) that satisfies $x(t_0)=x_0$ and $\dot{x}(t_0)=u_0$.

The Case $\xi =0$. Now, (2) is easily seen to be equivalent to

$$\begin{array}{c}\hfill \left\{\begin{array}{c}\dot{z}(t)=F(t,z(t)),\hfill \\ z(t_0)=(x_0,u_0),\hfill \end{array}\right),\end{array}$$

where $z(t)=(x(t),y(t))$ and F is given, for every $t\ge t_0$, by

$$\begin{array}{c}\hfill F(t,(x,y))=\left[y,,,,-,\frac{\alpha }{t},y,-,T_{\lambda (t),\gamma (t)},(x)\right].\end{array}$$

Showing that F fulfills the required properties is starightforward. $\square$

The Convergence Properties of the Trajectories

In this section, we will study the asymptotic behaviour of the trajectories of the system

$$\begin{array}{c}\hfill \text{(Split-DIN-AVD)}\ddot{x}(t)+\frac{\alpha }{t}\dot{x}(t)+\xi \frac{d}{\mathit{dt}}\left(T_{\lambda (t),\gamma (t)},(x(t))\right)+T_{\lambda (t),\gamma (t)}(x(t))=0,\end{array}$$

where

$$\begin{array}{c}\hfill T_{\lambda ,\gamma }(x)=\frac{1}{\lambda }[\mathrm{Id}-J_{\gamma A}\circ (\mathrm{Id}-\gamma B)].\end{array}$$

We will show weak convergence of the trajectories generated by (2) to elements of $\mathrm{zer}(A+B)$, as well as the fast convergence of the velocities and accelerations to zero. Additionally, we will provide convergence rates for $T_{\lambda (t),\gamma (t)}(x(t))$ and $\frac{d}{\mathit{dt}}{T}_{\lambda (t),\gamma (t)}(x(t))$ as $t\to +\infty$. To avoid repetition of the statement “for almost every t”, in the following theorem we will assume we are working with a classic global solution of our system.

Theorem 3.1

Let $A:\mathcal{H}\to 2^{\mathcal{H}}$ be a maximally monotone operator and $B:\mathcal{H}\to \mathcal{H}$ a $\beta$-cocoercive operator for some $\beta >0$ such that $\mathrm{zer}(A+B)\ne \mathrm{\varnothing }$. Assume that $\alpha >1$, $\xi \ge 0$, $\lambda (t)=\lambda t^2$ for $\lambda >\frac{2}{{(\alpha -1)}^2}$ and all $t\ge t_0$, and that $\gamma :[t_0,+\infty )\to (0,2\beta )$ is a differentiable function that satisfies $\frac{\dot{\gamma }(t)}{\gamma (t)}=\mathcal{O}\left(\frac{1}{t}\right)$ as $t\to +\infty$. Then, for a solution $x:[t_0,+\infty )\to \mathcal{H}$ to (Split-DIN-AVD), the following statements hold:

• (i)x is bounded.
• (ii)
  We have the estimates

  $$\begin{array}{cc}& {\int }_{t_0}^{+\infty }t\Vert \dot{x}{(t)\Vert }^{2}dt<+\infty ,{\int }_{t_0}^{+\infty }{t}^3{\Vert \ddot{x}(t)\Vert }^{2}dt<+\infty ,\hfill \\ \hfill & {\int }_{t_0}^{+\infty }\frac{{\gamma }^2(t)}{t}{∥A_{\gamma (t)},[,x,(t),-,\gamma ,(t),B,x,(t),],+,B,x,(t)∥}^{2}dt<+\infty .\hfill \end{array}$$
• (iii)
  We have the convergence rates

  $$\begin{array}{cc}& \Vert \dot{x}(t)\Vert =o\left(\frac{1}{t}\right),\Vert \ddot{x}(t)\Vert =\mathcal{O}\left(\frac{1}{t^2}\right),\hfill \\ \hfill & ∥A_{\gamma (t)},[,x,(t),-,\gamma ,(t),B,x,(t),],+,B,x,(t)∥=o\left(\frac{1}{\gamma (t)}\right),\hfill \\ \hfill & ∥\frac{d}{\mathit{dt}},\left(A_{\gamma (t)},[,x,(t),-,\gamma ,(t),B,x,(t),],+,B,x,(t)\right)∥=\mathcal{O}\left(\frac{1}{t\gamma (t)}\right)+o\left(\frac{t^2\left|\frac{d}{\mathit{dt}},\frac{\gamma (t)}{\lambda (t)}\right|}{{\gamma }^2(t)}\right)\hfill \end{array}$$

  as $t\to +\infty$.
• (iv)If $0<{inf}_{t\ge t_0}\gamma (t)\le {sup}_{t\ge t_0}\gamma (t)<2\beta$, then x(t) converges weakly to an element of $\mathrm{zer}(A+B)$ as $t\to +\infty$.

Proof

Integral Estimates and Rates. To develop the analysis, we will fix $\overline{x}\in \mathrm{zer}(A+B)$ and make of use of the Lyapunov function $\mathcal{E}:[t_0,+\infty )\to \mathbb{R}\cup \{+\infty \}$ given by

$$\begin{array}{c}\hfill \mathcal{E}(t):=\frac{1}{2}{∥\frac{\alpha -1}{2},(x(t)-\overline{x}),+,t,(\dot{x}(t)+\xi T_{\lambda (t),\gamma (t)}(x(t)))∥}^2+\frac{{(\alpha -1)}^2}{8}{\Vert x(t)-\overline{x}\Vert }^2.\end{array}$$ 9

Differentiation of $\mathcal{E}$ with respect to time yields, for every $t\ge t_0$,

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \dot{\mathcal{E}}(t)=& \left.〈\frac{\alpha -1}{2},(x(t)-\overline{x}),+,t,\left(\dot{x},(t),+,\xi ,,T_{\lambda (t),\lambda (t)},(x(t))\right)\right),\hfill \\ \hfill & \left(\frac{\alpha +1}{2},\dot{x},(t),+,\xi ,,T_{\lambda (t),\gamma (t)},(x(t)),+,t,\left(\ddot{x},(t),+,\xi ,\frac{d}{\mathit{dt}},\left(T_{\lambda (t),\gamma (t)},(x(t))\right)\right)\right.〉\hfill \\ \hfill & +\frac{{(\alpha -1)}^2}{4}⟨x(t)-\overline{x},\dot{x}(t)⟩.\hfill \end{array}\end{array}$$

After reduction and employing (2), we get, for every $t\ge t_0$,

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \dot{\mathcal{E}}(t)& =\frac{(\alpha -1)(\xi -t)}{2}〈x,(t),-,\overline{x},,,T_{\lambda (t),\gamma (t)},(x(t))〉+\frac{(1-\alpha )t}{2}{\Vert \dot{x}(t)\Vert }^2\hfill \\ \hfill & +\left(-,t^2,+,\frac{\xi (3-\alpha )t}{2}\right)〈T_{\lambda (t),\gamma (t)},(x(t)),,,\dot{x},(t)〉+\xi (\xi -t)t{∥T_{\lambda (t),\gamma (t)},(x(t))∥}^2.\hfill \end{array}\end{array}$$

Now, by Lemma 2.2(i), we know that $T_{\lambda (t),\gamma (t)}$ is $\frac{\lambda (t)}{2}$-cocoercive for every $t\ge t_0$. Using this on the first summand of the right hand side of the previous inequality yields, for $t\ge t_1=max\{\xi ,t_0\}$,

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \dot{\mathcal{E}}(t)\le & \frac{(1-\alpha )t}{2}{\Vert \dot{x}(t)\Vert }^2+\left(-,t^2,+,\frac{\xi (3-\alpha )t}{2}\right)〈T_{\lambda (t),\gamma (t)},(x(t)),,,\dot{x},(t)〉\hfill \\ \hfill & +\left(\frac{(\alpha -1)(\xi -t)\lambda (t)}{4},+,\xi ,(\xi -t),t\right){∥T_{\lambda (t),\gamma (t)},(x(t))∥}^2.\hfill \end{array}\end{array}$$ 10

Now, since $\lambda >\frac{2}{{(\alpha -1)}^2}$, we can choose $ϵ>0$ such that

$$\begin{array}{c}\hfill 0<ϵ<\alpha -1-\sqrt{\frac{2}{\lambda }}<\alpha -1.\end{array}$$ 11

From (10) we get, for every $t\ge t_1$,

$$\begin{array}{c}\hfill \begin{array}{cc}& \dot{\mathcal{E}}(t)+\frac{ϵ}{2}t{\Vert \dot{x}(t)\Vert }^2+\frac{ϵ}{4}t\lambda (t){∥T_{\lambda (t),\gamma (t)},(x(t))∥}^2\hfill \\ \hfill & \le \left(\frac{1-\alpha }{2},+,\frac{ϵ}{2}\right)t{\Vert \dot{x}(t)\Vert }^2+\left(-,t^2,+,\frac{\xi (3-\alpha )t}{2}\right)〈T_{\lambda (t),\gamma (t)},(x(t)),,,\dot{x},(t)〉\hfill \\ \hfill & +\left(\left(\frac{(\alpha -1)(\xi -t)}{2},+,\frac{ϵ}{2},t\right),\frac{\lambda (t)}{2},+,\xi ,(\xi -t),t\right){∥T_{\lambda (t),\gamma (t)},(x(t))∥}^2.\hfill \end{array}\end{array}$$ 12

By (11) and the definition of $\lambda (t)$, we know that $\frac{1-\alpha }{2}+\frac{ϵ}{2}<0$, and

$$\begin{array}{c}\hfill \left(\left(\frac{(\alpha -1)(\xi -t)}{2},+,\frac{ϵ}{2},t\right),\frac{\lambda (t)}{2},+,\xi ,(\xi -t),t\right)=\underset{<0}{\underbrace{\left(\frac{1-\alpha }{2},+,\frac{ϵ}{2}\right)}}\frac{\lambda }{2}{t}^3+\mathcal{O}(t^2),\end{array}$$

so we can find $t_2\ge t_1$ such that for every $t\ge t_2$ the previous expression becomes nonpositive. According to Lemma A.2, the right hand side of (12) is nonpositive whenever

$$\begin{array}{cc}\hfill R(t):=& {\left(-,t^2,+,\frac{\xi (3-\alpha )t}{2}\right)}^2-4\left(\frac{1-\alpha }{2},+,\frac{ϵ}{2}\right)\hfill \\ \hfill & t\left(\left(\frac{(\alpha -1)(\xi -t)}{2},+,\frac{ϵ}{2},t\right),\frac{\lambda (t)}{2},+,\xi ,(\xi -t),t\right)\le 0.\hfill \end{array}$$

This quantity can be rewritten as

$$\begin{array}{c}\hfill R(t)=\left(1,+,4,\left(\frac{1-\alpha }{2},+,\frac{ϵ}{2}\right),\left(\frac{\alpha -1}{2},-,\frac{ϵ}{2}\right),\frac{\lambda }{2}\right)t^4+\mathcal{O}(t^3)\text{as}t\to +\infty .\end{array}$$

Since $ϵ<\alpha -1-\sqrt{\frac{2}{\lambda }}$, we have $\frac{\lambda }{2}>\frac{1}{{(\alpha -1-ϵ)}^2}$. Hence,

$$\begin{array}{c}\hfill 1+4\left(\frac{1-\alpha }{2},+,\frac{ϵ}{2}\right)\left(\frac{\alpha -1}{2},-,\frac{ϵ}{2}\right)\frac{\lambda }{2}=1-{(\alpha -1-ϵ)}^2\frac{\lambda }{2}<0.\end{array}$$

This means we can find $t_3\ge t_2$ such that for every $t\ge t_3$ we have $R(t)\le 0$, that is, for every $t\ge t_3$ we have

$$\begin{array}{c}\hfill \dot{\mathcal{E}}(t)+\frac{ϵ}{2}t{\Vert \dot{x}(t)\Vert }^2+\frac{ϵ}{4}t\lambda (t){∥T_{\lambda (t),\gamma (t)},(x(t))∥}^2\le 0.\end{array}$$ 13

Now, integrating (13) from $t_3$ to t we obtain

$$\begin{array}{c}\hfill \mathcal{E}(t)+\frac{ϵ}{2}{\int }_{t_3}^{t}s{\Vert \dot{x}(s)\Vert }^{2}ds+\frac{ϵ}{4}\lambda {\int }_{t_3}^t{s}^3{∥T_{\lambda (s),\gamma (s)},(x(s))∥}^{2}ds\le \mathcal{E}(t_3).\end{array}$$ 14

From (13) and the form of $\mathcal{E}$ we immediately obtain

$$\begin{array}{cc}& t\mapsto \Vert x(t)-\overline{x}\Vert \text{is bounded},\hfill \end{array}$$ 15

$$\begin{array}{cc}& {\int }_{t_0}^{+\infty }t{\Vert \dot{x}(t)\Vert }^{2}dt<+\infty ,\hfill \end{array}$$ 16

$$\begin{array}{cc}& {\int }_{t_0}^{+\infty }{t}^3{∥T_{\lambda (t),\gamma (t)},(x(t))∥}^{2}dt<+\infty ,\hfill \end{array}$$ 17

$$\begin{array}{cc}& \underset{t\ge t_0}{sup}∥\left(\frac{\alpha -1}{2}\right),(x(t)-\overline{x}),+,t,\left(\dot{x},(t),+,\xi ,,T_{\lambda (t),\gamma (t)},(x(t))\right)∥<+\infty .\hfill \end{array}$$ 18

From Lemma 2.2(i), we know that for every $t\ge t_0$ the operator $T_{\lambda (t),\gamma (t)}$ is $\frac{2}{\lambda (t)}$-Lipschitz continuous, which gives, for every $t\ge t_0$,

$$\begin{array}{c}\hfill ∥T_{\lambda (t),\gamma (t)},(x(t))∥=∥T_{\lambda (t),\gamma (t)},(x(t)),-,T_{\lambda (t),\gamma (t)},(\overline{x})∥\le \frac{2}{\lambda (t)}\Vert x(t)-\overline{x}\Vert .\end{array}$$

Thus, from (15) and recalling that $\lambda (t)=\lambda t^2$ we arrive at

$$\begin{array}{c}\hfill ∥T_{\lambda (t),\gamma (t)},(x(t))∥=\mathcal{O}\left(\frac{1}{t^2}\right)\text{as}t\to +\infty .\end{array}$$ 19

By combining (15), (18) and (19) we obtain ${sup}_{t\ge t_0}t\Vert \dot{x}(t)\Vert <+\infty$ and therefore

$$\begin{array}{c}\hfill \Vert \dot{x}(t)\Vert =\mathcal{O}\left(\frac{1}{t}\right)\text{as}t\to +\infty .\end{array}$$ 20

From Lemma 2.2, (15), (20) and the fact that B is $\frac{1}{\beta }$-Lipschitz continuous we deduce that, as $t\to +\infty$,

$$\begin{array}{c}\hfill ∥\frac{d}{\mathit{dt}},\lambda ,(t),T_{\lambda (t),\gamma (t)},(x(t))∥\le 4\Vert \dot{x}(t)\Vert +4\beta \frac{|\dot{\gamma }(t)|}{\gamma (t)}\Vert B(x(t))\Vert +2\frac{|\dot{\gamma }(t)|}{\gamma (t)}\Vert x(t)-\overline{x}\Vert =\mathcal{O}\left(\frac{1}{t}\right).\end{array}$$ 21

On the other hand, for every $t\ge t_0$ we have

$$\begin{array}{c}\hfill ∥\frac{d}{\mathit{dt}},\lambda ,(t),T_{\lambda (t),\gamma (t)},(x(t))∥=∥\dot{\lambda },(t),T_{\lambda (t),\gamma (t)},(x(t)),+,\lambda ,(t),\frac{d}{\mathit{dt}},T_{\lambda (t),\gamma (t)},(x(t))∥,\end{array}$$ 22

so by combining (19), (21), (22) and the fact that $\dot{\lambda }(t)=2\lambda t$ we arrive at

$$\begin{array}{cc}& ∥\lambda ,(t),\frac{d}{\mathit{dt}},T_{\lambda (t),\gamma (t)},(x(t))∥\le \underset{\mathcal{O}\left(\frac{1}{t}\right)}{\underbrace{∥\frac{d}{\mathit{dt}},\lambda ,(t),T_{\lambda (t),\gamma (t)},(x(t))∥}}+\dot{\lambda }(t)\underset{\mathcal{O}\left(\frac{1}{t^2}\right)}{\underbrace{∥T_{\lambda (t),\gamma (t)},(x(t))∥}}=\mathcal{O}\left(\frac{1}{t}\right)\hfill \\ \hfill & \text{as}t\to +\infty ,\hfill \end{array}$$

which yields

$$\begin{array}{c}\hfill ∥\frac{d}{\mathit{dt}},T_{\lambda (t),\gamma (t)},(x(t))∥=\frac{1}{\lambda (t)}\mathcal{O}\left(\frac{1}{t}\right)=\mathcal{O}\left(\frac{1}{t^3}\right)\text{as}t\to +\infty .\end{array}$$ 23

Let us now improve (19) and show that

$$\begin{array}{c}\hfill ∥T_{\lambda (t),\gamma (t)},(x(t))∥=o\left(\frac{1}{t^2}\right)\text{as}t\to +\infty .\end{array}$$ 24

According to (19) and (21) there exists a constant $K>0$ such that for every $t\ge t_0$ it holds

$$\begin{array}{cc}\hfill \left|\frac{d}{\mathit{dt}},{∥\lambda ,(t),T_{\lambda (t),\gamma (t)},(x(t))∥}^4\right|& =\left|4,{∥\lambda ,(t),T_{\lambda (t),\gamma (t)},(x(t))∥}^2\right)\hfill \\ \hfill & \times \left(〈\lambda ,(t),T_{\lambda (t),\gamma (t)},(x(t)),,,\frac{d}{\mathit{dt}},\lambda ,(t),T_{\lambda (t),\gamma (t)},(x(t))〉\right|\hfill \\ \hfill & \le 4{∥\lambda ,(t),T_{\lambda (t),\gamma (t)},(x(t))∥}^2∥\lambda ,(t),T_{\lambda (t),\gamma (t)},(x(t))∥\hfill \\ \hfill & \times ∥\frac{d}{\mathit{dt}},\lambda ,(t),T_{\lambda (t),\gamma (t)},(x(t))∥\hfill \\ \hfill & \le \frac{4K}{t}{∥\lambda ,(t),T_{\lambda (t),\gamma (t)},(x(t))∥}^2.\hfill \end{array}$$

By (17), the right hand side belongs to $L^1([t_0,+\infty ),\mathbb{R})$, so we get

$$\begin{array}{c}\hfill \frac{d}{\mathit{dt}}{∥\lambda ,(t),T_{\lambda (t),\gamma (t)},(x(t))∥}^4\in L^1([t_0,+\infty ),\mathbb{R}),\end{array}$$

hence the limit

$$\begin{array}{c}\hfill \underset{t\to +\infty }{lim}{∥\lambda ,(t),T_{\lambda (t),\gamma (t)},(x(t))∥}^4\end{array}$$

exists. Obviously, this implies the existence of $L:={lim}_{t\to +\infty }{∥\lambda ,(t),T_{\lambda (t),\gamma (t))},(x(t))∥}^2$. By using (17) again we come to

$$\begin{array}{c}\hfill {\int }_{t_0}^{+\infty }\frac{1}{t}{∥\lambda ,(t),T_{\lambda (t),\gamma (t)},(x(t))∥}^{2}dt={\lambda }^2{\int }_{t_0}^{+\infty }{t}^3{∥T_{\lambda (t),\gamma (t)},(x(t))∥}^{2}dt<+\infty ,\end{array}$$

and so we must have $L=0$, which gives

$$\begin{array}{c}\hfill ∥T_{\lambda (t),\gamma (t)},(x(t))∥=o\left(\frac{1}{t^2}\right)\text{as}t\to +\infty .\end{array}$$ 25

By combining (2), (19), (20) and (23) we obtain, as $t\to +\infty$,

$$\begin{array}{cc}\hfill \Vert \ddot{x}(t)\Vert & =∥-,\frac{\alpha }{t},\dot{x},(t),-,\xi ,\frac{d}{\mathit{dt}},T_{\lambda (t),\gamma (t)},(x(t)),-,T_{\lambda (t),\gamma (t)},(x(t))∥\hfill \\ \hfill & \le \frac{\alpha }{t}\underset{\mathcal{O}\left(\frac{1}{t}\right)}{\underbrace{\Vert \dot{x}(t)\Vert }}+\xi \underset{\mathcal{O}\left(\frac{1}{t^3}\right)}{\underbrace{∥\frac{d}{\mathit{dt}},T_{\lambda (t),\gamma (t)},(x(t))∥}}+\underset{\mathcal{O}\left(\frac{1}{t^2}\right)}{\underbrace{∥T_{\lambda (t),\gamma (t)},(x(t))∥}}=\mathcal{O}\left(\frac{1}{t^2}\right).\hfill \end{array}$$

Moreover, by using the well-known inequality ${\Vert a+b+c\Vert }^2\le {3\Vert a\Vert }^2+{3\Vert b\Vert }^2+3{\Vert c\Vert }^2$ for every $a,b,c\in \mathcal{H}$, for every $t\ge t_0$ it holds

$$\begin{array}{cc}\hfill t^3{\Vert \ddot{x}(t)\Vert }^2& \le t^3{∥-,\frac{\alpha }{t},\dot{x},(t),-,\xi ,\frac{d}{\mathit{dt}},T_{\lambda (t),\gamma (t)},(x(t)),-,T_{\lambda (t),\gamma (t)},(x(t))∥}^2\hfill \\ \hfill & \le 3\alpha t\Vert \dot{x}{(t)\Vert }^2+3{\xi }^2{t}^3{∥\frac{d}{\mathit{dt}},T_{\lambda (t),\gamma (t)},(x(t))∥}^2+3t^3{∥T_{\lambda (t),\gamma (t)},(x(t))∥}^2.\hfill \end{array}$$

From (16), (23) and (17) it follows

$$\begin{array}{c}\hfill {\int }_{t_0}^{+\infty }{t}^3{\Vert \ddot{x}(t)\Vert }^{2}dt<+\infty .\end{array}$$ 26

To see that $\Vert \dot{x}(t)\Vert =o\left(\frac{1}{t}\right)$ as $t\to +\infty$, we write, for every $t\ge t_0$,

$$\begin{array}{c}\hfill \frac{d}{\mathit{dt}}\left(t^2,{\Vert \dot{x}(t)\Vert }^2\right)=2t\Vert \dot{x}{(t)\Vert }^2+2t^2⟨\dot{x}(t),\ddot{x}(t)⟩\le 3t\Vert \dot{x}{(t)\Vert }^2+t^3{\Vert \ddot{x}(t)\Vert }^2.\end{array}$$

From (16) and (26) we deduce that the left hand side belongs to $L^1([t_0,+\infty ),\mathbb{R})$, from which we infer that the limit ${lim}_{t\to +\infty }{t}^2{\Vert \dot{x}(t)\Vert }^2$ exists. Using (16) again, we get

$$\begin{array}{c}\hfill {\int }_{t_0}^{+\infty }\frac{1}{t}\left(t^2,{\Vert \dot{x}(t)\Vert }^2\right)dt={\int }_{t_0}^{+\infty }t{\Vert \dot{x}(t)\Vert }^{2}dt<+\infty ,\end{array}$$

from which we finally deduce ${lim}_{t\to +\infty }{t}^2{\Vert \dot{x}(t)\Vert }^2=0$, therefore

$$\begin{array}{c}\hfill \Vert \dot{x}(t)\Vert =o\left(\frac{1}{t}\right)\text{as}t\to +\infty .\end{array}$$ 27

Notice that we can write for every $t\ge t_0$

$$\begin{array}{c}\hfill T_{\lambda (t),\gamma (t)}=\frac{1}{\lambda (t)}[\mathrm{Id}-J_{\gamma (t)A}(\mathrm{Id}-\gamma (t)B)]=\frac{\gamma (t)}{\lambda (t)}\left(A_{\gamma (t)},[,x,(t),-,\gamma ,(t),B,x,(t),],+,B,x,(t)\right).\end{array}$$

Hence, multiplying both sides of (25) by $\frac{\lambda (t)}{\gamma (t)}$ and remembering the definition of $\lambda (t)$ we obtain

$$\begin{array}{c}\hfill ∥A_{\gamma (t)},[,x,(t),-,\gamma ,(t),B,x,(t),],+,B,x,(t)∥=o\left(\frac{1}{\gamma (t)}\right)\text{as}t\to +\infty .\end{array}$$ 28

For every $t\ge t_0$, we have

$$\begin{array}{cc}\hfill \frac{d}{\mathit{dt}}{T}_{\lambda (t),\gamma (t)}(x(t))=& \frac{d}{\mathit{dt}}\left(\frac{\gamma (t)}{\lambda (t)}\right)\left(A_{\gamma (t)},[,x,(t),-,\gamma ,(t),B,x,(t),],+,B,x,(t)\right)\hfill \\ \hfill & +\frac{\gamma (t)}{\lambda (t)}\frac{d}{\mathit{dt}}\left(A_{\gamma (t)},[,x,(t),-,\gamma ,(t),B,x,(t),],+,B,x,(t)\right).\hfill \end{array}$$

Therefore, by using (23) and (28), and recalling that $\lambda (t)=\lambda t^2$, we obtain

$$\begin{array}{cc}\hfill ∥\frac{d}{\mathit{dt}},\left(A_{\gamma (t)},[,x,(t),-,\gamma ,(t),B,x,(t),],+,B,x,(t)\right)∥=& \mathcal{O}\left(\frac{1}{t\gamma (t)}\right)\hfill \\ \hfill & +o\left(\frac{t^2\left|\frac{d}{\mathit{dt}},\frac{\gamma (t)}{\lambda (t)}\right|}{{\gamma }^2(t)}\right)\text{as}t\to +\infty .\hfill \end{array}$$

The fact that $\Vert \ddot{x}(t)\Vert =\mathcal{O}\left(\frac{1}{t^2}\right)$ as $t\to +\infty$ comes from (2), (27), (23) and (24).

Weak Convergence of the Trajectories. Let $\overline{x}\in \mathrm{zer}(A+B)$. We will work with the energy function $h:[t_0,+\infty )\to \mathbb{R}$ given by

$$\begin{array}{c}\hfill h(t):=\frac{1}{2}{\Vert x(t)-\overline{x}\Vert }^2.\end{array}$$

For every $t\ge t_0$, we have

$$\begin{array}{c}\hfill \dot{h}(t)=⟨x(t)-\overline{x},\dot{x}(t)⟩,\ddot{h}(t)=⟨x(t)-\overline{x},\ddot{x}(t)⟩+{\Vert \dot{x}(t)\Vert }^2.\end{array}$$ 29

Combining (2) and (29) gives us, for every $t\ge t_0$,

$$\begin{array}{c}\hfill \ddot{h}(t)+\frac{\alpha }{t}\dot{h}(t)+〈T_{\lambda (t),\gamma (t)},(x(t)),,,x,(t),-,\overline{x}〉={\Vert \dot{x}(t)\Vert }^2+〈-,\xi ,\frac{d}{\mathit{dt}},T_{\lambda (t),\gamma (t)},(x(t)),,,x,(t),-,\overline{x}〉.\end{array}$$

By using the $\frac{\lambda (t)}{2}$-cocoercitivity of $T_{\lambda (t),\gamma (t)}$ on the left hand side, Cauchy–Schwarz on the right hand side and multiplying both sides by t, the previous inequality entails, for every $t\ge t_0$,

$$\begin{array}{cc}& t\ddot{h}(t)+\alpha \dot{h}(t)+t\frac{\lambda (t)}{2}∥T_{\lambda (t),\gamma (t)},(x(t))∥\le t{\Vert \dot{x}(t)\Vert }^2+\xi t∥\frac{d}{\mathit{dt}},T_{\lambda (t),\gamma (t)},(x(t))∥\hfill \\ \hfill & \Vert x(t)-\overline{x}\Vert \forall t\ge t_0.\hfill \end{array}$$

Now, puttin together results in

$$\begin{array}{c}\hfill k(t):=t\Vert \dot{x}{(t)\Vert }^2+\xi t∥\frac{d}{\mathit{dt}},T_{\lambda (t),\gamma (t)},(x(t))∥\Vert x(t)-\overline{x}\Vert \in L^1([t_0,+\infty ),\mathbb{R}).\end{array}$$

Now apply Lemma A.1 with $\theta (t):=t\frac{\lambda (t)}{2}∥T_{\lambda (t),\gamma (t)},(x(t))∥$ for every $t\ge t_0$ to deduce that the limit

$$\begin{array}{c}\hfill \underset{t\to +\infty }{lim}h(t)\end{array}$$

exists, which fulfills the first condition of Opial’s Lemma A.3.

Let us now move on to the second condition. Suppose $\widehat{x}$ is a weak sequential cluster point of $t\mapsto x(t)$, that is, there exists a sequence ${(t_n)}_{n\in \mathbb{N}}\subseteq [t_0,+\infty )$ such that $t_n\to +\infty$ and $x_n:=x(t_n)$ converges weakly to $\widehat{x}$ as $n\to +\infty$. Define

$$\begin{array}{c}\hfill U_{\gamma }:=\mathrm{Id}-J_{\gamma A}\circ (\mathrm{Id}-\gamma B).\end{array}$$

According to (25), we have $U_{\gamma (t)}(x(t))=\lambda (t)T_{\lambda (t),\gamma (t)}(x(t))\to 0$ as $t\to +\infty$. Now, since $\gamma (t)\in [\delta ,2\beta -\delta ]$ for all $t\ge t_0$ for some $\delta >0$, we can extract a subsequence ${(\gamma (t_{n_k}))}_{k\in \mathbb{N}}$ such that $\gamma (t_{n_k})\to \overline{\gamma }\in (0,2\beta )$ as $k\to +\infty$. We may assume without loss of generality then that ${\gamma }_n:=\gamma (t_n)\to \overline{\gamma }$ as $n\to +\infty$. We now have for every $n\in \mathbb{N}$

$$\begin{array}{cc}\hfill \Vert U_{{\gamma }_n}(x_n)-U_{\overline{\gamma }}(x_n)\Vert =& \Vert J_{{\gamma }_{n}A}(x_n-{\gamma }_{n}B(x_n))-J_{\overline{\gamma }A}(x_n-\overline{\gamma }B(x_n))\Vert \hfill \\ \hfill =& \Vert J_{{\gamma }_{n}A}(x_n-{\gamma }_{n}B(x_n))-J_{{\gamma }_{n}A}(x_n-\overline{\gamma }B(x_n))\Vert \hfill \\ \hfill & +\Vert J_{{\gamma }_{n}A}(x_n-\overline{\gamma }B(x_n))-J_{\overline{\gamma }A}(x_n-\overline{\gamma }B(x_n))\Vert \hfill \\ \hfill \le & |\overline{\gamma }-{\gamma }_n|\Vert B(x_n)\Vert +|\overline{\gamma }-{\gamma }_n|\Vert A_{\overline{\gamma }}(x_n-\overline{\gamma }B(x_n))\Vert .\hfill \end{array}$$

Now, since every weakly convergent sequence is bounded and the operators B and $A_{\overline{\gamma }}$ are Lipschitz-continuous we deduce that the right-hand side of the previous inequality approaches zero as $n\to +\infty$, therefore getting

$$\begin{array}{c}\hfill U_{\overline{\gamma }}(x_n)=U_{{\gamma }_n}(x_n)+(U_{\overline{\gamma }}(x_n)-U_{{\gamma }_n}(x_n))\to 0\end{array}$$

as $n\to +\infty$. Now, from the proof of part (i) of Lemma 2.2, we know that $U_{\overline{\gamma }}$ is $\frac{4\beta -\overline{\gamma }}{4\beta }$-cocoercive, thus monotone and Lipschitz continuous and therefore maximally monotone. Summarizing, we have

1. $U_{\overline{\gamma }}$ is maximally monotone and thus its graph is closed in the weak$\times$strong topology of $\mathcal{H}\times \mathcal{H}$ (see [14, Proposition 20.38(ii)]),

2. $x_n$ converges weakly to $\widehat{x}$ and $U_{\overline{\gamma }}(x_n)\to 0$ as $n\to +\infty$,

which allows us to conclude that $U_{\overline{\gamma }}(\widehat{x})=0$, and gives finally $\widehat{x}\in \mathrm{zer}(A+B)$. Now we just invoke Opial’s Lemma to achieve that x(t) converges weakly to $\overline{x}$ as $t\to +\infty$ for some $\overline{x}\in \mathrm{zer}(A+B)$. $\square$

In the following subsections, we explore the particular cases $B=0$ and $A=0$, and we will show improvements with respect to previous results from the literature addressing continuous time approaches to monotone inclusions.

The Case $B=0$

If we let $B=0$ in the (Split-DIN-AVD) system (2), then, attached to the monotone inclusion problem

$$\begin{array}{c}\hfill \text{find}x\in \mathcal{H}\text{such}\text{that}0\in A(x),\end{array}$$

we obtain the dynamics

$$\begin{array}{c}\hfill \ddot{x}(t)+\frac{\alpha }{t}\dot{x}(t)+\xi \frac{d}{\mathit{dt}}\left(A_{\lambda (t),\gamma (t)},(x(t)\right)+A_{\lambda (t),\gamma (t)}(x(t))=0,\end{array}$$ 30

where

$$\begin{array}{c}\hfill A_{\lambda ,\gamma }(x)=\frac{1}{\lambda }(\mathrm{Id}-J_{\gamma A}).\end{array}$$

We can state the following theorem.

Theorem 3.2

Let $A:\mathcal{H}\to 2^{\mathcal{H}}$ be a maximally monotone operator such that $\mathrm{zer}A\ne \mathrm{\varnothing }$. Assume that $\alpha >1$, $\xi \ge 0$, $\lambda (t)=\lambda t^2$ for $\lambda >\frac{1}{{(\alpha -1)}^2}$ and all $t\ge t_0$, and that $\gamma :[t_0,+\infty )\to (0,+\infty )$ is a differentiable function that satisfies $\frac{|\dot{\gamma }(t)|}{\gamma (t)}=\mathcal{O}\left(\frac{1}{t}\right)$ as $t\to +\infty$. Then, for a solution $x:[t_0,+\infty )\to \mathcal{H}$ to (30), the following statements hold:

• (i)x is bounded.
• (ii)
  We have the estimates

  $$\begin{array}{cc}& {\int }_{t_0}^{+\infty }t\Vert \dot{x}{(t)\Vert }^{2}dt<+\infty ,{\int }_{t_0}^{+\infty }{t}^3{\Vert \ddot{x}(t)\Vert }^{2}dt<+\infty ,\hfill \\ \hfill & {\int }_{t_0}^{+\infty }\frac{{\gamma }^2(t)}{t}{∥A_{\gamma (t)},(x(t))∥}^{2}dt<+\infty .\hfill \end{array}$$
• (iii)
  We have the convergence rates

  $$\begin{array}{cc}& \Vert \dot{x}(t)\Vert =o\left(\frac{1}{t}\right),\Vert \ddot{x}(t)\Vert =\mathcal{O}\left(\frac{1}{t^2}\right),\hfill \\ \hfill & ∥A_{\gamma (t)},(x(t))∥=o\left(\frac{1}{\gamma (t)}\right),∥\frac{d}{\mathit{dt}},A_{\gamma (t)},(x(t))∥=\mathcal{O}\left(\frac{1}{t\gamma (t)}\right)+o\left(\frac{t^2\left|\frac{d}{\mathit{dt}},\frac{\gamma (t)}{\lambda (t)}\right|}{{\gamma }^2(t)}\right)\hfill \end{array}$$

  as $t\to +\infty$.
• (iv)If $0<{inf}_{t\ge t_0}\gamma (t)$, then x(t) converges weakly to an element of $\mathrm{zer}A$ as $t\to +\infty$.

Proof

The proof proceeds in the exact same way as the proof of Theorem 3.1. However, a few comments are in order: first of all, now we have $T_{\lambda ,\gamma }=\frac{1}{\lambda }(\mathrm{Id}-J_{\gamma A})=A_{\lambda ,\gamma }$. Since $J_{\lambda A}$ is firmly nonexpansive, by [14, Proposition 4.4] so is $\mathrm{Id}-J_{\lambda A}$. In other words, $\mathrm{Id}-J_{\gamma A}$ is 1-cocoercive, therefore $A_{\lambda ,\gamma }=\frac{1}{\lambda }(\mathrm{Id}-J_{\gamma A})$ is $\lambda$-cocoercive, so now the condition on $\lambda$ becomes $\lambda >\frac{1}{{(\alpha -1)}^2}$.

The proof also changes when we verify the second part of the Opial’s Lemma, to get weak convergence of the trajectories $t\mapsto x(t)$. This is in order to allow for $\gamma (t)$ not to be necessarily bounded. We do need, however, the assumption $0<{inf}_{t\ge t_0}\gamma (t)$. Indeed, from $\Vert A_{\lambda (t),\gamma (t)}(x(t))\Vert =o\left(\frac{1}{t^2}\right)$ as $t\to +\infty$, we obtain

$$\begin{array}{c}\hfill y(t):=x(t)-J_{\gamma (t)A}x(t)=\lambda (t)A_{\lambda (t),\gamma (t)}(x(t))\to 0\end{array}$$

as $t\to +\infty$. Using the definition of the resolvent, we come to

$$\begin{array}{c}\hfill J_{\gamma (t)A}x(t)=x(t)-y(t)\iff y(t)\in \gamma (t)A(x(t)-y(t))\iff \frac{1}{\gamma (t)}y(t)\in A(x(t)-y(t)).\end{array}$$

for all $t\ge t_0$. If ${(t_n)}_{n\in \mathbb{N}}\subseteq [t_0,+\infty )$ is such that $t_n\to +\infty$ and $x(t_n)$ converges weakly to $\widehat{x}$ as $n\to +\infty$, then the previous inclusion, together with the assumption on $\gamma$ gives

$$\begin{array}{c}\hfill x(t_n)-y(t_n)\text{converges}\text{weakly}\text{to}\widehat{x}\text{and}\frac{1}{\gamma (t)}y(t)\to 0\text{as}n\to +\infty ,\end{array}$$

and by the closedness of the graph of A in the weak$\times$strong topology of $\mathcal{H}\times \mathcal{H}$, we deduce that $\widehat{x}\in \mathrm{zer}A$. $\square$

Remark 3.3

The hypotheses required for $\gamma$ are fulfilled at least by two families of functions. First, take $r\ge 0$ and set $\gamma (t)=e^{-r}$. Then, we have

$$\begin{array}{c}\hfill \frac{\dot{\gamma }(t)}{\gamma (t)}=\frac{-r{t}^{-(r+1)}{e}^{-r}}{e^{-r}}=-\frac{r}{t^{r+1}}=\mathcal{O}\left(\frac{1}{t}\right)\text{as}t\to +\infty ,\end{array}$$

and

$$\begin{array}{c}\hfill \gamma (t)=e^{-r}\ge e^0=1\forall t\ge 0.\end{array}$$

If $\gamma$ is a polynomial of degree n for some $n\in \mathbb{N}$, the conditions are also fulfilled. Assume $\gamma (t)=a_n{t}^n+a_{n-1}{t}^{n-1}+\cdots +a_0$ for all $t\ge t_0$, for some $a_i\in \mathbb{R}$ for $i\in \{0,\dots ,n\}$ and $a_n>0$. Then, we have

$$\begin{array}{cc}\hfill t·\frac{\dot{\gamma }(t)}{\gamma (t)}& =t·\frac{n{a}_n{t}^{n-1}+(n-1)a_{n-1}{t}^{n-1}+\cdots +a_1}{a_n{t}^n+a_{n-1}{t}^{n-1}+\cdots +a_0}\hfill \\ \hfill & \to \frac{n{a}_n}{a_n}=n\text{as}t\to +\infty ,\hfill \end{array}$$

so $\frac{\dot{\gamma }(t)}{\gamma (t)}=\mathcal{O}\left(\frac{1}{t}\right)$ as $t\to +\infty$. Since we also have $\gamma (t)\to +\infty$ as $t\to +\infty$, the condition ${inf}_{t\ge t_0}\gamma (t)>0$ is fulfilled for large enough $t_0$.

In particular, we can choose $\gamma (t)=\lambda (t)=\lambda t^2$, which fulfills $\gamma (t)\ge \lambda t_0^2>0$ for any $t\ge t_0$ and any $t_0$. Since $A_{\lambda ,\lambda }=A_{\lambda }$ for $\lambda >0$, this choice of $\gamma$ allows us to recover the (DIN-AVD) system studied by Attouch and László in [9]. Notice the way the convergence rates for $A_{\gamma (t)}(x(t))$ and $\frac{d}{\mathit{dt}}{A}_{\gamma (t)}(x(t))$ exhibited in part (iii) of Theorem 3.2 depend on $\gamma (t)$. If we set $\gamma (t)=t^n$ for every $t\ge t_0$ for any natural number $n>2$, (Split-DIN-AVD) performs from this point of view better than (DIN-AVD) without increasing the complexity of the governing operator.

The Case $A=0$

Let us return to (Split-DIN-AVD) dynamics (2). Set $A=0$, and for every $t\ge t_0$ take $\gamma (t)=\gamma \in (0,2\beta )$ and $\eta (t)=\eta t^2$ with $\eta =\lambda /\gamma$. Then, associated to the problem

$$\begin{array}{c}\hfill \text{find}x\in \mathcal{H}\text{such}\text{that}B(x)=0,\end{array}$$

we obtain the system

$$\begin{array}{c}\hfill \ddot{x}(t)+\frac{\alpha }{t}\dot{x}(t)+\xi \frac{d}{\mathit{dt}}\left(\frac{1}{\eta (t)},B,x,(t)\right)+\frac{1}{\eta (t)}Bx(t)=0.\end{array}$$ 31

The conditions $\lambda >\frac{2}{{(\alpha -1)}^2}$ and $\gamma \in (0,2\beta )$ imply

$$\begin{array}{c}\hfill \eta =\frac{\lambda }{\gamma }>\frac{2}{\gamma {(\alpha -1)}^2}>\frac{2}{2\beta {(\alpha -1)}^2}=\frac{1}{\beta {(\alpha -1)}^2}.\end{array}$$

With the previous observation, we are able to state the following theorem.

Theorem 3.4

Let $B:\mathcal{H}\to \mathcal{H}$ be a $\beta$-cocoercive operator for some $\beta >0$ such that $\mathrm{zer}B\ne \mathrm{\varnothing }$. Assume that $\alpha >1$, $\xi \ge 0$ and $\eta (t)=\eta t^2$ for $\eta >\frac{1}{\beta {(\alpha -1)}^2}$ and all $t\ge t_0$. Take $x:[t_0,+\infty )\to \mathcal{H}$ a solution to (31). Then, the following hold:

• (i)x is bounded, and x(t) converges weakly to an element of $\mathrm{zer}B$ as $t\to +\infty$.
• (ii)
  We have the estimates

  $$\begin{array}{c}\hfill {\int }_{t_0}^{+\infty }t\Vert \dot{x}{(t)\Vert }^{2}dt<+\infty ,{\int }_{t_0}^{+\infty }{t}^3{\Vert \ddot{x}(t)\Vert }^{2}dt<+\infty ,{\int }_{t_0}^{+\infty }\frac{1}{t}{∥B,x,(,t,)∥}^{2}dt<\infty .\end{array}$$
• (iii)
  We have the convergence rates

  $$\begin{array}{c}\hfill \Vert \dot{x}(t)\Vert =o\left(\frac{1}{t}\right),\Vert \ddot{x}(t)\Vert =\mathcal{O}\left(\frac{1}{t^2}\right)\end{array}$$

  as well as the limit

  $$\begin{array}{c}\hfill \Vert Bx(t)\Vert \to 0\end{array}$$

  as $t\to +\infty$.

Proof

Since $\eta >\frac{1}{\beta {(\alpha -1)}^2}$, we can find $ϵ\in (0,\beta )$ such that $\eta >\frac{1}{(\beta -ϵ){(\alpha -1)}^2}$, equivalently, $2(\beta -ϵ)\eta >\frac{2}{{(\alpha -1)}^2}$. Since (31) is equivalent to (Split-DIN-AVD) with $A=0$ and parameters $\lambda =2(\beta -ϵ)\eta >\frac{1}{{(\alpha -1)}^2}$ and $\gamma (t)\equiv 2(\beta -ϵ)\in (0,2\beta )$, the conclusion follows from Theorem 3.1. $\square$

Remark 3.5

1. As we mentioned in the introduction, the dynamical system (31) provides a way of finding the zeros of a cocoercive operator directly through forward evaluations, instead of having to resort to its Moreau envelope when following the approach in [9].

2. The dynamics (31) bear some resemblance to the system (6) (see also [16]) with $\mu (t)=\frac{\alpha }{t}$ and $\nu (t)=\frac{1}{\eta (t)}$, with an additional Hessian-driven damping term. In our case, since $\eta >\frac{1}{\beta {(\alpha -1)}^2}$, the parameters satisfy

   $$\begin{array}{c}\hfill \dot{\mu }(t)=-\frac{\alpha }{t^2}\le 0,\frac{{\mu }^2(t)}{\nu (t)}=\frac{{\alpha }^2\eta t^2}{t^2}={\alpha }^2\eta >\frac{1}{\beta }\forall t\ge t_0.\end{array}$$

   However, we have

   $$\begin{array}{c}\hfill \dot{\nu }(t)=-\frac{2}{\lambda t^3}\le 0\forall t\ge t_0,\end{array}$$

   so one of the hypotheses which is needed in (6) is not fulfilled, which shows that one cannot address the dynamical system (31) as a particular case of it; indeed, for (6) a vanishing damping is not allowed. With our system, we obtain convergence rates for $\dot{x}(t)$ and $\ddot{x}(t)$ as $t\to +\infty$, which are not obtained in [16].

Structured Convex Minimization

We can specialize the previous results to the case of convex minimization, and show additionally the convergence of functional values along the generated trajectories to the optimal objective value at a rate that will depend on the choice of $\gamma$. Let $f:\mathcal{H}\to \mathbb{R}\cup \{+\infty \}$ be a proper, convex and lower semicontinuous function, and let $g:\mathcal{H}\to \mathbb{R}$ be a convex and Fréchet differentiable function with $L_{\mathrm{\nabla }g}$-Lipschitz continuous gradient. Assume that ${\mathrm{argmin}}_{\mathcal{H}}(f+g)\ne \mathrm{\varnothing }$, and consider the minimization problem

$$\begin{array}{c}\hfill \underset{x\in \mathcal{H}}{min}f(x)+g(x).\end{array}$$ 32

Fermat’s rule tells us that $\overline{x}$ is a global minimum of $f+g$ if and only if

$$\begin{array}{c}\hfill 0\in \partial (f+g)(\overline{x})=\partial f(\overline{x})+\mathrm{\nabla }g(\overline{x}).\end{array}$$

Therefore, solving (32) is equivalent solving the monotone inclusion $0\in (A+B)(x)$ addressed in the first section, with $A=\partial f$ and $B=\mathrm{\nabla }g$. Moreover, recall that if $\mathrm{\nabla }g$ is $L_{\mathrm{\nabla }g}$-Lipschitz then it is $\frac{1}{L_{\mathrm{\nabla }g}}$-cocoercive (Baillon–Haddad’s Theorem, see [14, Corollary 18.17]). Therefore, associated to the problem (32) we have the dynamics

$$\begin{array}{cc}& \ddot{x}(t)+\frac{\alpha }{t}\dot{x}(t)+\xi \frac{d}{\mathit{dt}}\left(\frac{\gamma (t)}{\lambda (t)},\left(\mathrm{\nabla },f_{\gamma (t)},(u(t)),+,\mathrm{\nabla },g,(x(t))\right)\right)\hfill \\ \hfill & +\frac{\gamma (t)}{\lambda (t)}\left(\mathrm{\nabla },f_{\gamma (t)},(u(t)),+,\mathrm{\nabla },g,(x(t))\right)=0,\hfill \end{array}$$ 33

where we have denoted $u(t)=x(t)-\gamma (t)\mathrm{\nabla }g(x(t))$ for all $t\ge t_0$ for convenience.

Theorem 4.1

Let $f:\mathcal{H}\to \mathbb{R}\cup \{+\infty \}$ be a proper, convex and lower semicontinuous function, and let $g:\mathcal{H}\to \mathbb{R}$ be a convex and Fréchet differentiable function with a $L_{\mathrm{\nabla }g}$-Lipschitz continuous gradient such that ${\mathrm{argmin}}_{\mathcal{H}}(f+g)\ne \mathrm{\varnothing }$. Assume that $\alpha >1$, $\xi \ge 0$, $\lambda (t)=\lambda t^2$ for $\lambda >\frac{2}{{(\alpha -1)}^2}$ and all $t\ge t_0$, and that $\gamma :[t_0,+\infty )\to \left(0,,,\frac{2}{L_{\mathrm{\nabla }g}}\right)$ is a differentiable function that satisfies $\frac{\dot{\gamma }(t)}{\gamma (t)}=\mathcal{O}(1/t)$ as $t\to +\infty$. Then, for a solution $x:[t_0,+\infty )\to \mathcal{H}$ to (33), the following statements hold:

• (i)x is bounded.
• (ii)
  We have the estimates

  $$\begin{array}{cc}& {\int }_{t_0}^{+\infty }t\Vert \dot{x}{(t)\Vert }^{2}dt<+\infty ,{\int }_{t_0}^{+\infty }{t}^3{\Vert \ddot{x}(t)\Vert }^{2}dt<+\infty ,\hfill \\ \hfill & {\int }_{t_0}^{+\infty }\frac{{\gamma }^2(t)}{t}{∥\mathrm{\nabla },f_{\gamma (t)},[,x,(t),-,\gamma ,(t),\mathrm{\nabla },g,(x(t)),],+,\mathrm{\nabla },g,(x(t))∥}^{2}dt<+\infty .\hfill \end{array}$$
• (iii)
  We have the convergence rates

  $$\begin{array}{cc}& \Vert \dot{x}(t)\Vert =o\left(\frac{1}{t}\right),\Vert \ddot{x}(t)\Vert =\mathcal{O}\left(\frac{1}{t^2}\right),\hfill \\ \hfill & ∥\mathrm{\nabla },f_{\gamma (t)},[,x,(t),-,\gamma ,(t),\mathrm{\nabla },g,(x(t)),],+,\mathrm{\nabla },g,(x(t))∥=o\left(\frac{1}{\gamma (t)}\right),\hfill \\ \hfill & ∥\frac{d}{\mathit{dt}},\left(\mathrm{\nabla },f_{\gamma (t)},[,x,(t),-,\gamma ,(t),\mathrm{\nabla },g,(x(t)),],+,\mathrm{\nabla },g,(x(t))\right)∥=\mathcal{O}\left(\frac{1}{t\gamma (t)}\right)+o\left(\frac{t^2\left|\frac{d}{\mathit{dt}},\frac{\gamma (t)}{\lambda (t)}\right|}{{\gamma }^2(t)}\right)\hfill \end{array}$$

  as $t\to +\infty$.
• (iv)If $0<{inf}_{t\ge t_0}\gamma (t)\le {sup}_{t\ge t_0}\gamma (t)<\frac{2}{L_{\mathrm{\nabla }g}}$, then x(t) converges converges to a minimizer of $f+g$ as $t\to +\infty$.
• (v)
  Additionally, if $0<\gamma (t)\le \frac{1}{L_{\mathrm{\nabla }g}}$ for every $t\ge t_0$ and we set $u(t):=x(t)-\gamma (t)\mathrm{\nabla }g(x(t))$, then

  $$\begin{array}{c}\hfill f\left({\mathrm{prox}}_{\gamma (t)f},(u(t))\right)+g\left({\mathrm{prox}}_{\gamma (t)f},(u(t))\right)-{min}_{\mathcal{H}}(f+g)=o\left(\frac{1}{\gamma (t)}\right)\end{array}$$

  as $t\to +\infty$. Moreover, $∥{\mathrm{prox}}_{\gamma (t)f},(u(t)),-,x,(t)∥\to 0$ as $t\to +\infty$.

Proof

Parts (i)–(iv) are a direct consequence of Theorem 3.1. For checking (v), first notice that for all $t\ge t_0$ we have

$$\begin{array}{cc}\hfill T_{\lambda (t),\gamma (t)}(x(t))& =\frac{1}{\lambda (t)}[\mathrm{Id}-J_{\gamma (t)\partial f}\circ (\mathrm{Id}-\gamma (t)\mathrm{\nabla }g)](x(t))\hfill \\ \hfill & =\frac{1}{\lambda (t)}[x(t)-{\mathrm{prox}}_{\gamma (t)f}(u(t))].\hfill \end{array}$$ 34

Now, let $\overline{x}\in {\mathrm{argmin}}_{\mathcal{H}}(f+g)$. According to [15, Lemma 2.3], for every $t\ge t_0$, we have the inequality

$$\begin{array}{cc}& f\left({\mathrm{prox}}_{\gamma (t)f},(u(t))\right)+g\left({\mathrm{prox}}_{\gamma (t)f},(u(t))\right)-{min}_{\mathcal{H}}(f+g)\hfill \\ \hfill & \le f\left({\mathrm{prox}}_{\gamma (t)f},(u(t))\right)+g\left({\mathrm{prox}}_{\gamma (t)f},(u(t))\right)-f(\overline{x})-g(\overline{x})\hfill \\ \hfill & \le -\frac{1}{2\gamma (t)}{∥{\mathrm{prox}}_{\gamma (t)f},(u(t)),-,x,(t)∥}^2+\frac{1}{\gamma (t)}〈x,(t),-,x^{\ast },,,x,(t),-,{\mathrm{prox}}_{\gamma (t)f},(u(t))〉.\hfill \end{array}$$

After summing the norm squared term and using the Cauchy–Schwarz inequality, for every $t\ge t_0$ we obtain

$$\begin{array}{cc}& \frac{1}{2\gamma (t)}{∥{\mathrm{prox}}_{\gamma (t)f},(u(t)),-,x,(t)∥}^2\hfill \\ \hfill & \le f\left({\mathrm{prox}}_{\gamma (t)f},(u(t))\right)+g\left({\mathrm{prox}}_{\gamma (t)f},(u(t))\right)+\hfill \\ \hfill & \frac{1}{2\gamma (t)}{∥{\mathrm{prox}}_{\gamma (t)f},(u(t)),-,x,(t)∥}^2-{min}_{\mathcal{H}}(f+g)\hfill \\ \hfill & \le 〈\frac{1}{\gamma (t)},(,x,(t),-,{\mathrm{prox}}_{\gamma (t)f},(u(t)),),,,x,(t),-,\overline{x}〉\hfill \\ \hfill & \le ∥\frac{1}{\gamma (t)},(,x,(t),-,{\mathrm{prox}}_{\gamma (t)f},(u(t)),)∥\Vert x(t)-\overline{x}\Vert \hfill \\ \hfill & =\frac{\lambda (t)}{\gamma (t)}∥T_{\lambda (t),\gamma (t)},(x(t))∥\Vert x(t)-\overline{x}\Vert \hfill \\ \hfill & =o\left(\frac{1}{\gamma (t)}\right)\text{as}t\to +\infty ,\hfill \end{array}$$

which follows as a consequence of x being bounded and $∥T_{\lambda (t),\gamma (t)},(x(t))∥=o\left(\frac{1}{t^2}\right)$ as $t\to +\infty$. $\square$

Remark 4.2

It is also worth mentioning the system we obtain in the case where $g\equiv 0$, since we also get some improved rates for the objective functional values when we compare (Split-DIN-AVD) to (DIN-AVD) [9]. In this case, we have the system

$$\begin{array}{c}\hfill \ddot{x}(t)+\frac{\alpha }{t}+\xi \frac{d}{\mathit{dt}}\left(\frac{\gamma (t)}{\lambda (t)},\mathrm{\nabla },f_{\gamma (t)},(x(t))\right)+\frac{\gamma (t)}{\lambda (t)}\mathrm{\nabla }{f}_{\gamma (t)}(x(t))=0\end{array}$$ 35

attached to the convex optimization problem

$$\begin{array}{c}\hfill \underset{x\in \mathcal{H}}{min}f(x).\end{array}$$

If we assume $\lambda >\frac{1}{{(\alpha -1)}^2}$, allow $\gamma :[t_0,+\infty )\to (0,+\infty )$ to be unbounded from above and otherwise keep the hypotheses of Theorem 4.1, for a solution $x:[t_0,+\infty )\to \mathcal{H}$ to (35), the following statements hold:

• (i)x is bounded,
• (ii)
  We have the estimates

  $$\begin{array}{cc}& {\int }_{t_0}^{+\infty }t\Vert \dot{x}{(t)\Vert }^{2}dt<+\infty ,{\int }_{t_0}^{+\infty }{t}^3{\Vert \ddot{x}(t)\Vert }^{2}dt<+\infty ,\hfill \\ \hfill & {\int }_{t_0}^{+\infty }\frac{{\gamma }^2(t)}{t}{∥\mathrm{\nabla },f_{\gamma (t)},(x(t))∥}^{2}dt<+\infty ,\hfill \end{array}$$
• (iii)
  We have the convergence rates

  $$\begin{array}{cc}& \Vert \dot{x}(t)\Vert =o\left(\frac{1}{t}\right),\Vert \ddot{x}(t)\Vert =\mathcal{O}\left(\frac{1}{t^2}\right),\hfill \\ \hfill & ∥\mathrm{\nabla },f_{\gamma (t)},(x(t))∥=o\left(\frac{1}{\gamma (t)}\right),∥\frac{d}{\mathit{dt}},\mathrm{\nabla },f_{\gamma (t)},(x(t))∥=\mathcal{O}\left(\frac{1}{t\gamma (t)}\right)+o\left(\frac{t^2\left|\frac{d}{\mathit{dt}},\frac{\gamma (t)}{\lambda (t)}\right|}{{\gamma }^2(t)}\right)\hfill \end{array}$$

  as $t\to +\infty$.
• (iv)If $0<{inf}_{t\ge t_0}\gamma (t)$, then x(t) converges weakly to a minimizer of f as $t\to +\infty$.
• (v)
  We also obtain the rate

  $$\begin{array}{c}\hfill f_{\gamma (t)}(x(t))-{min}_{\mathcal{H}}f=o\left(\frac{1}{\gamma (t)}\right)\text{as}t\to +\infty ,\end{array}$$

  which entails

  $$\begin{array}{c}\hfill f\left({\mathrm{prox}}_{\gamma (t)f},(x(t))\right)-{min}_{\mathcal{H}}f=o\left(\frac{1}{\gamma (t)}\right)\text{and}∥{\mathrm{prox}}_{\gamma (t)f},(x(t)),-,x,(t)∥\to 0\end{array}$$

  as $t\to +\infty$.

Parts (i)–(iv) are a direct consequence of Theorem 3.2 for the case $A=\partial f$. For showing part (v), first notice that for $\lambda >0$ and $u\in \mathcal{H}$ we have, according to the definition of $f_{\lambda }$ and ${\mathrm{prox}}_{\lambda f}$,

$$\begin{array}{c}\hfill f_{\lambda }(u)=f\left({\mathrm{prox}}_{\lambda f},(u)\right)+\frac{1}{2\lambda }{∥{\mathrm{prox}}_{\lambda f},(u),-,u∥}^2\le f(u).\end{array}$$

Let $\overline{x}\in \mathcal{H}$ be a minimizer of f. We apply the gradient inequality to $f_{\gamma (t)}$, from which we obtain, for every $t\ge t_0$

$$\begin{array}{cc}\hfill f_{\gamma (t)}(x(t))-{min}_{\mathcal{H}}f& =f_{\gamma (t)}(x(t))-f(\overline{x})\le f_{\gamma (t)}(x(t))-f_{\lambda (t)}(\overline{x})\hfill \\ \hfill & \le 〈\mathrm{\nabla },f_{\gamma (t)},(x(t)),,,x,(t),-,\overline{x}〉\le ∥\mathrm{\nabla },f_{\gamma (t)},(x(t))∥\Vert x(t)-\overline{x}\Vert ,\hfill \end{array}$$

where the last inequality follows from the Cauchy–Schwarz inequality. Since $∥\mathrm{\nabla },f_{\gamma (t)},(x(t))∥=o\left(\frac{1}{\gamma (t)}\right)$ as $t\to +\infty$ and x is bounded, the previous inequality entails the first statement of (v). Again recalling the definition of the Moreau envelope of f, this finally gives

$$\begin{array}{cc}& f\left({\mathrm{prox}}_{\gamma (t)f},(x(t))\right)+\frac{1}{2\gamma (t)}{∥{\mathrm{prox}}_{\gamma (t)f},(x(t)),-,x,(t)∥}^2-{min}_{\mathcal{H}}f=f_{\gamma (t)}(x(t))\hfill \\ \hfill & -{min}_{\mathcal{H}}f=o\left(\frac{1}{\gamma (t)}\right)\hfill \end{array}$$

as $t\to +\infty$, which implies the last two statements and concludes the proof.

As pointed out in Remark 3.3, we can choose $\gamma (t)=\lambda t^2$ for every $t\ge t_0$ and recover the (DIN-AVD) system for nonsmooth convex minimization problems studied in [9]. Moreover, we can also set $\gamma (t)=t^n$ for a natural number $n>3$ and all $t\ge t_0$. Now, not only are the convergence rates for $\mathrm{\nabla }{f}_{\gamma (t)}(x(t))$ and $\frac{d}{\mathit{dt}}\mathrm{\nabla }{f}_{\gamma (t)}(x(t))$ as $t\to +\infty$ improved with respect to the system in [9], but (Split-DIN-AVD) also provides a better rate for the convergence of $f_{\gamma (t)}(x(t))$ to ${min}_{\mathcal{H}}f$ as $t\to +\infty$.

Numerical Experiments

In the following paragraphs we describe some numerical experiments that portray some aspects of the theory.

Minimizing a Smooth and Convex Function

As an example of a continuous time scheme minimizing a convex and Fréchet differentiable function $g:\mathcal{H}\to \mathbb{R}$ with $L_{\mathrm{\nabla }g}$-Lipschitz continuous gradient via (Split-DIN-AVD), we consider the system

$$\begin{array}{c}\hfill \ddot{x}(t)+\frac{\alpha }{t}\dot{x}(t)+\xi \frac{d}{\mathit{dt}}\left(\frac{1}{\eta (t)},\mathrm{\nabla },g,(x(t))\right)+\frac{1}{\eta (t)}\mathrm{\nabla }g(x(t))=0,\end{array}$$ 36

where for $(x_1,x_2)\in {\mathbb{R}}^2$ we set $g(x_1,x_2)=\frac{1}{2}(x_1^2+100x_2^2)$ and therefore $\mathrm{\nabla }g(x_1,x_2)=(x_1,100x_2)$. A trajectory generated by (36) is a pair $x(t)=(x_1(t),x_2(t))$. Figure 1 plots both components of the solution to (36) with initial Cauchy data $x_0=(1,1)$, $u_0=(1,1)$. Notice that the Lipschitz constant of $\mathrm{\nabla }g$ is $L_{\mathrm{\nabla }g}=100$, which means that the cocoercitivity modulus of $\mathrm{\nabla }g$ is $\beta =\frac{1}{L_{\mathrm{\nabla }g}}=\frac{1}{100}$. To fulfill $\eta >\frac{1}{\beta {(\alpha -1)}^2}=\frac{100}{{(\alpha -1)}^2}$, we choose $\alpha =20$, $\eta =0.278$. Figure 1a corresponds to the case with no Hessian damping, that is, $\xi =0$. Figure 1b corresponds to a Hessian damping parameter $\xi =0.2$.

Fig. 1.

Trajectories of (Split-DIN-AVD) for $B=\mathrm{\nabla }g$

Figure 2 depicts the fast convergence of the velocities to zero for the cases $\xi =0$ (Fig. 2a) and $\xi =0.2$ (Fig. 2b). In both figures, notice the effect of the damping parameter $\xi >0$, which attenuates the oscillations of the second component of the trajectories, as well as the oscillations present in the velocities.

Fig. 2.

Fast convergence of the velocities

Minimizing a Nonsmooth and Convex Function

As an example of a continuous time scheme minimizing a proper, convex and lower semicontinuous function $f:\mathcal{H}\to \mathbb{R}\cup \{+\infty \}$ via (Split-DIN-AVD), we consider the system

$$\begin{array}{c}\hfill \ddot{x}(t)+\frac{\alpha }{t}+\xi \frac{d}{\mathit{dt}}\left(\frac{\gamma (t)}{\lambda (t)},\mathrm{\nabla },f_{\gamma (t)},(x(t))\right)+\frac{\gamma (t)}{\lambda (t)}\mathrm{\nabla }{f}_{\gamma (t)}(x(t))=0.\end{array}$$ 37

We will consider three options for f and plot for each of them the trajectories, the objective function values and the gradients of the Moreau envelopes as follows:

• $f(x)=\frac{1}{2}{x}^2$ (Figs. 3a and 4a),

• $f(x)=|x|$ (Figs. 3b and 4b),

• $f(x)=|x|+\frac{1}{2}{x}^2$ (Figs. 3c and 4c).

In order to fulfill $\alpha >1$ and $\lambda >\frac{1}{{(\alpha -1)}^2}$, we choose the parameters $\alpha =2$, $\lambda =1.1$, and we take $\xi =0$ and $\gamma (t)=t^8$. We compare the results given by (DIN-AVD) (that is, when $\gamma (t)=\lambda t^2$) and the ones given by our system (Split-DIN-AVD). The choice of $\xi$ does not seem to change the plots in a significant way for the examples we have chosen.

Fig. 3.

Trajectories and objective function values in the case $A=\partial f$

Fig. 4.

Gradients of the Moreau envelopes of f

Figure 3 depicts the trajectories x(t) of (37) and the function values $f\left({\mathrm{prox}}_{\gamma (t)},(x(t))\right)$ for our choices of f as $t\to +\infty$. Figure 4 portrays the fast convergence to zero of $\Vert \mathrm{\nabla }{f}_{\gamma (t)}(x(t))\Vert$ as $t\to +\infty$. Notice the big improvement over (DIN-AVD) for nonsmooth convex minimization in [9] when choosing $\gamma (t)=t^8$, a result which we already knew theoretically. Polynomials of high degree seem to be the ones which give the biggest improvements in terms of rates.

An Example with Operator Splitting

Now we consider the monotone inclusion problem (1) for $A(x_1,x_2)=(-x_2,x_1)$ and $B(x_1,x_2)=(x_1,x_2)$ for every $(x_1,x_2)\in {\mathbb{R}}^2$. For every $(x_1,x_2)\in {\mathbb{R}}^2$, an easy calculation gives

$$\begin{array}{c}\hfill J_{\gamma A}\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right]=\left[\begin{array}{cc}\frac{1}{1+{\gamma }^2}& \frac{\gamma }{1+{\gamma }^2}\\ \frac{-\gamma }{1+{\gamma }^2}& \frac{1}{1+{\gamma }^2}\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right],\end{array}$$

and so

$$\begin{array}{cc}& (\mathrm{Id}-J_{\gamma A}(\mathrm{Id}-\gamma \mathrm{Id}))\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right]\hfill \\ & =\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right]-(1-\gamma )\left[\begin{array}{cc}\frac{1}{1+{\gamma }^2}& \frac{\gamma }{1+{\gamma }^2}\\ \frac{-\gamma }{1+{\gamma }^2}& \frac{1}{1+{\gamma }^2}\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right]=\left[\begin{array}{cc}\frac{{\gamma }^2+\gamma }{1+{\gamma }^2}& \frac{\gamma -1}{1+{\gamma }^2}\\ \frac{1-\gamma }{1+{\gamma }^2}& \frac{{\gamma }^2+\gamma }{1+{\gamma }^2}\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right],\hfill \end{array}$$

and

$$\begin{array}{c}\hfill T_{\lambda ,\gamma }\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right]=\left[\begin{array}{cc}\frac{{\gamma }^2+\gamma }{\lambda (1+{\gamma }^2)}& \frac{\gamma -1}{\lambda (1+{\gamma }^2)}\\ \frac{1-\gamma }{\lambda (1+{\gamma }^2)}& \frac{{\gamma }^2+\gamma }{\lambda (1+{\gamma }^2)}\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right].\end{array}$$

(Split-DIN-AVD) now reads

$$\begin{array}{cc}& \left[\begin{array}{c}\ddot{x_1}(t)\\ \ddot{x_2}(t)\end{array}\right]+\frac{\alpha }{t}\left[\begin{array}{c}\dot{x_1}(t)\\ \dot{x_2}(t)\end{array}\right]+\xi \frac{d}{\mathit{dt}}\left(\left[\begin{array}{cc}\frac{{\gamma }^2(t)+\gamma (t)}{\lambda (t)(1+{\gamma }^2(t))}& \frac{\gamma (t)-1}{\lambda (t)(1+{\gamma }^2(t))}\\ \frac{1-\gamma (t)}{\lambda (t)(1+{\gamma }^2(t))}& \frac{{\gamma }^2(t)+\gamma (t)}{\lambda (t)(1+{\gamma }^2(t))}\end{array}\right],\left[\begin{array}{c}{x}_1(t)\\ x_2(t)\end{array}\right]\right)\hfill \\ \hfill & +\left[\begin{array}{cc}\frac{{\gamma }^2(t)+\gamma (t)}{\lambda (t)(1+\gamma {(t)}^2)}& \frac{\gamma (t)-1}{\lambda (t)(1+{\gamma }^2(t))}\\ \frac{1-\gamma (t)}{\lambda (1+{\gamma }^2(t))}& \frac{{\gamma }^2(t)+\gamma (t)}{\lambda (t)(1+{\gamma }^2(t))}\end{array}\right]\left[\begin{array}{c}{x}_1(t)\\ x_2(t)\end{array}\right]=\left[\begin{array}{c}0\\ 0\end{array}\right].\hfill \end{array}$$

We choose the parameters $\alpha =7$, $\lambda =0.056$, $\gamma (t)\equiv 1.5$, and the Cauchy data $x_0=(1,2)$ and $u_0=(-1,-1)$. Figure 5a corresponds to the case $\xi =0$, and Fig. 5b depicts the trajectory when the Hessian damping parameter is $\xi =0.8$. Again, notice how, not only for optimization problems, but also for monotone inclusions which cannot be reduced to the former, the presence of $\xi$ seems to attenuate the oscillations present in the trajectories.

Fig. 5.

Trajectories of (Split-DIN-AVD) for finding the zeros of $A+B$

A Numerical Algorithm

In the following we will derive via time discretization of (Split-DIN-AVD) a numerical algorithm for solving the monotone inclusion problem (1). We perform a discretization of (Split-DIN-AVD) with stepsize 1 and set, for an integer $k\ge 1$, $x(k):=x_k$, $\lambda (k):={\lambda }_k$, $\gamma (k):={\gamma }_k$. We make the approximations

$$\begin{array}{cc}& \ddot{x}(t)\approx x_{k+1}-2x_k+x_{k-1},\frac{\alpha }{t}\dot{x}(t)\approx \frac{\alpha }{k}(x_k-x_{k-1}),\hfill \\ \hfill & \frac{d}{\mathit{dt}}{T}_{\lambda (t),\gamma (t)}(x(t))\approx T_{{\lambda }_k,{\gamma }_k}(x_k)-T_{{\lambda }_{k-1},{\gamma }_{k-1}}(x_{k-1}),T_{\lambda (t),\gamma (t)}(x(t))\approx T_{{\lambda }_{k+1},{\gamma }_{k+1}}(x_{k+1}),\hfill \end{array}$$

so we get, for every $k\ge 1$,

$$\begin{array}{c}\hfill x_{k+1}-2x_k-x_{k-1}+\frac{\alpha }{k}(x_k-x_{k-1})+\xi \left(T_{{\lambda }_k,{\gamma }_k},(x_k),-,T_{{\lambda }_{k-1},{\gamma }_{k-1}},(x_{k-1})\right)+T_{{\lambda }_{k+1},{\gamma }_{k+1}}(x_{k+1})=0.\end{array}$$ 38

After rearranging the terms of (38), for every $k\ge 1$ we obtain

$$\begin{array}{c}\hfill x_{k+1}+T_{{\lambda }_{k+1},{\gamma }_{k+1}}(x_{k+1})=x_k+\left(1,-,\frac{\alpha }{k}\right)(x_k-x_{k-1})-\xi \left(T_{{\lambda }_k,{\gamma }_k},(x_k),-,T_{{\lambda }_{k-1},{\gamma }_{k-1}},(x_{k-1})\right).\end{array}$$ 39

In other words, after setting ${\alpha }_k=1-\frac{\alpha }{k}$ and denoting the right hand side of (39) by $y_k$ for every $k\ge 1$, we obtain the following iterative scheme

$$\begin{array}{c}\hfill (\forall k\ge 1)\left\{\begin{array}{cc}& y_k=x_k+{\alpha }_k(x_k-x_{k-1})-\xi \left(T_{{\lambda }_k,{\gamma }_k},(x_k),-,T_{{\lambda }_{k-1},{\gamma }_{k-1}},(x_{k-1})\right),\hfill \\ \hfill & x_{k+1}={\left(\mathrm{Id},+,T_{{\lambda }_{k+1},{\gamma }_{k+1}}\right)}^{-1}(y_k).\hfill \end{array}\right)\end{array}$$ 40

Observe that the second step in (40) is always well-defined. Indeed, for $\lambda ,\gamma >0$, $T_{\lambda ,\gamma }$ is $\frac{\lambda }{2}$-cocoercive, hence monotone (see Lemma 2.2(i)). This also implies that $T_{\lambda ,\gamma }$ is $\frac{2}{\lambda }$-Lipschitz continuous, and a monotone and continuous operator is maximally monotone, according to [14, Corollary 20.28]. Hence, by Minty’s Theorem (see [14, Theorem 21.1]), we know that $\mathrm{Id}+T_{\lambda ,\gamma }:\mathcal{H}\to \mathcal{H}$ is surjective.

We are in conditions of stating the main theorem concerning our previous algorithm.

Theorem 6.1

Let $A:\mathcal{H}\to 2^{\mathcal{H}}$ be a maximally monotone operator and $B:\mathcal{H}\to \mathcal{H}$ a $\beta$-cocoercive operator for some $\beta \ge 0$ such that $\mathrm{zer}(A+B)\ne \mathrm{\varnothing }$. Choose $x_0,x_1\in \mathcal{H}$ any initial points. Let $\alpha >1$, $\xi \ge 0$, and ${({\lambda }_k)}_{k\ge 0}$, ${({\gamma }_k)}_{k\ge 0}$ sequences of positive numbers that fulfill

$$\begin{array}{cc}& {\lambda }_k=\lambda k^2\forall k\ge 1,\text{with}\lambda >\frac{4\xi +2}{{(\alpha -1)}^2},\hfill \\ \hfill & 0<\underset{k\ge 0}{inf}{\gamma }_k\le \underset{k\ge 0}{sup}{\gamma }_k<2\beta \text{and}\frac{{\gamma }_k-{\gamma }_{k-1}}{{\gamma }_k}=\mathcal{O}\left(\frac{1}{k}\right)\text{as}k\to +\infty .\hfill \end{array}$$

Now, consider the sequences ${(y_k)}_{k\ge 1}$ and ${(x_k)}_{k\ge 0}$ generated by algorithm (40). The following properties are satisfied:

• (i)
  We have the estimates

  $$\begin{array}{c}\hfill \Vert x_{k+1}-x_k\Vert =\mathcal{O}\left(\frac{1}{k}\right)\text{and}∥A_{{\gamma }_k},(x_k-{\gamma }_{k}B{x}_k),+,B,x_k∥=o\left(\frac{1}{{\gamma }_k}\right)\text{as}k\to +\infty .\end{array}$$
• (ii)The sequence ${(x_k)}_{k\ge 0}$ converges weakly to an element of $\mathrm{zer}(A+B)$.
• (iii)The sequence ${(y_k)}_{k\ge 1}$ converges weakly to an element of $\mathrm{zer}(A+B)$. Precisely, we have $\Vert x_k-y_k\Vert =\mathcal{O}\left(\frac{1}{k}\right)$ as $k\to +\infty$.

The proof can be done by transposing the techniques used in the continuous time case to the discrete time case. Algorithm (40) can be seen as a splitting version of the (PRINAM) algorithm studied by Attouch and László in [10].

Remark 6.2

The second step in (40) can be quite complicated to compute. However, if $B=0$, we can resort to the fact that ${(A_{{\lambda }_1})}_{{\lambda }_2}=A_{{\lambda }_1+{\lambda }_2}$ for ${\lambda }_1,{\lambda }_2>0$. We now have, for $\lambda ,\gamma >0$,

$$\begin{array}{c}\hfill T_{\lambda ,\gamma }=\frac{1}{\lambda }[\mathrm{Id}-J_{\gamma A}]=\frac{\gamma }{\lambda }{A}_{\gamma },\end{array}$$

which gives

$$\begin{array}{c}\hfill {\left(\mathrm{Id},+,T_{\gamma ,\lambda }\right)}^{-1}=J_{\frac{\gamma }{\lambda }{A}_{\gamma }}=-\frac{\gamma }{\lambda }{\left(A_{\lambda }\right)}_{\frac{\gamma }{\lambda }}+\mathrm{Id}=\mathrm{Id}-\frac{\gamma }{\lambda }{A}_{\lambda +\frac{\gamma }{\lambda }}.\end{array}$$

It is now possible to write (40) in terms of the resolvents of A. We have, for every $k\ge 1$,

$$\begin{array}{cc}\hfill T_{{\lambda }_k,{\gamma }_k}(x_k)-T_{{\lambda }_{k-1},{\gamma }_{k-1}}(x_{k-1})=& \frac{1}{{\lambda }_k}[x_k-J_{{\gamma }_{k}A}(x_k)]-\frac{1}{{\lambda }_{k-1}}[x_{k-1}-J_{{\gamma }_{k-1}A}(x_{k-1})]\hfill \\ \hfill =& \left(\frac{1}{{\lambda }_k},-,\frac{1}{{\lambda }_{k-1}}\right)x_k+\frac{1}{{\lambda }_{k-1}}(x_k-x_{k-1})\hfill \\ \hfill & -\left(\frac{1}{{\lambda }_k},J_{{\gamma }_{k}A},(x_k),-,\frac{1}{{\lambda }_{k-1}},J_{{\gamma }_{k-1}A},(x_{k-1})\right),\hfill \\ \hfill y_k-\frac{{\gamma }_{k+1}}{{\lambda }_{k+1}}{A}_{{\lambda }_{k+1}+\frac{{\gamma }_{k+1}}{{\lambda }_{k+1}}}(y_k)=& y_k-\frac{{\gamma }_{k+1}}{{\lambda }_{k+1}}\frac{1}{\frac{{\lambda }_{k+1}^2+{\gamma }_{k+1}}{{\lambda }_{k+1}}}\left[y_k,-,J_{\left({\lambda }_{k+1},+,\frac{{\gamma }_{k+1}}{{\lambda }_{k+1}}\right)A},(y_k)\right]\hfill \\ \hfill =& \frac{{\lambda }_{k+1}^2}{{\lambda }_{k+1}^2+{\gamma }_{k+1}}{y}_k+\frac{{\gamma }_k}{{\lambda }_{k+1}^2+{\gamma }_{k+1}}{J}_{\left({\lambda }_{k+1},+,\frac{{\gamma }_{k+1}}{{\lambda }_{k+1}}\right)A}(y_k).\hfill \end{array}$$

So now (40) becomes

$$\begin{array}{c}\hfill (\forall k\ge 1)\left\{\begin{array}{cc}& y_k=\left(1,-,\xi ,\left(\frac{1}{{\lambda }_k},-,\frac{1}{{\lambda }_{k-1}}\right)\right)x_k+\left({\alpha }_k,-,\frac{\xi }{{\lambda }_{k-1}}\right)(x_k-x_{k-1})\hfill \\ \hfill & +\xi \left(\frac{1}{{\lambda }_k},J_{{\gamma }_{k}A},(x_k),-,\frac{1}{{\lambda }_{k-1}},J_{{\gamma }_{k-1}A},(x_{k-1})\right),\hfill \\ \hfill & x_{k+1}=\frac{{\lambda }_{k+1}^2}{{\lambda }_{k+1}^2+{\gamma }_{k+1}}{y}_k+\frac{{\gamma }_k}{{\lambda }_{k+1}^2+{\gamma }_{k+1}}{J}_{\left({\lambda }_{k+1},+,\frac{{\gamma }_{k+1}}{{\lambda }_{k+1}}\right)A}(y_k).\hfill \end{array}\right)\end{array}$$ 41

Now, if we assume $0<{inf}_{k\ge 0}{\gamma }_k$ and $\lambda >\frac{2\xi +1}{{(\alpha -1)}^2}$ and otherwise keep the hypotheses of Theorem 6.1, then for the sequences ${(x_k)}_{k\ge 0}$ and ${(y_k)}_{k\ge 1}$ generated by (41), the following statements hold:

• (i)
  We have the estimates

  $$\begin{array}{c}\hfill \Vert x_{k+1}-x_k\Vert =\mathcal{O}\left(\frac{1}{k}\right)\text{and}∥A_{{\gamma }_k},(x_k)∥=o\left(\frac{1}{{\gamma }_k}\right)\text{as}k\to +\infty .\end{array}$$
• (ii)The sequence ${(x_k)}_{k\ge 0}$ converges weakly to an element of $\mathrm{zer}A$.
• (iii)The sequence ${(y_k)}_{k\ge 1}$ converges weakly to an element of $\mathrm{zer}A$ as well. Precisely, we have $\Vert x_k-y_k\Vert =\mathcal{O}\left(\frac{1}{k}\right)$ as $k\to +\infty$.

Notice that the condition required for ${({\gamma }_k)}_{k\ge 0}$ is fulfilled in particular for ${\gamma }_k=k^n$ for every $k\ge 1$ and a natural number $n\ge 1$. Thus, by choosing large n, we obtain a fast convergence rate for $A_{{\gamma }_k}(x_k)$ as $k\to +\infty$.

A Appendix

The following are three auxiliary lemmas that are used in the proof of Theorem 3.1. The proof for Lemma A.1 can be found in [12], while the proof of Lemma A.2 is straightforward. For the proof of Opial’s Lemma, we refer the reader to [1, Lemma 1.10].

Lemma A.1

Let $t_0>0$, and let $u:[t_0,+\infty )\to \mathbb{R}$ be a continuously differentiable function which is bounded from below. Given $\alpha >1$, a nonnegative function $\theta :[t_0,+\infty )\to \mathbb{R}$ and a nonnegative function $k\in L^1([t_0,+\infty ),\mathbb{R})$, let us assume that

$$\begin{array}{c}\hfill t\ddot{u}(t)+\alpha \dot{u}(t)+\theta (t)\le k(t)\end{array}$$

for almost every $t\ge t_0$. Then, the positive part ${[\dot{u}]}_{+}$ of $\dot{u}$ belongs to $L^1([t_0,+\infty ),\mathbb{R})$ and ${lim}_{t\to +\infty }u(t)$ exists. Moreover, we have ${\int }_{t_0}^{+\infty }\theta (t)dt<+\infty$.

Lemma A.2

Let $A,B,C\in \mathbb{R}$ and $\mathcal{H}$ a real Hilbert space. Then the inequality

$$\begin{array}{c}\hfill {A\Vert X\Vert }^2+2C⟨X,Y⟩+B{\Vert Y\Vert }^2\le 0\end{array}$$

holds for every $X,Y\in \mathcal{H}$ if and only if $A,B\le 0$ and $C^2-AB\le 0$.

Lemma A.3

(Opial’s Lemma) Let $S\subseteq \mathcal{H}$ be a nonempty set and $x:[t_0,+\infty )\to \mathcal{H}$ a given map, where $t_0>0$. Assume that

• (i)for every $x^{\ast }\in S$, ${lim}_{t\to +\infty }\Vert x(t)-x^{\ast }\Vert$ exists;
• (ii)every weak sequential cluster point of the map x belongs to S.

Then, there exists $x_{\infty }\in S$ such that x(t) converges weakly to $x_{\infty }$ as $t\to +\infty$.

Funding

Open access funding provided by University of Vienna.