A multiplication theorem for two-variable positive real matrices
A multiplication-division theorem is derived for the positive real functions of two complex variables. The theorem is generalized to encompass the product of positive real functions of two complex variables. The theorem is generalized to encompass the product of positive real matrices whose elements are functions of two complex variables. PRF and PR matrices occur frequantly in the study of electrical multiports and multivariable systems (such as digital filters).