In this work, we develop certain coupled fixed-point results in Banach space by utilizing the Krasnosel'skii's expansive-type fixed-point results. Additionally, we establish existence and uniqueness conditions for coupled fixed points. Applying these results, we investigate the fractional-order HIV/AIDS model, demonstrating the existence of solutions. Our results contribute to the understanding of complex systems and non linear dynamics.