This paper establishes solvability conditions and general solution sets for a constrained Sylvester-type system over the commutative quaternion ring by proposing two distinct methods. As a key application, we also analyze the minimum solution of a related optimization problem when this system is solvable. Additionally, the solvability condition and the general form of the Hermitian solutions for this system over the commutative quaternion ring are established in this paper. The main results are validated through an algorithm and a numerical example.

This study primarily investigated the equivalence conditions for the existence of solutions to two quaternion matrix systems under constraints, as well as their general solutions. As an application, it focused on studying the reducibility of solutions to classical matrix equations and their applications in image processing, such as image encryption and decryption. Finally, an example is provided to validate the main results presented in this paper.