Iterative Methods for Computing the Resolvent of Composed Operators in Hilbert Spaces

The resolvent is a fundamental concept in studying various operator splitting algorithms. In this paper, we investigate the problem of computing the resolvent of compositions of operators with bounded linear operators. First, we discuss several explicit solutions of this resolvent operator by taking...

Full description

Bibliographic Details
Main Authors: Yixuan Yang, Yuchao Tang, Chuanxi Zhu
Format: Article
Language:English
Published: MDPI AG 2019-02-01
Series:Mathematics
Subjects:
Online Access:https://www.mdpi.com/2227-7390/7/2/131
id doaj-45e6a533562c4d90bf5cc26bca9e22c3
record_format Article
spelling doaj-45e6a533562c4d90bf5cc26bca9e22c32020-11-25T01:32:50ZengMDPI AGMathematics2227-73902019-02-017213110.3390/math7020131math7020131Iterative Methods for Computing the Resolvent of Composed Operators in Hilbert SpacesYixuan Yang0Yuchao Tang1Chuanxi Zhu2Department of Mathematics, NanChang University, Nanchang 330031, ChinaDepartment of Mathematics, NanChang University, Nanchang 330031, ChinaDepartment of Mathematics, NanChang University, Nanchang 330031, ChinaThe resolvent is a fundamental concept in studying various operator splitting algorithms. In this paper, we investigate the problem of computing the resolvent of compositions of operators with bounded linear operators. First, we discuss several explicit solutions of this resolvent operator by taking into account additional constraints on the linear operator. Second, we propose a fixed point approach for computing this resolvent operator in a general case. Based on the Krasnoselskii⁻Mann algorithm for finding fixed points of non-expansive operators, we prove the strong convergence of the sequence generated by the proposed algorithm. As a consequence, we obtain an effective iterative algorithm for solving the scaled proximity operator of a convex function composed by a linear operator, which has wide applications in image restoration and image reconstruction problems. Furthermore, we propose and study iterative algorithms for studying the resolvent operator of a finite sum of maximally monotone operators as well as the proximal operator of a finite sum of proper, lower semi-continuous convex functions.https://www.mdpi.com/2227-7390/7/2/131maximally monotone operatorsKrasnoselskii–Mann algorithmYoshida approximationresolventDouglas–Rachford splitting algorithm
collection DOAJ
language English
format Article
sources DOAJ
author Yixuan Yang
Yuchao Tang
Chuanxi Zhu
spellingShingle Yixuan Yang
Yuchao Tang
Chuanxi Zhu
Iterative Methods for Computing the Resolvent of Composed Operators in Hilbert Spaces
Mathematics
maximally monotone operators
Krasnoselskii–Mann algorithm
Yoshida approximation
resolvent
Douglas–Rachford splitting algorithm
author_facet Yixuan Yang
Yuchao Tang
Chuanxi Zhu
author_sort Yixuan Yang
title Iterative Methods for Computing the Resolvent of Composed Operators in Hilbert Spaces
title_short Iterative Methods for Computing the Resolvent of Composed Operators in Hilbert Spaces
title_full Iterative Methods for Computing the Resolvent of Composed Operators in Hilbert Spaces
title_fullStr Iterative Methods for Computing the Resolvent of Composed Operators in Hilbert Spaces
title_full_unstemmed Iterative Methods for Computing the Resolvent of Composed Operators in Hilbert Spaces
title_sort iterative methods for computing the resolvent of composed operators in hilbert spaces
publisher MDPI AG
series Mathematics
issn 2227-7390
publishDate 2019-02-01
description The resolvent is a fundamental concept in studying various operator splitting algorithms. In this paper, we investigate the problem of computing the resolvent of compositions of operators with bounded linear operators. First, we discuss several explicit solutions of this resolvent operator by taking into account additional constraints on the linear operator. Second, we propose a fixed point approach for computing this resolvent operator in a general case. Based on the Krasnoselskii⁻Mann algorithm for finding fixed points of non-expansive operators, we prove the strong convergence of the sequence generated by the proposed algorithm. As a consequence, we obtain an effective iterative algorithm for solving the scaled proximity operator of a convex function composed by a linear operator, which has wide applications in image restoration and image reconstruction problems. Furthermore, we propose and study iterative algorithms for studying the resolvent operator of a finite sum of maximally monotone operators as well as the proximal operator of a finite sum of proper, lower semi-continuous convex functions.
topic maximally monotone operators
Krasnoselskii–Mann algorithm
Yoshida approximation
resolvent
Douglas–Rachford splitting algorithm
url https://www.mdpi.com/2227-7390/7/2/131
work_keys_str_mv AT yixuanyang iterativemethodsforcomputingtheresolventofcomposedoperatorsinhilbertspaces
AT yuchaotang iterativemethodsforcomputingtheresolventofcomposedoperatorsinhilbertspaces
AT chuanxizhu iterativemethodsforcomputingtheresolventofcomposedoperatorsinhilbertspaces
_version_ 1725079466228580352