Compression-expansion fixed point theorem of product type

Abstract

In this paper we will convert a fixed point problem of the form x = R(x)S(x) to a fixed point system of the form r = R(rs) and s = S(rs) so we can apply compressionexpansion fixed point arguments on our operators R and S instead of on the product of the operators RS.