On a Nonlinear Proportional Fractional Integro-Differential Equation with Functional Boundary Conditions: Existence, Uniqueness, and Ulam–Hyers Stability

This work introduces a new category of proportional fractional integro-differential equations (PFIDEs) governed by functional boundary conditions. We derive verifiable sufficient criteria that guarantee the Ulam–Hyers Stability, existence and uniqueness of solutions to this problem. Our analytical approach leverages Babenko’s method to construct an inverse operator, which allows us to reformulate the differential problem into an equivalent integral equation. The analysis is then conducted using key mathematical tools, including contraction mapping principle of Banach, the Leray–Schauder alternative, and properties of multivariate Mittag–Leffler functions. The Ulam–Hyers Stability is rigorously examined to assess the system’s resilience to small perturbations. The applicability and effectiveness of the established theoretical results are demonstrated through two illustrative examples. This research provides a unified and adaptable framework that advances the analysis of complex fractional-order dynamical systems subject to nonlocal constraints.